Pith. sign in

REVIEW 3 major objections 5 minor 24 references

Topological CoHochschild Homology and Thom Spectra

T0 review · 3 major / 5 minor · reviewed 2026-08-03 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Topological coHochschild homology of Thom spectra is computable from the cellular structure of the base space.

desk verdict New filtration and loop-group reduction for coTHH with Thom spectrum coefficients — genuinely useful, but the main results inherit an unproved cotensor identity from the author's earlier preprint. read the letter →

arxiv 2601.11263 v2 pith:IXBBM4AQ submitted 2026-01-16 math.AT

Jiaxi Zha This is my paper · ORCID
classification math.AT MSC 55P4355P35
keywords topologicalcoHochschildhomologyThomspectraE-infinityringcomodulescellularfiltrationfreeloopspacescotensorproductsspectralsequences
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper tries to establish that topological coHochschild homology (coTHH) of a Thom spectrum, with coefficients in the corresponding trivial Thom spectrum, can be computed from the cellular structure of the underlying space. For a simply connected space X and a connective commutative ring spectrum R, the R-module coTHH^R(Thf;R[X]) is shown to admit an exhaustive filtration indexed by the skeleta of X, whose n-th graded piece is the direct sum, over the n-cells of X, of Σ^n R[ΩX]. If this is right, a complicated totalization becomes a cell-by-cell computation in terms of the loop space ΩX, and coTHH with Thom coefficients reduces to coTHH of group rings R[ΩX^n]. These results matter because coTHH is the coalgebra-side counterpart of topological Hochschild homology and is tied to free loop spaces, while Thom spectra are central in twisted cohomology.

What carries the argument

The carrying object is the Thom spectrum functor on the slice category over BGL1(R), the space of invertible R-modules. The paper shows this functor is symmetric monoidal, so the coalgebra structure of X induces an R[X]-comodule structure on Thf. Three identities do the work: the cotensor/cobar identity coTHH_R(M;C) ≃ M □_{C⊗C^op} C, imported from the author's companion preprint, which lets one compute coTHH as a cotensor product; the equivalence Thf ≃ R⊗_{R[ΩX]} R, expressing a Thom spectrum as a relative tensor product; and the skeleton filtration of X, which yields the cell-by-cell associated graded.

What would settle it

Compute coTHH^R(Thf;R[X]) for a space X with infinitely many cells in a fixed dimension—for instance CP∞, which the paper itself treats in Example 3.10, or an infinite wedge of n-spheres—and check whether the filtration's graded pieces match the predicted ⊕ Σ^n R[ΩX]. A mismatch would show that the totalization does not commute with the direct-sum decomposition in the needed generality. A second check is to verify the companion cotensor identity for a small non-finite coalgebra.

Watch

Extended reading notes

Core claim

The paper's central claim is that, for a connective E-infinity ring R (a commutative ring spectrum) and a simply connected space X with a map f:X→BGL1(R) (the space of invertible R-modules), the R-module coTHH^R(Thf;R[X])—topological coHochschild homology of the Thom spectrum of f with coefficients in the trivial Thom spectrum R[X]=R⊗Σ∞+X—admits an exhaustive filtration indexed by the skeleta of X. The n-th graded piece is a direct sum, one copy for each n-cell of X, of Σ^n R[ΩX]. The computation reduces to a colimit of coTHH of group rings R[ΩX^n] with explicit face and degeneracy maps. This is the coHochschild counterpart of known THH results for Thom spectra: a totalization becomes cell-b

Load-bearing premise

The load-bearing assumption is that the totalization defining topological coHochschild homology can be interchanged with the direct sums over the cells of X, and that the cotensor identity taken from the author's companion preprint holds for the relevant coalgebras; if either fails, the filtration theorem may only hold under additional finiteness hypotheses.

Editorial extensions

