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 $\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)
• Der unendliche reelle projektive Raum $ℝP^{\mathrm{\infty }}$ ist ein $K(\mathbb{Z}/2,1)$. (Siehe Example 1B.3 in Algebraic Topology)
• Der unendliche komplexe projektive Raum $ℂP^{\mathrm{\infty }}$ ist ein Modell eines $K(\mathbb{Z},2)$. (Siehe Example 4.50. in Algebraic Topology)
• Eine Verallgemeinerung von $ℝP^{\mathrm{\infty }}$ als ein $K(\mathbb{Z}/2,1)$ ist ein unendlich dimensionaler Linsenraum $L(\mathrm{\infty },q)$, definiert durch den Quotienten von $S^{\mathrm{\infty }}$ unter der freien Operation $(z\mapsto e^{2\pi im/q}z)$ für $m\in \mathbb{Z}/q$. $L(\mathrm{\infty },q)$ ist ein $K(\mathbb{Z}/q,1)$. (Siehe Example 1B.4 in Algebraic Topology) Dies folgt, indem man Überlagerungstheorie und die Tatsache, dass die unendlich dimensionale Sphäre $S^{\mathrm{\infty }}$ zusammenziehbar ist.
• Das Bouquet von $k$ Kreisen ${\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) Dies ist ein Theorem von Christos Papakyriakopoulos.
• Die geschlossene, kompakte orientierbare Fläche $S_g$ vom Geschlecht $g\ge 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 ${ℝ}^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 ${𝕋}^n$ ein $K({\mathbb{Z}}^n,1)$. (Siehe Example 1B.5 in Algebraic Topology)

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.

Eine weitere simpliziale Konstruktion in Hinsicht auf klassifizierende Räume und universelle Bündel ist in J. Peter Mays Buch 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{)}^{\prime }s$ Repräsentative Räume für singuläre Kohomologie mit Koeffizienten in $G$. Da

$H^n(K(G,n),G)=\mathrm{Hom}(H_n(K(G,n);\mathbb{Z}),G)=\mathrm{Hom}({\pi }_n(K(G,n)),G)=\mathrm{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 gefunden werden, ein weiterer, der die Beziehung zwischen Omega-Spektra und reduzierten verallgemeinerten Kohomologietheorien ausnutzt hier, und wird unten kurz skizziert.

Schleifenräume Omega-Spektren

Der Schleifenraum eines Eilenberg-MacLane-Raumes ist wieder ein Eilenberg-MacLane-Raum: $\mathrm{\Omega }K(G,n)\cong K(G,n-1)$. Des Weiteren existiert eine Adjunktion zwischen dem Schleifenraum- und Einhängungsfunktor: $[\mathrm{\Sigma }X,Y]=[X,\mathrm{\Omega }Y]$, wodurch $[X,K(G,n)]\cong [X,{\mathrm{\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\ne 0$ erfüllt, eine natürliche Bijektion $h^n(X)\cong {\tilde{H}}^n(X,h^0(S^0))$, wobei $\widetilde{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 \mathrm{\Sigma }K(G,n))\to {\pi }_{q+n+1}^s(X\wedge K(G,n+1))$

induziert von der Abbildung $\mathrm{\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)=\underset{n}{\underrightarrow{\lim }}{\pi }_{q+n}^s(X\wedge K(G,n))$ auf der Kategorie der CW-Komplexe liefert.

Da $h_q(S^0)=\underrightarrow{\lim }{\pi }_{q+n}^s(K(G,n))$ für $q\ne 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 $\mathrm{\Theta }:H^m(\cdot ,G)\to H^n(\cdot ,H)$ und $H^n(K(G,m),H)$ definiert durch $\mathrm{\Theta }\mapsto \mathrm{\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 $\mathrm{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; ausführliche Tabellen dieser Kohomologien sind hier 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\stackrel{p_3}{\to }{X}_2\stackrel{p_2}{\to }{X}_1\simeq K({\pi }_1(X),1)$

sodass für jedes $n$:

1. es kommutierende Abbildungen $X\to X_n$ gibt, die Isomorphismen auf ${\pi }_i$ für $i\le n$ induzieren,
2. ${\pi }_i(X_n)=0$ für $i>n$,
3. die Abbildungen $X_n\stackrel{p_n}{\to }{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$:

1. die Abbildungen $X_n\to X$ einen Isomorphismus auf ${\pi }_i$ für $i>n$ induzieren,
2. $X_n$ n-zusammenhängend ist,
3. 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 berechnet, allgemeiner werden ${\pi }_{n+i}(S^n)i\le 3$ mithilfe eines Postnikowsystems hier 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

• What is an Eilenberg-MacLane space?
• A K(Z,4) in nature
• (Co)homology of Eilenberg-MacLane spaces K(G,n)

Andere Enzyklopädien

• nlab