The cut locus and conjugate locus of a Riemannian manifold (Q2528097)

\textit{H. Rauch} hat in der Arbeit [``Geodesics and Curvature in Differential Geometry in the Large'' (New York 1959)] die folgende Vermutung geäußert: Ist \(p\) ein Punkt einer kompakten, einfach - zusammenhängenden Riemannschen Mannigfaltigkeit ohne Rand, so haben Schnittort und konjugierter Ort von \( {p} \) im Tangentialraum \( {M}_{{p}} \) nicht leeren Durchschnitt. Diese Vermutung ist bewiesen für eine Riemannsche 2-Sphäre [\textit{S. B. Myers}, Duke Math. J. 1, 376--391 (1935; Zbl 0012.27502)] und für symmetrische Räume [\textit{R. Crittenden}, Can. J. Math. 14, 320--328 (1962; Zbl 0105.34801)]. Verf. zeigt, daß die Vermutung im allgemeinen falsch ist. Folgender Satz wird bewiesen: \(M\) sei kompakte differenzierbare Mannigfaltigkeit der Dimension \( \geq 2 \) und nicht homöomorph zu \( S^{2} \). Dann gibt es eine Riemannsche Metrik auf \( M \) und einen Punkt \( p \in M \), so daß konjugierter Ort und Schnittort von \( p \) leeren Durchschnitt besitzen. Für Flächen genügt die Metrik konstanter Krümmung. Für Mannigfaltigkeiten \(M\) der Dimension \( n \geq 3 \) wird eine spezielle Metrik konstruiert. Dazu geht man aus von irgendeiner Metrik. Zunächst wird gezeigt, daß es eine Konstante \( \Delta(M)<\infty \) gibt, so daß für jedes \( \varepsilon>0 \) eine \( \varepsilon \)-dichte Einbettung \( [0,1] \rightarrow M \) existiert, mit geodätischer Krümmung \( <\Delta \) (M). (Als \( \Delta(M) \) kann tatsächlich jede positive Konstante dienen.) Um die eingebettete Kurve läßt sich nunmehr ein \(n\)-Disk, \(D\), legen, so daß die zweite Fundamentalform von \( \partial D \), bzgl. der nach außerhalb von \( D \) weisenden Normalen, auf den Einheitsvektoren von \( \partial D \) Werte größer als \(- \Delta \) annimmt. Schließlich läßt sich die Metrik auf \( M \) so abändern -- unter Beibehaltung auf der Menge ``Umgebung von \(M\setminus\)Inneres von \( D \) '', daß für einen geeigneten Punkt \( p \in D \) die Abbildung exp, ein Diffeomorphismus des Einheitsballes in \( M_{p} \) auf \( D \) ist. Unter Anwendung eines Satzes von F. W. Warmer über fokale Punkte auf Geodätischen läßt sich zeigen, daß \( p \) und die gewonnene Metrik die Behauptung des Satzes erfüllt. Der Satz für \( S^{2} \) wird neu bewiesen. Einige Abschwächungen des Hauptsatzes werden diskutiert.