If this is right

  • If Theorem 1.3 holds, coTHH of a Thom spectrum can be assembled from the cells of X, with each n-cell contributing a copy of Σ^n R[ΩX]; for finite CW complexes this gives a finite, explicit cell-by-cell computation.
  • The orientation result (Theorem 1.2) says that when f is E∞-oriented by a commutative R-algebra A, base change turns coTHH^R(Thf;R[X]) into A⊗coTHH(Σ∞+X), linking the invariant to ordinary free loop spectra.
  • Theorem 1.4 reduces coTHH^R(Thf;R[X]) to a colimit of coTHH of group rings R[ΩX^n], with face maps induced by the G-action, multiplication, and augmentation of the loop group.
  • Corollary 3.9 gives a spectral sequence whose E^1 page is a direct sum over p-cells of π_{p+q}(Σ^p A[ΩX]), converging to the A-homology of coTHH^R(Thf;R[X]).
  • For a simply connected E1-space (a homotopy associative monoid), Proposition 4.9 gives the compact formula coTHH^R(Thf;R[X]) ≃ Thf[ΩX], a free-loop-style description.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Beyond the paper's claims, the filtration in Theorem 1.3 should yield a cellular spectral sequence for coTHH of Thom spectra in a range of cases, making the computation a cell-counting exercise whenever X is finite; this is a direct extension the author does not spell out.
  • The formula of Proposition 4.9 suggests coTHH with Thom coefficients behaves like a 'twisted free loop spectrum' Thf[ΩX] in general; testing it on examples such as products of spheres or lens spaces would show whether the E1 hypothesis can be weakened.
  • A caveat located by the paper's own text: the cell-structure step in Theorem 1.3 is justified by 'a similar argument to the proof of Proposition 3.4' rather than a detailed proof, and several key statements depend on the cotensor identity from the author's companion preprint. The main theorems should therefore be read as conditional on that identity and on the totalization/direct-sum commutation.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper studies topological coHochschild homology (coTHH) of Thom spectra. For an E∞-ring R and a map f : X → BGL1(R) with X simply connected, it claims an exhaustive filtration on coTHH^R(Thf; R[X]) indexed by the cellular skeleta of X, with associated graded ⊕_{X(n)} Σ^n R[ΩX] (Theorem 1.3). It also claims a base-change formula (Theorem 1.2) and a reduction of coTHH^R(Thf; R[X]) to the geometric realization of coTHH of group-ring coalgebras R[G^n] (Theorem 1.4). The proofs use ∞-category machinery and compare the comodule structure with Beardsley's construction.

Significance. If the main theorems are correct, they provide a genuinely new and potentially powerful computational tool: coTHH of a Thom spectrum is computed cell-by-cell from the loop space of X, and it is reduced to coTHH of group rings. The manuscript is carefully written, includes detailed proofs of several structural results (e.g., Proposition 2.10 and Theorem 2.11), and explicitly compares with existing work of Beardsley. However, the central results depend on an identity coTHH_R(M;C) ≃ M □_{C⊗C^op} C imported from the author's own unpublished preprint [24]; this dependency is load-bearing and is not independently verified in the present manuscript. The significance is therefore conditional on the correctness and availability of that companion result.

major comments (3)
  1. [§3, Proposition 3.4] The proof of Proposition 3.4 begins with 'By [24, Theorem 1.1]', importing the equivalence coTHH_R(M;C) ≃ M □_{C⊗C^op} C. This identity is then used in the proof of Theorem 3.8 (including the 'similar argument' for the direct sum over cells), Lemma 4.3, and Proposition 4.9. Since [24] is an unpublished same-author preprint, this is a load-bearing external dependency. The manuscript should either include a proof of the cotensor equivalence, or state it as a numbered theorem with precise hypotheses and a complete proof, so that the present paper is self-contained on this point. The editor should also confirm the status of [24].
  2. [§3, Theorem 3.8] In the proof of Theorem 3.8, the step 'A similar argument to the proof of Proposition 3.4 shows that coTHH_R(⊕_{X(n)} R; R[X]) ≃ ⊕_{X(n)} coTHH_R(R; R[X])' is not justified. coTHH_R(−;R[X]) is a totalization, and totalization does not generally commute with infinite direct sums. The number of n-cells X(n) may be infinite, so the argument requires a Milnor-sequence/convergence argument showing that the relevant fibers are uniformly (n−1)-connective. The paper does not provide such an argument; it only gestures at Proposition 3.4. This gap is central to the associated graded computation, and the missing argument itself depends on the cotensor identity from [24].
  3. [§3, Example 3.3 / Theorem 1.3] The identification of each summand in the associated graded uses the equivalence coTHH_R(R; R[X]) ≃ R[ΩX]. The text says this can be deduced from [24, Lemma 3.2] or Proposition 3.4, but no proof is given. Since this equivalence is a key input to the main filtration theorem, a direct proof should be included in the paper, or an explicit proof in the literature should be cited with enough detail for the reader to verify the result under the stated hypotheses (connective R, X simply connected).
