Pith. sign in

REVIEW 3 major objections 6 minor 38 references

Involution on the Graded Grothendieck Ring of Varieties and $\mathbb{D}$-Singularities

T0 review · 3 major / 6 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

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

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

arxiv 2508.17587 v1 pith:DTKX3PZF submitted 2025-08-25 math.AG

Andrew Burke This is my paper · ORCID
classification math.AG MSC 14C3514E1814L3014J17
keywords gradedGrothendieckringofvarietiesquadraticextensioninvolutionsymmetricpowersD-singularitiesKapranovzetafunctionDeligne-Mumfordstacksquotientsingularities
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 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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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$.

Reading between the lines

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

  • 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
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 6 minor

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.

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 (3)
  1. [§6.3, Lemma 6.6 and the proof of Theorem 6.1 for κ(X)≥0] 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.
  2. [§6.2, Theorem 6.2] 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.
  3. [§6.3, after Lemma 6.7] 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.
minor comments (6)
  1. [Definition 2.7] The word "writted" should be "written".
  2. [§5.3, proof of Theorem 5.17] 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).
  3. [Example 5.10] The word "hyperplance" should be "hyperplane".
  4. [Proposition 3.4] 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.
  5. [§2.4] There is a typo, "mutliplication", in the paragraph on graded motivic measures.
  6. [Theorem 1.4 and §6.3] 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.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the graded quadratic extension and involution are derived from the Bittner presentation, and the zeta irrationality theorem rests on external results, not on the paper's own conclusions.

full rationale

The paper's central structural claim, Theorem 1.1, is obtained by giving an explicit Bittner-style presentation for K0(Var_dim_S) and then reinterpreting it as a quadratic extension of K0(Var_sp_S); the involution D is then defined from that presentation, not assumed or fitted to the conclusion. No parameter is adjusted to a subset of data and then called a prediction. The symmetric-power results use Ekedahl's stack Grothendieck ring and explicit stack-theoretic identifications, with the torsion caveats stated. The Kapranov zeta irrationality proof follows Larsen--Lunts and Arapura--Archava, and the conditional statement about the ungraded zeta function is explicitly made conditional on Conjecture 5.24, with a recent independent preprint cited for the unconditional version. The only notable weakness is Lemma 6.6, where a bound from [LL04, Prop. 7.5] is asserted to generalize from surfaces to arbitrary dimension without proof; that is a gap or unproven generalization, not a circular reduction, because the result is external and its hypotheses do not include the target theorem. No self-citation chain is load-bearing, and no equation is shown to equal its own input by construction. The paper is self-contained against external benchmarks, so the honest finding is no significant circularity.

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

The central claims rest on standard resolution and factorization theorems in characteristic zero, plus several imported theorems from the literature. No fitted numerical parameters appear. The paper is explicit about the 'up to T-torsion' caveats in the stack and symmetric power results.

assumptions (7)
  • standard math Resolution of singularities in characteristic zero (Tem08).
    Used in the Bittner presentation (Theorem 2.3) to compactify and resolve to snc divisors; also in stack setting.
  • standard math Weak factorization theorem (AT19).
    Used in Theorem 2.3 to show independence of the compactification in the Bittner presentation; also for G-equivariant factorization in Theorem 5.17.
  • domain assumption Base schemes are noetherian, excellent, of characteristic zero (Section 2.1).
    Ensures resolution of singularities, weak factorization, and well-behaved relative dimension.
  • standard math Arapura-Archava theorem on Kodaira dimension of symmetric powers (AA03).
    Used in Theorem 6.1 (Section 6.2) to compute h^0 of pluricanonical forms on resolutions of symmetric powers.
  • standard math Larsen-Lunts rationality criteria and boundedness lemmas (LL04).
    Used in Section 6.3; Lemma 6.6 and Lemma 6.7 are imported, with Lemma 6.6 asserted to generalize to all dimensions.
  • standard math Dehn-Somerville equations for simplicial complexes (Lemma 5.16).
    Used in the proof that simplicial toric varieties have D-singularities (Proposition 5.15).
  • standard math Equivariant resolution to toroidal structure (AW97, ES25) used in Theorem 5.17.
    Provides a model whose quotient is locally etale over a simplicial toric variety.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Involution on the Graded Grothendieck Ring of Varieties and $\mathbb{D}$-Singularities." pith.science (2026). https://pith.science/paper/DTKX3PZF

