The site R^+_G for a profinite group G, by Daniel G. Davis

Let G be a non-finite profinite group and let G-Sets_{df} be the canonical site of finite discrete G-sets. Then the category R^+_G, defined by Devinatz and Hopkins, is the category obtained by considering G-Sets_{df} together with the profinite G-space G itself, with morphisms being continuous G-equivariant maps. We show that R^+_G is a site when equipped with the pretopology of epimorphic covers. Also, we explain why the associated topology on R^+_G is not subcanonical, and hence, not canonical. We note that, since R^+_G is a site, there is automatically a model category structure on the category of presheaves of spectra on the site. Finally, we point out that such presheaves of spectra are a nice way of organizing the data that is obtained by taking the homotopy fixed points of a continuous G-spectrum with respect to the open subgroups of G.

• 0803.bib (232 bytes)
• siterplusg.dvi (63796 bytes) [October 26, 2006]
• siterplusg.dvi.gz (27795 bytes)
• siterplusg.pdf (154616 bytes)
• siterplusg.ps.gz (153682 bytes)