minor comments (5)
  1. [Abstract and Introduction] Typos: 'parper' in the abstract; 'sence' in the introduction; 'the number of n-cells' should be 'the number of n-cells' without the spurious 'the the'; 'colimt' in the proof of Theorem 3.8.
  2. [§2, Proposition 2.6] In the proof of Proposition 2.6, 'university property' should be 'universal property'.
  3. [§4, Theorem 4.4] The phrase 'Although N(Δ^{op}_{≤n}) is an infinite simplicial set' is inaccurate: the category Δ_{≤n} is finite, so its nerve is a finite simplicial set. If a different simplicial set was intended, please clarify.
  4. [§4, Theorem 4.4] In the proof, 'Now the left hand of the comparison map f' is confusing; the intended statement is presumably that the domain of f is equivalent to the geometric realization of {coTHH_R(R[G^n])}_n. Please rephrase.
  5. [Throughout] Several citation typos occur: 'Therorem 2.11' in the proof of Theorem 4.8, and 'simplicical' in §2. Please proofread the references and technical vocabulary.

Circularity Check

1 steps flagged · score 4.0 of 10

Central cotensor description of coTHH is imported from the author's own unpublished preprint [24] and is load-bearing for the main theorems.

  1. self citation load bearing [Proposition 3.4; also used in Theorem 1.2, Theorem 1.3, Lemma 4.3, and Proposition 4.9]
    "By [24, Theorem 1.1], there is an equivalence coTHH_R(M;C) ≃ M □_{C⊗_R C^{op}} C."

    The identity is not proved or independently verified in the present paper; it is taken from the author's own unpublished preprint [24]. Proposition 3.4, which is the basis for Theorem 1.2 and for the 'similar argument' in Theorem 1.3, is proved by combining this imported identity with a connectivity argument. Lemma 4.3 and Proposition 4.9 also invoke [24] in the same way. Thus the central derivation chain rests on a self-citation whose content is not exhibited here; if that theorem were not available, the claimed filtration and associated graded computation would not be established.

full rationale

Most of the paper consists of genuine structural arguments: Theorem 1.1 is proved via symmetric monoidality of the Thom spectrum functor, Theorem 2.11 via a Yoneda argument from the bar construction, and Theorem 1.4 via the skeleton filtration and Dold–Kan. There are no fitted parameters, no empirically calibrated inputs, and no obvious renaming of a known result as a new one. The circularity concern is concentrated in the repeated import of the cotensor description coTHH_R(M;C) ≃ M □_{C⊗_R C^{op}} C from [24], an unpublished same-author preprint. Proposition 3.4 begins with this identity, Lemma 4.3 begins with it, Example 3.3 relies on [24, Proposition 4.6], and Proposition 4.9 relies on [24, Proposition 4.6]. Since [24] is not machine-checked, not reproduced here, and not otherwise anchored to external benchmarks within the paper, the load-bearing part of the derivation reduces to a self-citation rather than to an independently established fact. That raises the circularity burden. I also note a secondary proof gap: in Theorem 1.3 the commutation of coTHH with infinite direct sums is asserted by 'a similar argument to the proof of Proposition 3.4' without full detail; this is a correctness gap rather than a circular step and would likely be repaired by the same connectivity and Milnor-sequence reasoning if the [24] identity is valid. Overall the main theorems are not tautological and do not reduce to their inputs by definition, so a score of 6 or higher would be disproportionate. A score of 0 or 2 would understate the load-bearing, unverified same-author dependency. Score 4 reflects 'some self-citation; central claim still has independent content.'

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No numerical free parameters and no invented entities appear. The paper's structural claims rest on standard infinity-category foundations, the cotensor description of coTHH from the author's previous preprint [24], and the bar-construction description of Thom spectra from [10].

