--- title: Morava Stabilizer Group url: https://www.emergentmind.com/topics/morava-stabilizer-group type: topic --- # Morava Stabilizer Group 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 [1702.05033]. ## 1. Formal-group-theoretic definition Let $\Gamma_n$ be the height-$n$ Honda formal group law, characterized by $$ [p]_{\Gamma_n}(x)=x^{p^n}. $$ The height-$n$ Morava stabilizer group is the automorphism group $$ S_n=\operatorname{Aut}_{\mathbb F_{p^n}}(\Gamma_n). $$ 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 $1$: $$ f(x)=x+\text{terms of degree }\geq 2. $$ The full group admits a reduction map to the multiplicative group of the residue field, $$ S_n\longrightarrow \mathbb F_{p^n}^{\times}, $$ whose kernel is the strict subgroup. Thus there is a split exact sequence $$ 1\longrightarrow S_n^{\mathrm{str}} \longrightarrow S_n \longrightarrow \mathbb F_{p^n}^{\times} \longrightarrow 1. $$ The strict subgroup is pro-$p$, whereas $S_n$ is an extension of it by the prime-to-$p$ group $\mathbb F_{p^n}^{\times}$. The distinction between full and strict stabilizers is essential in cohomological calculations: many Ravenel–May computations concern the strict stabilizer group scheme, while Morava $E$-theory descent generally uses the full or extended stabilizer group. The stabilizer group is also naturally a group scheme. Its strict stabilizer algebra is $$ S(n,p)=\mathbb F_p[t_1,t_2,\ldots]/ \left(t_i^{p^n}-t_i\mid i\geq 1\right), $$ and the continuous cohomology of the strict stabilizer group scheme is represented algebraically by $$ H_c^*\bigl(\operatorname{strAut}(\widetilde G_1^n);\mathbb F_p\bigr) \cong \operatorname{Cotor}_{S(n,p)}^*(\mathbb F_p,\mathbb F_p). $$ After extension of scalars to $\mathbb F_{p^n}$, this group scheme corresponds to the continuous dual of the group algebra of an actual profinite pro-$p$ group [2312.17185]. A related but distinct object is the endomorphism monoid $\operatorname{End}_n$ of $\Gamma_n$. Its units form $S_n$, 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 [1409.3890]. ## 2. Division-algebra and profinite structure The endomorphism ring of the height-$n$ Honda formal group is the maximal order $$ O_n= W(\mathbb F_{p^n})\langle S\rangle/ \left(S^n=p,\; Sw=w^\sigma S\right), $$ where $\sigma$ is the Frobenius lift on the Witt vectors. Its group of units is the Morava stabilizer group: $$ S_n=O_n^\times. $$ After inverting $p$, one obtains the central division algebra $$ D_n=O_n[1/p], $$ which has dimension $n^2$ over $\mathbb Q_p$ and Hasse invariant $1/n$. The valuation is normalized by $$ v(p)=1,\qquad v(S)=\frac1n. $$ Every element of $O_n$ has a unique expression $$ x=\sum_{i=0}^{n-1}a_iS^i, \qquad a_i\in W(\mathbb F_{p^n}). $$ The stabilizer group has a natural filtration $$ F_{k/n}S_n= \{x\in S_n\mid x\equiv 1\pmod{S^k}\}, $$ and $$ S_n\cong \varprojlim_i S_n/F_iS_n. $$ The successive quotients are $$ F_{k/n}S_n/F_{(k+1)/n}S_n\cong \mathbb F_{p^n}, $$ under the correspondence $$ 1+aS^k\longmapsto \overline a. $$ Consequently, $S_n$ is a profinite compact $p$-adic analytic group of analytic dimension $n^2$. Its strict subgroup is a pro-$p$ group, and sufficiently deep filtration subgroups behave cohomologically like $\mathbb Z_p^{n^2}$. For a formal group law $F$ defined over $\mathbb F_p$, the Frobenius endomorphism may satisfy $$ \xi_F^n=pu, \qquad u\in\mathbb Z_p^\times. $$ The corresponding extended group can be written $$ G_n(u)\cong D_n^\times/\langle pu\rangle. $$ Although the abstract semidirect-product shape is $$ G_n(u)\cong S_n\rtimes C_n, $$ the parameter $u$ affects which finite subgroups occur in the extended group. Thus the extended stabilizer group depends not only on $n$ and $p$, but also on the formal group law and its Frobenius parameter [1206.1951]. The reduced norm gives a homomorphism $$ \operatorname{Nrd}:S_n\longrightarrow\mathbb Z_p^\times. $$ For $n=2$ and $p>3$, one obtains a decomposition $$ S_2\cong S_2^1\times \mathbb Z_p, $$ where $S_2^1$ is the reduced-norm-one subgroup. The subgroup $S_2^1$ has $p$-adic Lie dimension $3$, while $S_2$ has dimension $4$. ## 3. Extended groups, finite subgroups, and formal modules The residue field $\mathbb F_{p^n}$ has Galois group $$ \operatorname{Gal}(\mathbb F_{p^n}/\mathbb F_p)\cong C_n. $$ The **extended Morava stabilizer group** is $$ G_n=S_n\rtimes \operatorname{Gal}(\mathbb F_{p^n}/\mathbb F_p). $$ The subgroup $S_n$ records automorphisms of the formal group over $\mathbb F_{p^n}$, whereas $G_n$ also records arithmetic Galois symmetries. Morava $E$-theory naturally carries an action of $G_n$, not merely of $S_n. Finite subgroup theory is controlled by the division-algebra description. Every finite subgroup of $D_n^\times$ lies in $S_n$, and every finite $p$-subgroup lies in the strict pro-$p$ subgroup. For odd $p$, finite $p$-subgroups are cyclic. A cyclic subgroup of order $p^a$ exists precisely when $$ \varphi(p^a)=(p-1)p^{a-1}\mid n. $$ For odd primes, maximal finite subgroups of $S_n$ are represented by $$ C_{p^n-1} $$ when $p-1\nmid n$, and by $$ C_{p^a}\times C_{(p^{n_a}-1)(p-1)} $$ when $$ n=(p-1)p^{k-1}m,\qquad (m,p)=1, $$ with $0\leq a\leq k$ and $$ n_a=\frac{n}{(p-1)p^{a-1}} $$ for $a\geq1$. The prime $2$ is exceptional. Quaternionic finite subgroups can occur, and $$ Q_8\hookrightarrow D_n^\times \quad\Longleftrightarrow\quad n\equiv2\pmod4. $$ When $n=2m$ with $m$ odd, a maximal finite subgroup with quaternionic $2$-Sylow is $$ T_{24}\times C_{2^m-1}, $$ where $$ T_{24}=Q_8\rtimes C_3. $$ Finite subgroups of $S_n$ are classified up to conjugacy by their abstract isomorphism type. The classification of finite subgroups of $G_n(u)$ is subtler: a finite subgroup of the extended group is an extension of a finite subgroup of $S_n$ by a subgroup of the Galois group, but not every abstract extension exists. The obstructions are measured by $H^2$, while conjugacy classes of extensions are controlled by $H^1$. At height $2$, explicit classifications depend on $p$ and $u$. For $p=3$, the maximal finite subgroups of $G_2(u)$ include $SD_{16}$ and either $C_3\times Q_8$ or $C_3\times D_8$, according to $u\bmod3$. At $p=2$, the maximal finite subgroups vary with $u\bmod8$ and include groups such as $C_6\times C_2$, $C_3\times C_4$, $D_8$, $Q_8$, $T_{24}$, and $O_{48}$ [1206.1951]. Formal $A$-modules provide important closed subgroups of Morava stabilizer groups. If $A$ is the ring of integers in a degree-$d$ extension of $\mathbb Q_p$, an $A$-height $n$ formal $A$-module has underlying $p$-height $dn$. Its automorphism group preserving the $A$-action is the centralizer of the $A$-action inside the height-$dn$ Morava stabilizer group: $$ \operatorname{Aut}(\mathbb G_{1/n}^A) \subseteq \mathbb S_{dn}. $$ 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 $A$-action on finite buds. This framework produces restriction maps $$ H_c^*(\mathbb S_{dn};M) \longrightarrow H_c^*(\operatorname{Aut}(\mathbb G_{1/n}^A);M), $$ which are particularly explicit for quadratic extensions and height $2$ [1004.4941]. ## 4. Actions on Lubin–Tate deformation rings The Morava stabilizer group acts continuously on the Lubin–Tate deformation ring $$ R_n=W(\mathbb F_{p^n})[[u_1,\ldots,u_{n-1}]]. $$ The universal deformation has $p$-series $$ [p]_F(x)=px+_F u_1x^p+_F\cdots+_F u_{n-1}x^{p^{n-1}}+_F x^{p^n}. $$ An element $g\in S_n$ transports the universal deformation to another deformation and therefore induces a continuous ring automorphism $$ g_*:R_n\longrightarrow R_n. $$ The action can be computed by choosing a lift $\widehat g(x)$ and comparing the transported formal group law with the universal one through a strict $p$-typical isomorphism $$ h_g(x)=\sum_{i\geq0}^{F}t_i(g)x^{p^i}. $$ The fundamental identity is $$ h_g\bigl([p]_{g_*F}(x)\bigr) = [p]_F\bigl(h_g(x)\bigr). $$ At general height, recursive formulas determine the coefficients of the action to specified truncation levels. In particular, after quotienting by $$ I_{h-1}=(p,u_1,\ldots,u_{h-2}), $$ the leading deformation parameter satisfies $$ g_*(u_{h-1}) = u_{h-1}t_0^{p^{h-1}-1} \pmod{I_{h-1}}. $$ The recursive computation determines $t_0$ only modulo finite powers of $u_{h-1}$, with accuracy governed by $$ u_{h-1}^{\,p^{h-1}+\Phi(h)+1}, \qquad \Phi(h)=p^{h-1}+p^{h-2}+\cdots+p+1. $$ At height $3$ and $p>2$, the action has been calculated explicitly modulo $$ (p,u_1,u_2^{\,2p^2+p+1}). $$ For height $2$, an exact all-primes formula is available. Write an element of the stabilizer group as $$ a_0+a_1S, \qquad a_0\in W(\mathbb F_{p^2})^\times. $$ Then $$ (a_0+a_1S).u_1 = \sum_{T\in{}^q\mathcal{LT}} \operatorname{ind}_{[a_0,a_1]}(T)\, u_1^{\operatorname{wt}(T)}, $$ where ${}^q\mathcal{LT}$ is the set of finite ordered rooted $q$-labelled trees. The coefficient of $u_1^n$ is therefore $$ Y_n= \sum_{\substack{T\in{}^q\mathcal{LT}\\\operatorname{wt}(T)=n}} \operatorname{ind}_{[a_0,a_1]}(T). $$ The tree formula reorganizes the recursive action into a finite combinatorial sum. The multiplicative subgroup $W(\mathbb F_{p^2})^\times$ acts linearly only in degrees $$ 1+(p+1)n. $$ Writing $$ B=\frac a{\overline a}, $$ the beginning of the action for $a\in W(\mathbb F_{p^2})^\times$ is $$ a.u_1 = Bu_1+ \frac{B(B^{p+1}-1)}{p}u_1^{p+2} +\cdots. $$ The action on the periodicity element $u$ is likewise explicit and has the form $$ (a_0+a_1S).u = \left(\sum_{n\geq0}\theta_nu_1^n\right)u. $$ These formulas supply coefficient-module data for stabilizer cohomology and homotopy fixed-point spectral sequences [2503.04686]. ## 5. Cohomology and computational methods For a profinite group $G$, continuous cohomology is $$ H_{\mathrm{cts}}^s(G,M) = \operatorname{Ext}^s_{\mathbb Z_p[[G]]}(\mathbb Z_p,M). $$ The cohomological dimension of a torsion-free open subgroup is $n^2$. If $S_n$ contains $p$-torsion, its ordinary mod-$p$ cohomology may be nonzero in arbitrarily high degrees, although its virtual mod-$p$ cohomological dimension remains $n^2$. Ravenel’s filtration produces a spectral sequence whose $E_1$-term is controlled by a solvable Lie algebra. For sufficiently large primes, the relevant Lie algebra is $L(n,n)$, of dimension $n^2$, and $$ E_1^{s,t,u} \cong H^{s,t,u}(L(n,n);\mathbb F_p) \Longrightarrow H_c^{s,t}\bigl(\operatorname{strAut}(\widetilde G_1^n);\mathbb F_p\bigr). $$ At fixed height $n$, Ravenel’s May spectral sequence collapses for all sufficiently large primes. The bound is existential rather than explicit. Under this hypothesis, $$ H_c^*\bigl(\operatorname{strAut}(\widetilde G_1^n);\mathbb F_p\bigr) \cong H^*(L(n,n);\mathbb F_p), $$ and the right-hand side can be computed by the finite-dimensional Chevalley–Eilenberg complex. Its underlying exterior complex has dimension $2^{n^2}$ [2312.17185]. A further large-prime calculation identifies the trivial-coefficient cohomology of the extended group. For $p\gg n$, $$ H^*(G_n;\mathbb F_{p^n}) $$ is isomorphic to the associated graded algebra of a finite filtration on $$ H^*(U(n);\mathbb F_p). $$ As graded vector spaces, this is an exterior algebra on $n$ generators in degrees $$ 1,3,5,\ldots,2n-1. $$ Thus $$ H^*(G_n;\mathbb F_{p^n}) \cong \Lambda_{\mathbb F_p}(x_1,x_3,\ldots,x_{2n-1}) $$ as graded $\mathbb F_p$-vector spaces, while the multiplicative statement is naturally formulated using the associated graded algebra [2410.24171]. Known total dimensions of strict stabilizer cohomology at large primes include $$ \begin{array}{c|c} n & \dim_{\mathbb F_p}H^*(\operatorname{strAut}(\mathbb G_{1/n});\mathbb F_p)\\ \hline 1&2\\ 2&12\\ 3&152\\ 4&3440 \end{array} $$ At height $2$ and $p>3$, the strict stabilizer cohomology has total rank $12$ and cohomological dimension $4$. At height $4$ and $p>5$, the strict stabilizer cohomology has cohomological dimension $16$ and total rank $3440$, with Poincaré coefficients $$ 1,5,18,55,129,249,409,551,606,551,409,249,129,55,18,5,1. $$ At height $3$, the stabilizer algebra is used to detect products of Greek-letter elements in stable homotopy groups. The relevant images include $$ r(\alpha_1)=h_0,\qquad r(\beta_1)=-b_0,\qquad r(\beta_2)=2k_0, $$ and $$ r(\gamma_t) = -t(t^2-1)\ell-t(t-1)k_1\beta. $$ For $p>5$ and $p\nmid t(t^2-1)$, the products $$ \alpha_1\gamma_t,\qquad \beta_2\gamma_t,\qquad \langle\alpha_1,\alpha_1,\beta_{p/p}\rangle\gamma_t\beta_1, \qquad \langle\beta_1,p,\gamma_t\rangle $$ are detected nontrivially in stabilizer-algebra cohomology [1202.2519]. At height $2$ and prime $2$, the algebraic duality resolution replaces the cohomology of the large group by a four-term complex involving $$ G_{24},\qquad C_6,\qquad C_6,\qquad G_{24}'. $$ For $0\leq t<12$, it computes $$ H^s(\mathbb G_2,E_t), $$ and determines the $d_3$-differentials in the homotopy fixed-point spectral sequence for the $K(2)$-local sphere [2210.15994]. ## 6. Morava $E$-theory, descent, and chromatic significance The Lubin–Tate spectrum $E_n$ has coefficient ring $$ \pi_*(E_n) = W(\mathbb F_{p^n})[[u_1,\ldots,u_{n-1}]][u^{\pm1}], \qquad |u|=-2. $$ The extended stabilizer group $G_n$ acts continuously on the universal deformation and on $E_n$ through maps of commutative ring spectra. The action is refined to an $\mathbb E_\infty$-action by Goerss–Hopkins–Miller theory. For a spectrum $X$, the point-set Morava module is $$ L_{K(n)}(E_n\wedge X), $$ with diagonal $G_n$-action. The central descent equivalence is $$ L_{K(n)}(X) \simeq \bigl(L_{K(n)}(E_n\wedge X)\bigr)^{hG_n} $$ for every $S$-cofibrant spectrum $X. This extends the finite-spectrum result to arbitrary spectra up to cofibrant replacement [1101.5201]. The associated descent spectral sequence has $$ E_2^{s,t} \cong H_c^s\!\left(G_n; \pi_t\bigl(L_{K(n)}(E_n\wedge X)\bigr)\right) \Longrightarrow \pi_{t-s}\bigl(L_{K(n)}(X)\bigr). $$ For the sphere, $$ E_n^{hG_n}\simeq L_{K(n)}S^0. $$ Thus continuous stabilizer-group cohomology is the algebraic input for the homotopy fixed-point spectral sequence computing the $K(n)$-local sphere and other $K(n)$-local spectra. At height $2$, finite subgroups provide computable building blocks. The groups $$ Q_8,\qquad SD_{16},\qquad G_{24},\qquad G_{48} $$ act on $\mathbf E_2$ at the prime $2$. Their homotopy fixed-point spectral sequences are related by Galois descent and invariant theory. The $G_{24}$ calculation is closely connected with $2$-local $tmf$, while the finite-subgroup spectra contribute to resolutions of the $K(2)$-local sphere [2209.01830]. 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 $\operatorname{End}_n$, not merely $S_n$. When $p-1\nmid n$, the stabilizer contribution has cohomological dimension $n^2$, while the noninvertible endomorphisms add at most one degree: $$ \operatorname{cd}(\operatorname{End}_n)\leq n^2+1. $$ This yields the unstable vanishing theorem $$ \operatorname{Ext}_{\mathcal U_{\Gamma_B}}^s(B[t],M)=0 \qquad\text{for }s>n^2+1. $$ The distinction between $S_n$ and $\operatorname{End}_n$ therefore measures the additional unstable information absent from stable Morava theory [1409.3890]. Finally, motivic Morava $E$-theories exhibit a further enlargement of the automorphism problem. The classical stabilizer group acts on motivic Morava $E$-theory, but the full $\mathbb E_\infty$-automorphism group is identified with the automorphism group of the corresponding motivic comodule-algebra object. This group can contain exotic $\mathbb E_\infty$-automorphisms not induced by the classical stabilizer group [1901.05713]. The Morava stabilizer group is consequently simultaneously an automorphism group of a formal group, a unit group in a $p$-adic division algebra, a compact $p$-adic analytic group, a symmetry group of Lubin–Tate deformation theory, and the descent group whose continuous cohomology controls $K(n)$-local homotopy theory. Its finite subgroups, deformation-ring actions, Lie-algebra models, and cohomology form a central computational infrastructure for chromatic stable homotopy theory. Source: https://www.emergentmind.com/topics/morava-stabilizer-group