Morava Stabilizer Group

• Morava stabilizer groups are automorphism groups of formal groups of prime characteristic, providing insight into formal group laws, division algebras, and profinite structures.
• They act on Lubin-Tate deformation rings and control cohomology computations, crucial in Morava E-theory and K(n)-local homotopy theory.
• The groups' applications are extensive, including stable and unstable homotopy theory, and motivic Morava E-theory.
• Applications of this group include defining Lubin-Tate spectra and using E(n)-theory to understand stable homotopy theory, and motivic homotopy theory, applications include defining Lubin-Tate spectra and using homogenity in algebro-geometric motivic homotopy theory.

The Morava stabilizer group is the profinite group of automorphisms of a one-dimensional formal group law of finite height $n$ over a field of characteristic $p$. For the height-$n$ Honda formal group $\Gamma_n$ over $\mathbb F_{p^n}$, it is equivalently the unit group of the maximal order in the central division algebra over $\mathbb Q_p$ of invariant $1/n$. Morava stabilizer groups govern the deformation theory of formal groups and provide the continuous symmetry groups whose cohomology controls Morava $E$-theory descent and $K(n)$-local homotopy theory (Henn, 2017).

1. Formal-group-theoretic definition

Let $\Gamma_n$ be the height-$p$0 Honda formal group law, characterized by

$p$1

The height-$p$2 Morava stabilizer group is the automorphism group

$p$3

Depending on convention, the term “Morava stabilizer group” may refer either to the full group of automorphisms or to its strict subgroup. The strict Morava stabilizer group consists of automorphisms whose linear coefficient is $p$4:

$p$5

The full group admits a reduction map to the multiplicative group of the residue field,

$p$6

whose kernel is the strict subgroup. Thus there is a split exact sequence

$p$7

The strict subgroup is pro-$p$8, whereas $p$9 is an extension of it by the prime-to-$n$0 group $n$1. The distinction between full and strict stabilizers is essential in cohomological calculations: many Ravenel–May computations concern the strict stabilizer group scheme, while Morava $n$2-theory descent generally uses the full or extended stabilizer group.

The stabilizer group is also naturally a group scheme. Its strict stabilizer algebra is

$n$3

and the continuous cohomology of the strict stabilizer group scheme is represented algebraically by

$n$4

After extension of scalars to $n$5, this group scheme corresponds to the continuous dual of the group algebra of an actual profinite pro-$n$6 group (Salch, 2023).

A related but distinct object is the endomorphism monoid $n$7 of $n$8. Its units form $n$9, but it also contains noninvertible endomorphisms. This distinction is fundamental in unstable Morava theory: stable calculations use invertible automorphisms, whereas unstable change-of-rings results require the full profinite monoid (Thompson, 2014).

2. Division-algebra and profinite structure

The endomorphism ring of the height-$\Gamma_n$0 Honda formal group is the maximal order

$\Gamma_n$1

where $\Gamma_n$2 is the Frobenius lift on the Witt vectors. Its group of units is the Morava stabilizer group:

$\Gamma_n$3

After inverting $\Gamma_n$4, one obtains the central division algebra

$\Gamma_n$5

which has dimension $\Gamma_n$6 over $\Gamma_n$7 and Hasse invariant $\Gamma_n$8. The valuation is normalized by

$\Gamma_n$9

Every element of $\mathbb F_{p^n}$0 has a unique expression

$\mathbb F_{p^n}$1

The stabilizer group has a natural filtration

$\mathbb F_{p^n}$2

and

$\mathbb F_{p^n}$3

The successive quotients are

$\mathbb F_{p^n}$4

under the correspondence

$\mathbb F_{p^n}$5

Consequently, $\mathbb F_{p^n}$6 is a profinite compact $\mathbb F_{p^n}$7-adic analytic group of analytic dimension $\mathbb F_{p^n}$8. Its strict subgroup is a pro-$\mathbb F_{p^n}$9 group, and sufficiently deep filtration subgroups behave cohomologically like $\mathbb Q_p$0.

For a formal group law $\mathbb Q_p$1 defined over $\mathbb Q_p$2, the Frobenius endomorphism may satisfy

$\mathbb Q_p$3

The corresponding extended group can be written

$\mathbb Q_p$4

Although the abstract semidirect-product shape is

$\mathbb Q_p$5

the parameter $\mathbb Q_p$6 affects which finite subgroups occur in the extended group. Thus the extended stabilizer group depends not only on $\mathbb Q_p$7 and $\mathbb Q_p$8, but also on the formal group law and its Frobenius parameter (Bujard, 2012).

The reduced norm gives a homomorphism

$\mathbb Q_p$9

