Homotopiegruppen von Hyperflächenschnitten (Q2554581)

Ist \( M \) eine differenzierbare Mannigfaltigkeit im \( \mathbb{R}^{N} \), so liefert bekanntlich für fast alle \( p \in \mathbb{R}^{N} \backslash M \) die Abstandsfunktion von \( M \) zu \( p \) eine Morsefunktion auf \( M \). In der vorliegenden Arbeit wird als Verallgemeinerung das ``Schornsteinlemma'' gezeigt: Für fast alle ``Zentren'' \( p_{1}, \ldots, p_{s} \in \mathbb{R}^{N} \backslash M \) liefert die simultane Abstandsmessung von \( M \) zu den endlich vielen Punkten \( p_{1}, \ldots, p_{s} \) eine Morsefunktion auf \( M \). Ist \(M\) sogar eine komplexe Mannigfaltigkeit, so ist der Index dieser Morsefunktion in allen kritischen Punkten nicht kleiner als die komplexe Dimension von \(M\). Anwendungen: a) Homotopie-Lefschetz-Theorem: Ist A Hyperflächenschnitt einer projektiv algebraischen Varietät \( X \), so daß \( X \backslash A \) komplex \( n \)-dimensional ist und nur isolierte Singularitäten hat, dann ist \( \pi_{i}(A)=\pi_{i}(X) \) für \( i \leq n-2-\operatorname{tab}(X \backslash A) \), wobei \(\operatorname{tab}(X\setminus A)\) eine topologische Invariante von \( X \backslash A \) ist, die die singuläre Struktur von \( X \backslash A \) widerspiegelt. b) Ist \( n \geq 3 \), \(X\) Hyperfläche im \( P_{n+1} \), \(A\) singularitätenfreier Hyperflächenschnitt, der keine Singularität von \( X \) enthält, dann ist \( \pi_{i}(X \backslash A)=0 \) für \( i \leq n-2 \).