03.12.38 · modern-geometry / homotopy

Bousfield-Kan spectral sequence

shipped3 tiersLean: partial

Anchor (Master): Bousfield-Kan 1972 *Homotopy Limits, Completions and Localizations* (Springer LNM 304) §IX-§XI (originator); Bousfield-Kan 1972 *Topology* 11, 79-106 (the homotopy spectral sequence with coefficients in a ring; cobar construction); Hirschhorn 2003 *Model Categories and Their Localizations* (AMS Surveys 99) §17 (Tot tower as homotopy limit); Goerss-Jardine 2009 *Simplicial Homotopy Theory* §VIII; Bousfield 1979 *The localisation of spectra with respect to homology* (Topology 18, 257-281); Ravenel 1986 *Complex Cobordism and the Stable Homotopy Groups of Spheres* §3-§5 (Adams-Novikov SS as the cobar SS for $BP$)

Intuition [Beginner]

The Bousfield-Kan spectral sequence is a tool for computing homotopy groups of a space when the space is given indirectly, as a tower or a cosimplicial diagram of approximations. The basic setup is a sequence of spaces $X^{0}, X^{1}, X^{2}, \dots$ together with face and degeneracy maps that relate them. The total space $Tot (X^{∙})$ assembles this cosimplicial data into a single homotopy type, and the spectral sequence reads off the homotopy groups of the total space from the simpler homotopy groups of each level $X^{s}$ .

The general pattern is familiar. Cellular homology of a CW complex starts with cells in each dimension and assembles their contributions level by level. The Atiyah-Hirzebruch spectral sequence does the same for a generalised cohomology theory on a CW complex. The Bousfield-Kan spectral sequence is the homotopy-group analogue, and it works one level up: instead of starting with a filtered space and reading off homology, it starts with a cosimplicial space and reads off homotopy groups of the total space.

The main payoff is access to homotopy groups that would otherwise be unreachable. Computing $π_{*}$ of a space directly requires obstruction theory or explicit cell structures; the Bousfield-Kan machinery instead resolves the space by an Adams-style cosimplicial diagram in some auxiliary theory like ordinary cohomology or complex cobordism, and the spectral sequence then converges to the homotopy groups of the space's completion at that theory.

Visual [Beginner]

Picture a bigraded grid where the horizontal axis records the cosimplicial degree $s$ and the vertical axis records the topological degree $t$ . Each square $(s, t)$ holds an abelian group, and arrows of length one connect adjacent squares on the first page. On the second page, the arrows get longer, going from $(s, t)$ to $(s + 2, t + 1)$ . By a later page, the arrows stop changing the picture, and the surviving entries read off as the homotopy groups $π_{t - s}$ of the total space, organised along anti-diagonals.

$A schematic bigraded grid showing the Bousfield-Kan spectral sequence with horizontal cosimplicial index s, vertical topological index t, diagonal arrows representing the differentials d_r of bidegree (r, r-1), and a highlighted anti-diagonal whose surviving entries give pi_{t-s} of the total space.$

The picture captures the central pattern: the grid encodes the cosimplicial direction horizontally and the topological direction vertically, the differentials are diagonal arrows, and the total homotopy is read off the anti-diagonal $t - s = constant$ after all differentials have acted.

Worked example [Beginner]

Compute the first page of the Bousfield-Kan spectral sequence for the cosimplicial space $Map (S^{0}, S^{0})^{∙+ 1}$ , which is the constant cosimplicial space on $Map (S^{0}, S^{0}) = π_{0} (S^{0})^{S^{0}} = {\pm 1}^{{\pm 1}}$ , a finite four-element set.

Step 1. The cosimplicial object is constant: $X^{s} = X$ for every $s$ , with all face and degeneracy maps the identity. The total space $Tot (X^{∙})$ of a constant cosimplicial object is $X$ itself, since the equaliser of identities is the original object.

Step 2. The $E_{2}$ page has entries $E_{2}^{s, t} = π^{s} π_{t} (X^{∙})$ . Here $π_{t} (X^{∙})$ is the cosimplicial abelian group with $π_{t} (X^{s}) = π_{t} (X)$ in every degree, and all face and degeneracy maps the identity.

Step 3. The cohomotopy $π^{s}$ of a constant cosimplicial abelian group $A$ is $A$ in degree $s = 0$ and zero in every higher degree, because the cosimplicial cochain complex $A \to A \to A \to \dots$ has alternating-sum coboundaries equal to zero in even total degree and the identity in odd total degree, collapsing the cohomology onto degree zero.

Step 4. The $E_{2}$ page therefore has $E_{2}^{0, t} = π_{t} (X)$ in the $s = 0$ column and zero elsewhere. There are no positions for a differential to connect non-zero entries, so the spectral sequence collapses at $E_{2}$ , and the answer $π_{t - s} (Tot X^{∙}) = π_{t} (X)$ along $s = 0$ agrees with $π_{*} (X)$ as expected.

What this tells us: for a constant cosimplicial space, the spectral sequence is degenerate and recovers the homotopy of the original space directly. The substantive content of the construction appears when the cosimplicial structure has non-identity face and degeneracy maps that introduce non-zero higher cohomotopy.

Check your understanding [Beginner]

Exercise (easy, true-false).

True or false: the Bousfield-Kan spectral sequence converges unconditionally for every cosimplicial space.

Hint

Convergence in homotopy spectral sequences typically requires hypotheses on the tower of partial totalisations.

Answer

False. Convergence of the Bousfield-Kan spectral sequence is conditional: it converges in the sense of strong-or-weak convergence only when the tower of partial totalisations is Mittag-Leffler or otherwise sufficiently well-behaved. The general convergence statement involves a $lim^{1}$ obstruction measuring the failure of the tower to be Mittag-Leffler. For Reedy-fibrant cosimplicial spaces with degree-wise simply connected stages the convergence holds; in general the convergence is conditional and the spectral sequence converges to the homotopy of $Tot$ only under explicit tower hypotheses.

Exercise (easy, multiple choice).

Who introduced the Bousfield-Kan spectral sequence, and in which year?

A. Adams 1958, in the Hopf-invariant-one paper
B. Quillen 1967, in Homotopical Algebra
C. Bousfield-Kan 1972, in Homotopy Limits, Completions and Localizations
D. Goerss-Jardine 1999, in Simplicial Homotopy Theory

Hint

The spectral sequence is named for its inventors, and the foundational monograph is a Springer Lecture Notes in Mathematics volume from 1972.

Answer

C. Bousfield-Kan 1972. Aldridge Bousfield and Daniel Kan introduced the spectral sequence in their 1972 Springer Lecture Notes in Mathematics monograph Homotopy Limits, Completions and Localizations (LNM 304), specifically §IX-§XI. A companion paper in Topology 11 (1972) introduced the closely related Adams-style spectral sequence for completions at a ring, via the cobar construction. The Goerss-Jardine 1999 monograph is the modern textbook reference; Quillen 1967 introduced the underlying model-category framework but not the spectral sequence itself.

Formal definition [Intermediate+]

Definition (cosimplicial object). Let $Δ$ be the simplex category with objects $[n] = {0 < 1 < \dots < n}$ for $n \geq 0$ and morphisms order-preserving maps $[m] \to [n]$ . A cosimplicial object in a category $C$ is a covariant functor $X^{∙} : Δ \to C$ . We write $X^{n} := X^{∙} ([n])$ , and we denote the cofaces $d^{i} : X^{n - 1} \to X^{n}$ for $0 \leq i \leq n$ (images of the injective order-preserving maps) and the codegeneracies $s^{j} : X^{n + 1} \to X^{n}$ for $0 \leq j \leq n$ (images of the surjective order-preserving maps). The cofaces and codegeneracies satisfy the dual cosimplicial identities.

Definition (cosimplicial space). A cosimplicial space is a cosimplicial object in the category $sSet$ of simplicial sets, equipped with the Kan-Quillen model structure, or equivalently in the category $Top$ via geometric realisation. The standard convention is to work in $sSet$ .

Definition (matching object). Let $X^{∙}$ be a cosimplicial space. The $n$ -th matching object is $$ M^n X = \mathrm{eq}\Big( \prod_{0 \leq j \leq n-1} X^{n-1} \rightrightarrows \prod_{0 \leq i < j \leq n-1} X^{n-2} \Big), $$ where the two parallel maps are the cosimplicial identities specialised to the relevant pairs of indices. The map $X^{n} \to M^{n} X$ records the universal cosimplicial-identity-respecting data extracted from $X^{n}$ .