@misc{pith2026250817587,
  author       = {Pith},
  title        = {Pith review of: Involution on the Graded Grothendieck Ring of Varieties and $\mathbbD$-Singularities},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DTKX3PZF}},
  note         = {Machine review of arXiv:2508.17587}
}
abstract

We realize a graded variant $K_0(Var_k^{dim})$ of the Grothendieck ring of varieties as a quadratic extension of the subring $K_0(Var_k^{sp})$ spanned by classes of smooth and proper varieties. As such, there exists a natural involution $\mathbb{D}$ on $K_0(Var_k^{dim})$. We show that $\mathbb{D}$ commutes with the symmetric power operations $Sym^m$ up to zero divisors. Moreover, we study varieties which are smooth up to cut-and-paste relations, which we call $\mathbb{D}$-singular varieties, and we give applications to compactifications of varieties and the irrationality of Kapranov zeta functions.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

38 extracted references · 36 canonical work pages

  1. [1]

    Abramovich

    D. Abramovich. M. Temkin. Functorial factorization of birational maps for qe schemes in characteristic zero. ANT 13 (2019), no. 2, 379--424

    work page 2019

  2. [2]

    Abramovich and J

    D. Abramovich and J. Wang. Equivariant resolution of singularities in characteristic 0. Math. Res. Letters 4 (1997), 427--433

    work page 1997

  3. [3]

    D. Arapura. S. Archava. Kodaira dimension of symmetric powers. Proc. Am. Math. Soc. 131 (2003), no. 5, 1369--1372

    work page 2003

  4. [4]

    M. Atiyah. D. Tall. Group representations, -rings and the J-homomorphism. Topology 8 (1969), no. 3, 253--297

    work page 1969

  5. [5]

    D. Bergh. Weak factorization and the Grothendieck group of Deligne--Mumford stacks. Adv. Math., Sci. 340 (2018), 193--210

    work page 2018

  6. [6]

    D. Bergh. S. Gorchinskiy. M. Larsen. V. Lunts. Categorical measures for finite group actions. J. Algebraic Geom. 30 (2021), n0. 4, 685--757

    work page 2021

  7. [7]

    F. Bittner. The universal Euler characteristic for varieties of characteristic zero. Compos. Math. 140 (2004), no. 4, 1011--1032

    work page 2004

  8. [8]

    F. Bittner. On motivic zeta functions and the motivic nearby fiber. Math. Z. 249 (2005), 63--83

    work page 2005

