Chromatic Homotopy Theory

Chromatic homotopy theory studies the stable homotopy category $\mathcal{S}\mathcal{H}$ through the lens of the moduli stack ${\mathcal{M}}_{FG}$ of one-dimensional formal groups. The key dictionary, due to Quillen, identifies complex cobordism $MU$ with the universal formal group law, so that height-stratification of ${\mathcal{M}}_{FG}$ (by characteristic $p$ and height $n$) lifts to a filtration of homotopy theory itself. Each "height $n$" stratum sees periodic families generated by $v_n$-self-maps and is detected by the Morava $K$-theories $K(n)$; the local pieces are reconstructed via the chromatic tower and Hopkins–Ravenel's chromatic convergence theorem. The surprising fact: the seemingly intractable stable homotopy groups of spheres possess a rigid, periodic, arithmetic skeleton — the same Lubin–Tate deformation theory that governs local class field theory governs the $K(n)$-local sphere via the Devinatz–Hopkins computation $L_{K(n)}{S}^0\simeq E_n^{h{\mathbb{G}}_n}$.

The Core Insight

Formal Statement

Formal group law and height

A (one-dimensional, commutative) formal group law over a commutative ring $R$ is a power series $F(x,y)\in R[[x,y]]$ satisfying $F(x,0)=x$, $F(x,y)=F(y,x)$, and associativity $F(F(x,y),z)=F(x,F(y,z))$.

Over a field $k$ of characteristic $p>0$, the $p$-series is

The integer $n$ is the height; if $[p{]}_F(x)=0$ formally (i.e. $F$ is additive after base change), the height is $\infty$.

Quillen, 1969

The complex cobordism spectrum $MU$ carries the universal formal group law. Its coefficient ring is the Lazard ring:

Consequently $\mathrm{Spec}{\pi }_{\ast }MU\to {\mathcal{M}}_{FG}$ presents the moduli stack of formal groups, and $M{U}_{\ast }MU$ corepresents isomorphisms of formal group laws (the Hopf algebroid $(M{U}_{\ast },M{U}_{\ast }MU)$).

Morava $K$-theory and $E$-theory

Fix a prime $p$ and $0\le n\le \infty$. Morava $K$-theory $K(n)$ is a complex-oriented ring spectrum with

with conventions $K(0)=H\mathbb{Q}$ and $K(\infty )=H{\mathbb{F}}_p$. Morava $E$-theory (Lubin–Tate spectrum) $E_n$ has

Chromatic localization

Let $L_n=L_{E(n)}$ denote Bousfield localization at the Johnson–Wilson theory $E(n)$ (equivalently at $K(0)\vee \cdots \vee K(n)$). The chromatic tower of a spectrum $X$ is

The monochromatic layer $M_{n}X=\mathrm{fib}(L_{n}X\to L_{n-1}X)$ is equivalent, after $K(n)$-localization data, to a $K(n)$-local object. The fracture squares assemble these.

The chromatic tower and its monochromatic layers

<svg viewBox="0 0 720 380" xmlns="http://www.w3.org/2000/svg">
<rect width="720" height="380" fill="#0a0e17"/>
<text x="360" y="30" fill="#e2e8f0" font-size="17" text-anchor="middle" font-family="serif">Chromatic Tower of the Sphere Spectrum</text>

<!-- vertical tower -->
<line x1="160" y1="70" x2="160" y2="330" stroke="#94a3b8" stroke-width="1.5"/>
<circle cx="160" cy="80" r="4" fill="#d4a853"/>
<text x="175" y="85" fill="#e2e8f0" font-size="13" font-family="serif">S⁰</text>

<circle cx="160" cy="140" r="4" fill="#94a3b8"/>
<text x="175" y="145" fill="#e2e8f0" font-size="13" font-family="serif">L₃S⁰</text>
<circle cx="160" cy="200" r="4" fill="#94a3b8"/>
<text x="175" y="205" fill="#e2e8f0" font-size="13" font-family="serif">L₂S⁰</text>
<circle cx="160" cy="260" r="4" fill="#94a3b8"/>
<text x="175" y="265" fill="#e2e8f0" font-size="13" font-family="serif">L₁S⁰</text>
<circle cx="160" cy="320" r="4" fill="#94a3b8"/>
<text x="175" y="325" fill="#e2e8f0" font-size="13" font-family="serif">L₀S⁰ = S_ℚ</text>

<text x="120" y="115" fill="#94a3b8" font-size="11" text-anchor="end" font-family="serif">⋮</text>

