pith. sign in

arxiv: 2606.23309 · v1 · pith:5FUXG7EGnew · submitted 2026-06-22 · 🧮 math.AT · math.KT

Structured Real Snaith Equivalences

Ryan Quinn , Qi Zhu This is my paper

Pith reviewed 2026-06-26 05:59 UTC · model grok-4.3

classification 🧮 math.AT math.KT
keywords Real Snaith equivalencesWilson space theoryE6-complex orientationsReal Brown-Peterson theoryTHR computationsE∞-ring spectranilpotence theoremequivariant homotopy
0
0 comments X

The pith

Real Snaith equivalences receive short proofs and E6-refinements through Wilson space control of structured Real orientations on even periodic ring spectra.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper supplies a short proof of the Real Snaith equivalences together with their multiplicative refinements. Control over structured Real orientations is obtained by extending Wilson space theory, which produces E6-complex orientations for even periodic E∞-ring spectra. The same machinery recovers an E2ρ-algebra structure on Real Brown-Peterson theory. A norm-inverted form of the equivalences is established via the nilpotence theorem and then used to compute THR of KU_R and of MUP_R. A sympathetic reader would care because the equivalences become more accessible for calculations in equivariant homotopy and K-theory.

Core claim

We give a short proof of the Real Snaith equivalences and multiplicative refinements thereof. The key ingredient is control over structured Real orientations, which we manage through Wilson space theory. In particular, we develop a theory that produces E6-complex orientations of even periodic E∞-ring spectra. This machinery can be used to recover an E2ρ-algebra structure on Real Brown-Peterson theory. We apply the Real Snaith theorems to compute THR(KU_R) and THR(MUP_R). This requires a norm inverted variant of the Real Snaith theorems, which we prove via the nilpotence theorem.

What carries the argument

Wilson space theory that produces E6-complex orientations of even periodic E∞-ring spectra in the Real setting.

If this is right

  • The Real Snaith equivalences hold with multiplicative refinements.
  • Real Brown-Peterson theory carries an E2ρ-algebra structure.
  • THR(KU_R) and THR(MUP_R) admit explicit computations once the norm-inverted Real Snaith theorems are available.
  • Even periodic E∞-ring spectra in the Real setting admit E6-complex orientations.

Where Pith is reading between the lines

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

  • The same orientation machinery may apply to other periodic ring spectra beyond the two treated here.
  • Structured Real orientations could shorten proofs of further equivariant periodicity results.
  • The nilpotence-based argument for the norm-inverted variant might extend to additional forms of the Snaith theorems.

Load-bearing premise

Wilson space theory can be developed or applied in the Real setting to produce E6-complex orientations of even periodic E∞-ring spectra.

What would settle it

An explicit even periodic E∞-ring spectrum in the Real setting for which no E6-complex orientation can be constructed by the Wilson space method, or failure to recover the claimed E2ρ-algebra structure on Real Brown-Peterson theory.

read the original abstract

We give a short proof of the Real Snaith equivalences and multiplicative refinements thereof. The key ingredient is control over structured Real orientations, which we manage through Wilson space theory. In particular, we develop a theory that produces $\mathbb{E}_6$-complex orientations of even periodic $\mathbb{E}_{\infty}$-ring spectra. This machinery can be used to recover an $\mathbb{E}_{2\rho}$-algebra structure on Real Brown-Peterson theory. We apply the Real Snaith theorems to compute $\mathrm{THR}(\mathrm{KU}_{\mathbb{R}})$ and $\mathrm{THR}(\mathrm{MUP}_{\mathbb{R}})$. This requires a norm inverted variant of the Real Snaith theorems, which we prove via the nilpotence theorem.

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 claims to give a short proof of the Real Snaith equivalences and their multiplicative refinements. The central technique is control of structured Real orientations via an extension of Wilson space theory, which is used to produce E6-complex orientations of even periodic E∞-ring spectra. This machinery recovers an E2ρ-algebra structure on Real Brown-Peterson theory. The Real Snaith theorems are then applied to compute THR(KU_R) and THR(MUP_R), for which a norm-inverted variant is proved using the nilpotence theorem.

