Pith. sign in

REVIEW 2 major objections 4 minor 122 references

The dimension threshold for Batyrev's non-negativity conjecture on stringy Hodge numbers

T0 review · 2 major / 4 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 Batyrev's stringy Hodge-number conjecture is decided: true through dimension 4, false at 5.

desk verdict Batyrev's threshold is exactly dimension 4/5, but the fourfold half leans on one unverified external Q-factorialization theorem that needs scrutiny. read the letter →

arxiv 2608.07836 v1 pith:EUYJ7EPX submitted 2026-08-08 math.AG

Jiahui Huang , Matthew Satriano This is my paper · ORCID
classification math.AG MSC 14E1814B0514J3314C30
keywords BatyrevconjecturestringyHodgenumbersE-functionGorensteincanonicalsingularitiesterminaldimensionthresholdmirrorsymmetrymotivicintegration
topics The Hodge Conjecture
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

Stringy Hodge numbers are invariants that attach Hodge-theoretic information to singular varieties, computed from a log resolution and discrepancy data, and Batyrev conjectured that they are all nonnegative whenever the defining stringy $E$-function is a polynomial. The paper determines exactly when that conjecture holds: it is true for every complex projective variety with Gorenstein canonical singularities of dimension at most four, and it fails in every dimension at least five. On the positive side, the fourfold proof reduces the conjecture to the single middle coefficient $h^{2,2}_{st}$ and shows that any negative contribution is controlled by the number of discrepancy-$1$ divisors, forcing $h^{2,2}_{st}\ge 0$. On the negative side, the counterexamples are explicit varieties $X_n = Y\times(\mathbb{P}^1)^n$, where $Y$ is a cubic hypersurface in $\mathbb{P}^5$ with a singular line and $n\ge 1$, and each $X_n$ has polynomial stringy $E$-function but $h^{2,3}_{st}(X_n)=-1$.

What carries the argument

The argument runs on two distinct mechanisms. For the fourfold theorem, the paper builds an adapted log resolution $f:X\to Y$ whose exceptional divisors over the one-dimensional singular locus are separated into horizontal components (dominating singular curves) and vertical components (mapping to points). For each singular curve $C_\alpha$, a local defect space $\Delta_{\alpha,x}$, canonically identified with $H^2(L_x,\mathbb{Q})$ for the link $L_x$ of a general hyperplane slice, measures possible negative contributions to $h^{2,2}_{st}$. The key identity is $h^{2,2}_{st}(Y)=I_Y+n+\epsilon-\sum_\alpha\delta_\alpha$, and the central bound $\delta_\alpha\le n_\alpha$ compares the monodromy invariants of the defect with the number of discrepancy-$1$ divisors over $C_\alpha$; the bound is proved by translating $\delta_\alpha$ into the rank of the divisor class group of the completed local ring at the generic point of $C_\alpha$ and using a small projective $\mathbb{Q}$-factorialization. For the counterexamples, the mechanism is a single genus-one curve: blowing up the singular line of the cubic $Y$ in $\mathbb{P}^5$ leaves one exceptional divisor $D$, the blow-up of $\mathbb{P}^3$ along the genus-one curve $C=V(q_0,q_1)$, and the off-diagonal terms $u^3v^2$ and $u^2v^3$ survive multiplication by $(\mathbb{P}^1)^n$ to give $h^{2,3}_{st}(X_n)=-1$.

What would settle it

Exhibit a three-dimensional complete terminal Gorenstein local singularity whose divisor class group has rank larger than the number of discrepancy-$1$ divisors appearing on any resolution; that would break the bound $\delta_\alpha\le n_\alpha$ and with it the fourfold theorem. For the counterexample half, recompute the coefficient of $u^2v^3$ in $E_{st}(Y\times\mathbb{P}^1)$ for the paper's explicit cubic $Y$ and check that it equals $-1$.

Watch

Extended reading notes

Core claim

The paper proves an exact threshold. Theorem A: if $Y$ is a complex projective variety with at worst Gorenstein canonical singularities, $\dim Y\le 4$, and $E_{st}(Y;u,v)$ is a polynomial, then every stringy Hodge number $h^{p,q}_{st}(Y)$ is nonnegative. The only coefficient not already handled in the fourfold case is the middle one, and the paper proves $h^{2,2}_{st}(Y)\ge 0$ even when $E_{st}(Y;u,v)$ is not a polynomial. Theorem B: for every $n\ge 1$, the $(n+4)$-dimensional variety $X_n=Y\times(\mathbb{P}^1)^n$, where $Y=\{s q_0(x)+t q_1(x)+c(x)=0\}\subset\mathbb{P}^5$ for general quadratic forms $q_0,q_1$ and a general cubic $c$, has Gorenstein terminal singularities and polynomial stringy $E$-function, yet $h^{2,3}_{st}(X_n)=-1$. Hence the conjecture is true in dimension at most 4 and false in every dimension at least 5.

Load-bearing premise

The fourfold half of the theorem depends on a cited theorem, not re-proved here, that every three-dimensional complete terminal Gorenstein local singularity admits a projective resolution of its divisor class group with no exceptional divisors; if that theorem fails, the dimension-four proof collapses.

Editorial extensions

