Equivariant twisted R-algebras via Thom spectra
Pith reviewed 2026-07-03 02:12 UTC · model grok-4.3
The pith
Quotients of even real commutative ring spectra carry twisted algebra structures as Thom spectra of C2-actions on S1 and U(n).
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For a C2-commutative ring spectrum R that is even, quotients such as KR, MR/(2,x1,…,xn−1), and the real 2-periodic Morava K-theories admit the structure of twisted R-algebras. These structures are realized as Thom spectra of suitable C2-actions on S1 and U(n). The construction yields a Thom-spectrum formula for real topological Hochschild homology and, via an auxiliary splitting of gl1KR, an explicit computation of that homology for KR/2.
What carries the argument
Thom spectra of C2-actions on S1 and U(n) whose induced multiplications are compatible with the R-module structure yet switched exactly by the C2-action.
If this is right
- Real topological Hochschild homology of any such twisted R-algebra admits an explicit Thom-spectrum expression.
- The real THH of KR/2 admits a concrete computation.
- Real 2-periodic Morava K-theories carry twisted algebra structures over real Morava E-theory.
- The units spectrum gl1KR admits a splitting analogous to the classical splitting for ordinary K-theory.
Where Pith is reading between the lines
- The Thom-spectrum method may extend to other quotients of R or to actions of groups larger than C2.
- The splitting of gl1KR could be used to decompose additional invariants of real K-theory.
- Geometric realizations of sign-switched multiplications may appear in computations of other real equivariant invariants.
Load-bearing premise
The C2-actions on S1 and U(n) can be chosen so that the resulting Thom spectra inherit a multiplication compatible with the R-module structure and switched exactly by the C2-action.
What would settle it
Direct verification that the multiplication on the Thom spectrum of the standard C2-action on S1 fails to be switched by the action when the base is KR, or that the resulting object does not satisfy the axioms of a twisted KR-algebra.
read the original abstract
For a $C_2$-commutative ring spectrum $R$, a twisted $R$-algebra is an $R$-module with a multiplication whose order is switched by the $C_2$-action. In this paper, we construct various quotients of $R$ as twisted $R$-algebras, when $R$ is an even real commutative ring spectrum. These are constructed as Thom spectra of maps out of suitable $C_2$-actions on $S^1$ and $U(n)$. One such example is given by $K\mathbb{R}$ which is endowed with a twisted $K\mathbb{R}$-algebra structure. Other examples include quotients such as $M\mathbb{R}/(2,x_1,\dots, x_{n-1})$ over the real bordism spectrum $M\mathbb{R}$, and the real $2$-periodic Morava $K$-theories as modules over the real Morava $E$-theory spectra. In the context of twisted $R$-algebras, one may consider the real topological Hochschild homology, and for Thom spectra, one has a nice formula again as a Thom spectrum. We use this to obtain computations for the real topological Hochschild homology of $K\mathbb{R}/2$ as a twisted $K\mathbb{R}$-algebra. The computation also involves a splitting of the units spectrum $gl_1K\mathbb{R}$, which is an analogue of the classical splitting of the units of $K$-theory.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper defines a twisted R-algebra for a C2-commutative ring spectrum R as an R-module equipped with a multiplication whose order is switched by the C2-action. For even real commutative ring spectra R it constructs explicit examples of such structures on quotients including KR, MR/(2,x1,…,xn−1), and the real 2-periodic Morava K-theories; each is realized as the Thom spectrum of a C2-action on S1 or U(n). The paper derives a general Thom-spectrum formula for real topological Hochschild homology of these twisted algebras and uses it, together with a splitting of gl1KR, to compute real THH of KR/2.
Significance. If the constructions are correct, the work supplies concrete geometric models for twisted algebra structures in the C2-equivariant setting and yields explicit THH computations that extend classical results. The explicit C2-actions on S1 and U(n), the resulting Thom-spectrum realizations, and the units splitting are strengths that make the claims directly verifiable and potentially useful for further calculations in equivariant stable homotopy theory.
minor comments (2)
- [§2.3] §2.3: the notation for the C2-action on U(n) is introduced without an explicit diagram or reference to the standard embedding into the unitary group; a short diagram would clarify the compatibility with the R-module structure.
- [Theorem 4.1] The statement of the THH formula in Theorem 4.1 would benefit from a one-sentence reminder of the precise Thom spectrum map used, even though the construction is given earlier.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript, their positive summary of the main results, and their recommendation to accept. We are gratified that the geometric constructions via Thom spectra, the explicit C2-actions, and the resulting THH computations are regarded as verifiable and potentially useful.
Circularity Check
No significant circularity identified
full rationale
The paper's central constructions are presented as explicit Thom spectra arising from chosen C2-actions on S^1 and U(n), with the twisted multiplication inherited directly from the spectrum structure and the action. No equations, definitions, or claims in the abstract reduce any result to a fitted parameter, self-referential quantity, or load-bearing self-citation chain. The argument relies on standard external tools for Thom spectra and units splittings rather than internal fitting or renaming. The derivation chain is therefore self-contained and does not exhibit any of the enumerated circularity patterns.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption R is an even real commutative ring spectrum
Reference graph
Works this paper leans on
-
[1]
Angeltveit, Vigleik , TITLE =. Geom. Topol. , FJOURNAL =. 2008 , NUMBER =. doi:10.2140/gt.2008.12.987 , URL =
-
[2]
and Gepner, David and Hopkins, Michael J
Ando, Matthew and Blumberg, Andrew J. and Gepner, David and Hopkins, Michael J. and Rezk, Charles , TITLE =. J. Topol. , FJOURNAL =. 2014 , NUMBER =. doi:10.1112/jtopol/jtu009 , URL =
-
[3]
Araki, Sh\^or\^o , TITLE =. Japan. J. Math. (N.S.) , FJOURNAL =. 1979 , NUMBER =. doi:10.4099/math1924.5.403 , URL =
-
[4]
Atiyah, M. F. , TITLE =. Quart. J. Math. Oxford Ser. (2) , FJOURNAL =. 1966 , PAGES =. doi:10.1093/qmath/17.1.367 , URL =
-
[5]
Baker, Andrew and Lazarev, Andrey , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2004 , PAGES =. doi:10.2140/agt.2004.4.623 , URL =
-
[6]
Basu, Samik , TITLE =. Homology Homotopy Appl. , FJOURNAL =. 2017 , NUMBER =. doi:10.4310/HHA.2017.v19.n1.a13 , URL =
-
[7]
2018 , ISBN =
Basu, Samik , TITLE =. 2018 , ISBN =
2018
-
[8]
Basu, Samik and Ghosh, Surojit , TITLE =. Homology Homotopy Appl. , FJOURNAL =. 2021 , NUMBER =. doi:10.4310/hha.2021.v23.n2.a3 , URL =
-
[9]
Basu, Samik and Sagave, Steffen and Schlichtkrull, Christian , TITLE =. J. Inst. Math. Jussieu , FJOURNAL =. 2020 , NUMBER =. doi:10.1017/s1474748017000421 , URL =
-
[10]
Blumberg, Andrew J. and Cohen, Ralph L. and Schlichtkrull, Christian , TITLE =. Geom. Topol. , FJOURNAL =. 2010 , NUMBER =. doi:10.2140/gt.2010.14.1165 , URL =
-
[11]
Dotto, Emanuele and Moi, Kristian , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2016 , NUMBER =. doi:10.2140/agt.2016.16.325 , URL =
-
[12]
Dotto, Emanuele and Moi, Kristian and Patchkoria, Irakli , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2024 , NUMBER =. doi:10.1112/jlms.12862 , URL =
-
[13]
Heard, Drew and Stojanoska, Vesna , TITLE =. J. K-Theory , FJOURNAL =. 2014 , NUMBER =. doi:10.1017/is014007001jkt275 , URL =
-
[14]
Lurie, Jacob , TITLE =. 2009 , PAGES =. doi:10.1515/9781400830558 , URL =
-
[15]
Loday, Jean-Louis , TITLE =. 1998 , PAGES =. doi:10.1007/978-3-662-11389-9 , URL =
-
[16]
Basu, Samik and Ghosh, Aloke Kr , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2024 , NUMBER =. doi:10.1112/jlms.70002 , URL =
-
[17]
Sikora, Igor , TITLE =. J. Homotopy Relat. Struct. , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s40062-022-00314-x , URL =
-
[18]
Dwyer, W. G. and Hopkins, M. J. and Kan, D. M. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1985 , NUMBER =. doi:10.2307/1999909 , URL =
-
[19]
Elmendorf, A. D. and Kriz, I. and Mandell, M. A. and May, J. P. , TITLE =. 1997 , PAGES =. doi:10.1090/surv/047 , URL =
-
[21]
Equivariant nonabelian
Hahn, Jeremy and Horev, Asaf and Klang, Inbar and Wilson, Dylan and Zou, Foling , journal=. Equivariant nonabelian
-
[22]
Real algebraic
Hesselholt, Lars and Madsen, Ib , journal=. Real algebraic
-
[23]
Hill, Michael A. and Hopkins, Michael J. and Ravenel, Douglas C. , TITLE =. 2021 , PAGES =. doi:10.1017/9781108917278 , URL =
-
[24]
Beardsley, Jonathan and Luecke, Kiran and Morava, Jack , journal=. Brauer-
-
[25]
2021 , eprint=
On a notion of ring groupoid , author=. 2021 , eprint=
2021
-
[26]
Dugger, Daniel , TITLE =. K -Theory , FJOURNAL =. 2005 , NUMBER =. doi:10.1007/s10977-005-1552-9 , URL =
-
[27]
Fajstrup, Lisbeth , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1995 , NUMBER =. doi:10.2307/2154979 , URL =
-
[28]
Nikolaus, Thomas and Scholze, Peter , TITLE =. Acta Math. , FJOURNAL =. 2018 , NUMBER =. doi:10.4310/ACTA.2018.v221.n2.a1 , URL =
-
[29]
Greenlees, J. P. C. and May, J. P. , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 1995 , NUMBER =. doi:10.1090/memo/0543 , URL =
-
[30]
Greenlees, J. P. C. and May, J. P. , TITLE =. Handbook of algebraic topology , PAGES =. 1995 , MRCLASS =. doi:10.1016/B978-044481779-2/50009-2 , URL =
-
[31]
Hahn, Jeremy and Shi, XiaoLin Danny , TITLE =. Invent. Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00222-020-00960-z , URL =
-
[32]
, TITLE =
Hill, Michael A. , TITLE =. Handbook of homotopy theory , SERIES =. [2020] 2020 , ISBN =
2020
-
[33]
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 =
-
[34]
Hill, Michael A. and Meier, Lennart , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2017 , NUMBER =. doi:10.2140/agt.2017.17.1953 , URL =
-
[35]
Hu, Po and Kriz, Igor , TITLE =. Topology , FJOURNAL =. 2001 , NUMBER =. doi:10.1016/S0040-9383(99)00065-8 , URL =
-
[36]
, TITLE =
Laplaza, Miguel L. , TITLE =. Coherence in categories , SERIES =. 1972 , MRCLASS =
1972
-
[37]
Lewis, Jr., L. Gaunce and Mandell, Michael A. , TITLE =. Proc. London Math. Soc. (3) , FJOURNAL =. 2006 , NUMBER =. doi:10.1112/S0024611505015492 , URL =
-
[38]
2020 , eprint=
Twisted Bar Construction , author=. 2020 , eprint=
2020
-
[40]
Dotto, Emanuele and Moi, Kristian and Patchkoria, Irakli and Reeh, Sune Precht , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2021 , NUMBER =. doi:10.4171/jems/1007 , URL =
-
[41]
Theory Appl
Bonventre, Peter , TITLE =. Theory Appl. Categ. , FJOURNAL =. 2019 , PAGES =
2019
-
[42]
Behrens, Mark and Wilson, Dylan , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2018 , NUMBER =. doi:10.1090/proc/14175 , URL =
-
[43]
Hahn, Jeremy and Wilson, Dylan , TITLE =. Geom. Topol. , FJOURNAL =. 2020 , NUMBER =. doi:10.2140/gt.2020.24.2709 , URL =
-
[44]
Hornbostel, Jens and Park, Doosung , TITLE =. J. Topol. , FJOURNAL =. 2025 , NUMBER =. doi:10.1112/topo.70032 , URL =
-
[45]
and Gepner, David and Hopkins, Michael J
Ando, Matthew and Blumberg, Andrew J. and Gepner, David and Hopkins, Michael J. and Rezk, Charles , TITLE =. J. Topol. , FJOURNAL =. 2014 , NUMBER =. doi:10.1112/jtopol/jtt035 , URL =
-
[46]
Antol\'in-Camarena, Omar and Barthel, Tobias , TITLE =. J. Topol. , FJOURNAL =. 2019 , NUMBER =. doi:10.1112/topo.12084 , URL =
-
[47]
Lewis, Jr., L. G. and May, J. P. and Steinberger, M. and McClure, J. E. , TITLE =. 1986 , PAGES =. doi:10.1007/BFb0075778 , URL =
-
[48]
Lindenstrauss, Ayelet and Richter, Birgit and Zou, Foling , TITLE =. J. Algebra , FJOURNAL =. 2025 , PAGES =. doi:10.1016/j.jalgebra.2025.06.016 , URL =
-
[49]
Mandell, M. A. and May, J. P. , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2002 , NUMBER =. doi:10.1090/memo/0755 , URL =
-
[50]
2023 , note =
Schwede, Stefan , title =. 2023 , note =
2023
-
[51]
Shimakawa, Kazuhisa , TITLE =. Publ. Res. Inst. Math. Sci. , FJOURNAL =. 1989 , NUMBER =. doi:10.2977/prims/1195173610 , URL =
-
[52]
Shah, Jay , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2023 , NUMBER =. doi:10.2140/agt.2023.23.509 , URL =
-
[53]
Shimakawa, Kazuhisa , TITLE =. Osaka J. Math. , FJOURNAL =. 1991 , NUMBER =
1991
-
[54]
Voevodsky, Vladimir , TITLE =. Publ. Math. Inst. Hautes \'Etudes Sci. , FJOURNAL =. 2003 , PAGES =. doi:10.1007/s10240-003-0009-z , URL =
-
[55]
Lewis, G. and May, J. P. and McClure, J. , TITLE =. Bull. Amer. Math. Soc. (N.S.) , FJOURNAL =. 1981 , NUMBER =. doi:10.1090/S0273-0979-1981-14886-2 , URL =
-
[56]
Dress, Andreas W. M. Contributions to the theory of induced representations. ``Classical'' Algebraic K-Theory, and Connections with Arithmetic. 1973
1973
-
[57]
Bredon, Glen E. , TITLE =. Bull. Amer. Math. Soc. , FJOURNAL =. 1967 , PAGES =. doi:10.1090/S0002-9904-1967-11713-0 , URL =
-
[58]
, TITLE =
Bredon, Glen E. , TITLE =. Proc. 1968 , MRCLASS =
1968
-
[59]
Equivariant stable homotopy groups of spheres with involutions
Araki, Sh\^or\^o. Equivariant stable homotopy groups of spheres with involutions. Osaka Math. J. , FJOURNAL =. 1982 , NUMBER =
1982
-
[60]
Guillou, Bertrand J and Isaksen, Daniel C , journal=
-
[61]
2017 , note =
Lurie, Jacob , title =. 2017 , note =
2017
-
[62]
Parametrized higher category theory and higher algebra: Expos 'e IV--Stability with respect to an orbital infty -category ,. arXiv preprint arXiv:1608.07704 ,
work page internal anchor Pith review Pith/arXiv arXiv
-
[65]
2017 , PAGES =
Nardin, Denis , TITLE =. 2017 , PAGES =
2017
-
[67]
2021 , doi =
Land, Markus , title =. 2021 , doi =
2021
-
[68]
Schlichtkrull, Christian , TITLE =. Geom. Topol. , FJOURNAL =. 2004 , PAGES =. doi:10.2140/gt.2004.8.645 , URL =
-
[69]
Normed equivariant ring spectra and higher
Cnossen, Bastiaan and Haugseng, Rune and Lenz, Tobias and Linskens, Sil , journal=. Normed equivariant ring spectra and higher
-
[70]
Santhanam, Rekha , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2011 , NUMBER =. doi:10.2140/agt.2011.11.1361 , URL =
-
[71]
Guillou, Bertrand J. and May, J. Peter , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2017 , NUMBER =. doi:10.2140/agt.2017.17.3259 , URL =
-
[72]
M. Ando, A. J. Blumberg, D. Gepner, M. J. Hopkins, and C. Rezk , An -categorical approach to R -line bundles, R -module T hom spectra, and twisted R -homology , J. Topol., 7 (2014), pp. 869--893
2014
-
[73]
Topol., 7 (2014), pp
height 2pt depth -1.6pt width 23pt, Units of ring spectra, orientations and T hom spectra via rigid infinite loop space theory , J. Topol., 7 (2014), pp. 1077--1117
2014
-
[74]
Angeltveit , Topological H ochschild homology and cohomology of A_ ring spectra , Geom
V. Angeltveit , Topological H ochschild homology and cohomology of A_ ring spectra , Geom. Topol., 12 (2008), pp. 987--1032
2008
-
[75]
Araki , Orientations in -cohomology theories , Japan
S. Araki , Orientations in -cohomology theories , Japan. J. Math. (N.S.), 5 (1979), pp. 403--430
1979
-
[76]
Araki and K
S. Araki and K. Iriye , Equivariant stable homotopy groups of spheres with involutions. I , Osaka Math. J., 19 (1982), pp. 1--55
1982
-
[77]
M. F. Atiyah , K -theory and reality , Quart. J. Math. Oxford Ser. (2), 17 (1966), pp. 367--386
1966
-
[78]
Baker and A
A. Baker and A. Lazarev , Topological H ochschild cohomology and generalized M orita equivalence , Algebr. Geom. Topol., 4 (2004), pp. 623--645
2004
-
[79]
C. Barwick, E. Dotto, S. Glasman, D. Nardin, and J. Shah , Parametrized higher category theory and higher algebra: Expos\'e I - E lements of parametrized higher category theory , arXiv:1608.03657, (2016)
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[80]
Basu , Topological H ochschild homology of K/p as a K_p^ module , Homology Homotopy Appl., 19 (2017), pp
S. Basu , Topological H ochschild homology of K/p as a K_p^ module , Homology Homotopy Appl., 19 (2017), pp. 253--280
2017
-
[81]
367--393
height 2pt depth -1.6pt width 23pt, Computing topological H ochschild homology using twisted theories , in K - T heory--- P roceedings of the I nternational C olloquium, M umbai, 2016, Hindustan Book Agency, New Delhi, 2018, pp. 367--393
2016
-
[82]
Basu and S
S. Basu and S. Ghosh , Bredon cohomology of finite dimensional C_p -spaces , Homology Homotopy Appl., 23 (2021), pp. 33--57
2021
-
[83]
S. Basu, S. Sagave, and C. Schlichtkrull , Generalized T hom spectra and their topological H ochschild homology , J. Inst. Math. Jussieu, 19 (2020), pp. 21--64
2020
-
[84]
Brauer-Wall Groups and Truncated Picard Spectra of $K$-theory
J. Beardsley, K. Luecke, and J. Morava , Brauer- W all G roups and T runcated P icard spectra of K -theory , arXiv:2306.10112, (2023)
work page internal anchor Pith review Pith/arXiv arXiv 2023
-
[85]
Behrens and D
M. Behrens and D. Wilson , A C_2 -equivariant analog of M ahowald's T hom spectrum theorem , Proc. Amer. Math. Soc., 146 (2018), pp. 5003--5012
2018
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.