nLab
Postnikov system

Context

Homotopy theory

Factorization systems

(,1)-Topos Theory

(∞,1)-topos theory

Background

Definitions

Characterization

Morphisms

Extra stuff, structure and property

Models

Constructions

structures in a cohesive (∞,1)-topos

Contents

Idea

The Postnikov system is the infinitary factorization system of (n-epi, n-mono)-factorizations through n-images in an (∞,1)-topos.

The basic (and historically first) example is the factorization in ∞Grpd/Top of morphisms to the point: here the Postnikov system assigns to a homotopy type X a tower

XX 3X 2X 1X 0*X \to \cdots \to X_3 \to X_2 \to X_1 \to X_0 \simeq *

where each X k is a homotopy (k-2)-type/(n-2)-truncated object and such that each morphism X k+1X k induces an isomorphism on homotopy groups in degree k2. This may be thought of as decomposing X into its “layers” as seen by the degree of homotopy groups. The characteristic classes which give the ∞-group extension in each layer are called the Postnikov invariants or k-invariants of X.

More generally, in any (∞,1)-topos and for any morphism f:XY the corresponding Postnikov system is a tower

f:Xim (f)im 2(f)im 1(f)im 0(f)Yf \colon X \simeq im_\infty(f) \to \cdots \to im_2(f) \to im_1(f) \to im_0(f) \simeq Y

of n-images of f which interpolates between X and Y along f: the object im n(f) is a homotopy type that looks like X in low degrees (below n1), looks like Y in high degrees (above degree n) and looks like the ordinary (1-topos theoretic) image of f on homotopy groups in degree n1 itself.

Definition

In full generality, the Postnikov system is the infinitary factorization system of (n-epi, n-mono)-factorizations through n-images in an (∞,1)-topos.

The following spells this out explicitly for default homotopy theory, hence in ∞Grpd and in terms of the presentation by the model structure on topological spaces and the model structure on simplicial sets:

With a little bit of care this induces corresponding presentations of Postnikov systems in general (∞,1)-topos by prolonging to suitable model structures on simplicial presheaves:

For more discussion of the general abstract situation see at

For topological spaces

Historically, Postnikov systems were first described on the model of homotopy types constituted by topological spaces.

A Postnikov system or Postnikov tower or Moore-Postnikov tower/system of topological spaces, or rather of their homotopy types, is a sequence of path connected, pointed topological spaces X (n), n1, such that π r(X (n))=0 for r>n, together with a sequence π n of modules of the fundamental group π 1(X (1)) of X (1) and fibrations p n:X (n+1)X (n) classified up to homotopy type by a specified cohomology class k n+1H n+1(X (n),π n).

For simplicial sets

We discuss the realization of Postnikov systems on simplicial sets/Kan complexes, first in the

and then more generally for the

Absolute version

Definition

Let X be a simplicial set. A Postnikov tower for X is

  1. a sequence

    X 2q 1X 1q 0X 0\cdots \to X_2 \stackrel{q_1}{\to} X_1 \stackrel{q_0}{\to} X_0

    with maps i n:XX n such that all diagrams

    X i n i n1 X n q n1 X n1\array{ && X \\ & {}^{\mathllap{i_n}}\swarrow && \searrow^{\mathrlap{i_{n-1}}} \\ X_n && \stackrel{q_{n-1}}{\to} && X_{n-1} }

    commute;

  2. such that for all vertices vX 0 we have for the homotopy groups

    π >n(X n,v)=0\pi_{\gt n}( X_n, v) = 0

    and

    (i n) *:π i(X,v)π iX n(i_n)_* : \pi_i (X,v) \stackrel{\simeq}{\to} \pi_i X_n

    for in.

This appears for instance as (GoerssJardine, def VI 3.1).

Relative version

Definition

Let f:XY be a homomorphism of simplicial sets. A (relative) Postnikov tower for f is a tower

X im (f) im 2(f) im 1(f) im 0(f) Y\array{ X \\ \downarrow^{\mathrlap{\simeq}} \\ im_\infty(f) \\ \downarrow \\ \vdots \\ \downarrow \\ im_2(f) \\ \downarrow \\ im_1(f) \\ \downarrow \\ im_0(f) \\ \downarrow^{\mathrlap{\simeq}} \\ Y }

that factors f:XY such that for all n

  1. Xim n(f)

    1. induces an epimorphism on connected components;

    2. induces an isomorphism on homotopy groups in degree <n1

  2. im n(f)Y

    1. induces a monomorphism on homotopy groups in degree n1;

    2. induces an isomorphism on homotopy groups in degree n.

This appears for instance as (Goerss-Jardine, def. VI 2.9).

Remark

