The homotopy fixed point spectra of profinite Galois extensions

Abstract

Let E be a k-local profinite G-Galois extension of an E1-ring spectrum A (in the sense of Rognes). We show that E may be regarded as producing a discrete G-spectrum. Also, we prove that if E is a profaithful k-local profinite extension which satisfies certain extra conditions, then the forward direction of Rognes's Galois correspondence extends to the profinite setting. We show that the function spectrum FA((E[superscript hH])k; (E[superscript hK])k) is equivalent to the localized homotopy fixed point spectrum ((E[[G=H]])[superscript hK])k where H and K are closed subgroups of G. Applications to Morava E-theory are given, including showing that the homotopy fixed points defined by Devinatz and Hopkins for closed subgroups of the extended Morava stabilizer group agree with those defined with respect to a continuous action in terms of the derived functor of fixed points.