If this is right

  • All projective Gorenstein canonical fourfolds with polynomial stringy $E$-function satisfy the conjecture, and their $u^2v^2$ coefficient is nonnegative even without the polynomiality assumption.
  • The counterexamples are Gorenstein terminal, so failure of nonnegativity is not produced by particularly severe singularities.
  • Every dimension at least 5 contains a counterexample, ruling out any higher-dimensional regime where the conjecture could resume holding.
  • The known three-dimensional case, the classical two-dimensional case, and the new fourfold theorem together identify dimension 4 as the last dimension where the conjecture survives.

Reading between the lines

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

  • The paper leaves implicit that the terminal counterexamples also test the cohomological reformulations discussed in its introduction: if stringy Hodge numbers were actually dimensions of cohomology groups, nonnegativity would be automatic, so the negative coefficient points toward a failure of purity rather than a failure of cohomological representability.
  • Although not drawn out, the product construction shows that nonnegativity is not preserved under products with $\mathbb{P}^1$: $E_{st}(Y\times\mathbb{P}^1)$ can become a polynomial while $E_{st}(Y)$ remains rational, so verifying the conjecture on low-dimensional bases cannot be bootstrapped to products.
  • A direct next computation would be the full signed Hodge diamond of $X_1=Y\times\mathbb{P}^1$; the paper displays the polynomial $E_{st}(X_1)$ explicitly, so checking whether $-1$ is the only negative coefficient is an immediate calculation.
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

2 major / 4 minor

Summary. The paper determines the exact dimension threshold for Batyrev's non-negativity conjecture on stringy Hodge numbers for complex projective varieties with Gorenstein canonical singularities. Theorem A asserts non-negativity of all stringy Hodge numbers in dimension at most 4, with the fourfold case reduced to the non-negativity of h^{2,2}_{st}(Y); this is Theorem 1.2. Theorem B constructs, for every n≥1, an (n+4)-dimensional projective variety X_n = Y×(P^1)^n with Gorenstein terminal singularities, polynomial stringy E-function, and h^{2,3}_{st}(X_n)=-1, so the conjecture fails in every dimension at least 5. The core technical work is a formula for h^{2,2}_{st}(Y) in Section 4 expressing it as I_Y+n+ε−Σα δα and a bound δα≤nα in Proposition 5.1, obtained by comparing monodromy invariants of a local defect space with the divisor class group of a completed local ring.

Significance. If the proof is complete, this is a definitive and striking answer to a long-standing conjecture: a sharp dimension threshold of 4, with consistent positive results in low dimensions and explicit negative examples in all higher dimensions. The counterexample family in Theorem B is a clear strength: the computation is fully explicit, the resolutions and discrepancies are written down, and the offending coefficient of u^2v^3 is concretely computed; I independently checked that this coefficient is -1. The fourfold argument is also structurally appealing: it avoids fitted parameters and post hoc selections, and the main identity in Proposition 4.6 is derived from the Decomposition Theorem and local-system monodromy rather than from the statement being proved. The principal caveat is that the fourfold result depends on a specific external theorem, [LM26, Corollary 22.3], whose status is discussed below; the counterexample in Theorem B is independent of that input.

major comments (2)
  1. [§5, Proposition 5.1, Step 1] The proof of the key inequality δα≤nα invokes [LM26, Corollary 22.3] to obtain a projective Q-factorialization τα: Vα→bSα with no exceptional divisors for the three-dimensional complete excellent normal Gorenstein terminal local domain bOα. This is a load-bearing step: the identification of Cl(bOα)⊗Q with N^1(Vα/bSα)Q, the counting of Kα-irreducible contracted curves, and the final matching of those curves to discrepancy-1 divisors all use the existence and smallness of this Q-factorialization. The manuscript neither states the precise hypotheses of the cited corollary nor proves it, and [LM26] is a 2026 arXiv preprint. If that corollary is false or its hypotheses are not satisfied, Theorem 1.2 and hence the fourfold half of Theorem A have no proof. Please provide a proof of the needed statement, state its hypotheses explicitly and verify them for bOα, or explicitly mark Theorem A and Theorem 1.2 as conditional on [LM26].
  2. [§4.3, Proposition 4.6] The formula for h^{2,2}_{st}(Y) is assembled by substituting identities into [Ola21, Remark 1.7] and by importing several decomposition-theorem formulas from [Ola21, Lemmas 9.1, 9.3, 9.5, 9.9, 10.2]. Because Remark 4.5 explicitly claims that the new identity is obtained without imposing Condition (∗) from [Ola21], the paper should itemize which of the imported results are valid without (∗) and confirm that each is applied under the hypotheses stated there. As written, a reader cannot verify Proposition 4.6 without a lemma-by-lemma check of [Ola21] against the present notation, and any hidden dependence on (∗) would affect the central fourfold claim.
minor comments (4)
  1. [§2, proof of Theorem B] The sentence 'Since C has degree 4, c has degree 3, and their intersection is transverse, Z is equal to 12 points' should read 'Z consists of 12 points'.
  2. [Abstract and Theorem A] The abstract and Theorem A state the dimension-4 result unconditionally, but the proof depends on [LM26, Corollary 22.3]; if the conditional status is retained, the wording should be adjusted so readers are not misled about the external input.
  3. [§2, displayed formula for Est(Y)] In the formula Est(Y)=1+uv+13(uv)^2+(uv)^3+(uv)^4+u^3v^2+u^2v^3/(1+uv), the last term should be parenthesized as (u^3v^2+u^2v^3)/(1+uv) to avoid ambiguity.
  4. [References] Reference [W lo16] is listed as an arXiv preprint from 2016; if a published version exists, it should be cited instead, especially since Proposition 3.1 relies on its principalization theorem.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the counterexample family is a direct computation and the fourfold proof relies on an external Q-factorialization theorem, not on the authors' own prior results.

