pith. machine review for the scientific record. sign in

arxiv: 2605.10280 · v1 · submitted 2026-05-11 · 🧮 math.AT

Recognition: no theorem link

The Galois theory of G-spectra and the Burnside ring

Luca Pol, Maxime Ramzi, Niko Naumann

Pith reviewed 2026-05-12 03:19 UTC · model grok-4.3

classification 🧮 math.AT
keywords Galois groupoidG-spectraBurnside ringétale fundamental groupoidequivariant homotopytable of marksfinite groups
0
0 comments X

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.

The paper establishes that the Galois groupoid of G-spectra, spectra with an action by a finite group G, is equivalent to the étale fundamental groupoid of the associated Burnside ring. This shows that a homotopy-theoretic construction reduces to a purely algebraic one. The result means Galois data can be read off from the table of marks of G via an explicit algorithm. A sympathetic reader would care because the equivalence replaces abstract equivariant constructions with concrete group-theoretic calculations.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

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)
  1. 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.
  2. 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

0 responses · 0 unresolved

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

0 steps flagged

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

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the established framework of stable homotopy categories with finite group actions and on the standard definition of the Burnside ring; no free parameters, ad-hoc axioms, or new entities are introduced in the abstract.

axioms (2)
  • standard math Standard axioms and constructions of equivariant stable homotopy theory for finite groups G.
    The Galois groupoid and G-spectra are defined using prior literature in algebraic topology.
  • standard math Standard definition of the Burnside ring and its étale fundamental groupoid.
    The algebraic side of the equivalence uses classical ring theory and algebraic geometry.

pith-pipeline@v0.9.0 · 5344 in / 1302 out tokens · 49716 ms · 2026-05-12T03:19:54.624780+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