Show all 38 references
  1. [9]

    L. Borisov. Class of the affine line is a zero divisor in the Grothendieck ring. J. Algebraic. Geom. 27 (2018), no. 2, 203--209

    2018

  2. [10]

    Dolgachev

    I. Dolgachev. Weighted projective varieties. Group Actions and Vector Fields: Proceedings of a Polish-North American Seminar Held at the University of British Columbia January 15--February 15, 1981. Lect. Notes in Math 956 (2006), 34--71

    2006

  3. [11]

    A. Durfee. M. Saito. Mixed Hodge structures on the intersection cohomology of links. Compos. Math. 76 (1990), 49--67

    1990

  4. [12]

    T. Ekedahl. The Grothendieck group of algebraic stacks. arXiv preprint arXiv:0903.3143 , 2009

    2009 arXiv

  5. [13]

    T. Ekedahl. A geometric invariant of a finite group. arXiv preprint arXiv:0903.3148 , 2009

    2009 arXiv

  6. [14]

    L. Esser. F. Scavia. Quotient singularities in the Grothendieck ring of varieties. J. Algebraic. Geom. 34 (2025), 183--204

    2025

  7. [15]

    W. Fulton. Intersection theory, 2nd ed. Springer, Berlin (1998)

    1998

  8. [16]

    G\" o ttsche

    L. G\" o ttsche. On the motive of the Hilbert scheme of points on a surface. Math. Res. Lett. 8 (2001), no. 5-6, 613--627

    2001

  9. [17]

    Grothendieck

    A. Grothendieck. J. Dieudonn \'e . El \'e ments de g \'e om \'e trie alg \'e brique. (EGA) Publ. Math. IHES (1960-67)

    1960

  10. [18]

    H. Hamm. Lokale topologische eigenschaften komplexer r \"a ume. Math. Ann. 191 (1971), no. 3, 235--252

    1971

  11. [19]

    B. Hassett. K. Lai. Cremona transformations and derived equivalences of K3 surfaces. Compos. Math. 154 (2018), no. 7, 1508--1533

    2018

  12. [20]

    Kapranov

    M. Kapranov. The elliptic curve in the S-duality theory and Eisenstein series for Kac-Moody groups. arXiv:math.AG/0001005 , 2000

    2000

  13. [21]

    Koll \'a r

    J. Koll \'a r. Conics in the Grothendieck ring. arXiv:math.AG/0305302 , 2003

    2003

  14. [22]

    Kontsevich

    M. Kontsevich. Y. Tschinkel. Specialization of birational types. Invent. Math. 217 (2019), 415--432

    2019

  15. [23]

    Kuznetsov

    A. Kuznetsov. E. Shinder. Grothendieck ring of varieties, D-and L-equivalence, and families of quadrics. Selecta Math. 24 (2018), no. 4, 3475--3500

    2018

  16. [24]

    H. Lin. E. Shinder. Motivic invariants of birational maps. Ann. Math. 199 (2024), no. 1, 445--478

    2024

  17. [25]

    Larsen and V

    M. Larsen and V. Lunts. Motivic measures and stable birational geometry. Moscow Math. J. 3 (2003), no. 1, 85--95

    2003

  18. [26]

    Larsen and V

    M. Larsen and V. Lunts. Rationality criteria for motivic zeta functions. Compos. Math. 217 (2004), no. 6, 1537--1560

    2004

  19. [27]

    M. Larsen. V. Lunts. Irrationality of motivic zeta functions. Duke Math. J. 169 (2020), no. 1, 1--30

    2020

  20. [28]

    J. Milnor. Singular points of complex hypersurfaces. Princeton University Press 61 (1968)

    1968

  21. [29]

    S. Moe. On Stable Rationality of Polytopes. arXiv:math.AG/2311.01144 , 2023

    2023 arXiv

  22. [30]

    J. Nicaise. J. Ottem. A refinement of the motivic volume, and specialization of birational types. Rationality of varieties. Progr. Math. 342 (2021), 291--322

    2021

  23. [31]

    J. Nicaise. John. Ottem. Tropical degenerations and stable rationality. Duke Math. J. 171 (2022), n0. 15. 3023--3075

    2022

  24. [32]

    J. Nicaise. J. Sebag. The Grothendieck ring of varieties. Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry: Volume 1. London Mathematical Society Lecture Notes Series 383 (2011), 145--188

    2011

  25. [33]

    Nicaise and E

    J. Nicaise and E. Shinder. The motivic nearby fiber and degeneration of stable rationality. Invent. Math. 217 (2019), no. 2, 377--413

    2019

  26. [34]

    B. Poonen. The Grothendieck ring of varieties is not a domain. Math. Res. Lett. 9 (2002), no. 4, 493--497

    2002

  27. [35]

    K. Schwede. Gluing schemes and a scheme without closed points. Contemp. Math. 386 (2005), 157--172

    2005

  28. [36]

    V. Shein. Singularities of symmetric powers and irrationality of motivic zeta functions. arXiv preprint arXiv:2508.15065 , 2025

    2025

  29. [37]

    M. Temkin. Desingularization of quasi-excellent schemes in characteristic zero. Adv. Math., Sci. 219 (2008), no. 2, 488--522

    2008

  30. [38]

    Zakharevich

    I. Zakharevich. Annihilator of the Lefschetz motive. Duke Math. J. 166 (2019), no. 11

    2019

Pith tools

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