full rationale

The paper contains no circular derivation. Theorem B is a direct construction: the authors define Y and X_n, compute a log resolution, read off Est(Y) from Batyrev's definition, and obtain h^{2,3}_st(X_n) = -1 from an explicit coefficient of the resulting polynomial. This does not presuppose non-negativity and involves no fitted parameters. Theorem A reduces to Theorem 1.2, whose proof computes h^{2,2}_st from a resolution formula (Proposition 4.6) and then bounds a defect term delta_alpha <= n_alpha in Proposition 5.1. The only load-bearing input whose proof is not reproduced in this paper is [LM26, Corollary 22.3], the existence of a small projective Q-factorialization of a complete terminal Gorenstein local domain; but this is an external theorem by Lyu and Murayama, not a self-citation, and its hypotheses do not include Batyrev's conjecture. The self-citations [SU24a, SU24b, SU26, HSU26] are used for context and motivation—crepant Artin-stack resolutions, stringy cohomology, and a previous dimension-7 counterexample—rather than as proof of the new threshold results. Consequently, no step is equivalent by definition to its input, and no fitted quantity is renamed as a prediction.

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

No parameters are fitted to data, and no new physical or geometric entities are postulated. The central claims rely on standard Hodge theory, the Decomposition Theorem, MMP inputs, and two heavy cited results: Olano's fourfold computations and the Q-factorialization theorem of Lyu and Murayama. The latter is the least independently verified input and is listed as a domain assumption.

assumptions (8)
  • standard math Existence of projective log resolutions for varieties of finite type over C (Hironaka resolution).
    Used throughout to define stringy E-functions and to construct adapted resolutions; see Section 3, Section 4, and Section 2.
  • standard math Batyrev's invariance of the stringy E-function under log resolutions [Bat98, Theorem 3.4] and the symmetry and duality relations [Bat98, Theorem 3.7].
    Foundational for every computation, including the E_st(X_n) calculation and the reduction of Theorem A to h^{2,2}_st.
  • standard math Decomposition Theorem for projective morphisms of complex varieties.
    Used in Section 4.1 to decompose H^4(X) and the perverse sheaves K_i, for example in Lemma 4.4 and in the proof of Proposition 4.6.
  • standard math Existence of crepant terminal modifications for Gorenstein log-terminal varieties [BCHM10, Corollary 1.4.3].
    Reduces Theorem 1.2 to terminal fourfolds in Section 3; crepant modifications do not change the stringy E-function.
  • domain assumption Small Q-factorialization theorem for excellent local schemes [LM26, Corollary 22.3].
    The bound delta_alpha <= n_alpha in Proposition 5.1 depends on this recent preprint, which supplies V_alpha -> S_alpha with no exceptional divisors. This is the weakest load-bearing external input.
  • domain assumption Olano's decomposition and non-negativity results [Ola21], including equation (8.4), Remark 1.7, and the h^{p,1}_st >= 0 theorem.
    Theorem A uses Olano's h^{p,1} non-negativity, and Proposition 4.6 substitutes several identities from [Ola21] into its derivation of h^{2,2}_st.
  • standard math Relative hard Lefschetz and Deligne's Hodge theory for smooth proper families [Del71].
    Used in Lemma 4.4 and Lemma 4.7 to establish purity and finiteness of monodromy on the local systems.
  • standard math Class group and Picard group results for strict henselization and completion [BF84, Gro67, Sta24].
    Lemmas 5.5 and 5.6 compute the defect in terms of Cl(O_alpha^sh) and Cl(O_alpha^hat) via class group and Picard group sequences.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The dimension threshold for Batyrev's non-negativity conjecture on stringy Hodge numbers." pith.science (2026). https://pith.science/paper/EUYJ7EPX