<!-- monochromatic fibers -->
<line x1="400" y1="170" x2="160" y2="170" stroke="#d4a853" stroke-width="1.2" stroke-dasharray="4 3"/>
<text x="410" y="155" fill="#d4a853" font-size="12" font-family="serif">Mₙ S⁰ = fib(LₙS⁰ → Lₙ₋₁S⁰)</text>
<text x="410" y="178" fill="#e2e8f0" font-size="11" font-family="serif">detected by K(n)</text>

<!-- height axis -->
<line x1="540" y1="70" x2="540" y2="330" stroke="#94a3b8" stroke-width="1"/>
<text x="555" y="80" fill="#e2e8f0" font-size="12" font-family="serif">height ∞  (H𝔽ₚ)</text>
<text x="555" y="200" fill="#e2e8f0" font-size="12" font-family="serif">height n  (K(n))</text>
<text x="555" y="325" fill="#e2e8f0" font-size="12" font-family="serif">height 0  (Hℚ)</text>
<text x="540" y="350" fill="#94a3b8" font-size="11" text-anchor="middle" font-family="serif">increasing frequency ↑</text>

<!-- convergence note -->
<text x="160" y="365" fill="#94a3b8" font-size="11" text-anchor="middle" font-family="serif">S⁰₍ₚ₎ ≃ holim Lₙ S⁰  (chromatic convergence)</text>
</svg>

Nilpotence Theorem — Devinatz–Hopkins–Smith, 1988

A map $f:{\Sigma }^{k}X\to X$ of finite $p$-local spectra is nilpotent (some smash power is null) if and only if $M{U}_{\ast }f$ (equivalently $K(n{)}_{\ast }f$ for all $n$) is nilpotent. More generally, an element $\alpha \in {\pi }_{\ast }R$ of a ring spectrum is nilpotent iff its Hurewicz image in $M{U}_{\ast }R$ is nilpotent:

Thick Subcategory Theorem

Every thick subcategory of the category of finite $p$-local spectra is one of the chains

A finite spectrum has type $n$ if $K(m{)}_{\ast }X=0$ for $m<n$ and $K(n{)}_{\ast }X\ne 0$.

Periodicity Theorem — Hopkins–Smith

Every finite type-$n$ complex $X$ admits a $v_n$-self-map: a map $v:{\Sigma }^{d}X\to X$ inducing multiplication by $v_n^k$ on $K(n{)}_{\ast }X$ and zero on $K(m{)}_{\ast }X$ for $m\ne n$. Such a map is unique up to taking iterates and is asymptotically central.

Why It Holds / Derivation

Sketch of the chromatic stratification

reconstructs $L_{n}X$ from the lower tower and the $K(n)$-local piece. Iterating and taking limits gives convergence (Step 6).

Chromatic Convergence — Hopkins–Ravenel, 1992

For a finite $p$-local spectrum $X$, the chromatic tower converges:

Devinatz–Hopkins, $K(n)$-local sphere

The $K(n)$-local sphere is the homotopy fixed points of Morava $E$-theory under the (extended) Morava stabilizer group ${\mathbb{G}}_n=\mathrm{Aut}({\mathbb{F}}_{p^n},{\Gamma }_n)⋊\mathrm{Gal}({\mathbb{F}}_{p^n}/{\mathbb{F}}_p)$:

Here ${\mathcal{O}}_D$ is the maximal order in the central division algebra over ${\mathbb{Q}}_p$ of invariant $1/n$.

Jack Morava | b. 1944

Jack Morava, working in the early-to-mid 1970s, recognized that the height stratification of formal groups should organize stable homotopy theory. Drawing on Quillen's identification of $MU$ with the universal formal group and on Lubin–Tate deformation theory from arithmetic, Morava introduced the spectra and stabilizer groups now bearing his name. His insight — that the automorphism groups of formal groups of height $n$ (the Morava stabilizer groups) act as "Galois groups" of the height-$n$ stratum — became the conceptual backbone of the field, later made precise by Devinatz–Hopkins. Though much of his early work circulated as preprints and lectures rather than published papers, his vision shaped Ravenel's conjectures and the entire chromatic program.

Building Intuition

Think of white light passing through a prism. The stable homotopy category is "white light"; the Morava $K$-theories $K(n)$ are the monochromatic colors (frequencies), indexed by height $n=0,1,2,\dots$ — hence "chromatic." Height $0$ is rational (the slowest, coarsest information); higher heights see finer, faster periodic phenomena. The chromatic tower is the prism: it separates $S^0$ into its frequency components $M_n{S}^0$, and chromatic convergence says you can recombine all the colors to get the original $p$-local light back.

A second picture: ${\mathcal{M}}_{FG}$ is like $\mathrm{Spec}\mathbb{Z}$, where heights play the role of primes. Localizing at $K(n)$ is like working $p$-adically — you zoom into one stratum, where a single periodicity operator $v_n$ governs everything, exactly as a single prime governs ${\mathbb{Z}}_p$. The Morava stabilizer group ${\mathbb{G}}_n$ is the "Galois group" of this completed local field, and the homotopy fixed point spectral sequence is the topological analogue of Galois descent.

