Discrete G-Spectra and embeddings of module spectra
arXiv:1502.07800
Abstract
In this paper we study the category of discrete G-spectra for a profinite group G. We consider an embedding of module objects in spectra into a category of module objects in discrete G-spectra, and study the relationship between the embedding and the homotopy fixed points functor. We also consider an embedding of module objects in terms of quasi-categories, and show that the two formulations of embeddings are equivalent in some circumstances.
36 pages, major revision, a mistake in Lemma 6.1 was corrected