@misc{pith2026260807836,
  author       = {Pith},
  title        = {Pith review of: The dimension threshold for Batyrev's non-negativity conjecture on stringy Hodge numbers},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EUYJ7EPX}},
  note         = {Machine review of arXiv:2608.07836}
}
read the original abstract

Batyrev's non-negativity conjecture has been a major guiding conjecture in mirror symmetry, motivic integration, and the McKay correspondence. We show the conjecture is true in dimension at most 4 and give counter-examples in dimension at least 5.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

122 extracted references · 41 canonical work pages

  1. [1]

    arXiv e-prints , year =

    Matthew Satriano and Jeremy Usatine , title =. arXiv e-prints , year =. doi:10.48550/arXiv.2309.11434 , archivePrefix =. 2309.11434 , primaryClass =

    work page doi:10.48550/arxiv.2309.11434

  2. [2]

    arXiv e-prints , year =

    Jarod Alper and Jack Hall and David Rydh , title =. arXiv e-prints , year =. doi:10.48550/arXiv.1912.06162 , archivePrefix =. 1912.06162 , primaryClass =

    arXiv doi:10.48550/arxiv.1912.06162 1912

  3. [3]

    Obstruction theories and virtual fundamental classes

    Jonathan Wise , title =. arXiv e-prints , year =. doi:10.48550/arXiv.1111.4200 , archivePrefix =. 1111.4200 , primaryClass =

    work page Pith review arXiv doi:10.48550/arxiv.1111.4200

  4. [4]

    and Drinfeld, V

    Beilinson, A. and Drinfeld, V. Quantization of Hitchin s Integrable System and Hecke Eigensheaves

  5. [5]

    Crystals and D-modules , volume =

    Gaitsgory, Dennis and Rozenblyum, Nick , year =. Crystals and D-modules , volume =. Pure and Applied Mathematics Quarterly , publisher =. doi:10.4310/pamq.2014.v10.n1.a2 , number =

    doi:10.4310/pamq.2014.v10.n1.a2 2014

  6. [6]

    Kapranov, M. M. , pages =. On DG-modules over the de rham complex and the vanishing cycles functor , ISBN =. doi:10.1007/bfb0086264 , booktitle =

    work page doi:10.1007/bfb0086264

  7. [7]

    A Luna étale slice theorem for algebraic stacks , volume=

    Alper, Jarod and Hall, Jack and Rydh, David , year=. A Luna étale slice theorem for algebraic stacks , volume=. Annals of Mathematics , publisher=. doi:10.4007/annals.2020.191.3.1 , number=

    doi:10.4007/annals.2020.191.3.1 2020

  8. [8]

    Moduli of formal torsors , volume=

    Tonini, Fabio and Yasuda, Takehiko , year=. Moduli of formal torsors , volume=. Journal of Algebraic Geometry , publisher=. doi:10.1090/jag/771 , number=

    work page doi:10.1090/jag/771

Show all 122 references
  1. [9]

    Representability of Hilbert Schemes and Hilbert Stacks of Points , volume=

    Rydh, David , year=. Representability of Hilbert Schemes and Hilbert Stacks of Points , volume=. Communications in Algebra , publisher=. doi:10.1080/00927872.2010.488678 , number=

    2010

  2. [10]

    D -Modules on Analytic Spaces , volume =

    Saito, Morihiko , year =. D -Modules on Analytic Spaces , volume =. Publications of the Research Institute for Mathematical Sciences , publisher =. doi:10.2977/prims/1195169840 , number =

  3. [11]

    On the de rham cohomology of algebraic varieties , volume =

    Hartshorne, Robin , year =. On the de rham cohomology of algebraic varieties , volume =. Publications mathématiques de l’IHÉS , publisher =. doi:10.1007/bf02684298 , number =

    doi

  4. [12]

    , year =

    Grothendieck, A. , year =. Crystals and the de Rham cohomology of schemes , journal =

  5. [13]

    doi:10.1017/fms.2023.60 , journal =

    Alper, Jarod and Hall, Jack and Halpern-Leistner, Daniel and Rydh, David , year =. doi:10.1017/fms.2023.60 , journal =

    2023 doi

  6. [14]

    2020 , MONTH = Jul, KEYWORDS =

    Marangoni, Davide , URL =. 2020 , MONTH = Jul, KEYWORDS =

    2020

  7. [15]

    arXiv e-prints , year =

    Bhargav Bhatt , title =. arXiv e-prints , year =. doi:10.48550/arXiv.1204.6560 , archivePrefix =. 1204.6560 , primaryClass =

    doi arXiv

  8. [16]

    arXiv e-prints , year =

    Bhargav Bhatt , title =. arXiv e-prints , year =. doi:10.48550/arXiv.1207.6193 , archivePrefix =. 1207.6193 , primaryClass =

    doi arXiv

  9. [17]

    Canonical reduction of stabilizers for

    Edidin, Dan and Rydh, David , year =. Canonical reduction of stabilizers for. Duke Mathematical Journal , publisher =. doi:10.1215/00127094-2020-0050 , number =

    2020 doi

  10. [18]

    arXiv e-prints , year =

    Matthew Satriano and Jeremy Usatine , title =. arXiv e-prints , year =. doi:10.48550/arXiv.2410.23951 , archivePrefix =. 2410.23951 , primaryClass =

    doi arXiv

  11. [19]

    Crepant resolutions of log-terminal singularities via

    Satriano, Matthew and Usatine, Jeremy , year =. Crepant resolutions of log-terminal singularities via. Duke Mathematical Journal , publisher =. doi:10.1215/00127094-2024-0021 , number =

    2024 doi

  12. [20]

    doi:10.1007/978-0-8176-4523-6 , journal =

    D-Modules, Perverse Sheaves, and Representation Theory , author=. doi:10.1007/978-0-8176-4523-6 , journal =

    doi

  13. [21]

    and Libgober, Anatoly , title =

    Borisov, Lev A. and Libgober, Anatoly , title =. arXiv e-prints , keywords =. 2000 , eid =. doi:10.48550/arXiv.math/0007126 , archivePrefix =. math/0007126 , url =

    2000 doi arXiv

  14. [22]

    Yasuda, Takehiko , title =

  15. [23]

    Sheaves in Topology , ISBN =

    Dimca, Alexandru , year =. Sheaves in Topology , ISBN =. doi:10.1007/978-3-642-18868-8 , journal =

    doi

  16. [24]

    The six operations for sheaves on

    Laszlo, Yves and Olsson, M. The six operations for sheaves on. Publications mathématiques de l’IHÉS , publisher =. 2008 , month = may, pages =. doi:10.1007/s10240-008-0011-6 , number =

    2008 doi

  17. [25]

    arXiv e-prints , year =

    Matthew Satriano and Jeremy Usatine , title =. arXiv e-prints , year =. doi:10.48550/arXiv.2309.11442 , archivePrefix =. 2309.11442 , url =

    doi arXiv

  18. [26]

    arXiv e-prints , keywords =

    Satriano, Matthew and Usatine, Jeremy , title =. arXiv e-prints , keywords =. 2021 , eid =. doi:10.48550/arXiv.2109.09800 , archivePrefix =. 2109.09800 , url =

    2021 doi arXiv

  19. [27]

    The Grothendieck Group of Algebraic Stacks , ISBN =

    Ekedahl, Torsten , year =. The Grothendieck Group of Algebraic Stacks , ISBN =. doi:10.1007/978-3-031-66230-0_9 , booktitle =

    doi

  20. [28]

    Champs algébriques , ISBN =

    Laumon, Gérard and Moret-Bailly, Laurent , year =. Champs algébriques , ISBN =. doi:10.1007/978-3-540-24899-6 , publisher =

    doi

  21. [29]

    Motivic Integration , ISBN =

    Chambert-Loir, Antoine and Nicaise, Johannes and Sebag, Julien , year =. Motivic Integration , ISBN =. doi:10.1007/978-1-4939-7887-8 , journal =

    doi

  22. [30]

    Batyrev , title =

    Victor V. Batyrev , title =. Integrable systems and algebraic geometry (Kobe/Kyoto, 1997) , pages =. 1998 , publisher =. alg-geom/9711008 , archivePrefix =

    1997 arXiv

  23. [31]

    Motivic Integration, Quotient Singularities and the

    Denef, Jan and Loeser, Fran. Motivic Integration, Quotient Singularities and the. Compositio Mathematica , publisher =. 2002 , pages =. doi:10.1023/a:1015565912485 , number =

    2002 doi

  24. [32]

    Schepers, Jan and Veys, Willem , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2007 , NUMBER =. doi:10.1093/imrn/rnm016 , URL =

    2007 doi

  25. [33]

    NEWTON POLYHEDRA AND AN ALGORITHM FOR COMPUTING

    Danilov, V I and Khovanskiĭ, A G , year =. NEWTON POLYHEDRA AND AN ALGORITHM FOR COMPUTING. Mathematics of the USSR-Izvestiya , publisher =. doi:10.1070/im1987v029n02abeh000970 , number =

    doi

  26. [34]

    Peters, Chris A. M. and Steenbrink, Joseph H. M. , ISBN =. Mixed. doi:10.1007/978-3-540-77017-6 , journal =

    doi

  27. [35]

    Saito, Morihiko , year =. Mixed. Publications of the Research Institute for Mathematical Sciences , publisher =. doi:10.2977/prims/1195171082 , number =

  28. [36]

    On Some Finiteness Questions for Algebraic Stacks , volume =

    Drinfeld, Vladimir and Gaitsgory, Dennis , year =. On Some Finiteness Questions for Algebraic Stacks , volume =. Geometric and Functional Analysis , publisher =. doi:10.1007/s00039-012-0204-5 , number =

    doi

  29. [37]

    Saito, Morihiko , year =. Mixed. Mathematische Annalen , publisher =. doi:10.1007/s002080050014 , number =

    doi

  30. [38]

    Publications Math\'ematiques de l'IH\'ES , pages =

    Deligne, Pierre , title =. Publications Math\'ematiques de l'IH\'ES , pages =. 1974 , mrnumber =

    1974

  31. [39]

    arXiv e-prints , year =

    Tubach, Swann , title =. arXiv e-prints , year =. doi:10.48550/arXiv.2407.02256 , archivePrefix =. 2407.02256 , url =

    doi

  32. [40]

    arXiv e-prints , keywords =

    Tubach, Swann , title =. arXiv e-prints , keywords =. 2023 , eid =. doi:10.48550/arXiv.2309.11999 , archivePrefix =. 2309.11999 , url =

    2023 doi

  33. [41]

    arXiv e-prints , year =

    Tasuki Kinjo , title =. arXiv e-prints , year =. doi:10.48550/arXiv.2407.06160 , archivePrefix =. 2407.06160 , primaryClass =

    doi arXiv

  34. [42]

    L-series of

    Sun, Shenghao , year =. L-series of. Algebra & Number Theory , publisher =. doi:10.2140/ant.2012.6.47 , number =

    2012 doi

  35. [43]

    , year =

    Kontsevich, M. , year =. Lecture at

  36. [44]

    Good moduli spaces for

    Alper, Jarod , year =. Good moduli spaces for. Annales de l’institut Fourier , publisher =. doi:10.5802/aif.2833 , number =

    doi

  37. [45]

    Stringy invariants and toric

    Satriano, Matthew and Usatine, Jeremy , year=. Stringy invariants and toric. doi:10.1017/fms.2022.3 , journal=

    2022 doi

  38. [46]

    Fujiwara's theorem for equivariant correspondences , JOURNAL =

    Olsson, M. Fujiwara's theorem for equivariant correspondences , JOURNAL =. 2015 , NUMBER =. doi:10.1090/S1056-3911-2014-00628-7 , URL =

    2015 doi

  39. [47]

    Davison, Ben , TITLE =. Invent. Math. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s00222-024-01279-9 , URL =

    2024 doi

  40. [48]

    2011 , URL =

    Rydh, David , TITLE =. 2011 , URL =

    2011

  41. [49]

    Malikov, Fyodor and Schechtman, Vadim and Vaintrob, Arkady , TITLE =. Comm. Math. Phys. , FJOURNAL =. 1999 , NUMBER =. doi:10.1007/s002200050653 , URL =

    1999 doi

  42. [50]

    Frenkel, Edward and Szczesny, Matthew , TITLE =. J. Algebraic Geom. , FJOURNAL =. 2007 , NUMBER =. doi:10.1090/S1056-3911-07-00466-3 , URL =

    2007 doi

  43. [51]

    Kapranov, Mikhail and Vasserot, Eric , TITLE =. Publ. Math. Inst. Hautes \'Etudes Sci. , FJOURNAL =. 2004 , PAGES =. doi:10.1007/s10240-004-0023-9 , URL =

    2004 doi

  44. [52]

    Hennion, Benjamin , TITLE =. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , FJOURNAL =. 2017 , NUMBER =. doi:10.24033/asens.2329 , URL =

    2017 doi

  45. [53]

    Chen, Weimin and Ruan, Yongbin , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2004 , NUMBER =. doi:10.1007/s00220-004-1089-4 , URL =

    2004 doi

  46. [54]

    Differential topology, infinite-dimensional

    Malikov, Fyodor and Schechtman, Vadim , TITLE =. Differential topology, infinite-dimensional. 1999 , ISBN =. doi:10.1090/trans2/194/07 , URL =

    1999 doi

  47. [55]

    arXiv: Algebraic Geometry , year=

    Formal loops IV: Chiral differential operators , author=. arXiv: Algebraic Geometry , year=

  48. [56]

    Kapranov, Mikhail and Vasserot, \'Eric , TITLE =. Ann. Sci. \'Ecole Norm. Sup. (4) , FJOURNAL =. 2007 , NUMBER =. doi:10.1016/j.ansens.2006.12.003 , URL =

    2007 doi

  49. [57]

    and Vasserot, E

    Kapranov, M. and Vasserot, E. , TITLE =. Adv. Math. , FJOURNAL =. 2008 , NUMBER =. doi:10.1016/j.aim.2008.07.007 , URL =

    2008 doi

  50. [58]

    Yasuda, Takehiko , TITLE =. Compos. Math. , FJOURNAL =. 2004 , NUMBER =. doi:10.1112/S0010437X03000368 , URL =

    2004 doi

  51. [59]

    Jacob Lurie , title =

  52. [60]

    Yasuda, Takehiko , TITLE =. Adv. Math. , FJOURNAL =. 2006 , NUMBER =. doi:10.1016/j.aim.2006.01.004 , URL =

    2006 doi

  53. [61]

    Bhatt, Bhargav , TITLE =. Camb. J. Math. , FJOURNAL =. 2016 , NUMBER =. doi:10.4310/CJM.2016.v4.n4.a1 , URL =

    2016 doi

  54. [62]

    Algebra Number Theory , FJOURNAL =

    Hall, Jack and Rydh, David , TITLE =. Algebra Number Theory , FJOURNAL =. 2019 , NUMBER =. doi:10.2140/ant.2019.13.749 , URL =

    2019 doi

  55. [63]

    Bhatt, Bhargav and Halpern-Leistner, Daniel , TITLE =. Adv. Math. , FJOURNAL =. 2017 , PAGES =. doi:10.1016/j.aim.2016.08.040 , URL =

    2017 doi

  56. [64]

    Algebra Number Theory , FJOURNAL =

    Hall, Jack and Rydh, David , TITLE =. Algebra Number Theory , FJOURNAL =. 2019 , NUMBER =. doi:10.2140/ant.2019.13.1633 , URL =

    2019 doi

  57. [65]

    Yasuda, Takehiko , TITLE =. Algebr. Geom. , FJOURNAL =. 2024 , NUMBER =

    2024

  58. [66]

    urmann, J\

    Maxim, Laurentiu and Saito, Morihiko and Sch\"urmann, J\"org , TITLE =. J. Math. Pures Appl. (9) , FJOURNAL =. 2011 , NUMBER =. doi:10.1016/j.matpur.2011.04.003 , URL =

    2011 doi

  59. [67]

    and Roczen, Marko , TITLE =

    Dais, Dimitrios I. and Roczen, Marko , TITLE =. Adv. Geom. , FJOURNAL =. 2001 , NUMBER =. doi:10.1515/advg.2001.023 , URL =

    2001 doi

  60. [68]

    Illusie, Luc and Zheng, Weizhe , TITLE =. J. Algebraic Geom. , FJOURNAL =. 2016 , NUMBER =. doi:10.1090/jag/674 , URL =

    2016 doi

  61. [69]

    Deligne, Pierre , TITLE =. Inst. Hautes \'Etudes Sci. Publ. Math. , FJOURNAL =. 1971 , PAGES =

    1971

  62. [70]

    and McKernan, James , TITLE =

    Birkar, Caucher and Cascini, Paolo and Hacon, Christopher D. and McKernan, James , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2010 , NUMBER =. doi:10.1090/S0894-0347-09-00649-3 , URL =

    2010 doi

  63. [71]

    Olano, Sebasti\'an , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2021 , NUMBER =. doi:10.1093/imrn/rnaa014 , URL =

    2021 doi

  64. [72]

    Finite Fields Appl

    Choosuwan, Parinyawat and Jitman, Somphong and Udomkavanich, Patanee , TITLE =. Finite Fields Appl. , FJOURNAL =. 2017 , PAGES =. doi:10.1016/j.ffa.2017.07.009 , URL =

    2017 doi

  65. [73]

    arXiv e-prints , year =

    Michael Groechenig and Dimitri Wyss and Paul Ziegler , title =. arXiv e-prints , year =. doi:10.48550/arXiv.2409.17358 , archivePrefix =. 2409.17358 , primaryClass =

    doi arXiv

  66. [74]

    and Tits, J

    Bruhat, F. and Tits, J. , TITLE =. Inst. Hautes \'Etudes Sci. Publ. Math. , FJOURNAL =. 1972 , PAGES =

    1972

  67. [75]

    Michigan Math

    Brion, Michel , TITLE =. Michigan Math. J. , FJOURNAL =. 2022 , PAGES =. doi:10.1307/mmj/20217214 , URL =

    2022

  68. [76]

    arXiv e-prints , year =

    Satriano, Matthew and Usatine, Jeremy , title =. arXiv e-prints , year =. doi:10.48550/arXiv.2607.19184 , archivePrefix =. 2607.19184 , primaryClass =

    doi arXiv

  69. [77]

    arXiv e-prints , year =

    Huang, Jiahui and Satriano, Matthew and Usatine, Jeremy , title =. arXiv e-prints , year =. doi:10.48550/arXiv.2602.19344 , archivePrefix =. 2602.19344 , primaryClass =

    doi

  70. [78]

    Mathematische Annalen , year =

    Kiem, Young-Hoon and Li, Jun , title =. Mathematische Annalen , year =. doi:10.1007/s00208-004-0557-7 , eprint =

    doi

  71. [79]

    Compositio Mathematica , year =

    Dao, Hailong and Takagi, Shunsuke , title =. Compositio Mathematica , year =. doi:10.1112/S0010437X15007678 , eprint =

    doi

  72. [80]

    Maps between local

    Koll. Maps between local. Algebraic Geometry , year =. doi:10.14231/AG-2016-022 , eprint =

    2016 doi

  73. [81]

    Birational Geometry of Algebraic Varieties , series =

    Koll. Birational Geometry of Algebraic Varieties , series =. 1998 , doi =

    1998

  74. [82]

    arXiv e-prints , year =

    Lyu, Shiji and Murayama, Takumi , title =. arXiv e-prints , year =. doi:10.48550/arXiv.2209.08732 , archivePrefix =. 2209.08732 , primaryClass =

    doi

  75. [83]

    Namikawa, Yoshinori and Steenbrink, Joseph H. M. , title =. Inventiones Mathematicae , year =. doi:10.1007/BF01231450 , url =

    doi

  76. [84]

    Reid, Miles , title =. Journ. 1980 , pages =

    1980

  77. [85]

    Steenbrink, Joseph H. M. , title =. Singularities, Part 2 (Arcata, Calif., 1981) , series =. 1983 , pages =. doi:10.1090/pspum/040.2/713277 , url =

    1981 doi

  78. [86]

    and Raynaud, M

    Grothendieck, A. and Raynaud, M. , TITLE =. 1971 , PAGES =

    1971

  79. [87]

    2002 , PAGES =

    Hatcher, Allen , TITLE =. 2002 , PAGES =

    2002

  80. [88]

    Singular implicit and inverse function theorems

    Jaros. Singular implicit and inverse function theorems. arXiv e-prints , year =. doi:10.48550/arXiv.1510.03480 , archivePrefix =. 1510.03480 , primaryClass =

    doi arXiv

  81. [89]

    \'Epijournal G\'eom

    Friedman, Robert and Laza, Radu , TITLE =. \'Epijournal G\'eom. Alg\'ebrique , FJOURNAL =. 2024 , PAGES =. doi:10.46298/epiga.2024.10899 , URL =

    2024

  82. [90]

    Serre, Jean-Pierre , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 1955/56 , PAGES =

    1955

  83. [91]

    Elkik, Ren\'ee , TITLE =. Ann. Sci. \'Ecole Norm. Sup. (4) , FJOURNAL =. 1973 , PAGES =

    1973

  84. [92]

    Bhatt, Bhargav and Ma, Linquan and Patakfalvi, Zsolt and Schwede, Karl and Tucker, Kevin and Waldron, Joe and Witaszek, Jakub , TITLE =. Publ. Math. Inst. Hautes \'Etudes Sci. , FJOURNAL =. 2023 , PAGES =. doi:10.1007/s10240-023-00140-8 , URL =

    2023 doi

  85. [93]

    Bingener, J\"urgen and Flenner, Hubert , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 1984 , PAGES =. doi:10.1515/crll.1984.351.20 , URL =

    1984 doi

  86. [94]

    Publications Math\'ematiques de l'IH\'ES , pages =

    Grothendieck, Alexander , title =. Publications Math\'ematiques de l'IH\'ES , pages =. 1967 , publisher =. doi:10.1007/BF02732123 , zbl =

    1967 doi

  87. [95]

    1966 , PAGES =

    Hartshorne, Robin , TITLE =. 1966 , PAGES =

    1966

  88. [96]

    2013 , PAGES =

    Koll\'ar, J\'anos , TITLE =. 2013 , PAGES =. doi:10.1017/CBO9781139547895 , URL =

    2013 doi

  89. [97]

    , title=

    Milne, James S. , title=. 2013 , note=

    2013

  90. [98]

    Milne , title=

    J.S. Milne , title=. 2020 , note=

    2020

  91. [99]

    Duke Math

    Temkin, Michael , TITLE =. Duke Math. J. , FJOURNAL =. 2012 , NUMBER =. doi:10.1215/00127094-1699539 , URL =

    2012 doi

  92. [100]

    and Dais, Dimitrios I

    Batyrev, Victor V. and Dais, Dimitrios I. , title =. Topology , volume =. 1996 , doi =. alg-geom/9410001 , archivePrefix =

    1996 arXiv

  93. [101]

    and Borisov, Lev A

    Batyrev, Victor V. and Borisov, Lev A. , title =. Inventiones Mathematicae , volume =. 1996 , doi =. alg-geom/9509009 , archivePrefix =

    1996 arXiv

  94. [102]

    , title =

    Batyrev, Victor V. , title =. Journal of the European Mathematical Society , volume =. 1999 , doi =

    1999

  95. [103]

    Germs of arcs on singular algebraic varieties and motivic integration , journal =

    Denef, Jan and Loeser, Fran. Germs of arcs on singular algebraic varieties and motivic integration , journal =. 1999 , doi =. math/9803039 , archivePrefix =

    1999 arXiv

  96. [104]

    Reid, Miles , title =

  97. [105]

    Ast\'erisque , FJOURNAL =

    Reid, Miles , TITLE =. Ast\'erisque , FJOURNAL =. 2002 , PAGES =

    2002

  98. [106]

    Ehrhart polynomials and stringy

    Musta. Ehrhart polynomials and stringy. Mathematische Annalen , volume =. 2005 , doi =. math/0504486 , archivePrefix =

    2005 arXiv

  99. [107]

    International Mathematics Research Notices , volume =

    Schepers, Jan and Veys, Willem , title =. International Mathematics Research Notices , volume =. 2007 , pages =. doi:10.1093/imrn/rnm016 , archivePrefix =. math/0603312 , primaryClass =

    2007 arXiv

  100. [108]

    Manuscripta Mathematica , volume =

    Schepers, Jan , title =. Manuscripta Mathematica , volume =. 2006 , pages =. doi:10.1007/s00229-005-0612-z , archivePrefix =. math/0511348 , primaryClass =

    2006 arXiv

  101. [109]

    Advances in Geometry , volume =

    Schepers, Jan and Veys, Willem , title =. Advances in Geometry , volume =. 2009 , pages =. doi:10.1515/ADVGEOM.2009.013 , archivePrefix =. 0706.0798 , primaryClass =

    2009 arXiv

  102. [110]

    Journal of Algebra , volume =

    Schepers, Jan , title =. Journal of Algebra , volume =. 2009 , pages =. doi:10.1016/j.jalgebra.2008.10.010 , url =

    2009 doi

  103. [111]

    Journal of Algebraic Geometry , volume =

    Schepers, Jan , title =. Journal of Algebraic Geometry , volume =. 2012 , pages =. doi:10.1090/S1056-3911-2011-00546-8 , archivePrefix =. 0903.5152 , primaryClass =

    2012 arXiv

  104. [112]

    Transactions of the American Mathematical Society , volume =

    Kiem, Young-Hoon , title =. Transactions of the American Mathematical Society , volume =. 2003 , doi =

    2003

  105. [113]

    1977 , isbn =

    Deligne, Pierre , title =. 1977 , isbn =

    1977

  106. [114]

    Construction g

    Gonzalez-Sprinberg, G. Construction g. Ann. Sci. 1983 , pages =. doi:10.24033/asens.1454 , mrnumber =

    1983 doi

  107. [115]

    Higher Dimensional Complex Varieties , editor =

    Ito, Yukari and Reid, Miles , title =. Higher Dimensional Complex Varieties , editor =. 1996 , pages =

    1996

  108. [116]

    Vistoli, Angelo , title =. Invent. Math. , fjournal =. 1989 , pages =. doi:10.1007/BF01388892 , mrnumber =

    1989 doi

  109. [117]

    Bridgeland, Tom and King, Alastair and Reid, Miles , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2001 , NUMBER =. doi:10.1090/S0894-0347-01-00368-X , URL =

    2001 doi

  110. [118]

    Topology , FJOURNAL =

    Ito, Yukari and Nakajima, Hiraku , TITLE =. Topology , FJOURNAL =. 2000 , NUMBER =. doi:10.1016/S0040-9383(99)00003-8 , URL =

    2000 doi

  111. [119]

    and Vasserot, E

    Kapranov, M. and Vasserot, E. , TITLE =. Math. Ann. , FJOURNAL =. 2000 , NUMBER =. doi:10.1007/s002080050344 , URL =

    2000 doi

  112. [120]

    2017 , NUMBER =

    Non-commutative resolutions of quotient singularities for reductive groups , JOURNAL =. 2017 , NUMBER =. doi:10.1007/s00222-017-0723-7 , URL =

    2017 doi

  113. [121]

    1980 , ISBN =

    Graphs, singularities, and finite groups , BOOKTITLE =. 1980 , ISBN =

    1980

  114. [122]

    arXiv e-prints , year =

    Chen, Yifan and Zuo, Huaiqing , title =. arXiv e-prints , year =. doi:10.48550/arXiv.2504.00312 , archivePrefix =. 2504.00312 , primaryClass =

    doi arXiv

Pith tools

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