pith. sign in

arxiv: 2606.25898 · v1 · pith:FNUSJSILnew · submitted 2026-06-24 · 🧮 math.AT

Structured Quotients in Real Homotopy Theory

Pith reviewed 2026-06-25 19:07 UTC · model grok-4.3

classification 🧮 math.AT
keywords real bordismbrown-peterson spectralubin-tate theorychromatic localizationring involutionquotientstranschromatic isomorphism
0
0 comments X

The pith

Quotients of Real bordism carry a ring involution that orients Lubin-Tate theory with higher truncated Brown-Peterson spectra and characterizes their chromatic localizations.

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

The paper constructs a ring involution on quotients of Real bordism, with the truncated Real Brown-Peterson spectra serving as central examples. These involutions produce orientations of Lubin-Tate theory by the higher truncated Brown-Peterson spectra. The resulting orientations function as input for the transchromatic isomorphism theorem and yield a characterization of precisely which higher truncated Brown-Peterson spectra become equivalent to a form of Lubin-Tate theory after chromatic localization.

Core claim

We equip quotients of Real bordism with the structure of a ring involution, an important source of examples being the truncated Real Brown-Peterson spectra. Motivated by this, we orient Lubin-Tate theory by higher truncated Brown-Peterson spectra, which is a key input for the transchromatic isomorphism theorem. We use these orientations to characterize the higher truncated Brown-Peterson spectra that are equivalent to a form of Lubin-Tate theory after chromatic localization.

What carries the argument

The ring involution structure placed on quotients of Real bordism, which induces the orientations of Lubin-Tate theory by higher truncated Brown-Peterson spectra.

If this is right

  • Higher truncated Brown-Peterson spectra supply orientations for Lubin-Tate theory.
  • The ring involution distinguishes which truncated spectra match a form of Lubin-Tate theory after chromatic localization.
  • The construction supplies the input needed for the transchromatic isomorphism theorem.
  • Quotients of Real bordism beyond the Brown-Peterson case inherit compatible involution structures.

Where Pith is reading between the lines

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

  • The same involution technique may apply to other quotients arising in bordism theories with involution.
  • The characterization could be used to identify new examples where chromatic localization simplifies computations of homotopy groups.
  • Analogous ring involutions might appear in related settings such as equivariant bordism or other chromatic heights.

Load-bearing premise

The higher truncated Brown-Peterson spectra admit orientations of Lubin-Tate theory that can serve as the required input for the transchromatic isomorphism theorem.

What would settle it

An explicit computation or counterexample showing that some higher truncated Brown-Peterson spectrum fails to orient Lubin-Tate theory or does not become equivalent to it after chromatic localization would falsify the claimed characterization.

read the original abstract

We equip quotients of Real bordism with the structure of a ring involution, an important source of examples being the truncated Real Brown-Peterson spectra. Motivated by this, we orient Lubin-Tate theory by higher truncated Brown-Peterson spectra, which is a key input for Meier-Shi-Zeng's transchromatic isomorphism theorem. We use these orientations to characterize the higher truncated Brown-Peterson spectra that are equivalent to a form of Lubin-Tate theory after chromatic localization.

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

2 major / 0 minor

Summary. The paper equips quotients of Real bordism with the structure of a ring involution (with truncated Real Brown-Peterson spectra as key examples), orients Lubin-Tate theory by higher truncated Brown-Peterson spectra as input for the Meier-Shi-Zeng transchromatic isomorphism theorem, and uses these orientations to characterize which higher truncated Brown-Peterson spectra become equivalent to a form of Lubin-Tate theory after chromatic localization.

Significance. If the ring-involution construction and the orientation maps can be established, the work would supply structured examples in Real homotopy theory and furnish a concrete input for transchromatic results, potentially clarifying the relationship between truncated Brown-Peterson spectra and Lubin-Tate spectra at higher heights.

major comments (2)
  1. No derivations, definitions, or proofs appear in the manuscript. The central claims (ring-involution structure on quotients of Real bordism, existence of the Lubin-Tate orientations by higher truncated BP spectra, and the resulting characterization after chromatic localization) are stated only in the abstract and cannot be verified.
  2. The weakest assumption identified—the existence and applicability of the Lubin-Tate orientations—is presented without supporting constructions or checks, rendering the transchromatic input claim unsubstantiated.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their report and for identifying the need for explicit constructions in the manuscript. We address each major comment below and will revise the paper to incorporate the requested details.

read point-by-point responses
  1. Referee: No derivations, definitions, or proofs appear in the manuscript. The central claims (ring-involution structure on quotients of Real bordism, existence of the Lubin-Tate orientations by higher truncated BP spectra, and the resulting characterization after chromatic localization) are stated only in the abstract and cannot be verified.

    Authors: The submitted version was incomplete and contained only the abstract statements. The revised manuscript will include full definitions of the ring involution on quotients of Real bordism, explicit constructions of the truncated Real Brown-Peterson spectra, the orientation maps from these spectra to Lubin-Tate theory, and the proofs of the chromatic localization equivalences. revision: yes

  2. Referee: The weakest assumption identified—the existence and applicability of the Lubin-Tate orientations—is presented without supporting constructions or checks, rendering the transchromatic input claim unsubstantiated.

    Authors: We agree that the orientations require explicit construction and verification to serve as input for the Meier-Shi-Zeng theorem. The revision will supply the detailed orientation maps, the necessary compatibility checks with the ring involution, and the resulting characterization of which truncated spectra become equivalent to Lubin-Tate forms after chromatic localization. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The provided abstract and description contain no equations, fitted parameters, or load-bearing self-citations that reduce any claimed derivation to its own inputs by construction. The work equips quotients with ring involutions and orients Lubin-Tate spectra using higher truncated Brown-Peterson spectra as input to an external theorem (Meier-Shi-Zeng), with no indication that these steps are self-definitional, renamed known results, or forced by author-overlapping citations. The derivation chain is self-contained against external benchmarks and does not exhibit any of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Review is limited to the abstract; no specific free parameters, axioms, or invented entities can be extracted. The work implicitly relies on standard background in homotopy theory such as the existence of bordism spectra, chromatic localizations, and Lubin-Tate theory.

