Moduli of formal A-modules under change of A

TL;DR

This paper develops methods to compute the restriction map in the cohomology of automorphism groups of formal modules under change of base ring, applies these to quadratic extensions of p-adic fields, and explores implications for homotopy fixed points in algebraic topology.

Contribution

It introduces new techniques for analyzing the restriction map in automorphism group cohomology and applies local class field theory to connect automorphism groups with Galois groups, advancing understanding of formal modules and their actions.

Findings

Computed the restriction map for quadratic extensions of rom 

Identified automorphism groups as closed subgroups of Morava stabilizer groups

Connected automorphism groups with Galois groups via local class field theory

Abstract

We develop methods for computing the restriction map from the cohomology of the automorphism group of a height $dn$ formal group law (i.e., the height $dn$ Morava stabilizer group) to the cohomology of the automorphism group of an $A$-height $n$ formal $A$-module, where $A$ is the ring of integers in a degree $d$ field extension of $\mathbb{Q}_p$. We then compute this map for the quadratic extensions of $\mathbb{Q}_p$ and the height $2$ Morava stabilizer group at primes $p>3$. We show that the these automorphism groups of formal modules are closed subgroups of the Morava stabilizer groups, and we use local class field theory to identify the automorphism group of an $A$-height $1$-formal $A$-module with the ramified part of the abelianization of the absolute Galois group of $K$, yielding an action of $Gal(K^{ab}/K^{nr})$ on the Lubin-Tate/Morava $E$-theory spectrum $E_2$ for each quadratic extension $K/\mathbb{Q}_p$. Finally, we run the associated descent spectral sequence to compute the $V(1)$-homotopy groups of the homotopy fixed-points of this action; one consequence is that, for each element in the $K(2)$-local homotopy groups of the Smith-Toda complex $V(1)$, either that element or its dual is detected in the Galois cohomology of the abelian closure of some quadratic extension of $\mathbb{Q}_p$.