Homotopietheorie

Die Homotopietheorie untersucht Räume bis auf stetige Deformation, verallgemeinert die Fundamentalgruppe zu höheren Homotopiegruppen und organisiert Abbildungen durch Faserungen, Kofaserungen und CW-Approximation.

Definition

Die Homotopietheorie untersucht topologische Räume und Abbildungen bis auf Homotopie – stetige Deformation – unter Verwendung der höheren Homotopiegruppen (Homotopieklassen von Abbildungen von Sphären) und der Strukturen von Faserungen und CW-Komplexen, die diese Invarianten handhabbar machen.

Scope

Dieses Thema definiert höhere Homotopiegruppen, die für Dimensionen ab zwei abelsch sind, und entwickelt die Werkzeuge, die diese berechnen und in Beziehung setzen: Faserungen und die lange exakte Sequenz einer Faserung, den Hurewicz-Satz, der Homotopie und Homologie verbindet, Whiteheads Satz über schwache Äquivalenzen von CW-Komplexen und die Obstruktionstheorie. Es gibt einen Überblick über das (weitgehend offene) Problem der Homotopiegruppen von Sphären, Eilenberg-MacLane-Räume, die Kohomologie repräsentieren, und den modellkategorischen Standpunkt, der die Homotopietheorie abstrakt rahmt.

Core questions

• Wie erweitern höhere Homotopiegruppen die Fundamentalgruppe, und warum sind sie ab Dimension eins abelsch?
• Wie berechnet die lange exakte Sequenz einer Faserung Homotopiegruppen aus einfacheren Teilen?
• Was besagt der Hurewicz-Satz über die erste nicht-triviale Homotopiegruppe und ihre Beziehung zur Homologie?
• Warum sind die Homotopiegruppen von Sphären so schwierig, und welche Struktur organisiert sie?

Key concepts

• Höhere Homotopiegruppen und ihre abelsche Struktur
• Faserungen, Kofaserungen und die lange exakte Sequenz einer Faserung
• Hurewicz-Satz und Whiteheads Satz
• Eilenberg-MacLane-Räume und Repräsentierbarkeit der Kohomologie
• CW-Approximation und Obstruktionstheorie

Clinical relevance

Die Homotopietheorie ist das abstrakte Rückgrat der modernen Topologie und liefert die Sprache stabiler Phänomene, klassifizierende Räume für Bündel und Eichtheorien sowie die homotopischen Methoden, die heute in der Algebra, der algebraischen Geometrie und der mathematischen Physik eingesetzt werden.

History

Hurewicz führte die höheren Homotopiegruppen in den 1930er Jahren ein; Serres Spektralsequenz und die Arbeiten von Whitehead und anderen ermöglichten Berechnungen, und Quillens Modellkategorien (1967) abstrahierten die Homotopietheorie zu einem Rahmen, der weit über die Topologie hinaus anwendbar ist.

Key figures

• Witold Hurewicz
• J. H. C. Whitehead
• Daniel Quillen

Seminal works

• hatcher2002
• bredon1993

Frequently asked questions

Warum sind höhere Homotopiegruppen abelsch, die Fundamentalgruppe aber nicht notwendigerweise?

Für Dimensionen ab zwei gibt es genügend Raum, um zwei Sphäroide mittels des Eckmann-Hilton-Arguments aneinander vorbeizukommutieren, was die Kommutativität erzwingt; in Dimension eins können Schleifen auf diese Weise nicht aneinander vorbeigeschoben werden.

Sind die Homotopiegruppen von Sphären bekannt?

Nur teilweise. Trotz enormer Anstrengungen sind sie nur in einem bestimmten Dimensionsbereich berechnet, und ihre allgemeine Bestimmung bleibt eines der tiefsten offenen Probleme in der Topologie.