{"id":"b2308ebc-6fd4-4068-b960-f4775b08fc99","arxiv_id":"2608.09426","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The cellular Tate filtration is lax E2-monoidal, and the HKR filtrations of Antieau, Bhatt-Lurie, and Raksit on negative cyclic and periodic homology coincide.","lead":"This paper proves that a standard way of slicing the circle-equivariant Tate construction can be made compatible with multiplication up to a precise level, and that three different filtrations from the literature on cyclic homology actually agree. A generalist might care because these comparisons were folklore or observed but not fully proved, and they are used in current homotopy and algebraic geometry research.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Main theorem is conditional on the unpublished [Lur15, Thm 5.2.3]; the rest of the proof appears internally coherent.","rationale":"The reader's weakest_assumption correctly isolates [Lur15, Thm 5.2.3]. My stress-test did not find an internal inconsistency in the surrounding argument: the strong monoidality of the colimit/const adjunction used in Lemma 3.7 holds for the cartesian Day convolution; the computation of the Serre functor in Proposition 2.4 is consistent with the toy cases I checked; and the dualization/localization in Section 3 follows the standard pattern for inverting a map between invertible filtered objects. I did notice that Remark 2.5's final claim that the Serre functor of Fun(N,C) is an equivalence looks suspect and is not needed elsewhere, but it does not affect Theorem 1.1. The publication decision therefore hinges on the availability and exact content of the Lurie preprint. Since this is a known, citable preprint and the authors explicitly attribute the argument, an ACCEPT with moderate confidence is reasonable; I would not move the verdict. A concrete verification step is to check the statement of [Lur15, Thm 5.2.3]; if the authors can provide the statement or a proof, the concern is fully resolved.","tokens_in":19578,"tokens_out":33331,"duration_ms":287132,"concrete_test":"Obtain the latest version of Lurie's 'Rotation invariance in algebraic K-theory' and verify the exact statement of Theorem 5.2.3: (a) the filtered space is {CP^n}_{n>=0}, (b) the coalgebra structure is with respect to the left Day convolution on Fun(N,S), and (c) the structure maps are compatible with the canonical maps CP^n -> CP^infty. Then re-run Lemma 3.7 and the Serre-functor dualization in Section 3 with that statement in hand; if the statement differs or cannot be accessed, ask the authors to include a self-contained proof or a precise statement in an appendix.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 3.4 begins by taking as a black box an 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]. The statement is not reproduced or proved, and the preprint is unpublished and not freely available in a stable form. Lemma 3.7 then lifts this coalgebra to Fun(N,S/CP^infty), and the Serre-functor passage of Section 2.2 converts it to the desired E2-algebra structure on S_* = S^{-*C}. I checked the internal steps: the colimit/const adjunction is strongly monoidal here, Proposition 2.12 is plausible and survives toy checks with representables, and the localization step is standard. Thus the only load-bearing unsupported input is the existence and precise form of the Lurie coalgebra. If [Lur15, Thm 5.2.3] is not available, or if it concerns a different monoidal structure (e.g., the opposite Day convolution or the reverse filtration), then Theorems 1.1 and 3.4 have no foundation. This is exactly the risk the reader identified; I do not see a new internal gap.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":19694,"tokens_out":5352,"duration_ms":48636,"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":[{"comment":"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.","section":"Section 3, proof of Theorem 3.6 (and Theorems 1.1 and 3.4)"},{"comment":"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.","section":"Section 3, Lemma 3.7"}],"minor_comments":[{"comment":"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.","section":"Section 2, Serre functor indexing"},{"comment":"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)'.","section":"Theorem 1.2 statement"},{"comment":"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.","section":"Section 3, proof of Theorem 3.6"},{"comment":"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.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The main theorem is conditional on an unpublished, not-stated external result. If the journal is willing to accept such a dependency, the paper could be acceptable after minor edits; otherwise the authors must include the statement and proof of [Lur15, Theorem 5.2.3]. The rest of the mathematics appears coherent, and the HKR comparison in Section 7 is a useful contribution."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"To start where it matters: this is a solid paper. The main content is a written proof of the E2-lax monoidal structure on the cellular Tate filtration—previously observed but not recorded—plus a new comparison of that filtration with the homotopy Tate filtration via decalage, and a synthetic variant used to show that the Antieau, Bhatt–Lurie, and Raksit HKR filtrations agree. The HKR comparison in Theorem 7.9 was folklore; this is the first complete proof I know of. The paper gives credit where credit is due: the monoidality argument is explicitly attributed to Lurie, and the authors do not try to hide that they are filling in a gap.\n\nThe exposition is clear and the proofs are mostly complete. I checked the structure of the Serre-functor passage and the doubling/decalage identities; they look coherent. The associated graded and colimit calculations for the synthetic Tate filtration are written out, and the proof that the synthetic filtration exchanges with Bhatt–Lurie's is a neat use of left Kan extension. The paper also flags its own open points (Conjecture 6.12) rather than overclaiming.\n\nThe soft spot is exactly the one flagged in the stress test: Theorem 3.4 depends on [Lur15, Thm 5.2.3], an unpublished preprint, taken as a black box. The statement is not reproduced, and the proof builds directly on it. If that theorem is unavailable or concerns a different monoidal structure, the E2-monoidality result has no foundation. This is a real dependency, but I do not treat it as disqualifying: the paper is transparent about it, the rest of the argument is internally consistent, and reliance on Lurie's unpublished manuscripts is common in this area. Still, the referee should ask the authors to include the exact statement or a sketch, and to confirm the preprint is stable.\n\nThe second half of the paper—the HKR comparisons—is less exposed to that risk, since it uses the synthetic Tate filtration and the decalage theorem (Theorem 5.1) which are proved here.\n\nWho is this for? Homotopy theorists and people working on Hochschild homology, cyclotomic spectra, and synthetic spectra. It is a short note rather than a breakthrough, but it fills a real gap. I would send it to peer review. The main thing I would ask of the authors is to make the Lurie dependency explicit enough that a reader can verify the input without chasing a four-year-old unpublished file. That said, I would be happy to cite Theorem 1.1 and Theorem 7.9.","headline":"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.","tokens_in":20344,"tokens_out":2347,"would_cite":true,"duration_ms":19237,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["55P42","55P43","55P48","55P91"],"pacs":[],"model":"deepseek-v4-flash","headline":"The circle-equivariant cellular Tate filtration admits a lax $E_2$-monoidal structure, and provably no $E_3$-monoidal structure exists.","keywords":["cellular Tate filtration","Tate construction","lax E2-monoidal","Day convolution","Serre functor","synthetic spectra","HKR filtration","negative cyclic homology"],"falsifier":"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.","tokens_in":19273,"feed_emoji":"","tokens_out":12974,"duration_ms":95603,"temperature":0.7,"pith_summary":"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.","feed_headline":"Tate filtration supports two-fold multiplication, not three-fold","feed_subtitle":"The result fills a gap in the literature and settles the exact multiplicative strength of the filtration.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Provides the asserted $E_2$-coalgebra structure on the filtered spaces $\\{\\mathbb{CP}^n\\}$ under Day convolution, the load-bearing input for the monoidality proof.","marker":"[Lur15]"},{"why":"Records the observation that the Tate filtration is lax monoidal but not symmetric monoidal, and states the higher obstruction that the paper proves in Warning 3.5.","marker":"[BL22]"},{"why":"Identifies the colimit of the cellular Tate filtration with the Tate construction $X^{tS^1}$, a basic property used in the comparison theorems.","marker":"[NS18]"},{"why":"Supplies the décalage technology and the comparison of cellular with homotopy-type filtrations that Theorem 5.1 extends.","marker":"[Ant24]"},{"why":"Gives the Dyer-Lashof operation calculations used to prove that no $E_3$-monoidal refinement exists.","marker":"[Law20]"},{"why":"Introduces the synthetic context and the earlier appearance of the synthetic Tate filtration that Definition 6.10 makes explicit.","marker":"[AR24]"},{"why":"Defines the filtered circle and the HKR filtration on Hochschild homology that the synthetic Tate filtration is compared against in Theorem 7.9.","marker":"[Rak26]"},{"why":"Shows that over the rationals the cellular Tate filtration is lax symmetric monoidal, marking the rational contrast to the $E_3$ obstruction.","marker":"[Bal24]"}],"fun_headline_variants":["Tate filtration is E_2-monoidal, not E_3","Cellular Tate filtration: no E_3 structure","Synthetic Tate filtration aligns three HKR filtrations","Tate filtration's multiplicative strength pinned at two","Two-fold multiplication for Tate filtration, not three"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Tate filtration is E_2-monoidal, not E_3","Cellular Tate filtration: no E_3 structure","Synthetic Tate filtration aligns three HKR filtrations","Tate filtration's multiplicative strength pinned at two","Two-fold multiplication for Tate filtration, not three"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000573,"raw_usage":{"total_tokens":2665,"prompt_tokens":861,"completion_tokens":1804,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":477,"completion_tokens_details":{"reasoning_tokens":1726}},"tokens_in":477,"tokens_out":1804,"duration_ms":11670,"temperature":1.0,"reasoning_tokens":1726,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T14:25:15.342728+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":2}