Eilenberg-MacLane-Raum

In der algebraischen Topologie, einem Teilgebiet der Mathematik, ist ein Eilenberg-MacLane-Raum ein topologischer Raum mit einer einzigen nicht trivialen Homotopiegruppe.

Für eine Gruppe G und eine positive natürliche Zahl heißt ein zusammenhängender topologischer Raum $X$ ein Eilenberg-MacLane-Raum $K(G,n)$ , falls die n-te Homotopiegruppe $\pi _{n}(X)$ isomorph zu G ist und alle anderen Homotopiegruppen trivial sind.

Falls $n>1$ und G abelsch oder $n=1$ und G beliebig ist, existiert ein solcher Raum, ist ein zusammenhängender CW-Komplex und bis auf Homotopieäquivalenz eindeutig bestimmt. Folglich wird ein solcher CW-Komplex auch als „der“ $K(G,n)$ bezeichnet.

Der Name ist auf die Mathematiker Samuel Eilenberg und Saunders Mac Lane zurückzuführen, die solche Räume in den 1940er Jahren studierten.

Eilenberg-MacLane-Räume haben Anwendungen in verschiedenen Bereichen: Sie können einerseits in der Homotopietheorie als Bausteine für CW-Komplexe dienen, die mittels Faserungen mit Fasern $K(G,n)$ in einem Postnikow-Turm zusammengesetzt werden. Damit können beispielsweise Homotopiegruppen von Sphären berechnet werden. Andererseits können mit ihrer Hilfe Kohomologieoperationen definiert werden und sie sind darstellende Räume für die singuläre Kohomologie.

Ein verallgemeinerter Eilenberg-MacLane-Raum ist ein Raum, der homotopieäquivalent zu einem Produkt von Eilenberg-MacLane-Räumen ${\textstyle \prod _{m}K(G_{m},m)}$ ist.

Beispiele

Der Kreis $S^{1}$ ist ein $K(\mathbb {Z} ,1)$ . (Siehe Example 1B.1 in Algebraic Topology^[1])
Der unendliche reelle projektive Raum $\mathbb {R} P^{\infty }$ ist ein $K(\mathbb {Z} /2,1)$ . (Siehe Example 1B.3 in Algebraic Topology^[1])
Der unendliche komplexe projektive Raum $\mathbb {C} P^{\infty }$ ist ein Modell eines $K(\mathbb {Z} ,2)$ . (Siehe Example 4.50. in Algebraic Topology^[1])
Eine Verallgemeinerung von $\mathbb {R} P^{\infty }$ als ein $K(\mathbb {Z} /2,1)$ ist ein unendlich dimensionaler Linsenraum $L(\infty ,q)$ , definiert durch den Quotienten von $S^{\infty }$ unter der freien Operation $(z\mapsto e^{2\pi im/q}z)$ für $m\in \mathbb {Z} /q$ . $L(\infty ,q)$ ist ein $K(\mathbb {Z} /q,1)$ . (Siehe Example 1B.4 in Algebraic Topology^[1]) Dies folgt, indem man Überlagerungstheorie und die Tatsache, dass die unendlich dimensionale Sphäre $S^{\infty }$ zusammenziehbar ist.^[2]
Das Bouquet von $k$ Kreisen $\textstyle \bigvee _{i=1}^{k}S^{1}$ ist ein $K(F_{k},1)$ für die freie Gruppe $F_{k}$ mit $k$ Erzeugern.
Das Komplement eines zusammenhängenden Knotens oder Graphen in einer 3-dimensionalen Sphäre $S^{3}$ ist ein $K(G,1)$ . (Siehe Example 1B.6 in Algebraic Topology^[1]) Dies ist ein Theorem von Christos Papakyriakopoulos.^[3]
Die geschlossene, kompakte orientierbare Fläche $S_{g}$ vom Geschlecht $g\geq 1$ ist ein $K(\pi _{1}S_{g},1)$ für die Flächengruppe $\pi _{1}S_{g}$ .
Allgemeiner ist jede Mannigfaltigkeit nichtpositiver Schnittkrümmung (und allgemeiner jeder metrische Raum, dessen universelle Überlagerung ein CAT(0)-Raum ist) ein $K(G,1)$ . Darunter fallen lokal-symmetrische Räume von nichtkompaktem Typ, insbesondere hyperbolische Mannigfaltigkeiten. Siehe hierzu auch Satz von Cartan-Hadamard.
Der Konfigurationsraum von $n$ Punkten in der Ebene ist ein $K(P_{n},1)$ , wobei $P_{n}$ die reine Zopfgruppe der n-strängigen Zöpfe ist.
Entsprechend ist der $n$ -te ungeordnete Konfigurationsraum von $\mathbb {R} ^{2}$ ein $K(B_{n},1)$ , wobei $B_{n}$ die Zopfgruppe der n-strängigen Zöpfe bezeichnet.
Das unendliche symmetrische Produkt $SP(S^{n})$ einer n-Sphäre ist ein $K(\mathbb {Z} ,n)$ . Allgemeiner ist $SP(M(G,n))$ ein $K(G,n)$ für jeden Moore-Raum $M(G,n)$ .

