Pith. sign in

REVIEW 2 major objections 4 minor 19 references

On the circle-equivariant cellular Tate filtration

T0 review · 2 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read The circle-equivariant cellular Tate filtration admits a lax $E_2$-monoidal structure, and provably no $E_3$-monoidal structure exists.

desk verdict A careful, honest note that records Lurie's E2-monoidality proof and gives the first complete comparison of HKR filtrations; the main risk is the unpublished black box, but the paper deserves a serious referee. read the letter →

arxiv 2608.09426 v1 pith:GJZEV7NC submitted 2026-08-10 math.AT math.KT

Toni Annala , Piotr Pstrągowski This is my paper · ORCID
classification math.ATmath.KT MSC 55P4255P4355P4855P91
keywords cellularTatefiltrationconstructionlaxE2-monoidalDayconvolutionSerrefunctorsyntheticspectraHKRnegativecyclichomology
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 proves a structural fact about the Tate construction with circle action: the filtration built from the standard cell decomposition of $\mathbb{CP}^\infty$, whose $q$-th term is $(X \otimes S^{-q\mathbb{C}})^{hS^1}$, can be made into a lax $E_2$-monoidal functor — a multiplicative structure with two commuting directions of coherence. The result is optimal, since an $E_3$-monoidal refinement is impossible, even over the field $\mathbb{F}_2$. The proof proceeds by promoting the nested spaces $\mathbb{CP}^0 \to \mathbb{CP}^1 \to \cdots$ to an $E_2$-coalgebra in filtered spaces over $\mathbb{CP}^\infty$, then passing through suspension spectra, a Serre functor, and Spanier-Whitehead duality to obtain the required $E_2$-algebra of filtered spectra with circle action. The same circle of ideas yields an explicit equivalence between the cellular Tate filtration and the homotopy Tate filtration after a décalage-and-doubling regrading, and a synthetic analogue that proves the three HKR filtrations on negative cyclic and periodic homology coincide.

What carries the argument

The load-bearing mechanism is an $E_2$-coalgebra structure, taken from the unpublished theorem [Lur15, Theorem 5.2.3], on the filtered space $\mathbb{CP}^0 \to \mathbb{CP}^1 \to \cdots$ inside $\mathrm{Fun}(\mathbb{N},\mathcal{S})$ equipped with Day convolution, a tensor product on diagrams built from colimits (or limits) over the index category. The paper lifts this structure to filtered spaces over $\mathbb{CP}^\infty \simeq BS^1$, passes to suspension spectra to get an $E_2$-coalgebra in filtered spectra with circle action, then applies the Serre functor — which exchanges left and right Day convolution — and takes levelwise Spanier-Whitehead duals. The result is an $E_2$-algebra object $S_* = S^{-(*)\mathbb{C}}$ in filtered spectra with $S^1$-action; tensoring with $X$ and taking homotopy fixed points turns this into the lax $E_2$-monoidal Tate filtration. The optimality argument is carried by a separate calculation: over $\mathbb{F}_2$, the induced identification of $\mathbb{F}_2^{hS^1}$ with the cochain complex of $\mathbb{CP}^\infty$ would force the Dyer-Lashof operation $Q^2$ to vanish on the polynomial generator, contradicting its known non-vanishing.

What would settle it

Inspect the statement of [Lur15, Theorem 5.2.3] and verify the existence of the asserted $E_2$-coalgebra structure on $\{\mathbb{CP}^n\}$; a counterexample would invalidate the proof of Theorem 3.4. Alternatively, an explicit $E_3$-monoidal refinement of the Tate filtration would refute the optimality claim, whereas a direct computation of the Dyer-Lashof operation $Q^2(t)$ on the generator of $H_*(\mathbb{F}_2^{hS^1})$ would confirm or break the stated obstruction.

Watch

Extended reading notes

Core claim

