{"id":"a67f37b3-556f-4871-a322-21a5623a3be2","arxiv_id":"2411.17441","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors define a synthetic Hilbert additive group scheme whose base change recovers the filtered Hilbert additive group scheme, with deloopings whose cohomology reproduces spherical cochain algebras.","lead":"This paper builds a new object in spectral algebraic geometry, a synthetic version of the Hilbert additive group scheme over the sphere spectrum. It lifts a known filtered circle to this setting, with cohomology that matches spherical cochains, and may help in understanding filtrations on topological Hochschild homology.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 2.2's uniqueness claim is false in general, but Lemma 2.3 already proves the needed identification, so the central base-change theorem does not rest on the faulty premise.","rationale":"The reader identified a genuine defect in Lemma 2.2: the stated uniqueness of the Postnikov filtration with a given associated graded is not true for general spectra, and no proof or citation is supplied. However, the paper contains a separate lemma, Lemma 2.3, that directly establishes the needed identification for even E∞-rings by constructing an explicit map and checking associated gradeds. For k = Z, Lemma 2.3 gives fil*_ev(Z[S^1]) ≃ L0Z ⊕ L0Z[1](1), which coincides with the Postnikov filtration τ≥*Z[S^1] in the paper's convention. Since Theorem 0.1's proof uses Proposition 2.5 and the duality of Tsyn, which in turn rely on Lemma 2.3, the faulty uniqueness assertion in Lemma 2.2 is not load-bearing. The residual concern is the rigor of Lemma 2.3's proof, especially the cobar computation and the adjunction step; these are standard but terse. Thus the appropriate verdict remains CONDITIONAL: the central theorem is plausible and likely correct, but the technical gaps should be addressed. The reader's concern is partially valid but overstates the threat to the main theorem.","tokens_in":42971,"tokens_out":43933,"duration_ms":393950,"concrete_test":"Independently verify Lemma 2.3 for k = Z: compute the associated graded of fil*_ev(Z[S^1]) via the cosimplicial presentation using the eff map Z[S^1] → Z, check that the cobar construction on the divided power coalgebra Z[CP∞] yields the exterior algebra Z ⊕ Z[1](1), and confirm that the explicit map constructed in the proof induces an equivalence on associated graded filtrations. If this check passes, Theorem 0.1's premise is secure and Lemma 2.2's uniqueness claim can be replaced by Lemma 2.3.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader flags the assertion in Lemma 2.2 that the Postnikov filtration on a bounded below spectrum is the unique filtration with its associated graded. This is indeed false in general and is stated without proof or citation. However, the conclusion actually needed for Theorem 0.1 — namely fil*_ev(Z[S^1]) ≃ τ≥*Z[S^1] — does not depend on this uniqueness claim. Lemma 2.3, proved independently in the paper, shows for any even E∞-ring k that fil*_ev(k[S^1]) ≃ fil*_ev(k) ⊕ fil*_ev(k)[1](1). For k = Z, fil*_ev(Z) = L0Z, so the right-hand side is L0Z ⊕ L0Z[1](1), which is exactly τ≥*Z[S^1] under the paper's indexing (F^n = τ≥n). Thus the base-change theorem 0.1 relies on Lemma 2.3 (via Proposition 2.5 and the duality of Tsyn), not on the false uniqueness assertion. The residual risk is the terseness of Lemma 2.3's proof, particularly the cobar computation for the divided power coalgebra Z[CP∞] and the adjunction used to construct the map. This is a standard computation and is plausibly correct, but it deserves a rigorous expansion. As written, the flaw is a local proof gap, not a fatal threat to the central claim.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a lift of the degree filtration on the integer-valued polynomials to modules over the evenly filtered sphere spectrum Ssyn, and hence a spectral lift of the filtered Hilbert additive group scheme. The central construction is the synthetic integer-valued polynomials Ssyn_Int(Z) = Ssyn ⊗_{T∨_syn} Ssyn, where T∨_syn is the Ssyn-linear dual of the even filtration on spherical chains on the circle. Theorem 0.1 asserts that base change along the synthetic Hurewicz map Ssyn → Zsyn recovers the degree filtration fil*_deg(Int(Z)); Theorem 0.5 computes the cohomology of the classifying stack of the resulting group scheme, and Theorem 0.6 describes categories of quasi-coherent sheaves on its double delooping. The methods combine the Hahn–Raksit–Wilson even filtration, Moulinos's Rees equivalence between filtered spectra and quasi-coherent sheaves on A^1/G_m, and Toën's theory of affine stacks.","tokens_in":122,"tokens_out":14605,"duration_ms":197434,"significance":"If the proof gaps described below are closed, the paper is a genuinely useful contribution to spectral algebraic geometry and to the program, initiated in [MRT22] and [Mou24b], of giving filtrations a geometric meaning. The construction is parameter-free and is tested against known integral results: the base-change theorem recovers the degree filtration on Int(Z), and the generic fiber recovers the spherical cochain algebra S^{S^1}. The paper is also honest about its limitations, for example in Section 9.2, where it explains why the filtration obtained on THH is not expected to coincide with the motivic filtration. No machine-checked proofs or computational code are provided; the value of the paper lies in the conceptual architecture and in the explicit equivalences it establishes.","major_comments":[{"comment":"The lemma asserts that the Postnikov filtration on a bounded-below spectrum is the unique filtration with a given associated graded. This is false in general: a complete filtration is determined by its associated graded together with extension data, and nontrivial k-invariants can produce different filtrations with the same associated graded. The statement is also given without proof or reference. The later needed identification, fil*_ev(Z[S^1]) ≃ τ≥*Z[S^1], is already supplied by Lemma 2.3 with k = Z, so the main theorem does not rest on Lemma 2.2. Nevertheless, as written the paper contains an invalid lemma, and it should be deleted or replaced by a correct statement.","section":"§2.2, Lemma 2.2"},{"comment":"The proof of Lemma 2.3 is too terse at a load-bearing point. In constructing the second component of the equivalence, the text identifies τ≥2*(k[1]) with fil*_ev(k)[1](1); under the paper's own indexing, τ≥2*(k[1]) has k[1] in filtration degree 0, whereas the shifted object vanishes in that degree. The intended map is presumably the projection onto the k[1] summand promoted to the appropriate filtered object, but the adjunction is not stated correctly. Moreover, the computation that the cobar construction on the divided power coalgebra π_{2*}(k[BS^1]) is the exterior algebra is asserted rather than proved. Since Lemma 2.3 is the key input to Proposition 2.5 and hence to Theorem 0.1, this proof must be expanded and corrected.","section":"§2.2, Lemma 2.3"},{"comment":"The proof of Theorem 0.1 relies on the base change of T∨_syn to τ≥*Z^{S^1} along Ssyn → Zsyn, but only the chain version is proved: Proposition 2.5 identifies fil*_ev(S[S^1]) ⊗_{Ssyn} Zsyn with τ≥*Z[S^1]. One needs an extra lemma, using dualizability of Tsyn (Proposition 2.8), to identify (T∨_syn) ⊗_{Ssyn} Zsyn with the filtered dual of τ≥*Z[S^1], which is τ≥*Z^{S^1}. The paper does not supply this identification, and Warning 2.7 makes it clear that one cannot simply apply Proposition 2.5 to cochains. Without this step, the middle equivalence in the displayed chain of Proposition 7.3 is unsupported.","section":"§7.1, Proposition 7.3"},{"comment":"The proof of strong symmetric monoidality of fil*_ev on spherical chains on tori is only sketched at the level of underlying modules. The reduction to 'quasi-free' objects and the invocation of [Lur17b, Proposition 7.2.1.17] do not by themselves establish the required levelwise equivalence of E∞-algebras, because the compatibility of the algebra and coalgebra structures must be checked and not only the underlying module splitting. Since Proposition 2.10 is used in Proposition 2.11 to equip Tsyn, T∨_syn, and hence Ssyn_Int(Z), with bicommutative bialgebra structure, this gap affects a central structure used in the statements of Theorems 0.1, 0.5, and 0.6.","section":"§2.2, Proposition 2.10"}],"minor_comments":[{"comment":"There are small textual errors: the abstract contains 'one obtains lifts synthetic lifts of', which should read 'synthetic lifts of', and Definition 0.3 has 'Similiarly' instead of 'Similarly'.","section":"Abstract and Definition 0.3"},{"comment":"The notation for suspensions and shifts in filtered spectra, such as [1] and (1), is used without a single explicit convention statement clarifying whether [1] is applied termwise or as a filtered suspension. This ambiguity is a source of the confusion in Lemma 2.3 and should be fixed by a formal convention.","section":"§1.1 and §2.2"},{"comment":"The notation 𝒪gr for the structure sheaf on the special fiber is introduced only in Notation 8.9, but it is used earlier in the statement of Theorem 0.5(2); a forward reference or an earlier definition would help the reader.","section":"§8.3, Notation 8.9"},{"comment":"The proof of Proposition 5.13 invokes the uniqueness of the degeneration from [Mou24b] without stating the precise uniqueness theorem; adding the exact statement, or at least the theorem number, would make the argument easier to verify.","section":"§5.3, Proposition 5.13"}],"recommendation":"major_revision","confidential_remarks":"The central construction is plausible and the paper is honest about its limitations, including the discussion in Section 9.2 of why its filtration on THH is not the motivic filtration. The main reasons for requiring major revision are the incorrect Lemma 2.2, the sketchy and partly misstated proof of Lemma 2.3, and the missing base-change lemma for T∨_syn in Proposition 7.3. These are fixable within the scope of the manuscript, and I do not see evidence of circularity: the key comparisons are made against published independent results. I therefore recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take. The paper constructs a synthetic Hilbert additive group scheme and a synthetic circle, and shows the former base-changes to the degree filtration on Int(Z). That is new and worth knowing. The construction via bar construction over T^vee_syn is natural, and the cohomology computations (Theorems 0.5 and 0.6) give real payoffs: a lift of the filtered circle and a category of representations that interpolates toward S^1-spectra. The authors are also unusually honest about limitations, e.g., Remark 9.10 says the filtration on THH is not the motivic one. That honesty is a plus, not a flaw.\n\nThe central base-change theorem 0.1 does not rest on the faulty uniqueness claim in Lemma 2.2. The reader flagged that the Postnikov filtration is not the unique filtration with its associated graded, and that is correct. But the actual identification needed is fil*_ev(Z[S^1]) ≃ tau>=* Z[S^1], and Lemma 2.3 gives that directly for any even E∞-ring by computing the cobar on Z[CP^∞]. So 0.1 survives.\n\nThe real soft spot is the terseness of Lemma 2.3's proof. The cobar computation for the divided power coalgebra is standard but still needs to be written out; the adjunction constructing the map is only sketched. Similarly, Proposition 2.10's claim that the even filtration is strongly symmetric monoidal on torus chains is argued by a levelwise equivalence on bi-cosimplicial objects but the degree (1,1) identification is not fully detailed. These are addressable proof gaps, not fatal flaws. I would not be surprised if a careful referee found a fix within a few pages.\n\nOther minor issues: the section 8.4 speculation about affine stacks is fine but clearly speculative; Section 9.2 explicitly disclaims applicability to motivic filtration, which limits the title's promise but is the right call. Citation pattern looks appropriate; the key inputs (Mou21, MRT22, HRW23, Ant23) are published and the new results are properly distinguished.\n\nWho is this for? People working on spectral algebraic geometry, filtrations, THH, and integral models. A serious referee should engage with it; the construction is original and the main theorem is very likely correct. My recommendation: send to peer review. Require a rigorous expansion of Lemma 2.3 and Proposition 2.10 before acceptance.","headline":"A genuine new construction in spectral algebraic geometry; the flagged Lemma 2.2 flaw is real but not load-bearing because Lemma 2.3 covers the needed case.","tokens_in":43753,"tokens_out":2041,"would_cite":true,"duration_ms":19571,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14L15","14A20","14D23","55P42"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper constructs a spectral lift of the degree filtration on integer-valued polynomials and proves it base-changes to the original filtration, yielding a synthetic Hilbert additive group scheme.","keywords":["synthetic spectra","integer-valued polynomials","degree filtration","even filtration","Hilbert additive group scheme","filtered circle","spectral algebraic geometry","Cartier duality"],"falsifier":"Find a stable object with no non-zero homotopy groups in negative degrees together with two different filtrations whose successive layers are the same; the Postnikov filtration is one, and any genuinely different one disproves the premise on which the proof of the base-change theorem rests.","tokens_in":42754,"feed_emoji":"","tokens_out":9390,"duration_ms":80384,"temperature":0.7,"pith_summary":"The paper tries to establish that the degree filtration on the ring of integer-valued polynomials—the Hopf algebra whose spectrum is the Hilbert additive group scheme—lifts from ordinary algebra to synthetic spectra. The lift is a bicommutative bialgebra over the evenly filtered sphere spectrum, and the paper proves it base-changes along the synthetic Hurewicz map to exactly the degree filtration. This matters because it converts a purely algebraic filtration into a piece of spectral algebraic geometry: the Hilbert group, its deloopings, and the filtered circle gain spectral versions, and their cohomology recovers spherical cochains and $S^1$-equivariant spectra. The construction is built on the observation that the even filtration on spherical chains on the circle splits as a sum of two copies of the synthetic sphere, shifted in weight and degree.","feed_headline":"Synthetic sphere lifts the degree filtration","feed_subtitle":"A bialgebra over the evenly filtered sphere base-changes to the filtered Hilbert additive group.","key_machinery":"The central object is the even filtration $\\mathrm{fil}^\\ast_{\\mathrm{ev}}(A)$, the right Kan extension of the double-speed Postnikov filtration from even $E_\\infty$-rings to all $E_\\infty$-rings. Applied to the sphere, it is the synthetic sphere $S_{\\mathrm{syn}}$, and the paper takes synthetic spectra to be modules over $S_{\\mathrm{syn}}$ in filtered spectra. The key computational identity is $T_{\\mathrm{syn}} = \\mathrm{fil}^\\ast_{\\mathrm{ev}} S[S^1] \\simeq S_{\\mathrm{syn}} \\oplus S_{\\mathrm{syn}}[1](1)$, which makes $T_{\\mathrm{syn}}$ dualizable and gives $T^\\vee_{\\mathrm{syn}}$ the structure of a bicommutative bialgebra. The bar construction $S_{\\mathrm{syn}} \\otimes_{T^\\vee_{\\mathrm{syn}}} S_{\\mathrm{syn}}$ then produces the synthetic integer-valued polynomials, and the formal-group and Cartier-duality formalism is what interprets these objects as spectral group schemes.","core_discovery":"The central claim is an equivalence of bicommutative bialgebras in $\\mathbb{Z}_{\\mathrm{syn}}$-modules: $S^{\\mathrm{syn}}_{\\mathrm{Int}(\\mathbb{Z})} \\otimes_{S_{\\mathrm{syn}}} \\mathbb{Z}_{\\mathrm{syn}} \\simeq \\mathrm{fil}^\\ast_{\\mathrm{deg}}\\mathrm{Int}(\\mathbb{Z})$. The left side is the relative tensor product $S_{\\mathrm{syn}} \\otimes_{T^\\vee_{\\mathrm{syn}}} S_{\\mathrm{syn}}$, where $T_{\\mathrm{syn}} = \\mathrm{fil}^\\ast_{\\mathrm{ev}} S[S^1]$ and $T^\\vee_{\\mathrm{syn}} = \\mathrm{hom}_{S_{\\mathrm{syn}}}(T_{\\mathrm{syn}}, S_{\\mathrm{syn}})$. The paper presents this as the correct spectral lift of the degree filtration, and from it defines the synthetic Hilbert additive group scheme by applying the filtered-spectrum Rees construction and relative spectrum. It also computes the cohomology of the resulting classifying stack on both the generic and special fibers, recovering $S^{S^1}$ and $\\mathrm{gr}^\\ast_{\\mathrm{ev}}(S)\\oplus \\mathrm{gr}^\\ast_{\\mathrm{ev}}(S)[-1](-1)$ respectively.","pith_inferences":["The template suggests that any free binomial ring whose mod-$p$ reductions are perfect may admit a similar synthetic lift, provided the relevant spherical group algebra splits under the even filtration; the paper only treats the one-generator case.","A testable extension is to compare the filtration the synthetic circle produces on topological Hochschild homology with the motivic filtration on examples such as $\\mathbb{F}_p$; the paper explicitly does not claim these coincide, so such a comparison would isolate where the spectral setting diverges.","The module splitting $T_{\\mathrm{syn}} \\simeq S_{\\mathrm{syn}}\\oplus S_{\\mathrm{syn}}[1](1)$ is not an algebra splitting, and the nontrivial relation $d^2=\\eta d$ in $\\pi_\\ast S[S^1]$ suggests the special fiber carries deformed mixed complexes; making this deformation visible in computations would connect these stacks to chromatic phenomena."],"forward_implications":["Base change along the synthetic Hurewicz map recovers the filtered Hilbert additive group scheme over $\\mathbb{A}^1/\\mathbb{G}_m$.","The classifying stack of the synthetic Hilbert group is a spectral lift of the filtered circle; its generic-fiber cohomology is the spherical cochain algebra $S^{S^1}$.","The special-fiber cohomology is $\\mathrm{gr}^\\ast_{\\mathrm{ev}}(S) \\oplus \\mathrm{gr}^\\ast_{\\mathrm{ev}}(S)[-1](-1)$, and the special-fiber group scheme is the restriction of the kernel of Frobenius on Witt vectors.","Global sections of the $n$-th delooping recover $S^{K(\\mathbb{Z},n)}$, giving $S_{\\mathrm{syn}}$-linear filtrations of spherical cochains on Eilenberg–MacLane spaces.","Quasi-coherent sheaves on the double delooping recover all $S^1$-equivariant spectra: $\\mathrm{QCoh}(\\mathcal{B}^2\\mathcal{H}_S) \\simeq \\mathrm{Fun}(\\mathcal{B}S^1,\\mathrm{Sp})$."],"supporting_citations":[{"why":"Constructs the even filtration on $E_\\infty$-rings and proves its fundamental properties, including eff descent used throughout.","marker":"[HRW23]"},{"why":"Identifies modules over the even filtration of the sphere with even MU-based synthetic spectra, justifying the paper's working definition.","marker":"[GIKR22]"},{"why":"Gives the filtered circle and the p-local description of the degree filtration via the Postnikov filtration on $\\mathbb{Z}^{S^1}$, which the paper refines to an integral equivalence.","marker":"[MRT22]"},{"why":"Provides the integral equivalence $\\mathrm{Int}(\\mathbb{Z}) \\simeq \\mathbb{Z}\\otimes_{\\mathbb{Z}^{S^1}}\\mathbb{Z}$ and the affine-stack framework that motivates the bar construction.","marker":"[Toë20]"},{"why":"Supplies the symmetric monoidal equivalence $\\mathrm{Fil}(\\mathrm{Sp}) \\simeq \\mathrm{QCoh}(\\mathbb{A}^1/\\mathbb{G}_m)$ used to turn filtered algebras into spectral schemes.","marker":"[Mou21]"},{"why":"Supplies the Postnikov-filtration perspective on integral chains and cochains on the circle on which the filtered models are built.","marker":"[Rak20]"}],"fun_headline_variants":["Synthetic spheres build Hilbert additive group","Degree filtration gets synthetic spectral lift","Filtered sphere bialgebra yields Hilbert scheme","Synthetic bialgebra powers Hilbert group lift","Hilbert group via even filtered synthetic spectra"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction assumes that a stable object with no homotopy in negative degrees has exactly one filtration whose successive quotients are its homotopy groups; the paper states this without proof, and it is false for general stable objects.","fun_headline_variants_meta":{"raw":{"variants":["Synthetic spheres build Hilbert additive group","Degree filtration gets synthetic spectral lift","Filtered sphere bialgebra yields Hilbert scheme","Synthetic bialgebra powers Hilbert group lift","Hilbert group via even filtered synthetic spectra"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000298,"raw_usage":{"total_tokens":1737,"prompt_tokens":968,"completion_tokens":769,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":584,"completion_tokens_details":{"reasoning_tokens":703}},"tokens_in":584,"tokens_out":769,"duration_ms":8385,"temperature":1.0,"reasoning_tokens":703,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T12:06:28.311258+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a stable object with no non-zero homotopy groups in negative degrees together with two different filtrations whose successive layers are the same; the Postnikov filtration is one, and any genuinely different one disproves the premise on which the proof of the base-change theorem rests.","supporting_citations":[],"review_version":1}