---
title: Morava Stabilizer Groups
url: https://www.emergentmind.com/topics/morava-stabilizer-groups
type: topic
---

# Morava Stabilizer Groups

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 [1702.05033, 2111.06379].

## 1. Definitions, conventions, and algebraic models

Fix a prime \(p\) and a positive integer \(n\). Over \(\overline{\mathbb{F}}_p\), every height \(n\) one-dimensional commutative formal group law is isomorphic to the Honda formal group law \(F_n\), characterized by
\[
[p]_{F_n}(X)=X^{p^n}.
\]
For the canonical choice over \(\mathbb{F}_{p^n}\), the classical Morava stabilizer group is
\[
S_n=\operatorname{Aut}_{\mathbb{F}_{p^n}}(F_n),
\]
and it is identified with the unit group of the maximal order \(\mathcal{O}_n\) in the central division algebra \(D_n=D(\mathbb{Q}_p,1/n)\) of Hasse invariant \(1/n\) [1206.1951].

A standard explicit presentation is
\[
\mathcal{O}_n \cong W(\mathbb{F}_{p^n})\langle S\rangle /(S^n-p,\; Sw=w^\sigma S),
\]
where \(W(\mathbb{F}_{p^n})\) is the Witt ring and \(\sigma\) is Frobenius. Thus
\[
S_n=\mathcal{O}_n^\times.
\]
This makes the \(p\)-adic Lie structure transparent: \(S_n\) is a compact profinite \(p\)-adic analytic group of dimension \(n^2\) [1702.05033].

A notational subtlety runs through the literature. Some sources reserve “strict Morava stabilizer group” for automorphisms with linear term \(1\), often denoted \(S_n^1\) or \(\operatorname{strictAut}(G_{1/n})\), and use “full” for the larger group scheme \(\operatorname{Aut}(G_{1/n})\). Other sources write \(S_n\) for the full unit group \(\mathcal{O}_n^\times\) and \(G_n\) for the extended semidirect product with Galois. The convention-dependence is itself standard and should be checked in any given paper [2410.24171].

| Term | Description | Typical notation |
|---|---|---|
| Strict stabilizer | Automorphisms with linear term \(1\) | \(S_n^1\), \(\operatorname{strictAut}(G_{1/n})\) |
| Morava stabilizer group | \(\operatorname{Aut}(F_n)\), often \(\mathcal{O}_n^\times\) | \(S_n\), \(\mathbb{S}_n\) |
| Extended stabilizer group | Semidirect product with Galois | \(G_n\), \(\mathbb{G}_n\) |

The extended group is
\[
\mathbb{G}_n \cong \mathbb{S}_n \rtimes \operatorname{Gal}(\mathbb{F}_{p^n}/\mathbb{F}_p),
\]
and for the Honda formal group this semidirect product is split [2111.06379]. The division-algebra model also yields congruence filtrations such as \(1+S^k\mathcal{O}_n\), whose associated graded pieces are identified with copies of \(\mathbb{F}_{p^n}\), and this filtration is the basic input for Lie-theoretic and cohomological analyses [1702.05033].

## 2. Lubin–Tate deformation theory and the stabilizer action

For a height \(n\) formal group law \(G\) over a perfect field \(\kappa\) of characteristic \(p\), Lubin–Tate theory produces a complete local deformation ring
\[
E_0 \simeq W(\kappa)\llbracket u_1,\dots,u_{n-1}\rrbracket,
\qquad
\mathfrak{m}=(p,u_1,\dots,u_{n-1}),
\]
and a canonical even-periodic \(E_\infty\)-ring spectrum \(E\) with
\[
E_* \simeq E_0[u^{\pm1}], \qquad |u|=2.
\]
For the Honda height \(n\) formal group over \(\mathbb{F}_{p^n}\), this is Morava \(E\)-theory \(E_n\), and the Goerss–Hopkins–Miller theorem lifts the action of \(\mathbb{G}_n\) on the deformation problem to an action by \(E_\infty\)-ring automorphisms on \(E_n\) [2111.06379].