In the paper’s own terms, Theorem 1.1 states that the Tate filtration functor $F_T^*(-^{tS^1}): \mathrm{Sp}^{BS^1} \to \mathrm{Fil}(\mathrm{Sp})$, defined at filtration degree $q$ by $(X \otimes S^{-q\mathbb{C}})^{hS^1}$, can be refined to a lax $E_2$-monoidal functor, and Warning 3.5 shows that this is sharp: no $E_3$-monoidal refinement exists, even $\mathbb{Z}$-linearly, while over $\mathbb{Q}$ the filtration is lax symmetric monoidal. A second thread proves that the cellular Tate filtration and the homotopy Tate filtration (the Tate construction applied to the Whitehead tower) are related by explicit equivalences involving the doubling functor $d_!$ and décalage, so that the obstruction to symmetric monoidality disappears after one décalage. A third thread constructs the synthetic Tate filtration on modules over the even circle and uses it to compare three previously constructed HKR filtrations on $\mathrm{HC}^-$ and $\mathrm{HP}$, establishing that they agree up to an exchange of the two filtration directions.

Load-bearing premise

The entire monoidality proof rests on the unpublished assertion that the filtered spaces $\mathbb{CP}^0 \to \mathbb{CP}^1 \to \cdots$ admit an $E_2$-coalgebra structure with respect to Day convolution; if that assertion is false or unavailable, the paper’s first main theorem has no foundation.

Editorial extensions

If this is right

  • The Tate filtration can be used as a multiplicative object: filtered Tate spectra carry coherent two-fold multiplications, so the missing proof of the lax monoidal structure noted in [BL22] is now supplied.
  • The $E_3$ obstruction is stable under base change: no $E_3$-monoidal structure exists even $\mathbb{Z}$-linearly, and the $\mathbb{F}_2$ calculation isolates exactly why — the Dyer-Lashof operation $Q^2$ prevents formality of $\mathbb{F}_2^{hS^1}$ as an $E_3$-algebra.
  • The cellular Tate filtration and the homotopy Tate filtration carry the same spectral-sequence information after an explicit regrading; in particular, the two filtrations are equivalent after one application of décalage and the doubling functor.
  • The synthetic Tate filtration of a $T_{\mathrm{ev}}$-module $X$ has associated graded $X[-2n](-n)$ and colimit the filtered Tate construction $X^{tT_{\mathrm{ev}}}$, so it supplies a complete bifiltered object.
  • The three HKR filtrations on $\mathrm{HC}^-$ and $\mathrm{HP}$ from the literature agree; for $\mathrm{HP}$ the comparison exchanges the filtration directions.

Reading between the lines

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

  • Beyond the paper: if the $E_2$-monoidal structure is natural in $X$, it should induce multiplicative structures on the associated spectral sequences of the cellular Tate filtration; this is not written out here but would follow directly from the functoriality of the construction.
  • Beyond the paper: the $E_3$ obstruction suggests a saturation principle — circle-equivariant formality over $\mathbb{F}_2$ stops at $E_2$. Testing whether the same obstruction appears for other fields, or for the circle acting on other invertible spectra, would delineate how general the phenomenon is.
  • Beyond the paper: the synthetic comparison in Theorem 7.9 is proven by left Kan extension from polynomial algebras; an alternative proof using the conjectural $E_2$-monoidality of the synthetic Tate filtration (Conjecture 6.12) would likely be cleaner and might extend the agreement of HKR filtrations to multiplicative structures.
  • Beyond the paper: the décalage equivalence between cellular and homotopy Tate filtrations suggests a general recipe for turning obstruction-laden filtrations into symmetric monoidal ones; applying the same doubling-plus-décalage move to other equivariant filtrations would test the scope of this phenomenon.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 4 minor

Summary. The paper proves that the cellular Tate filtration functor F_T^*(-^{tS^1}): Sp^{BS^1} -> Fil(Sp), defined by F_T^q(X^{tS^1}) = (X \otimes S^{-qC})^{hS^1}, can be refined to a lax E_2-monoidal functor, and that no E_3-monoidal refinement exists. The proof follows a strategy of Lurie: an E_2-coalgebra structure on the filtered spaces CP^0 -> CP^1 -> ... is passed through a lift to filtered spaces over CP^∞, converted by a Serre functor and duality into an E_2-algebra in filtered spectra with S^1-action, and then localized to obtain the desired filtered spectrum S_* = S^{-*C}. The paper also compares the cellular Tate filtration with the homotopy Tate filtration via a doubling functor and décalage, constructs a synthetic variant of the Tate filtration, and uses it to prove that the HKR filtrations of Antieau, Bhatt--Lurie, and Raksit on negative cyclic and periodic homology agree.

