pith. sign in

arxiv: 2607.02060 · v1 · pith:CWONWWXGnew · submitted 2026-07-02 · 🧮 math.AT

Equivariant twisted R-algebras via Thom spectra

Pith reviewed 2026-07-03 02:12 UTC · model grok-4.3

classification 🧮 math.AT
keywords twisted R-algebrasThom spectraC2-actionsreal K-theorytopological Hochschild homologyreal bordismMorava K-theoryequivariant ring spectra
0
0 comments X

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.

The paper constructs twisted R-algebra structures on quotients of even real commutative ring spectra R. These structures arise concretely as Thom spectra of C2-actions on the circle and on unitary groups. The examples include KR itself, quotients of the real bordism spectrum MR, and real 2-periodic Morava K-theories over real Morava E-theory. The same Thom-spectrum method supplies a formula for real topological Hochschild homology of any such twisted algebra and produces an explicit computation for the case of KR/2 together with a splitting of its units spectrum.

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

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

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

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

0 responses · 0 unresolved

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

0 steps flagged

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

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review supplies too little detail to enumerate free parameters or invented entities; the central constructions rest on the domain assumption that R is even and real commutative.

axioms (1)
  • domain assumption R is an even real commutative ring spectrum
    Explicitly required in the abstract for the Thom-spectrum constructions to produce twisted R-algebras.

pith-pipeline@v0.9.1-grok · 5795 in / 1343 out tokens · 51434 ms · 2026-07-03T02:12:40.976905+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