137 extracted references · 137 canonical work pages · 1 internal anchor

  1. [1]

    Naumann, Niko and Pol, Luca , TITLE =. Adv. Math. , FJOURNAL =. 2024 , PAGES =. doi:10.1016/j.aim.2024.109736 , URL =

  2. [2]

    Kremer, Christian , title =

  3. [3]

    Ramzi, Maxime , title =

  4. [4]

    Mathematische Zeitschrift , volume=

    Smooth compact Lie group actions on disks , author=. Mathematische Zeitschrift , volume=. 1976 , publisher=

  5. [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. [6]

    Lurie, Jacob , TITLE =

  7. [7]

    Balmer, Paul , TITLE =. Adv. Math. , FJOURNAL =. 2011 , NUMBER =. doi:10.1016/j.aim.2010.12.003 , URL =

  8. [8]

    Balmer, Paul , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2015 , NUMBER =. doi:10.4171/JEMS/501 , URL =

  9. [9]

    Balmer, Paul and Favi, Giordano , TITLE =. Proc. Lond. Math. Soc. (3) , FJOURNAL =. 2011 , NUMBER =. doi:10.1112/plms/pdq050 , URL =

  10. [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. [11]

    2017 , note =

    Lurie, Jacob , title = ". 2017 , note =

  12. [12]

    , TITLE =

    Johnstone, Peter T. , TITLE =. 1986 , PAGES =

  13. [13]

    1998 , PAGES =

    Mac Lane, Saunders , TITLE =. 1998 , PAGES =

  14. [14]

    2022 , KEYWORDS =

    Beren Sanders , URL =. 2022 , KEYWORDS =. doi:10.46298/epiga.2022.volume6.7641 , JOURNAL =

  15. [15]

    , TITLE =

    Hochster, M. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1969 , PAGES =. doi:10.2307/1995344 , URL =

  16. [16]

    2009 , PAGES =

    Lurie, Jacob , TITLE =. 2009 , PAGES =. doi:10.1515/9781400830558 , URL =

  17. [17]

    Balmer, Paul , TITLE =. Bull. Lond. Math. Soc. , FJOURNAL =. 2018 , NUMBER =. doi:10.1112/blms.12158 , URL =

  18. [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. [19]

    and Krause, Henning , TITLE =

    Benson, David and Iyengar, Srikanth B. and Krause, Henning , TITLE =. J. Topol. , FJOURNAL =. 2011 , NUMBER =. doi:10.1112/jtopol/jtr017 , URL =

  20. [20]

    Balmer, Paul , TITLE =. Amer. J. Math. , FJOURNAL =. 2007 , NUMBER =. doi:10.1353/ajm.2007.0030 , URL =

  21. [21]

    and Krause, Henning , TITLE =

    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. [22]

    Pacific J

    Dell'Ambrogio, Ivo and Stanley, Donald , TITLE =. Pacific J. Math. , FJOURNAL =. 2016 , NUMBER =. doi:10.2140/pjm.2016.285.93 , URL =

  23. [23]

    and Krause, Henning , TITLE =

    Benson, David and Iyengar, Srikanth B. and Krause, Henning , TITLE =. Ann. Sci. \'. 2008 , NUMBER =. doi:10.24033/asens.2076 , URL =

  24. [24]

    Strickland, N. P. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1999 , NUMBER =. doi:10.1090/S0002-9947-99-02436-8 , URL =

  25. [25]

    Angeltveit, Vigleik , TITLE =. Geom. Topol. , FJOURNAL =. 2008 , NUMBER =. doi:10.2140/gt.2008.12.987 , URL =

  26. [26]

    Building bridges between algebra and topology , SERIES =

    Stevenson, Greg , TITLE =. Building bridges between algebra and topology , SERIES =. 2018 , MRCLASS =

  27. [27]

    Morava K -theory of classifying spaces , NOTE =

    Schuster, Bj\". Morava K -theory of classifying spaces , NOTE =

  28. [28]

    Mathew, Akhil , TITLE =. Adv. Math. , FJOURNAL =. 2016 , PAGES =. doi:10.1016/j.aim.2015.12.017 , URL =

  29. [29]

    arXiv e-prints , keywords =

    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. [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. [31]

    Hall, Jack and Rydh, David , TITLE =. Compos. Math. , FJOURNAL =. 2017 , NUMBER =. doi:10.1112/S0010437X17007394 , URL =

  32. [32]

    Homotopy limits in triangulated categories , JOURNAL =

    B\". Homotopy limits in triangulated categories , JOURNAL =. 1993 , NUMBER =

  33. [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. [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. [35]

    Mathew, Akhil and Meier, Lennart , TITLE =. J. Topol. , FJOURNAL =. 2015 , NUMBER =. doi:10.1112/jtopol/jtv005 , URL =

  36. [36]

    Mathew, Akhil and Stojanoska, Vesna , TITLE =. Geom. Topol. , FJOURNAL =. 2016 , NUMBER =. doi:10.2140/gt.2016.20.3133 , URL =

  37. [37]

    Stojanoska, Vesna , TITLE =. Doc. Math. , FJOURNAL =. 2012 , PAGES =

  38. [38]

    and Strickland, Neil P

    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. [39]

    Miller, Haynes , TITLE =. Bol. Soc. Mat. Mexicana (2) , FJOURNAL =. 1992 , NUMBER =

  40. [40]

    Topology , FJOURNAL =

    Neeman, Amnon , TITLE =. Topology , FJOURNAL =. 1992 , NUMBER =. doi:10.1016/0040-9383(92)90047-L , URL =

  41. [41]

    Thomason, R. W. , TITLE =. Compositio Math. , FJOURNAL =. 1997 , NUMBER =. doi:10.1023/A:1017932514274 , URL =

  42. [42]

    Manuscripta Math

    Keller, Bernhard , TITLE =. Manuscripta Math. , FJOURNAL =. 1994 , NUMBER =. doi:10.1007/BF02567453 , URL =

  43. [43]

    Topology , FJOURNAL =

    Neeman, Amnon , TITLE =. Topology , FJOURNAL =. 2000 , NUMBER =. doi:10.1016/S0040-9383(99)00040-3 , URL =

  44. [44]

    Homology Homotopy Appl

    Stevenson, Greg , TITLE =. Homology Homotopy Appl. , FJOURNAL =. 2014 , NUMBER =. doi:10.4310/HHA.2014.v16.n2.a3 , URL =

  45. [45]

    Goerss, P. G. and Hopkins, M. J. , TITLE =. Structured ring spectra , SERIES =. 2004 , MRCLASS =. doi:10.1017/CBO9780511529955.009 , URL =

  46. [46]

    Hewett, Thomas , TITLE =. J. Algebra , FJOURNAL =. 1995 , NUMBER =. doi:10.1006/jabr.1995.1101 , URL =

  47. [47]

    Rognes, John , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2008 , NUMBER =. doi:10.1090/memo/0898 , URL =

  48. [48]

    and Henn, H.-W

    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. [49]

    Heard, Drew and Mathew, Akhil and Stojanoska, Vesna , TITLE =. Compos. Math. , FJOURNAL =. 2017 , NUMBER =. doi:10.1112/S0010437X17007242 , URL =

  50. [50]

    , TITLE =

    Hovey, Mark and Strickland, Neil P. , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 1999 , NUMBER =. doi:10.1090/memo/0666 , URL =

  51. [51]

    1977 , PAGES =

    Serre, Jean-Pierre , TITLE =. 1977 , PAGES =

  52. [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. [53]

    Balmer, Paul , TITLE =. Ann. Sci. \'. 2016 , NUMBER =. doi:10.24033/asens.2298 , URL =

  54. [54]

    Balmer, Paul , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2005 , PAGES =. doi:10.1515/crll.2005.2005.588.149 , URL =

  55. [55]

    Algebra Number Theory , FJOURNAL =

    Balmer, Paul , TITLE =. Algebra Number Theory , FJOURNAL =. 2014 , NUMBER =. doi:10.2140/ant.2014.8.767 , URL =

  56. [56]

    Powell, Geoffrey M. L. , TITLE =. Homology Homotopy Appl. , FJOURNAL =. 2008 , NUMBER =

  57. [57]

    2020 , eprint=

    Tensor triangular geometry of filtered objects and sheaves , author=. 2020 , eprint=

  58. [58]

    Kock, Joachim and Pitsch, Wolfgang , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2017 , NUMBER =. doi:10.1090/tran/6773 , URL =

  59. [59]

    Triangulated categories , SERIES =

    Krause, Henning , TITLE =. Triangulated categories , SERIES =. 2010 , MRCLASS =. doi:10.1017/CBO9781139107075.005 , URL =

  60. [60]

    Krause, Henning , TITLE =. Invent. Math. , FJOURNAL =. 2000 , NUMBER =. doi:10.1007/s002229900022 , URL =

  61. [61]

    2021 , eprint=

    Stratification in tensor triangular geometry with applications to spectral Mackey functors , author=. 2021 , eprint=

  62. [62]

    2020 , eprint=

    On conjectures of Hovey--Strickland and Chai , author=. 2020 , eprint=

  63. [63]

    Balmer, Paul and Sanders, Beren , TITLE =. Invent. Math. , FJOURNAL =. 2017 , NUMBER =. doi:10.1007/s00222-016-0691-3 , URL =

  64. [64]

    Balmer, Paul and Krause, Henning and Stevenson, Greg , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 2020 , NUMBER =. doi:10.1017/s0305004118000725 , URL =

  65. [65]

    2021 , eprint=

    Big categories, big spectra , author=. 2021 , eprint=

  66. [66]

    Greenlees, J. P. C. , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 2019 , NUMBER =. doi:10.1016/j.jpaa.2018.10.001 , URL =

  67. [67]

    2019 , PAGES =

    Dickmann, Max and Schwartz, Niels and Tressl, Marcus , TITLE =. 2019 , PAGES =. doi:10.1017/9781316543870 , URL =

  68. [68]

    Algebra Number Theory , FJOURNAL =

    Pauwels, Bregje , TITLE =. Algebra Number Theory , FJOURNAL =. 2017 , NUMBER =. doi:10.2140/ant.2017.11.1891 , URL =

  69. [69]

    Neeman, Amnon , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2018 , PAGES =. doi:10.1515/crelle-2015-0039 , URL =

  70. [70]

    1998 , PAGES =

    Benson, David , TITLE =. 1998 , PAGES =

  71. [71]

    and Krause, Henning , TITLE =

    Benson, David and Iyengar, Srikanth B. and Krause, Henning , TITLE =. J. K-Theory , FJOURNAL =. 2013 , NUMBER =. doi:10.1017/is013001031jkt214 , URL =

  72. [72]

    Bachmann, Tom and Hoyois, Marc , TITLE =. Ast\'. 2021 , PAGES =. doi:10.24033/ast , URL =

  73. [73]

    arXiv preprint arXiv:2503.02839 , year=

    Norms in equivariant homotopy theory , author=. arXiv preprint arXiv:2503.02839 , year=

  74. [74]

    2022 , issn =

    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. [75]

    and Rickard, Jeremy , TITLE =

    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. [76]

    , TITLE =

    Balmer, Paul and Carlson, Jon F. , TITLE =. Algebr. Represent. Theory , FJOURNAL =. 2018 , NUMBER =. doi:10.1007/s10468-017-9719-7 , URL =

  77. [77]

    Quillen, Daniel , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1971 , PAGES =. doi:10.2307/1970770 , URL =

  78. [78]

    Homology Homotopy Appl

    Barnes, David , TITLE =. Homology Homotopy Appl. , FJOURNAL =. 2009 , NUMBER =

  79. [79]

    Equivariant topology and derived algebra , SERIES =

    Barnes, David and K edziorek, Magdalena , TITLE =. Equivariant topology and derived algebra , SERIES =. 2022 , MRCLASS =

  80. [80]

    Greenlees, John P. C. and May, J. Peter , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 1995 , NUMBER =. doi:10.1090/memo/0543 , URL =

Showing first 80 references.