HEXAGONbeta

Swan induction for the finite-local sphere

Primarily AI-generated textHuman understanding: some partsmath.AT — Algebraic Topologymath.KT — K-Theory and Homology

Contributed by Akhil Mathew ↗

Version 1 / Sep 27, 2026 / CC BY 4.0

Abstract

We establish rational Swan induction for ordinary perfect modules over the finite-local sphere Lnp,fSL_n^{p,f}\mathbb S. For a finite abelian ambient group, subgroups of pp-rank at most n+1n+1 suffice, and this bound is sharp. The proof combines cyclic homotopy fixed points in telescopic spectra with the isotropy filtration of a chromatic quotient of finite genuine spectra. The result proves Conjecture~7.22 of Clausen--Mathew--Naumann--Noel for Morava EE-theory and gives a new proof of their chromatic upper bound for the algebraic KK-theory of Lnp,fSL_n^{p,f}\mathbb S-linear categories. The quotient argument also produces finite complexes realizing the induction relations. We formulate the problem of explicit realizations and give two geometric models at the prime two.

Provenance statement

I believe the arguments and strategy to be correct; however, I have not yet fully checked and understood all the details. The paper was generated with ChatGPT, and I also asked Claude to proofread/check it.

References

  1. Peter Abramenko and Kenneth S. Brown, Buildings: Theory and applications , Graduate Texts in Mathematics, vol. 248, Springer, New York, 2008. 10.1007/978-0-387-78835-7 .DOI
  2. Gregory Arone, Iterates of the suspension map and Mitchell's finite spectra with AkA_k-free cohomology , Math. Res. Lett. 5 (1998), no. 4, 485--496.
  3. Gregory Arone, Ilan Barnea, and Tomer M. Schlank, Suspension spectra of matrix algebras, the rank filtration, and rational noncommutative CW-spectra , Math. Ann. 386 (2023), 35--84. 2101.09778v2 .
  4. Gregory Arone and Kathryn Lesh, Fixed points of coisotropic subgroups of k _k on decomposition spaces , Homology Homotopy Appl. 22 (2020), no. 1, 77--96. 10.4310/HHA.2020.v22.n1.a6 ; 1701.06070v2 . Theorem 1.2 of this arXiv version is Theorem 1.1 of the published paper.DOI
  5. David Ayala, Aaron Mazel-Gee, and Nick Rozenblyum, Stratified noncommutative geometry , manuscript, 2023. 1910.14602v5 .
  6. Malkhaz Bakuradze and Stewart Priddy, Transfer and complex oriented cohomology rings , Algebr. Geom. Topol. 3 (2003), 473--509. 10.2140/agt.2003.3.473 ; math/0307182 .DOI
  7. Tobias Barthel, Markus Hausmann, Niko Naumann, Thomas Nikolaus, Justin Noel, and Nathaniel Stapleton, The Balmer spectrum of the equivariant homotopy category of a finite abelian group , Invent. Math. 216 (2019), 215--240. 10.1007/s00222-018-0846-5 ; 1709.04828v3 .DOI
  8. Tobias Barthel, Drew Heard, and Gabriel Valenzuela, Local duality in algebra and topology , Adv. Math. 335 (2018), 563--663. 10.1016/j.aim.2018.07.017 ; 1511.03526v3 .DOI
  9. Clark Barwick, Saul Glasman, Akhil Mathew, and Thomas Nikolaus, KK-theory and polynomial functors , preprint, 2021. 2102.00936v2 .
  10. Agnès Beaudry, Towards the homotopy of the K(2)K(2)-local Moore spectrum at p=2p=2 , Adv. Math. 306 (2017), 722--788. 10.1016/j.aim.2016.10.020 ; 1501.06082v2 .DOI