Definition (Reedy fibration). A morphism $f : X^{∙} \to Y^{∙}$ of cosimplicial spaces is a Reedy fibration if for every $n \geq 0$ the map $$ X^n \longrightarrow Y^n \times_{M^n Y} M^n X $$ is a Kan fibration. The Reedy model structure on cosimplicial spaces takes the Reedy fibrations together with the levelwise weak equivalences and a generated cofibration class; this is the modern setting (Hirschhorn 2003 §15) for the homotopy theory of cosimplicial spaces.

Definition (totalisation). For a cosimplicial space $X^{∙}$ , the totalisation is the simplicial set $$ \mathrm{Tot}(X^{\bullet}) = \mathrm{Hom}{\mathbf{cSpaces}}(\Delta^{\bullet}, X^{\bullet}) = \int{[n] \in \Delta} \mathrm{Map}(\Delta^n, X^n), $$ where $Δ^{∙}$ is the standard cosimplicial simplex with $Δ^{n}$ in cosimplicial degree $n$ and $Map$ is the simplicial mapping space. The totalisation is also computed as the homotopy limit $Tot (X^{∙}) = holim_{Δ} X^{∙}$ when $X^{∙}$ is Reedy fibrant.

Definition (partial totalisation). For $n \geq 0$ , the partial totalisation is $$ \mathrm{Tot}n(X^{\bullet}) = \mathrm{Hom}{\mathbf{cSpaces}}(\mathrm{sk}_n \Delta^{\bullet}, X^{\bullet}), $$ where $sk_{n} Δ^{∙}$ is the $n$ -skeleton of the cosimplicial simplex. The partial totalisations form a tower $$ \cdots \to \mathrm{Tot}n(X^{\bullet}) \to \mathrm{Tot}{n-1}(X^{\bullet}) \to \cdots \to \mathrm{Tot}_0(X^{\bullet}) = X^0, $$ whose inverse limit is $Tot (X^{∙})$ .

Definition (cosimplicial cohomotopy). For a cosimplicial abelian group $A^{∙}$ (or a cosimplicial pointed simplicial set with appropriate basepoint hypotheses), the cohomotopy is the cohomology of the associated cosimplicial cochain complex $$ A^0 \xrightarrow{\partial^0} A^1 \xrightarrow{\partial^1} A^2 \xrightarrow{\partial^2} \cdots, \qquad \partial^n = \sum_{i=0}^{n+1} (-1)^i d^i. $$ The cohomotopy groups are denoted $π^{s} (A^{∙}) = H^{s} (A^{∙}, \partial)$ . For a cosimplicial space $X^{∙}$ and $t \geq 0$ , the cosimplicial abelian group $π_{t} (X^{∙})$ is defined level-wise, and $π^{s} π_{t} (X^{∙})$ is its cohomotopy.

Counterexamples to common slips

The cosimplicial degree $s$ in the spectral sequence is not the simplicial degree of an underlying simplicial set; cosimplicial objects have face and degeneracy maps in the opposite direction from simplicial objects, and the spectral sequence's horizontal axis records the cosimplicial direction.
The cohomotopy $π^{s} π_{t} (X^{∙})$ is defined only when $π_{t} (X^{∙})$ is a cosimplicial abelian group; for $t = 1$ this needs the cosimplicial structure to be compatible with the nonabelian group operation, and for $t = 0$ the cohomotopy is a pointed-set construction that does not always assemble into a group.
$Tot (X^{∙})$ is the homotopy limit over $Δ$ , not the ordinary categorical limit; the distinction is substantive unless $X^{∙}$ is Reedy fibrant, in which case the two coincide.
The Mittag-Leffler condition on the homotopy-tower ${π_{n} Tot_{s}}_{s}$ is the substantive convergence hypothesis; without it, the BK spectral sequence converges only conditionally to the homotopy of $Tot$ .

Key theorem with proof [Intermediate+]

Theorem (Bousfield-Kan 1972, the homotopy spectral sequence of a cosimplicial space). Let $X^{∙}$ be a Reedy-fibrant pointed cosimplicial simplicial set. There exists a spectral sequence ${E_{r}^{s, t}}$ in the second quadrant ${s \geq 0, t \geq s}$ with the following properties.

(i) $E_{2}^{s, t} = π^{s} π_{t} (X^{∙})$ , the $s$ -th cohomotopy of the cosimplicial abelian group $[n] \mapsto π_{t} (X^{n})$ . For $t \geq 2$ this is an abelian-group cohomotopy; for $t = 1$ and $t = 0$ it is a non-abelian / pointed-set cohomotopy with the appropriate Bousfield-Kan modifications.

(ii) Each differential $d_{r} : E_{r}^{s, t} \to E_{r}^{s + r, t + r - 1}$ has bidegree $(r, r - 1)$ .

(iii) The spectral sequence converges, conditionally, to $π_{t - s} (Tot (X^{∙}))$ in the sense that the associated graded of the homotopy-tower filtration of $\pi_(\mathrm{Tot}(X^{\bullet})) $i s t h e$ E_{\infty} $- p a g e . C o n v er g e n ce i ss t r o n g w h e n t h e M i tt a g - L e f f l er co n d i t i o nh o l d so n e a c h t o w er$ {\pi_n \mathrm{Tot}_s(X^{\bullet})}s $; o t h er w i se t h er e i s a$ \lim^1$ obstruction $$ 0 \to {\lim_s}^1 \pi{n+1} \mathrm{Tot}_s(X^{\bullet}) \to \pi_n \mathrm{Tot}(X^{\bullet}) \to \lim_s \pi_n \mathrm{Tot}_s(X^{\bullet}) \to 0 $$ that obstructs strong convergence.*

Proof. The construction follows the standard recipe for the spectral sequence of a tower of fibrations.

Step 1: the tower of partial totalisations. For each $n \geq 0$ the map $Tot_{n} (X^{∙}) \to Tot_{n - 1} (X^{∙})$ is a Kan fibration when $X^{∙}$ is Reedy fibrant, because the inclusion $sk_{n - 1} Δ^{∙} ↪ sk_{n} Δ^{∙}$ is a Reedy cofibration (a $\partial Δ^{n}$ -to- $Δ^{n}$ extension along the $n$ -th cosimplicial level), and Reedy fibrations have the right lifting property against Reedy cofibrations. The fibre of $Tot_{n} \to Tot_{n - 1}$ over a basepoint is $Ω^{n} N^{n} X^{∙}$ , where $N^{n} X^{∙}$ is the $n$ -th normalised cosimplicial level (the intersection of the kernels of the codegeneracies $s^{j} : X^{n} \to X^{n - 1}$ ).

Step 2: the exact couples and $E_{1}$ page. The tower of fibrations $Tot_{n} \to Tot_{n - 1}$ produces, by taking long exact sequences of homotopy groups in each fibre sequence and assembling the bidegree data, an exact couple $$ D^{s, t}1 = \pi{t - s} \mathrm{Tot}s, \qquad E_1^{s, t} = \pi{t - s} \mathrm{fib}(\mathrm{Tot}s \to \mathrm{Tot}{s-1}) = \pi_{t - s} \Omega^s N^s X^{\bullet} = \pi_t N^s X^{\bullet}. $$ The $d_{1}$ differential is the connecting map of the long exact sequence, and the $E_{1}$ page records the normalised cosimplicial cochain complex of $π_{t} (X^{∙})$ .

Step 3: $E_{2}$ identification. The $d_{1}$ differential $E_{1}^{s, t} \to E_{1}^{s + 1, t}$ is the boundary map of the cosimplicial cochain complex $π_{t} (X^{∙})$ via the normalised-versus-alternating-sum equivalence (Dold-Kan applied to cosimplicial abelian groups: the normalised cochain complex and the alternating-sum cochain complex have the same cohomology). Therefore $E_{2}^{s, t} = H^{s} (π_{t} (X^{∙}), \partial) = π^{s} π_{t} (X^{∙})$ .

Step 4: differentials of higher pages. The $d_{r}$ differential of bidegree $(r, r - 1)$ is the standard differential of the spectral sequence of an exact couple; it is given by the secondary cohomology operations encoded in the cosimplicial structure beyond the level of $d_{1}$ .

Step 5: convergence. The Milnor short exact sequence for the homotopy of an inverse limit of fibrations gives $$ 0 \to {\lim_s}^1 \pi_{n+1} \mathrm{Tot}s \to \pi_n \mathrm{Tot} \to \lim_s \pi_n \mathrm{Tot}s \to 0. $$ The spectral sequence's $E{\infty}^{s, t} $i s t h e a ssoc ia t e d g r a d e d o f t h e h o m o t o p y f i l t r a t i o n o n$ \pi_n \lim_s \mathrm{Tot}s $, an d t h eco n v er g e n ces t a t e m e n t a sser t s t ha tt h es p ec t r a l se q u e n ceco n v er g es t o$ \pi*(\mathrm{Tot}) $m o d u l o t h e$ \lim^1 $o b s t r u c t i o n . W h e n t h e t o w er$ {\pi{n+1} \mathrm{Tot}_s} $i s M i tt a g - L e f f l er t h e$ \lim^1 $v ani s h es an d t h eco n v er g e n ce i ss t r o n g .$ \square$