Significance. If the main theorem holds, this fills a documented gap in the literature: Bhatt--Lurie observed that the Tate filtration is lax monoidal but did not record the E_2 refinement, and the paper supplies a proof. The optimality warning against E_3 is a useful and explicit obstruction. The comparison of the cellular and homotopy Tate filtrations (Theorem 1.2) and the synthetic construction of Section 6 are valuable tools, and Theorem 7.9 gives the first complete proof of a folklore equivalence among three HKR filtrations. The paper is largely self-contained in its treatment of right Day convolution and the Serre functor, and it makes the synthetic Tate filtration and its basic properties explicit. However, the central E_2-monoidality claim depends on an unpublished external result cited as [Lur15, Theorem 5.2.3], which is neither stated nor proved in the manuscript; this is the main weakness.

major comments (2)
  1. [Section 3, proof of Theorem 3.6 (and Theorems 1.1 and 3.4)] The proof of Theorem 3.6 is conditional on [Lur15, Theorem 5.2.3], which asserts the existence of an E_2-coalgebra structure on the filtered space CP^0 -> CP^1 -> ... in Fun(N,S) with left Day convolution. This result is used as a black box: its statement is not reproduced, and the preprint is unpublished and does not appear to have a stable public version. All subsequent steps in the proof -- Lemma 3.7, the Serre-functor passage, the levelwise dualization, and the final localization -- build directly on this input. Consequently, Theorems 1.1 and 3.4 are not established as standalone results unless this external theorem is available and correct. The revision should either include a precise statement and a proof (or a proof sketch sufficient for verification) of [Lur15, Theorem 5.2.3] in an appendix, or explicitly state in the abstract and introduction that the main theorem is conditional on an unpublished result.
  2. [Section 3, Lemma 3.7] The proof of Lemma 3.7 compresses the identification of the operad C^⊗ with Fun(N,S/X_∞)^op into a representability argument; in particular, the claim that the E_k-coalgebra structure on const(X_∞) "extends uniquely to the unique cocommutative coalgebra structure" is delegated to a dual of [Lur17, Proposition 2.4.3.9] without a detailed verification. Since this lemma is the bridge between Lurie's coalgebra in filtered spaces and the coalgebra in filtered S^1-spaces needed for Theorem 3.6, the argument would benefit from a more explicit account of the uniqueness and of the functoriality of the lift. This is not an obvious gap, but given its role in the main theorem it should be made fully checkable.
minor comments (4)
  1. [Section 2, Serre functor indexing] The formula for the Serre functor is given in Proposition 2.4 as cofib(X_{q+1} -> X_{-∞}) and again in Remark 2.11 as cofib(X_{q-1} -> X_∞) with conventions X_{-1}=0 and X_1=0. The footnotes explain the change of indexing, but a single displayed statement of the convention would help the reader avoid sign errors when following the proof of Theorem 3.6.
  2. [Theorem 1.2 statement] The parenthetical '(5.1, 5.3)' in Theorem 1.2 is imprecise: part (1) is Theorem 5.1(2) and part (2) is Corollary 5.3. The reference should say '(Theorem 5.1 and Corollary 5.3)'.
  3. [Section 3, proof of Theorem 3.6] The sentence 'As taking monoidal duals takes finite limits to colimits' is used to convert the E_2-coalgebra structure to an E_2-algebra structure, but no reference or justification is given at that point. A one-sentence explanation or citation would improve readability.
  4. [References] The reference [Lur15] is listed only as 'preprint (2015)'. Since it is load-bearing for the main theorem, the authors should provide a stable identifier or URL if one exists, or otherwise make the result available in the revision.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the main monoidality theorem rests on an external (unpublished) Lurie theorem and otherwise consists of internal constructions and verifications.

full rationale

I walked the derivation chain of Theorems 1.1, 1.2, and 1.3. The load-bearing input for Theorem 3.4 is the E2-coalgebra structure on the filtered space CP^0 -> CP^1 -> ... in Fun(N,S) with left Day convolution, cited as [Lur15, Theorem 5.2.3]. This is an external unpublished theorem, not a result of this paper, and it is not the same statement as the target E2-lax monoidality of the Tate filtration; it is an input from which the target is derived through Lemma 3.7, the Serre-functor passage, and localization. No fitted parameter is renamed as a prediction, and no definition is stated in terms of the conclusion: the cellular Tate filtration is defined by homotopy fixed points of representation spheres, while its colimit and associated graded identifications are proved through the norm/Tate diagram and standard facts, not assumed by definition. The comparison of the three HKR filtrations is likewise an actual proof: the paper constructs natural transformations, checks them on polynomial algebras via associated graded and connective-cover arguments, and extends by left Kan extensions; it does not presuppose the claimed equivalences. The only significant caveat is that Theorem 3.4 is conditional on the availability and exact form of [Lur15, Theorem 5.2.3]; if that theorem were unavailable or misstated, the first main theorem would lack its foundation. That is a correctness risk or dependency, not a circularity, because the cited result is not the authors' own theorem and is not equivalent to the paper's conclusion by construction. Apart from this external dependency, the internal proof steps are coherent and independent of the claims being proved.

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

