Equivariant homotopy theory for pro–spectra

Fausk, Halvard¹

¹ Department of Mathematics, University of Oslo, 1053 Blindern, 0316 Oslo, Norway

Geometry & topology, Tome 12 (2008) no. 1, pp. 103-176.

Résumé

We extend the theory of equivariant orthogonal spectra from finite groups to profinite groups, and more generally from compact Lie groups to compact Hausdorff groups. The $G$–homotopy theory is “pieced together” from the $G∕U$–homotopy theories for suitable quotient groups $G∕U$ of $G$; a motivation is the way continuous group cohomology of a profinite group is built out of the cohomology of its finite quotient groups. In the model category of equivariant spectra Postnikov towers are studied from a general perspective. We introduce pro–$G$–spectra and construct various model structures on them. A key property of the model structures is that pro–spectra are weakly equivalent to their Postnikov towers. We discuss two versions of a model structure with “underlying weak equivalences”. One of the versions only makes sense for pro–spectra. In the end we use the theory to study homotopy fixed points of pro–$G$–spectra.

Détail

DOI : 10.2140/gt.2008.12.103

Keywords: equivariant homotopy, pro-spectra, profinite groups

Bibliographie

[1] J F Adams, Lectures on Lie groups, W. A. Benjamin, New York-Amsterdam (1969)

[2] M Artin, B Mazur, Etale homotopy, Lecture Notes in Mathematics 100, Springer (1986)

[3] A A Beĭlinson, J Bernstein, P Deligne, Faisceaux pervers, from: "Analysis and topology on singular spaces, I (Luminy, 1981)", Astérisque 100, Soc. Math. France (1982) 5

[4] A K Bousfield, The localization of spaces with respect to homology, Topology 14 (1975) 133

[5] A K Bousfield, On the telescopic homotopy theory of spaces, Trans. Amer. Math. Soc. 353 (2001) 2391

[6] G Carlsson, Structured stable homotopy theory and the descent problem for the algebraic $K$–theory of fields (2003)

[7] R L Cohen, J D S Jones, G B Segal, Floer's infinite-dimensional Morse theory and homotopy theory, from: "The Floer memorial volume", Progr. Math. 133, Birkhäuser (1995) 297

[8] D G Davis, Iterated homotopy fixed points for the Lubin–Tate spectrum

[9] D G Davis, The Lubin–Tate spectrum and its homotopy fixed point spectra, PhD thesis, Northwestern University (2003)

[10] D G Davis, The $E_2$–term of the descent spectral sequence for continuous $G$–spectra, New York J. Math. 12 (2006) 183

[11] D G Davis, Homotopy fixed points for $L_{K(n)}(E_n\wedge X)$ using the continuous action, J. Pure Appl. Algebra 206 (2006) 322

[12] E S Devinatz, Small ring spectra, J. Pure Appl. Algebra 81 (1992) 11

[13] E S Devinatz, A Lyndon–Hochschild–Serre spectral sequence for certain homotopy fixed point spectra, Trans. Amer. Math. Soc. 357 (2005) 129

[14] E S Devinatz, M J Hopkins, Homotopy fixed point spectra for closed subgroups of the Morava stabilizer groups, Topology 43 (2004) 1

[15] W G Dwyer, Homology decompositions for classifying spaces of finite groups, Topology 36 (1997) 783

[16] W G Dwyer, E M Friedlander, Algebraic and etale $K$–theory, Trans. Amer. Math. Soc. 292 (1985) 247

[17] H Fausk, Artin and Brauer induction for compact Lie groups

[18] H Fausk, Atiyah–Segal completion for profinite groups

[19] H Fausk, $T$–model structures on chain complexes of presheaves

[20] H Fausk, D C Isaksen, Model structures on pro-categories, Homology, Homotopy Appl. 9 (2007) 367

[21] H Fausk, D C Isaksen, $t$–model structures, Homology, Homotopy Appl. 9 (2007) 399

[22] J P C Greenlees, Equivariant connective $K$–theory for compact Lie groups, J. Pure Appl. Algebra 187 (2004) 129

[23] J P C Greenlees, J P May, Generalized Tate cohomology, Mem. Amer. Math. Soc. 113 (1995)

[24] P S Hirschhorn, Model categories and their localizations, Mathematical Surveys and Monographs 99, American Mathematical Society (2003)

[25] K H Hofmann, S A Morris, Projective limits of finite-dimensional Lie groups, Proc. London Math. Soc. $(3)$ 87 (2003) 647

[26] M Hovey, Model categories, Mathematical Surveys and Monographs 63, American Mathematical Society (1999)

[27] M Hovey, J H Palmieri, N P Strickland, Axiomatic stable homotopy theory, Mem. Amer. Math. Soc. 128 (1997)

[28] S Illman, The equivariant triangulation theorem for actions of compact Lie groups, Math. Ann. 262 (1983) 487

[29] D C Isaksen, A model structure on the category of pro-simplicial sets, Trans. Amer. Math. Soc. 353 (2001) 2805

[30] D C Isaksen, Strict model structures for pro-categories, from: "Categorical decomposition techniques in algebraic topology (Isle of Skye, 2001)", Progr. Math. 215, Birkhäuser (2004) 179

[31] U Jannsen, Continuous étale cohomology, Math. Ann. 280 (1988) 207

[32] L G Lewis Jr., Change of universe functors in equivariant stable homotopy theory, Fund. Math. 148 (1995) 117

[33] L G Lewis Jr., J P May, M Steinberger, J E Mcclure, Equivariant stable homotopy theory, Lecture Notes in Mathematics 1213, Springer (1986)

[34] S Mac Lane, Categories for the working mathematician, Graduate Texts in Mathematics 5, Springer (1998)

[35] M A Mandell, J P May, Equivariant orthogonal spectra and $S$–modules, Mem. Amer. Math. Soc. 159 (2002)

[36] M A Mandell, J P May, S Schwede, B Shipley, Model categories of diagram spectra, Proc. London Math. Soc. $(3)$ 82 (2001) 441

[37] J P May, Equivariant homotopy and cohomology theory, CBMS Regional Conference Series in Mathematics 91, Published for the Conference Board of the Mathematical Sciences, Washington, DC (1996)

[38] O Renaudin, Spectres en diagramme dans les catégories modèles, Bull. Belg. Math. Soc. Simon Stevin 13 (2006) 1

[39] S Schwede, B E Shipley, Algebras and modules in monoidal model categories, Proc. London Math. Soc. $(3)$ 80 (2000) 491

[40] T Tom Dieck, Transformation groups, de Gruyter Studies in Mathematics 8, Walter de Gruyter Co. (1987)