This action is the algebraic basis for the chromatic fixed-point formalism. At the level of spectra,
\[
E_n^{hG_n}\simeq L_{K(n)}S^0,
\]
so the \(K(n)\)-local sphere is recovered as homotopy fixed points of the extended stabilizer action [1702.05033]. At the level of cooperations, Strickland’s identification
\[
(K_n)_*E_n \cong \operatorname{Map}_{\mathrm{cts}}(\mathbb{G}_n,(K_n)_*)
\]
shows that \(K_*E\)-comodules are canonically equivalent to graded \(\mathbb{F}_{p^n}[u^{\pm1}]\)-modules with continuous \(\mathbb{G}_n\)-action, so stabilizer representations and Hopf algebroid comodules are two models for the same chromatic algebra [2111.06379].

Recent work has made the action increasingly explicit. At height \(2\), the action of an element \(a_0+a_1S\in \operatorname{Aut}(G)\) on the Lubin–Tate coordinate \(u_1\) is given by a closed combinatorial formula
\[
(a_0+a_1S).u_1=\sum_{T\in q\mathrm{LT}}\operatorname{ind}_{a_0,a_1}(T)\,u_1^{\mathrm{wt}(T)},
\]
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 \(u\) [2503.04686]. For general height \(h\ge 2\), recursive approximations of the stabilizer action on \(W(\mathbb{F}_{p^h})[[u_1,\dots,u_{h-1}]]\) have been derived, and at height \(3\) these recursions are carried out explicitly, yielding a concrete formula for the action on \(u_2\) modulo \((p,u_1)\) in Honda coordinates [2201.08913]. These calculations convert the abstract \(E_\infty\)-action into explicit \(p\)-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)\)-local homotopy. For Morava \(E\)-theory one has the homotopy fixed point spectral sequence
\[
E_2^{s,t}\cong H^s_{\mathrm{cts}}(G_n,(E_n)_t)\Longrightarrow \pi_{t-s}L_{K(n)}S^0,
\]
and more generally the same formalism computes \(E_n^{hH}\) for closed subgroups \(H\subseteq G_n\) [1702.05033].

Change-of-rings results identify these cohomology groups with Ext-groups in Hopf algebroid comodule categories. For finite-dimensional \(K_*E\)-comodules \(M\),
\[
\operatorname{Ext}^{s,t}_{K_*E}(K_*,M)\cong H^s_{\mathrm{cts}}(\mathbb{G}_n;M),
\]
and in particular
\[
\operatorname{Ext}^{*}_{K_*E}(K_*,K_*)\cong H^*_{\mathrm{cts}}(\mathbb{G}_n;\mathbb{F}_{p^n}[u^{\pm1}]).
\]
The same paper identifies derived \(\mathfrak m\)-adic completion in the \(E_*E\)-comodule category with stabilizer cohomology and constructs a spectral sequence
\[
E_2^{s,t}\cong H^s_{\mathrm{cts}}(\mathbb{G}_n;E_tE)\Longrightarrow E_{t-s}(L_KS^0),
\]
thereby relating uncompleted \(E\)-homology of the \(K\)-local sphere to continuous cohomology with coefficients in uncompleted cooperations [2111.06379].

Cohomological dimension enters in a precise way. The group \(\mathbb{S}_n\) has \(p\)-adic analytic dimension \(n^2\), and when \((p-1)\nmid n\), the strict subgroup \(S_n^1\) is torsionfree and becomes a Poincaré duality group of dimension \(n^2\) [1702.05033]. Correspondingly, if \((p-1)\nmid n\), then for finite-dimensional \(K_*E\)-comodules \(M,N\),
\[
\operatorname{Ext}_{K_*E}^{s,t}(M,N)=0 \quad \text{for } s>n^2,
\]
and the unstable analog over the endomorphism monoid \(\operatorname{End}_n\) satisfies
\[
\operatorname{Ext}^s_{\operatorname{End}_n}(-,-)=0 \quad \text{for } s>n^2+1,
\]
so both stable and unstable Adams-type constructions inherit horizontal vanishing lines from stabilizer-group cohomology [2111.06379, 1409.3890].