By the long exact sequence of homotopy groups, the relative Postnikov tower is the tower of the (n-connected, n-truncated) factorization system of f regarded as a morphism in the (∞,1)-category ∞Grpd: is is the n-epimorphism,n-monomorphism factorization through the n-image of a morphism.

For simplicial presheaves

Constructions

We discuss explicit constructions/presentations of Postnikov systems.

For simplicial sets

There are three main functorial models for the Postnikov tower of a simplicial set:

Coskeleton tower

Proposition

If X is regarded as an ∞-groupoid modeled as a Kan complex, then the coskeleton sequence

X=lim ncosk nXcosk n+1Xcosk nX*X = \lim_n cosk_n X \to \cdots \to cosk_{n+1} X \to cosk_{n} X \to \cdots \to *

exhibits a Postnikov tower for X.

This is observed for instance in (DwyerKan). Also see coskeleton for more details.

Identification relative to skeleta

The following construction qotients out the relations encoded by the cells that are thrown in in the above construction, such as to make the maps in the Postnikov tower into Kan fibrations.

We first discuss the absolute tower and then the relative version.

Absolute Postnikov tower
Definition

Let X be a Kan complex. Define for each n an equivalence relation n on the simplices of X as follows: two q-simplices

α,β:Δ qX\alpha, \beta : \Delta^q \to X

are equivalent if their restriction to the n-skeleton coincides

sk n(α)=sk n(β):sk n(Δ q)Δ qX.sk_n(\alpha) = sk_n(\beta) : sk_n(\Delta^q) \hookrightarrow \Delta^q \to X \,.

Write

X(n):=X/ nX(n) := X/_{\sim_n}

for the quotient simplicial set.

There are evident morphisms

X(n)X(n1).X(n) \to X(n-1).
Proposition

This is a Postnikov tower, def. 1, and all morphisms are Kan fibrations.

Moreover the canonical morphism

Xlim nX(n)X \to \lim_{\leftarrow_n} X(n)

is an isomorphism, exhibiting X as the limit (“inverse limit”) over this tower diagram.

This appears for instance as (GoerssJardine, theorem Vi 3.5).

Relative Postnikov tower

We discuss a model for the relative Postnikov tower, def. 2.

Definition

For f:XY a Kan fibration between Kan complexes, define for each n and each k an equivalence relation n on k-simplices

α,β:Δ kX\alpha, \beta \colon \Delta^k \to X

such that α nβ if

  1. the n-skeleta sk nΔ kΔ kα,βX are equal;

  2. the images f(α),f(β)Y are equal.

Let

im n+1(f)X/ nim_{n+1}(f) \coloneqq X/\sim_n

be the simplicial set of equivalence classes under this equivalence relation.

This canonically comes with morphisms im n 1(f)im n 2(f) for n 1>n 20.

For instance (Goerss-Jardine, def. VI 2.9).

Proposition

This construction gives indeed a relative Postnikov tower for f.

For instance (Goerss-Jardine, theorem VI 2.11).

Homotopy classes relative to skeleta

For X a Kan complex and n, let τ <nX be the simplicial set defined as the quotient

τ <mX:kX k/homotopyrel(n1)skeleton,\tau_{\lt m}X : k \mapsto X_k / homotopy-rel-(n-1)-skeleton \,,

where two k-cells are identified if there is a simplicial homotopy between them that fixes their (n1)-skeleton.

This is due to John Duskin. See for instance (Beke, pages 302-305).

For strict ω-groupoids

Proposition

Consider a morphism in sSet/∞Grpd that is in the image of StrωGrpd, hence given by a morphism f:XY of strict ω-groupoids.

Then for n the n-image factorization/(n1)-Postnikov stage of f is given by the strict ω-groupoid im n(f) with

