The Synthetic Hilbert Additive Group Scheme

Alice Hedenlund; Tasos Moulinos

REVIEW 4 major objections 4 minor 1 cited by

The Synthetic Hilbert Additive Group Scheme

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

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

Pith's one-line read 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.

desk verdict 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. read the letter →

arxiv 2411.17441 v2 pith:ERYZT64L submitted 2024-11-26 math.AG math.AT

Alice Hedenlund , Tasos Moulinos This is my paper · ORCID

classification math.AGmath.AT MSC 14L1514A2014D2355P42

keywords syntheticspectrainteger-valuedpolynomialsdegreefiltrationevenHilbertadditivegroupschemefilteredcirclespectralalgebraicgeometryCartierduality

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

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

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})$.

Reading between the lines

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

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.

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.

Desk Editor's Note

read the 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.

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

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

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

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

Referee Report

4 major / 4 minor

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.

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 (4)

[§2.2, Lemma 2.2] 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.
[§2.2, Lemma 2.3] 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.
[§7.1, Proposition 7.3] 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.
[§2.2, Proposition 2.10] 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.

minor comments (4)

[Abstract and Definition 0.3] 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'.
[§1.1 and §2.2] 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.
[§8.3, Notation 8.9] 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.
[§5.3, Proposition 5.13] 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.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the synthetic lift is an explicit construction whose base-change theorem is proved from independent even-filtration computations and prior published integral results.

full rationale

The central object Ssyn_Int(Z) is defined explicitly as the relative tensor product Ssyn ⊗_{T∨_syn} Ssyn (Definition 7.1), and Theorem 0.1 is proved in Proposition 7.3 by base-changing along the synthetic Hurewicz map: (Ssyn ⊗_{T∨_syn} Ssyn) ⊗_{Ssyn} Zsyn ≃ L0Z ⊗_{τ≥∙Z^{S^1}} L0Z, which Proposition 5.17 identifies with fil*_deg Int(Z). The key new input, Lemma 2.3, is proved in the paper by an associated-graded cobar computation and does not rely on the flagged uniqueness assertion in Lemma 2.2. Thus the theorem does not assume its own conclusion, and no parameter or fitted datum is being renamed as a prediction. The paper does cite the authors' prior work — [Mou21] for the Rees equivalence, [Mou24b] for the uniqueness of the filtered formal group degeneration, and [MRT22] for the filtered circle — but these are published, independent results with stated assumptions that do not include Theorem 0.1, and they are used as external inputs rather than as self-citations that substitute for the proof. The reviewer-flagged issue is real but is a correctness gap, not circularity: Lemma 2.2's claim that a bounded-below spectrum has a unique filtration with its associated graded is stated without proof and is false in general; however, Lemma 2.3 independently supplies the needed identification fil*_ev(Z[S^1]) ≃ Zsyn ⊕ Zsyn[1](1), and the subsequent Proposition 2.5 uses Lemma 2.3, not Lemma 2.2. The paper also explicitly disclaims in Remark 9.10 that its THH filtration is not the motivic filtration, which is a limitation statement rather than a circular step. Overall, the derivation chain is self-contained at the level of the new base-change claim, with no circular reduction found.

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

No new physical entities are introduced; the mathematical objects (Hsyn, Ssyn_Int(Z), T_syn) are constructions, not postulated forces or particles. The free parameter list is empty because the paper fits no data and chooses no numerical constants.

assumptions (5)

domain assumption Existence and basic properties of the even filtration, including eff descent (HRW23).
Throughout, especially Section 1.2 and Proposition 1.4; the paper relies on the Hahn-Raksit-Wilson even filtration and its descent properties without reproving them.
domain assumption Equivalences QCoh(BG_m) is equivalent to Mod^gr_S and QCoh(A^1/G_m) is equivalent to Fil(Sp) from Moulinos (Mou21).
Used in Notation 0.2 and Section 3.5 to convert filtered algebras into stacks.
domain assumption Uniqueness of filtered formal group degeneration in Mou24b, Theorem 1.4, used to identify Hfil with H^t/G_m in Proposition 5.13.
This input is from the second author's earlier work; it is load-bearing for the Witt vector model but published and checkable.
ad hoc to paper Uniqueness of a filtration with given associated graded in spectra, asserted in Lemma 2.2 without proof.
Used to conclude fil*_ev(Z[S^1]) is equivalent to the Postnikov filtration; no reference is supplied and the statement is not generally true.
domain assumption Spherical Witt vectors and the perfectness of Int(Z)/p (Ant23, Lur18a).
Used in Section 6.2 to construct SInt(Z).

how reviews work

0 comments

Cite this review

Pith. "Pith review of The Synthetic Hilbert Additive Group Scheme." pith.science (2026). https://pith.science/paper/ERYZT64L