The filtration by powers of \(\mathfrak m\) in the Lubin–Tate ring supplies an additional bridge between deformation theory and stabilizer cohomology. At primes satisfying
\[
2p-2>n^2+n+1,
\]
the \(K\)-based Adams spectral sequence for the \(K\)-local sphere acquires an extra grading and becomes isomorphic to the filtration-by-powers spectral sequence associated to
\[
\Ext_{E_*^\vee E}\!\Big(E_*,\bigoplus_k \mathfrak m^k/\mathfrak m^{k+1}\,E_*\Big),
\]
whose \(E_2\)-term, in the Honda case, is described entirely in terms of continuous \(\mathbb G_n\)-cohomology of the associated graded pieces \(\mathfrak m^k/\mathfrak m^{k+1}\) [2111.06379].

## 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 \(S_n=\mathcal O_n^\times\), Bujard gives a complete classification up to conjugacy for all \(n\) and \(p\) [1206.1951].

For odd \(p\), write
\[
n=(p-1)p^{k-1}m,\qquad (m,p)=1.
\]
If \(p-1\nmid n\) (\(k=0\)), every finite subgroup of \(S_n\) has order prime to \(p\), and there is a unique conjugacy class of maximal finite subgroups, represented by
\[
C_{p^n-1}\subset \mathbb F_{p^n}^\times.
\]
If \(k\ge 1\), there are exactly \(k+1\) conjugacy classes of maximal finite subgroups, represented by
\[
G_0\cong C_{p^n-1},
\qquad
G_a\cong C_{p^a}\times C_{(p^{n_a}-1)(p-1)}
\quad (1\le a\le k),
\]
where \(n_a=n/\varphi(p^a)\) [1206.1951].

For \(p=2\), write
\[
n=2^{k-1}m,\qquad m\ \text{odd}.
\]
Then \(S_n\) has exactly \(k\) conjugacy classes of maximal finite subgroups. If \(k\neq 2\), they are all cyclic of the form
\[
G_a\cong C_{2^a(2^{n_a}-1)}.
\]
If \(k=2\), there is an additional nonabelian class
\[
T_{24}\times C_{2m-1},
\]
and quaternionic \(2\)-Sylow behavior occurs precisely when \(n\equiv 2 \pmod 4\) [1206.1951].

The extended groups \(G_n(u)\) introduce an extra parameter \(u\in \mathbb Z_p^\times\), arising from the minimal polynomial \(T^n-u\) of Frobenius. The split exact sequence
\[
1\to S_n\to G_n(u)\to \operatorname{Gal}(\mathbb F_{p^n}/\mathbb F_p)\to 1
\]
persists, but the existence and number of conjugacy classes of finite extensions by the Galois group depend on \(u\) [1206.1951]. This dependence is concrete already at height \(2\). For \(n=2\), \(p=3\), the maximal finite subgroups of \(G_2(u)\) are
\[
SD_{16},\ C_3\times Q_8
\quad\text{if }u\equiv 1\pmod 3,
\]
and
\[
SD_{16},\ C_3\times D_8
\quad\text{if }u\equiv -1\pmod 3.
\]
For \(n=2\), \(p=2\), the list varies with \(u\bmod 8\) and can include \(O_{48}\), \(T_{24}\), \(D_8\), or \(Q_8\), together with abelian groups such as \(C_6\times C_2\) and \(C_3\times C_4\) [1206.1951].

These finite subgroups are not auxiliary curiosities. They are the isotropy groups that appear in explicit \(K(n)\)-local resolutions and in the homotopy fixed point spectra \(E_n^{hF}\) used to approximate \(L_{K(n)}S^0\). At height \(2\), for example, groups such as \(G_{24}\) and \(SD_{16}\) enter directly into duality and permutation resolutions [1702.05033].

## 5. Computations at low height and at large primes

