Postnikov system

In homotopy theory, a branch of algebraic topology, a Postnikov system (or Postnikov tower) is a way of decomposing a topological space by filtering its homotopy type. For a space $X$ , this is a list of spaces $\{X_{n}\}_{n\geq 0}$ where

$\pi _{k}(X_{n})={\begin{cases}\pi _{k}(X)&{\text{ for }}k\leq n\\0&{\text{ for }}k>n\end{cases}}$

and a series of maps $\phi _{n}:X_{n}\to X_{n-1}$ that are fibrations with Eilenberg-MacLane spaces $K(\pi _{n}(X),n)$ as fibers. In short, we are decomposing the homotopy type of $X$ using an inverse system of topological spaces whose homotopy type at degree $k$ agrees with the truncated homotopy type of the original space $X$ . Postnikov systems were introduced by, and are named after, Mikhail Postnikov.

There is a similar construction called the Whitehead tower (defined below) where instead of having spaces $X_{n}$ with the homotopy type of $X$ for degrees $\leq n$ , these spaces have null homotopy groups $\pi _{k}(X_{n})=0$ for $1<k<n$ .

Definition

A Postnikov system of a path-connected space $X$ is an inverse system of spaces

\cdots \to X_{n}\xrightarrow {p_{n}} X_{n-1}\xrightarrow {p_{n-1}} \cdots \xrightarrow {p_{3}} X_{2}\xrightarrow {p_{2}} X_{1}\xrightarrow {p_{1}} *

with a sequence of maps $\phi _{n}:X\to X_{n}$ compatible with the inverse system such that

The map $\phi _{n}:X\to X_{n}$ induces an isomorphism $\pi _{i}(X)\to \pi _{i}(X_{n})$ for every $i\leq n$ .
$\pi _{i}(X_{n})=0$ for $i>n$ .^[1]^:410
Each map $p_{n}:X_{n}\to X_{n-1}$ is a fibration, and so the fiber $F_{n}$ is an Eilenberg–MacLane space, $K(\pi _{n}(X),n)$ .

The first two conditions imply that $X_{1}$ is also a $K(\pi _{1}(X),1)$ -space. More generally, if $X$ is $(n-1)$ -connected, then $X_{n}$ is a $K(\pi _{n}(X),n)$ -space and all $X_{i}$ for $i<n$ are contractible. Note the third condition is only included optionally by some authors.

Existence

Postnikov systems exist on connected CW complexes,^[1]^:354 and there is a weak homotopy-equivalence between $X$ and its inverse limit, so

X\simeq \varprojlim {}X_{n}

,

showing that $X$ is a CW approximation of its inverse limit. They can be constructed on a CW complex by iteratively killing off homotopy groups. If we have a map $f:S^{n}\to X$ representing a homotopy class $[f]\in \pi _{n}(X)$ , we can take the pushout along the boundary map $S^{n}\to e_{n+1}$ , killing off the homotopy class. For $X_{m}$ this process can be repeated for all $n>m$ , giving a space which has vanishing homotopy groups $\pi _{n}(X_{m})$ . Using the fact that $X_{n-1}$ can be constructed from $X_{n}$ by killing off all homotopy maps $S^{n}\to X_{n}$ , we obtain a map $X_{n}\to X_{n-1}$ .

Main property

One of the main properties of the Postnikov tower, which makes it so powerful to study while computing cohomology, is the fact the spaces $X_{n}$ are homotopic to a CW complex ${\mathfrak {X}}_{n}$ which differs from $X$ only by cells of dimension $\geq n+2$ .

Homotopy classification of fibrations

The sequence of fibrations $p_{n}:X_{n}\to X_{n-1}$ ^[2] have homotopically defined invariants, meaning the homotopy classes of maps $p_{n}$ , give a well defined homotopy type $[X]\in \operatorname {Ob} (hTop)$ . The homotopy class of $p_{n}$ comes from looking at the homotopy class of the classifying map for the fiber $K(\pi _{n}(X),n)$ . The associated classifying map is

X_{n-1}\to B(K(\pi _{n}(X),n))\simeq K(\pi _{n}(X),n+1)

,

hence the homotopy class $[p_{n}]$ is classified by a homotopy class

[p_{n}]\in [X_{n-1},K(\pi _{n}(X),n+1)]\cong H^{n+1}(X_{n-1},\pi _{n}(X))

called the nth Postnikov invariant of $X$ , since the homotopy classes of maps to Eilenberg-Maclane spaces gives cohomology with coefficients in the associated abelian group.

Fiber sequence for spaces with two nontrivial homotopy groups

One of the special cases of the homotopy classification is the homotopy class of spaces $X$ such that there exists a fibration