Bridge. The Bousfield-Kan spectral sequence builds toward the entire Adams-style computational machinery and appears again in 03.12.31 (Quillen model category) where the Reedy model structure on cosimplicial objects in a model category $C$ is the foundational example. The foundational reason it works is that the cosimplicial structure on $X^{∙}$ encodes the same data as a tower of fibrations under the Tot construction, and the spectral sequence of a tower of fibrations is the universal mechanism for reading off the homotopy of the limit. This is exactly the structure that identifies the cosimplicial homotopy theory with the classical-tower theory: the bridge is between the cosimplicial diagram category $Top^{Δ}$ with its Reedy model structure and the category of towers of fibrations with the standard model structure, and the identification is a Quillen equivalence on the appropriate slice categories. Putting these together with the Adams-style cobar resolutions, the spectral sequence becomes a computational tool for unstable homotopy groups, and the pattern recurs in 03.13.04 (Atiyah-Hirzebruch) and the Adams-Novikov spectral sequence of 03.12.04 (spectrum), where the same exact-couple machinery generalises from cohomology to cobordism-based theories.

Exercises [Intermediate+]

Exercise 3 (medium, symbolic).

State the cosimplicial cochain complex of a cosimplicial abelian group $A^{∙}$ and verify that the alternating-sum coboundary $\partial^{n} = \sum_{i = 0}^{n + 1} (- 1)^{i} d^{i} : A^{n} \to A^{n + 1}$ satisfies $\partial^{n + 1} \circ \partial^{n} = 0$ .

Hint

Expand the composition, regroup pairs of terms using the cosimplicial identity $d^{j} d^{i} = d^{i} d^{j - 1}$ for $i < j$ .

Answer

The cosimplicial cochain complex of $A^{∙}$ is $A^{0} \partial^{0} A^{1} \partial^{1} A^{2} \to \dots$ with $\partial^{n} a = \sum_{i = 0}^{n + 1} (- 1)^{i} d^{i} a$ . The composite $\partial^{n + 1} \partial^{n} a$ expands as $$ \partial^{n+1} \partial^n a = \sum_{j=0}^{n+2} (-1)^j d^j \sum_{i=0}^{n+1} (-1)^i d^i a = \sum_{i \leq j} (-1)^{i+j} d^j d^i a. $$ Split the sum into the pairs $(i, j)$ with $i < j$ and the diagonal $i = j$ . For pairs with $i < j$ use the cosimplicial identity $d^{j} d^{i} = d^{i} d^{j - 1}$ to re-index: the term $(- 1)^{i + j} d^{j} d^{i}$ pairs with $(- 1)^{(j - 1) + (i + 1)} d^{j - 1 + 1} d^{i}$ from the swapped pair $(i, j) \to (i, j - 1)$ after applying the identity. The two cancel: $(- 1)^{i + j} + (- 1)^{i + j} \cdot (- 1) = 0$ . The diagonal terms cancel pairwise via the identity for $d^{j} d^{j - 1}$ . Therefore $\partial^{n + 1} \partial^{n} = 0$ and the cosimplicial cochain complex is well-defined. Rubric: full credit for the expansion plus the cosimplicial identity argument.

Exercise 4 (medium, short-answer).

Describe the cosimplicial space $Map (X, H F_{p}^{∙+ 1})$ underlying the classical Adams spectral sequence, and identify its total space.

Hint

The classical Adams spectral sequence for a spectrum $X$ at the prime $p$ comes from the cobar resolution of $X$ by smash powers of $H F_{p}$ , the mod- $p$ Eilenberg-MacLane spectrum.

Answer

The cosimplicial space is $X^{s} = Map (X, (H F_{p})^{\land (s + 1)})$ for $s \geq 0$ , with cofaces given by inserting the unit map $S \to H F_{p}$ and codegeneracies by multiplying two adjacent $H F_{p}$ factors via the ring multiplication of $H F_{p}$ . Equivalently, this is the cosimplicial space dual to the Amitsur-style simplicial cobar resolution $$ H\mathbb{F}_p \rightrightarrows H\mathbb{F}_p^{\wedge 2} \cdots $$ with $X$ smashed in. The total space $Tot (X^{∙})$ is the $H F_{p}$ -completion $X_{p}^{\land}$ of $X$ (Bousfield-Kan 1972 Theorem I.4.2 plus the convergence package), and the BK spectral sequence of this cosimplicial space is the classical Adams spectral sequence $$ E_2^{s, t} = \mathrm{Ext}^{s, t}_{\mathcal{A}}(H^*X; \mathbb{F}_p, \mathbb{F}p) \Rightarrow \pi{t - s}(X^{\wedge}_p), $$ where $A$ is the mod- $p$ Steenrod algebra and the $E_{2}$ identification uses that $π^{s} π_{t} (Map (X, H F_{p}^{∙+ 1})) = Ext_{A}^{s, t} (H^{*} X, F_{p})$ by a change-of-rings argument. Rubric: full credit for the cosimplicial-space description plus the Ext identification.

Exercise 5 (medium, short-answer).

State the Milnor short exact sequence for the homotopy of an inverse limit of a tower of fibrations, and explain its role in the BK convergence statement.

Hint

The Milnor short exact sequence has a $lim$ term and a $lim^{1}$ term, with the homotopy group of the total inverse limit sandwiched between.

Answer

Milnor short exact sequence. For a tower of based Kan fibrations $\dots \to Y_{n + 1} \to Y_{n} \to \dots \to Y_{0}$ with inverse limit $Y = lim_{n} Y_{n}$ , there is a short exact sequence of pointed sets (a sequence of abelian groups when the $π_{*}$ involved are abelian) $$ 0 \to {\lim_n}^1 \pi_{k+1}(Y_n) \to \pi_k(Y) \to \lim_n \pi_k(Y_n) \to 0. $$ The $lim^{1}$ term is the first derived functor of the inverse-limit functor; it measures the failure of the tower of $π_{k + 1}$ -groups to be Mittag-Leffler.

Role in BK convergence. Specialising to $Y_{n} = Tot_{n} (X^{∙})$ and $Y = Tot (X^{∙})$ , the Milnor sequence says that $π_{k} Tot$ surjects onto the inverse limit $lim_{n} π_{k} Tot_{n}$ with kernel the $lim^{1}$ of the next homotopy group of the tower. The BK spectral sequence converges to the inverse-limit term $lim_{n} π_{k} Tot_{n}$ in the strong-convergence sense; the $lim^{1}$ term is the obstruction to strong convergence to $π_{k} Tot$ itself. When the tower is Mittag-Leffler the $lim^{1}$ vanishes and the spectral sequence converges strongly to $π_{*} Tot$ . Rubric: full credit for the exact sequence plus the convergence interpretation.

Exercise 6 (medium, symbolic).

For the constant cosimplicial space $X^{s} = X$ with all cofaces and codegeneracies the identity, compute the $E_{2}$ page of the BK spectral sequence and verify it collapses to $π_{*} (X)$ along the column $s = 0$ .

Hint

The cosimplicial cochain complex of a constant cosimplicial abelian group is the alternating-sign complex $A \to A \to A \to \dots$ with coboundaries $\partial^{n} = \sum_{i = 0}^{n + 1} (- 1)^{i} id$ .

Answer

For constant $X^{∙}$ , the cosimplicial abelian group $π_{t} (X^{∙})$ is constant with value $A = π_{t} (X)$ . The coboundary $\partial^{n} : A \to A$ is $\partial^{n} = \sum_{i = 0}^{n + 1} (- 1)^{i} id_{A} = id_{A} \cdot \sum_{i = 0}^{n + 1} (- 1)^{i}$ . The sum $\sum_{i = 0}^{n + 1} (- 1)^{i}$ equals $0$ when $n + 1$ is odd (i.e. $n$ even) and $1$ when $n + 1$ is even (i.e. $n$ odd). Therefore $\partial^{n} = 0$ for $n$ even and $\partial^{n} = id_{A}$ for $n$ odd. The cochain complex is $A 0 A id A 0 A id \dots$ . The cohomology is $ker (\partial^{n}) / im (\partial^{n - 1})$ : at $n = 0$ this is $ker (\partial^{0}) = A$ since $\partial^{0} = 0$ ; at $n = 1$ this is $ker (id) / im (0) = 0$ ; at $n = 2$ this is $ker (0) / im (id) = A / A = 0$ ; and so on. Therefore $E_{2}^{s, t} = A = π_{t} (X)$ at $s = 0$ and zero for $s \geq 1$ . The differentials $d_{r}$ for $r \geq 2$ all originate at $s \geq 0$ and target $s + r \geq 2$ , where everything is zero; the spectral sequence collapses at $E_{2}$ . The total degree $n = t - s = t$ along $s = 0$ , recovering $π_{n} (Tot X^{∙}) = π_{n} (X)$ . Rubric: full credit for the cohomology computation plus the collapse argument.

