Morava K-theory

Morava K-theory
Name	Morava K-theory
Field	Algebraic topology
Introduced	1960s–1970s

Morava K-theory is a family of extraordinary cohomology theories indexed by a prime and a nonnegative integer that play a central role in modern stable homotopy theory and algebraic topology. Developed to probe periodic phenomena in homotopy groups of spheres, these theories connect to formal group laws, chromatic homotopy theory, and the structure of localization functors. They serve as computationally tractable approximations to more elaborate theories like Brown–Peterson cohomology, Morava E-theory, and complex cobordism.

History and development

The origins trace to work in the 1960s and 1970s by researchers influenced by advances at Princeton University, University of Chicago, and Harvard University, building on ideas from Michael Atiyah, Raoul Bott, and René Thom. Subsequent development involved contributions from figures at Institute for Advanced Study, Massachusetts Institute of Technology, and University of Cambridge who allied insights from Adams spectral sequence, Sergei Novikov theory, and Landweber exact functor theorem techniques. The formal naming and axiomatization emerged alongside the work of mathematicians affiliated with University of Illinois at Urbana–Champaign, University of California, Berkeley, and Columbia University as part of a broader program that included Douglas Ravenel, Jack Morava, and peers at University of Minnesota. Conferences at International Congress of Mathematicians sessions and workshops at Mathematical Sciences Research Institute catalyzed dissemination, while connections to Elliptic cohomology and the Witten genus expanded interest at institutions such as University of Edinburgh and Rutgers University.

Definition and basic properties

Morava K-theory is defined for a fixed prime p and height n as a spectrum K(n) with coefficients K(n)_* concentrated in periodic graded degrees; early constructions used techniques from Brown–Peterson cohomology and idempotent splittings related to Adams–Novikov spectral sequence. The theory is a graded field object in the category of spectra, exhibiting properties analogous to topological K-theory but refined by height; its coefficient ring is a graded Laurent series-type object at p and n, and its homology theories detect vn-periodic phenomena studied by researchers at University of Chicago and Princeton. K(n) is a Bousfield class representative in the lattice of Bousfield equivalence classes considered by Hyman Bass-style frameworks and used by Mark Hovey and Neil Strickland in organizing localization sequences. As a homology theory, K(n)_* is complex oriented only in a generalized sense connected to formal group laws and measurable via Morava stabilizer group action arising from local field arithmetic explored at University of Warwick.

Computational tools and formal group law connection

Computational approaches employ the Adams–Novikov spectral sequence, Hopf algebroid machinery, and the study of the Morava stabilizer group and its continuous cohomology, topics developed in seminars at École Normale Supérieure and Max Planck Institute for Mathematics. The relation to formal groups ties K(n) to the theory of deformations of one-dimensional formal group laws classified by Lubin–Tate theory and analyzed by researchers at Harvard University and University of California, Los Angeles. Tools such as the Goerss–Hopkins–Miller theorem and the construction of Morava E-theory rely on representing the automorphism group of a height-n formal group over a perfect field of characteristic p, drawing on methods from Galois cohomology and p-adic Hodge theory developed at University of Cambridge and Princeton. Calculations often leverage the interplay with Brown–Peterson cohomology and the Landweber exact functor theorem applied in contexts studied at University of Oxford and Yale University.

Chromatic homotopy theory and role in localization

Within chromatic homotopy theory, Morava K-theories index the chromatic filtration introduced by Douglas Ravenel and collaborators at University of Tennessee, organizing spectra by height and periodicity. Theories K(n) detect vn-periodic families in the stable homotopy groups of spheres and serve as building blocks for the chromatic tower and localizations L_n of the stable homotopy category explored at Institute for Advanced Study. The Nilpotence and Periodicity Theorems proven by researchers affiliated with Princeton University and University of Chicago rely on vanishing and detection properties of Morava K-theory. Bousfield localization with respect to K(n) and the telescope conjecture debated in seminars at Northwestern University and University of California, San Diego reflect deep structural questions connecting to Thomason–Trobaugh theorems and to the behavior of monochromatic layers examined at Rutgers University.

Examples and calculations

Standard calculations include K(n)_*(S^0), K(n)_*(BU), and K(n)_*(CP^\infty) with methods influenced by computations in complex cobordism and Brown–Peterson cohomology at University of Illinois at Urbana–Champaign. Explicit computations for low heights n=0,1 recover classical theories related to modular representation theory contexts studied at University of Cambridge and University of Oxford; height 0 corresponds to p-local rational cohomology while height 1 aligns with p-adic K-theory computations pursued at University of Chicago. Higher-height examples come from the action of the Morava stabilizer group on Lubin–Tate deformation spaces, with calculations carried out by teams at University of Notre Dame and University of Glasgow using spectral sequence techniques from Adams spectral sequence frameworks.

Applications in algebraic topology and geometry

Morava K-theory informs the study of manifolds, stable homotopy groups of spheres, and orientations such as the Witten genus and elliptic genera whose development involved institutes like Institute for Advanced Study and Max Planck Institute for Mathematics. In algebraic geometry, connections to formal group law deformation theory, Lubin–Tate formal groups, and p-divisible groups link K(n) to questions in arithmetic geometry researched at University of Paris VII and Princeton University. Theories built from K(n), including Morava E-theory, influence work on topological modular forms and the tmf spectrum advanced at University of California, Berkeley and Columbia University, and appear in interactions with representation theory and moduli of formal groups studied at Harvard University.

Category:Algebraic topology