Weitere elementare Beispiele können unter der Berücksichtigung, dass das Produkt $K(G,n)\times K(H,n)$ ein $K(G\times H,n)$ ist, konstruiert werden: Beispielsweise ist der n-dimensionale Torus $\mathbb {T} ^{n}$ ein $K(\mathbb {Z} ^{n},1)$ . (Siehe Example 1B.5 in Algebraic Topology^[1])

Bemerkungen zur Konstruktion

Für $n=1$ und $G$ eine beliebige Gruppe ist die Konstruktion eines $K(G,1)$ identisch zu der eines klassifizierenden Raumes der Gruppe $G$ . Beachte, falls $G$ ein Torsionselement besitzt, dann ist der jeder CW-Komplex mit Homotopietyp $K(G,1)$ bereits unendlichdimensional.

Es gibt mehrere Techniken, höhere Eilenberg-MacLane-Räume zu konstruieren. Eine dieser ist einen Moore-Raum $M(A,n)$ für eine abelsche Gruppe $A$ zu konstruieren: Betrachte einen Bouquet von n-Sphären, eine für jeden Erzeuger von $A$ und realisiere die in $A$ geltenden Relationen durch Ankleben von $n+1$ Zellen entlang entsprechender Abbildung in $\pi _{n}(\bigvee S^{n})$ von eben diesem Bouquet. Beachte, dass die niedrigeren Homotopiegruppen $\pi _{i<n}(M(A,n))$ bereits trivial nach Konstruktion sind. Nun eliminieren wir die höheren Homotopiegruppen $\pi _{i>n}(M(A,n))$ durch sukzessives Ankleben von Zellen der Dimension größer als $n+1$ und definieren $K(A,n)$ als direkter Limes unter Inklusion dieser Iteration.

Eine andere nützliche Methode ist die geometrische Realisierung von simplizialen abelschen Gruppen zu nutzen.^[4]

Eine weitere simpliziale Konstruktion in Hinsicht auf klassifizierende Räume und universelle Bündel ist in J. Peter Mays Buch^[5] zu finden.

Singuläre Kohomologie

Eine interessante Eigenschaft von $K(G,n)$ 's ist, dass es für jede abelsche Gruppe $G$ und jeden punktierten CW-Komplex $X$ , für die Menge $[X,K(G,n)]$ von Homotopieklassen von punktieren stetigen Abbildungen von $X$ nach $K(G,n)$ eine natürliche Bijektion mit der $n$ -ten Singulären Kohomologie $H^{n}(X,G)$ des Raumes $X$ gibt. In anderen Worten sind die $K(G,n)'s$ Repräsentative Räume für singuläre Kohomologie mit Koeffizienten in $G$ . Da

$H^{n}(K(G,n),G)=\operatorname {Hom} (H_{n}(K(G,n);\mathbb {Z} ),G)=\operatorname {Hom} (\pi _{n}(K(G,n)),G)=\operatorname {Hom} (G,G)$

gilt, gibt es ein spezielles Element $u\in H^{n}(K(G,n),G)$ , genannt „Fundamentalklasse“, das der Identität in $G$ entspricht. Die oben genannten natürliche Bijektion ist ein Pullback dieses Elementes: $f\mapsto f^{*}u$ . Ähnlichkeiten mit dem Yoneda-Lemma sind zu erkennen.

Ein konstruktiver Beweis dieser Aussage kann hier^[6] gefunden werden, ein weiterer, der die Beziehung zwischen Omega-Spektra und reduzierten verallgemeinerten Kohomologietheorien ausnutzt hier^[1], und wird unten kurz skizziert.

Schleifenräume Omega-Spektren