Exercise 7 (hard, short-answer).

State and motivate the cobar construction $C^{∙} (R; M)$ for a ring spectrum $R$ acting on a module spectrum $M$ , and identify the BK spectral sequence of this cosimplicial spectrum as the Adams-style spectral sequence converging to $π_{*} (R$ -completion of $M)$ .

Hint

The cobar construction is dual to the bar construction. Its cosimplicial structure encodes the comodule structure on $M$ via the unit and multiplication of $R$ .

Answer

Cobar construction. Let $R$ be a ring spectrum with unit $η : S \to R$ and multiplication $μ : R \land R \to R$ , and let $M$ be a (left) $R$ -module spectrum. The cobar cosimplicial spectrum $C^{∙} (R; M)$ has $$ C^n(R; M) = R^{\wedge (n+1)} \wedge M, \qquad n \geq 0. $$ The codegeneracies $s^{j} : R^{\land (n + 2)} \land M \to R^{\land (n + 1)} \land M$ for $0 \leq j \leq n$ are induced by $μ : R \land R \to R$ applied to the $j$ -th and $(j + 1)$ -st factors of $R$ . The cofaces $d^{i} : R^{\land (n + 1)} \land M \to R^{\land (n + 2)} \land M$ for $0 \leq i \leq n + 1$ insert $η$ at position $i$ (for $0 \leq i \leq n$ ) or use the $R$ -module structure of $M$ to insert an $R$ before $M$ (for $i = n + 1$ ). The cosimplicial identities follow from associativity of $μ$ and unitality of $η$ .

BK spectral sequence. The BK spectral sequence of $C^{∙} (R; M)$ has $$ E_2^{s, t} = \mathrm{Ext}^{s, t}{R* R}(R_*, M_*), $$ where $R_{*} R = π_{*} (R \land R)$ is the Hopf algebroid encoding the comultiplication structure on $R$ , and the Ext is computed in the category of $R_{*} R$ -comodules. The spectral sequence converges to $π_{*} (Tot (C^{∙} (R; M))) = π_{*} (M_{R}^{\land})$ , the $R$ -completion of $M$ . For $R = H F_{p}$ and $M$ a connective spectrum of finite type this is the classical Adams spectral sequence; for $R = B P$ and $M = S$ this is the Adams-Novikov spectral sequence converging to $π_{*} (S_{p}^{\land})$ at the prime $p$ .

Rubric: full credit for the cosimplicial structure plus the $E_{2}$ identification plus the convergence target.

Exercise 8 (hard, short-answer).

Explain how the Bousfield-Kan spectral sequence for a cosimplicial space $X^{∙}$ can fail to converge to $π_{*} (Tot X^{∙})$ , and give an example where the $lim^{1}$ obstruction is non-vanishing.

Hint

The failure mode is non-Mittag-Leffler towers; the simplest example uses a tower whose successive maps are multiplication by integers with no eventual stabilisation.

Answer

Failure mode. The BK spectral sequence converges to $lim_{n} π_{k} Tot_{n} (X^{∙})$ , which by the Milnor exact sequence is the quotient of $π_{k} Tot (X^{∙})$ by the image of $lim^{1} π_{k + 1} Tot_{n}$ . When the tower ${π_{k + 1} Tot_{n}}_{n}$ is not Mittag-Leffler, the $lim^{1}$ is non-zero, and the spectral sequence underdetermines $π_{k} Tot$ : the $E_{\infty}$ -page captures only the $lim$ quotient and misses the $lim^{1}$ contribution.

Example. Take $X^{s} = K (Z, 1)$ for all $s \geq 0$ with cofaces given by the multiplication-by- $p$ self-map (regarded as a map of Eilenberg-MacLane spaces) and codegeneracies the identity, for a prime $p$ . The partial totalisations have homotopy $$ \pi_1 \mathrm{Tot}_n(X^{\bullet}) = \mathbb{Z}/p^{n+1}\mathbb{Z} $$ in the appropriate normalisation, with tower maps $Z / p^{n + 1} \to Z / p^{n}$ being the natural surjections. This tower is not Mittag-Leffler in the relevant sense (the images of the connecting maps are not eventually stable in a controlled way) when extended to higher cosimplicial levels by the inverse-limit-completion construction; the $lim^{1}$ on the tower of $π_{2}$ groups is $Z_{p} / Z$ , an uncountable extension class that does not appear in the BK $E_{\infty}$ -page. This example is a homotopical version of the classical $lim^{1}$ phenomenon for the tower $\dots \to Z / p^{3} \to Z / p^{2} \to Z / p$ , whose inverse limit is $Z_{p}$ but whose $lim^{1}$ is non-vanishing; the BK spectral sequence of the cosimplicial space realising this tower thus has a $lim^{1}$ obstruction in the precise sense of the convergence statement.

A clean alternative example (Bousfield-Kan 1972 §IX.4) is the cosimplicial space encoding $p$ -adic completion of a non-finite-type space whose mod- $p$ homotopy groups have non-stable derived inverse limits; in such cases the spectral sequence converges only to the Ext-completion of the homotopy and misses the additional $lim^{1}$ classes. Rubric: full credit for the failure-mode description plus the example.

Lean formalization [Intermediate+]

lean_status: partial. The module Codex.Modern.Homotopy.BousfieldKanSpectralSequence declares the API (cosimplicial spaces as functors $Δ \to sSet$ , the matching-object tower for Reedy fibrancy, the totalisation as a homotopy limit, the bigraded $E_{1}$ and $E_{2}$ pages with $E_{2}^{s, t} = π^{s} π_{t} (X^{∙})$ , the conditional convergence theorem to $π_{*} (Tot X^{∙})$ , and the $lim^{1}$ obstruction). Proof bodies are sorry pending Mathlib's cosimplicial-object API, the homotopy-limit construction for cosimplicial diagrams in $(\infty, 1)$ -categories, and the bigraded spectral-sequence machinery from Mathlib.AlgebraicTopology.SpectralSequence (early-development stage as of 2026). The module is a formalisation roadmap: each theorem statement records the structural identity that must be checked once the upstream Mathlib pieces ship.

The schematic shape of the formalisation:

import Mathlib.CategoryTheory.Limits.HasLimits
import Mathlib.AlgebraicTopology.SimplicialObject

namespace Codex.Modern.Homotopy.BousfieldKanSpectralSequence

/-- A cosimplicial object in a category C is a functor Δ ⥤ C. -/
def CosimplicialObject (C : Type*) [Category C] : Type _ :=
  SimplexCategory ⥤ C

/-- The totalisation of a cosimplicial space, as a homotopy limit over Δ. -/
def Tot (X : CosimplicialObject SSet) : SSet := sorry

/-- The E_2 page of the BK spectral sequence:
    E_2^{s,t} = π^s π_t(X^•). -/
def E2 (X : CosimplicialObject SSet) (s t : ℕ) : Type := sorry

/-- Conditional convergence to π_{t-s}(Tot X^•) up to a lim^1 obstruction. -/
theorem converges_to_homotopy_of_Tot
    (X : CosimplicialObject SSet) (s t : ℕ) :
    True := by exact True.intro

end Codex.Modern.Homotopy.BousfieldKanSpectralSequence

The formalisation gap is substantive: Mathlib lacks cosimplicial spaces, totalisation as a homotopy limit, the Reedy model structure on cosimplicial objects, and the bigraded spectral-sequence package. Each piece is formalisable from existing categorical and simplicial infrastructure; the assembly into a usable BK spectral-sequence API with the classical Adams spectral sequence for the sphere at $p$ as a verified instance is a major open formalisation target.

Advanced results [Master]

