Recognition: no theorem link
The Galois theory of G-spectra and the Burnside ring
Pith reviewed 2026-05-12 03:19 UTC · model grok-4.3
The pith
The Galois groupoid of G-spectra for a finite group G is equivalent to the étale fundamental groupoid of the Burnside ring of G.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove that the Galois groupoid of the category of G-spectra for a finite group G is algebraic, i.e. equivalent to the étale fundamental groupoid of the Burnside ring of G. We implement an algorithm that computes the latter from the table of marks of G, and provide numerous examples.
What carries the argument
The equivalence between the Galois groupoid of G-spectra and the étale fundamental groupoid of the Burnside ring, which renders the Galois theory algebraic.
If this is right
- Galois groups in G-spectra become computable directly from the table of marks of G.
- The algebraic description allows explicit determination of the groupoid structure for many groups.
- Questions about symmetries in equivariant spectra reduce to calculations in the Burnside ring.
Where Pith is reading between the lines
- Similar algebraic reductions may apply to other invariants in equivariant homotopy theory.
- The algorithm could be extended to produce closed-form descriptions for families of groups.
- This link might let algebraic geometry tools address problems in stable homotopy with group actions.
Load-bearing premise
The standard definitions of the Galois groupoid in the category of G-spectra and of the étale fundamental groupoid of the Burnside ring are compatible in a manner that permits a direct equivalence.
What would settle it
A specific finite group G for which the two groupoids are not equivalent would disprove the claim.
read the original abstract
We prove that the Galois groupoid of the category of $G$-spectra for a finite group $G$ is algebraic, i.e. equivalent to the \'etale fundamental groupoid of the Burnside ring of $G$. We implement an algorithm that computes the latter from the table of marks of $G$, and provide numerous examples.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that the Galois groupoid of the category of G-spectra for a finite group G is equivalent to the étale fundamental groupoid of the Burnside ring A(G). It supplies an explicit identification of both objects with combinatorial data from conjugacy classes of subgroups and their marks, implements an algorithm to compute the étale fundamental groupoid from the table of marks, and verifies the equivalence through examples for small groups.
Significance. If the equivalence holds, the result supplies a concrete algebraic and combinatorial model for Galois theory in equivariant stable homotopy, directly tying the Galois groupoid to the Burnside ring via the table of marks. The self-contained construction, once prior definitions in equivariant homotopy theory are granted, together with the explicit algorithm and examples, provides a practical tool for computations and strengthens the link between homotopy-theoretic and algebraic invariants.
minor comments (2)
- The introduction could include a brief diagram or table summarizing the identification between the two groupoids for a small group (e.g., G = C_2) to make the combinatorial correspondence immediately visible.
- Notation for the Galois groupoid and the étale fundamental groupoid is introduced without a dedicated comparison table; adding one in §2 or §3 would clarify the bijections on objects and morphisms.
Simulated Author's Rebuttal
We thank the referee for their positive report and recommendation to accept the manuscript. We appreciate the referee's recognition of the significance of the equivalence between the Galois groupoid of G-spectra and the étale fundamental groupoid of the Burnside ring, as well as the value of the explicit algorithm and examples provided.
Circularity Check
No significant circularity in the claimed equivalence
full rationale
The paper proves that the Galois groupoid of G-spectra is equivalent to the étale fundamental groupoid of the Burnside ring A(G) by explicitly identifying both objects with the same combinatorial data: conjugacy classes of subgroups together with their marks from the table of marks of G. An algorithm is given to compute the latter directly from this table, and examples for small groups are supplied to illustrate the match. The derivation relies on standard prior definitions from equivariant homotopy theory (granted as external input) rather than any self-definitional loop, fitted parameter renamed as prediction, or load-bearing self-citation chain. No step reduces the central theorem to its own inputs by construction; the result is a genuine identification of two independently defined objects.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard axioms and constructions of equivariant stable homotopy theory for finite groups G.
- standard math Standard definition of the Burnside ring and its étale fundamental groupoid.
Reference graph
Works this paper leans on
-
[1]
Naumann, Niko and Pol, Luca , TITLE =. Adv. Math. , FJOURNAL =. 2024 , PAGES =. doi:10.1016/j.aim.2024.109736 , URL =
-
[2]
Kremer, Christian , title =
-
[3]
Ramzi, Maxime , title =
-
[4]
Mathematische Zeitschrift , volume=
Smooth compact Lie group actions on disks , author=. Mathematische Zeitschrift , volume=. 1976 , publisher=
work page 1976
-
[5]
Ramzi, Separability in homotopical algebra, Preprint arXiv:2305.17236 (2023)
Separability in homotopical algebra. arXiv e-prints , keywords =. doi:10.48550/arXiv.2305.17236 , archivePrefix =. 2305.17236 , primaryClass =
-
[6]
Lurie, Jacob , TITLE =
-
[7]
Balmer, Paul , TITLE =. Adv. Math. , FJOURNAL =. 2011 , NUMBER =. doi:10.1016/j.aim.2010.12.003 , URL =
-
[8]
Balmer, Paul , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2015 , NUMBER =. doi:10.4171/JEMS/501 , URL =
-
[9]
Balmer, Paul and Favi, Giordano , TITLE =. Proc. Lond. Math. Soc. (3) , FJOURNAL =. 2011 , NUMBER =. doi:10.1112/plms/pdq050 , URL =
-
[10]
Balmer, Paul and Dell'Ambrogio, Ivo and Sanders, Beren , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2015 , NUMBER =. doi:10.2140/agt.2015.15.3025 , URL =
- [11]
- [12]
- [13]
-
[14]
Beren Sanders , URL =. 2022 , KEYWORDS =. doi:10.46298/epiga.2022.volume6.7641 , JOURNAL =
-
[15]
Hochster, M. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1969 , PAGES =. doi:10.2307/1995344 , URL =
-
[16]
Lurie, Jacob , TITLE =. 2009 , PAGES =. doi:10.1515/9781400830558 , URL =
-
[17]
Balmer, Paul , TITLE =. Bull. Lond. Math. Soc. , FJOURNAL =. 2018 , NUMBER =. doi:10.1112/blms.12158 , URL =
-
[18]
Barthel, Tobias and Castellana, Nat\`alia and Heard, Drew and Valenzuela, Gabriel , TITLE =. Adv. Math. , FJOURNAL =. 2019 , PAGES =. doi:10.1016/j.aim.2019.106733 , URL =
-
[19]
Benson, David and Iyengar, Srikanth B. and Krause, Henning , TITLE =. J. Topol. , FJOURNAL =. 2011 , NUMBER =. doi:10.1112/jtopol/jtr017 , URL =
-
[20]
Balmer, Paul , TITLE =. Amer. J. Math. , FJOURNAL =. 2007 , NUMBER =. doi:10.1353/ajm.2007.0030 , URL =
-
[21]
Benson, David and Iyengar, Srikanth B. and Krause, Henning , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2011 , NUMBER =. doi:10.4007/annals.2011.174.3.6 , URL =
-
[22]
Dell'Ambrogio, Ivo and Stanley, Donald , TITLE =. Pacific J. Math. , FJOURNAL =. 2016 , NUMBER =. doi:10.2140/pjm.2016.285.93 , URL =
-
[23]
Benson, David and Iyengar, Srikanth B. and Krause, Henning , TITLE =. Ann. Sci. \'. 2008 , NUMBER =. doi:10.24033/asens.2076 , URL =
-
[24]
Strickland, N. P. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1999 , NUMBER =. doi:10.1090/S0002-9947-99-02436-8 , URL =
-
[25]
Angeltveit, Vigleik , TITLE =. Geom. Topol. , FJOURNAL =. 2008 , NUMBER =. doi:10.2140/gt.2008.12.987 , URL =
-
[26]
Building bridges between algebra and topology , SERIES =
Stevenson, Greg , TITLE =. Building bridges between algebra and topology , SERIES =. 2018 , MRCLASS =
work page 2018
-
[27]
Morava K -theory of classifying spaces , NOTE =
Schuster, Bj\". Morava K -theory of classifying spaces , NOTE =
-
[28]
Mathew, Akhil , TITLE =. Adv. Math. , FJOURNAL =. 2016 , PAGES =. doi:10.1016/j.aim.2015.12.017 , URL =
-
[29]
Torus actions on stable module categories, Picard groups, and localizing subcategories. arXiv e-prints , keywords =. doi:10.48550/arXiv.1512.01716 , archivePrefix =. 1512.01716 , primaryClass =
-
[30]
Barthel, Tobias and Heard, Drew and Valenzuela, Gabriel , TITLE =. Adv. Math. , FJOURNAL =. 2018 , PAGES =. doi:10.1016/j.aim.2018.07.017 , URL =
-
[31]
Hall, Jack and Rydh, David , TITLE =. Compos. Math. , FJOURNAL =. 2017 , NUMBER =. doi:10.1112/S0010437X17007394 , URL =
-
[32]
Homotopy limits in triangulated categories , JOURNAL =
B\". Homotopy limits in triangulated categories , JOURNAL =. 1993 , NUMBER =
work page 1993
-
[33]
Mathew, Akhil and Naumann, Niko and Noel, Justin , TITLE =. Adv. Math. , FJOURNAL =. 2017 , PAGES =. doi:10.1016/j.aim.2016.09.027 , URL =
-
[34]
Geometric and topological aspects of the representation theory of finite groups , SERIES =
Mathew, Akhil , TITLE =. Geometric and topological aspects of the representation theory of finite groups , SERIES =. 2018 , MRCLASS =. doi:10.1007/978-3-319-94033-5_11 , URL =
-
[35]
Mathew, Akhil and Meier, Lennart , TITLE =. J. Topol. , FJOURNAL =. 2015 , NUMBER =. doi:10.1112/jtopol/jtv005 , URL =
-
[36]
Mathew, Akhil and Stojanoska, Vesna , TITLE =. Geom. Topol. , FJOURNAL =. 2016 , NUMBER =. doi:10.2140/gt.2016.20.3133 , URL =
-
[37]
Stojanoska, Vesna , TITLE =. Doc. Math. , FJOURNAL =. 2012 , PAGES =
work page 2012
-
[38]
Hovey, Mark and Palmieri, John H. and Strickland, Neil P. , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 1997 , NUMBER =. doi:10.1090/memo/0610 , URL =
-
[39]
Miller, Haynes , TITLE =. Bol. Soc. Mat. Mexicana (2) , FJOURNAL =. 1992 , NUMBER =
work page 1992
-
[40]
Neeman, Amnon , TITLE =. Topology , FJOURNAL =. 1992 , NUMBER =. doi:10.1016/0040-9383(92)90047-L , URL =
-
[41]
Thomason, R. W. , TITLE =. Compositio Math. , FJOURNAL =. 1997 , NUMBER =. doi:10.1023/A:1017932514274 , URL =
-
[42]
Keller, Bernhard , TITLE =. Manuscripta Math. , FJOURNAL =. 1994 , NUMBER =. doi:10.1007/BF02567453 , URL =
-
[43]
Neeman, Amnon , TITLE =. Topology , FJOURNAL =. 2000 , NUMBER =. doi:10.1016/S0040-9383(99)00040-3 , URL =
-
[44]
Stevenson, Greg , TITLE =. Homology Homotopy Appl. , FJOURNAL =. 2014 , NUMBER =. doi:10.4310/HHA.2014.v16.n2.a3 , URL =
-
[45]
Goerss, P. G. and Hopkins, M. J. , TITLE =. Structured ring spectra , SERIES =. 2004 , MRCLASS =. doi:10.1017/CBO9780511529955.009 , URL =
-
[46]
Hewett, Thomas , TITLE =. J. Algebra , FJOURNAL =. 1995 , NUMBER =. doi:10.1006/jabr.1995.1101 , URL =
-
[47]
Rognes, John , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2008 , NUMBER =. doi:10.1090/memo/0898 , URL =
-
[48]
Goerss, P. and Henn, H.-W. and Mahowald, M. and Rezk, C. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2005 , NUMBER =. doi:10.4007/annals.2005.162.777 , URL =
-
[49]
Heard, Drew and Mathew, Akhil and Stojanoska, Vesna , TITLE =. Compos. Math. , FJOURNAL =. 2017 , NUMBER =. doi:10.1112/S0010437X17007242 , URL =
-
[50]
Hovey, Mark and Strickland, Neil P. , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 1999 , NUMBER =. doi:10.1090/memo/0666 , URL =
- [51]
-
[52]
and Stapleton, Nathaniel , TITLE =
Barthel, Tobias and Schlank, Tomer M. and Stapleton, Nathaniel , TITLE =. Invent. Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00222-019-00943-9 , URL =
-
[53]
Balmer, Paul , TITLE =. Ann. Sci. \'. 2016 , NUMBER =. doi:10.24033/asens.2298 , URL =
-
[54]
Balmer, Paul , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2005 , PAGES =. doi:10.1515/crll.2005.2005.588.149 , URL =
-
[55]
Algebra Number Theory , FJOURNAL =
Balmer, Paul , TITLE =. Algebra Number Theory , FJOURNAL =. 2014 , NUMBER =. doi:10.2140/ant.2014.8.767 , URL =
-
[56]
Powell, Geoffrey M. L. , TITLE =. Homology Homotopy Appl. , FJOURNAL =. 2008 , NUMBER =
work page 2008
-
[57]
Tensor triangular geometry of filtered objects and sheaves , author=. 2020 , eprint=
work page 2020
-
[58]
Kock, Joachim and Pitsch, Wolfgang , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2017 , NUMBER =. doi:10.1090/tran/6773 , URL =
-
[59]
Triangulated categories , SERIES =
Krause, Henning , TITLE =. Triangulated categories , SERIES =. 2010 , MRCLASS =. doi:10.1017/CBO9781139107075.005 , URL =
-
[60]
Krause, Henning , TITLE =. Invent. Math. , FJOURNAL =. 2000 , NUMBER =. doi:10.1007/s002229900022 , URL =
-
[61]
Stratification in tensor triangular geometry with applications to spectral Mackey functors , author=. 2021 , eprint=
work page 2021
-
[62]
On conjectures of Hovey--Strickland and Chai , author=. 2020 , eprint=
work page 2020
-
[63]
Balmer, Paul and Sanders, Beren , TITLE =. Invent. Math. , FJOURNAL =. 2017 , NUMBER =. doi:10.1007/s00222-016-0691-3 , URL =
-
[64]
Balmer, Paul and Krause, Henning and Stevenson, Greg , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 2020 , NUMBER =. doi:10.1017/s0305004118000725 , URL =
- [65]
-
[66]
Greenlees, J. P. C. , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 2019 , NUMBER =. doi:10.1016/j.jpaa.2018.10.001 , URL =
-
[67]
Dickmann, Max and Schwartz, Niels and Tressl, Marcus , TITLE =. 2019 , PAGES =. doi:10.1017/9781316543870 , URL =
-
[68]
Algebra Number Theory , FJOURNAL =
Pauwels, Bregje , TITLE =. Algebra Number Theory , FJOURNAL =. 2017 , NUMBER =. doi:10.2140/ant.2017.11.1891 , URL =
-
[69]
Neeman, Amnon , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2018 , PAGES =. doi:10.1515/crelle-2015-0039 , URL =
- [70]
-
[71]
Benson, David and Iyengar, Srikanth B. and Krause, Henning , TITLE =. J. K-Theory , FJOURNAL =. 2013 , NUMBER =. doi:10.1017/is013001031jkt214 , URL =
-
[72]
Bachmann, Tom and Hoyois, Marc , TITLE =. Ast\'. 2021 , PAGES =. doi:10.24033/ast , URL =
-
[73]
arXiv preprint arXiv:2503.02839 , year=
Norms in equivariant homotopy theory , author=. arXiv preprint arXiv:2503.02839 , year=
-
[74]
Algebraic models of change of groups functors in (co)free rational equivariant spectra , journal =. 2022 , issn =. doi:https://doi.org/10.1016/j.jpaa.2022.107108 , url =
-
[75]
Benson, David and Carlson, Jon F. and Rickard, Jeremy , TITLE =. Fund. Math. , FJOURNAL =. 1997 , NUMBER =. doi:10.4064/fm-153-1-59-80 , URL =
-
[76]
Balmer, Paul and Carlson, Jon F. , TITLE =. Algebr. Represent. Theory , FJOURNAL =. 2018 , NUMBER =. doi:10.1007/s10468-017-9719-7 , URL =
-
[77]
Quillen, Daniel , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1971 , PAGES =. doi:10.2307/1970770 , URL =
-
[78]
Barnes, David , TITLE =. Homology Homotopy Appl. , FJOURNAL =. 2009 , NUMBER =
work page 2009
-
[79]
Equivariant topology and derived algebra , SERIES =
Barnes, David and K edziorek, Magdalena , TITLE =. Equivariant topology and derived algebra , SERIES =. 2022 , MRCLASS =
work page 2022
-
[80]
Greenlees, John P. C. and May, J. Peter , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 1995 , NUMBER =. doi:10.1090/memo/0543 , URL =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.