We study the geometry of the cut locus of a separating fractal set A in a Riemannian manifold. In particular, we prove that every point of A is a limit point of the cut locus C(A) of A, and the Hausdorff dimension of C(A) is greater than or equal to that of A. Furthermore, we study the cut locus of the well-known Koch snowflake, and show the Hausdorff dimension of its cut locus is log6/log3 which is greater than the Hausdorff dimension, log4/log3, of the Koch snowflake itself. We also give another example for which the Hausdorff dimension of the cut locus stays the same. These two new examples are new fractal objects which are of interest on their own right.
View full abstract