assumptions (5)
  • standard math Lurie's Higher Algebra foundations: stable infinity-categories, symmetric monoidal infinity-categories, and Pr^L tensor products.
    Used throughout, e.g., Section 2 and Definition 3.1.
  • domain assumption coTHH_R(M;C) is equivalent to the cotensor product M box_{C tensor C^op} C [24, Theorem 1.1].
    Same-author preprint; load-bearing for Proposition 3.4, Lemma 4.3, and Proposition 4.9.
  • domain assumption Thom spectra of connected spaces are relative tensor products: Thf is equivalent to R tensor_{R[G]} R, where G = Omega X [10, Lemma 4.47].
    Proved as Theorem 2.11 using [10, Corollary 4.12]; central to Section 4.
  • standard math coTHH(Sigma^infinity X) is equivalent to Sigma^infinity LX for simply connected X [14].
    Used in Example 3.2, Theorem 3.6, and Corollary 4.5.
  • standard math A simply connected space X is equivalent to B Omega X.
    Used at the start of Section 3 and in Theorem 1.4.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Topological CoHochschild Homology and Thom Spectra." pith.science (2026). https://pith.science/paper/IXBBM4AQ

@misc{pith2026260111263,
  author       = {Pith},
  title        = {Pith review of: Topological CoHochschild Homology and Thom Spectra},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IXBBM4AQ}},
  note         = {Machine review of arXiv:2601.11263}
}
abstract

For an $\E$-ring spectrum $R$ and a map $f:X\to Pic(R)$ of spaces, the Thom spectrum $\T f$ is a comodule over $R\otimes\Si X$. In this paper we study the topological coHochschild homology of $R\otimes\Si X$ with coefficient $\T f$. More concretely, for a simply connected space $X$, we will give a filtration on $\mathrm{coTHH}^R(\T f;R\otimes\Si X)$ via the cellular structure of $X$. Furthermore, we will reduce the computation of $\mathrm{coTHH}^R(\T f;R\otimes\Si X)$ to that of $\mathrm{coTHH}^R(R\otimes\Si G)$ for some group-like $\mathbb{E}_1$-spaces. Finally, we will use these results to study properties of $\mathrm{coTHH}^R(\T f;R\otimes\Si X)$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 1 linked inside Pith

  1. [24]

    On topological coHochschild homology and cotensor products

    Jiaxi Zha. On topological coHochschild homology and cotensor products. Preprint, arXiv:2505.14474 [math.AT] (2025), 2025. Department of Mathematics, Nankai University, No.94 Weijin Road, Tianjin 300071, P. R. China Email address:1093913699@qq.com

    arXiv 2025

  2. [1]

    Blumberg, David Gepner, Michael J

    Matthew Ando, Andrew J. Blumberg, David Gepner, Michael J. Hopkins, and Charles Rezk. An∞-categorical approach toR-line bundles,R-module Thom spectra, and twistedR-homology.J. Topol., 7(3):869–893, 2014

    2014

  3. [2]

    A simple universal property of Thom ring spectra.J

    Omar Antol ´ ın-Camarena and Tobias Barthel. A simple universal property of Thom ring spectra.J. Topol., 12(1):56–78, 2019

    2019

  4. [3]

    Spanier-Whitehead duality for topological coHochschild homology.J

    Haldun ¨Ozg¨ ur Bayindir and Maximilien P´ eroux. Spanier-Whitehead duality for topological coHochschild homology.J. Lond. Math. Soc., II. Ser., 107(5):1780–1822, 2023

    2023

  5. [4]

    On bialgebras, comodules, descent data and Thom spectra in∞-categories.Homology Homotopy Appl., 25(2):219–242, 2023

    Jonathan Beardsley. On bialgebras, comodules, descent data and Thom spectra in∞-categories.Homology Homotopy Appl., 25(2):219–242, 2023. TOPOLOGICAL COHOCHSCHILD HOMOLOGY AND THOM SPECTRA 19

    2023

  6. [5]

    John D. Berman. On lax limits in∞-categories.Proc. Am. Math. Soc., 152(12):5055–5066, 2024

    2024

  7. [6]

    Blumberg

    Andrew J. Blumberg. Topological Hochschild homology of Thom spectra which areE ∞-ring spectra.J. Topol., 3(3):535– 560, 2010

    2010

  8. [7]

    Blumberg, Ralph L

    Andrew J. Blumberg, Ralph L. Cohen, and Christian Schlichtkrull. Topological Hochschild homology of Thom spectra and the free loop space.Geom. Topol., 14(2):1165–1242, 2010

    2010

