Kervaire-Milnor-Gruppe

Eine Kervaire-Milnor-Gruppe ist im mathematischen Teilgebiet der Differentialtopologie eine die Existenz von glatten Strukturen auf topologischen Mannigfaltigkeiten und stückweise linearen oder kurz PL-Mannigfaltigkeiten (englisch piecewise linear)n kontrollierende Gruppe, welche durch die orientierten h-Kobordismusklassen von Homotopiesphären gegeben ist. In allen anderen außer drei und vier Dimensionen gibt diese zudem die Anzahl der möglichen glatten Strukturen auf den Sphären an, also die Anzahl der exotischen Sphären. Bei der verwandten Frage nach Obstruktionen für die Existenz einer stückweise glatten Struktur oder kurz PL-Struktur auf einer topologischen Mannigfaltigkeit ist dagegen die Kirby-Siebenmann-Invariante entscheidend, welche weitaus einfacher ist. Benannt sind die Kevaire-Milnor-Gruppen nach dem französischen Mathematiker Michel Kervaire und dem US-amerikanischen Mathematiker John Milnor, welche diese im Jahr 1962 eingeführt haben. (Das Paper sollte ursprünglich nur der erste Teil sein, jedoch erschien nie ein zweite Teil.)

Definition

Eine wichtige Eigenschaft der Sphäre ist ihre Neutralität in der verbundenen Summe. Zur Erweiterung dieser Monoidstruktur mit einer Verknüpfung und einem neutralen Element ist die Einschränkung auf Mannigfaltigkeiten notwendig, bei denen eine verbundene Summe wieder eine Sphäre ergeben kann, also welche intuitiv gesehen keine Löcher aufweisen. Möglich ist dies mit Homotopiesphären, den geschlossenen glatten Mannigfaltigkeiten mit dem gleichen Homotopietyp wie eine Sphäre, wobei jedoch eine Einschränkung auf ihre h-Kobordismusklassen für die Anwendung sinnvoll ist. Inversion ist nun durch den Orientierungswechsel einer orientierbaren Mannigfaltigkeit gegeben, wodurch sich eine Gruppenstruktur ergibt.

Eine alternative Definition ergibt sich in höheren Dimensionen durch die Beschreibung von topologischen, stückweise linearen und glatten Strukturen. Es seien jeweils $\operatorname {Top} _{n}$ die topologische Gruppe der Homöomorphismen, $\operatorname {PL} _{n}$ die topologische Gruppe der PL-Homöomorphismen und $\operatorname {Diff} _{n}$ die topologische Gruppe der Diffeomorphismen des euklidischen Raumes $\mathbb {R} ^{n}$. Über den induktiven Limes ergeben sich daraus jeweils Gruppen $\operatorname {Top}$, $\operatorname {PL}$ und $\operatorname {Diff}$ (welche homotopieäquivalent zur unendlichen orthogonalen Gruppe $\operatorname {O} (\infty )$ ist), deren klassifizierende Räume gebildet werden können. Für eine topologische Mannigfaltigkeit $X$ ist ihr Tangentialbündel $TX$ ebenfalls eine topologische Mannigfaltigkeit, welche durch eine stetige Abbildung $X\rightarrow \operatorname {BTop}$ klassifiziert wird. Analog gilt dies für eine PL-Mannigfaltigkeit mit einer stetigen Abbildung $X\rightarrow \operatorname {BPL}$ und eine glatte Mannigfaltigkeit mit einer stetigen Abbildung $X\rightarrow \operatorname {BDiff}$. Dabei drücken die kanonische Einbettung $\operatorname {BDiff} \hookrightarrow \operatorname {BPL} \hookrightarrow \operatorname {BTop}$ aus, dass jede glatte Mannigfaltigkeit eine PL-Mannigfaltigkeit und jede PL-Mannigfaltigkeit eine topologische Mannigfaltigkeit ist.

Nun sind die Kevaire-Milnor-Gruppen alternativ gegeben durch die Homotopiegruppen der Faktorgruppe $\operatorname {PL} /\operatorname {Diff}$ oder der Faktorgruppe $\operatorname {Top} /\operatorname {Diff}$:

$\Theta _{n}\cong \pi _{n}\left(\operatorname {PL} /\operatorname {Diff} \right)\cong \pi _{n}\left(\operatorname {Top} /\operatorname {Diff} \right)$

für $n\geq 5$.

Beispiele

Einige niedrigdimensionale Kervaire-Milnor-Gruppen sind gegeben durch:

$\Theta _{1}\cong 1$

$\Theta _{2}\cong 1$

$\Theta _{3}\cong 1$

$\Theta _{4}\cong 1$

$\Theta _{5}\cong 1$

$\Theta _{6}\cong 1$

$\Theta _{7}\cong \mathbb {Z} _{28}$

$\Theta _{8}\cong \mathbb {Z} _{2}$

$\Theta _{9}\cong \mathbb {Z} _{2}\oplus \mathbb {Z} _{2}$

$\Theta _{10}\cong \mathbb {Z} _{6}$

$\Theta _{11}\cong \mathbb {Z} _{992}$

Es ist weiterhin unbekannt (im Jahr 2024), ob es exotische Sphären in vier Dimensionen gibt, wobei das Resultat $\Theta _{4}\cong 1$ darüber keine Aussage zulässt. Dies liegt daran, dass die Kevaire-Milnor-Gruppen nur für $n\neq 3,4$ auch die Diffeomorphismusklassen der Sphären angeben. Nach der Konstruktion von Milnor-Sphären von John Milnor im Jahr 1956 war bereits bekannt, dass Kevaire-Milnor-Gruppen nicht trivial sein müssen, wobei sich erst in den folgenden Jahren das Resultat $\Theta _{7}\cong \mathbb {Z} _{28}$ ergab. Dabei wurde die exotische Sphäre, welche diese generiert, vom deutschen Mathematiker Egbert Brieskorn als Spezialfall der Brieskorn-Mannigfaltigkeiten im Jahr 1966 konstruiert.

Eigenschaften

• Alle Kervaire-Milnor-Gruppen sind endlich. Michel Kervaire und John Milnor bewiesen dies noch im Paper der Einführung für den Fall $n\neq 3$, wobei der Fall $n=3$ erst durch den Beweis der Poincaré-Vermutung vom russischen Mathematiker Grigori Perelman im Jahr 2002 gelöst wurde.

Literatur

• Michel Kervaire und John Milnor: Groups of homtopy spheres: I (= Annals of Mathematics. Band 77, Nr. 3). 19. April 1962 (englisch, ed.ac.uk [PDF]). 
• Daniel Freed und Karen Uhlenbeck: Instantons and Four-Manifolds (= Mathematical Sciences Research Institute Publications. Band 1). Springer New York, NY, New York 1991, ISBN 978-1-4613-9705-2, doi:10.1007/978-1-4613-9703-8 (englisch).