Frequency analogy

A physicist may read the chromatic filtration as a frequency decomposition (Fourier-like) of homotopy theory. Height $n$ behaves like an energy scale: low height is the infrared (rational, long-wavelength) regime, high height the ultraviolet. The $v_n$-periodicities are like resonant modes — once you tune into a height, the spectrum becomes periodic with period $|v_n|=2(p^n-1)$, much as a cavity supports discrete standing waves. Renormalization-group intuition is apt: $L_n$ "integrates out" the high-height (UV) degrees of freedom, leaving an effective theory at energy scale $n$.

Worked Examples

Height 1: the image of $J$ and $K$-theory

1. $L_{K(1)}{S}^0\simeq K{U}_p^{h{\mathbb{Z}}_p^{\times }}$ by [11].
2. The homotopy fixed point spectral sequence has $E_2=H_c^{\ast }({\mathbb{Z}}_p^{\times };{\pi }_{\ast }K{U}_p)$. Since ${\mathbb{Z}}_p^{\times }\cong \mathbb{Z}/(p-1)\times {\mathbb{Z}}_p$, continuous cohomology is concentrated in degrees $0,1$.
3. One computes ${\pi }_{\ast }{L}_{K(1)}{S}^0$ in low degrees: ${\pi }_0={\mathbb{Z}}_p$, ${\pi }_{-1}={\mathbb{Z}}_p$, and the $v_1$-periodic families.
4. The torsion in the $K(1)$-local sphere realizes the image of the $J$-homomorphism: $\mathrm{im}J$ in ${\pi }_{2k-1}^s$ has order the denominator of $B_k/2k$ (von Staudt–Clausen / Adams).

Computing height of a known formal group

1. For an ordinary elliptic curve, the formal group $\hat{E}$ has $[p](x)=u{x}^p+\cdots$ with $u\ne 0$, so leading exponent $p^1$ — height $1$.
2. For a supersingular curve, $[p](x)$ has no $x^p$ term; the leading exponent is $p^2$ — height $2$.
3. This is why topological modular forms $\mathrm{tmf}$ realize chromatic height $\le 2$: elliptic curves contribute heights $0,1,2$ through their formal groups.
4. Concretely, take $E:y^2=x^3+x$ over ${\mathbb{F}}_3$ (supersingular since $p=3\equiv 3(\mathrm{mod}4)$). Then $\hat{E}$ has height $2$.

Common Misconceptions

Chromatic convergence can fail for infinite spectra

The chromatic convergence theorem [10] is stated for finite $p$-local spectra. For non-finite spectra it can fail: e.g. for $X={\bigvee }_n{\Sigma }^{?}F(n)$ assembled from finite complexes of unbounded type, the natural map $X_{(p)}\to \mathrm{holim}{L}_{n}X$ need not be an equivalence, because the connectivity estimates of the fibers $\mathrm{fib}(X\to L_{n}X)$ rely on finiteness. Likewise, ${\mathrm{holim}}_n{L}_n(H\mathbb{Z})$ is not $H{\mathbb{Z}}_{(p)}$ — Eilenberg–MacLane spectra are dissonant (chromatically invisible above height $0$).

Connections

Chromatic homotopy theory sits at a crossroads. It draws its algebraic input from Formal Group Laws and Lubin-Tate Theory (deformation spaces and the stabilizer group), and its categorical framework from Bousfield Localization and Stable Homotopy Category. The Adams-Novikov Spectral Sequence is the principal computational engine, with $E_2={\mathrm{Ext}}_{B{P}_{\ast }BP}(B{P}_{\ast },B{P}_{\ast })$ organized by the chromatic spectral sequence into height layers. At height $\le 2$ the theory meets Topological Modular Forms and the arithmetic of elliptic curves; the program continues into Topological Automorphic Forms at higher heights via Shimura varieties. The Morava stabilizer group connects to Local Class Field Theory (central division algebras over ${\mathbb{Q}}_p$), and the redshift conjecture links chromatic height to Algebraic K-Theory (raising height by one).

Real-World Applications

While "applications" here means applications within and adjacent to mathematics, the impact is concrete and named:

1. Stable homotopy groups of spheres. Chromatic methods produce the $\alpha$, $\beta$, $\gamma$ families (Greek-letter elements) and explain periodic phenomena in ${\pi }_{\ast }^s$ via $v_n$-self-maps — e.g. the Adams periodicity of order $p$ in $\mathrm{im}J$.

