10
$\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$
  • 1
    $\begingroup$ Dima, could you please comment why "it is a CW complex". $\endgroup$ – Petya Jul 14 '10 at 1:22
  • 1
    $\begingroup$ @Dimitri: Are you defining the cut locus of the boundary of the disk? $\endgroup$ – Joseph O'Rourke Jul 14 '10 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$ – Joseph O'Rourke Jul 14 '10 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$ – Tom Goodwillie Jul 14 '10 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 '10 at 12:56
7
$\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$
  • $\begingroup$ Joseph, thank you very much for the answer! Unfortunatelly the link that you give does not seem to work... $\endgroup$ – Dmitri Panov Jul 14 '10 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$ – Joseph O'Rourke Jul 14 '10 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$
  • $\begingroup$ Thanks for this reference John! $\endgroup$ – Dmitri Panov Apr 23 '19 at 12:51

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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