Der Schleifenraum eines Eilenberg-MacLane-Raumes ist wieder ein Eilenberg-MacLane-Raum: $\Omega K(G,n)\cong K(G,n-1)$ . Des Weiteren existiert eine Adjunktion zwischen dem Schleifenraum- und Einhängungsfunktor: $[\Sigma X,Y]=[X,\Omega Y]$ , wodurch $[X,K(G,n)]\cong [X,\Omega ^{2}K(G,n+2)]$ eine abelsche Gruppenstruktur gegeben wird, wobei die Gruppenoperation das Hintereinanderausführen von Schleifen ist. Dadurch ist die oben aufgeführte Bijektion $[X,K(G,n)]\to H^{n}(X,G)$ ein Gruppenisomorphismus.

Außerdem wird durch diese Adjunktion impliziert, dass Eilenberg-MacLane-Räume mit verschiedenen $n$ ein Omega-Spektrum, genannt „Eilenberg-MacLane-Spektrum“, bilden. Dieses Spektrum definiert via $X\mapsto h^{n}(X):=[X,K(G,n)]$ eine reduzierte Kohomologietheorie auf der Kategorie der punktierten CW-Komplexe. Nun existiert für jede reduzierte Kohomologietheorie $h^{*}$ auf punktierten CW-Komplexen, die $h^{n}(S^{0})=0$ für $n\neq 0$ erfüllt, eine natürliche Bijektion $h^{n}(X)\cong {\tilde {H}}^{n}(X,h^{0}(S^{0}))$ , wobei ${\tilde {H^{*}}}$ die reduzierte Singuläre Kohomologie beschreibt. Folglich stimmen diese beiden Kohomologietheorien überein.

Allgemeiner besagt der Darstellungssatz von Brown, dass jede reduzierte verallgemeinerte Kohomologietheorie auf der Kategorie der punktierten CW-Komplexe von einem Omega-Spektrum stammt.

Zusammenhang mit Homologie

Ähnlich wie bei der singulären Kohomologie finden wir auch eine Verbindung zur singulären Homologie: Für eine feste abelsche Gruppe $G$ gibt es Abbildungen auf den stabilen Homotopiegruppen:

$\pi _{q+n}^{s}(X\wedge K(G,n))\cong \pi _{q+n+1}^{s}(X\wedge \Sigma K(G,n))\to \pi _{q+n+1}^{s}(X\wedge K(G,n+1))$

induziert von der Abbildung $\Sigma K(G,n)\to K(G,n+1)$ . Bildet man den direkten Limes über diese Abbildungen, lässt sich nachrechnen, dass dies eine reduzierte Homologietheorie

$h_{q}(X)=\varinjlim _{n}\pi _{q+n}^{s}(X\wedge K(G,n))$ auf der Kategorie der CW-Komplexe liefert.

Da $h_{q}(S^{0})=\varinjlim \pi _{q+n}^{s}(K(G,n))$ für $q\neq 0$ null wird, stimmt $h_{*}$ mit der reduzierten singulären Homologie ${\tilde {H}}_{*}(\cdot ,G)$ mit Koeffizienten in auf CW-Komplexen überein.

Kohomologieoperationen

Für feste natürliche Zahlen $m,n$ und abelsche Gruppen $G,H$ gibt es eine Bijektion zwischen der Menge aller Kohomologieoperationen $\Theta :H^{m}(\cdot ,G)\to H^{n}(\cdot ,H)$ und $H^{n}(K(G,m),H)$ definiert durch $\Theta \mapsto \Theta (\alpha )$ , wobei $\alpha \in H^{m}(K(G,m),G)$ , wie oben, die sogenannte Fundamentalklasse ist.

Daraus folgt unter Verwendung des universellen Koeffiziententheorems und der (m-1)-Zusammenhängigkeit von $K(G,m)$ , dass Kohomologieoperationen nicht den Grad von Kohomologiegruppen verringern können und graderhaltende Kohomologieoperationen korrespondieren zu Koeffizientenhomomorphismen $\operatorname {Hom} (G,H)$ .

Interessante Beispiele von Kohomologieoperationen sind Steenrod Quadrate und Exponenten, falls $G=H$ endliche zyklischen Gruppen sind. Hier wird schnell die Wichtigkeit der Kohomologie der $K(\mathbb {Z} /p,n)$ 's mit Koeffizienten in $\mathbb {Z} /p$ klar^[7]; ausführliche Tabellen dieser Kohomologien sind hier^[8] zu finden.

Postnikow- und Whiteheadtürme

Jeder CW-Komplex lässt sich als Postnikow-Turm zerlegen, d.h. als iterierte Faserung, deren Fasern Eilenberg-MacLane-Räume sind; genauer eine Sequenz:

$\cdots \to X_{3}\xrightarrow {p_{3}} X_{2}\xrightarrow {p_{2}} X_{1}\simeq K(\pi _{1}(X),1)$

sodass für jedes $n$ :

es kommutierende Abbildungen $X\to X_{n}$ gibt, die Isomorphismen auf $\pi _{i}$ für $i\leq n$ induzieren,
$\pi _{i}(X_{n})=0$ für $i>n$ ,
die Abbildungen $X_{n}\xrightarrow {p_{n}} X_{n-1}$ Faserungen mit Faser $K(\pi _{n}(X),n)$ sind.

Dual zu diesem Konstrukt existiert zu jedem CW-Komplex ein Whitehead-Turm, d.h. eine Sequenz von CW-Komplexen:

$\cdots \to X_{3}\to X_{2}\to X_{1}\to X$ ,

sodass für jedes $n$ :

die Abbildungen $X_{n}\to X$ einen Isomorphismus auf $\pi _{i}$ für $i>n$ induzieren,
$X_{n}$ n-zusammenhängend ist,
die Abbildungen $X_{n}\to X_{n-1}$ sind Faserungen mit Faser $K(\pi _{n}(X),n-1)$ .

Mittels Spektralsequenzen können höhere Homotopiegruppen von Sphären aus Postnikow- und Whiteheadtürmen berechnet werden. Beispielsweise werden $\pi _{4}(S^{3})$ und $\pi _{5}(S^{3})$ mithilfe eines Whiteheadturms von $S^{3}$ hier^[9] berechnet, allgemeiner werden $\pi _{n+i}(S^{n})\ i\leq 3$ mithilfe eines Postnikowsystems hier^[10] untersucht.

Gruppenhomologie und Gruppenkohomologie

Die Gruppenhomologie einer Gruppe $G$ (mit Koeffizienten $A$ ) ist per Definition die singuläre Homologie des Eilenberg-MacLane-Raumes $K(G,1)$ :

$H_{*}(G;A):=H_{*}(K(G,1);A),$

entsprechend für die Gruppenkohomologie:

$H^{*}(G;A):=H^{*}(K(G,1);A).$

Literatur

S. Eilenberg, S. MacLane: Relations between homology and homotopy groups of spaces Ann. of Math. 46 (1945) pp. 480–509
S. Eilenberg, S. MacLane: Relations between homology and homotopy groups of spaces. II Ann. of Math. 51 (1950) pp. 514–533
Kapitel 8.1 in: Edwin H. Spanier, Algebraic topology. Corrected reprint. Springer-Verlag, New York-Berlin, 1981. ISBN 0-387-90646-0
Allen Hatcher: Spectral Sequences in Algebraic Topology preprint
Derived functors of the divided power functors

Weblinks

Andere Enzyklopädien

nlab

Einzelnachweise

Hochspringen nach: 1 2 3 4 5 6 7 Allen Hatcher: "Algebraic Topology", Cambridge University Press, 2001. Abgerufen am 17. September 2026.
↑ general topology - Unit sphere in $\mathbb{R}^\infty$ is contractible? In: Mathematics Stack Exchange. Abgerufen am 17. September 2026 (englisch).
↑ C. D. Papakyriakopoulos: ON DEHN'S LEMMA AND THE ASPHERICITY OF KNOTS. In: Proceedings of the National Academy of Sciences. Band 43, Nummer 1, Januar 1957, S. 169–172, doi: 10.1073/pnas.43.1.169, PMID 16589993, PMC 528404 (freier Volltext).
↑ gt.geometric topology - Explicit constructions of K(G,2)? In: MathOverflow. Abgerufen am 17. September 2026 (englisch).
↑ J. Peter May: A Concise Course in Algebraic Topology. University of Chicago Press, Kapitel 16, Abschnitt 5 (englisch, ed.ac.uk [PDF]).
↑ Xi Yin: "On Eilenberg-MacLanes Spaces" (vom 29. September 2021 im Internet Archive).
↑ Cary Malkievich: "The Steenrod algebra", (vom 15. August 2017 im Internet Archive)
↑ Integral Cohomology of Finite Postnikov Towers
↑ Xi Yin: "On Eilenberg-MacLanes Spaces" (vom 29. September 2021 im Internet Archive)
↑ Allen Hatcher: Spectral Sequences, Cornell Univerität abgerufen am 17. September 2026.

Basierend auf einem Artikel in:

Wikipedia.de