Low-height calculations reveal both the tractability and the complexity of stabilizer cohomology. At height \(1\), the extended group is
\[
\mathbb G_1\cong \mathbb Z_p^\times,
\]
and the derived completion spectral sequence for Morava \(E\)-homology identifies
\[
H^s_{\mathrm{cts}}(\mathbb G_1;E_*E)\simeq
\begin{cases}
E_*\otimes_{\mathbb Z}\mathbb Z_p & s=0,\\
E_*\otimes_{\mathbb Z}\mathbb Q_p & s=1,\\
0 & s>1,
\end{cases}
\]
which matches the expected height-\(1\) chromatic splitting pattern [2111.06379].

At \(n=p=2\), the continuous cohomology \(H^*(\mathbb G_2,E_t)\) has been computed for
\[
0\le t<12,
\]
using the Algebraic Duality Spectral Sequence based on a resolution of \(\mathbb S_2^1\) by modules induced from the finite subgroups \(G_{24}\), \(C_6\), and \(G_{24}'\). In the same range the \(d_3\)-differentials in the homotopy fixed point spectral sequence for
\[
E_2^{s,t}=H^s(\mathbb G_2,E_t)\Longrightarrow \pi_{t-s}L_{K(2)}S^0
\]
are determined explicitly [2210.15994]. This places the low-stem \(K(2)\)-local sphere at the prime \(2\) under unusually fine algebraic control.

At large primes, the structure becomes unexpectedly uniform. An announcement from 2016 computes the mod-\(p\) cohomology of the height \(4\) strict Morava stabilizer group at primes \(p>5\), obtaining total rank
\[
3440,
\]
and formulates a recursive conjecture for the ranks of large-primary cohomology at all heights [1607.01108]. A more recent result proves that for every height \(n\) and all sufficiently large primes,
\[
H^*(\mathbb G_n;\mathbb F_{p^n})
\]
is isomorphic, as a graded \(\mathbb F_p\)-vector space, to
\[
H^*(U(n);\mathbb F_p),
\]
hence to an exterior algebra on \(n\) generators in degrees \(1,3,\dots,2n-1\) [2410.24171]. More precisely, the theorem identifies the stabilizer cohomology with the associated graded of a finite filtration on \(H^*(U(n);\mathbb F_p)\), and it is proved by deforming Ravenel’s Lie algebra model \(L(n,n)\) to \(\mathfrak{gl}_n\), then comparing singular and smooth fibers through a derived invariant cycles theorem [2410.24171].

This large-prime behavior does not trivialize the subject. It isolates the degree-zero slice of the periodic cohomology
\[
H^*(\mathbb G_n;\mathbb F_{p^n}[u^{\pm1}])/(1-u^{p^n-1}),
\]
and thereby gives a particularly clean part of the algebra controlling \(K(n)\)-local descent. The result suggests a deep geometric rigidity in stabilizer cohomology once \(p\) is sufficiently large relative to \(n\), 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 \(E\)-theory, the relevant algebra is governed not only by the group of units \(S_n\) but by the profinite monoid
\[
\operatorname{End}_n
\]
of endomorphisms of the Honda formal group law, with
\[
S_n=\operatorname{End}_n^\times.
\]
Unstable change-of-rings identifies Ext-groups for unstable comodules with continuous Ext over \(\operatorname{End}_n\), and the passage from \(\operatorname{End}_n\) to \(S_n\) is what produces the cohomological bound \(s>n^2+1\) in the unstable vanishing theorem [1409.3890].

A different enlargement appears in motivic homotopy theory. Motivic Morava \(E\)-theories admit unique \(\mathbb E_\infty\)-structures refining their bigraded commutative coefficient rings, but the resulting \(\mathbb E_\infty\)-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 \(E_{**}E\) 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\) formal group over the residue field [1901.05713].

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 \(K(n)\)-local topology, \(\mathbb G_n\) is the central actor. In unstable algebra one must enlarge to \(\operatorname{End}_n\). 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\) formal group law remain the organizing symmetry, but the exact symmetry object depends on whether the setting is stable, unstable, or motivic [1409.3890, 1901.05713].

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

Source: https://www.emergentmind.com/topics/morava-stabilizer-groups