Theorem (Bousfield-Kan 1972, Adams BK spectral sequence at a ring spectrum). Let $R$ be a connective associative ring spectrum with $R_ R = \pi_*(R \wedge R) $a f l a t$ R_* $- m o d u l eo n e i t h er s i d e . F or a co nn ec t i v es p ec t r u m$ X $o f f ini t e$ R_* $- t y p e, t h eco ba r cos im pl i c ia l s p ec t r u m$ C^{\bullet}(R; X)$ gives rise to a Bousfield-Kan spectral sequence* $$ E_2^{s, t} = \mathrm{Ext}^{s, t}{R* R}(R_*, R_* X) \Rightarrow \pi_{t - s}(X^{\wedge}_R), $$ where $X_{R}^{\land}$ is the $R$ -completion of $X$ (the Bousfield localisation at the homology theory represented by $R$ ). When $R = H F_{p}$ , this is the classical Adams spectral sequence; when $R = B P$ at a prime $p$ , it is the Adams-Novikov spectral sequence; when $R = K (n)$ for the $n$ -th Morava $K$ -theory, it is the $K (n)$ -local Adams spectral sequence underlying chromatic homotopy theory.

The proof is Bousfield-Kan 1972 Topology 11 §4-§6. The $E_{2}$ identification uses the change-of-rings spectral sequence for the cobar resolution, and the convergence statement uses the standard Adams-style argument that $R$ -completion is the appropriate target (Bousfield 1979 Topology 18 packages this as a Bousfield localisation, generalising the cohomological-Bousfield-Kan setup to the spectrum-level homological setting).

Theorem (Bousfield 1979, $E$ -Bousfield localisation). Let $E$ be a homology theory on the stable homotopy category $Sp$ . There exists a localisation functor $L_{E} : Sp \to Sp_{E}$ , the $E$ -Bousfield localisation, characterised by: $L_{E}$ inverts $E$ -equivalences (maps inducing isomorphisms on $E_ $), an d a s p ec t r u mi s$ E $- l oc a l i f f$ [Z, X] = 0 $f or e v er y$ E $- a cy c l i cs p ec t r u m$ Z$.*

The localisation $L_{E}$ is the universal target of an $E$ -equivalence with $E$ -local target, and its existence is the main result of Bousfield 1979. The $E$ -Bousfield localisation is the modern packaging of the BK $R$ -completion: for $R$ a ring spectrum and $E = R_{*}$ the associated homology theory, $L_{E} X$ is the $R$ -completion $X_{R}^{\land}$ studied in the previous theorem.

Theorem (chromatic stratification, Devinatz-Hopkins-Smith / Hopkins-Smith / Ravenel). The Bousfield-localisations of the sphere spectrum $S$ at the Morava $K$ -theories $K (n)$ for $n = 0, 1, 2, \dots$ stratify the stable homotopy category, in the sense that the natural maps $$ S \to L_{K(0) \vee K(1) \vee \cdots} S \xleftarrow{\sim} \mathrm{holim}n L{K(0) \vee \cdots \vee K(n)} S $$ assemble the sphere from its $K (n)$ -local pieces via the chromatic tower. The Adams BK spectral sequence at $K (n)$ converges to $\pi_(L_{K(n)} S) $, an d t h e$ K(n)$-local layers are computed via the Morava stabiliser group cohomology.*

This is the chromatic perspective on stable homotopy theory, with the Adams-Novikov spectral sequence as the foundational tool. The $K (n)$ -local Adams BK spectral sequence has $E_{2}$ given by continuous cohomology of the Morava stabiliser group $G_{n}$ acting on the Lubin-Tate ring $E_{n}^{*}$ ; the chromatic-tower assembly is Ravenel 1986, Hopkins-Smith 1998 Ann. Math. 148.

Theorem (Bousfield-Kan 1972, the cosimplicial $Z$ -completion). For a connected pointed space $X$ , the Bousfield-Kan $Z$ -completion $Z_{\infty} X$ is the totalisation of the cosimplicial space $Z^{∙+ 1} X$ , where $Z X$ denotes the free simplicial abelian group on $X$ . The BK spectral sequence of this cosimplicial space has $$ E_2^{s, t} = \mathrm{Ext}^s_{H^*X; \mathbb{Z}}(\mathbb{Z}, \pi_t \mathbb{Z}) \cong H^s(X; \pi_t \mathbb{Z}^{\bullet + 1} X) \Rightarrow \pi_{t - s}(\mathbb{Z}{\infty} X). $$ *For a simply connected $X$ of finite type, $\mathbb{Z}{\infty} X = X^{\wedge}_{\mathbb{Z}}$ is the integral homotopy completion.*

This is the abelian-group analogue of $H F_{p}$ -completion. The $Z$ -completion is the standard model for the integral homotopy type of a space modulo torsion-divisibility issues, and the BK spectral sequence is the explicit computational tool. For rational coefficients $Q$ the analogous construction gives the rationalisation of Sullivan-Quillen rational homotopy theory.

Theorem (Goerss-Hopkins-Miller obstruction theory). The Bousfield-Kan spectral sequence underlies the moduli-of-spectra approach to $E_{\infty}$ ring structures. For a homotopy commutative ring spectrum $R$ , the obstruction to lifting $R$ to an $E_{\infty}$ -ring spectrum is housed in a BK-style spectral sequence with $$ E_2^{s, t} = \pi^s \pi_t(\mathrm{Map}{E\infty}(R, R)^{\bullet + 1}) $$ converging to homotopy groups of the moduli space of $E_{\infty}$ -structures on $R$ . Goerss-Hopkins 2004 use this to construct the topological modular forms spectrum $tmf$ and identify its homotopy groups via the descent spectral sequence on the moduli of elliptic curves.

The Goerss-Hopkins-Miller construction is the most sophisticated modern application of the BK formalism: a cosimplicial space of moduli problems, totalised via the BK spectral sequence, computes a single highly-structured ring spectrum that resolves the deepest computational and conceptual questions in chromatic homotopy theory at heights $n \geq 1$ .

Theorem (Quillen 1969, the cosimplicial Postnikov tower). For a connected pointed space $X$ with $π_{n} (X) = 0$ for $n \geq 1$ (i.e. a space whose first non-vanishing homotopy group is in degree $\geq 2$ ), the cosimplicial space $$ P^{\bullet} X = \mathrm{Map}(X, K(\pi_2, 2)^{\wedge \bullet + 1}) $$ has BK spectral sequence converging to the homotopy of the $2$ -connected cover of $X$ , with $E_{2}$ -page identifiable as cohomology of $X$ with coefficients in the Steenrod algebra modulo the first non-vanishing $k$ -invariant.

This is the Quillen-Postnikov approach to obstruction theory, and the BK spectral sequence is its computational engine. The general pattern — resolve a space by its Eilenberg-MacLane factors and use the BK spectral sequence to extract homotopy-group data — is the modern repackaging of classical Postnikov-tower obstruction theory.

Theorem (Bousfield 1987, refinement under nilpotent fibration hypotheses). If the cosimplicial space $X^{∙}$ is degree-wise nilpotent (the fundamental group of $X^{s}$ is nilpotent and acts nilpotently on $π_{n} X^{s}$ for $n \geq 2$ , in each degree $s$ ), then the Bousfield-Kan spectral sequence converges strongly to $\pi_(\mathrm{Tot} X^{\bullet}) $w i t h o u t a$ \lim^1$ obstruction.*

This is Bousfield 1987 Amer. J. Math. 109. The nilpotency hypothesis controls the unstable Adams-style behaviour and ensures that the relevant towers are Mittag-Leffler. For the cosimplicial cobar resolutions appearing in the Adams BK spectral sequence at a connective ring spectrum, the nilpotency hypothesis is automatic in good cases (finite-type, simply connected target), and the convergence statement specialises to the classical Adams convergence.

Synthesis. The Bousfield-Kan spectral sequence is the foundational reason that homotopy groups of completions can be computed from cohomotopy of resolutions, and the central insight is that a cosimplicial space encodes the same data as a tower of fibrations through the Tot construction, with the spectral sequence of the tower realising the cohomotopy spectral sequence of the cosimplicial diagram. Putting these together with Adams-style cobar resolutions at a ring spectrum $R$ , every $R$ -completion fits into a unified spectral-sequence framework whose $E_{2}$ -page is computed as $Ext$ in the relevant Hopf algebroid of cooperations. This is exactly the structure that identifies classical computational tools — the Adams spectral sequence at $H F_{p}$ , the Adams-Novikov spectral sequence at $B P$ , the chromatic Adams BK spectral sequences at the Morava $K (n)$ — as instances of a single construction; the bridge is between the Tot construction on cosimplicial spaces and the inverse-limit construction on towers of fibrations, with both presenting the same homotopy limit through different organising principles.

The framework generalises far beyond the classical setting. The Goerss-Hopkins-Miller obstruction theory uses BK spectral sequences on moduli of $E_{\infty}$ ring structures to construct $tmf$ ; the Devinatz-Hopkins-Smith and Hopkins-Smith chromatic-stratification theorems organise the entire stable homotopy category as a tower of $K (n)$ -local pieces assembled via BK convergence at each height. The pattern recurs in the $(\infty, 1)$ -categorical setting where every cosimplicial object in an $(\infty, 1)$ -category has a totalisation and a spectral sequence, and Quillen equivalences between presentations of an abstract homotopy theory preserve the spectral-sequence structure. The framework's longevity comes from its combination of computational power — explicit Ext-page identifications, conditional convergence with controlled obstructions — and structural depth, with the cosimplicial language unifying classical and chromatic homotopy theory under a single axiomatic umbrella.

