Let $p\in M$ be a point in a closed riemannian manifold $M$. Recall that the *cut locus* of $p$ is the subset of $M$ consisting of all points that are connected to $p$ by at least 2 distance-minimizing geodesics.

I will start with a general question:

Is it true that for generic metrics on $M$ and generic points $p$, the cut locus of $p$ is a $(n-1)$-dimensional polyhedron with generic singularities?

By "generic singularities" I mean that $M$ is a simple polyhedron. See for instance this paper of Alexander and Bishop.

This property is certainly not satisfied for some important specific metrics: for instance, if $M$ is a round sphere the cut locus is a point, no matter where $p$ is. If $M$ is a flat torus, we get a generic polyhedron for generic flat metrics. What about hyperbolic manifolds? So, this is my question:

Let $M^n$ be a hyperbolic $n$-manifold. Is the cut locus of a generic point a $(n-1)$-polyhedron with generic singularities?

Of course I am mostly interested in the case $n=3$. In dimension $n=2$ one may also pick a generic hyperbolic metric.

** Edit**: In dimension 1, a simple polyhedron is a graph with vertices of valence 2 or 3. In dimension 2, it is a polyhedron such that the link of a point is either a circle, a circle with a diameter, or a circle with three radii.

In general, a $n$-dimensional compact polyhedron is *simple* if every point has a neighborhood which is the cone over the $(k-1)$-skeleton of the $(k+1)$-simplex, times a $(n-k)$-disc.

Proc. Amer. Math. Soc.64 (1977), no. 1, 118–121.] "establishes that the cut locus of a compact real analytic Riemannian manifold of dimension $n$ is homeomorphic to a finite $(n-1)$-dimensional simplicial complex." $\endgroup$ – Joseph O'Rourke Oct 26 '10 at 20:21