Morava Stabilizer Groups

• Morava stabilizer groups are automorphism groups of height‑n formal group laws in characteristic p, central to organizing the n‑th layer of stable homotopy theory.
• They act on Lubin–Tate deformation spaces and Morava E‑theory, enabling explicit computations in Adams–Novikov and homotopy fixed point spectral sequences.
• Classical and extended versions reveal intricate p‑adic structures and finite subgroup classifications that are pivotal for understanding K(n)-local phenomena.

Morava stabilizer groups are the automorphism groups attached to height $n$ formal group laws in characteristic $p$, most canonically to the Honda formal group law. In chromatic homotopy theory they organize the height-$n$ layer of stable homotopy, act on Lubin–Tate deformation spaces and on Morava $E$-theory, and supply the continuous cohomology groups that appear in descent, Adams–Novikov, and homotopy fixed point spectral sequences computing $K(n)$-local phenomena. In standard notation one passes from a stabilizer group $S_n$ to an extended group $$G_n = S_n \rtimes \operatorname{Gal}(\mathbb{F}_{p^n}/\mathbb{F}_p)$$, and the Devinatz–Hopkins equivalence $E_n^{hG_n} \simeq L_{K(n)}S^0$ makes their cohomology a primary invariant of the $K(n)$-local sphere (Henn, 2017, Barthel et al., 2021).

1. Definitions, conventions, and algebraic models

Fix a prime $p$ and a positive integer $p$0. Over $p$1, every height $p$2 one-dimensional commutative formal group law is isomorphic to the Honda formal group law $p$3, characterized by

$p$4

For the canonical choice over $p$5, the classical Morava stabilizer group is

$p$6

and it is identified with the unit group of the maximal order $p$7 in the central division algebra $p$8 of Hasse invariant $p$9 (Bujard, 2012).

A standard explicit presentation is

$n$0

where $n$1 is the Witt ring and $n$2 is Frobenius. Thus

$n$3

This makes the $n$4-adic Lie structure transparent: $n$5 is a compact profinite $n$6-adic analytic group of dimension $n$7 (Henn, 2017).

A notational subtlety runs through the literature. Some sources reserve “strict Morava stabilizer group” for automorphisms with linear term $n$8, often denoted $n$9 or $E$0, and use “full” for the larger group scheme $E$1. Other sources write $E$2 for the full unit group $E$3 and $E$4 for the extended semidirect product with Galois. The convention-dependence is itself standard and should be checked in any given paper (Kang et al., 2024).

Term	Description	Typical notation
Strict stabilizer	Automorphisms with linear term $E$5	$E$6, $E$7
Morava stabilizer group	$E$8, often $E$9	$K(n)$0, $K(n)$1
Extended stabilizer group	Semidirect product with Galois	$K(n)$2, $K(n)$3

The extended group is

$K(n)$4

and for the Honda formal group this semidirect product is split (Barthel et al., 2021). The division-algebra model also yields congruence filtrations such as $K(n)$5, whose associated graded pieces are identified with copies of $K(n)$6, and this filtration is the basic input for Lie-theoretic and cohomological analyses (Henn, 2017).

2. Lubin–Tate deformation theory and the stabilizer action

For a height $K(n)$7 formal group law $K(n)$8 over a perfect field $K(n)$9 of characteristic $S_n$0, Lubin–Tate theory produces a complete local deformation ring

$S_n$1

and a canonical even-periodic $S_n$2-ring spectrum $S_n$3 with

$S_n$4

For the Honda height $S_n$5 formal group over $S_n$6, this is Morava $S_n$7-theory $S_n$8, and the Goerss–Hopkins–Miller theorem lifts the action of $S_n$9 on the deformation problem to an action by $$G_n = S_n \rtimes \operatorname{Gal}(\mathbb{F}_{p^n}/\mathbb{F}_p)$$0-ring automorphisms on $$G_n = S_n \rtimes \operatorname{Gal}(\mathbb{F}_{p^n}/\mathbb{F}_p)$$1 (Barthel et al., 2021).

This action is the algebraic basis for the chromatic fixed-point formalism. At the level of spectra,

$$G_n = S_n \rtimes \operatorname{Gal}(\mathbb{F}_{p^n}/\mathbb{F}_p)$$2

so the $$G_n = S_n \rtimes \operatorname{Gal}(\mathbb{F}_{p^n}/\mathbb{F}_p)$$3-local sphere is recovered as homotopy fixed points of the extended stabilizer action (Henn, 2017). At the level of cooperations, Strickland’s identification

$$G_n = S_n \rtimes \operatorname{Gal}(\mathbb{F}_{p^n}/\mathbb{F}_p)$$4