The paper introduces no free parameters or fitted constants. It relies on a network of external results from the homotopy-theoretic literature, several from unpublished or very recent work (Lurie's 2015 preprint, Pstrągowski's even filtration, Raksit's HKR formalism, Antieau-Riggenbach's synthetic spectra). These are domain assumptions: they are quoted as theorems, not derived in the paper. The only genuinely new mathematical objects (the explicit synthetic Tate filtration) are constructed by definition, with computed graded pieces and colimits, so they do not function as unverified invented entities.

assumptions (7)
  • domain assumption The filtered space CP^0 -> CP^1 -> ... admits an E2-coalgebra structure with respect to Day convolution on Fun(N,S).
    Invoked as [Lur15, Theorem 5.2.3] in the proof of Theorem 3.6; it is from an unpublished preprint and not proved in the paper, and the monoidality argument builds on it directly.
  • domain assumption For bounded below spectra, the perfect even filtration is complete and identifies with a Tot of MU-based Postnikov truncations.
    Used in Recollection 6.8 as [Pst25, Theorem 8.3] to define the values of the functor fil_pev,S[S^1], which feeds the synthetic Tate filtration.
  • domain assumption Raksit's filtered Hochschild homology satisfies the universal property and associated graded formulas for the HKR filtration.
    Quoted from [Rak26, Theorem 6.2.6, Remark 6.2.10, Propositions 6.2.9 and 6.3.7] in Recollection 7.8 and used in Lemmas 7.12 and 7.13 and Proposition 7.14.
  • domain assumption The map S[S^1] -> S -> MU is faithfully even flat.
    Used in Recollection 6.8 and Proposition 6.14 via [AR24, Corollary 2.36] and [HRW, Proposition 2.2.20] to verify that certain fibre sequences are preserved by the even filtration.
  • domain assumption The colimit of the cellular Tate filtration is the Tate construction and the associated graded is X[-2*], with a unique comparison map from homotopy fixed points.
    Cited in Recollection 3.3 as [Bal24, Proposition B.6] and [NS18, Theorem I.4.1]; this is the starting input for both the cellular and the synthetic Tate filtrations.
  • standard math Quillen's Theorem A can be used to identify weak contractibility of overcategories of the poset (N x N)^{n/}.
    Used in the proof of Proposition 2.9 to show that the right Day convolution exists on Fun(N,D); a standard homotopical fact.
  • domain assumption On F2-cochains of any space, the Dyer-Lashof operation Q2 agrees with Q0 and acts by identity on degree-two cohomology.
    Used in Warning 3.5 as [Law20, Example 5.9] to derive the contradiction showing the Tate filtration is not E3-monoidal.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the circle-equivariant cellular Tate filtration." pith.science (2026). https://pith.science/paper/GJZEV7NC

@misc{pith2026260809426,
  author       = {Pith},
  title        = {Pith review of: On the circle-equivariant cellular Tate filtration},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GJZEV7NC}},
  note         = {Machine review of arXiv:2608.09426}
}
read the original abstract

