Galois theory and Lubin-Tate cochains on classifying spaces (Q657419): Difference between revisions

The authors continue the development of brave new Galois theory, that is, the Galois theory of structured ring spectra. For \(G\) a finite group, they study the case of extensions of form \(F(BG_+,E) \to F(EG_+, E)\), where \(E\) is either the Lubin-Tate spectrum \(E_n\) or the Morava \(K\)-theory spectrum \(K_n\). To perform this study they translate the algebraic notion of the socle series of a ring into the topological world. After comparing the Lubin-Tate cohomology of \(BG\) to its Morava \(K\)-theory they use this socle series to see that for a finite group \(G\), \(E_n\) and \(K_n\) are faithful \(F(BG_+,E_n)\)-modules in the category of \(K_n\)-local spectra. This simplifies the question of whether the extension \(F(BG_+,E) \to F(EG_+, E)\) is Galois to checking if this extension is unramified. The authors show that if \(G\) is \(C_{p^r}\) (\(r \geqslant 1\)), a non-trivial \(p\)-group or a \(p\)-nilpotent group with \(p\) dividing \(|G|\), then the extension is not Galois. As an application of these results, they show that the \(E_n\)-theory Eilenberg-Moore spectral sequence for \(G\) and \(BG\) does not always converge to the expected target.