shows that $$G_n = S_n \rtimes \operatorname{Gal}(\mathbb{F}_{p^n}/\mathbb{F}_p)$$5-comodules are canonically equivalent to graded $$G_n = S_n \rtimes \operatorname{Gal}(\mathbb{F}_{p^n}/\mathbb{F}_p)$$6-modules with continuous $$G_n = S_n \rtimes \operatorname{Gal}(\mathbb{F}_{p^n}/\mathbb{F}_p)$$7-action, so stabilizer representations and Hopf algebroid comodules are two models for the same chromatic algebra (Barthel et al., 2021).

Recent work has made the action increasingly explicit. At height $$G_n = S_n \rtimes \operatorname{Gal}(\mathbb{F}_{p^n}/\mathbb{F}_p)$$8, the action of an element $$G_n = S_n \rtimes \operatorname{Gal}(\mathbb{F}_{p^n}/\mathbb{F}_p)$$9 on the Lubin–Tate coordinate $E_n^{hG_n} \simeq L_{K(n)}S^0$0 is given by a closed combinatorial formula

$E_n^{hG_n} \simeq L_{K(n)}S^0$1

where the sum runs over labelled ordered rooted trees; the same paper also gives an explicit closed formula for the action on the periodicity class $E_n^{hG_n} \simeq L_{K(n)}S^0$2 (Salch, 6 Mar 2025). For general height $E_n^{hG_n} \simeq L_{K(n)}S^0$3, recursive approximations of the stabilizer action on $E_n^{hG_n} \simeq L_{K(n)}S^0$4 have been derived, and at height $E_n^{hG_n} \simeq L_{K(n)}S^0$5 these recursions are carried out explicitly, yielding a concrete formula for the action on $E_n^{hG_n} \simeq L_{K(n)}S^0$6 modulo $E_n^{hG_n} \simeq L_{K(n)}S^0$7 in Honda coordinates (Davis, 2022). These calculations convert the abstract $E_n^{hG_n} \simeq L_{K(n)}S^0$8-action into explicit $E_n^{hG_n} \simeq L_{K(n)}S^0$9-adic power series.

3. Continuous cohomology and spectral sequence control

The continuous cohomology of Morava stabilizer groups is the standard algebraic approximation to $K(n)$0-local homotopy. For Morava $K(n)$1-theory one has the homotopy fixed point spectral sequence

$K(n)$2

and more generally the same formalism computes $K(n)$3 for closed subgroups $K(n)$4 (Henn, 2017).

Change-of-rings results identify these cohomology groups with Ext-groups in Hopf algebroid comodule categories. For finite-dimensional $K(n)$5-comodules $K(n)$6,

$K(n)$7

and in particular

$K(n)$8

The same paper identifies derived $K(n)$9-adic completion in the $p$0-comodule category with stabilizer cohomology and constructs a spectral sequence

$p$1

thereby relating uncompleted $p$2-homology of the $p$3-local sphere to continuous cohomology with coefficients in uncompleted cooperations (Barthel et al., 2021).

Cohomological dimension enters in a precise way. The group $p$4 has $p$5-adic analytic dimension $p$6, and when $p$7, the strict subgroup $p$8 is torsionfree and becomes a Poincaré duality group of dimension $p$9 (Henn, 2017). Correspondingly, if $p$00, then for finite-dimensional $p$01-comodules $p$02,

$p$03

and the unstable analog over the endomorphism monoid $p$04 satisfies

$p$05

so both stable and unstable Adams-type constructions inherit horizontal vanishing lines from stabilizer-group cohomology (Barthel et al., 2021, Thompson, 2014).

The filtration by powers of $p$06 in the Lubin–Tate ring supplies an additional bridge between deformation theory and stabilizer cohomology. At primes satisfying

$p$07

the $p$08-based Adams spectral sequence for the $p$09-local sphere acquires an extra grading and becomes isomorphic to the filtration-by-powers spectral sequence associated to

$p$10

whose $p$11-term, in the Honda case, is described entirely in terms of continuous $p$12-cohomology of the associated graded pieces $p$13 (Barthel et al., 2021).

4. Finite subgroups and arithmetic dependence

Finite subgroups of Morava stabilizer groups are highly structured and, in the extended case, arithmetically sensitive. For the classical group $p$14, Bujard gives a complete classification up to conjugacy for all $p$15 and $p$16 (Bujard, 2012).

For odd $p$17, write

$p$18

If $p$19 ($p$20), every finite subgroup of $p$21 has order prime to $p$22, and there is a unique conjugacy class of maximal finite subgroups, represented by

$p$23

If $p$24, there are exactly $p$25 conjugacy classes of maximal finite subgroups, represented by

$p$26

where $p$27 (Bujard, 2012).

For $p$28, write

$p$29

Then $p$30 has exactly $p$31 conjugacy classes of maximal finite subgroups. If $p$32, they are all cyclic of the form

$p$33

If $p$34, there is an additional nonabelian class

$p$35

and quaternionic $p$36-Sylow behavior occurs precisely when $p$37 (Bujard, 2012).

The extended groups $p$38 introduce an extra parameter $p$39, arising from the minimal polynomial $p$40 of Frobenius. The split exact sequence