pith-pipeline@v0.9.1-grok · 5593 in / 1176 out tokens · 26247 ms · 2026-06-25T19:07:47.013460+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

299 extracted references · 129 canonical work pages

  1. [1]

    Equivariant

    Natalie Stewart , year=. Equivariant

  2. [2]

    Structured

    Ryan Quinn and Qi Zhu , year=. Structured. 2606.23309 , archivePrefix=

  3. [3]

    Obstructions for

    Sophus Valentin Willumsgaard , year=. Obstructions for. 2605.11390 , archivePrefix=

  4. [4]

    Goerss, P. G. and Hopkins, M. J. , title =. Structured Ring Spectra , editor =. 2004 , doi =

  5. [5]

    and Hopkins, Michael J

    Hill, Michael A. and Hopkins, Michael J. and Ravenel, Douglas C. , title =. Forum Mathematicum , volume =. 2017 , doi =. 1502.07611 , archivePrefix =

  6. [6]

    Moreno Del Angel , year=

    Juan C. Moreno Del Angel , year=. Duals of higher real. 2410.10726 , archivePrefix=

  7. [7]

    2024 , eprint=

    Transchromatic phenomena in the equivariant slice spectral sequence , author=. 2024 , eprint=

  8. [8]

    Ryan Quinn , title =

  9. [9]

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

  10. [10]

    1995 , issn =

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

  11. [11]

    , title =

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

  12. [12]

    Topological

    Angeltveit, Vigleik , year=. Topological. Geometry & Topology , publisher=. doi:10.2140/gt.2008.12.987 , number=

  13. [13]

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

  14. [14]

    Multiplicative structures on

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

  15. [15]

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

  16. [16]

    Rotation invariance in algebraic

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

  17. [17]

    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 =

  18. [18]

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

  19. [19]

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

  20. [20]

    2018 , eprint=

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

  21. [21]

    GENERALIZED

    Basu, Samik and Sagave, Steffen and Schlichtkrull, Christian , year=. GENERALIZED. Journal of the Institute of Mathematics of Jussieu , publisher=. doi:10.1017/s1474748017000421 , number=

  22. [22]

    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=

  23. [24]

    Multiplicative Equivariant Thom Spectra

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

  24. [25]

    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 =

  25. [26]

    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=

  26. [27]

    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=

  27. [28]

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

  28. [29]

    Hill , year=

    Christian Carrick and Michael A. Hill , year=. On higher real. 2507.07051 , archivePrefix=

  29. [30]

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

  30. [31]

    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=

  31. [32]

    Current developments in mathematics , volume=

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

  32. [33]

    2022 , eprint=

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

  33. [34]

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

  34. [35]

    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 =

  35. [36]

    Schlank , year=

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

  36. [37]

    Nilpotence in

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

  37. [38]

    2020 , month = sep, note =

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

  38. [39]

    Devinatz and Michael J

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

  39. [40]

    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 =

  40. [41]

    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 =

  41. [42]

    2019 , eprint=

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

  42. [43]

    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 =

  43. [44]

    Geometry & Topology , number =

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

  44. [45]

    2000 , month =

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

  45. [46]

    2025 , eprint=

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

  46. [47]

    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 =

  47. [48]

    Publications of the Research Institute for Mathematical Sciences , year =

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

  48. [49]

    Osaka Journal of Mathematics , number =

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

  49. [50]

    Segal, Graeme , title =

  50. [51]

    Advances in Mathematics , volume =

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

  51. [52]

    Multifunctorial

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

  52. [53]

    Peter May , journal=

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

  53. [54]

    2022 , month =

    Guillou, Bert , title =. 2022 , month =

  54. [55]

    , 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 =

  55. [56]

    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 =

  56. [57]

    Homology, Homotopy and Applications , volume=

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

  57. [58]

    , TITLE =

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

  58. [59]

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

  59. [60]

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

  60. [61]

    2013 , PAGES =

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

  61. [62]

    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 =

  62. [63]

    K -Theory , FJOURNAL =

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

  63. [64]

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

  64. [65]

    2024 , eprint=

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

  65. [66]

    and Hopkins, Michael J

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

  66. [67]

    Real Orientations of

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

  67. [68]

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

  68. [69]

    2023 , type =

    Roytman, Bar , title =. 2023 , type =

  69. [70]

    Normed equivariant ring spectra and higher

    Bastiaan Cnossen and Rune Haugseng and Tobias Lenz and Sil Linskens , year=. Normed equivariant ring spectra and higher. 2407.08399 , archivePrefix=

  70. [71]

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

  71. [72]

    Stephen , journal =

    Wilson, W. Stephen , journal =. The

  72. [73]

    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 =

  73. [74]

    To appear , year=

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

  74. [75]

    Theory Appl

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

  75. [76]

    arXiv preprint , year=

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

  76. [77]

    Constructing Coproducts in locally

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

  77. [78]

    Yoneda lemma for

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

  78. [79]

    Cartesian Fibrations of Complete

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

  79. [80]

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

  80. [81]

    arXiv preprint , year=

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

Showing first 80 references.