Using an argument of Jacob Lurie, we prove the existence of a E_2-lax monoidal structure on the Tate filtration coming from the standard cell structure on the infinite complex projective space. We then compare it to the filtration induced by the standard t-structure on spectra. In the last part of the paper, we construct a synthetic variant of the cellular Tate filtration and use it to compare Antieau's, Bhatt-Lurie's and Raksit's HKR filtrations on negative cyclic and periodic homology.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 16 canonical work pages

  1. [1]

    Antieau, Periodic cyclic homology and derived de Rham cohomology, Annals of K-theory 4 (2019), no

    B. Antieau, Periodic cyclic homology and derived de Rham cohomology, Annals of K-theory 4 (2019), no. 3, pp. 505--519

    work page 2019

  2. [2]

    Antieau, Spectral sequences, d\'ecalage, and the Beilinson t-structure, 2024, https://arxiv.org/abs/2411.09115, http://arxiv.org/abs/2411.09115 arXiv:2411.09115

    B. Antieau, Spectral sequences, d\'ecalage, and the Beilinson t-structure, 2024, https://arxiv.org/abs/2411.09115, http://arxiv.org/abs/2411.09115 arXiv:2411.09115

    arXiv 2024

  3. [3]

    Cyclotomic synthetic spectra

    B. Antieau and N. Riggenbach, Cyclotomic synthetic spectra, arXiv preprint arXiv:2411.19929 (2024)

    work page Pith review arXiv 2024

  4. [4]

    Bals, Periodic cyclic homology over Q , Annals of K-Theory 9 (2024), no

    K. Bals, Periodic cyclic homology over Q , Annals of K-Theory 9 (2024), no. 1, pp. 119--142

    work page 2024

  5. [5]

    Bhatt and J

    B. Bhatt and J. Lurie, Absolute prismatic cohomology, preprint http://arxiv.org/abs/2201.06120 arXiv:2201.06120

    arXiv

  6. [6]

    S. K. Devalapurkar, Ku-theoretic spectral decompositions for spheres and projective spaces, arXiv preprint arXiv:2402.03995 (2024)

    arXiv 2024

  7. [7]

    Glasman, Day convolution for -categories , Mathematical Research Letters 23 (2017), no

    S. Glasman, Day convolution for -categories , Mathematical Research Letters 23 (2017), no. 5, pp. 1369--1385

    work page 2017

  8. [8]

    Horel, E_2 -formality via obstruction theory , Annales Henri Lebesgue 8 (2025), pp

    G. Horel, E_2 -formality via obstruction theory , Annales Henri Lebesgue 8 (2025), pp. 699--720

    work page 2025

Show all 19 references
  1. [9]

    J. Hahn, A. Raksit, and D. Wilson, A motivic filtration on the topological cyclic homology of commutative ring spectra, Annals of Mathematics

  2. [10]

    Lawson, E_n -spectra and Dyer-Lashof operations , Handbook of homotopy theory, Chapman and Hall/CRC, 2020, pp

    T. Lawson, E_n -spectra and Dyer-Lashof operations , Handbook of homotopy theory, Chapman and Hall/CRC, 2020, pp. 793--849

    2020

  3. [11]

    Lurie, Rotation invariance in algebraic K -theory, preprint (2015)

    J. Lurie, Rotation invariance in algebraic K -theory, preprint (2015)

    2015

  4. [12]

    , Higher Algebra, September 2017

    2017

  5. [13]

    , Spectral Algebraic Geometry, February 2018

    2018

  6. [14]

    Nikolaus and P

    T. Nikolaus and P. Scholze, On topological cyclic homology, Acta Mathematica 221 (2018), no. 2, pp. 203--409

    2018

  7. [15]

    Pstr a gowski, Synthetic spectra and the cellular motivic category, Inventiones mathematicae 232 (2023), no

    P. Pstr a gowski, Synthetic spectra and the cellular motivic category, Inventiones mathematicae 232 (2023), no. 2, pp. 553--681

    2023

  8. [16]

    , Perfect even modules and the even filtration, Journal of the European Mathematical Society (2025)

    2025

  9. [17]

    Raksit, Hochschild homology and the derived de Rham complex revisited, Selecta Mathematica 32 (2026), no

    A. Raksit, Hochschild homology and the derived de Rham complex revisited, Selecta Mathematica 32 (2026), no. 3, p. 61

    2026

  10. [18]

    van Nigtevecht, An introduction to filtered and synthetic spectra, arXiv preprint arXiv:2509.21127 (2025)

    S. van Nigtevecht, An introduction to filtered and synthetic spectra, arXiv preprint arXiv:2509.21127 (2025)

    2025

  11. [19]

    Winges, Hinich's model for Day convolution revisited, Bulletin of the London Mathematical Society 58 (2026), no

    C. Winges, Hinich's model for Day convolution revisited, Bulletin of the London Mathematical Society 58 (2026), no. 1, p. e70283

    2026

Pith tools

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