1. Topological modular forms (tmf). Built from the height $\le 2$ chromatic data of elliptic curves; used by Hopkins–Mahowald and applied to the Kervaire invariant problem context and to detecting framed manifolds.

1. Kervaire invariant problem. The Hill–Hopkins–Ravenel solution (2009) uses equivariant/chromatic technology (norm functors, $E_{\infty }$-orientations of $MU$-modules) to show ${\theta }_j$ does not exist for $j\ge 7$.

1. Lichtenbaum–Quillen and redshift. Ausoni–Rognes' redshift conjecture (proved in cases by Hahn–Wilson, Burklund–Schlank–Yuan) relates $K(\mathrm{height}n)=\mathrm{height}n+1$, giving structural results in algebraic $K$-theory.

1. Picard and Brauer groups of $K(n)$-local categories. Computations (Hopkins–Mahowald–Sadofsky, Heard–Mathew–Stojanoska) classify invertible objects, with arithmetic input from ${\mathbb{G}}_n$-cohomology.

1. Equivariant homotopy and the slice filtration. Norm constructions and Real-oriented spectra ($M{U}_{\mathbb{R}}$, $E_n$ with $C_2$-action) feed back into chromatic computations.

1. Number theory bridges. Lubin–Tate theory, Hopkins' "$K(1)$-local $E_{\infty }$ and Bernoulli numbers," and connections to $p$-adic $L$-functions and the algebraic-topological avatar of Iwasawa theory.

Historical Development

• 1958–1960: Atiyah–Hirzebruch and Bott establish $K$-theory and Bott periodicity; Adams computes the image of $J$, the first height-1 periodicity, using Adams operations.
• 1969: Quillen identifies $MU$ with the universal formal group law (the foundational dictionary between topology and formal groups).
• 1970: Lazard's theorem and Landweber's exactness criterion provide the algebraic backbone; Johnson–Wilson construct $E(n)$.
• 1970s: Morava develops his "Morava modules," stabilizer groups, and the height stratification — largely unpublished but enormously influential.
• 1973–1977: Miller–Ravenel–Wilson compute the chromatic spectral sequence and the Greek-letter (alpha/beta) families via the algebraic chromatic resolution of $B{P}_{\ast }BP$.
• 1979: Ravenel formulates his conjectures (nilpotence, periodicity, thick subcategory, smashing, class invariance) organizing the entire field.
• 1984: Bousfield's localization framework matures, providing $L_n$ and $L_{K(n)}$.
• 1988: Devinatz–Hopkins–Smith prove the Nilpotence Theorem; Hopkins–Smith prove the Periodicity and Thick Subcategory theorems — most of Ravenel's conjectures resolved.
• 1992–1994: Hopkins–Ravenel prove the Chromatic Convergence and Smash Product theorems; Goerss–Hopkins–Miller establish the $E_{\infty }$ Lubin–Tate spectra and Devinatz–Hopkins identify $L_{K(n)}{S}^0=E_n^{h{\mathbb{G}}_n}$.
• 2000s–present: Construction of $\mathrm{tmf}$ (Hopkins–Miller–Lurie), topological automorphic forms (Behrens–Lawson), the Hill–Hopkins–Ravenel Kervaire solution (2009), and recent proofs of redshift (Hahn–Wilson; Burklund–Schlank–Yuan) and ambidexterity (Hopkins–Lurie).

Subtleties & Limits

Major open questions and ongoing programs:

1. Telescope conjecture (height $\ge 2$). Ravenel's telescope conjecture asserts $L_n^f=L_n$, i.e. the finite ($v_n$-telescope) localization agrees with $E(n)$-localization. Recently disproved at height $2$, $p\ge 5$ by Burklund–Hahn–Levy–Schlank (2023) using $K$-theory and ambidexterity — a landmark result settling a long-standing problem in the negative.

1. Explicit ${\pi }_{\ast }{L}_{K(n)}{S}^0$ for $n\ge 3$. The homotopy fixed point spectral sequence with $E_2=H_c^{\ast }({\mathbb{G}}_n;(E_n{)}_{\ast })$ is computed only in low heights and small primes; the cohomology of ${\mathbb{G}}_n$ is largely intractable for $n\ge 3$.

1. Higher chromatic redshift in full generality. While established in important cases, a complete structural theory of how $K$-theory shifts chromatic height remains under development.

1. Geometric/physical meaning of $E_n^{h{\mathbb{G}}_n}$. Connections to TQFT, $p$-adic geometry (prismatic cohomology), and Lurie's ambidexterity suggest deep but incompletely understood structure.

1. Chromatic splitting conjecture (Hopkins). Predicts the precise structure of $L_{n-1}{L}_{K(n)}{S}^0$; known in low heights, open in general, and central to understanding the fracture squares.