Derived induction and restriction theory

Mathew, Akhil¹ ; Naumann, Niko² ; Noel, Justin²

¹ Department of Mathematics, University of Chicago, Chicago, IL, United States
² Fakultät für Mathematik, Universität Regensburg, Regensburg, Germany

Geometry & topology, Tome 23 (2019) no. 2, pp. 541-636.

Résumé

Let $G$ be a finite group. To any family $\mathcal{ℱ}$ of subgroups of $G$, we associate a thick $\otimes$–ideal ${\mathcal{ℱ}}^{Nil}$ of the category of $G$–spectra with the property that every $G$–spectrum in ${\mathcal{ℱ}}^{Nil}$ (which we call $\mathcal{ℱ}$–nilpotent) can be reconstructed from its underlying $H$–spectra as $H$ varies over $\mathcal{ℱ}$. A similar result holds for calculating $G$–equivariant homotopy classes of maps into such spectra via an appropriate homotopy limit spectral sequence. In general, the condition $E\in {\mathcal{ℱ}}^{Nil}$ implies strong collapse results for this spectral sequence as well as its dual homotopy colimit spectral sequence. As applications, we obtain Artin- and Brauer-type induction theorems for $G$–equivariant $E$–homology and cohomology, and generalizations of Quillen’s ${\mathcal{ℱ}}_p$–isomorphism theorem when $E$ is a homotopy commutative $G$–ring spectrum.

We show that the subcategory ${\mathcal{ℱ}}^{Nil}$ contains many $G$–spectra of interest for relatively small families $\mathcal{ℱ}$. These include $G$–equivariant real and complex $K$–theory as well as the Borel-equivariant cohomology theories associated to complex-oriented ring spectra, the $L_n$–local sphere, the classical bordism theories, connective real $K$–theory and any of the standard variants of topological modular forms. In each of these cases we identify the minimal family for which these results hold.

Détail

DOI : 10.2140/gt.2019.23.541

Classification : 19A22, 20J06, 55N91, 55P42, 55P91, 18G40, 19L47, 55N34
Keywords: equivariant homotopy theory, Artin's theorem, Brauer's theorem, induction, spectral sequences, K–theory, topological modular forms, tensor triangulated categories, Quillen's F–isomorphism theorem, group cohomology

Bibliographie

[1] J F Adams, Prerequisites (on equivariant stable homotopy) for Carlsson’s lecture, from: "Algebraic topology, Aarhus 1982" (editors I Madsen, B Oliver), Lecture Notes in Math. 1051, Springer (1984) 483 | DOI

[2] A Adem, R J Milgram, Cohomology of finite groups, 309, Springer (2004) | DOI

[3] D W Anderson, E H Brown Jr., F P Peterson, The structure of the Spin cobordism ring, Ann. of Math. 86 (1967) 271 | DOI

[4] M Ando, M Hopkins, C Rezk, Multiplicative orientations of KO–theory and of the spectrum of topological modular forms, preprint (2006)

[5] V Angeltveit, Topological Hochschild homology and cohomology of A∞ ring spectra, Geom. Topol. 12 (2008) 987 | DOI

[6] M F Atiyah, Characters and cohomology of finite groups, Inst. Hautes Études Sci. Publ. Math. 9 (1961) 23 | DOI

[7] M F Atiyah, K–theory and reality, Quart. J. Math. Oxford Ser. 17 (1966) 367 | DOI

[8] M F Atiyah, Bott periodicity and the index of elliptic operators, Quart. J. Math. Oxford Ser. 19 (1968) 113 | DOI

[9] M F Atiyah, I G Macdonald, Introduction to commutative algebra, Addison-Wesley (1969)

[10] M F Atiyah, G B Segal, Equivariant K–theory and completion, J. Differential Geometry 3 (1969) 1 | DOI

[11] P Balmer, Descent in triangulated categories, Math. Ann. 353 (2012) 109 | DOI

[12] P Balmer, Separable extensions in tensor-triangular geometry and generalized Quillen stratification, Ann. Sci. Éc. Norm. Supér. 49 (2016) 907 | DOI

[13] P Balmer, I Dell’Ambrogio, B Sanders, Restriction to finite-index subgroups as étale extensions in topology, KK–theory and geometry, Algebr. Geom. Topol. 15 (2015) 3025 | DOI

[14] D Barnes, Splitting monoidal stable model categories, J. Pure Appl. Algebra 213 (2009) 846 | DOI

[15] C Barwick, Spectral Mackey functors and equivariant algebraic K–theory, I, Adv. Math. 304 (2017) 646 | DOI

[16] C Barwick, S Glasman, J Shah, Spectral Mackey functors and equivariant algebraic K–theory, II, preprint (2015)

[17] M Behrens, The construction of tmf, from: "Topological modular forms" (editors C L Douglas, J Francis, A G Henriques, M A Hill), Mathematical Surveys and Monographs 201, Amer. Math. Soc. (2014) 131

[18] J M Boardman, Conditionally convergent spectral sequences, from: "Homotopy invariant algebraic structures" (editors J P Meyer, J Morava, W S Wilson), Contemp. Math. 239, Amer. Math. Soc. (1999) 49 | DOI

