Morava stabilizer group

Morava stabilizer group
Name	Morava stabilizer group
Type	Profinite group

Morava stabilizer group is a profinite group that arises in the study of formal group laws and local fields, playing a central role in Lubin–Tate formal group laws, Morava E-theory, and chromatic homotopy theory. It connects deep topics such as local class field theory, endomorphism rings of formal groups, and the Adams–Novikov spectral sequence, interfacing with objects like Morava K-theory, Johnson–Wilson theory, and the Brown–Peterson spectrum. Its structure informs computations in the stable homotopy groups of spheres and relates to phenomena studied in algebraic topology, number theory, and arithmetic geometry.

Definition and construction

The Morava stabilizer group is defined as the automorphism group of a one-dimensional height-n formal group law over an algebraically closed field of characteristic p, associated to a universal deformation given by Lubin–Tate formal group laws and framed by Dieudonné modules. Its construction uses the Witt vectors of a perfect field, the universal deformation ring of the formal group, and the endomorphism algebra of a formal group of height n, which often identifies with a maximal order in a central division algebra over the p-adic numbers Q_p or a finite extension thereof. Constructions employ techniques from formal moduli problems and the Grothendieck–Messing theory of deformation, invoking objects like the Hasse invariant, Artin–Schreier theory, and Serre–Tate theory.

Algebraic structure and properties

As a profinite group, the stabilizer group is isomorphic to the group of units in the maximal order of a division algebra D of invariant 1/n over a finite extension of Q_p; this identifies its p-adic analytic structure with that of a p-adic Lie group and makes it amenable to tools from Iwasawa theory and Sen theory. It contains a pro-p Sylow subgroup that is a torsion-free p-adic analytic group for primes p large relative to the height n, while torsion phenomena mirror the presence of finite subgroups classified by local field extensions such as cyclotomic extensions and unramified extensions. The group's center, filtration by congruence subgroups, and associated graded Lie algebra relate to the Cartan–Dieudonné theorem analogues in noncommutative settings and to Maltsev completions in group theory.

Action on formal group laws and Lubin–Tate theory

The stabilizer group acts naturally on the universal deformation space of a height-n formal group law constructed in Lubin–Tate theory, producing a continuous action on the coordinate ring of the deformation, which is isomorphic to a power series ring over Witt vectors. This action intertwines with the action of the Galois group of the maximal unramified extension of Q_p and with the automorphism groups considered in Serre–Tate theory for deformations of abelian varieties with height-n formal groups, linking to moduli problems studied by Drinfeld and results akin to the Gross–Hopkins duality. The resulting group action yields equivariant structures on spectra like Morava E-theory and informs descent spectral sequences such as the homotopy fixed point spectral sequence.

Cohomology and role in chromatic homotopy theory

Cohomology of the stabilizer group, particularly the continuous cohomology H^*(G, E_*), feeds into the Adams–Novikov spectral sequence via the computation of the E_2-term for the K(n)-local category, connecting to Brown–Peterson cohomology and to localizations at Morava K-theories. Techniques from continuous cohomology, Lubin–Tate cohomology computations, and spectral sequence methods of Hopkins, Miller, Ravenel, and Henn yield structural results such as finite generation and periodicity properties, and link to conjectures like the Chromatic Convergence Theorem and the Nilpotence and Periodicity Theorems of Devinatz–Hopkins–Smith. Cohomological calculations leverage tools from group cohomology, Massey products, and the machinery behind the Goerss–Hopkins–Miller theorem.

Finite subgroups and classification

Finite subgroups of the stabilizer group correspond to finite subgroups of the unit group of a maximal order in D and are classified by local extension theory, including cyclic, dihedral, quaternionic, and other nonabelian extensions arising from division algebra multiplicative structure. Classification uses results from local class field theory, Skolem–Noether theorem, and the theory of maximal orders and hereditary orders in central simple algebras, with connections to explicit examples studied by Serre, Reiner, and Swan. The presence or absence of certain finite subgroups depends on congruence conditions involving p and n and reflects obstructions studied in group extension theory and the Schur–Zassenhaus theorem context for profinite groups.

Applications in stable homotopy theory and Morava E-theory

In stable homotopy theory, actions of the stabilizer group on Morava E-theory spectra produce equivariant and homotopy fixed point spectra whose homotopy groups calculate localized phenomena in the stable homotopy groups of spheres and in module spectra over E-infinity ring spectra such as the Johnson–Wilson spectrum and the Brown–Peterson spectrum. Applications include computations of periodic families like the Greek letter families, analyses of the Picard group of K(n)-local categories, and constructions used in the proof of the nilpotence theorem and in the study of exotic spectra and topological modular forms. Interactions with Hecke operators, automorphic forms, and equivariant methods provide bridges to arithmetic geometry topics considered by Deligne, Drinfeld, Serre, and Faltings.

Category:Profinite groups