K(A,n)\to X\to \pi _{1}(X)

giving a homotopy type with two non-trivial homotopy groups, $\pi _{1}(X)=G$ , and $\pi _{n}(X)=A$ . Then, from the previous discussion, the fibration map $BG\to K(A,n+1)$ gives a cohomology class in

H^{n+1}(BG,A)

,

which can also be interpreted as a group cohomology class. This space $X$ can be considered a higher local system.

Examples of Postnikov towers

Postnikov tower of a K(G, n)

One of the conceptually simplest cases of a Postnikov tower is that of the Eilenberg–Maclane space $K(G,n)$ . This gives a tower with

{\begin{matrix}X_{i}\simeq *&{\text{for }}i<n\\X_{i}\simeq K(G,n)&{\text{for }}i\geq n\end{matrix}}

Postnikov tower of S²

The Postnikov tower for the sphere $S^{2}$ is a special case whose first few terms can be understood explicitly. Since we have the first few homotopy groups from the simply connectedness of $S^{2}$ , degree theory of spheres, and the Hopf fibration, giving $\pi _{k}(S^{2})\simeq \pi _{k}(S^{3})$ for $k\geq 3$ , hence

{\begin{matrix}\pi _{1}(S^{2})=&0\\\pi _{2}(S^{2})=&\mathbb {Z} \\\pi _{3}(S^{2})=&\mathbb {Z} \\\pi _{4}(S^{2})=&\mathbb {Z} /2.\end{matrix}}

Then, $X_{2}=S_{2}^{2}=K(\mathbb {Z} ,2)$ , and $X_{3}$ comes from a pullback sequence

{\begin{matrix}X_{3}&\to &*\\\downarrow &&\downarrow \\X_{2}&\to &K(\mathbb {Z} ,4),\end{matrix}}

which is an element in

[p_{3}]\in [K(\mathbb {Z} ,2),K(\mathbb {Z} ,4)]\cong H^{4}(\mathbb {CP} ^{\infty })=\mathbb {Z}

.

If this was trivial it would imply $X_{3}\simeq K(\mathbb {Z} ,2)\times K(\mathbb {Z} ,3)$ . But, this is not the case! In fact, this is responsible for why strict infinity groupoids don't model homotopy types.^[3] Computing this invariant requires more work, but can be explicitly found.^[4] This is the quadratic form $x\mapsto x^{2}$ on $\mathbb {Z} \to \mathbb {Z}$ coming from the Hopf fibration $S^{3}\to S^{2}$ . Note that each element in $H^{4}(\mathbb {CP} ^{\infty })$ gives a different homotopy 3-type.

Homotopy groups of spheres

One application of the Postnikov tower is the computation of homotopy groups of spheres.^[5] For an $n$ -dimensional sphere $S^{n}$ we can use the Hurewicz theorem to show each $S_{i}^{n}$ is contractible for $i<n$ , since the theorem implies that the lower homotopy groups are trivial. Recall there is a spectral sequence for any Serre fibration, such as the fibration

K(\pi _{n+1}(X),n+1)\simeq F_{n+1}\to S_{n+1}^{n}\to S_{n}^{n}\simeq K(\mathbb {Z} ,n)

.

We can then form a homological spectral sequence with $E^{2}$ -terms

E_{p,q}^{2}=H_{p}\left(K(\mathbb {Z} ,n),H_{q}\left(K\left(\pi _{n+1}\left(S^{n}\right),n+1\right)\right)\right)

.

And the first non-trivial map to $\pi _{n+1}\left(S^{n}\right)$ ,

d_{0,n+1}^{n+1}:H_{n+2}(K(\mathbb {Z} ,n))\to H_{0}\left(K(\mathbb {Z} ,n),H_{n+1}\left(K\left(\pi _{n+1}\left(S^{n}\right),n+1\right)\right)\right)

,

equivalently written as

d_{0,n+1}^{n+1}:H_{n+2}(K(\mathbb {Z} ,n))\to \pi _{n+1}\left(S^{n}\right)

.

