Continuous functors as a model for the equivariant stable homotopy category

Blumberg, Andrew¹

¹Department of Mathematics, Stanford University, 450 Serra Mall, Stanford, California 94305, USA

Algebraic and Geometric Topology, Tome 6 (2006) no. 5, pp. 2257-2295

Résumé

It is a classical observation that a based continuous functor X from the category of finite CW–complexes to the category of based spaces that takes homotopy pushouts to homotopy pullbacks “represents” a homology theory—the collection of spaces {X(Sn)} obtained by evaluating X on spheres yields an Ω–prespectrum. Such functors are sometimes referred to as linear or excisive. The main theorem of this paper provides an equivariant analogue of this result. We show that a based continuous functor from finite G–CW–complexes to based G–spaces represents a genuine equivariant homology theory if and only if it takes G–homotopy pushouts to G–homotopy pullbacks and satisfies an additional condition requiring compatibility with Atiyah duality for orbit spaces G∕H.

Our motivation for this work is the development of a recognition principle for equivariant infinite loop spaces. In order to make the connection to infinite loop space theory precise, we reinterpret the main theorem as providing a fibrancy condition in an appropriate model category of spectra. Specifically, we situate this result in the context of the study of equivariant diagram spectra indexed on the category WG of based G–spaces homeomorphic to finite G–CW–complexes for a compact Lie group G. Using the machinery of Mandell–May–Schwede–Shipley, we show that there is a stable model structure on this category of diagram spectra which admits a monoidal Quillen equivalence to the category of orthogonal G–spectra. We construct a second “absolute” stable model structure which is Quillen equivalent to the stable model structure. There is a model-theoretic identification of the fibrant continuous functors in the absolute stable model structure as functors Z such that for A ∈WG the collection {Z(A ∧ SW)} forms an Ω–G–prespectrum as W varies over the universe U. Thus, our main result provides a concrete identification of the fibrant objects in the absolute stable model structure.

This description of fibrant objects in the absolute stable model structure makes it clear that in the equivariant setting we cannot hope for a comparison between the category of equivariant continuous functors and equivariant Γ–spaces, except when G is finite. We provide an explicit analysis of the failure of the category of equivariant Γ–spaces to model connective G–spectra, even for G = S1.

Détail

DOI : 10.2140/agt.2006.6.2257

Keywords: equivariant infinite loop space theory, excisive functors, Atiyah duality

Bibliographie

[1] A J Blumberg, A discrete model of $S^1$-homotopy theory, J. of Pure and Appl. Alg. (2006)

[2] J M Boardman, R M Vogt, Homotopy-everything $H$–spaces, Bull. Amer. Math. Soc. 74 (1968) 1117

[3] S R Costenoble, S Waner, Fixed set systems of equivariant infinite loop spaces, Trans. Amer. Math. Soc. 326 (1991) 485

[4] A D Elmendorf, Systems of fixed point sets, Trans. Amer. Math. Soc. 277 (1983) 275

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

[6] L G Lewis Jr., Splitting theorems for certain equivariant spectra, Mem. Amer. Math. Soc. 144 (2000)

[7] L G Lewis, J P May, S M., Equivariant stable homotopy theory, Lecture Notes in Mathematics 1213, Springer (1986)

[8] M Lydakis, Simplicial functors and stable homotopy theory, preprint (1998)

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

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

[11] J P May, The geometry of iterated loop spaces, Lectures Notes in Mathematics 271, Springer (1972)

[12] J P May, Equivariant homotopy and cohomology theory, from: "Symposium on Algebraic Topology in honor of José Adem (Oaxtepec, 1981)", Contemp. Math. 12, Amer. Math. Soc. (1982) 209

[13] J P May, The Wirthmüller isomorphism revisited, Theory Appl. Categ. 11 (2003) 132

[14] S Schwede, B Shipley, Stable model categories are categories of modules, Topology 42 (2003) 103

[15] G Segal, Categories and cohomology theories, Topology 13 (1974) 293

[16] G Segal, Some results in equivariant homotopy theory, preprint (1975)

[17] K Shimakawa, Infinite loop $G$–spaces associated to monoidal $G$–graded categories, Publ. Res. Inst. Math. Sci. 25 (1989) 239

[18] K Shimakawa, A note on $\Gamma_G$–spaces, Osaka J. Math. 28 (1991) 223