{"id":"b84985e0-1bdb-498d-a08e-40be74734c6c","arxiv_id":"1909.00332","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Matroids over a domain admit a Grothendieck-Tutte polynomial with the deletion-contraction property, and the Hilbert series of the associated face module specializes that polynomial.","lead":"This paper defines a Grothendieck-Tutte polynomial and a poset of torsions for matroids over a commutative domain, extending earlier work on arithmetic matroids. It connects the Hilbert series of the associated face module to this polynomial and gives an algebraic reading of the elliptic Tutte polynomial for curves with complex multiplication.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Elliptic application is not supported: Proposition 6.1's one-line proof does not establish m(S)=|tor(S)| for arbitrary intersections, and it overlooks that Section 5 assumes R is a PID.","rationale":"The reader's weakest assumption identifies Proposition 6.1 and Theorem 6.2 as the main gap, and my reading agrees: the elliptic application is the only advertised result whose proof is not actually written out. The core algebraic content, Theorem 5.4, has a complete proof under the stated hypotheses and a worked Macaulay2 example, so I would not reject the paper on that basis. Proposition 4.6 is also sketched, but it is not needed for Theorem 5.4, since the proof reduces to the torsion-free case where Gr_M is a simplicial poset by the more straightforward Proposition 4.7. The elliptic section, by contrast, is the paper's advertised extension of Bibby's theorem to complex multiplication, and both the multiplicity identification and the Hilbert-series computation are asserted rather than derived. The paper itself cites Pagaria's result that the Poincaré polynomial of an elliptic arrangement complement is not a specialization of the elliptic Tutte polynomial, so the model statement in Theorem 6.2 is not a routine consequence and needs a substantive proof. A conditional acceptance is appropriate: the gaps are local and likely fixable, but the manuscript should not be accepted before the elliptic claims are either proved in detail or restricted to the PID cases where Section 5 applies.","tokens_in":23655,"tokens_out":29167,"duration_ms":270924,"concrete_test":"Test Proposition 6.1 for a two-hyperplane arrangement over the non-PID CM order R=Z[√-3]: let E=C/(Z+Z√-3), choose l_1=2z_1+(1+√-3)z_2 and l_2=(1+√-3)z_1+2z_2. Compute m({1,2}) as the order of the component group of ker(l_1)∩ker(l_2), using the saturation exact sequence 0 -> π_1(K) -> Λ^2 -> L -> π_0(K) -> 0, where L is the saturated image of the matrix on Λ^2. Independently compute |tor(R^2/(v_1,v_2))|, where v_i are the coefficient columns of l_i. If the two numbers differ, Proposition 6.1 is false as stated; if they agree, repeat for R=Z[√-5] and then check whether the derivation can be made general without assuming R is a PID. A single-hyperplane computation is insufficient, since the paper's proof only covers that case.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The core Theorem 5.4 is in good shape under the stated PID hypothesis: its proof reduces to the torsion-free case, where the f-vector of the simplicial poset Gr_M is exactly the cardinalities |tor(A)^∨| and Stanley's theorem applies. The advertised elliptic extension, however, is the least secure part of the paper. Proposition 6.1 asserts that the elliptic Tutte polynomial T^e_E(x,y) equals the evaluated Grothendieck–Tutte polynomial \\tilde{T}_M(x,y), but its proof consists of one sentence: it cites the kernel of a single isogeny C/Λ -> C/Λ being Λ/aΛ and asserts m(S)=|tor(S)|. For a general intersection S, the number m(S) is the order of the component group of ∩_{i∈S} ker l_i, which is the torsion of the saturation quotient of the lattice map Λ^d -> Λ^S, not the kernel of a single scalar; the passage from one isogeny to arbitrary S requires a duality or snake-lemma argument that is not supplied. Moreover, Section 5, where \\tilde{T}_M is defined and the evaluation map φ is shown to be a ring homomorphism, assumes R is a PID. Proposition 6.1 states R=End(E(Λ)) for an arbitrary CM elliptic curve; for Λ=Z+Z√-3, R=Z[√-3] is not a PID, and for Λ=Z+Z√-5, R is a Dedekind domain but not a PID. The proof does not justify why Lemma 5.1, Corollary 5.2, or the factorization in Lemma 5.3 hold for these rings. Theorem 6.2's extension of Bibby's theorem is left as 'the proof follows as in the previous case' without showing that the non-broken-circuit argument over Q(w) is compatible with the CM model A(E). These are genuine gaps, though likely addressable.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies matroids over a domain R, defining a Grothendieck–Tutte polynomial T_M(x,y) with coefficients in the Grothendieck-style ring L0(R-mod), and proving its deletion–contraction property. It generalizes the poset of torsions Gr_M from Z-matroids to realizable matroids over a domain, defines the associated face module N_M, and proves a Hilbert-series specialization identity relating N_M(t) to the evaluated Tutte polynomial, under the hypothesis that R is the ring of integers of a number field and a PID. The final section applies these constructions to elliptic arrangements on CM elliptic curves, claiming that the elliptic Tutte polynomial is an evaluation of the Grothendieck–Tutte polynomial and that Bibby's cohomology theorem extends to all elliptic arrangements.","tokens_in":24075,"tokens_out":3923,"duration_ms":37643,"significance":"If the central results are fully established, the paper would unify the arithmetic Tutte polynomial story with a new algebraic interpretation of multiplicities in elliptic arrangements, and would extend the classical Björner appendix identity and Martino's face-module result to matroids over general domains. The core Hilbert-series result (Theorem 5.4) rests on a clean reduction to the torsion-free case and on Stanley's theorem for simplicial posets, and it appears sound under the stated PID assumption. The paper also provides useful definitions and worked examples, including a Macaulay2 computation in Example 5.6. However, the advertised elliptic application is not yet rigorously supported: the proof of Proposition 6.1 is a single sentence, the PID hypothesis of Section 5 is not satisfied by general CM endomorphism rings, and Theorem 6.2 is asserted without a real argument for the CM case. Because the elliptic extension is a load-bearing part of the abstract's claims, the manuscript needs substantial revision before the full set of claims can be accepted.","major_comments":[{"comment":"The proof of Proposition 6.1 asserts that 'all results in Section 5 still hold' and that the multiplicity m(S) equals the cardinality of tor(S), but neither assertion is justified. Section 5 explicitly assumes R is a PID (page 20), while Proposition 6.1 sets R = End(E(Λ)), which for a general CM elliptic curve is an order in an imaginary quadratic field and need not be a PID; for example, for Λ = Z + Z√-3, the order Z[√-3] is not a PID. Consequently Lemma 5.1, whose proof writes an ideal as I = (d), and Corollary 5.2, which uses this isomorphism, do not apply without modification. Moreover, the equality m(S) = |tor(S)| for an arbitrary intersection S requires more than the kernel computation for a single isogeny C/Λ → C/Λ; one must show that the component group of the intersection of several kernels is computed by the torsion of the saturation quotient of the associated lattice map, using a duality or snake-lemma argument. This is a load-bearing gap in the claimed algebraic interpretation of the elliptic Tutte polynomial.","section":"§6, Proposition 6.1"},{"comment":"Theorem 6.2 is the paper's advertised extension of Bibby's theorem to all elliptic arrangements, but its proof in the CM case consists of the sentence 'the proof follows as in the previous case, by using the non-broken circuits of the classical matroid M ⊗ Q(w).' No construction of the model A(E) is given for CM elliptic arrangements, and no explanation is supplied for how the non-broken-circuit argument over Q(w) interacts with the torsion modules that appear in the Grothendieck–Tutte polynomial. Since Proposition 6.1, on which this argument depends, is itself not established, the extension to CM arrangements is not proven and should be either proved in detail or stated as a conjecture.","section":"§6, Theorem 6.2"},{"comment":"The proof of Proposition 4.6, which is used in Theorem 4.8 to show that Gr_M is a disjoint union of isomorphic simplicial posets, constructs the isomorphism link(A,e) ≃ link(A,t) by choosing elements m_b in the fibers of the maps π∨_{A,b}. The proof says 'we only need to take care that the choices of m_b are coherent all along the construction. This comes from the fact that M is realizable,' but it does not actually justify the existence of a coherent choice for all ranks. Without an explicit verification of the compatibility of the chosen elements across the commutative squares displayed at the end of the proof, the claimed isomorphism is not fully established. Since Theorem 4.8 underlies the simplicial-poset structure used in Theorem 5.4, this gap should be repaired.","section":"§4, Proposition 4.6"}],"minor_comments":[{"comment":"The abstract contains a typo: 'abelian subvarities' should read 'abelian subvarieties.'","section":"Abstract"},{"comment":"The text refers to 'the Z[x]-matroid M of Example 4.9,' but Example 4.9 is the Z[i] example; the Z[x]-matroid with infinite torsion was introduced in Example 4.3. The cross-reference should be corrected.","section":"Section 4.2, Example 4.11"},{"comment":"The face-ring definition requires the set M(a,b) of minimal upper bounds to be finite for every pair a,b; in Example 4.11 the poset is infinite and the face ring is described as non-Noetherian, but it is not discussed whether the finiteness condition on M(a,b) is satisfied in that example. A brief remark would avoid ambiguity.","section":"Section 1.2"},{"comment":"The proof of Lemma 5.1 writes 'Let I = (d)', which is valid only because the section assumes R is a PID. Since the lemma is invoked later in Proposition 6.1 for rings that may not be PIDs, the hypothesis should be explicitly stated at each use, and the limitation should be acknowledged in Section 6.","section":"Section 5, Lemma 5.1"},{"comment":"The notation 'tor S' in the proof should be 'tor(S)' for consistency with the rest of the paper, and the statement 'the matroid M is made by R-modules with finite (dual) torsion modules' needs a proof or a citation when R is a non-maximal order.","section":"Section 6, Proposition 6.1"}],"recommendation":"major_revision","confidential_remarks":"The core algebraic parts of the paper, especially the definition of the Grothendieck–Tutte polynomial and the Hilbert-series theorem under the PID hypothesis, are solid and publishable after revision. The elliptic-arrangement application, however, is currently overclaimed: the one-sentence proofs of Proposition 6.1 and Theorem 6.2 do not establish the announced results, and the PID assumption of Section 5 conflicts with the generality of CM endomorphism rings. I recommend that the authors either provide complete proofs for the elliptic claims, with careful treatment of non-principal ideals and arbitrary intersections, or restrict the abstract and conclusions to the domain/PID case and reframe the elliptic results as conjectural."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. The core algebraic part is real and mostly right; the elliptic-curve application, which the abstract advertises, is not backed by the written proofs. The Grothendieck-Tutte polynomial for a domain, the poset of torsions, and the Hilbert-series identity for realizable matroids over a PID number-field ring are genuine extensions of Fink-Moci and Martino. Deletion-contraction works. The proof of Theorem 5.4 is sound: after killing tor(∅), the face module is the face ring of a simplicial poset and Stanley's theorem applies.\n\nSoft spots, in order. Proposition 4.6, the coherence of the choices of m_b, is only sketched. I believe it, but a referee should ask for a real proof. The bigger problem is Section 6. Proposition 6.1 asserts m(S)=|tor(S)| in one sentence, but for arbitrary intersections S the multiplicity is the order of a component group of a saturated lattice quotient; you need a snake-lemma argument that isn't there. And Theorem 6.2 is three sentences; the non-broken-circuit argument is simply asserted. The stress-test note adds a valid point I initially missed: Section 5 assumes R is a PID, but End(E(Λ)) for CM curves is often not a PID (e.g., Z[√-3], Z[√-5]). So the elliptic claims don't follow from the established framework.\n\nIs the central argument otherwise fine? Yes, for the domain-based matroid theory. The paper's self-limiting statements are honest: it notes Gr_M may be infinite, and the face ring can be non-Noetherian. The citation pattern is normal; the second author's prior work is the natural base, not a crutch.\n\nWho is this for? Matroid and arrangement people interested in arithmetic and elliptic Tutte polynomials. Worth a serious referee, but the elliptic section needs major revision: either fill in the multiplicity argument and handle the PID issue, or cut the CM claims down to what is proved. My recommendation: send to peer review, and make sure the elliptic claims are the focus of the referee report.","headline":"Solid domain-matroid core with a genuine Hilbert-series theorem, but the advertised elliptic-curve application is not supported by the written proofs and needs major revision.","tokens_in":24561,"tokens_out":1364,"would_cite":true,"duration_ms":13482,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["05B35","05E40","13D40","14H52"],"pacs":[],"model":"deepseek-v4-flash","headline":"For matroids realized over an integral domain, the paper defines a Tutte polynomial with torsion-module coefficients, proves a Hilbert-series specialization, and identifies the elliptic Tutte polynomial as one of its evaluations.","keywords":["matroids over a domain","Grothendieck-Tutte polynomial","poset of torsions","face module","Hilbert series","elliptic arrangements","complex multiplication","arithmetic matroids"],"falsifier":"On a complex-multiplication elliptic curve, take two isogenies, count the connected components of the intersection of their kernels, and compare that number with the cardinality of the torsion module of $R^2$ modulo the two corresponding columns; any mismatch would refute Proposition 6.1 and with it the elliptic Tutte interpretation.","tokens_in":23427,"feed_emoji":"🧮","tokens_out":11821,"duration_ms":136909,"temperature":0.7,"pith_summary":"Matroids are usually defined over fields, where independence means linear independence. This paper treats matroids over an integral domain R: a family of finitely generated R-modules indexed by subsets, realizable by columns of a matrix over R. The central claim is that such objects have a Tutte polynomial whose coefficients are isomorphism classes of torsion-dual modules, and that this polynomial satisfies deletion–contraction exactly as the classical one does. For realizable matroids, the paper builds a 'poset of torsions' that plays the role of the independence complex, and it shows that when this poset is finite the Hilbert series of its face module is a specialization of the Tutte polynomial. The payoff is one framework containing classical matroids, arithmetic matroids over the integers, and elliptic arrangements with complex multiplication, where the elliptic multiplicity gains an algebraic reading.","feed_headline":"Tutte polynomial tracks torsion for matroids over any domain","feed_subtitle":"Hilbert series of the face module becomes a specialization of the same polynomial, unifying classical, arithmetic, and elliptic cases.","key_machinery":"The central object is the set of torsions $\\operatorname{Gr}_{\\mathcal{M}}=\\{(A,\\ell): A\\in\\Delta_{\\mathcal{M}},\\ \\ell\\in\\operatorname{tor}(A)^{\\vee}\\}$, ordered by the covering relation $(A,\\ell)\\vartriangleleft (A\\cup\\{b\\},h)$ whenever the dual restriction map sends $h$ to $\\ell$. Theorem 4.8 shows this poset is a disjoint union of simplicial posets, each isomorphic to the link of the minimum element, so it replaces the independence complex of a classical matroid while retaining torsion data. The Grothendieck–Tutte polynomial is the algebraic counterpart of this poset, and the specialization in Theorem 5.4 is the identity that transfers the poset's face-module Hilbert series into Tutte-polynomial form. For elliptic arrangements, the load-bearing step is Proposition 6.1, which identifies the geometric multiplicity $m(S)$ with $|\\operatorname{tor}(S)|$ when the elliptic curve has complex multiplication.","core_discovery":"For an R-matroid $\\mathcal{M}$ of rank $r$, the paper defines the Grothendieck–Tutte polynomial $T_{\\mathcal{M}}(x,y)=\\sum_{A\\subseteq[n]}[\\operatorname{tor}(A)^{\\vee}](x-1)^{r-\\operatorname{rk}(A)}(y-1)^{|A|-\\operatorname{rk}(A)}$ with coefficients in the Grothendieck-style ring generated by isomorphism classes of finitely generated R-modules, and proves that it satisfies deletion–contraction. For realizable matroids it constructs the set of torsions $\\operatorname{Gr}_{\\mathcal{M}}$ and shows it is a disjoint union of simplicial posets; when the poset is finite, the face module $N_{\\mathcal{M}}$ carries a Hilbert series. The main identity, Theorem 5.4, states that for a realizable matroid over the ring of integers of a number field with finite poset of torsions, $N_{\\mathcal{M}}(t)=\\frac{t^r}{(1-t)^r}\\widetilde{T}_{\\mathcal{M}}(1/t,1)$, where $\\widetilde{T}_{\\mathcal{M}}$ is the integer evaluation that sends projective modules to $1$ and torsion modules to their cardinalities. This unifies the classical Hilbert-series/Tutte identity and the earlier arithmetic case, and Proposition 6.1 applies the same machinery to elliptic arrangements with complex multiplication by identifying the elliptic multiplicity with a torsion-module cardinality.","pith_inferences":["A natural test is whether the Hilbert-series identity survives outside the PID case: rings of integers of number fields are the cases treated, but Dedekind domains with finite quotients and nontrivial class groups are the next plausible setting.","If the elliptic multiplicity identification holds, the elliptic Tutte polynomial becomes computable by deletion–contraction at the level of torsion modules, replacing a geometric count of intersection components with purely algebraic data.","The infinite-torsion examples suggest that face modules of domain matroids need not be Noetherian; a generalized Hilbert-series notion for such modules could connect this combinatorics to non-Noetherian commutative algebra."],"forward_implications":["Deletion–contraction holds for the Grothendieck–Tutte polynomial, so recursive matroid computations over any domain can be carried out at the level of torsion-module classes.","For every realizable matroid over a domain, the set of torsions is a disjoint union of identical simplicial posets, giving a uniform combinatorial shape with torsion data attached to each face.","When the poset of torsions is finite, the Hilbert series of the face module equals $\\frac{t^r}{(1-t)^r}\\widetilde{T}_{\\mathcal{M}}(1/t,1)$, recovering the classical and integer-coefficient cases as special instances.","The elliptic Tutte polynomial of an arrangement on a complex-multiplication elliptic curve is an evaluation of the Grothendieck–Tutte polynomial, so the geometric multiplicity $m(S)$ has an algebraic interpretation.","The Hilbert-series formula for the cohomology model of an elliptic arrangement extends to the complex-multiplication case, once the multiplicity identification is accepted."],"supporting_citations":[{"why":"Supplies the definition of matroids over a ring and the Tutte–Grothendieck ring that this paper extends to a Grothendieck–Tutte polynomial for arbitrary domains.","marker":"[FM16]"},{"why":"Introduces the poset of torsions and face module for realizable Z-matroids and proves the Hilbert-series identity that Theorem 5.4 generalizes.","marker":"[Mar18]"},{"why":"Defines the elliptic Tutte polynomial and proves the cohomology-model Hilbert-series formula that Theorem 6.2 extends to the complex-multiplication case.","marker":"[Bib16]"},{"why":"Defines the arithmetic Tutte polynomial, whose integer evaluation is recovered as the specialization $\\widetilde{T}_{\\mathcal{M}}$ over the integers.","marker":"[Moc12a]"},{"why":"Provides the classical Hilbert-series/Tutte identity for matroids that the new specialization generalizes.","marker":"[DCP08a]"},{"why":"Gives the face ring of simplicial posets used to define the face module and compute its Hilbert series.","marker":"[Sta91]"}],"fun_headline_variants":["Tutte polynomial sees torsions for matroids over domains","Unified Tutte: Hilbert series from torsions in matroids","Matroids over domains: Tutte meets Hilbert via torsions","Grothendieck-Tutte bridges torsion and Hilbert series","Elliptic Tutte gets algebraic meaning via torsions"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that for elliptic arrangements on curves with complex multiplication, the number of connected components of an intersection of elliptic hyperplanes equals the size of the corresponding torsion module; the paper verifies this for the kernel of a single isogeny and states that the rest of the non-broken-circuit argument follows as in the previous case.","fun_headline_variants_meta":{"raw":{"variants":["Tutte polynomial sees torsions for matroids over domains","Unified Tutte: Hilbert series from torsions in matroids","Matroids over domains: Tutte meets Hilbert via torsions","Grothendieck-Tutte bridges torsion and Hilbert series","Elliptic Tutte gets algebraic meaning via torsions"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000811,"raw_usage":{"total_tokens":3620,"prompt_tokens":1074,"completion_tokens":2546,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":690,"completion_tokens_details":{"reasoning_tokens":2461}},"tokens_in":690,"tokens_out":2546,"duration_ms":16667,"temperature":1.0,"reasoning_tokens":2461,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T05:54:52.249428+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"On a complex-multiplication elliptic curve, take two isogenies, count the connected components of the intersection of their kernels, and compare that number with the cardinality of the torsion module of $R^2$ modulo the two corresponding columns; any mismatch would refute Proposition 6.1 and with it the elliptic Tutte interpretation.","supporting_citations":[],"review_version":1}