Whitehead-Turm

In der Mathematik ist der Whitehead-Turm eines topologischen Raumes ein Hilfsmittel bei der Berechnung von Homotopiegruppen.

Definition

Es sei $X$ ein gegebener topologischer Raum. Ein Whitehead-Turm von $X$ ist eine Folge

$\ldots \to X_{n}\to X_{n-1}\to \ldots \to X_{2}\to X_{1}\to X_{0}=X$

von Abbildungen topologischer Räume mit folgenden Eigenschaften:

• für alle $n$ ist $X_{n}\to X_{n-1}$ eine Faserung, deren Faser ein Eilenberg-MacLane-Raum $K(\pi _{n}X,n-1)$ ist
• $X_{n}$ ist $n$-zusammenhängend, d. h. für alle $k\leq n$ ist $\pi _{k}X_{n}=0$
• für alle $k>n$ ist $\pi _{k}X_{n}=\pi _{k}X$.

Konstruktion

$X_{1}$ ist die universelle Überlagerung von $X$.

$X_{n}$ wird aus $X_{n-1}$ wie folgt konstruiert. Zunächst kann man $X_{n-1}$ in einen Raum $Y_{n}$ vom schwachen Homotopietyp des $K(\pi _{n}X,n)=K(\pi _{n}X_{n-1},n)$ einbetten, indem man sukzessive alle Homotopiegruppen der Dimensionen $n+1,n+2,\ldots$ durch Ankleben von Zellen der Dimensionen $n+2,n+3,\ldots$ „tötet“. Dann definiert man $X_{n}=\Omega _{*}^{X_{n-1}}\subset \Omega K(\pi _{n}X,n)$ als Raum aller Wege in $K(\pi _{n}X,n)$, die in einem Basispunkt $*$ starten und in $X_{n-1}$ enden.

Die "Endpunkt"-Projektion $X_{n}\to X_{n-1}$ ist eine Faserung, deren Faser der Schleifenraum $\Omega Y_{n}$ ist. Dieser hat den schwachen Homotopietyp eines $K(\pi _{n}X,n-1)$.

Falls $X$ ein CW-Komplex ist, dann ist die Faser ein CW-Komplex und insbesondere also nach dem Satz von Whitehead ein $K(\pi _{n}X,n-1)$. Falls zusätzlich die höheren Homotopiegruppen $\pi _{k}X,k\geq 2$ endlich erzeugt sind, dann ist der $K(\pi _{n}X,n-1)$ homotopieuaquivalent zu einer topologischen abelschen Gruppe und die Konstruktion lässt sich so durchführen, dass für $n>1$ die Faserungen $X_{n}\to X_{n-1}$ Prinzipalbündel mit abelscher Strukturgruppe sind.

Siehe auch

• Postnikow-Turm

Literatur

• H. Cartan, J.-P. Serre: Espaces fibrés et groupes d'homotopie. I. Constructions générales. C. R. Acad. Sci. Paris 234, (1952).
• G. W. Whitehead: Fiber spaces and the Eilenberg homology groups. Proc. Nat. Acad. Sci. U. S. A. 38, (1952). 426–430. PMC 1063578 (freier Volltext)
• R. Bott, L. Tu: Differential forms in algebraic topology. Graduate Texts in Mathematics, 82. Springer-Verlag, New York-Berlin, 1982. ISBN 0-387-90613-4.