LLMpediaThe first transparent, open encyclopedia generated by LLMs

Lubin–Tate moduli problem

Generated by GPT-5-mini
Note: This article was automatically generated by a large language model (LLM) from purely parametric knowledge (no retrieval). It may contain inaccuracies or hallucinations. This encyclopedia is part of a research project currently under review.
Article Genealogy
Expansion Funnel Raw 66 → Dedup 0 → NER 0 → Enqueued 0
1. Extracted66
2. After dedup0 (None)
3. After NER0 ()
4. Enqueued0 ()
Lubin–Tate moduli problem
NameLubin–Tate moduli problem
FieldNumber theory, Algebraic geometry, Homotopy theory
Introduced1960s
InventorJonathan Lubin, John Tate

Lubin–Tate moduli problem The Lubin–Tate moduli problem is a foundational parametrization of deformations of one-dimensional formal groups over perfect fields of characteristic p, arising in the work of Jonathan Lubin and John Tate. It connects the arithmetic of local fields, the representation theory of Galois groups, and the geometry of formal group laws, and it underpins constructions in local class field theory, p-adic Hodge theory, and chromatic homotopy theory.

Introduction

The Lubin–Tate moduli problem organizes deformations of a fixed one-dimensional formal group over a perfect residue field of characteristic p, establishing a universal deformation space that carries natural actions of the absolute Galois group and of local endomorphism rings. The formulation and solutions were developed by Jonathan Lubin and John Tate in the 1960s and have since influenced work by Jean-Pierre Serre, Alexander Grothendieck, Andrew Wiles, Vladimir Drinfeld, Barry Mazur, and Nicholas Katz. The problem interfaces with moduli problems studied by Pierre Deligne, Michael Rapoport, Thomas Zink, and Jean-Marc Fontaine.

Formal Groups and Lubin–Tate Formal Groups

A central object is a one-dimensional formal group over a perfect field of characteristic p, typically a finite field such as F_p or its extensions, often endowed with height h in the sense of Dieudonné theory and Taira Honda classification. The Lubin–Tate formal groups arise as explicit formal groups over the ring of integers of a nonarchimedean local field like Q_p or its finite extensions, constructed analogously to Lubin–Tate formal modules used in local class field theory by Lubin and Tate. Important contributors to the structural theory include Michiel Hazewinkel, Vladimir Drinfeld, Michel Demazure, and Hazewinkel’s formal group literature; related tools involve Cartier duality, Dieudonné modules, and the theory of Witt vectors.

Statement of the Lubin–Tate Moduli Problem

One fixes a one-dimensional formal group F0 of height h over a perfect field k of characteristic p and considers the functor that assigns to each complete local noetherian W(k)-algebra R with residue field k the set of isomorphism classes of deformations of F0 to R. The moduli functor is pro-representable by a complete local ring often called the Lubin–Tate deformation ring, a fact that builds on methods introduced by Michael Schlessinger and formal deformation theory developed by Alexander Grothendieck and Jean-Pierre Serre. The representability result links to the work of Vladimir Drinfeld on moduli of shtukas and to methodologies used by Nicholas Katz and Barry Mazur for Galois deformation rings.

Deformation Theory and Universal Deformations

Deformation theory produces a universal deformation formal group over the Lubin–Tate ring, a versal object that parameterizes all deformations of F0 up to isomorphism. This construction leverages the tangent space computations of Michael Schlessinger and obstruction theories related to Hochschild cohomology and Ext groups studied in the contexts of Grothendieck–Serre duality and Luc Illusie’s cotangent complex. The universal deformation ring is typically isomorphic to a power series ring in h−1 variables over the ring of Witt vectors W(k), a structural outcome that resonates with deformation rings studied by Andrew Wiles, Richard Taylor, and Mark Kisin in arithmetic geometry.

Relation to Local Class Field Theory and Galois Actions

The Lubin–Tate deformation space admits a natural action of the automorphism group of the formal group and of the absolute Galois group of the fraction field of W(k), producing links to local class field theory and explicit reciprocity laws developed by Lubin and Tate. These Galois actions are analyzed using the language of (ϕ,Γ)-modules and Jean-Marc Fontaine’s period rings, with further developments by Pierre Colmez and Laurent Berger in p-adic representation theory. The compatibility of Galois and endomorphism actions informs the study of Hecke algebras and local Langlands correspondence phenomena explored by Michael Harris, Richard Taylor, and Guy Henniart.

Hecke Correspondences and Moduli Interpretation

The geometry of the Lubin–Tate space supports richly structured correspondences analogous to classical Hecke correspondences studied in the context of modular curves, Shimura varieties, and Drinfeld upper half plane. These correspondences link to operators in the Hecke algebra and to trace formulas used by James Arthur and Robert Langlands in harmonic analysis on p-adic groups such as GL_n and to the cohomological investigations of Michael Rapoport and Thomas Zink. The moduli interpretation enables comparisons with the local models appearing in the work of Robert Kottwitz and George Pappas on integral models of Shimura varieties.

Applications in p-adic Hodge Theory and Chromatic Homotopy Theory

Lubin–Tate deformation spaces provide local analytic charts used in p-adic Hodge theory and the study of Galois representations, connecting to period morphisms of Jean-Marc Fontaine, the weight‑filtration constructions of Gerd Faltings, and the syntomic cohomology approaches of Alexander Beilinson. In chromatic homotopy theory the Lubin–Tate ring and its associated Morava E-theory spectra feed into the work of Douglas C. Ravenel, Michael J. Hopkins, Jack Morava, Paul G. Goerss, Jacob Lurie, and Hans-Werner Henn on the classification of stable homotopy types via the chromatic filtration and Morava stabilizer group actions. The interplay between arithmetic geometry and stable homotopy theory continues to motivate research by Peter Scholze, Ofer Gabber, and Matthew Emerton in modern algebraic topology and arithmetic geometry.

Category:Algebraic geometry