[19] A Bojanowska, S Jackowski, A spectral sequence convergent to equivariant K–theory, from: "Topology symposium, Siegen 1979" (editors U Koschorke, W D Neumann), Lecture Notes in Math. 788, Springer (1980) 245 | DOI

[20] A K Bousfield, Homotopy spectral sequences and obstructions, Israel J. Math. 66 (1989) 54 | DOI

[21] A K Bousfield, D M Kan, Homotopy limits, completions and localizations, 304, Springer (1972) | DOI

[22] G E Bredon, Equivariant cohomology theories, 34, Springer (1967) | DOI

[23] T Bröcker, E C Hook, Stable equivariant bordism, Math. Z. 129 (1972) 269 | DOI

[24] J F Carlson, Cohomology and induction from elementary abelian subgroups, Q. J. Math. 51 (2000) 169 | DOI

[25] G Carlsson, Equivariant stable homotopy and Segal’s Burnside ring conjecture, Ann. of Math. 120 (1984) 189 | DOI

[26] H Cartan, S Eilenberg, Homological algebra, Princeton Univ. Press (1956)

[27] S R Costenoble, An introduction to equivariant cobordism | DOI

[28] T Tom Dieck, Bordism of G–manifolds and integrality theorems, Topology 9 (1970) 345 | DOI

[29] T Tom Dieck, Transformation groups, 8, de Gruyter (1987) | DOI

[30] A W M Dress, Contributions to the theory of induced representations, from: "Algebraic –theory, II : ‘Classical’ algebraic –theory and connections with arithmetic" (editor H Bass), Lecture Notes in Math. 342, Springer (1973) 183 | DOI

[31] A W M Dress, Induction and structure theorems for orthogonal representations of finite groups, Ann. of Math. 102 (1975) 291 | DOI

[32] D. Dugger, A primer on homotopy colimits, book project (2008)

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

[34] W G Dwyer, Sharp homology decompositions for classifying spaces of finite groups, from: "Group representations: cohomology, group actions and topology" (editors A Adem, J Carlson, S Priddy, P Webb), Proc. Sympos. Pure Math. 63, Amer. Math. Soc. (1998) 197 | DOI

[35] W G Dwyer, J P C Greenlees, Complete modules and torsion modules, Amer. J. Math. 124 (2002) 199 | DOI

[36] L Fajstrup, Tate cohomology of periodic K–theory with reality is trivial, Trans. Amer. Math. Soc. 347 (1995) 1841 | DOI

[37] H Fausk, Generalized Artin and Brauer induction for compact Lie groups, Trans. Amer. Math. Soc. 360 (2008) 5043 | DOI

[38] P G Goerss, J F Jardine, Simplicial homotopy theory, 174, Birkhäuser (1999) | DOI

[39] J A Green, Axiomatic representation theory for finite groups, J. Pure Appl. Algebra 1 (1971) 41 | DOI

[40] J P C Greenlees, Homotopy equivariance, strict equivariance and induction theory, Proc. Edinburgh Math. Soc. 35 (1992) 473 | DOI

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

[42] J P C Greenlees, Equivariant versions of real and complex connective K–theory, Homology Homotopy Appl. 7 (2005) 63 | DOI

[43] J P C Greenlees, J P May, Completions in algebra and topology, from: "Handbook of algebraic topology" (editor I M James), North-Holland (1995) 255 | DOI

[44] J P C Greenlees, J P May, Generalized Tate cohomology, 543, Amer. Math. Soc. (1995) | DOI

[45] J P C Greenlees, J P May, Localization and completion theorems for MU–module spectra, Ann. of Math. 146 (1997) 509 | DOI

[46] J P C Greenlees, H Sadofsky, The Tate spectrum of vn–periodic complex oriented theories, Math. Z. 222 (1996) 391 | DOI

[47] J P C Greenlees, N P Strickland, Varieties and local cohomology for chromatic group cohomology rings, Topology 38 (1999) 1093 | DOI

[48] J Grodal, Higher limits via subgroup complexes, Ann. of Math. 155 (2002) 405 | DOI

[49] J Grodal, S D Smith, Propagating sharp group homology decompositions, Adv. Math. 200 (2006) 525 | DOI

[50] B Guillou, J P May, Models of G–spectra as presheaves of spectra, preprint (2011)

[51] M A Hill, M J Hopkins, D C Ravenel, The Arf–Kervaire problem in algebraic topology : sketch of the proof, from: "Current developments in mathematics, 2010" (editors D Jerison, B Mazur, T Mrowka, W Schmid, R Stanley, S T Yau), Int. (2011) 1

[52] M A Hill, M J Hopkins, D C Ravenel, On the nonexistence of elements of Kervaire invariant one, Ann. of Math. 184 (2016) 1 | DOI

[53] M J Hopkins, Global methods in homotopy theory, from: "Homotopy theory" (editors E Rees, J D S Jones), London Math. Soc. Lecture Note Ser. 117, Cambridge Univ. Press (1987) 73