Show all 34 referencesShow fewer references
  1. Andrew J. Blumberg, David Gepner, and Gon c alo Tabuada, Uniqueness of the multiplicative cyclotomic trace , Adv. Math. 260 (2014), 191--232. 10.1016/j.aim.2014.02.004 ; 1103.3923v3 .DOI
  2. Steven Greg Chadwick and Michael A. Mandell, EnE_n genera , Geom. Topol. 19 (2015), no. 6, 3193--3232. 10.2140/gt.2015.19.3193 ; 1310.3336 .DOI
  3. Dustin Clausen and Akhil Mathew, A short proof of telescopic Tate vanishing , Proc. Amer. Math. Soc. 145 (2017), no. 12, 5413--5417. 1608.02063v2 .
  4. Dustin Clausen, Akhil Mathew, Niko Naumann, and Justin Noel, Descent and vanishing in chromatic algebraic KK-theory via group actions , Ann. Sci. Éc. Norm. Supér. (4) 57 (2024), no. 4, 1135--1190. 2011.08233v2 .
  5. Tony Feng, David Treumann, and Allen Yuan, GG-spectra of cyclic defect , preprint, 2023. 2301.03184v1 .
  6. J. P. C. Greenlees and Hal Sadofsky, The Tate spectrum of vnv_n-periodic complex oriented theories , Math. Z. 222 (1996), no. 3, 391--405.
  7. Michael J. Hopkins and Jeffrey H. Smith, Nilpotence and stable homotopy theory II , Ann. of Math. (2) 148 (1998), no. 1, 1--49. 10.2307/120991 .DOI
  8. Mark Hovey and Hal Sadofsky, Tate cohomology lowers chromatic Bousfield classes , Proc. Amer. Math. Soc. 124 (1996), no. 11, 3579--3585.
  9. Sören Illman, Smooth equivariant triangulations of GG-manifolds for GG a finite group , Math. Ann. 233 (1978), no. 3, 199--220. 10.1007/BF01405351 .DOI
  10. Gordon D. James, The representation theory of the symmetric groups , Lecture Notes in Mathematics, vol. 682, Springer, Berlin--New York, 1978. 10.1007/BFb0067708 .DOI
  11. Nicholas J. Kuhn, Tate cohomology and periodic localization of polynomial functors , Invent. Math. 157 (2004), no. 2, 345--370. math/0307173 .
  12. Nicholas J. Kuhn and Christopher J. R. Lloyd, Chromatic fixed point theory and the Balmer spectrum for extraspecial 22-groups , preprint, 2022. 2008.00330v2 .
  13. Markus Land, Akhil Mathew, Lennart Meier, and Georg Tamme, Purity in chromatically localized algebraic KK-theory , J. Amer. Math. Soc. 37 (2024), no. 4, 1011--1040. 10.1090/jams/1043 ; 2001.10425v5 .DOI
  14. Yanjun Liu and Wolfgang Willems, Quasi-projective Brauer characters , J. Algebra 499 (2018), 506--515. 10.1016/j.jalgebra.2017.12.016 .DOI
  15. Jacob Lurie, Higher algebra , manuscript, September 2017. https://www.math.ias.edu/ lurie/papers/HA.pdf .link
  16. Cary Malkiewich, Coassembly and the KK-theory of finite groups , Adv. Math. 307 (2017), 100--146.\\ 10.1016/j.aim.2016.11.017 ; 1503.06504v4 .DOI
  17. Akhil Mathew, Niko Naumann, and Justin Noel, On a nilpotence conjecture of J. P. May , J. Topol. 8 (2015), no. 4, 917--932. 1403.2023v3 .
  18. J. Peter May, with contributions by M. Cole, G. Comeza\ na, S. Costenoble, A. D. Elmendorf, J. P. C. Greenlees, L. G. Lewis, Jr., R. J. Piacenza, G. Triantafillou, and S. Waner, Equivariant homotopy and cohomology theory , CBMS Regional Conference Series in Mathematics, vol. 91, American Mathematical Society, Providence, RI, 1996. 10.1090/cbms/091 .DOI
  19. J. S. Milne, Algebraic groups: The theory of group schemes of finite type over a field , Cambridge Studies in Advanced Mathematics, vol. 170, Cambridge University Press, Cambridge, 2017. 10.1017/9781316711736 .DOI
  20. Amnon Neeman, The connection between the KK-theory localization theorem of Thomason, Trobaugh and Yao and the smashing subcategories of Bousfield and Ravenel , Ann. Sci. Éc. Norm. Supér. (4) 25 (1992), no. 5, 547--566. 10.24033/asens.1659 .DOI
  21. Daniel Quillen, Elementary proofs of some results of cobordism theory using Steenrod operations , Adv. Math. 7 (1971), 29--56.
  22. Douglas C. Ravenel, Nilpotence and periodicity in stable homotopy theory , Annals of Mathematics Studies, vol. 128, Princeton University Press, 1992.
  23. Jean-Pierre Serre, Linear representations of finite groups , Graduate Texts in Mathematics, vol. 42, Springer, New York--Heidelberg, 1977. 10.1007/978-1-4684-9458-7 .DOI
  24. Richard G. Swan, Induced representations and projective modules , Ann. of Math. (2) 71 (1960), no. 3, 552--578. 10.2307/1969944 .DOI

Version history

  1. v1Submitted by Akhil MathewInitial depositCurrentSep 27, 2026