{"id":"810c74de-0cdc-4e87-9945-5fa80057f016","arxiv_id":"2508.17587","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A graded Grothendieck ring of varieties is shown to be a quadratic extension of its smooth-proper subring, giving an involution that helps prove irrationality of Kapranov zeta functions and yields a new singularity notion.","lead":"This paper finds a hidden involution (a mirror symmetry) in the graded Grothendieck ring of varieties, an algebraic object that records how shapes can be cut and pasted. The involution yields new tools for studying singularities and shows that certain zeta-like generating functions of a variety are irrational in many cases.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 6.6 asserts without proof that [LL04, Prop. 7.5] generalizes from surfaces to arbitrary dimension; the κ(X)≥0 case of Theorem 6.1 depends on it.","rationale":"The paper’s central structural result, Theorem 1.1, is presented with a detailed Bittner-style proof that appears internally consistent; the main risk is not the quadratic extension itself but a load-bearing auxiliary lemma in one of the advertised applications. The reader identified Lemma 6.6 as the weakest assumption, and I agree: the assertion that the surface proof of [LL04, Proposition 7.5] generalizes to arbitrary dimension is unsubstantiated. The lemma is essential for the κ(X)≥0 case of the Kapranov irrationality theorem: without boundedness of all fixed-degree coefficients, the periodicity argument does not produce a contradiction. The concern does not invalidate the structural theorem or the symmetric-power results, which have independent support, so the paper should remain conditional rather than be rejected. Secondary issues noted by the reader, such as the uncited [LL20] and the notational slip in Definition 3.1, are minor by comparison. A focused verification of Lemma 6.6, either by completing the missing proof or by finding a counterexample in dimension ≥ 3, would settle whether the irrationality application stands.","tokens_in":29632,"tokens_out":15026,"duration_ms":152322,"concrete_test":"Re-derive the boundedness estimate in Lemma 6.6 for X a smooth projective threefold with nonnegative Kodaira dimension, following the method of [LL04, Proposition 7.5] step by step and replacing Hilb^m X by an arbitrary resolution Z_m → Sym^m X. If the derivation requires a surface-specific filtration of Ω^i_{Hilb^m} or the crepant property of Hilb^m → Sym^m X, note that Hilb^m X is not a resolution for dim X ≥ 3 and no higher-dimensional analogue is supplied; this would show the lemma is unsupported, so the κ≥0 case of Theorem 6.1 remains conditional on a missing proof.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"In Section 6.3, the proof of Theorem 6.1 for κ(X)≥0 relies on Lemma 6.6, which claims that for a resolution Z_m → Sym^m X, the numbers h^0(Z_m, Ψ^d Ω^i_{Z_m}) are bounded independently of m for each fixed i≥1. The paper cites [LL04, Proposition 7.5] and says: “The first is proved only for the resolution Hilb^m X → Sym^m X when X is a surface, but the argument goes through in general.” No proof of the higher-dimensional version is supplied. This is load-bearing because the contradiction argument uses Lemma 6.6 to conclude that all fixed-degree coefficients of μ([Z_m]) stay bounded, while the periodicity relation μ([Z_{i0+ℓd}]) = h^ℓ μ([Z_{i0}]) forces some fixed-degree coefficient to grow whenever h is nonconstant. For dim X > 2, Z_m is an arbitrary resolution of a symmetric power; the surface proof uses the Hilbert scheme Hilb^m X as a specific crepant resolution with a fine moduli structure, a universal family, and explicit cohomology stabilization via Göttsche-type formulas. None of these features is automatic in higher dimensions, and no alternative argument is given. Thus the κ≥0 irrationality theorem is not fully established as written.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the graded Grothendieck ring of varieties K0(Var^dim_k). It proves a Bittner-type presentation (Theorem 2.3) and uses it to identify K0(Var^dim_k) as a quadratic extension of the subring K0(Var^sp_k) spanned by classes of smooth proper varieties (Theorem 1.1 / Theorem 2.6), giving an involution D that fixes smooth proper classes and interchanges the degree-one classes τ and L. The paper then develops relative and stack-theoretic versions, proves that D commutes with symmetric powers after localization (Theorem 1.3 / Proposition 4.14), introduces D-singularities with applications to quotient singularities and compactifications, and proves irrationality of the graded Kapranov zeta function for smooth projective varieties of dimension >1 and Kodaira dimension κ≥0 (Theorem 6.1), assuming a resolution lemma taken from [LL04]. It also discusses an ungraded version conditional on a conjecture and notes that [She25] has since proved it unconditionally.","tokens_in":29878,"tokens_out":23804,"duration_ms":260155,"significance":"If the results hold, Theorem 1.1 gives a clean structural description of the graded Grothendieck ring, and the involution D is a genuinely useful new tool: the paper recovers known results of Larsen-Lunts and Zakharevich, and the formalism of gluing morphisms gives conceptual proofs of independence statements about compactifications. The Bittner presentation is written out carefully, and the stack-theoretic arguments are honest about working up to (L−τ)-torsion rather than claiming stronger unproved integral identities. The D-singularity section is substantial and contains several informative examples. The Kapranov-zeta-function application is the least settled part of the paper, because it depends on an unproved generalization of a surface lemma and on a possibly misstated theorem from the literature.","major_comments":[{"comment":"Lemma 6.6 is asserted to follow from [LL04, Proposition 7.5], but the cited result is proved only for surfaces, using the Hilbert scheme Hilb^m X as a specific resolution of Sym^m X. In the higher-dimensional case Z_m is an arbitrary resolution of Sym^m X, and no proof or reference is supplied for the required bound on h0(Ψ^d Ω^i_{Z_m}). This bound is load-bearing: the contradiction after Lemma 6.7 needs the fixed-degree coefficients of µ([Z_m]) to stay bounded while the periodicity relation forces some coefficient to grow. Please supply a proof for arbitrary dimension or a precise reference that contains it; otherwise the κ≥0 case of Theorem 6.1 is not established as written.","section":"§6.3, Lemma 6.6 and the proof of Theorem 6.1 for κ(X)≥0"},{"comment":"The displayed statement has H0(Z_m,ω_{Z_m}^{⊗n}) on the left and Sym^m H0(X,ω_X^{⊗d}) on the right, but the paragraph immediately below uses the theorem with the d-th plurigenus of Z_m on the left, in order to obtain the coefficient binomial(m+h−1,h−1). As stated, Theorem 6.2 does not imply the identity used in the proof of the κ≥1 case. Please state the correct version of the Arapura–Archava result, with matching exponents, and verify the parity hypothesis.","section":"§6.2, Theorem 6.2"},{"comment":"The sentence \"Note that each µ([Z_m]) is a polynomial with positive leading term... Hence h is a nonconstant polynomial in s\" is not justified as written. Since h is an element of the group completion of M, it is a priori a rational function of degree zero. One needs the additional observation that h^ℓ µ([Z_{i0}]) is a polynomial for every ℓ, which forces h itself to be a polynomial; alternatively, give a direct argument that h has a nontrivial term in positive s-degree. Without this step, the coefficient-growth contradiction is incomplete.","section":"§6.3, after Lemma 6.7"}],"minor_comments":[{"comment":"The word \"writted\" should be \"written\".","section":"Definition 2.7"},{"comment":"The reference to \"Proposition 2.10\" does not exist; the intended statement is almost certainly Lemma 2.10, which says that smooth pullback preserves K0(Var^sp).","section":"§5.3, proof of Theorem 5.17"},{"comment":"The word \"hyperplance\" should be \"hyperplane\".","section":"Example 5.10"},{"comment":"The term with P^{|J|−2} is not defined when |J|=1; please state explicitly that P^{−1} is taken to be zero in that formula.","section":"Proposition 3.4"},{"comment":"There is a typo, \"mutliplication\", in the paragraph on graded motivic measures.","section":"§2.4"},{"comment":"The introduction states that the ungraded version is conditional on Conjecture 1.2, while the proof in §6.3 says it suffices to assume that symmetric powers have D-singularities or L-rational singularities; please align these hypotheses.","section":"Theorem 1.4 and §6.3"}],"recommendation":"major_revision","confidential_remarks":"The structural part of the paper is convincing and likely valuable. The main obstacle to acceptance is the zeta-function section: the unproved Lemma 6.6 and the apparent exponent error in Theorem 6.2 both need to be addressed before Theorem 6.1 can be considered proven. The D-singularity sections are largely independent and, apart from minor citation and typographical issues, appear sound."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. The main structural theorem is real: Theorem 1.1 gives a quadratic extension presentation of K0(Var_dim) over the smooth-proper subring, with an explicit involution D. The Bittner-presentation proof is complete, and the stack-theoretic localization argument proving D commutes with Sym^m up to torsion is honest about the (L−τ)-torsion caveat. The D-singularity formalism and gluing morphism are genuinely new and give clean proofs of Larsen–Lunts and volume specialization.\n\nThe soft spot is the κ=0 case of the Kapranov zeta theorem. Lemma 6.6 asserts that h^0(Ψ^d Ω^i_{Z_m}) is bounded for resolutions Z_m of Sym^m X in arbitrary dimension, saying the surface proof in [LL04] “goes through in general.” That is not demonstrated. In the surface case the Hilbert scheme provides a specific resolution with a universal family and Göttsche-type cohomology stabilization; an arbitrary resolution of a symmetric power has none of that, and boundedness of these cohomology dimensions is exactly what the contradiction argument needs. So Theorem 6.1 is fully justified for κ≥1, and for κ=0 it is conditional on Lemma 6.6. This is load-bearing, not cosmetic.\n\nMinor issues: [LL20] is listed but never cited, which makes the novelty claim slightly harder to check; Definition 3.1 has a map labeled i_* that should likely be i^* (or the composition is misstated); there are a few notation typos around. None of these undermine Theorem 1.1.\n\nThe central quadratic extension theorem holds up, and the applications are worth having. This deserves a serious referee: send it out. The referee should ask for a proof of Lemma 6.6 or a statement of Theorem 6.1 restricted to κ≥1, with a clear pointer to [She25] for the ungraded case. After that, I would take the paper as a solid contribution.","headline":"A genuinely new quadratic-extension structure for the graded Grothendieck ring with a clean involution; the κ=0 zeta irrationality has an unproved lemma, but the main theorem should be refereed.","tokens_in":30471,"tokens_out":2962,"would_cite":true,"duration_ms":32651,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14C35","14E18","14L30","14J17"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that the graded Grothendieck ring of varieties is a quadratic extension of the subring spanned by smooth proper varieties, with an involution $\\mathbb{D}$ swapping the point class and the affine line.","keywords":["graded Grothendieck ring of varieties","quadratic extension","involution","symmetric powers","D-singularities","Kapranov zeta function","Deligne-Mumford stacks","quotient singularities"],"falsifier":"Compute, for a fixed smooth projective threefold $X$ with $\\kappa(X)=0$ (for instance a Calabi-Yau threefold), the values $h^0(Z_m,\\Psi^d\\Omega^i_{Z_m})$ for fixed $d,i$ along a resolution $Z_m\\to\\operatorname{Sym}^m X$ with snc exceptional locus. If some sequence is unbounded as $m\\to\\infty$, the generalized boundedness lemma is false and the paper's proof of the $\\kappa=0$ case of Theorem 6.1 collapses; boundedness for all such $X$ would confirm the load-bearing step.","tokens_in":29373,"feed_emoji":"🔁","tokens_out":14484,"duration_ms":128262,"temperature":0.7,"pith_summary":"The paper establishes that the graded Grothendieck ring of varieties, whose generators record the dimension of a variety, admits a rigid algebraic structure: it is a quadratic extension of the subring generated by classes of smooth proper varieties. Concretely, adjoining two degree-one generators $\\tau=[\\operatorname{Spec} k]_1$ and $L=[\\mathbb{A}^1_k]_1$ to the smooth-proper subring and imposing $\\tau+L=[\\mathbb{P}^1]_1$ and $\\tau L=[\\mathbb{P}^1\\times\\mathbb{P}^1]_2-[\\mathbb{P}^2]_2$ gives the whole ring. This yields an involution $\\mathbb{D}$ that fixes smooth proper classes and swaps $\\tau$ and $L$. The author uses $\\mathbb{D}$ to define a refined notion of smoothness up to cut-and-paste relations, called $\\mathbb{D}$-singularities, to build gluing morphisms controlling compactification boundaries, and to prove that graded Kapranov zeta functions of smooth projective varieties of dimension greater than one and nonnegative Kodaira dimension are irrational. The interest is that a single involution organizes phenomena that previously required separate ad hoc measures.","feed_headline":"Involution D makes Grothendieck ring a quadratic extension","feed_subtitle":"The graded ring doubles a smooth-proper subring, swapping the point class and the affine line.","key_machinery":"The load-bearing mechanism is the blow-up presentation of the graded Grothendieck group in Theorem 2.3, in which generators are regular proper schemes and relations record blow-ups $[\\mathrm{Bl}_Y X]-[E]=[X]-[Y]$. Reinterpreting the exceptional divisor class as $(\\tau^k+\\tau^{k-1}L+\\cdots+L^k)[Y]$ turns the smooth-proper classes into a $\\mathbb{Z}[\\tau+L,\\tau L]$-module, and adjoining $\\tau$ and $L$ with the two quadratic relations realizes the full ring as a quadratic extension. The involution $\\mathbb{D}$ is the Galois involution of that extension. For the symmetric-power statement the paper passes to the stack Grothendieck group $K_0(Stk^{\\dim}_k)$, where the class of $\\operatorname{Sym}^m X$ coincides with the stack quotient $[X^m/S_m]$ and the class of the classifying stack of the symmetric group is trivial; this makes the localized comparison $\\operatorname{Sym}^m\\circ\\mathbb{D}=\\mathbb{D}\\circ\\operatorname{Sym}^m$ a check on smooth Deligne-Mumford stacks, which $\\mathbb{D}$ fixes.","core_discovery":"On the paper's own terms, the central discovery is a presentation theorem: the graded Grothendieck ring $K_0(Var^{\\dim}_k)$ is generated over $K_0(Var^{sp}_k)$ by $\\tau$ and $L$ subject to the two quadratic relations above, so every class decomposes uniquely as $\\alpha=\\pi_1(\\alpha)+\\tau\\pi_2(\\alpha)$ with $\\pi_i(\\alpha)$ in the smooth-proper subring. The resulting Galois involution $\\mathbb{D}$ is characterized by fixing smooth proper classes and interchanging $\\tau$ and $L$. The paper then shows $\\mathbb{D}$ commutes with the symmetric power operations $\\operatorname{Sym}^m$ after localizing away from the classes $\\tau L$ and $L^n-\\tau^n$, using an identification of the localized graded Grothendieck ring with a Grothendieck ring of stacks. On the geometric side, a variety $X$ is said to have $\\mathbb{D}$-singularities when its identity class $1_X$ lies in the smooth-proper submodule of $K_0(Var^{\\dim}_X)$; the paper proves finite abelian quotients of smooth varieties have $\\mathbb{D}$-singularities and uses the formalism to show the graded Kapranov zeta function $\\sum_m[\\operatorname{Sym}^m X]t^m$ is pointwise irrational when $\\dim X>1$ and $\\kappa(X)\\ge 0$.","pith_inferences":["If the full conjecture that $\\operatorname{Sym}^m X$ has $\\mathbb{D}$-singularities holds, the ungraded Kapranov zeta irrationality theorem becomes unconditional, and $\\mathbb{D}$-singularity would be a workable substitute for L-rationality in specialization arguments; the author notes that a concurrent preprint proves the weaker L-rational version.","Because $\\mathbb{D}$ exists before inverting $L$, the graded ring keeps birational information that the ungraded ring loses. One natural next step is to define motivic measures by projecting onto the $\\mathbb{D}$-eigenspaces; the $+1$ eigenspace might capture stable birational type while the $-1$ eigenspace measures failure of smoothness.","The paper leaves open whether the stacky Kapranov zeta function in $K_0(Stk^{\\dim}_k)[\\tau^{-1}]$ is irrational; testing this for a Calabi-Yau threefold would show whether passing to stacks removes the obstruction or merely hides it.","The relationship between $\\mathbb{D}$-singularities and rational homology manifolds is not an equivalence: lci isolated singularities with $\\mathbb{D}$-singularities are rational homology manifolds, but there are examples in both directions. A useful test is whether $\\mathbb{D}$-singularity is deformation-invariant or specializes in smooth families, which would give a motivic obstruction to smooth"],"forward_implications":["Every class in $K_0(Var^{\\dim}_k)$ has a unique decomposition into a smooth-proper part and a $\\tau$-multiple of a smooth-proper part, so computations can be reduced to resolutions and blow-up formulas.","A variety with $\\mathbb{D}$-singularities satisfies $\\mathbb{D}[X]=[X]$ when $X$ is proper; for curves this is exactly unibranchedness, and for finite abelian quotient singularities it always holds.","The gluing morphism makes $\\sum_{\\emptyset\\neq J\\subset I}(-1)^{|J|-1}[D_J\\times\\mathbb{P}^{|J|-1}]$ an invariant of a smooth variety $U$ independent of its snc compactification, so smooth boundary divisors of different compactifications are birational with the same Hodge numbers.","The graded Kapranov zeta function of a smooth projective variety of dimension $>1$ with $\\kappa(X)\\ge 0$ is pointwise irrational.","Symmetric powers and $\\mathbb{D}$ commute after inverting $\\tau L$ and $L^n-\\tau^n$; the obstruction to commuting integrally is concentrated in the singularities of $\\operatorname{Sym}^m X$."],"supporting_citations":[{"why":"supplies the blow-up presentation of the Grothendieck ring whose graded analogue is Theorem 2.3","marker":"[Bit04]"},{"why":"provides weak factorization of birational maps used to prove the presentation is well-defined","marker":"[AT19]"},{"why":"provides resolution of singularities for quasi-excellent schemes used in the compactification argument","marker":"[Tem08]"},{"why":"defines the Grothendieck group of stacks as a localization, grounding the proof that Sym^m and D commute up to torsion","marker":"[Eke09a]"},{"why":"gives the triviality of classifying stack classes and the stack-theoretic symmetric product comparison","marker":"[Eke09b]"},{"why":"supplies the rationality criteria and the boundedness lemma on resolutions of symmetric powers that drives the zeta-function irrationality","marker":"[LL04]"},{"why":"compares pluricanonical sections of resolutions of symmetric powers with symmetric powers of pluricanonical sections","marker":"[AA03]"},{"why":"introduces the graded Grothendieck ring and volume morphism that the gluing formalism refines","marker":"[NO21]"},{"why":"introduced the Kapranov zeta function whose graded irrationality is the paper's application","marker":"[Kap00]"}],"fun_headline_variants":["Graded Grothendieck ring is a quadratic extension with involution D","Involution D swaps point and affine line in Grothendieck ring","D-singularities: finite abelian quotients of smooth varieties","Kapranov zeta function irrational for dim > 1 and nonnegative Kodaira","Quadratic relations generate graded Grothendieck ring over smooth-proper subring"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"In the proof of the $\\kappa(X)=0$ case, the paper assumes without proof that a boundedness statement proved for Hilbert schemes of points on surfaces (namely that $h^0(\\Psi^d\\Omega^i_{Z_m})$ stays bounded as $m$ grows for a resolution $Z_m$ of $\\operatorname{Sym}^m X$) remains true in every dimension.","fun_headline_variants_meta":{"raw":{"variants":["Graded Grothendieck ring is a quadratic extension with involution D","Involution D swaps point and affine line in Grothendieck ring","D-singularities: finite abelian quotients of smooth varieties","Kapranov zeta function irrational for dim > 1 and nonnegative Kodaira","Quadratic relations generate graded Grothendieck ring over smooth-proper subring"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000562,"raw_usage":{"total_tokens":2684,"prompt_tokens":977,"completion_tokens":1707,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":593,"completion_tokens_details":{"reasoning_tokens":1605}},"tokens_in":593,"tokens_out":1707,"duration_ms":11520,"temperature":1.0,"reasoning_tokens":1605,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T17:06:08.080874+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute, for a fixed smooth projective threefold $X$ with $\\kappa(X)=0$ (for instance a Calabi-Yau threefold), the values $h^0(Z_m,\\Psi^d\\Omega^i_{Z_m})$ for fixed $d,i$ along a resolution $Z_m\\to\\operatorname{Sym}^m X$ with snc exceptional locus. If some sequence is unbounded as $m\\to\\infty$, the generalized boundedness lemma is false and the paper's proof of the $\\kappa=0$ case of Theorem 6.1 collapses; boundedness for all such $X$ would confirm the load-bearing step.","supporting_citations":[],"review_version":1}