Note

E-infinity-Descendability for Morava E-Theory

Author: Wei Yang · Added:

Download the PDF

Article date: September 5, 2026.

Abstract

Let EnE_n be the Morava theory of the Honda formal group over Fpn\mathbf{F}_{p^n}. We prove that EnhG→EnE_n^{hG}\to E_n is E∞\mathbb{E}_\infty-descendable for every closed subgroup GG of the extended Morava stabilizer group, both in K(n)K(n)-local spectra and in ordinary spectra. In particular, this holds for LK(n)S→EnL_{K(n)}\mathbb{S}\to E_n. For groups of finite pp-cohomological dimension, the algebra retraction comes from a section after relative pp-finite completion of a finite join. Finite cyclic quotients are treated by a unital arity obstruction tower, whose possible obstructions are restricted to the arities p,p2,…,pnp,p^2,\ldots,p^n by chromatic vanishing for partition spectra.