Hirsch-Smale-Theorie

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

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

[Bearbeiten | Quelltext bearbeiten]

Sei eine Immersion, die sich als Immersion auf eine Umgebung von in fortsetzen lässt, und sei ihr Differential.

Die Obstruktionsklasse

( bezeichnet die Stiefel-Mannigfaltigkeit und ihre Homotopiegruppe) ist definiert als die Homotopieklasse von

für und die Standardbasis von .

Wenn zu einer Immersion der Einheitskugel fortgesetzt werden kann, dann ist . Man kann also als Hindernis für die Fortsetzbarkeit der Immersion sehen.

Die Hirsch-Smale-Theorie beschäftigt sich mit der Frage, ob umgekehrt aus die Fortsetzbarkeit der Immersion folgt.

Satz von Hirsch-Smale

[Bearbeiten | Quelltext bearbeiten]

Wenn ist, dann kann jede Immersion mit zu einer Immersion fortgesetzt werden.[1]

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

Satz[2]: Für eine glatte Mannigfaltigkeit der Dimension sind die folgenden Bedingungen äquivalent:

  • kann in den immersiert werden.
  • Es gibt eine -äquivariante Abbildung des Rahmenbündels in die Stiefel-Mannigfaltigkeit .

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

Zu den Korollaren dieses Satzes gehören die folgenden:

  • Parallelisierbare -dimensionale Mannigfaltigkeiten können in den immersiert werden.
  • Kompakte 3-Mannigfaltigkeiten können in den immersiert werden.
  • Exotische 7-Sphären können in den immersiert werden.

Kodimension Null

[Bearbeiten | Quelltext bearbeiten]

Der Satz von Hirsch-Smale gilt nicht für .

Für sind präzise Bedingungen für die Fortsetzbarkeit von bekannt.[3][4][5]

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. Theorem 3.9 in Hirsch, op. cit.
  2. Theorem 6.1 in Hirsch, op. cit.
  3. Samuel Joel Blank, Extending Immersions and regular Homotopies in Codimension 1, PhD Thesis Brandeis University, 1967.
  4. V. Poénaru, Extension des immersions en codimension 1 (d'aprés Samuel Blank), Séminaire Bourbaki, Vol. 10, Soc. Math. France (1995), Exp. No. 42, 473–505.
  5. Dennis Frisch, Classification of Immersions which are bounded by Curves in Surfaces, PhD Thesis TU Darmstadt, 2010.