For $1/n$0 and $1/n$1, one obtains a decomposition

$1/n$2

where $1/n$3 is the reduced-norm-one subgroup. The subgroup $1/n$4 has $1/n$5-adic Lie dimension $1/n$6, while $1/n$7 has dimension $1/n$8.

3. Extended groups, finite subgroups, and formal modules

The residue field $1/n$9 has Galois group

$E$0

The extended Morava stabilizer group is

$E$1

The subgroup $E$2 records automorphisms of the formal group over $E$3, whereas $E$4 also records arithmetic Galois symmetries. Morava $E$5-theory naturally carries an action of $E$6, not merely of $$S_n.</p> <p>Finite subgroup theory is controlled by the division-algebra description. Every finite subgroup of$$E$7 lies in $E$8, and every finite $E$9-subgroup lies in the strict pro-$K(n)$0 subgroup. For odd $K(n)$1, finite $K(n)$2-subgroups are cyclic. A cyclic subgroup of order $K(n)$3 exists precisely when

$K(n)$4

For odd primes, maximal finite subgroups of $K(n)$5 are represented by

$K(n)$6

when $K(n)$7, and by

$K(n)$8

when

$K(n)$9

with $\Gamma_n$0 and

$\Gamma_n$1

for $\Gamma_n$2.

The prime $\Gamma_n$3 is exceptional. Quaternionic finite subgroups can occur, and

$\Gamma_n$4

When $\Gamma_n$5 with $\Gamma_n$6 odd, a maximal finite subgroup with quaternionic $\Gamma_n$7-Sylow is

$\Gamma_n$8

where

$\Gamma_n$9

Finite subgroups of $p$00 are classified up to conjugacy by their abstract isomorphism type. The classification of finite subgroups of $p$01 is subtler: a finite subgroup of the extended group is an extension of a finite subgroup of $p$02 by a subgroup of the Galois group, but not every abstract extension exists. The obstructions are measured by $p$03, while conjugacy classes of extensions are controlled by $p$04.

At height $p$05, explicit classifications depend on $p$06 and $p$07. For $p$08, the maximal finite subgroups of $p$09 include $p$10 and either $p$11 or $p$12, according to $p$13. At $p$14, the maximal finite subgroups vary with $p$15 and include groups such as $p$16, $p$17, $p$18, $p$19, $p$20, and $p$21 (Bujard, 2012).

Formal $p$22-modules provide important closed subgroups of Morava stabilizer groups. If $p$23 is the ring of integers in a degree-$p$24 extension of $p$25, an $p$26-height $p$27 formal $p$28-module has underlying $p$29-height $p$30. Its automorphism group preserving the $p$31-action is the centralizer of the $p$32-action inside the height-$p$33 Morava stabilizer group:

$p$34

These automorphism groups are closed in the profinite topology. The closedness follows by expressing the group as an intersection of finite-index subgroups of automorphisms commuting with the $p$35-action on finite buds. This framework produces restriction maps

$p$36

which are particularly explicit for quadratic extensions and height $p$37 (Salch, 2010).

4. Actions on Lubin–Tate deformation rings

The Morava stabilizer group acts continuously on the Lubin–Tate deformation ring

$p$38

The universal deformation has $p$39-series

$p$40

An element $p$41 transports the universal deformation to another deformation and therefore induces a continuous ring automorphism

$p$42

The action can be computed by choosing a lift $p$43 and comparing the transported formal group law with the universal one through a strict $p$44-typical isomorphism

$p$45

The fundamental identity is

$p$46

At general height, recursive formulas determine the coefficients of the action to specified truncation levels. In particular, after quotienting by

$p$47

the leading deformation parameter satisfies

$p$48

The recursive computation determines $p$49 only modulo finite powers of $p$50, with accuracy governed by

$p$51

At height $p$52 and $p$53, the action has been calculated explicitly modulo

$p$54

For height $p$55, an exact all-primes formula is available. Write an element of the stabilizer group as

$p$56

Then

$p$57

where $p$58 is the set of finite ordered rooted $p$59-labelled trees. The coefficient of $p$60 is therefore

$p$61

The tree formula reorganizes the recursive action into a finite combinatorial sum. The multiplicative subgroup $p$62 acts linearly only in degrees

$p$63

Writing

$p$64

the beginning of the action for $p$65 is

$p$66

The action on the periodicity element $p$67 is likewise explicit and has the form

$p$68

These formulas supply coefficient-module data for stabilizer cohomology and homotopy fixed-point spectral sequences (Salch, 6 Mar 2025).

5. Cohomology and computational methods

For a profinite group $p$69, continuous cohomology is

$p$70

