Chromatic homotopy theory

Chromatic homotopy theory
Name	Chromatic homotopy theory
Field	Algebraic topology
Introduced	1970s–1990s
Key people	Daniel Ravenel, J. Peter May, Douglas Ravenel, Haynes Miller, Mark Hovey, Mike Hopkins, Jacob Lurie, Frank Adams, John Milnor, Serre, Graeme Segal

Chromatic homotopy theory is a framework in Algebraic topology that organizes stable homotopy theory via a hierarchy of periodicities and localizations associated to formal group laws, complex oriented cohomology theories, and Morava stabilizer groups. It connects foundational work by Frank Adams, structural results by Daniel Ravenel and computational breakthroughs by Mark Hovey, Mike Hopkins, and Haynes Miller to deep interactions with Algebraic geometry, Number theory, and the theory of Formal group laws. The subject synthesizes techniques from representation theory, category theory, and arithmetic geometry to analyze the stable homotopy groups of spheres and related spectra.

Introduction

Chromatic homotopy theory grew from attempts to understand the stable homotopy groups of spheres using periodic phenomena discovered by John Milnor and organized by Frank Adams via Adams spectral sequences and cobordism theories like Brown–Peterson cohomology and Complex cobordism. Influential conjectures by Daniel Ravenel and the Nilpotence Theorem proved by Devinatz, Mike Hopkins, and Jeffrey H. Smith reframed computations around layers indexed by height, leading to progress by researchers such as Haynes Miller, Mark Hovey, and Neil Strickland.

Background and foundations

Foundational ingredients include Complex cobordism (MU), the Landweber exact functor theorem associated to Peter Landweber, and Quillen's identification of formal group laws connecting Algebraic geometry and Chromatic filtration and Morava K-theories. The role of spectra developed in the work of J. Peter May and the modern ∞-categorical perspective of Jacob Lurie provides a homotopical language that interfaces with derived moduli problems like the moduli of formal groups studied by Michel Demazure and Jean-Pierre Serre. Methods from the work of Adams spectral sequence proponents and the machinery of model categories developed by Daniel Quillen are central.

Chromatic filtration and Morava K-theories

The chromatic filtration stratifies stable homotopy theory by height parameters detected by Morava K-theorys K(n) and Johnson–Wilson theory E(n). Morava K-theory, introduced by Jack Morava, isolates vn-periodic phenomena tied to formal group height and the action of Morava stabilizer groups studied by Devinatz and Hopkins. Theories at height n relate to the Lubin–Tate moduli studied by Jonathan Lubin and John Tate and to the deformation theory developed by Grothendieck and Alexander Grothendieck's school. Chromatic layers interact with prime-specific phenomena investigated by Haynes Miller and classification efforts by Neil Strickland.

Ravenel's conjectures and the Nilpotence Theorem

Daniel Ravenel proposed a set of conjectures organizing periodicity, vanishing lines, and structure of the stable homotopy category, including periodicity results and the telescope conjecture. The Nilpotence Theorem, proved by Devinatz, Mike Hopkins, and Jeffrey H. Smith, confirmed that maps detected by complex cobordism are nilpotent under tensor powers, relying on ideas from Brown–Peterson cohomology and work of Frank Adams. Subsequent progress on Ravenel's conjectures involved contributions by Mark Hovey, Douglas Ravenel, Haynes Miller, and counterexamples or refinements inspired by techniques from Chromatic filtration and Morava K-theories and Lubin–Tate theory.

Localizations, Bousfield classes, and the chromatic tower

Localization techniques such as Bousfield localization, developed by A. K. Bousfield, organize spectra via Bousfield classes and localizations with respect to Morava K-theory and Johnson–Wilson theory. The chromatic tower or chromatic convergence theorem, formulated through the work of Ravenel and proved in cases by Hopkins and collaborators, expresses a spectrum as an inverse limit of its height-local pieces, connecting to localization theorems by Neeman in triangulated categories and to ideas from Thomason in algebraic K-theory. The role of completed cohomology and profinite group actions draws on input from Lubin–Tate theory and the study of Morava stabilizer groups.

Thick subcategory theorem and classification of spectra

The thick subcategory theorem of Hopkins and Smith classifies thick tensor-ideal subcategories of finite spectra via Morava K-theories, paralleling classification results in representation theory by Benson, Carlson, and Rickard. The theorem gives a stratification of the homotopy category of finite spectra into layers detected by height, informing the classification of smashing localizations and inspiring work by Mark Hovey, Neil Strickland, and Paul Balmer on tensor-triangulated geometry. Connections to derived categories from Grothendieck's school and to modular representation theory via J. L. Alperin and Jon F. Carlson enrich classification techniques.

Computational techniques and applications

Computational breakthroughs employ Adams–Novikov spectral sequences, resolution of structured ring spectra pioneered by Elmendorf, Kriz, Mandell, and May, and descent methods linked to Lurie's higher algebra and derived algebraic geometry. Applications range to stable stems computations advanced by Isaksen, Chris Hill, and Mike Hill and to interactions with Elliptic cohomology and the theory of topological modular forms (TMF) developed by Hopkins and Haynes Miller with input from Don Zagier and Benson Farb's circles. Cross-disciplinary impacts appear in arithmetic through the study of Lubin–Tate deformations, in geometric representation theory developed by George Lusztig, and in algebraic K-theory influenced by Daniel Quillen and Friedhelm Waldhausen.

Category:Algebraic topology