Abstract:We calculate the cohomology of the extended Morava stabilizer group of height $n$, with trivial mod $p$ coefficients, for all heights $n$ and all primes $p>>n$. The result is an exterior algebra on $n$ generators. A brief sketch of the method: we introduce a family of deformations of Ravenel's Lie algebra model $L(n,n)$ for the Morava stabilizer group scheme. This yields a family of DGAs, parameterized over an affine line and smooth except at a single point. The singular fiber is the Chevalley-Eilenberg DGA of Ravenel's Lie algebra. Consequently the cohomology of the singular fiber is the cohomology of the Morava stabilizer group, at large primes. We prove a derived version of the invariant cycles theorem from Hodge theory, which allows us to compare the cohomology of the singular fiber to the fixed-points of the Picard-Lefschetz (monodromy) operator on the cohomology of a smooth fiber. Finally, we use some new methods for constructing small models for cohomology of reductive Lie algebras to show that the cohomology of the Picard-Lefschetz fixed-points on a smooth fiber agrees with the singular cohomology $H^*(U(n);\mathbb{F}_p)$ of the unitary group, which is the desired exterior algebra.

Brown-Peterson cohomology from Morava E-theory

The Morava E-theory of Eilenberg-Mac Lane spaces

The Lubin–Tate theory of configuration spaces: I

Hurewicz Images of Real Bordism Theory and Real Johnson-Wilson Theories

Lifting to truncated Brown-Peterson spectra and Hodge-de Rham degeneration in characteristic $p>0$

Topological Hochschild homology of truncated Brown-Peterson spectra I

The geometric diagonal of the special linear algebraic cobordism

Algebraic Cobordism and Étale Cohomology

Some properties of Lubin-Tate cohomology for classifying spaces of finite groups

Picard and Brauer groups of $K(n)$-local spectra via profinite Galois descent

Calculating obstruction groups for E-infinity ring spectra

$RO(G)$-graded homotopy fixed point spectral sequence for height $2$ Morava $E$-theory

The mod p cohomology of the Morava stabilizer group at large primes

The Goodwillie tower and the EHP sequence

Hecke operators in Morava $E$-theories of different heights

Convergence of the Eilenberg-Moore spectral sequence for generalized cohomology theories

The $E_2^{hC_6}$-homology of $\mathbb{R}P_2$ and $\mathbb{R}P_2 \wedge \mathbb{C}P_2$

Cech approximation to the Brown-Gersten spectral sequence

Rational $p$-adic Hodge theory for rigid-analytic varieties

Hermitian K-theory for stable $\infty$-categories II: Cobordism categories and additivity

Quillen stratification in equivariant homotopy theory