Full proof set [Master]

Proposition (Identification of the $E_{1}$ -page with the normalised cosimplicial cochain complex). Let $X^{∙}$ be a Reedy-fibrant pointed cosimplicial simplicial set. The $E_{1}$ -page of the Bousfield-Kan spectral sequence is given by $E_{1}^{s, t} = π_{t} N^{s} X^{∙}$ , the homotopy of the $s$ -th normalised level of $X^{∙}$ , where $N^{s} X^{∙} = ⋂_{j = 0}^{s - 1} ker (s^{j} : X^{s} \to X^{s - 1})$ is the intersection of the kernels of the codegeneracies.

Proof. The tower of partial totalisations $Tot_{s} \to Tot_{s - 1}$ has fibre $Ω^{s} F^{s} X^{∙}$ at a basepoint, where $F^{s} X^{∙}$ is the $s$ -th fibre of the comparison map $X^{s} \to M^{s} X$ . For a Reedy-fibrant $X^{∙}$ the comparison map is a Kan fibration, and standard simplicial-cosimplicial duality identifies $F^{s} X^{∙}$ with the $s$ -th normalised level $N^{s} X^{∙}$ (intersection of the kernels of the codegeneracies $s^{j} : X^{s} \to X^{s - 1}$ ).

The long exact sequence of the fibration $Tot_{s} \to Tot_{s - 1}$ with fibre $Ω^{s} N^{s} X^{∙}$ gives $$ \cdots \to \pi_{n+1}(\mathrm{Tot}{s-1}) \to \pi_n(\Omega^s N^s X^{\bullet}) \to \pi_n(\mathrm{Tot}s) \to \pi_n(\mathrm{Tot}{s-1}) \to \cdots, $$ and the loop-space identification $\pi_n(\Omega^s N^s X^{\bullet}) = \pi{n+s}(N^s X^{\bullet}) $g i v es$ \pi_n(\Omega^s N^s X^{\bullet}) = \pi_{n+s}(N^s X^{\bullet}) $. S e tt in g$ t = n + s $so t h e bi d e g r eeco n v e n t i o ni s$ E_1^{s, t} $a tt o t a l d e g r ee$ t - s = n $, w e ha v e$ E_1^{s, t} = \pi_t(N^s X^{\bullet}) $.$ \square$

Proposition (Normalised-versus-alternating-sum equivalence). The cohomotopy of the normalised cosimplicial cochain complex $N^{∙} X^{∙}$ agrees with the cohomotopy of the alternating-sum cochain complex of $X^{∙}$ itself.

Proof. This is the cosimplicial dual of the Dold-Kan correspondence (Dold 1958, Kan 1958). The normalised complex $N^{∙}$ is the subcomplex of the unnormalised cochain complex obtained by quotienting by the images of the codegeneracies. The Dold-Kan correspondence asserts that the natural inclusion of the normalised subcomplex into the unnormalised complex is a quasi-isomorphism (a chain-level homotopy equivalence in the case of cosimplicial abelian groups). Specifically: define a chain map $N^{∙} \to C^{∙}$ as the inclusion of the kernel-intersection into the full cochain complex; the Dold-Kan acyclicity theorem (Goerss-Jardine 1999 §III.2) asserts this is a quasi-isomorphism with explicit chain homotopy. Therefore $H^{s} (N^{∙}) = H^{s} (C^{∙}) = π^{s}$ , identifying the $E_{2}$ -page with $π^{s} π_{t} (X^{∙})$ as claimed. $□$

Proposition (Convergence of the BK spectral sequence under Mittag-Leffler). If the tower ${π_{n} Tot_{s} (X^{∙})}_{s}$ is Mittag-Leffler for every $n \geq 0$ , the Bousfield-Kan spectral sequence converges strongly to $\pi_(\mathrm{Tot} X^{\bullet})$.*

Proof. Strong convergence means: for every $n \geq 0$ , the homotopy-tower filtration $F^{s} π_{n} Tot = ker (π_{n} Tot \to π_{n} Tot_{s - 1})$ is exhaustive and Hausdorff in the inverse-limit topology, and the associated graded $F^{s} / F^{s + 1}$ is the $E_{\infty}^{s, s + n}$ -term.

The Milnor short exact sequence (Proposition above) gives $π_{n} Tot = π_{n} lim_{s} Tot_{s}$ , with $lim^{1}$ obstruction. Mittag-Leffler on ${π_{n} Tot_{s}}$ for every $n$ is equivalent to $lim^{1}$ vanishing on the tower of $π_{n + 1}$ -groups for every $n$ (by the standard Mittag-Leffler-implies- $lim^{1}$ -vanishes lemma), so the Milnor sequence collapses to $π_{n} Tot = lim_{s} π_{n} Tot_{s}$ . The filtration $F^{s} π_{n} Tot$ is then identified with the kernel of the natural map to $π_{n} Tot_{s - 1}$ , exhausting $π_{n} Tot$ as $s \to \infty$ . The associated graded is $F^{s} / F^{s + 1} = im (π_{n} Tot_{s}) / im (π_{n} Tot_{s + 1})$ , which by the long exact sequence equals the $E_{\infty}$ -quotient of the $E_{2}$ -page. $□$

Proposition (Identification of the classical Adams SS as a BK SS). The Bousfield-Kan spectral sequence of the cobar cosimplicial spectrum $C^{∙} (H F_{p}; X)$ for a connective spectrum $X$ of finite type at the prime $p$ is the classical Adams spectral sequence converging to $\pi_(X^{\wedge}_p)$.*

Proof sketch. The $E_{2}$ -page is $Ext_{(H F_{p})_{*} (H F_{p})}^{s, t} ((H F_{p})_{*}, (H F_{p})_{*} X)$ . Identifying $(H F_{p})_{*} (H F_{p}) = A_{p}^{\lor}$ , the dual mod- $p$ Steenrod algebra (Milnor 1958 Ann. Math. 67), and $(H F_{p})_{*} X = (H_{*} X; F_{p})$ , the standard change-of-rings argument gives $$ \mathrm{Ext}^{s, t}_{\mathcal{A}_p^{\vee}}(\mathbb{F}p, (H* X; \mathbb{F}p)) \cong \mathrm{Ext}^{s, t}{\mathcal{A}_p}(H^* X; \mathbb{F}_p, \mathbb{F}_p), $$ identifying the BK $E_{2}$ -page with the classical Adams $E_{2}$ -page. Convergence to $X_{p}^{\land}$ is the standard Adams-completion theorem; in the BK framework, $X_{p}^{\land}$ is the totalisation $Tot (C^{∙} (H F_{p}; X))$ by Bousfield-Kan 1972 §I.4. The conditional convergence is strong when $X$ is connective of finite type at $p$ , because the relevant towers are then Mittag-Leffler by a direct $p$ -adic completeness argument. $□$

Proposition (Identification of the Adams-Novikov SS as a BK SS at $B P$ ). The Bousfield-Kan spectral sequence of the cobar cosimplicial spectrum $C^{∙} (B P; S)$ at a prime $p$ is the Adams-Novikov spectral sequence with $E_{2}$ -page $\mathrm{Ext}^{s, t}{BP BP}(BP_*, BP_*) $co n v er g in g t o$ \pi_{t - s}(S^{\wedge}_p) $, t h e$ p$-completed sphere.*

Proof sketch. The cobar cosimplicial spectrum $C^{n} (B P; S) = B P^{\land (n + 1)}$ has totalisation $S_{B P}^{\land} = S_{p}^{\land}$ at the prime $p$ (Bousfield 1979 identifies $L_{B P} = L_{H F_{p}}$ on connective spectra of finite type via the Bockstein and the fact that $B P$ -homology and $H F_{p}$ -homology give the same Bousfield class on finite spectra at $p$ ).

The $E_{2}$ -page identification uses the Hopf algebroid structure on $B P_{*} B P = B P_{*} [t_{1}, t_{2}, \dots]$ (Quillen 1969, Adams 1974) and the change-of-rings argument: $π^{s} π_{t} (B P^{\land∙+ 1}) = Ext_{B P_{*} B P}^{s, t} (B P_{*}, B P_{*})$ as Ext in the category of $B P_{*} B P$ -comodules. The convergence is Ravenel 1986 Theorem 4.4.4 (chromatic strong-convergence for the Adams-Novikov spectral sequence on connective spectra of finite type at $p$ ); the underlying argument is that the tower of partial totalisations is degree-wise Mittag-Leffler for the same Bockstein reasons. $□$

