Lubin-Tate Space: Definition, Applications, and Significance
- The Lubin-Tate space is a formal and rigid-analytic moduli space representing deformations of one-dimensional $\mathcal O_F$-modules, often equipped with additional structures like a quasi-isogeny and Drinfeld level structures.
- Key applications can be found in arithmetic geometry, particularly in the localization Langlands and Jacquet Langlands correspondences. These environments utilize the Lubin-Tate space's properties and geometric structures to reveal homological and cohomological interactions.
- Explicit constructions, such as affinoids and their reductions, are pivotal for understanding the geometric and cohomological aspects, including the significant roles of Moore determinants, the Gross-Hopkins period morphism, and specific cohomology computations.
- Where are Lubin-Tate spaces used in arithmetic geometry specifically?
- How does the quasi-isogeny structure affect the properties of Lubin-Tate spaces?
- What are the specific applications of the Gross-Hopkins period morphism in Lubin-Tate spaces?
- How do affinoids and their reductions contribute to the study of Lubin-Tate spaces?
- Find recent papers about Lubin-Tate spacesubsection3.
Lubin–Tate space is the formal and rigid-analytic moduli space of deformations of a one-dimensional formal -module of fixed height, usually equipped with a quasi-isogeny to a fixed special fiber and, at finite levels, a Drinfeld level structure. If is a non-archimedean local field with ring of integers , uniformizer , and residue field of cardinality , and if is a one-dimensional formal -module of height over an algebraic closure of the residue field, then its deformation functor is represented by a formal scheme of relative dimension . Its rigid generic fiber is an open unit polydisc of dimension . The resulting tower, with its commuting actions of 0, the division algebra of invariant 1, and the Weil group 2, is a central local-geometric object in the realization of local Langlands and Jacquet–Langlands correspondences.
1. Moduli problem and universal deformation
A one-dimensional formal 3-module over a ring 4 is a one-dimensional commutative formal group law
5
equipped with endomorphisms 6 for 7, compatible with the 8-module structure. Formal addition is denoted 9.
In equal characteristic, with
0
a formal module has height 1 if
2
for a power series 3 satisfying 4. Fix a formal module 5 of height 6\Sigma7\widehat{\mathcal O}_F8\mathcal O_F9\Sigma\pi$0
The level-zero formal Lubin–Tate space is therefore
$\pi$1
and its rigid generic fiber
$\pi$2
is the open unit polydisc of dimension $\pi$3. In mixed characteristic, the corresponding formal deformation space is often written
$\pi$4
and its analytic generic fiber has the same relative dimension.
In equal characteristic one may choose an explicit universal deformation with
$\pi$5
and
$\pi$6
This coordinate presentation is particularly useful for constructing explicit affinoids and computing their reductions.
A related formulation uses a formal $\pi$7-module $\pi$8 over an algebraically closed residue field and a quasi-isogeny
$\pi$9
The resulting formal scheme decomposes into components indexed by the $q$0-height of the quasi-isogeny: $q$1 Each component is noncanonically isomorphic to the height-zero component, and has relative dimension $q$2. This quasi-isogeny formulation is the standard Rapoport–Zink interpretation of the Lubin–Tate deformation problem.
2. Drinfeld levels and the Lubin–Tate tower
For $q$3, a Drinfeld level $q$4 structure on a formal module $q$5 over a complete local ring $q$6 is an $q$7-module homomorphism
$q$8
such that
$q$9
divides $\Sigma$0. The images of the standard basis vectors form a Drinfeld basis
$\Sigma$1
of the $\Sigma$2-torsion.
The moduli functor of triples
$\Sigma$3
where $\Sigma$4 is a deformation of $\Sigma$5, $\Sigma$6 identifies its special fiber with $\Sigma$7, and $\Sigma$8 is a Drinfeld level structure, is represented by a regular local ring
$\Sigma$9
of relative dimension $h-1. The corresponding formal and rigid spaces are
0
The transition maps are finite: 1 and satisfy
2
The Lubin–Tate tower is
3
At finite level, changing the Drinfeld basis gives a right action of
4
If 5, its action on coordinate functions is
6
The map
7
is Galois with group 8.
At infinite level, the inverse limit of the finite-level tower is a perfectoid space. A point is represented by a deformation together with a trivialization of its rational Tate module. In the height-two case, the infinite-level space classifies triples
9
where 0 is a full Tate-module basis. More generally, the infinite-level tower carries a 1-action through changes of level structure.
The infinite-level geometry can also be described using the determinant morphism to the height-one Lubin–Tate tower. In suitable coordinates, the completed coordinate ring is expressed using compatible 2-power roots of variables and a determinant-like alternating series 3; the perfectoid space is locally cut out by equations of the form
4
where 5 is a compatible system of height-one Lubin–Tate torsion points.
3. Group actions, components, and period maps
Let
6
Then 7 is the central division algebra over 8 of invariant 9. If 0 is the unramified extension of degree 1, 2 is generated by 3 and an element 4 satisfying
5
The group 6 acts through automorphisms of the framing object. After descent and base change, the Weil group 7 acts on the tower. Consequently, the cohomology carries commuting actions, schematically,
8
The connected components are controlled by a determinant relation. For suitable 9, the action on components is given by
0
where 1 is the local reciprocity character. Equivalent formulations use
2
The scalar subgroup acts trivially in the corresponding product action.
The Gross–Hopkins period morphism is an étale, surjective, equivariant map
3
constructed from global sections of the Lie-algebra line bundle of the universal deformation. It identifies the natural equivariant line bundles with pullbacks: 4 At level 5, with 6,
7
The period map is not always injective on natural critical discs. In height 8, for example, the Gross–Hopkins period map is not injective on the first critical disc
9
Nevertheless, analytic group actions can be constructed directly on such discs. A level-zero subgroup of a nonsplit torus acts analytically on 00, and suitable wide-open rigid groups act analytically on larger critical discs associated with quasi-canonical liftings (Lo, 2015).
The action on spaces of global sections produces locally analytic representations. For all levels 01 and integers 02, the action of 03 on
04
is locally 05-analytic. At level zero, the locally finite vectors are precisely the pullbacks of algebraic sections on projective space: 06 for 07, and vanish for 08. At positive level,
09
where 10 is the 11-th Lubin–Tate extension (Sheth, 2017).
4. Affinoids, reductions, and explicit geometry
A major line of research constructs explicit affinoid subspaces of Lubin–Tate towers and computes their reductions. These affinoids are often centered at canonical or CM points and are designed so that their formal models have smooth Artin–Schreier-type special fibers.
In equal characteristic, the “too supersingular” region is defined by valuation inequalities
12
After scaling torsion coordinates by a suitable element 13, the level-14 reduction becomes
15
where 16 is the Moore determinant. This is a Deligne–Lusztig-type reduction.
At level 17, an affinoid associated with an unramified canonical point and a subgroup
18
has an étale cover with group
19
Suitable invariant coordinates yield an Artin–Schreier equation
20
and the reduction is the smooth affine hypersurface
21
For 22, this becomes, after a change of variables, a disjoint union of Hermitian curves
23
The associated cohomology is conjecturally concentrated in the middle degree for primitive Artin–Schreier characters, with Frobenius eigenvalue of absolute size
24
In the tame simple-supercuspidal setting, CM-centered affinoids in the Lubin–Tate perfectoid space have reductions equal to perfections of quadratic Artin–Schreier varieties: 25 Their middle cohomology carries the nontrivial Artin–Schreier characters, and Frobenius acts through quadratic Gauss sums. These varieties provide the geometric input for realizing simple supercuspidal local Langlands and Jacquet–Langlands correspondences (Imai et al., 2013).
The wild case requires modified points that are generally not CM points. Correction terms encode the wild extension appearing in the Langlands parameter. The resulting reduction has the form
26
Its cohomology realizes primitive Weil representations whose inertia action factors through a noncommutative semidirect product with Heisenberg-type structure (Imai et al., 2016).
For totally ramified essentially tame parameters with minimal jump 27, affinoids 28 have reductions that are Artin–Schreier covers of the hyperplane
29
For odd 30, the defining equation is a quadratic Artin–Schreier equation. For even 31, the reduction involves a Heisenberg-type algebraic group and a Lang torsor. When 32, the middle cohomology realizes the relevant 33, 34, and 35 representations (Tokimoto, 2016).
In height two and odd equal characteristic, affinoids around unramified CM points reduce to curves such as
36
while ramified CM affinoids reduce, in the relevant odd levels, to
37
Their cohomology injects into the cohomology of the Lubin–Tate curve through Huber’s formal nearby-cycle comparison. This yields a purely local realization of the non-abelian Lubin–Tate theory for 38 in odd equal characteristic (Tsushima, 2016).
5. Cohomology and local Langlands
The compactly supported étale cohomology of a fixed component of the Lubin–Tate tower has a constrained range. For a height-39 component,
40
whereas ordinary cohomology satisfies
41
At infinite level, the direct limit of cohomology carries a smooth action of
42
The cohomology realizes the local Langlands and Jacquet–Langlands correspondences. Suitable isotypic components correspond simultaneously to irreducible admissible representations of 43, representations of 44, and 45-dimensional Weil–Deligne representations. The resulting theorem was established using global methods by Boyer in positive characteristic and Harris–Taylor in mixed characteristic; explicit affinoid constructions seek local geometric realizations of particular representations.
For simple supercuspidal representations in the tame case, compact induction from the cohomology of affinoid reductions produces
46
for essentially simple supercuspidal 47, and vanishes for the other smooth irreducible supercuspidal representations considered in the construction (Imai et al., 2013). The wild construction gives the analogous statement for essentially simple supercuspidals whose Weil parameters are not induced from characters of degree-48 extensions (Imai et al., 2016).
The trace of group actions can also be computed geometrically. If 49 consists of regular elliptic elements satisfying the component-preserving condition
50
then
51
The fixed-point count can be expressed using stable conjugacy and orbital integrals. Fargues’s locally finite cell decomposition, together with the metric geometry of the Bruhat–Tits building, provides an exhaustion by compact analytic domains whose boundary contributes no alternating trace. Mieda’s Lefschetz theorem then yields the formula (Shen, 2012).
A global proof of integral freeness shows that, for 52, the cohomology groups
53
are torsion-free for 54. The proof uses Kottwitz–Harris–Taylor Shimura varieties, Newton stratifications, Harris–Taylor local systems, the two integral perverse 55-structures 56 and 57, and mirabolic derivatives. The result gives torsion-free 58-lattices compatible with the 59 and 60 actions (Boyer, 2013, Boyer, 2016).
More recent work compares compactly supported de Rham cohomology of Lubin–Tate and Drinfeld towers. At infinite level, the compactly supported de Rham cohomology groups are isomorphic as representations of
61
where 62 has invariant 63 (Su, 12 Mar 2025).
6. Perfectoid quotients and representation-theoretic geometry
The infinite-level Lubin–Tate space admits important quotients by subgroups of 64. For height two over 65, the quotient by the upper triangular Borel
66
exists as a perfectoid space. The construction first establishes perfectoidness of
67
and then uses the Gross–Hopkins period map and induced quotient constructions to obtain
68
The quotient is quasi-compact and partially proper, and the induced Gross–Hopkins map has affinoid perfectoid fibers (Ludwig, 2016).
The quotient by the maximal parabolic
69
also exists as a perfectoid space for arbitrary finite 70 and arbitrary 71. It has dimension 72, the Gross–Hopkins map admits local sections, and the projection
73
is a 74-torsor. The construction uses anticanonical towers, canonical subgroups, Harris–Taylor Shimura varieties, and Hodge–Tate period maps (Johansson et al., 2018).
This perfectoid quotient has consequences for Scholze’s mod-75 cohomological functor. If 76 is induced from a parabolic contained in 77, then
78
For 79, this gives vanishing in degree 80 for principal series and twists of the Steinberg representation. The result is obtained by replacing the equivariant sheaf attached to a parabolically induced representation with a local system on the perfectoid quotient.
The perfectoidness result is essentially optimal. For other maximal parabolics 81 with 82, the corresponding quotient is not perfectoid because it contains a genuine projective-space direction
83
Thus
84
7. Related theories and arithmetic applications
The term “Lubin–Tate theory” also appears in chromatic homotopy theory. There, a one-dimensional smooth formal group of height 85 determines Morava 86-theory with coefficient ring
87
and Morava 88-theory is obtained by reduction. The Lubin–Tate deformation ring supplies the coefficient ring and formal group law, while power operations and Hecke Lie algebras are used to compute the 89-theory of configuration spaces. These configuration spaces are not Lubin–Tate moduli spaces; rather, Lubin–Tate theory supplies the chromatic cohomology theory applied to them (Brantner et al., 2019).
Lubin–Tate spaces also support intersection theory. For a height-90 formal module, special cycles associated with quadratic endomorphism fields are middle-dimensional. Their intersection multiplicities are governed by invariant polynomials and resultants. If 91 is the resultant of the corresponding invariant polynomials, the large-level intersection formula is
92
At finite level, the intersection is expressed through an integral of 93 over a principal congruence subgroup. These formulas lead to biquadratic fundamental lemmas relating orbital integrals and derivatives of orbital integrals to intersection multiplicities (Howard et al., 2020).
The same intersection numbers admit a non-archimedean analytic interpretation through Green 94-forms. If a special cycle is a complete intersection defined by a regular sequence and 95 is its valuation-theoretic distance function, then
96
is a Green 97-form, satisfying
98
For Lubin–Tate special cycles, integrating this form over the complementary cycle gives the formal intersection length and ultimately the inverse absolute value of a resultant (Mihatsch, 2021).
Finally, Lubin–Tate formal groups govern generalized Coleman power series. Given two Lubin–Tate formal group laws 99 and 00, a power series 01 interpolating an 02-norm-compatible sequence in the 03-Lubin–Tate tower satisfies
04
Applying the formal logarithm of 05 converts this nonlinear compatibility equation into an eigenspace equation for Coleman’s trace operator: 06 Away from the exceptional value
07
the generalized Coleman series are controlled by trace-zero or trace-eigenvector spaces (DiCapua, 2024).
The Lubin–Tate space therefore links deformation theory, rigid and perfectoid geometry, non-archimedean intersection theory, locally analytic representation theory, local Langlands correspondences, 08-modules, and chromatic homotopy theory. Its defining moduli problem is elementary in formulation—deformations of a one-dimensional formal module—but its tower carries the geometric and cohomological structures through which these apparently distinct theories interact.