131 extracted references · 58 canonical work pages · 5 internal anchors

  1. [1]

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

  2. [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. [3]

    Araki, Sh\^or\^o , TITLE =. Japan. J. Math. (N.S.) , FJOURNAL =. 1979 , NUMBER =. doi:10.4099/math1924.5.403 , URL =

  4. [4]

    Atiyah, M. F. , TITLE =. Quart. J. Math. Oxford Ser. (2) , FJOURNAL =. 1966 , PAGES =. doi:10.1093/qmath/17.1.367 , URL =

  5. [5]

    Baker, Andrew and Lazarev, Andrey , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2004 , PAGES =. doi:10.2140/agt.2004.4.623 , URL =

  6. [6]

    Homology Homotopy Appl

    Basu, Samik , TITLE =. Homology Homotopy Appl. , FJOURNAL =. 2017 , NUMBER =. doi:10.4310/HHA.2017.v19.n1.a13 , URL =

  7. [7]

    2018 , ISBN =

    Basu, Samik , TITLE =. 2018 , ISBN =

  8. [8]

    Homology Homotopy Appl

    Basu, Samik and Ghosh, Surojit , TITLE =. Homology Homotopy Appl. , FJOURNAL =. 2021 , NUMBER =. doi:10.4310/hha.2021.v23.n2.a3 , URL =

  9. [9]

    Basu, Samik and Sagave, Steffen and Schlichtkrull, Christian , TITLE =. J. Inst. Math. Jussieu , FJOURNAL =. 2020 , NUMBER =. doi:10.1017/s1474748017000421 , URL =

  10. [10]

    and Cohen, Ralph L

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

    Dotto, Emanuele and Moi, Kristian , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2016 , NUMBER =. doi:10.2140/agt.2016.16.325 , URL =

  12. [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. [13]

    Heard, Drew and Stojanoska, Vesna , TITLE =. J. K-Theory , FJOURNAL =. 2014 , NUMBER =. doi:10.1017/is014007001jkt275 , URL =

  14. [14]

    2009 , PAGES =

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

  15. [15]

    1998 , PAGES =

    Loday, Jean-Louis , TITLE =. 1998 , PAGES =. doi:10.1007/978-3-662-11389-9 , URL =

  16. [16]

    Basu, Samik and Ghosh, Aloke Kr , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2024 , NUMBER =. doi:10.1112/jlms.70002 , URL =

  17. [17]

    Sikora, Igor , TITLE =. J. Homotopy Relat. Struct. , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s40062-022-00314-x , URL =

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

    Elmendorf, A. D. and Kriz, I. and Mandell, M. A. and May, J. P. , TITLE =. 1997 , PAGES =. doi:10.1090/surv/047 , URL =

  20. [21]

    Equivariant nonabelian

    Hahn, Jeremy and Horev, Asaf and Klang, Inbar and Wilson, Dylan and Zou, Foling , journal=. Equivariant nonabelian

  21. [22]

    Real algebraic

    Hesselholt, Lars and Madsen, Ib , journal=. Real algebraic

  22. [23]

    and Hopkins, Michael J

    Hill, Michael A. and Hopkins, Michael J. and Ravenel, Douglas C. , TITLE =. 2021 , PAGES =. doi:10.1017/9781108917278 , URL =

  23. [24]

    Beardsley, Jonathan and Luecke, Kiran and Morava, Jack , journal=. Brauer-

  24. [25]

    2021 , eprint=

    On a notion of ring groupoid , author=. 2021 , eprint=

  25. [26]

    K -Theory , FJOURNAL =

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

  26. [27]

    Fajstrup, Lisbeth , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1995 , NUMBER =. doi:10.2307/2154979 , URL =

  27. [28]

    Acta Math

    Nikolaus, Thomas and Scholze, Peter , TITLE =. Acta Math. , FJOURNAL =. 2018 , NUMBER =. doi:10.4310/ACTA.2018.v221.n2.a1 , URL =

  28. [29]

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

  29. [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 =

  30. [31]

    Hahn, Jeremy and Shi, XiaoLin Danny , TITLE =. Invent. Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00222-020-00960-z , URL =

  31. [32]

    , TITLE =

    Hill, Michael A. , TITLE =. Handbook of homotopy theory , SERIES =. [2020] 2020 , ISBN =

  32. [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 =

  33. [34]

    and Meier, Lennart , TITLE =

    Hill, Michael A. and Meier, Lennart , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2017 , NUMBER =. doi:10.2140/agt.2017.17.1953 , URL =

  34. [35]

    Topology , FJOURNAL =

    Hu, Po and Kriz, Igor , TITLE =. Topology , FJOURNAL =. 2001 , NUMBER =. doi:10.1016/S0040-9383(99)00065-8 , URL =

  35. [36]

    , TITLE =

    Laplaza, Miguel L. , TITLE =. Coherence in categories , SERIES =. 1972 , MRCLASS =

  36. [37]

    Gaunce and Mandell, Michael A

    Lewis, Jr., L. Gaunce and Mandell, Michael A. , TITLE =. Proc. London Math. Soc. (3) , FJOURNAL =. 2006 , NUMBER =. doi:10.1112/S0024611505015492 , URL =

  37. [38]

    2020 , eprint=

    Twisted Bar Construction , author=. 2020 , eprint=

  38. [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 =

  39. [41]

    Theory Appl

    Bonventre, Peter , TITLE =. Theory Appl. Categ. , FJOURNAL =. 2019 , PAGES =

  40. [42]

    Behrens, Mark and Wilson, Dylan , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2018 , NUMBER =. doi:10.1090/proc/14175 , URL =

  41. [43]

    Hahn, Jeremy and Wilson, Dylan , TITLE =. Geom. Topol. , FJOURNAL =. 2020 , NUMBER =. doi:10.2140/gt.2020.24.2709 , URL =

  42. [44]

    Hornbostel, Jens and Park, Doosung , TITLE =. J. Topol. , FJOURNAL =. 2025 , NUMBER =. doi:10.1112/topo.70032 , URL =

  43. [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 =

  44. [46]

    Antol\'in-Camarena, Omar and Barthel, Tobias , TITLE =. J. Topol. , FJOURNAL =. 2019 , NUMBER =. doi:10.1112/topo.12084 , URL =

  45. [47]

    Lewis, Jr., L. G. and May, J. P. and Steinberger, M. and McClure, J. E. , TITLE =. 1986 , PAGES =. doi:10.1007/BFb0075778 , URL =

  46. [48]

    Lindenstrauss, Ayelet and Richter, Birgit and Zou, Foling , TITLE =. J. Algebra , FJOURNAL =. 2025 , PAGES =. doi:10.1016/j.jalgebra.2025.06.016 , URL =

  47. [49]

    Mandell, M. A. and May, J. P. , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2002 , NUMBER =. doi:10.1090/memo/0755 , URL =

  48. [50]

    2023 , note =

    Schwede, Stefan , title =. 2023 , note =

  49. [51]

    Shimakawa, Kazuhisa , TITLE =. Publ. Res. Inst. Math. Sci. , FJOURNAL =. 1989 , NUMBER =. doi:10.2977/prims/1195173610 , URL =

  50. [52]

    Shah, Jay , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2023 , NUMBER =. doi:10.2140/agt.2023.23.509 , URL =

  51. [53]

    Shimakawa, Kazuhisa , TITLE =. Osaka J. Math. , FJOURNAL =. 1991 , NUMBER =

  52. [54]

    Voevodsky, Vladimir , TITLE =. Publ. Math. Inst. Hautes \'Etudes Sci. , FJOURNAL =. 2003 , PAGES =. doi:10.1007/s10240-003-0009-z , URL =

  53. [55]

    and May, J

    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 =

  54. [56]

    Dress, Andreas W. M. Contributions to the theory of induced representations. ``Classical'' Algebraic K-Theory, and Connections with Arithmetic. 1973

  55. [57]

    , TITLE =

    Bredon, Glen E. , TITLE =. Bull. Amer. Math. Soc. , FJOURNAL =. 1967 , PAGES =. doi:10.1090/S0002-9904-1967-11713-0 , URL =

  56. [58]

    , TITLE =

    Bredon, Glen E. , TITLE =. Proc. 1968 , MRCLASS =

  57. [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 =

  58. [60]

    Guillou, Bertrand J and Isaksen, Daniel C , journal=

  59. [61]

    2017 , note =

    Lurie, Jacob , title =. 2017 , note =

  60. [62]

    Parametrized higher category theory and higher algebra: Expos\'e IV -- Stability with respect to an orbital $\infty$-category

    Parametrized higher category theory and higher algebra: Expos 'e IV--Stability with respect to an orbital infty -category ,. arXiv preprint arXiv:1608.07704 ,

  61. [65]

    2017 , PAGES =

    Nardin, Denis , TITLE =. 2017 , PAGES =

  62. [67]

    2021 , doi =

    Land, Markus , title =. 2021 , doi =

  63. [68]

    Schlichtkrull, Christian , TITLE =. Geom. Topol. , FJOURNAL =. 2004 , PAGES =. doi:10.2140/gt.2004.8.645 , URL =

  64. [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

  65. [70]

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

  66. [71]

    and May, J

    Guillou, Bertrand J. and May, J. Peter , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2017 , NUMBER =. doi:10.2140/agt.2017.17.3259 , URL =

  67. [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

  68. [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

  69. [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

  70. [75]

    Araki , Orientations in -cohomology theories , Japan

    S. Araki , Orientations in -cohomology theories , Japan. J. Math. (N.S.), 5 (1979), pp. 403--430

  71. [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

  72. [77]

    M. F. Atiyah , K -theory and reality , Quart. J. Math. Oxford Ser. (2), 17 (1966), pp. 367--386

  73. [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

  74. [79]

    Parametrized higher category theory and higher algebra: Expos\'e I -- Elements of parametrized higher category theory

    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)

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

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

  77. [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

  78. [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

  79. [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)

  80. [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

Showing first 80 references.