Lubin–Tate spectra

Lubin–Tate spectra
Name	Lubin–Tate spectra
Field	Algebraic topology
Introduced	1980s
Inventor	Jonathan Lubin; John Tate
Related	Morava E-theory; formal group law; Hopkins–Miller theorem

Lubin–Tate spectra are highly structured ring spectra arising in chromatic homotopy theory that realize deformations of one-dimensional formal group laws at a fixed prime and height. They provide topological incarnations of deformation rings originally studied by Jonathan Lubin and John Tate and play a central role in the work of Michael Hopkins, Haynes Miller, Douglas Ravenel, Mark Hovey, Neil Strickland, and others on the localization and classification of spectra. Their construction connects arithmetic geometry centered on Lubin–Tate formal groups, results from Serre, and the machinery of structured ring spectra developed around the Steenrod algebra and Brown–Peterson cohomology.

Introduction

Lubin–Tate spectra were motivated by the interaction of ideas from Jonathan Lubin, John Tate, Jean-Pierre Serre, and the program of David Quillen on complex cobordism and formal group laws. In chromatic homotopy theory pioneered by Douglas Ravenel and advanced by Jack Morava, they appear as highly structured realizations of deformation rings studied by Lubin and Tate in local class field theory and Michel Demazure's work on formal groups. The spectra are closely related to Morava E-theories studied by Jack Morava, Mark Hovey, and Neil Strickland, and their existence relies on the Hopkins–Miller theorem developed by Michael Hopkins and Haynes Miller.

Background and Motivation

The genesis of Lubin–Tate spectra lies in the classification theorems of David Quillen that link complex bordism and formal group laws, and in the chromatic filtration articulated by Douglas Ravenel and Jack Morava. The arithmetic deformation theory introduced by Jonathan Lubin and John Tate constructs universal deformation rings for one-dimensional formal group laws over algebraically closed fields, which were then connected to topological questions by researchers such as Michael Hopkins, Haynes Miller, Mark Hovey, Neil Strickland, and Paul Goerss. The motivation includes connecting Morava stabilizer group actions studied by Jack Morava to operations in stable homotopy via the realization of deformation parameters as coefficients in structured ring spectra, thus bringing together tools from Iwasawa theory, local class field theory, and stable homotopy theory.

Construction of Lubin–Tate Spectra

The construction begins with a one-dimensional formal group law of fixed height over a perfect field of characteristic p, studied by Jonathan Lubin and John Tate, and its universal deformation ring as formulated in deformation theory by Alexander Grothendieck and elaborated by Michel Demazure. Using techniques from structured ring spectra developed in the work of Peter May, Elmendorf–Kriz–Mandell–May, and the symmetric spectra framework of Mark Hovey, the universal deformation algebra is lifted to a spectrum with an E-infinity (or highly structured) ring structure. The Hopkins–Miller theorem, due to Michael Hopkins and Haynes Miller and later clarified by Paul Goerss and Hopkins–Miller collaborators, provides the necessary coherences to equip the resulting object with power operations compatible with the action of the Morava stabilizer group and the Galois group arising from the residue field extension. The output is a Lubin–Tate spectrum realizing the universal deformation in the category of highly structured ring spectra studied by Elmendorf, Mandell, and May.

Algebraic and Homotopical Properties

As highly structured ring spectra, Lubin–Tate spectra carry actions of profinite groups such as the Morava stabilizer group and Galois groups of local fields studied in local class field theory. Their homotopy groups recover the universal deformation rings of Lubin–Tate formal groups, connecting to rings studied in Iwasawa theory and Serre's local representations. They admit power operations compatible with the Steenrod algebra formalism and with operations in Brown–Peterson cohomology and Morava K-theory, and they are crucial input for the construction of homotopy fixed point spectra under stabilizer actions as in work of Michael Hopkins, Haynes Miller, and Douglas Ravenel. They play a role in descent spectral sequences and continuous cohomology computations involving the Morava stabilizer group and its profinite subgroups, which relate to calculations by Mark Hovey and Neil Strickland.

Examples and Computations

Concrete examples arise at small primes and heights where explicit deformation rings and stabilizer groups are tractable. For height one at a prime p the Lubin–Tate spectrum recovers p-adic complex K-theory studied by J. F. Adams and J. P. Serre, while higher heights connect to spectra studied by Jack Morava and calculations initiated by Douglas Ravenel and Mark Mahowald. Computational techniques employ spectral sequences influenced by the work of John Milnor, Jean-Pierre Serre, and Daniel Quillen, and involve the Adams–Novikov spectral sequence developed by Douglas Ravenel and Jack Morava. Explicit homotopy fixed point computations for finite subgroups of the Morava stabilizer group have been carried out by Michael Hopkins, Haynes Miller, Haynes Miller collaborators, and Nick Kuhn in various settings.

Applications in Chromatic Homotopy Theory

Lubin–Tate spectra are central to chromatic redshift and to the local-to-global approach in the chromatic perspective championed by Douglas Ravenel and Jack Morava. They are used to construct localizations and completions such as L_n-local categories studied by Michael Hopkins and Haynes Miller, and they underpin advances connecting stable homotopy groups of spheres to arithmetic phenomena studied by Iwasawa theorists and local class field theory. Their role appears in modern developments linking topological cyclic homology studied by Bjorn Dundas and Thomas Geisser and algebraic K-theory work by Daniel Quillen and Charles Weibel to chromatic phenomena via Lubin–Tate and Morava E-theories.

Relationship to Morava E-theory and Formal Groups

Lubin–Tate spectra realize the universal deformation rings of one-dimensional formal group laws and are tightly related to Morava E-theory spectra introduced by Jack Morava and formalized in the work of Michael Hopkins and Haynes Miller. The coefficient rings of Lubin–Tate spectra coincide with the universal deformation algebras for formal groups of fixed height, linking to the deformation theory of Jonathan Lubin and John Tate and to the moduli problems studied by Alexander Grothendieck and Michel Demazure. The interaction with the Morava stabilizer group equips Morava E-theory with continuous group actions whose homotopy fixed points produce spectra of arithmetic and geometric significance, a perspective exploited by researchers including Michael Hopkins, Haynes Miller, Douglas Ravenel, and Neil Strickland.

Category:Algebraic topology