Structured Quotients in Real Homotopy Theory
Pith reviewed 2026-06-25 19:07 UTC · model grok-4.3
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.
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
- 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.
Referee Report
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)
- 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.
- 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
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
-
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
-
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
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
Reference graph
Works this paper leans on
-
[1]
Equivariant
Natalie Stewart , year=. Equivariant
- [2]
-
[3]
Sophus Valentin Willumsgaard , year=. Obstructions for. 2605.11390 , archivePrefix=
-
[4]
Goerss, P. G. and Hopkins, M. J. , title =. Structured Ring Spectra , editor =. 2004 , doi =
2004
-
[5]
Hill, Michael A. and Hopkins, Michael J. and Ravenel, Douglas C. , title =. Forum Mathematicum , volume =. 2017 , doi =. 1502.07611 , archivePrefix =
Pith/arXiv arXiv 2017
-
[6]
Juan C. Moreno Del Angel , year=. Duals of higher real. 2410.10726 , archivePrefix=
-
[7]
2024 , eprint=
Transchromatic phenomena in the equivariant slice spectral sequence , author=. 2024 , eprint=
2024
-
[8]
Ryan Quinn , title =
-
[9]
Mahowald, Mark and Rezk, Charles , title =. Am. J. Math. , issn =. 1999 , language =. doi:10.1353/ajm.1999.0043 , keywords =
-
[10]
Finite Subgroups of Division Algebras over Local Fields , journal =. 1995 , issn =. doi:https://doi.org/10.1006/jabr.1995.1101 , url =
-
[11]
Carrick, Christian and Hill, Michael A. , title =. Proc. Am. Math. Soc., Ser. B , issn =. 2025 , language =. doi:10.1090/bproc/265 , keywords =
-
[12]
Angeltveit, Vigleik , year=. Topological. Geometry & Topology , publisher=. doi:10.2140/gt.2008.12.987 , number=
-
[13]
Strickland, N. P. , title =. Trans. Am. Math. Soc. , issn =. 1999 , language =. doi:10.1090/S0002-9947-99-02436-8 , keywords =
-
[14]
Robert Burklund , year=. Multiplicative structures on. 2203.14787 , archivePrefix=
-
[15]
Hopkins, M. J. and Lurie, J. , month=. Ambidexterity in. 2013 , NOTE =
2013
-
[16]
Rotation invariance in algebraic
Lurie, Jacob , month=. Rotation invariance in algebraic. 2015 , NOTE =
2015
-
[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]
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]
Petersen, Sarah , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2024 , NUMBER =. doi:10.2140/agt.2024.24.4487 , URL =
-
[20]
2018 , eprint=
Quotients of even rings , author=. 2018 , eprint=
2018
-
[21]
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]
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
-
[24]
Multiplicative Equivariant Thom Spectra
Ryan Quinn and Qi Zhu , year=. Multiplicative Equivariant Thom Spectra. 2512.15573 , archivePrefix=
-
[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 =
-
[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=
2023
-
[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=
-
[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 =
-
[29]
Christian Carrick and Michael A. Hill , year=. On higher real. 2507.07051 , archivePrefix=
-
[30]
Carrick, Christian , TITLE =. J. Homotopy Relat. Struct. , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s40062-022-00310-1 , URL =
-
[31]
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=
-
[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=
2010
-
[33]
2022 , eprint=
Obstruction theory and the level n elliptic genus , author=. 2022 , eprint=
2022
-
[34]
Meier, Lennart , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2023 , NUMBER =. doi:10.2140/agt.2023.23.3553 , URL =
-
[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 =
-
[36]
Robert Burklund and Jeremy Hahn and Ishan Levy and Tomer M. Schlank , year=. 2310.17459 , archivePrefix=
- [37]
-
[38]
2020 , month = sep, note =
Jeremy Hahn , title =. 2020 , month = sep, note =
2020
-
[39]
Devinatz and Michael J
Ethan S. Devinatz and Michael J. Hopkins and Jeffrey H. Smith , journal =. Nilpotence and Stable Homotopy Theory
-
[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 =
-
[41]
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 =
-
[42]
2019 , eprint=
Genuine equivariant factorization homology , author=. 2019 , eprint=
2019
-
[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 =
-
[44]
Geometry & Topology , number =
Jeremy Hahn and Dylan Wilson , title =. Geometry & Topology , number =. 2020 , doi =
2020
-
[45]
2000 , month =
Algebraic K-theory of finitely presented ring spectra , author =. 2000 , month =
2000
-
[46]
2025 , eprint=
Slice spectral sequences through synthetic spectra , author=. 2025 , eprint=
2025
-
[47]
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 =
-
[48]
Publications of the Research Institute for Mathematical Sciences , year =
Shimakawa, Kazuhisa , title =. Publications of the Research Institute for Mathematical Sciences , year =
-
[49]
Osaka Journal of Mathematics , number =
Kazuhisa Shimakawa , title =. Osaka Journal of Mathematics , number =
-
[50]
Segal, Graeme , title =
-
[51]
Advances in Mathematics , volume =
Multiplicative equivariant. Advances in Mathematics , volume =. 2023 , issn =. doi:https://doi.org/10.1016/j.aim.2023.108865 , url =
- [52]
-
[53]
Peter May , journal=
Bertrand Guillou and J. Peter May , journal=. Equivariant iterated loop space theory and permutative. 2017 , volume=
2017
-
[54]
2022 , month =
Guillou, Bert , title =. 2022 , month =
2022
-
[55]
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 =
-
[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 =
-
[57]
Homology, Homotopy and Applications , volume=
The Equivariant Slice Filtration: A Primer , author=. Homology, Homotopy and Applications , volume=
-
[58]
Chadwick, Steven Greg and Mandell, Michael A. , TITLE =. Geom. Topol. , FJOURNAL =. 2015 , NUMBER =. doi:10.2140/gt.2015.19.3193 , URL =
-
[59]
Greenlees, J. P. C. , TITLE =. An alpine bouquet of algebraic topology , SERIES =. 2018 , ISBN =. doi:10.1090/conm/708/14261 , URL =
-
[60]
Greenlees, J. P. C. and Meier, Lennart , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2017 , NUMBER =. doi:10.2140/agt.2017.17.3547 , URL =
-
[61]
2013 , PAGES =
Ullman, John Richard , TITLE =. 2013 , PAGES =
2013
-
[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 =
-
[63]
Dugger, Daniel , TITLE =. K -Theory , FJOURNAL =. 2005 , NUMBER =. doi:10.1007/s10977-005-1552-9 , URL =
-
[64]
Gabriel Angelini-Knoll and Hana Jia Kong and J. D. Quigley , year=. Real. 2505.24734 , archivePrefix=
-
[65]
2024 , eprint=
A motivic filtration on the topological cyclic homology of commutative ring spectra , author=. 2024 , eprint=
2024
-
[66]
Hill, Michael A. and Hopkins, Michael J. , year=. Real. 1806.11033 , archivePrefix=
-
[67]
Hahn, Jeremy and Shi, XiaoLin Danny , year =. Real Orientations of. Inventiones mathematicae , volume =. doi:10.1007/s00222-020-00960-z , abstract =
-
[68]
Hill, Michael and Meier, Lennart , journal=. The. 2017 , publisher=
2017
-
[69]
2023 , type =
Roytman, Bar , title =. 2023 , type =
2023
-
[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=
-
[71]
Santhanam, Rekha , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2011 , NUMBER =. doi:10.2140/agt.2011.11.1361 , URL =
-
[72]
Stephen , journal =
Wilson, W. Stephen , journal =. The
-
[73]
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 =
-
[74]
To appear , year=
Filter Quotient Model Categories , author=. To appear , year=
-
[75]
Theory Appl
Rasekh, Nima , TITLE =. Theory Appl. Categ. , FJOURNAL =. 2021 , PAGES =
2021
-
[76]
arXiv preprint , year=
Shadows are Bicategorical Traces , author=. arXiv preprint , year=
-
[77]
Constructing Coproducts in locally
Frey, Jonas and Rasekh, Nima , journal=. Constructing Coproducts in locally. 2021 , NOTE =
2021
-
[78]
Yoneda lemma for
Rasekh, Nima , journal=. Yoneda lemma for. 2021 , NOTE =
2021
-
[79]
Cartesian Fibrations of Complete
Rasekh, Nima , journal=. Cartesian Fibrations of Complete. 2021 , NOTE =
2021
-
[80]
Rasekh, Nima , TITLE =. J. Homotopy Relat. Struct. , FJOURNAL =. 2021 , ISSN =. doi:10.1007/s40062-021-00288-2 , URL =
-
[81]
arXiv preprint , year=
Univalence in Higher Category Theory , author=. arXiv preprint , year=
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.