(im n(f)) k={X k k<n1 im(X n1)Y n1 k=n1 Y k kn\left(im_n\left(f\right)\right)_k = \left\{ \array{ X_k & \forall k \lt n-1 \\ im(X_{n-1}) \subset Y_{n-1} & \forall \; k = n-1 \\ Y_k & \forall k \geq n } \right.

equipped with the evident composition operations induced from those of X and Y, and equipped with the canonical morphisms of strict ω-groupoids

Xim n(f)YX \to im_n(f) \to Y

(the left one being the identity in degree k<n1, the quotent projection in degree n1 and f in degree kn, and the right one being f in degree k<n1, the image inclusion in degree n1 and the identity in degree kn).

For Y=* this is discussed in (BFGM).

Proof

The homotopy groups of a strict ω-groupoid in any degree k are simply given by the groups of k-automorphisms of the identity (k1)-morphism on a given baspoint modulo (k+1)-morphisms (hence the homology of the corresponding crossed complex in that degree). Therefore it is clear from the construction of im n(f) above that Xim n(f) is surjective on π 0 and an isomorphism on π k<n1, and that im n(f) is a monomorphism on π n1 and an isomorphism on π kn.

Properties

General

It is known that Postnikov systems classify all weak, pointed connected homotopy types. In particular, if X satisfies π r(X)=0 for 1<r<n then the first non trivial Postnikov invariant is an element k n+1 of group cohomology (with twisted coefficients of course). Such elements are also determined by n-fold crossed extensions of π n by π 1, which are exact crossed complexes of the form

0π nC nC n1C 2C 10 \to \pi_n \to C_n \to C_{n-1} \to \cdots \to C_2 \to C_1

together with an isomorphism Coker(C 2C 1)π 1. This gives an algebraic model of such an n-type. Advantages of algebraic models are that algebraic constructions can be made on them, such as forming limits or colimits. The various higher homotopy van Kampen theorems are useful in the latter case. For example, it may be difficult or well nigh impossible to write down a determination of the Postnikov invariant of a pushout of crossed modules, even if the pushout consists of finite groups.

A Postnikov system is easiest to understand in the 2-stage case, i.e. two non vanishing homotopy groups, and focuses attention on the cohomology of Eilenberg-Mac Lane spaces, which also determine all cohomology operations. Basic work on this area was done by Eilenberg and Mac Lane, and by H. Cartan, while the theory of cohomology operations, including Steenrod operations, is itself a large area.

The reference below shows the problems in the 3-stage systems.

For homotopy 3-types, the algebraic model of crossed squares is more explicit than the corresponding Postnikov system, and more calculable. However, not much work has been done on, say, cohomology operations using the algebraic model of n-fold groupoids, and it is not clear if that would help.

For simplicial sets

Proposition

Let X be a Kan complex and {X(n)} the model for its Postnikov tower from prop. 2. For any vertex vX 0 write K(n) for the pullback

K(n) * b X(n) X(n1).\array{ K(n) &\to& * \\ \downarrow && \downarrow^{\mathrlap{b}} \\ X(n) &\to& X(n-1) } \,.

Let K(π n(X,v),n) be the Eilenberg-MacLane object on the n-homotopy group of X. Then there is a weak homotopy equivalence

K(n)K(π n(X,v),n).K(n) \stackrel{\simeq}{\to} K(\pi_n(X,v),n) \,.

This appears for instance as GoerssJardine, corollary VI 3.7.

Proof

Since K(n)K(n1) is a Kan fibration by prop. 2 the pullback K(n) is the homotopy fiber of X(n)X(n1).

Generalizations

There are analogues in other setups, e.g.

Postnikov tower in an (,1)-category

We may think of Top as being the archetypical (∞,1)-category.

In every (∞,1)-category there is a notion of n-truncated object and accordingly a notion of

The traditional case of Postnikov towers in Top is a special case of this more general concept.

References

A standard textbook reference is section 8 of

and section VI of

Orginal references include

  • M. M. Postnikov, Determination of the homology groups of a space by means of the homotopy invariants, Doklady Akad. Nauk SSSR (N.S.) 76: 359–362 (1951)

  • George Whitehead, Elements of homotopy theory, chapter 9

  • Donald W. Kahn, The spectral sequence of a Postnikov system, Comm. Math. Helv. 40, n.1, 169–198, 1965 doi

  • P. I. Booth, An explicit classification of three-stage Postnikov towers, Homology, homotopy and applications 8 (2006), No. 2, 133–155

  • G. J. Ellis and R. Mikhailov, A colimit of classifying spaces, arXiv:0804.3581.

Probably the earliest treatment of Postnikov systems for simplicial sets is in

  • J. C. Moore, Semisimplicial complexes and Postnikov systems, Symposium Internacional de Topologia Algebraica, Mexico City, 1958, pp. 232-247,

and as a result, in that context, they are sometimes referred to as Moore-Postnikov systems

The coskeleton construction for the Postnikov tower of a Kan complex is already in

  • Artin, Mazur, Étale homotopy, (Lecture Notes in Maths. 100).

Another classical article that amplifies the expression of Postnikov towers in terms of coskeleta is

Analogous remarks are also in

  • John Duskin Simplicial matrices and the nerves of weak n-categories I: Nerves of bicategories , TAC 9 no. 2, (2002). (web)

reviewed around page 302 in

  • Tibor Beke, Higher Čech theory, K-Theory, 32(4):293–322 (2004) (web)

Discussion for homotopy types modeled by crossed complexes/strict ω-groupoids is in

  • M. Bullejos E. Faro, and M. A. García-Munoz, Postnikov Invariants of Crossed Complexes, Journal of Algebra Volume 285, Issue 1, 1 March 2005, Pages 238–291 (arXiv:math/0409339).

A pedagogical introduction to Postnikov systems with an eye towards their generalization from homotopy types to n-categories is in

Revised on February 15, 2013 16:39:20 by Urs Schreiber (82.113.106.71)