Skip to main content
2 of 2
Commonmark migration

Does the cut locus of a submanifold have Lebesgue measure zero?

Let $M$ be a Riemannian manifold where closed balls are compact. Let $W\subset M$ be a submanifold of $M$ that is closed as a subset of $M$. Define the cut locus of $W$ in $M$ as $$\mathrm{Cut}(W;M)=\overline{\{x\in M\mid \exists y,z\in W,\text{with $y\neq z$ and } d(x,W) = d(x,y) = d(x,z)\}}$$ where the line denotes "closure".

Does $\mathrm{Cut}(W;\mathbb R^n)$ have Lebesgue measure zero?

What happens for an arbitrary $M$?

What I have found:

What happens when $r<3$? Is there any counterexample in these cases?