Chromatic fixed point theory and the Balmer spectrum for extraspecial 2-groups. (English) Zbl 07856550
Summary: In the early 1940s, P. A. Smith showed that if a finite \(p\)-group \(G\) acts on a finite dimensional complex \(X\) that is mod \(p\) acyclic, then its space of fixed points, \(X^G\), will also be mod \(p\) acyclic.
In their recent study of the Balmer spectrum of equivariant stable homotopy theory, Balmer and Sanders were led to study a question that can be shown to be equivalent to the following: if a \(G\)-space \(X\) is a equivariant homotopy retract of the \(p\)-localization of a based finite \(G\)-C.W. complex, given \(H< G\) and \(n\), what is the smallest \(r\) such that if \(X^H\) is acyclic in the \((n+r)\)th Morava \(K\)-theory, then \(X^G\) must be acyclic in the \(n\)th Morava \(K\)-theory? Barthel et. al. then answered this when \(G\) is abelian, by finding general lower and upper bounds for these “blue shift” numbers which agree in the abelian case.
In our paper, we first prove that these potential chromatic versions of Smith’s theorem are equivalent to chromatic versions of a 1952 theorem of E. E. Floyd, which replaces acyclicity by bounds on dimensions of mod \(p\) homology, and thus applies to all finite dimensional \(G\)-spaces. This unlocks new techniques and applications in chromatic fixed point theory.
Applied to the problem of understanding blue shift numbers, we are able to use classic constructions and representation theory to search for lower bounds. We give a simple new proof of the known lower bound theorem, and then get the first results about nonabelian 2-groups that do not follow from previously known results. In particular, we are able to determine all blue shift numbers for extraspecial 2-groups.
Applied in ways analogous to Smith’s original applications, we prove new fixed point theorems for \(K(n)_*\)-homology disks and spheres.
Finally, our methods offer a new way of using equivariant results to show the collapsing of certain Atiyah-Hirzebruch spectral sequences in certain cases. Our criterion appears to apply to the calculation of all 2-primary Morava \(K\)-theories of all real Grassmanians.
In their recent study of the Balmer spectrum of equivariant stable homotopy theory, Balmer and Sanders were led to study a question that can be shown to be equivalent to the following: if a \(G\)-space \(X\) is a equivariant homotopy retract of the \(p\)-localization of a based finite \(G\)-C.W. complex, given \(H< G\) and \(n\), what is the smallest \(r\) such that if \(X^H\) is acyclic in the \((n+r)\)th Morava \(K\)-theory, then \(X^G\) must be acyclic in the \(n\)th Morava \(K\)-theory? Barthel et. al. then answered this when \(G\) is abelian, by finding general lower and upper bounds for these “blue shift” numbers which agree in the abelian case.
In our paper, we first prove that these potential chromatic versions of Smith’s theorem are equivalent to chromatic versions of a 1952 theorem of E. E. Floyd, which replaces acyclicity by bounds on dimensions of mod \(p\) homology, and thus applies to all finite dimensional \(G\)-spaces. This unlocks new techniques and applications in chromatic fixed point theory.
Applied to the problem of understanding blue shift numbers, we are able to use classic constructions and representation theory to search for lower bounds. We give a simple new proof of the known lower bound theorem, and then get the first results about nonabelian 2-groups that do not follow from previously known results. In particular, we are able to determine all blue shift numbers for extraspecial 2-groups.
Applied in ways analogous to Smith’s original applications, we prove new fixed point theorems for \(K(n)_*\)-homology disks and spheres.
Finally, our methods offer a new way of using equivariant results to show the collapsing of certain Atiyah-Hirzebruch spectral sequences in certain cases. Our criterion appears to apply to the calculation of all 2-primary Morava \(K\)-theories of all real Grassmanians.
MSC:
| 55Pxx | Homotopy theory |
References:
| [1] | G. Arone and K. Lesh, Fixed points of coisotropic subgroups of Γ k on decomposition spaces, Ho-mology Homotopy Appl. 22 (2020), no. 1, 77-96. · Zbl 1476.55021 |
| [2] | M. Aschbacher, Finite Group Theory, 2nd ed., Cambridge Stud. Adv. Math., vol. 10, Cambridge University Press, Cambridge, 2000. · Zbl 0997.20001 |
| [3] | P. Balmer and B. Sanders, The spectrum of the equivariant stable homotopy category of a finite group, Invent. Math. 208 (2017), no. 1, 283-326. · Zbl 1373.18016 |
| [4] | T. Barthel, J. P. C. Greenlees, and M. Hausmann, On the Balmer spectrum for compact Lie groups, Compos. Math. 156 (2020), no. 1, 39-76. · Zbl 1431.55012 |
| [5] | T. Barthel, M. Hausmann, N. Naumann, T. Nikolaus, J. Noel, and N. Stapleton, The Balmer spectrum of the equivariant homotopy category of a finite abelian group, Invent. Math. 216 (2019), no. 1, 215-240. · Zbl 1417.55016 |
| [6] | D. Benson and P. Etingof, Symmetric tensor categories in characteristic 2, Adv. Math. 351 (2019), 967-999. · Zbl 1430.18013 |
| [7] | W. Balderrama and N. J. Kuhn, An elementary proof of the chromatic Smith fixed point theorem, Homology Homotopy Appl. 26 (2024), 131-140. · Zbl 07860681 |
| [8] | A. Berele and A. Regev, Hook Young diagrams with applications to combinatorics and to represen-tations of Lie superalgebras, Adv. in Math. 64 (1987), no. 2, 118-175. · Zbl 0617.17002 |
| [9] | A. K. Bousfield, On K(n)-equivalences of spaces, Homotopy Invariant Algebraic Structures (Bal-timore, MD, 1998), Contemp. Math., vol. 239, Amer. Math. Soc., Providence, RI, 1999, pp. 85-89. · Zbl 0939.55004 |
| [10] | G. E. Bredon, Cohomological aspects of transformation groups, Proc. Conf. on Transformation Groups (New Orleans, La., 1967), Springer-Verlag, New York, 1968, pp. 245-280. · Zbl 0175.20401 |
| [11] | Introduction to Compact Transformation Groups, Pure Appl. Math., vol. 46, Academic Press, New York, 1972. · Zbl 0246.57017 |
| [12] | E. E. Floyd, On periodic maps and the Euler characteristics of associated spaces, Trans. Amer. Math. Soc. 72 (1952), 138-147. · Zbl 0046.16603 |
| [13] | J. C. Harris and N. J. Kuhn, Stable decompositions of classifying spaces of finite abelian p-groups, Math. Proc. Cambridge Philos. Soc. 103 (1988), no. 3, 427-449. · Zbl 0686.55007 |
| [14] | M. J. Hopkins and J. H. Smith, Nilpotence and stable homotopy theory. II, Ann. of Math. (2) 148 (1998), no. 1, 1-49. · Zbl 0927.55015 |
| [15] | G. James and A. Kerber, The Representation Theory of the Symmetric Group, Encyclopedia Math. Appl., vol. 16, Addison-Wesley Publishing, Reading, MA, 1981. · Zbl 0491.20010 |
| [16] | R. Joachimi, Thick ideals in equivariant and motivic stable homotopy categories, Bousfield Classes and Ohkawa’s Theorem, Springer Proc. Math. Stat., vol. 309, Springer-Verlag, Singapore, 2020, pp. 109-219. · Zbl 1475.55023 |
| [17] | N. J. Kuhn and C. J. R. Lloyd, New results about the equivariant stable homotopy Balmer spectrum, Oberwolfach Rep 16 (2019), 2220-2223. |
| [18] | Computing the morava K-theory of real Grassmanians using chromatic fixed point the-ory, Alg. Geo. Top. (to appear in volume 24); https://arxiv.org/abs/2111.08812. |
| [19] | M. A. Mandell and J. P. May, Equivariant orthogonal spectra and S-modules, Mem. Amer. Math. Soc. 159 (2002), no. 755, x+108. · Zbl 1025.55002 |
| [20] | S. A. Mitchell, Finite complexes with A(n)-free cohomology, Topology 24 (1985), no. 2, 227-246. · Zbl 0568.55021 |
| [21] | Splitting B(Z/p) n and BT n via modular representation theory, Math. Z. 189 (1985), no. 1, 1-9. · Zbl 0547.55017 |
| [22] | D. Quillen, The mod 2 cohomology rings of extra-special 2-groups and the spinor groups, Math. Ann. 194 (1971), 197-212. · Zbl 0225.55015 |
| [23] | D. C. Ravenel, Localization with respect to certain periodic homology theories, Amer. J. Math. 106 (1984), no. 2, 351-414. · Zbl 0586.55003 |
| [24] | Nilpotence and Periodicity in Stable Homotopy Theory, Ann. of Math. Stud., vol. 128, Princeton University Press, Princeton, NJ, 1992. · Zbl 0774.55001 |
| [25] | J. H. Smith, Finite complexes with vanishing lines of small slope, unpublished notes. |
| [26] | P. A. Smith, Transformations of finite period, Ann. of Math. (2) 39 (1938), no. 1, 127-164. · JFM 64.1275.01 |
| [27] | Fixed-point theorems for periodic transformations, Amer. J. Math. 63 (1941), 1-8. · JFM 67.0742.04 |
| [28] | N. P. Strickland, Thick ideals of finite G-spectra, unpublished notes. |
| [29] | T. tom Dieck, Transformation Groups, De Gruyter Stud. Math., vol. 8, Walter de Gruyter, Berlin, 1987. · Zbl 0611.57002 |
| [30] | U. Würgler, Commutative ring-spectra of characteristic 2, Comment. Math. Helv. 61 (1986), no. 1, 33-45. · Zbl 0622.55003 |
| [31] | Morava K-theories: a survey, Algebraic Topology Poznań 1989, Lecture Notes in Math., vol. 1474, Springer-Verlag, Berlin, 1991, pp. 111-138. · Zbl 0860.55005 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
