Every K(n)-local spectrum is the homotopy fixed points of its Morava module

2011/01/27 by Davis, Daniel G., Torii, Takeshi
#55P42 #55T15 #Algebraic Topology (math.AT) #FOS: Mathematics

paper · doi:10.48550/arxiv.1101.5201

Abstract

Let n ≥ 1 and let p be any prime. Also, let E_n be the Lubin-Tate spectrum, G_n the extended Morava stabilizer group, and K(n) the nth Morava K-theory spectrum. Then work of Devinatz and Hopkins and some results due to Behrens and the first author of this note, show that if X is a finite spectrum, then the localization L_K(n)(X) is equivalent to the homotopy fixed point spectrum (L_K(n)(E_n \wedge X))^hG_n, which is formed with respect to the continuous action of G_n on L_K(n)(E_n \wedge X). In this note, we show that this equivalence holds for any (S-cofibrant) spectrum X. Also, we show that for all such X, the strongly convergent Adams-type spectral sequence abutting to π_∗(L_K(n)(X)) is isomorphic to the descent spectral sequence that abuts to π_∗((L_K(n)(E_n \wedge X))^hG_n).

Related

• Homotopy fixed points for L_K(n)(E_n ^ X) using the continuous action
• A descent spectral sequence for arbitrary K(n)-local spectra with explicit E₂-term
• Iterated homotopy fixed points for the Lubin-Tate spectrum, with an Appendix: An example of a discrete G-spectrum that is not hyperfibrant
• Several homotopy fixed point spectral sequences in telescopically localized algebraic K-theory
• Obtaining intermediate rings of a local profinite Galois extension without localization