The cohomological dimension of a torsion-free open subgroup is $p$71. If $p$72 contains $p$73-torsion, its ordinary mod-$p$74 cohomology may be nonzero in arbitrarily high degrees, although its virtual mod-$p$75 cohomological dimension remains $p$76.

Ravenel’s filtration produces a spectral sequence whose $p$77-term is controlled by a solvable Lie algebra. For sufficiently large primes, the relevant Lie algebra is $p$78, of dimension $p$79, and

$p$80

At fixed height $p$81, Ravenel’s May spectral sequence collapses for all sufficiently large primes. The bound is existential rather than explicit. Under this hypothesis,

$p$82

and the right-hand side can be computed by the finite-dimensional Chevalley–Eilenberg complex. Its underlying exterior complex has dimension $p$83 (Salch, 2023).

A further large-prime calculation identifies the trivial-coefficient cohomology of the extended group. For $p$84,

$p$85

is isomorphic to the associated graded algebra of a finite filtration on

$p$86

As graded vector spaces, this is an exterior algebra on $p$87 generators in degrees

$p$88

Thus

$p$89

as graded $p$90-vector spaces, while the multiplicative statement is naturally formulated using the associated graded algebra (Kang et al., 2024).

Known total dimensions of strict stabilizer cohomology at large primes include

$p$91

At height $p$92 and $p$93, the strict stabilizer cohomology has total rank $p$94 and cohomological dimension $p$95. At height $p$96 and $p$97, the strict stabilizer cohomology has cohomological dimension $p$98 and total rank $p$99, with Poincaré coefficients

$n$00

At height $n$01, the stabilizer algebra is used to detect products of Greek-letter elements in stable homotopy groups. The relevant images include

$n$02

and

$n$03

For $n$04 and $n$05, the products

$n$06

are detected nontrivially in stabilizer-algebra cohomology (Kato et al., 2012).

At height $n$07 and prime $n$08, the algebraic duality resolution replaces the cohomology of the large group by a four-term complex involving

$n$09

For $n$10, it computes

$n$11

and determines the $n$12-differentials in the homotopy fixed-point spectral sequence for the $n$13-local sphere (Beaudry et al., 2022).

6. Morava $n$14-theory, descent, and chromatic significance

The Lubin–Tate spectrum $n$15 has coefficient ring

$n$16

The extended stabilizer group $n$17 acts continuously on the universal deformation and on $n$18 through maps of commutative ring spectra. The action is refined to an $n$19-action by Goerss–Hopkins–Miller theory.

For a spectrum $n$20, the point-set Morava module is

$n$21

with diagonal $n$22-action. The central descent equivalence is

$n$23

for every $n$24-cofibrant spectrum $X. This extends the finite-spectrum result to arbitrary spectra up to cofibrant replacement (Davis et al., 2011).

The associated descent spectral sequence has

$n$25

For the sphere,

$n$26

Thus continuous stabilizer-group cohomology is the algebraic input for the homotopy fixed-point spectral sequence computing the $n$27-local sphere and other $n$28-local spectra.

At height $n$29, finite subgroups provide computable building blocks. The groups

$n$30

act on $n$31 at the prime $n$32. Their homotopy fixed-point spectral sequences are related by Galois descent and invariant theory. The $n$33 calculation is closely connected with $n$34-local $n$35, while the finite-subgroup spectra contribute to resolutions of the $n$36-local sphere (Duan et al., 2022).

The Morava stabilizer group also enters unstable homotopy theory. The unstable change-of-rings theorem identifies unstable Ext-groups with continuous cohomology of the endomorphism monoid $n$37, not merely $n$38. When $n$39, the stabilizer contribution has cohomological dimension $n$40, while the noninvertible endomorphisms add at most one degree:

$n$41

This yields the unstable vanishing theorem

$n$42

The distinction between $n$43 and $n$44 therefore measures the additional unstable information absent from stable Morava theory (Thompson, 2014).

Finally, motivic Morava $n$45-theories exhibit a further enlargement of the automorphism problem. The classical stabilizer group acts on motivic Morava $n$46-theory, but the full $n$47-automorphism group is identified with the automorphism group of the corresponding motivic comodule-algebra object. This group can contain exotic $n$48-automorphisms not induced by the classical stabilizer group (Mazel-Gee, 2019).

The Morava stabilizer group is consequently simultaneously an automorphism group of a formal group, a unit group in a $n$49-adic division algebra, a compact $n$50-adic analytic group, a symmetry group of Lubin–Tate deformation theory, and the descent group whose continuous cohomology controls $n$51-local homotopy theory. Its finite subgroups, deformation-ring actions, Lie-algebra models, and cohomology form a central computational infrastructure for chromatic stable homotopy theory.