Significance. If the derivations hold, the work supplies a streamlined route to the Real Snaith equivalences together with new structured refinements and concrete computations of Real topological Hochschild homology. The extension of Wilson space theory to produce E6-complex orientations in the Real setting would be a useful addition to the toolkit for equivariant ring spectra.

minor comments (2)
  1. The abstract refers to 'even periodic E∞-ring spectra' and 'E6-complex orientations' without an immediate definition or reference; a brief clarification of these terms in §1 would aid readers.
  2. The statement that the norm-inverted variant is proved 'via the nilpotence theorem' would benefit from an explicit citation to the precise form of the theorem employed.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their report on our manuscript. The recommendation is uncertain, but no specific major comments are provided in the report. We remain available to address any concrete concerns that may be raised.

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external inputs

full rationale

The abstract presents a proof strategy that invokes Wilson space theory (developed in the paper) and the nilpotence theorem (an external result) as key ingredients for structured Real orientations and the Real Snaith equivalences. No equations, self-citations, or fitted parameters are supplied in the provided text that would reduce any claimed result to a definition or prior self-citation by construction. The central claims are positioned as applications of independently developed machinery rather than tautological restatements of inputs. Full manuscript details are referenced but unavailable here, precluding identification of any load-bearing circular steps.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Only the abstract is supplied, so the ledger is necessarily incomplete. The paper invokes Wilson space theory and the nilpotence theorem as background; no free parameters or invented entities are mentioned.

axioms (2)
  • domain assumption Nilpotence theorem applies to the norm-inverted variant of the Real Snaith theorems
    Abstract states that the norm-inverted variant is proved via the nilpotence theorem.
  • domain assumption Wilson space theory extends to the Real setting to control structured orientations
    Abstract identifies Wilson space theory as the key ingredient for producing E6 orientations.

pith-pipeline@v0.9.1-grok · 5644 in / 1452 out tokens · 24657 ms · 2026-06-26T05:59:39.876495+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Structured Quotients in Real Homotopy Theory

    math.AT 2026-06 unverdicted novelty 6.0

    Authors construct ring involution structures on quotients of Real bordism, orient Lubin-Tate theory via truncated Brown-Peterson spectra, and characterize equivalences after chromatic localization.

Reference graph

Works this paper leans on

