Homotopiegruppen und die Pontrjagin-Thom-Konstruktion.

Vor 2 Wochen ging es darum, daß Homotopieklassen von Abbildungen f:S²–>S² durch eine ganze Zahl, den Abbildungsgrad deg(f) bestimmt sind, daß also π₂S²=Z ist.
Letzte Woche hatten wir gesagt, daß man die höheren Homotopiegruppen π_mS² mittels gerahmter Kobordismengruppen beschreiben kann – das ist die Pontrjagin-Thom-Konstruktion, die wir jetzt im Detail beschreiben wollen.

Pontrjagin-Thom-Theorem

Das Pontrjagin-Thom-Theorem (das in dieser Form, für Kobordismen gerahmter Untermannigfaltigkeiten einer gegebenen Mannigfaltigkeit, eigentlich auf Pontrjagin zürückgeht, von Thom stammt die Version für Mannigfaltigkeiten) besagt, daß π_mSⁿ dasselbe ist wie die Kobordismengruppe gerahmter Untermannigfaltigkeiten der S^m, oder allgemeiner daß die Kobordismengruppe gerahmter Untermannigfaltigkeiten einer Mannigfaltigkeit M dasselbe ist wie die Homotopieklassen [M,Sⁿ].

(Insbesondere ist π_mSⁿ=0 falls m kleiner als n ist. Das folgt aber auch schon einfach daraus, daß jede stetige Abbildung homotop zu einer differenzierbaren ist, vgl. TvF 188, und eine differenzierbare Abbildung einer nieder- in eine höher-dimensionale Mannigfaltigkeit wegen Sard’s Lemma nicht surjektiv sein kann, also mindestens einen Punkt * nicht im Bild hat – und für Sⁿ-{*} gibt es eine offensichtliche Retraktion auf einen Punkt, weshalb jede Abbildung mit Bild in Sⁿ-{*} homotop zur konstanten Abbildung ist.)

π₁S²=0, TvF 30

Wie funktioniert die Pontrjagin-Thom-Konstruktion, also wie werden Homotopieklassen von Abbildungen (Elementen von π_mSⁿ) Kobordismusklassen zugeordnet (und warum ist diese Zuordnung eine 1:1-Entsprechung)?

Erinnerung (letzte Woche): gerahmte (k-dimensionale) Untermannigfaltigkeiten einer (m-dimensionalen) Mannigfaltigkeit waren Untermannigfaltigkeiten mit m-k punktweise linear unabhängigen Vektorfeldern orthogonal zur Untermannigfaltigkeit. Zwei gerahmte Untermannigfaltigkeiten von M heißen gerahmt kobordant, wenn es eine gerahmte Untermannigfaltigkeit von Mx[0,1] gibt, deren Schnitt mit Mx{0} bzw. Mx{1} aus den beiden Untermannigfaltigkeiten von M besteht.

Kobordismus von Untermannigfaltigkeiten

Insbesondere für einen Punkt y in Sⁿ kann man als Rahmung irgendeine Basis der Tangentialebene T_ySⁿ nehmen.

Sei f:S^m–>Sⁿ eine differenzierbare Abbildung. Sei y ein regulärer Wert von f in Sⁿ. Dann ist das Urbild f^-1(y) eine Untermannigfaltigkeit von S^m. (Das folgt im wesentlichen aus dem Implicit Function Theorem.)
Der Punkt y in Sⁿ hat die eben beschriebene offensichtliche Rahmung und diese kann man mit dem Differential Df zurückziehen und bekommt eine Rahmung der Untermannigfaltigkeit f^-1(y).
Das Bild (Quelle) zeigt die zu der durch f(x,y)=x²+y² gegebenen Abbildung f:R²–>R¹ gehörende Rahmung von S¹=f^-1(1).

Wenn zwei Abbildungen f,g homotop sind, dann kann man dieselbe Konstruktion auf die Homotopie H:S^mx[0,1]–>Sⁿ anwenden (d.h. das Urbild H^-1(y) eines regulären Werts y betrachten) und bekommt eine gerahmte Untermannigfaltigkeit H^-1(y) von S^mx[0,1], deren Rand gerade aus den gerahmten Untermannigfaltigkeit f^-1(y) und g^-1(y) besteht.

Homotope Abbildungen entsprechen also kobordanten gerahmten Untermannigfaltigkeiten. (Mit einem ähnlichen Argument bekommt man die Unabhängigkeit der Kobordismusklasse vom regulären Wert y: wenn z ein anderer regulärer Wert ist, dann betrachtet man die Drehung der Sⁿ, welche y in z abbildet. Die Drehung ist homotop zur Identität und die Homotpie liefert wieder eine gerahmte Untermannigfaltigkeit in S^mx[0,1], deren Ränder f^-1(y) und f^-1(z) sind.)

Man hat also eine wohldefinierte Abbildung, die einer Homotopieklasse von Abbildungen eine Kobordismusklasse gerahmter Untermannigfaltigkeiten zuordnet.
Warum ist diese Abbildung eine Bijektion?

Zur Surjektivität muß man zeigen, daß es zu jeder gerahmten Untermannigfaltigkeit K von S^m eine Abbildung f:S^m–>Sⁿ mit f^-1(y)=K gibt, so daß die gegebene Rahmung von K durch Df auf die offensichtliche Rahmung von y abgebildet wird (insbes. daß die linear unabhängigen Vektorfelder der Rahmung nach Anwendung von Df wieder linear unabhängig sind). Eine solche Abbildung f kann man aber leicht konstruieren:
– die Rahmung liefert eine Trivialisierung einer Umgebung von K, d.h. K hat eine Umgebung U mit U=KxRⁿ
– Sⁿ läßt sich mittels stereographischer Projektion zerlegen als Sⁿ=Rⁿ ∪ {*}, wobei man o.B.d.A. annehmen kann, daß y dem Nullpunkt entspricht. (* ist der “Punkt im Unendlichen”)
– f definiert man wie folgt:
. auf U=KxRⁿ ist f die Projektion auf Rⁿ,
. S^m-U wird durch f konstant auf den Punkt * abgebildet.
Weil y dem Nullpunkt entspricht, ist f^-1(y)=Kx{0}=K und natürlich wird die Rahmung durch Df auf die offensichtliche Rahmung des Nullpunkts in Rⁿ abgebildet.