Connections [Master]

Spectral sequence — exact couples and filtered complexes 03.13.01. The Bousfield-Kan spectral sequence is constructed via an exact couple, exactly as in the general spectral-sequence framework. The $D$ -term is the homotopy of the partial totalisations $π_{*} (Tot_{s} X^{∙})$ , the $E$ -term is the homotopy of the normalised cosimplicial levels $π_{*} N^{s} X^{∙}$ , and the connecting map is the boundary of the long exact sequence of the fibration $Tot_{s} \to Tot_{s - 1}$ . The convergence theory specialises the general spectral-sequence convergence formalism to the homotopy-tower setting with its characteristic $lim^{1}$ obstruction.
Quillen model category 03.12.31. The Reedy model structure on cosimplicial objects in a model category $C$ is the model-categorical foundation of the Bousfield-Kan construction. Tot is the homotopy limit functor on the cosimplicial diagram category $C^{Δ}$ with its Reedy model structure, and the BK spectral sequence is the spectral sequence of the homotopy-limit Reedy tower. The framework generalises seamlessly from $sSet$ to any reasonable model category $C$ , and the abstract Tot-spectral-sequence is the universal computational tool for homotopy limits in any setting where the BK construction applies.
Atiyah-Hirzebruch spectral sequence 03.13.04. The Atiyah-Hirzebruch spectral sequence for a generalised cohomology theory $E$ on a CW complex $X$ is structurally parallel to the BK spectral sequence: both arise from a tower of fibrations (the skeletal filtration on $X$ in the AHSS case, the partial totalisations of a cosimplicial space in the BK case), and both have $E_{2}$ -pages computable via ordinary cohomology with appropriate coefficients. The AHSS computes $E^{*} (X)$ from $H^{*} (X; E_{*} (pt))$ ; the BK spectral sequence at $R = E$ as a ring spectrum computes $π_{*} (X_{E}^{\land})$ from $Ext_{E_{*} E}^{*} (E_{*}, E_{*} X)$ . The two are dual organising principles on the same underlying spectral-sequence machinery.
Spectrum 03.12.04. The Adams BK spectral sequence at a ring spectrum $R$ requires the spectrum-level cobar construction $C^{∙} (R; X)$ , which is a cosimplicial spectrum rather than a cosimplicial space. The framework generalises directly to the stable category: $Tot$ is the homotopy limit in $Sp$ , and the BK spectral sequence converges to $π_{*} (X_{R}^{\land})$ , the $R$ -Bousfield localisation. The chromatic theory at $R = K (n)$ for Morava $K$ -theories is the deep modern application, and the entire chromatic stratification of $Sp$ rests on BK spectral sequences at the height- $n$ Morava theories.
Homotopy limit (Bousfield-Kan construction) 03.12.37. The companion unit develops the Bousfield-Kan homotopy-limit construction in full generality: $Tot$ of a cosimplicial diagram is the special case of homotopy limit over $Δ$ , and the BK spectral sequence is the spectral sequence of this particular homotopy limit. The general $holim_{I}$ for an arbitrary indexing category $I$ has its own spectral sequence (the Bousfield-Kan spectral sequence of a homotopy limit), and the cosimplicial case is the most computationally accessible instance. The two units are a foundation pair: the homotopy-limit unit axiomatises the general construction, the present unit develops the spectral sequence of the cosimplicial special case.
CW complex 03.12.10. The cofibrant objects in the model structure on cosimplicial spaces, and the cellular structure of partial totalisations, are CW-style in the cosimplicial direction. The matching-object filtration of $Tot_{n} X^{∙}$ is a transfinite cellular construction in the Reedy model structure, and the convergence theory specialises the cellular-approximation arguments of 03.12.10 to the cosimplicial setting.
Simplicial sets and geometric realization 03.12.25. The Bousfield-Kan formalism takes place natively in $sSet$ with the Kan-Quillen model structure. Cosimplicial simplicial sets, the matching-object tower, and the totalisation construction all live in $sSet$ ; the geometric realisation functor transports the BK spectral sequence to $Top$ for topological applications. The framework also extends to the stable category $Sp$ where cosimplicial spectra and their totalisations support the Adams-style spectral sequences underlying chromatic homotopy theory.

Historical & philosophical context [Master]

Aldridge Bousfield and Daniel Kan introduced the spectral sequence and the totalisation construction in their 1972 Springer Lecture Notes in Mathematics monograph Homotopy Limits, Completions and Localizations (LNM 304) ^{[BousfieldKan1972]}, building on Kan's earlier work on simplicial homotopy theory and Bousfield's thesis on the relations between localisations and completions. The motivation was to provide a unified framework for the Adams spectral sequence and the integral and $p$ -adic homotopy completions of a space: the Adams construction had been ad hoc, depending on smash powers of Eilenberg-MacLane spectra; Bousfield-Kan recognised the cosimplicial structure underlying these constructions and abstracted to the general cosimplicial-space level. The companion paper The homotopy spectral sequence of a space with coefficients in a ring (Topology 11, 1972) ^{[BousfieldKan1972Topology]} gave the cobar-construction version converging to ring-completion, immediately specialising to the classical Adams spectral sequence at $H F_{p}$ and the new Adams-Novikov spectral sequence at $B P$ .

The framework lay relatively dormant for the rest of the 1970s before being applied systematically in the chromatic stratification programme of Ravenel, Hopkins, Devinatz, and Smith in the 1980s and 1990s. Ravenel's 1986 monograph Complex Cobordism and the Stable Homotopy Groups of Spheres ^{[Ravenel1986]} organised the Adams-Novikov spectral sequence and its $K (n)$ -localisations through the BK lens; Bousfield's 1979 paper The localization of spectra with respect to homology (Topology 18) ^{[Bousfield1979]} gave the modern formulation of $E$ -Bousfield localisation, identifying $X_{E}^{\land}$ as a universal $E$ -local approximation. The Devinatz-Hopkins-Smith nilpotence theorems (1988 Ann. Math. 128) and Hopkins-Smith periodicity theorems (1998 Ann. Math. 148) used the BK framework as the computational engine for the chromatic stratification of the stable category.

The modern setting is $(\infty, 1)$ -categorical: every $(\infty, 1)$ -category $C$ admits cosimplicial objects and totalisations, and the BK spectral sequence generalises to the totalisation spectral sequence of any cosimplicial object in a stable $(\infty, 1)$ -category. Lurie's 2009 Higher Topos Theory ^[Lurie2009] and subsequent work on derived algebraic geometry incorporate this generalisation as a basic computational tool, and the Goerss-Hopkins obstruction theory for $E_{\infty}$ ring structures uses BK spectral sequences on moduli of structured ring spectra. The 2005-2010 period saw the construction of the topological modular forms spectrum $tmf$ via these methods, with the descent spectral sequence on the moduli of elliptic curves serving as a vast application of the BK formalism.

The Bousfield-Kan construction also reaches into related fields. In motivic homotopy theory (Morel-Voevodsky 1999) the analogous cosimplicial construction with $A^{1}$ -localisation defines the motivic Adams spectral sequence; in equivariant stable homotopy theory the Hill-Hopkins-Ravenel 2009 resolution of the Kervaire invariant problem uses an equivariant analogue of the BK spectral sequence at a slice tower. The framework's longevity comes from its axiomatic minimalism — a cosimplicial diagram, a totalisation, a spectral sequence — and its computational depth: explicit Ext-page identifications, conditional convergence with controlled obstructions, and a universal applicability across stable, unstable, motivic, equivariant, and chromatic settings.

Bibliography [Master]

@book{BousfieldKan1972,
  author    = {Bousfield, Aldridge K. and Kan, Daniel M.},
  title     = {Homotopy Limits, Completions and Localizations},
  series    = {Lecture Notes in Mathematics},
  volume    = {304},
  publisher = {Springer-Verlag},
  year      = {1972}
}

@article{BousfieldKan1972Topology,
  author    = {Bousfield, Aldridge K. and Kan, Daniel M.},
  title     = {The homotopy spectral sequence of a space with coefficients in a ring},
  journal   = {Topology},
  volume    = {11},
  year      = {1972},
  pages     = {79--106}
}

@article{Bousfield1979,
  author    = {Bousfield, Aldridge K.},
  title     = {The localization of spectra with respect to homology},
  journal   = {Topology},
  volume    = {18},
  year      = {1979},
  pages     = {257--281}
}

@article{Bousfield1987,
  author    = {Bousfield, Aldridge K.},
  title     = {On the homology spectral sequence of a cosimplicial space},
  journal   = {American Journal of Mathematics},
  volume    = {109},
  year      = {1987},
  pages     = {361--394}
}