If it's easy to compute $H_{n+1}\left(S_{n+1}^{n}\right)$ and $H_{n+2}\left(S_{n+2}^{n}\right)$ , then we can get information about what this map looks like. In particular, if it's an isomorphism, we obtain a computation of $\pi _{n+1}\left(S^{n}\right)$ . For the case $n=3$ , this can be computed explicitly using the path fibration for $K(\mathbb {Z} ,3)$ , the main property of the Postnikov tower for ${\mathfrak {X}}_{4}\simeq S^{3}\cup \{{\text{cells of dimension}}\geq 6\}$ (giving $H_{4}(X_{4})=H_{5}(X_{4})=0$ , and the universal coefficient theorem giving $\pi _{4}\left(S^{3}\right)=\mathbb {Z} /2$ . Moreover, because of the Freudenthal suspension theorem this actually gives the stable homotopy group $\pi _{1}^{\mathbb {S} }$ since $\pi _{n+k}\left(S^{n}\right)$ is stable for $n\geq k+2$ .

Note that similar techniques can be applied using the Whitehead tower (below) for computing $\pi _{4}\left(S^{3}\right)$ and $\pi _{5}\left(S^{3}\right)$ , giving the first two non-trivial stable homotopy groups of spheres.

Postnikov towers of spectra

In addition to the classical Postnikov tower, there is a notion of Postnikov towers in stable homotopy theory constructed on spectra^[6]^{pg 85-86}.

Definition

For a spectrum $E$ a postnikov tower of $E$ is a diagram in the homotopy category of spectra, ${\text{Ho}}({\textbf {Spectra}})$ , given by

\cdots \to E_{(2)}\xrightarrow {p_{2}} E_{(1)}\xrightarrow {p_{1}} E_{(0)}

,

with maps

\tau _{n}:E\to E_{(n)}

commuting with the $p_{n}$ maps. Then, this tower is a Postnikov tower if the following two conditions are satisfied:

$\pi _{i}^{\mathbb {S} }\left(E_{(n)}\right)=0$ for $i>n$ ,
$\left(\tau _{n}\right)_{*}:\pi _{i}^{\mathbb {S} }(E)\to \pi _{i}^{\mathbb {S} }\left(E_{(n)}\right)$ is an isomorphism for $i\leq n$ ,

where $\pi _{i}^{\mathbb {S} }$ are stable homotopy groups of a spectrum. It turns out every spectrum has a Postnikov tower and this tower can be constructed using a similar kind of inductive procedure as the one given above.

Whitehead tower

Given a CW complex $X$ , there is a dual construction to the Postnikov tower called the Whitehead tower. Instead of killing off all higher homotopy groups, the Whitehead tower iteratively kills off lower homotopy groups. This is given by a tower of CW complexes,

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

,

where

The lower homotopy groups are zero, so $\pi _{i}(X_{n})=0$ for $i\leq n$ .
The induced map $\pi _{i}:\pi _{i}(X_{n})\to \pi _{i}(X)$ is an isomorphism for $i>n$ .
The maps $X_{n}\to X_{n-1}$ are fibrations with fiber $K(\pi _{n}(X),n-1)$ .

Implications

Notice $X_{1}\to X$ is the universal cover of $X$ since it is a covering space with a simply connected cover. Furthermore, each $X_{n}\to X$ is the universal $n$ -connected cover of $X$ .

Construction

The spaces $X_{n}$ in the Whitehead tower are constructed inductively. If we construct a $K\left(\pi _{n+1}(X),n+1\right)$ by killing off the higher homotopy groups in $X_{n}$ ,^[7] we get an embedding $X_{n}\to K(\pi _{n+1}(X),n+1)$ . If we let

X_{n+1}=\left\{f\colon I\to K\left(\pi _{n+1}(X),n+1\right):f(0)=p{\text{ and }}f(1)\in X_{n}\right\}

for some fixed basepoint $p$ , then the induced map $X_{n+1}\to X_{n}$ is a fiber bundle with fiber homeomorphic to

\Omega K\left(\pi _{n+1}(X),n+1\right)\simeq K\left(\pi _{n+1}(X),n\right)

,

and so we have a Serre fibration

K\left(\pi _{n+1}(X),n\right)\to X_{n}\to X_{n-1}

.

Using the long exact sequence in homotopy theory, we have that $\pi _{i}(X_{n})=\pi _{i}\left(X_{n-1}\right)$ for $i\geq n+1$ , $\pi _{i}(X_{n})=\pi _{i}(X_{n-1})=0$ for $i<n-1$ , and finally, there is an exact sequence

0\to \pi _{n+1}\left(X_{n+1})\to \pi _{n+1}(X_{n}\right)\mathrel {\overset {\partial }{\rightarrow }} \pi _{n}K\left(\pi _{n+1}(X),n\right)\to \pi _{n}\left(X_{n+1}\right)\to 0

,

where if the middle morphism is an isomorphism, the other two groups are zero. This can be checked by looking at the inclusion $X_{n}\to K(\pi _{n+1}(X),n+1)$ and noting that the Eilenberg–Maclane space has a cellular decomposition

X_{n-1}\cup \{{\text{cells of dimension}}\geq n+2\}

; thus,

\pi _{n+1}\left(X_{n}\right)\cong \pi _{n+1}\left(K\left(\pi _{n+1}(X),n+1\right)\right)\cong \pi _{n}\left(K\left(\pi _{n+1}(X),n\right)\right)

,

giving the desired result.

As a homotopy fiber

Another way to view the components in the Whitehead tower is as a homotopy fiber. If we take

{\text{Hofiber}}(\phi _{n}:X\to X_{n})

from the Postnikov tower, we get a space $X^{n}$ which has

\pi _{k}(X^{n})={\begin{cases}\pi _{k}(X)&k>n\\0&k\leq n\end{cases}}

Whitehead tower of spectra

The dual notion of the Whitehead tower can be defined in a similar manner using homotopy fibers in the category of spectra. If we let

E\langle n\rangle =\operatorname {Hofiber} \left(\tau _{n}:E\to E_{(n)}\right)

then this can be organized in a tower giving connected covers of a spectrum. This is a widely used construction^[8]^[9]^[10] in bordism theory because the coverings of the unoriented cobordism spectrum $M{\text{O}}$ gives other bordism theories^[10]

{\begin{aligned}M{\text{String}}&=M{\text{O}}\langle 8\rangle \\M{\text{Spin}}&=M{\text{O}}\langle 4\rangle \\M{\text{SO}}&=M{\text{O}}\langle 2\rangle \end{aligned}}

such as string bordism.

Whitehead tower and string theory

In Spin geometry the $\operatorname {Spin} (n)$ group is constructed as the universal cover of the Special orthogonal group $\operatorname {SO} (n)$ , so $\mathbb {Z} /2\to \operatorname {Spin} (n)\to SO(n)$ is a fibration, giving the first term in the Whitehead tower. There are physically relevant interpretations for the higher parts in this tower, which can be read as

$\cdots \to \operatorname {Fivebrane} (n)\to \operatorname {String} (n)\to \operatorname {Spin} (n)\to \operatorname {SO} (n)$

where $\operatorname {String} (n)$ is the $3$ -connected cover of $\operatorname {SO} (n)$ called the string group, and $\operatorname {Fivebrane} (n)$ is the $7$ -connected cover called the fivebrane group.^[11]^[12]

References

1 2Hatcher, Allen. Algebraic Topology(PDF).
↑Kahn, Donald W. (1963-03-01). "Induced maps for Postnikov systems"(PDF). Transactions of the American Mathematical Society. 107 (3): 432–450. doi:10.1090/s0002-9947-1963-0150777-x. ISSN 0002-9947.
↑Simpson, Carlos (1998-10-09). "Homotopy types of strict 3-groupoids". arXiv:math/9810059.
↑Eilenberg, Samuel; MacLane, Saunders (1954). "On the Groups $H(\Pi ,n)$ , III: Operations and Obstructions". Annals of Mathematics. 60 (3): 513–557. doi:10.2307/1969849. ISSN 0003-486X. JSTOR 1969849.
↑Laurențiu-George, Maxim. "Spectral sequences and homotopy groups of spheres"(PDF). Archived(PDF) from the original on 19 May 2017.
↑On Thom Spectra, Orientability, and Cobordism. Springer Monographs in Mathematics. Berlin, Heidelberg: Springer. 1998. doi:10.1007/978-3-540-77751-9. ISBN 978-3-540-62043-3.
↑Maxim, Laurențiu. "Lecture Notes on Homotopy Theory and Applications"(PDF). p. 66. Archived(PDF) from the original on 16 February 2020.
↑Hill, Michael A. (2009). "The string bordism of BE₈ and BE₈×BE₈ through dimension 14". Illinois Journal of Mathematics. 53 (1): 183–196. doi:10.1215/ijm/1264170845. ISSN 0019-2082.
↑Bunke, Ulrich; Naumann, Niko (2014-12-01). "Secondary invariants for string bordism and topological modular forms". Bulletin des Sciences Mathématiques. 138 (8): 912–970. doi:10.1016/j.bulsci.2014.05.002. ISSN 0007-4497.
12Szymik, Markus (2019). "String bordism and chromatic characteristics". In Daniel G. Davis; Hans-Werner Henn; J. F. Jardine; Mark W. Johnson; Charles Rezk (eds.). Homotopy Theory: Tools and Applications. Contemporary Mathematics. Vol. 729. pp. 239–254. arXiv:1312.4658. doi:10.1090/conm/729/14698. ISBN 9781470442446. S2CID 56461325.
↑"Mathematical physics – Physical application of Postnikov tower, String(n) and Fivebrane(n)". Physics Stack Exchange. Retrieved 2020-02-16.
↑"at.algebraic topology – What do Whitehead towers have to do with physics?". MathOverflow. Retrieved 2020-02-16.

Postnikov, Mikhail M. (1951). "Determination of the homology groups of a space by means of the homotopy invariants". Doklady Akademii Nauk SSSR. 76: 359–362.
Maxim, Laurențiu. "Lecture Notes on Homotopy Theory and Applications"(PDF). www.math.wisc.edu. Archived from the original(PDF) on 16 February 2020.
Determination of the Second Homology and Cohomology Groups of a Space by Means of Homotopy Invariants - gives accessible examples of Postnikov invariants
Hatcher, Allen (2002). Algebraic topology. Cambridge University Press. ISBN 978-0-521-79540-1.
Zhang. "Postnikov towers, Whitehead towers and their applications (handwritten notes)"(PDF). www.math.purdue.edu. Archived from the original(PDF) on 2020-02-13.

[Hatcher-1] 1 2Hatcher, Allen. Algebraic Topology(PDF).

[2] Kahn, Donald W. (1963-03-01). "Induced maps for Postnikov systems"(PDF). Transactions of the American Mathematical Society. 107 (3): 432–450. doi:10.1090/s0002-9947-1963-0150777-x. ISSN 0002-9947.

[3] Simpson, Carlos (1998-10-09). "Homotopy types of strict 3-groupoids". arXiv:math/9810059.

[4] Eilenberg, Samuel; MacLane, Saunders (1954). "On the Groups $H(\Pi ,n)$ , III: Operations and Obstructions". Annals of Mathematics. 60 (3): 513–557. doi:10.2307/1969849. ISSN 0003-486X. JSTOR 1969849.

[5] Laurențiu-George, Maxim. "Spectral sequences and homotopy groups of spheres"(PDF). Archived(PDF) from the original on 19 May 2017.

[6] On Thom Spectra, Orientability, and Cobordism. Springer Monographs in Mathematics. Berlin, Heidelberg: Springer. 1998. doi:10.1007/978-3-540-77751-9. ISBN 978-3-540-62043-3.

[7] Maxim, Laurențiu. "Lecture Notes on Homotopy Theory and Applications"(PDF). p. 66. Archived(PDF) from the original on 16 February 2020.

[8] Hill, Michael A. (2009). "The string bordism of BE₈ and BE₈×BE₈ through dimension 14". Illinois Journal of Mathematics. 53 (1): 183–196. doi:10.1215/ijm/1264170845. ISSN 0019-2082.

[9] Bunke, Ulrich; Naumann, Niko (2014-12-01). "Secondary invariants for string bordism and topological modular forms". Bulletin des Sciences Mathématiques. 138 (8): 912–970. doi:10.1016/j.bulsci.2014.05.002. ISSN 0007-4497.

[:0-10] 12Szymik, Markus (2019). "String bordism and chromatic characteristics". In Daniel G. Davis; Hans-Werner Henn; J. F. Jardine; Mark W. Johnson; Charles Rezk (eds.). Homotopy Theory: Tools and Applications. Contemporary Mathematics. Vol. 729. pp. 239–254. arXiv:1312.4658. doi:10.1090/conm/729/14698. ISBN 9781470442446. S2CID 56461325.

[11] "Mathematical physics – Physical application of Postnikov tower, String(n) and Fivebrane(n)". Physics Stack Exchange. Retrieved 2020-02-16.

[12] "at.algebraic topology – What do Whitehead towers have to do with physics?". MathOverflow. Retrieved 2020-02-16.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[11]

[12]

Postnikov system

Definition

Existence

Main property

Homotopy classification of fibrations

Fiber sequence for spaces with two nontrivial homotopy groups

Examples of Postnikov towers

Postnikov tower of a K(G, n)

Postnikov tower of S²

Homotopy groups of spheres

Postnikov towers of spectra

Definition

Whitehead tower

Implications

Construction

As a homotopy fiber

Whitehead tower of spectra

Whitehead tower and string theory

See also

References

関連するトピック

homotopy theory

algebraic topology

topological space

homotopy type

Definition

Existence

Main property

Homotopy classification of fibrations

Fiber sequence for spaces with two nontrivial homotopy groups

Examples of Postnikov towers

Postnikov tower of a K(G, n)

Postnikov tower of S2

Homotopy groups of spheres

Postnikov towers of spectra

Definition

Whitehead tower

Implications

Construction

As a homotopy fiber

Whitehead tower of spectra

Whitehead tower and string theory

See also

References

関連するトピック

homotopy theory

algebraic topology

topological space

homotopy type

Postnikov tower of S²