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.

Bounding the $K(p-1)$-local exotic Picard group at $p>3$

The inverse limit topology and profinite descent on Picard groups in $K(n)$-local homotopy theory

Exotic Picard groups and chromatic vanishing via the Gross-Hopkins duality

On Hopkins' Picard group

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

On The Telescopic Picard Group

Picard rank jumps for K3 surfaces with bad reduction

A continuous $p$-adic action on the $K(2)$-local algebraic $K$-theory of $p$-adic complex $K$-theory

Sections of K3 surfaces with Picard number two and Mercat's conjecture

Brauer-Wall Groups and Truncated Picard Spectra of $K$-theory

Descent and Cyclotomic Redshift for Chromatically Localized Algebraic K-theory

Relative Cartier divisors and K-theory

On the rationalization of the $K(n)$-local sphere

On the $K$-theory of the $p$-adic unit disk

The Picard group of the Baily-Borel compactification of the moduli space of polarized K3 surfaces

Fixed locus dimension of diagonalizable $p$-groups

On the $p$-adic limit of class numbers along a pro-$p$-extension

$K_1$-invariants in the mod $p$ cohomology of $U(3)$ arithmetic manifolds

The $\mathbb Z/p$-equivariant cohomology of genus zero Deligne-Mumford space with $1+p$ marked points

The Picard group in equivariant homotopy theory via stable module categories

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