Nilpotence theorem

Nilpotence theorem
Name	Nilpotence theorem
Field	Algebraic topology
Introduced	1980s
Authors	Douglas Ravenel; Edward S. Devinatz; Paul S. Landweber; Haynes Miller
Known for	classification of stable homotopy classes, chromatic homotopy theory

Nilpotence theorem

The Nilpotence theorem is a central result in stable homotopy theory and algebraic topology asserting that certain maps in the stable homotopy category become nilpotent when detected by suitable invariants, with profound implications for the structure of spectra and cohomology theories. The theorem connects work of researchers associated with the Institute for Advanced Study, the University of Chicago, and the Massachusetts Institute of Technology, and it underpins modern chromatic homotopy theory and the classification programs initiated by figures linked to the American Mathematical Society and the National Science Foundation.

Introduction

The Nilpotence theorem identifies when maps between spectra in the stable homotopy category are nilpotent by examining their images under cohomology theories such as complex cobordism, Brown–Peterson cohomology, and Morava K-theory. Its formulation and proof unify methods developed in seminars influenced by scholars at Princeton University, Harvard University, Stanford University, and institutions connected to the Simons Foundation. The result interacts with milestones like the Adams spectral sequence, the Adams–Novikov spectral sequence, and structures related to the Hopf invariant one problem.

Statement and Context

Roughly speaking, the Nilpotence theorem states that a map of finite spectra is nilpotent if it is nilpotent after applying complex oriented theories such as MU (complex cobordism) or after evaluation by a family of Morava K-theories K(n). The formal context uses the stable homotopy category of CW complexes, the language of ring spectra, and concepts from the work of John Milnor, J. H. C. Whitehead, and developments by researchers associated with the Royal Society and the European Mathematical Society. The theorem complements earlier classification results including the Freudenthal suspension theorem and the Serre finiteness theorem, and it informs comparisons to conjectures promoted by the Simons Collaboration and the Clay Mathematics Institute.

Proof Sketch and Techniques

Proofs of the Nilpotence theorem employ deep inputs: the construction of Brown–Peterson cohomology BP and its cooperations, the analysis of the Adams–Novikov spectral sequence based on MU, and structural theorems about BP_*BP comodules inspired by algebraic work from groups at University of Chicago and Princeton University. The argument uses reduction to prime-local statements involving Morava stabilizer groups and calculations influenced by the Lubin–Tate theory developed in contexts intertwined with the Institute for Advanced Study and researchers like John Lubin and Jonathan Tate. Prominent techniques echo methods from the Nilpotence and periodicity program and build on categorical frameworks advanced by scholars at Massachusetts Institute of Technology and University of California, Berkeley.

Consequences and Applications

Consequences include a classification of thick subcategories of finite spectra as in the Hopkins–Smith thick subcategory theorem, insights into periodic families like Toda brackets and relations to the chromatic filtration central to chromatic homotopy theory. The theorem influences computations in the Adams spectral sequence applied to the sphere spectrum, informs structural features of E-infinity ring spectra, and impacts work on invariants used by groups at the University of Cambridge and École Normale Supérieure. Applications extend to computational projects related to the Kervaire invariant problem and the study of stable homotopy groups of spheres pursued by collaborations funded by the National Science Foundation and the European Research Council.

Examples and Counterexamples

Concrete examples illustrating nilpotence include maps detected as zero in Morava K-theory K(n) for all heights n, such as certain self-maps on finite spectra arising in constructions related to Brown–Gitler spectra and families studied by researchers at Princeton University and Harvard University. Counterexamples or borderline cases show the necessity of finiteness hypotheses: maps between infinite spectra that vanish under MU or BP but are not nilpotent arise in settings examined by authors affiliated with University of Chicago and Stanford University, highlighting distinctions analogous to phenomena in the study of localization and completion explored at institutions like the Max Planck Institute.

Historical Development and Contributors

Key contributors include Douglas Ravenel, whose program on periodicity and nilpotence framed many questions, and collaborators and successors connected to the Institute for Advanced Study, Princeton University, and Massachusetts Institute of Technology such as Haynes Miller, Mark Hovey, Neil Strickland, and others who developed technical machinery. The formulation and proof era involved seminars and collaborations spanning Harvard University and University of Chicago, with conceptual lineage traceable to earlier work by J. H. C. Whitehead, Jean-Pierre Serre, and John Milnor. Funding and institutional support from organizations like the National Science Foundation and the Simons Foundation facilitated computations and workshops that solidified the theorem’s role in modern algebraic topology.

Category:Algebraic topology