Hirsch-Smale-Theorie
# Hirsch-Smale-Theorie

Als Hirsch-Smale-Theorie (nach den Mathematikern Morris William Hirsch und Stephen Smale) wird im mathematischen Gebiet der Differentialtopologie die Untersuchung der regulären Homotopieklassen von Immersionen bezeichnet.

Eine bekannte Anwendung ist die Umstülpung der Sphäre (engl.: sphere eversion), die in dem populären Video "Outside In" veranschaulicht wird.

## Fortsetzbarkeit von Immersionen: das Hindernis

Sei $f\colon S^{k}\to \mathbb {R} ^{n}$ eine Immersion, die sich als Immersion auf eine Umgebung $U$ von $S^{k}$ in $\mathbb {R} ^{k+1}$ fortsetzen lässt, und sei $f^{\prime }\colon T\mathbb {R} ^{k+1}\mid _{S^{k}}\to T\mathbb {R} ^{n}$ ihr Differential.

Die Obstruktionsklasse

    $\tau (f)\in \pi _{k}V_{n,k+1}$

($V_{n,k+1}$ bezeichnet die Stiefel-Mannigfaltigkeit und $\pi _{k}$ ihre Homotopiegruppe) ist definiert als die Homotopieklasse von

    $x\mapsto f^{\prime }(e_{1}(x),\ldots ,e_{k+1}(x))$

für $x\in S^{k}$ und $e_{1}(x),\ldots ,e_{k+1}(x)$ die Standardbasis von $T_{x}\mathbb {R} ^{k+1}$.

Wenn $f$ zu einer Immersion $B^{k+1}\to \mathbb {R} ^{n}$ der Einheitskugel fortgesetzt werden kann, dann ist $\tau (f)=0$. Man kann $\tau (f)$ also als Hindernis für die Fortsetzbarkeit der Immersion sehen.

Die Hirsch-Smale-Theorie beschäftigt sich mit der Frage, ob umgekehrt aus $\tau (f)=0$ die Fortsetzbarkeit der Immersion folgt.

## Satz von Hirsch-Smale

Wenn $k+1<n$ ist, dann kann jede Immersion $f\colon S^{k}\to \mathbb {R} ^{n}$ mit $\tau (f)=0$ zu einer Immersion $B^{k+1}\to \mathbb {R} ^{n}$ fortgesetzt werden.

Dieser Satz gilt als eines der ersten Beispiele eines h-Prinzips.

## Anwendungen

Satz: Für eine glatte Mannigfaltigkeit der Dimension $k<n$ sind die folgenden Bedingungen äquivalent:

* $M$ kann in den $\mathbb {R} ^{n}$ immersiert werden.
* Es gibt eine $GL(k,\mathbb {R} )$-äquivariante Abbildung des Rahmenbündels $F_{k}M$ in die Stiefel-Mannigfaltigkeit $V_{n,k}$.

Diese Äquivalenz folgt mit dem Satz von Hirsch-Smale durch Induktion über die Dimension von Untersimplizes einer Triangulierung von $M$.

Zu den Korollaren dieses Satzes gehören die folgenden:

* Parallelisierbare $k$-dimensionale Mannigfaltigkeiten können in den $\mathbb {R} ^{k+1}$ immersiert werden.
* Kompakte 3-Mannigfaltigkeiten können in den $\mathbb {R} ^{4}$ immersiert werden.
* Exotische 7-Sphären können in den $\mathbb {R} ^{8}$ immersiert werden.

## Kodimension Null

Der Satz von Hirsch-Smale gilt nicht für $k+1=n$.

Für $k+1=n=2$ sind präzise Bedingungen für die Fortsetzbarkeit von $f$ bekannt.