299 extracted references · 133 canonical work pages · cited by 1 Pith paper

  1. [1]

    Mahowald, Mark and Rezk, Charles , title =. Am. J. Math. , issn =. 1999 , language =. doi:10.1353/ajm.1999.0043 , keywords =

    work page doi:10.1353/ajm.1999.0043 1999

  2. [2]

    1995 , issn =

    Finite Subgroups of Division Algebras over Local Fields , journal =. 1995 , issn =. doi:https://doi.org/10.1006/jabr.1995.1101 , url =

    work page doi:10.1006/jabr.1995.1101 1995

  3. [3]

    , title =

    Carrick, Christian and Hill, Michael A. , title =. Proc. Am. Math. Soc., Ser. B , issn =. 2025 , language =. doi:10.1090/bproc/265 , keywords =

    work page doi:10.1090/bproc/265 2025

  4. [4]

    Topological

    Angeltveit, Vigleik , year=. Topological Hochschild homology and cohomology ofA∞ring spectra , volume=. Geometry & Topology , publisher=. doi:10.2140/gt.2008.12.987 , number=

    work page doi:10.2140/gt.2008.12.987 2008

  5. [5]

    Strickland, N. P. , title =. Trans. Am. Math. Soc. , issn =. 1999 , language =. doi:10.1090/S0002-9947-99-02436-8 , keywords =

    work page doi:10.1090/s0002-9947-99-02436-8 1999

  6. [6]

    Multiplicative structures on

    Robert Burklund , year=. Multiplicative structures on. 2203.14787 , archivePrefix=

    arXiv

  7. [7]

    Hopkins, M. J. and Lurie, J. , month=. Ambidexterity in. 2013 , NOTE =

    2013

  8. [8]

    Rotation invariance in algebraic

    Lurie, Jacob , month=. Rotation invariance in algebraic. 2015 , NOTE =

    2015

  9. [9]

    Hill and XiaoLin Danny Shi and Mingcong Zeng , keywords =

    Agnès Beaudry and Michael A. Hill and XiaoLin Danny Shi and Mingcong Zeng , keywords =. Models of. Advances in Mathematics , volume =. 2021 , issn =. doi:https://doi.org/10.1016/j.aim.2021.108020 , url =

    work page doi:10.1016/j.aim.2021.108020 2021

  10. [10]

    Multiplicative structure in the stable splitting of

    Jeremy Hahn and Allen Yuan , keywords =. Multiplicative structure in the stable splitting of. Advances in Mathematics , volume =. 2019 , issn =. doi:https://doi.org/10.1016/j.aim.2019.03.022 , url =

    work page doi:10.1016/j.aim.2019.03.022 2019

  11. [11]

    Hill, M. A. and Hopkins, M. J. , TITLE =. Algebraic topology: applications and new directions , SERIES =. 2014 , ISBN =. doi:10.1090/conm/620/12372 , URL =

    work page doi:10.1090/conm/620/12372 2014

  12. [12]

    Petersen, Sarah , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2024 , NUMBER =. doi:10.2140/agt.2024.24.4487 , URL =

    work page doi:10.2140/agt.2024.24.4487 2024

  13. [13]

    2018 , eprint=

    Quotients of even rings , author=. 2018 , eprint=

    2018

  14. [14]

    GENERALIZED

    Basu, Samik and Sagave, Steffen and Schlichtkrull, Christian , year=. GENERALIZED THOM SPECTRA AND THEIR TOPOLOGICAL HOCHSCHILD HOMOLOGY , volume=. Journal of the Institute of Mathematics of Jussieu , publisher=. doi:10.1017/s1474748017000421 , number=

    work page doi:10.1017/s1474748017000421

  15. [15]

    Redshift and multiplication for truncated Brown-Peterson spectra, ar

    Jeremy Hahn and Dylan Wilson , year=. Redshift and multiplication for truncated Brown-Peterson spectra, ar. 2012.00864v2 , archivePrefix=

    arXiv 2012

  16. [17]

    Multiplicative Equivariant Thom Spectra

    Ryan Quinn and Qi Zhu , year=. Multiplicative Equivariant Thom Spectra. 2512.15573 , archivePrefix=

    Pith/arXiv arXiv

  17. [18]

    Beaudry, Agn\`es and Bobkova, Irina and Hill, Michael and Stojanoska, Vesna , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2020 , NUMBER =. doi:10.2140/agt.2020.20.3423 , URL =

    work page doi:10.2140/agt.2020.20.3423 2020

  18. [19]

    The Slice Spectral Sequence of a

    Hill, Michael and Shi, XiaoLin and Wang, Guozhen and Xu, Zhouli , volume=. The Slice Spectral Sequence of a. 2023 , publisher=

    2023

  19. [20]

    Vanishing lines in chromatic homotopy theory , volume=

    Duan, Zhipeng and Li, Guchuan and Shi, XiaoLin Danny , year=. Vanishing lines in chromatic homotopy theory , volume=. Algebr. Geom. Topol. , FJOURNAL =. doi:10.2140/gt.2025.29.903 , number=

    work page doi:10.2140/gt.2025.29.903 2025

  20. [21]

    Heard, Drew and Li, Guchuan and Shi, XiaoLin Danny , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2021 , NUMBER =. doi:10.2140/agt.2021.21.2703 , URL =

    work page doi:10.2140/agt.2021.21.2703 2021

  21. [22]

    2025 , eprint=

    On higher real K -theories and finite spectra , author=. 2025 , eprint=

    2025

  22. [23]

    Carrick, Christian , TITLE =. J. Homotopy Relat. Struct. , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s40062-022-00310-1 , URL =

    work page doi:10.1007/s40062-022-00310-1 2022

  23. [24]

    and Hill, Michael A

    Blumberg, Andrew J. and Hill, Michael A. , year=. G-symmetric monoidal categories of modules over equivariant commutative ring spectra , volume=. Tunisian Journal of Mathematics , publisher=. doi:10.2140/tunis.2020.2.237 , number=

    work page doi:10.2140/tunis.2020.2.237 2020

  24. [25]

    Current developments in mathematics , volume=

    The Arf-Kervaire problem in algebraic topology: Sketch of the proof , author=. Current developments in mathematics , volume=. 2010 , publisher=

    2010

  25. [26]

    2022 , eprint=

    Obstruction theory and the level n elliptic genus , author=. 2022 , eprint=

    2022

  26. [27]

    Meier, Lennart , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2023 , NUMBER =. doi:10.2140/agt.2023.23.3553 , URL =

    work page doi:10.2140/agt.2023.23.3553 2023

  27. [28]

    Real-oriented homotopy theory and an analogue of the

    Po Hu and Igor Kriz , keywords =. Real-oriented homotopy theory and an analogue of the. Topology , volume =. 2001 , issn =. doi:https://doi.org/10.1016/S0040-9383(99)00065-8 , url =

    work page doi:10.1016/s0040-9383(99)00065-8 2001

  28. [29]

    Schlank , year=

    Robert Burklund and Jeremy Hahn and Ishan Levy and Tomer M. Schlank , year=. 2310.17459 , archivePrefix=

    arXiv

  29. [30]

    Nilpotence in

    Jeremy Hahn , year=. Nilpotence in. 1707.00956 , archivePrefix=

    Pith/arXiv arXiv

  30. [31]

    2020 , month = sep, note =

    Jeremy Hahn , title =. 2020 , month = sep, note =

    2020

  31. [32]

    Devinatz and Michael J

    Ethan S. Devinatz and Michael J. Hopkins and Jeffrey H. Smith , journal =. Nilpotence and Stable Homotopy Theory

  32. [33]

    Journal of Topology , volume =

    Mathew, Akhil and Naumann, Niko and Noel, Justin , title =. Journal of Topology , volume =. doi:https://doi.org/10.1112/jtopol/jtv021 , url =. https://londmathsoc.onlinelibrary.wiley.com/doi/pdf/10.1112/jtopol/jtv021 , abstract =

    work page doi:10.1112/jtopol/jtv021

  33. [34]

    Hill , abstract =

    Michael A. Hill , abstract =. On the algebras over equivariant little disks , journal =. 2022 , issn =. doi:https://doi.org/10.1016/j.jpaa.2022.107052 , url =

    work page doi:10.1016/j.jpaa.2022.107052 2022

  34. [35]

    2019 , eprint=

    Genuine equivariant factorization homology , author=. 2019 , eprint=

    2019

  35. [36]

    Proceedings of the American Mathematical Society , note =

    A Thom Spectrum Model for C_2 -Integral Brown--Gitler Spectra , author =. Proceedings of the American Mathematical Society , note =

  36. [37]

    Geometry & Topology , number =

    Jeremy Hahn and Dylan Wilson , title =. Geometry & Topology , number =. 2020 , doi =

    2020

  37. [38]

    2000 , month =

    Algebraic K-theory of finitely presented ring spectra , author =. 2000 , month =

    2000

  38. [39]

    2025 , eprint=

    Slice spectral sequences through synthetic spectra , author=. 2025 , eprint=

    2025

  39. [40]

    Gaunce and Mandell, Michael A

    Lewis Jr, L. Gaunce and Mandell, Michael A. , title =. Proceedings of the London Mathematical Society , volume =. doi:https://doi.org/10.1112/S0024611505015492 , url =. https://londmathsoc.onlinelibrary.wiley.com/doi/pdf/10.1112/S0024611505015492 , abstract =

    work page doi:10.1112/s0024611505015492

  40. [41]

    Publications of the Research Institute for Mathematical Sciences , year =

    Shimakawa, Kazuhisa , title =. Publications of the Research Institute for Mathematical Sciences , year =

  41. [42]

    Osaka Journal of Mathematics , number =

    Kazuhisa Shimakawa , title =. Osaka Journal of Mathematics , number =

  42. [43]

    Segal, Graeme , title =

  43. [44]

    Advances in Mathematics , volume =

    Multiplicative equivariant. Advances in Mathematics , volume =. 2023 , issn =. doi:https://doi.org/10.1016/j.aim.2023.108865 , url =

    work page doi:10.1016/j.aim.2023.108865 2023

  44. [45]

    Multifunctorial

    Donald Yau , year=. Multifunctorial. 2404.02794 , archivePrefix=

    arXiv

  45. [46]

    Peter May , journal=

    Bertrand Guillou and J. Peter May , journal=. Equivariant iterated loop space theory and permutative. 2017 , volume=

    2017

  46. [47]

    2022 , month =

    Guillou, Bert , title =. 2022 , month =

    2022

  47. [48]

    , title =

    Hill, Michael A. , title =. Journal of Topology , volume =. doi:https://doi.org/10.1112/topo.12227 , url =. https://londmathsoc.onlinelibrary.wiley.com/doi/pdf/10.1112/topo.12227 , year =

    work page doi:10.1112/topo.12227

  48. [49]

    Atiyah, M. F. , year =. K-. The Quarterly Journal of Mathematics , volume =. https://academic.oup.com/qjmath/article-pdf/17/1/367/7295753/17-1-367.pdf , pages =

  49. [50]

    Homology, Homotopy and Applications , volume=

    The Equivariant Slice Filtration: A Primer , author=. Homology, Homotopy and Applications , volume=

  50. [51]

    , TITLE =

    Chadwick, Steven Greg and Mandell, Michael A. , TITLE =. Geom. Topol. , FJOURNAL =. 2015 , NUMBER =. doi:10.2140/gt.2015.19.3193 , URL =

    work page doi:10.2140/gt.2015.19.3193 2015

  51. [52]

    Greenlees, J. P. C. , TITLE =. An alpine bouquet of algebraic topology , SERIES =. 2018 , ISBN =. doi:10.1090/conm/708/14261 , URL =

    work page doi:10.1090/conm/708/14261 2018

  52. [53]

    Greenlees, J. P. C. and Meier, Lennart , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2017 , NUMBER =. doi:10.2140/agt.2017.17.3547 , URL =

    work page doi:10.2140/agt.2017.17.3547 2017

  53. [54]

    2013 , PAGES =

    Ullman, John Richard , TITLE =. 2013 , PAGES =

    2013

  54. [55]

    Hill, M. A. and Hopkins, M. J. and Ravenel, D. C. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2016 , NUMBER =. doi:10.4007/annals.2016.184.1.1 , URL =

    work page doi:10.4007/annals.2016.184.1.1 2016

  55. [56]

    K -Theory , FJOURNAL =

    Dugger, Daniel , TITLE =. K -Theory , FJOURNAL =. 2005 , NUMBER =. doi:10.1007/s10977-005-1552-9 , URL =

    work page doi:10.1007/s10977-005-1552-9 2005

  56. [57]

    Gabriel Angelini-Knoll and Hana Jia Kong and J. D. Quigley , year=. Real. 2505.24734 , archivePrefix=

    arXiv

  57. [58]

    2024 , eprint=

    A motivic filtration on the topological cyclic homology of commutative ring spectra , author=. 2024 , eprint=

    2024

  58. [59]

    and Hopkins, Michael J

    Hill, Michael A. and Hopkins, Michael J. , year=. Real. 1806.11033 , archivePrefix=

    Pith/arXiv arXiv

  59. [60]

    Real Orientations of

    Hahn, Jeremy and Shi, XiaoLin Danny , year =. Real Orientations of. Inventiones mathematicae , volume =. doi:10.1007/s00222-020-00960-z , abstract =

    work page doi:10.1007/s00222-020-00960-z

  60. [61]

    Hill, Michael and Meier, Lennart , journal=. The. 2017 , publisher=

    2017

  61. [62]

    2023 , type =

    Roytman, Bar , title =. 2023 , type =

    2023

  62. [63]

    2024 , eprint=

    Normed equivariant ring spectra and higher Tambara functors , author=. 2024 , eprint=

    2024

  63. [64]

    Santhanam, Rekha , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2011 , NUMBER =. doi:10.2140/agt.2011.11.1361 , URL =

    work page doi:10.2140/agt.2011.11.1361 2011

  64. [65]

    Stephen , journal =

    Wilson, W. Stephen , journal =. The

  65. [66]

    Hill and Douglas C

    Christian Carrick and Michael A. Hill and Douglas C. Ravenel , keywords =. The homological slice spectral sequence in motivic and Real bordism , journal =. 2024 , issn =. doi:https://doi.org/10.1016/j.aim.2024.109955 , url =

    work page doi:10.1016/j.aim.2024.109955 2024

  66. [67]

    To appear , year=

    Filter Quotient Model Categories , author=. To appear , year=

  67. [68]

    Theory Appl

    Rasekh, Nima , TITLE =. Theory Appl. Categ. , FJOURNAL =. 2021 , PAGES =

    2021

  68. [69]

    arXiv preprint , year=

    Shadows are Bicategorical Traces , author=. arXiv preprint , year=

  69. [70]

    Constructing Coproducts in locally

    Frey, Jonas and Rasekh, Nima , journal=. Constructing Coproducts in locally. 2021 , NOTE =

    2021

  70. [71]

    Yoneda lemma for

    Rasekh, Nima , journal=. Yoneda lemma for. 2021 , NOTE =

    2021

  71. [72]

    Cartesian Fibrations of Complete

    Rasekh, Nima , journal=. Cartesian Fibrations of Complete. 2021 , NOTE =

    2021

  72. [73]

    Rasekh, Nima , TITLE =. J. Homotopy Relat. Struct. , FJOURNAL =. 2021 , ISSN =. doi:10.1007/s40062-021-00288-2 , URL =

    work page doi:10.1007/s40062-021-00288-2 2021

  73. [74]

    arXiv preprint , year=

    Univalence in Higher Category Theory , author=. arXiv preprint , year=

  74. [75]

    Rasekh, Nima and Stonek, Bruno , TITLE =. Abh. Math. Semin. Univ. Hambg. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s12188-020-00226-8 , URL =

    work page doi:10.1007/s12188-020-00226-8 2020

  75. [76]

    Thom spectra, higher

    Rasekh, Nima and Stonek, Bruno and Valenzuela, Gabriel , Journal=. Thom spectra, higher. 2019 , NOTE =

    2019

  76. [77]

    2018 , NOTE =

    A theory of elementary higher toposes , author=. 2018 , NOTE =

    2018

  77. [78]

    arXiv preprint , year=

    A Model for the Higher Category of Higher Categories , author=. arXiv preprint , year=

  78. [79]

    arXiv preprint , year=

    Yoneda lemma for simplicial spaces , author=. arXiv preprint , year=

  79. [80]

    arXiv preprint , year=

    Cartesian fibrations and representability , author=. arXiv preprint , year=

  80. [81]

    arXiv preprint , year=

    Yoneda Lemma for Elementary Higher Toposes , author=. arXiv preprint , year=

Showing first 80 references.