@misc{pith2026241117441,
  author       = {Pith},
  title        = {Pith review of: The Synthetic Hilbert Additive Group Scheme},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ERYZT64L}},
  note         = {Machine review of arXiv:2411.17441}
}

abstract

We construct a lift of the degree filtration on the integer valued polynomials to (even MU-based) synthetic spectra. Namely, we construct a bialgebra in modules over the evenly filtered sphere spectrum which base-changes to the degree filtration on the integer valued polynomials. As a consequence, we may lift the Hilbert additive group scheme to a spectral group scheme over $\mathbb{A}^1/\mathbb{G}_m$. We study the cohomology of its deloopings, and show that one obtains a lift of the filtered circle, studied in [MRT22]. At the level of quasi-coherent sheaves, one obtains lifts synthetic lifts of the $\mathbb{Z}$-linear $\infty$-categories of $S^1_{\mathrm{fil}}$-representations. Our constructions crucially rely on the use of the even filtration of Hahn--Raksit--Wilson; it is linearity with respect to the even filtered sphere that powers the results of this work.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Cyclotomic synthetic spectra
math.KT 2024-11 conditional novelty 8.0 of 10

The motivic filtration on THH(R;Z_p) is shown to be a p-typical cyclotomic synthetic spectrum, with applications to TC and syntomic cohomology bounds.

Reference graph

Works this paper leans on

3 extracted references · 2 canonical work pages · cited by 1 Pith paper

[1]

↑(document),6.1, 6.3,6.2,7.4 [AR24] BenjaminAntieauandNoahRiggenbach, Cyclotomicsyntheticspectra ,arXivpreprintarXiv:2411.19929(2024)

[Ant23] BenjaminAntieau, SphericalWittvectorsandintegralmodelsforspaces ,arXivpreprintarXiv:2308.07288(2023). ↑(document),6.1, 6.3,6.2,7.4 [AR24] BenjaminAntieauandNoahRiggenbach, Cyclotomicsyntheticspectra ,arXivpreprintarXiv:2411.19929(2024). ↑0.7 [BL22] BhargavBhattandJacobLurie, Absoluteprismaticcohomology ,arXivpreprintarXiv:2201.06120(2022). ↑9.10 [...

arXiv 2023
[29]

Algébrique8(2024), Art

MR4689771 ↑3.14,5.4,9.10 [Mou24b] ,Filteredformalgroups,Cartierduality,andderivedalgebraicgeometry , Épijournal Géom. Algébrique8(2024), Art. 2,

work page 2024
[41]

MR4717400 ↑(document),4.9,5.3,9.2 [MRT22] TasosMoulinos,MarcoRobalo,andBertrandToën, AuniversalHochschild–Kostant–Rosenbergtheorem ,Geometry&Topology 26 (2022),no.2,777–874. ↑(document),2,4.9,5,5.5,5.4,5.4,7,8,8.2,8.2,8.7,8.3,9,9.1,9.1,9.7,9.2 [Pst23] Piotr Pstrągowski, Synthetic spectra and the cellular motivic category, Inventiones mathematicae232 (2023...

work page 2022

Pith tools

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

[1] [1]

↑(document),6.1, 6.3,6.2,7.4 [AR24] BenjaminAntieauandNoahRiggenbach, Cyclotomicsyntheticspectra ,arXivpreprintarXiv:2411.19929(2024)

[Ant23] BenjaminAntieau, SphericalWittvectorsandintegralmodelsforspaces ,arXivpreprintarXiv:2308.07288(2023). ↑(document),6.1, 6.3,6.2,7.4 [AR24] BenjaminAntieauandNoahRiggenbach, Cyclotomicsyntheticspectra ,arXivpreprintarXiv:2411.19929(2024). ↑0.7 [BL22] BhargavBhattandJacobLurie, Absoluteprismaticcohomology ,arXivpreprintarXiv:2201.06120(2022). ↑9.10 [...

arXiv 2023

[2] [29]

Algébrique8(2024), Art

MR4689771 ↑3.14,5.4,9.10 [Mou24b] ,Filteredformalgroups,Cartierduality,andderivedalgebraicgeometry , Épijournal Géom. Algébrique8(2024), Art. 2,

work page 2024

[3] [41]

MR4717400 ↑(document),4.9,5.3,9.2 [MRT22] TasosMoulinos,MarcoRobalo,andBertrandToën, AuniversalHochschild–Kostant–Rosenbergtheorem ,Geometry&Topology 26 (2022),no.2,777–874. ↑(document),2,4.9,5,5.5,5.4,5.4,7,8,8.2,8.2,8.7,8.3,9,9.1,9.1,9.7,9.2 [Pst23] Piotr Pstrągowski, Synthetic spectra and the cellular motivic category, Inventiones mathematicae232 (2023...

work page 2022