Rigidity of hypersurfaces of constant scalar curvature (Q2547057)

Es werden Starrheitsfragen für isometrische Immersionen einer \(n\)-dimensionalen Riemannschen Mannigfaltigkeit \(M^n\) in eine \((n + 1)\)-dimensionale Raumform \(\tilde M^{n+1}(K)\) der Krümmung \(K\) behandelt. Dabei heißt \(M^n\) starr in \(M^{n+1}(K)\), wenn es zu jedem Paar \(f\), \(\tilde f\) isometrischer Immersionen von \(M^n\) in \(\tilde M^{n+1}(K)\) eine Isometrie \(\Phi\) von \(\tilde M^{n+1}(K)\) mit \(\tilde f= \Phi\circ f\) gibt. Nach einem klassischen Resultat ist \(M^n\) starr, wenn \(n\ge 3\) ist und wenn für eine isometrische Immersion von \(M^n\) in \(\tilde M^{n+1}(K)\) der Rang der zweiten Fundamentalform überall \(\ge 3\) ist. Es sei nun \(M^n\) isometrisch immergiert in die Raumform \(\tilde M^{n+1}(K)\). \(M^n\) heißt deformierbar in \(\tilde M^{n+1}(K)\), wenn \(M^n\) keine offene, starre Untermannigfaltigkeit enthält, und lokal deformierbar in \(\tilde M^{n+1}(K)\), wenn jeder Punkt von \(M^n\) eine deformierbare Umgebung besitzt. Die Hauptergebnisse lauten damit wie folgt: \par Ist \(n\ge 4\), \(K\ne 0\), die Skalarkrümmung von \(M^n\) konstant und \(\ne n(n-1)K\), so ist \(M^n\) nicht deformierbar in \(\tilde M^{n+1}\). Sei \(n\ge 3\), sei \(M^n\) vollständig, von konstanter Skalarkrümmung \(\ne 0\) und lokal deformierbar im euklidischen Raum \(E^{n+1}\), dann is \(M^n\) isometrisch zum Riemannschen Produkt einer zweidimensionalen Sphäre und eines \((n-2)\)-dimensionalen euklidischen Raumes. \par (Dieses Resultat war bereits früher angekündigt worden in [Bull. Am. Math. Soc. 76, 719 (1970; Zbl 0203.24201)]. Es läßt sich -- bei Berücksichtigung einiger zusätzlicher Bemerkungen -- als Verallgemeinerung eines Ergebnisses von \textit{T. Nagano} und \textit{T. Takahashi} [J. Math. Soc. Japan 12, 1--7 (1960; Zbl 0102.16403)] ansehen.) \par Die gleiche Schlußfolgerung ergibt sich, wenn \(M^n\) ein homogener Riemannscher Raum ist, der isometrisch in \(E^{n+1}\) derart immergiert ist, daß die zweite Fundamentalform überall vom Rang 2 ist. \par Die Beweise stützen sich wesentlich auf Betrachtungen über die Distribution, die durch die Nullräume der zweiten Fundamentalform (falls sie von konstantem Rang ist) definiert wird (relative nullity distribution). Hierüber wird unter anderem der folgende Satz bewiesen: Sei \(n\ge 3\), sei \(M^n\) von konstanter Skalarkrümmung \(\ne 0\) und deformierbar in \(E^{n+1}\), sei \(f\) eine isometrische Immersion von \(M^n\) in \(E^{n+1}\). Dann ist die durch \(f\) bestimmte, obengenannte Distribution auf \(M^n\) parallel.