Show all 24 references
  1. [8]

    Computational tools for topological coHochschild homology.Topology Appl., 235:185–213, 2018

    Anna Marie Bohmann, Teena Gerhardt, Amalie Høgenhaven, Brooke Shipley, and Stephanie Ziegenhagen. Computational tools for topological coHochschild homology.Topology Appl., 235:185–213, 2018

    2018

  2. [9]

    Topological coHochschild homology and the homology of free loop spaces.Math

    Anna Marie Bohmann, Teena Gerhardt, and Brooke Shipley. Topological coHochschild homology and the homology of free loop spaces.Math. Z., 301(1):411–454, 2022

    2022

  3. [10]

    Characters and transfer maps via categorified traces.Forum Math

    Shachar Carmeli, Bastiaan Cnossen, Maxime Ramzi, and Lior Yanovski. Characters and transfer maps via categorified traces.Forum Math. Sigma, 13:84, 2025. Id/No e93

    2025

  4. [11]

    Homological coalgebra.J

    Yukio Doi. Homological coalgebra.J. Math. Soc. Japan, 33:31–50, 1981

    1981

  5. [12]

    Goerss and John F

    Paul G. Goerss and John F. Jardine.Simplicial homotopy theory, volume 174 ofProg. Math.Basel: Birkh¨ auser, 1999

    1999

  6. [13]

    CoHochschild homology of chain coalgebras.J

    Kathryn Hess, Paul-Eug` ene Parent, and Jonathan Scott. CoHochschild homology of chain coalgebras.J. Pure Appl. Algebra, 213(4):536–556, 2009

    2009

  7. [14]

    Invariance properties of coHochschild homology.J

    Kathryn Hess and Brooke Shipley. Invariance properties of coHochschild homology.J. Pure Appl. Algebra, 225(2):26, 2021. Id/No 106505

    2021

  8. [15]

    On conjugates and adjoint descent.Topology Appl., 232:140–154, 2017

    Asaf Horev and Lior Yanovski. On conjugates and adjoint descent.Topology Appl., 232:140–154, 2017

    2017

  9. [16]

    On products of skeleta

    Liam Keenan and Maximilien P´ eroux. On products of skeleta. Preprint, arXiv:2510.18961 [math.AT] (2025), 2025

    2025

  10. [17]

    Polygonic spectra and TR with coefficients

    Achim Krause, Jonas McCandless, and Thomas Nikolaus. Polygonic spectra and TR with coefficients. Preprint, arXiv:2302.07686 [math.AT] (2023), 2023

    2023 arXiv

  11. [18]

    The cohomology algebra of certain free loop spaces.Fundam

    Katsuhiko Kuribayashi and Toshihiro Yamaguchi. The cohomology algebra of certain free loop spaces.Fundam. Math., 154(1):57–73, 1997

    1997

  12. [19]

    Princeton University Press, 2009

    Jacob Lurie.Higher topos theory. Princeton University Press, 2009

    2009

  13. [20]

    Jacob Lurie.Higher Algebra. 2017. Preprint available atwww.math.ias.edu/ ~lurie/

    2017

  14. [21]

    Cyclotomic structure in the topological Hochschild homology ofDX.Algebr

    Cary Malkiewich. Cyclotomic structure in the topological Hochschild homology ofDX.Algebr. Geom. Topol., 17(4):2307– 2356, 2017

    2017

  15. [22]

    On topological cyclic homology.Acta Math., 221(2):203–409, 2018

    Thomas Nikolaus and Peter Scholze. On topological cyclic homology.Acta Math., 221(2):203–409, 2018

    2018

  16. [23]

    The coalgebraic enrichment of algebras in higher categories.J

    Maximilien P´ eroux. The coalgebraic enrichment of algebras in higher categories.J. Pure Appl. Algebra, 226(3):11, 2022. Id/No 106849

    2022

Pith tools

Reviewed August 3, 2026 · model on record in the stance chip above.