$p$41

persists, but the existence and number of conjugacy classes of finite extensions by the Galois group depend on $p$42 (Bujard, 2012). This dependence is concrete already at height $p$43. For $p$44, $p$45, the maximal finite subgroups of $p$46 are

$p$47

and

$p$48

For $p$49, $p$50, the list varies with $p$51 and can include $p$52, $p$53, $p$54, or $p$55, together with abelian groups such as $p$56 and $p$57 (Bujard, 2012).

These finite subgroups are not auxiliary curiosities. They are the isotropy groups that appear in explicit $p$58-local resolutions and in the homotopy fixed point spectra $p$59 used to approximate $p$60. At height $p$61, for example, groups such as $p$62 and $p$63 enter directly into duality and permutation resolutions (Henn, 2017).

5. Computations at low height and at large primes

Low-height calculations reveal both the tractability and the complexity of stabilizer cohomology. At height $p$64, the extended group is

$p$65

and the derived completion spectral sequence for Morava $p$66-homology identifies

$p$67

which matches the expected height-$p$68 chromatic splitting pattern (Barthel et al., 2021).

At $p$69, the continuous cohomology $p$70 has been computed for

$p$71

using the Algebraic Duality Spectral Sequence based on a resolution of $p$72 by modules induced from the finite subgroups $p$73, $p$74, and $p$75. In the same range the $p$76-differentials in the homotopy fixed point spectral sequence for

$p$77

are determined explicitly (Beaudry et al., 2022). This places the low-stem $p$78-local sphere at the prime $p$79 under unusually fine algebraic control.

At large primes, the structure becomes unexpectedly uniform. An announcement from 2016 computes the mod-$p$80 cohomology of the height $p$81 strict Morava stabilizer group at primes $p$82, obtaining total rank

$p$83

and formulates a recursive conjecture for the ranks of large-primary cohomology at all heights (Salch, 2016). A more recent result proves that for every height $p$84 and all sufficiently large primes,

$p$85

is isomorphic, as a graded $p$86-vector space, to

$p$87

hence to an exterior algebra on $p$88 generators in degrees $p$89 (Kang et al., 2024). More precisely, the theorem identifies the stabilizer cohomology with the associated graded of a finite filtration on $p$90, and it is proved by deforming Ravenel’s Lie algebra model $p$91 to $p$92, then comparing singular and smooth fibers through a derived invariant cycles theorem (Kang et al., 2024).

This large-prime behavior does not trivialize the subject. It isolates the degree-zero slice of the periodic cohomology

$p$93

and thereby gives a particularly clean part of the algebra controlling $p$94-local descent. The result suggests a deep geometric rigidity in stabilizer cohomology once $p$95 is sufficiently large relative to $p$96, but the small-prime regime remains substantially more delicate.

6. Variants, refinements, and generalized symmetry pictures

The classical stabilizer group is not always the entire symmetry object visible in refined settings. In unstable Morava $p$97-theory, the relevant algebra is governed not only by the group of units $p$98 but by the profinite monoid

$p$99

of endomorphisms of the Honda formal group law, with

$n$00

Unstable change-of-rings identifies Ext-groups for unstable comodules with continuous Ext over $n$01, and the passage from $n$02 to $n$03 is what produces the cohomological bound $n$04 in the unstable vanishing theorem (Thompson, 2014).

A different enlargement appears in motivic homotopy theory. Motivic Morava $n$05-theories admit unique $n$06-structures refining their bigraded commutative coefficient rings, but the resulting $n$07-automorphism groups can be strictly larger than the image of the classical Morava stabilizer group. The automorphism space is discrete and identified algebraically with automorphisms of $n$08 as a commutative algebra object in comodules over the motivic Hopf algebroid, and the additional automorphisms are described as “exotic” because they do not arise from automorphisms of the original height-$n$09 formal group over the residue field (Mazel-Gee, 2019).

These refinements clarify a persistent misconception. Morava stabilizer groups are fundamental, but they are not the only symmetry objects that can appear once one changes categorical context. In stable $n$10-local topology, $n$11 is the central actor. In unstable algebra one must enlarge to $n$12. In motivic chromatic homotopy the classical stabilizer group injects into a larger discrete automorphism group. The common thread is that automorphisms of a height-$n$13 formal group law remain the organizing symmetry, but the exact symmetry object depends on whether the setting is stable, unstable, or motivic (Thompson, 2014, Mazel-Gee, 2019).

Morava stabilizer groups therefore sit at the intersection of formal-group geometry, $n$14-adic Lie theory, and chromatic descent. Their algebraic model as unit groups in maximal orders, their action on Lubin–Tate deformation rings and Morava $n$15-theory, their continuous cohomology, and their finite subgroup structure are all facets of a single mechanism: the control of the height-$n$16 layer of stable homotopy theory by the symmetries of the Honda formal group law.