11
$\begingroup$

This question is edited following the comment of Joseph. He pointed out that the main object of the first version of this question is the cut locus.

Recall that the cut locus of a set $S$ in a geodesic space $X$ is the closure of the set of all points $p \in X$ that have two or more distinct shortest paths in $X$ from $S$ to $p$. http://en.wikipedia.org/wiki/Cut_locus

A simple lemma shows that, for a disk $D^2$ with a Riemannian metric and piecewise smooth generic boundary, the cut locus of $D^2$ with respect to its boundary is a tree. A picture of such tree can be found on page 542, figure 17 of the article of Thurston "Shapes of polyhedra". The tree is white. http://arxiv.org/PS_cache/math/pdf/9801/9801088v2.pdf For an ellipse on the 2-plane, the tree is the segment that joins its focal points.

More generically for a Riemannian manifold $M^n$ with boundary, the cut locus of $\partial M$ should be a deformation retract of $M$. (I guess it is a $CW$ complex of dimension less than $n$.) To prove this lemma, notice that $M^n\setminus\operatorname{cut-locus}(\partial M^n)$ is canonically foliated by geodesic segments that join $X$ with $\partial M$.

I wonder if this lemma has a name or maybe is contained in some textbook on Riemannian geometry?

$\endgroup$
6
  • 1
    $\begingroup$ Dima, could you please comment why "it is a CW complex". $\endgroup$
    – Petya
    Jul 14, 2010 at 1:22
  • 1
    $\begingroup$ @Dimitri: Are you defining the cut locus of the boundary of the disk? $\endgroup$ Jul 14, 2010 at 1:36
  • 1
    $\begingroup$ @Dimitri: Pardon me for repeating the point, but I think the cut locus of an ellipse is a segment. It also goes under the name medial axis. See the figure at the Wikipedia entry: en.wikipedia.org/wiki/Medial_axis . $\endgroup$ Jul 14, 2010 at 10:13
  • 1
    $\begingroup$ If it really is a retract of a smooth compact manifold (equivalently, a retract of a finite CW complex), then that's almost as good as being finite CW. By the way, what's an example of such a space (compact ENR) not admitting a CW structure? $\endgroup$ Jul 14, 2010 at 11:22
  • 2
    $\begingroup$ Beware that cut loci can be non-triangulable, even on strictly convex revolution surfaces, as has been shown by H. Gluck and D. Singer ams.org/journals/bull/1976-82-04/S0002-9904-1976-14125-0/… $\endgroup$
    – BS.
    Jul 14, 2010 at 12:56

2 Answers 2

8
$\begingroup$

Let me continue the comments above here so I can include a figure. Here are examples of the medial axis of two different convex polygons (from my own work):


      medaxis
The term medial axis is used in computer science to denote the same concept as the cut locus.

Franz-Erich Wolter wrote his Ph.D. dissertation on "Cut loci in bordered and unbordered Riemannian manifolds" (Technische Universität Berlin, 1985). That might contain some useful information.

$\endgroup$
2
  • $\begingroup$ Joseph, thank you very much for the answer! Unfortunatelly the link that you give does not seem to work... $\endgroup$ Jul 14, 2010 at 11:43
  • $\begingroup$ @Dmitri: Sorry about the broken link. Tried to fix it. In any case, Google search for the exact title of his thesis within quotes, and it is the #1 hit. $\endgroup$ Jul 14, 2010 at 11:47
6
$\begingroup$

The 'simple lemma' certainly isn't always true. Let's consider just open disks in the Euclidean plane with a flat metric. Fremlin (Proc. LMS, 1997) calls the set of points without a unique nearest boundary point the "skeleton". He gives an example where the skeleton is somewhere dense (that is, its closure, which you call the "cut locus", has nonempty interior). The skeleton will always be an R-tree.

$\endgroup$
1
  • $\begingroup$ Thanks for this reference John! $\endgroup$ Apr 23, 2019 at 12:51

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.