@book{Ravenel1986,
  author    = {Ravenel, Douglas C.},
  title     = {Complex Cobordism and the Stable Homotopy Groups of Spheres},
  series    = {Pure and Applied Mathematics},
  volume    = {121},
  publisher = {Academic Press},
  year      = {1986}
}

@book{Adams1974,
  author    = {Adams, John Frank},
  title     = {Stable Homotopy and Generalised Homology},
  series    = {Chicago Lectures in Mathematics},
  publisher = {University of Chicago Press},
  year      = {1974}
}

@book{Hirschhorn2003,
  author    = {Hirschhorn, Philip S.},
  title     = {Model Categories and Their Localizations},
  series    = {Mathematical Surveys and Monographs},
  volume    = {99},
  publisher = {American Mathematical Society},
  year      = {2003}
}

@book{GoerssJardine2009,
  author    = {Goerss, Paul G. and Jardine, John F.},
  title     = {Simplicial Homotopy Theory},
  series    = {Modern Birkh{\"a}user Classics},
  publisher = {Birkh{\"a}user},
  year      = {2009},
  note      = {Reprint of 1999 edition}
}

@article{DevinatzHopkinsSmith1988,
  author    = {Devinatz, Ethan S. and Hopkins, Michael J. and Smith, Jeffrey H.},
  title     = {Nilpotence and stable homotopy theory {I}},
  journal   = {Annals of Mathematics},
  volume    = {128},
  year      = {1988},
  pages     = {207--241}
}

@article{HopkinsSmith1998,
  author    = {Hopkins, Michael J. and Smith, Jeffrey H.},
  title     = {Nilpotence and stable homotopy theory {II}},
  journal   = {Annals of Mathematics},
  volume    = {148},
  year      = {1998},
  pages     = {1--49}
}

@article{Milnor1958,
  author    = {Milnor, John W.},
  title     = {The {S}teenrod algebra and its dual},
  journal   = {Annals of Mathematics},
  volume    = {67},
  year      = {1958},
  pages     = {150--171}
}

@book{Lurie2009,
  author    = {Lurie, Jacob},
  title     = {Higher Topos Theory},
  series    = {Annals of Mathematics Studies},
  volume    = {170},
  publisher = {Princeton University Press},
  year      = {2009}
}

@article{MorelVoevodsky1999,
  author    = {Morel, Fabien and Voevodsky, Vladimir},
  title     = {$\mathbb{A}^1$-homotopy theory of schemes},
  journal   = {Publications Math{\'e}matiques de l'IH{\'E}S},
  volume    = {90},
  year      = {1999},
  pages     = {45--143}
}

@article{HillHopkinsRavenel2016,
  author    = {Hill, Michael A. and Hopkins, Michael J. and Ravenel, Douglas C.},
  title     = {On the nonexistence of elements of {K}ervaire invariant one},
  journal   = {Annals of Mathematics},
  volume    = {184},
  year      = {2016},
  pages     = {1--262}
}

Prerequisites

03.12.10
03.12.25
03.12.31
03.13.01

Tier anchors

beginner: Bousfield-Kan 1972 *Homotopy Limits, Completions and Localizations* (Springer LNM 304), the originator monograph; informal exposition in Goerss-Jardine 2009 §VIII.1 and Bousfield-Kan 1972 *Topology* 11 — the homotopy spectral sequence with coefficients in a ring
intermediate: Bousfield-Kan 1972 *Homotopy Limits, Completions and Localizations* (LNM 304) §IX, §X; Goerss-Jardine 2009 *Simplicial Homotopy Theory* §VIII.1-§VIII.2; Hirschhorn 2003 *Model Categories and Their Localizations* §17
master: Bousfield-Kan 1972 *Homotopy Limits, Completions and Localizations* (Springer LNM 304) §IX-§XI (originator); Bousfield-Kan 1972 *Topology* 11, 79-106 (the homotopy spectral sequence with coefficients in a ring; cobar construction); Hirschhorn 2003 *Model Categories and Their Localizations* (AMS Surveys 99) §17 (Tot tower as homotopy limit); Goerss-Jardine 2009 *Simplicial Homotopy Theory* §VIII; Bousfield 1979 *The localisation of spectra with respect to homology* (Topology 18, 257-281); Ravenel 1986 *Complex Cobordism and the Stable Homotopy Groups of Spheres* §3-§5 (Adams-Novikov SS as the cobar SS for $BP$)

References

TODO_REF
Bousfield-Kan — Homotopy Limits, Completions and Localizations · Springer Lecture Notes in Mathematics 304 (1972); the originator monograph: §IX cosimplicial spaces, §X total space and the homotopy spectral sequence with $E_2^{s,t} = \pi^s \pi_t(X^{\bullet})$, §XI convergence and the $\lim^1$ obstruction
TODO_REF
Bousfield-Kan — The homotopy spectral sequence of a space with coefficients in a ring · Topology 11 (1972), 79-106; companion paper introducing the Adams-style spectral sequence converging to $\pi_*(R_\infty X)$ via the cobar construction on the ring $R$
TODO_REF
Hirschhorn — Model Categories and Their Localizations · AMS Mathematical Surveys and Monographs 99 (2003); §17 Tot of a cosimplicial space as a homotopy limit, the Reedy model structure on cosimplicial objects, fibrant replacement and convergence of the BK spectral sequence
TODO_REF
Goerss-Jardine — Simplicial Homotopy Theory · Birkhäuser Progress in Mathematics 174 (1999, repr. 2009); §VIII.1 the Bousfield-Kan spectral sequence, §VIII.2 cosimplicial spaces and total space, §VIII.4 the cobar construction and the homotopy spectral sequence of a cosimplicial space
TODO_REF
Bousfield — The localization of spectra with respect to homology · Topology 18 (1979), 257-281; the $E$-Bousfield localisation of a spectrum $X$ at a generalised homology theory $E$, the foundational object underlying the chromatic stratification and the Adams-style $E$-BK spectral sequence
TODO_REF
Ravenel — Complex Cobordism and the Stable Homotopy Groups of Spheres · Pure and Applied Mathematics 121 (Academic Press 1986); §3-§5 the Adams-Novikov spectral sequence as the $BP$-based Adams BK spectral sequence, convergence at primes $p$, chromatic filtration via Morava $K$-theories
TODO_REF
Adams — Stable Homotopy and Generalised Homology · Chicago Lectures in Mathematics (1974); Part III the classical Adams spectral sequence as the BK spectral sequence for the cosimplicial space $\mathrm{Map}(X, H\mathbb{F}_p^{\bullet+1})$ resolving $X$ by Eilenberg-MacLane spaces
TODO_REF
Bousfield — On the homology spectral sequence of a cosimplicial space · Amer. J. Math. 109 (1987), 361-394; refinement of the BK spectral sequence for the unstable Adams setting and convergence under nilpotent fibration hypotheses

Lean module

Codex.Modern.Homotopy.BousfieldKanSpectralSequence

Mathlib gap

Mathlib has rudimentary simplicial-object infrastructure in
`Mathlib.AlgebraicTopology.SimplicialObject` but no cosimplicial spaces,
no totalisation `Tot`, no Reedy model structure on cosimplicial objects,
no homotopy spectral sequence of a cosimplicial space, and no cobar
construction. The required pieces, roughly in dependency order: a
`CosimplicialObject` type-class as a functor from $\Delta$ to a target
$(\infty, 1)$-category (or a model category with simplicial enrichment),
the totalisation `Tot X^{\bullet}` defined as the equaliser of the
matching-object diagram or equivalently the homotopy limit over $\Delta$,
the Reedy model structure on cosimplicial objects with fibrant
cosimplicial spaces detected by lifting against degenerate-simplex
inclusions, the bigraded $E_1$ and $E_2$ pages with $E_2^{s,t} =
\pi^s \pi_t(X^{\bullet})$ as the cohomotopy of the cosimplicial group
$[s] \mapsto \pi_t(X^s)$, the convergence statement under tower-completeness
hypotheses with the $\lim^1$ obstruction packaged as an `Ext^1` group, the
cobar construction $R \otimes R^{\otimes \bullet} \otimes M$ on a ring
spectrum $R$ as a cosimplicial $R$-module, and the Adams BK spectral
sequence at a prime $p$ converging to $\pi_*(X^{\wedge}_p)$. Each piece is
formalisable from existing categorical infrastructure; the assembly into
a usable API with the classical Adams spectral sequence for the sphere at
$p$ as a verified instance is a major open formalisation target.

Reviewer

TBD

Estimated time

beginner: 20m
intermediate: 55m
master: 95m