Discrete \(G\)-spectra and embeddings of module spectra (Q684108)

Let \(K(n)\) be the \(n\)th Morava \(K\)-theory spectrum at the prime \(p\) and let \(\mathbb G_n\) be the extended Morava stabilizer group. One main result of this paper provides an embedding of the homotopy category of \(K(n)\)-local spectra into the homotopy category of a certain module category in \(K(n)\)-local discrete \(\mathbb G_n\)-spectra. More generally, the author considers a profinite group \(G\) and the category \(\mathrm{Sp}^{\Sigma}(G)\) of discrete symmetric \(G\)-spectra, which are symmetric spectra with values in simplicial objects in sets with a \(G\)-action that is continuous when the sets are equipped with the discrete topology. The category \(\mathrm{Sp}^{\Sigma}(G)\) has earlier been studied by \textit{M. Behrens} and \textit{D. G. Davis} [Trans. Am. Math. Soc. 362, No. 9, 4983--5042 (2010; Zbl 1204.55007)]. Given a symmetric spectrum \(k\) and a monoid map \(A \to B\) in \(\mathrm{Sp}^{\Sigma} (G)\) where \(A\) has a trivial \(G\)-action, the author uses extension of scalars to construct a left Quillen functor \(\mathrm{Ex}:\mathrm{Mod}_A(\mathrm{Sp}^{\Sigma}_k) \to\mathrm{Mod}_A(\mathrm{Sp}(G)^{\Sigma}_k)\) from \(A\)-modules in symmetric spectra with the \(k\)-local model structure to \(B\)-modules in discrete symmetric \(G\)-spectra with the \(k\)-local model structure. The embedding of homotopy categories outlined above is then induced by the left Quillen functor \(\mathrm{Ex} : \mathrm{Sp}^{\Sigma}_{K(n)} \to \mathrm{Mod}_{F_n}(\mathrm{Sp}(\mathbb G_n)^{\Sigma}_{K(n)})\) that is obtained by applying this construction to a certain map \(L_{K(n)}\mathbb S \to F_n\) from the \(K(n)\)-local sphere spectrum. The latter map is a profinite \(K(n)\)-local \(\mathbb G_n\)-Galois extension of structured ring spectra which is also discussed by Behrens and Davis [loc. cit.]. Besides this model categorical approach, the author provides an analogous result in the language of quasi-categories. It identifies a \(k\)-local module category in discrete \(G\)-spectra with a category of comodules over a comonad. He shows that the two approaches are equivalent under suitable conditions.