[54] M J Hopkins, N J Kuhn, D C Ravenel, Generalized group characters and complex oriented cohomology theories, J. Amer. Math. Soc. 13 (2000) 553 | DOI

[55] M J Hopkins, J H Smith, Nilpotence and stable homotopy theory, II, Ann. of Math. 148 (1998) 1 | DOI

[56] M A Hovey, D C Ravenel, The 7–connected cobordism ring at p = 3, Trans. Amer. Math. Soc. 347 (1995) 3473 | DOI

[57] D Husemoller, Fibre bundles, 20, Springer (1994) | DOI

[58] D Husemöller, M Joachim, B Jurčo, M Schottenloher, Basic bundle theory and K–cohomology invariants, 726, Springer (2008) | DOI

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

[60] S Jackowski, J Mcclure, Homotopy decomposition of classifying spaces via elementary abelian subgroups, Topology 31 (1992) 113 | DOI

[61] N J Kuhn, Tate cohomology and periodic localization of polynomial functors, Invent. Math. 157 (2004) 345 | DOI

[62] P S Landweber, Conjugations on complex manifolds and equivariant homotopy of MU, Bull. Amer. Math. Soc. 74 (1968) 271 | DOI

[63] L G Lewis Jr., J P May, M Steinberger, J E Mcclure, Equivariant stable homotopy theory, 1213, Springer (1986) | DOI

[64] W Lück, Survey on classifying spaces for families of subgroups, from: "Infinite groups: geometric, combinatorial and dynamical aspects" (editors L Bartholdi, T Ceccherini-Silberstein, T Smirnova-Nagnibeda, A Zuk), Progr. Math. 248, Birkhäuser (2005) 269 | DOI

[65] J Lurie, Higher topos theory, 170, Princeton Univ. Press (2009) | DOI

[66] J Lurie, Derived algebraic geometry, XII : Proper morphisms, completions, and the Grothendieck existence theorem, preprint (2011)

[67] J. Lurie, Higher algebra, book project (2014)

[68] M A Mandell, Equivariant symmetric spectra, from: "Homotopy theory : relations with algebraic geometry, group cohomology, and algebraic –theory" (editors P Goerss, S Priddy), Contemp. Math. 346, Amer. Math. Soc. (2004) 399 | DOI

[69] M A Mandell, The smash product for derived categories in stable homotopy theory, Adv. Math. 230 (2012) 1531 | DOI

[70] M A Mandell, J P May, Equivariant orthogonal spectra and S–modules, 755, Amer. Math. Soc. (2002) | DOI

[71] A Mathew, A thick subcategory theorem for modules over certain ring spectra, Geom. Topol. 19 (2015) 2359 | DOI

[72] A Mathew, The homology of tmf, Homology Homotopy Appl. 18 (2016) 1 | DOI

[73] A Mathew, N Naumann, J Noel, Nilpotence and descent in equivariant stable homotopy theory, Adv. Math. 305 (2017) 994 | DOI

[74] A Mathew, V Stojanoska, The Picard group of topological modular forms via descent theory, Geom. Topol. 20 (2016) 3133 | DOI

[75] J P May, Equivariant homotopy and cohomology theory, 91, Amer. Math. Soc. (1996) | DOI

[76] J P May, J E Mcclure, A reduction of the Segal conjecture, from: "Current trends in algebraic topology, II" (editors R M Kane, S O Kochman, P S Selick, V P Snaith), CMS Conf. Proc. 2, Amer. Math. Soc. (1982) 209

[77] D Nardin, Parametrized higher category theory and higher algebra, Exposé IV : Stability with respect to an orbital ∞–category, preprint (2016)

[78] D Quillen, The spectrum of an equivariant cohomology ring, I, Ann. of Math. 94 (1971) 549 | DOI

[79] D Quillen, The spectrum of an equivariant cohomology ring, II, Ann. of Math. 94 (1971) 573 | DOI

[80] D C Ravenel, Nilpotence and periodicity in stable homotopy theory, 128, Princeton Univ. Press (1992)

[81] Y B Rudyak, On Thom spectra, orientability, and cobordism, Springer (1998) | DOI

[82] G Segal, The representation ring of a compact Lie group, Inst. Hautes Études Sci. Publ. Math. 34 (1968) 113 | DOI

[83] J P Serre, Linear representations of finite groups, 42, Springer (1977)

[84] J H Silverman, The arithmetic of elliptic curves, 106, Springer (1986) | DOI

[85] J Smith, Finite complexes with vanishing lines of small slope, preprint (2005)

[86] R E Stong, Notes on cobordism theory, Princeton Univ. Press (1968)

[87] C T C Wall, Determination of the cobordism ring, Ann. of Math. 72 (1960) 292 | DOI

[88] S Waner, Mackey functors and G–cohomology, Proc. Amer. Math. Soc. 90 (1984) 641 | DOI

[89] P Webb, A guide to Mackey functors, from: "Handbook of algebra, II" (editor M Hazewinkel), North-Holland (2000) 805 | DOI