pith. sign in

arxiv: 2001.03834 · v1 · submitted 2020-01-12 · 🧮 math.AG · hep-th· math.QA· math.RT

Euler numbers of Hilbert schemes of points on simple surface singularities and quantum dimensions of standard modules of quantum affine algebras

Hiraku Nakajima This is my paper

Pith reviewed 2026-05-24 15:37 UTC · model grok-4.3

classification 🧮 math.AG hep-thmath.QAmath.RT
keywords Hilbert schemesEuler numberssimple surface singularitiesquantum affine algebrasquantum dimensionsADE singularitiesGyenge-Némethi-Szendrői conjecture
0
0 comments X

The pith

Quantum dimensions of standard modules for quantum affine algebras are 1 at a specific root of unity.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper establishes that the quantum dimensions of standard modules for the quantum affine algebra associated with a finite subgroup Γ of SL(2) are always 1 when evaluated at the root of unity ζ = exp(2πi / 2(h^∨+1)). From this it deduces the conjectured generating function for the Euler numbers of the Hilbert schemes of points on the simple surface singularity C²/Γ. The result confirms the Gyenge-Némethi-Szendrői conjecture and resolves the claim for the E7 and E8 cases that were previously open. A reader would care because it provides an explicit formula for these Euler numbers, connecting geometry on quotient singularities with the representation theory of quantum groups.

Core claim

The paper proves that quantum dimensions of standard modules for the quantum affine algebra associated with Γ at ζ = exp(2πi / 2(h^∨+1)) are always 1. This special case of Kuniba's conjecture implies the generating function for Euler numbers of Hilb^n(C²/Γ) as conjectured by Gyenge, Némethi and Szendrői.

What carries the argument

The quantum dimension of standard modules at the root of unity ζ = exp(2πi / 2(h^∨+1)), shown to equal 1, which carries the link to the Euler number generating function.

If this is right

  • The generating function of Euler numbers is the one given in the conjecture.
  • It holds uniformly for all finite subgroups Γ of SL(2), including the exceptional E7 and E8 cases.
  • The result follows from proving the quantum dimension claim.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • This connection suggests that other geometric invariants on quotient singularities might be computable via quantum group methods at roots of unity.
  • Similar techniques could apply to higher dimensional analogs or other types of singularities.

Load-bearing premise

The Euler numbers of the Hilbert schemes can be deduced from the quantum dimensions of the corresponding standard modules as stated in the Gyenge-Némethi-Szendrői conjecture.

What would settle it

A direct computation of the quantum dimension for one of the standard modules associated to E8 at the specified root of unity yielding a value other than 1 would falsify the claim.

read the original abstract

We prove the conjecture by Gyenge, N\'emethi and Szendr\H{o}i in arXiv:1512.06844, arXiv:1512.06848 giving a formula of the generating function of Euler numbers of Hilbert schemes of points $\operatorname{Hilb}^n(\mathbb C^2/\Gamma)$ on a simple singularity $\mathbb C^2/\Gamma$, where $\Gamma$ is a finite subgroup of $\mathrm{SL}(2)$. We deduce it from the claim that quantum dimensions of standard modules for the quantum affine algebra associated with $\Gamma$ at $\zeta = \exp(\frac{2\pi i}{2(h^\vee+1)})$ are always $1$, which is a special case of a conjecture by Kuniba [Kun93]. Here $h^\vee$ is the dual Coxeter number. We also prove the claim, which was not known for $E_7$, $E_8$ before.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 0 minor

Summary. The manuscript proves the Gyenge-Némethi-Szendrői conjecture giving an explicit formula for the generating function of Euler numbers of Hilb^n(C²/Γ) for Γ a finite subgroup of SL(2). The proof deduces the geometric statement from the algebraic claim that quantum dimensions of standard modules of the associated quantum affine algebra at ζ = exp(2πi / 2(h^∨+1)) equal 1 (a special case of Kuniba's conjecture), which the authors establish in full, including the previously open E7 and E8 cases.

Significance. If the result holds, the paper resolves an open conjecture at the interface of algebraic geometry and quantum algebra by completing the verification of the posited correspondence between Euler numbers on quotient singularities and quantum dimensions at a specific root of unity. The case-by-case algebraic verification for all ADE types supplies a concrete, falsifiable confirmation of the GNS generating function.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper's derivation establishes a special case of Kuniba's conjecture (quantum dimensions = 1 at the indicated root of unity, including new E7/E8 cases) via direct algebraic verification, then invokes the already-posited GNS correspondence to obtain the Euler number generating function. Both the Kuniba special case and the GNS conjecture originate from external sources with no author overlap indicated; the central implication is a one-way deduction from verified algebraic input to geometric output rather than any self-definition, fitted parameter renamed as prediction, or load-bearing self-citation chain. The structure is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Only the abstract is available, so the ledger is necessarily incomplete; the work relies on standard properties of quantum affine algebras and the definition of Hilbert schemes on quotients, with no free parameters or invented entities visible.

axioms (2)
  • standard math Standard properties of quantum affine algebras and their standard modules at roots of unity hold as in prior literature.
    Invoked implicitly when associating the algebra to Γ and evaluating quantum dimensions.
  • domain assumption The Euler characteristic generating function of Hilb^n(C²/Γ) equals the product over quantum dimensions as stated in the Gyenge-Némethi-Szendrői conjecture.
    This is the bridge used to deduce the geometric result from the algebraic claim.

pith-pipeline@v0.9.0 · 5709 in / 1403 out tokens · 22261 ms · 2026-05-24T15:37:10.846500+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

39 extracted references · 39 canonical work pages · 2 internal anchors

  1. [1]

    P. N. Achar and A. Henderson, Geometric S atake, S pringer correspondence and small representations , Selecta Math. (N.S.) 19 (2013), no. 4, 949--986. 3131493

    work page 2013

  2. [2]

    H. H. Andersen, Tensor products of quantized tilting modules, Comm. Math. Phys. 149 (1992), no. 1, 149--159. 1182414

    work page 1992

  3. [3]

    Coulomb branches of $3d$ $\mathcal N=4$ quiver gauge theories and slices in the affine Grassmannian (with appendices by Alexander Braverman, Michael Finkelberg, Joel Kamnitzer, Ryosuke Kodera, Hiraku Nakajima, Ben Webster, and Alex Weekes)

    A. Braverman , M. Finkelberg , and H. Nakajima , Coulomb branches of 3d N=4 quiver gauge theories and slices in the affine G rassmannian , Adv. Theor. Math. Phys. 23 (2019), no. 1, 75--166, With two appendices by Braverman, Finkelberg, Joel Kamnitzer, Ryosuke Kodera, Nakajima, Ben Webster and Alex Weekes, http://arxiv.org/abs/1604.03625 arXiv:1604.03625 [...

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  4. [4]

    L. Bittmann , A quantum cluster algebra approach to representations of simply-laced quantum affine algebras , arXiv e-prints (2019), arXiv:1911.13110, http://arxiv.org/abs/1911.13110 arXiv:1911.13110 [math.QA]

    work page arXiv 2019

  5. [5]

    Borho and R

    W. Borho and R. MacPherson, Partial resolutions of nilpotent varieties, Analysis and topology on singular spaces, II, III (Luminy, 1981), Ast\'erisque, vol. 101, Soc. Math. France, Paris, 1983, pp. 23--74. MR737927 (85j:14087)

    work page 1981

  6. [6]

    Crawley-Boevey, Normality of M arsden- W einstein reductions for representations of quivers , Math

    W. Crawley-Boevey, Normality of M arsden- W einstein reductions for representations of quivers , Math. Ann. 325 (2003), no. 1, 55--79. MR1957264 (2004c:16017)

    work page 2003

  7. [7]

    Craw , S

    A. Craw , S. Gammelgaard , \'A . Gyenge , and B. Szendr o i , Punctual Hilbert schemes for Kleinian singularities as quiver varieties , arXiv e-prints (2019), http://arxiv.org/abs/1910.13420 arXiv:1910.13420 [math.AG]

    work page arXiv 2019

  8. [8]

    Dijkgraaf and P

    R. Dijkgraaf and P. Su kowski, Instantons on ALE spaces and orbifold partitions , J. High Energy Phys. (2008), no. 3, 013, 24. 2391107

    work page 2008

  9. [9]

    Fulton and J

    W. Fulton and J. Harris, Representation theory, Graduate Texts in Mathematics, vol. 129, Springer-Verlag, New York, 1991, A first course, Readings in Mathematics. 1153249

    work page 1991

  10. [10]

    P. D. Francesco and R. Kedem, Proof of the combinatorial K irillov- R eshetikhin conjecture , Int. Math. Res. Not. IMRN (2008), no. 7, Art. ID rnn006, 57. 2428305

    work page 2008

  11. [11]

    Gleitz, On the KNS conjecture in type E , Ann

    A.-S. Gleitz, On the KNS conjecture in type E , Ann. Comb. 18 (2014), no. 4, 617--643. 3282650

    work page 2014

  12. [12]

    Gyenge, A

    A. Gyenge, A. N\' e methi, and B. Szendr o i, Euler characteristics of H ilbert schemes of points on surfaces with simple singularities , Int. Math. Res. Not. IMRN (2017), no. 13, 4152--4159. 3671513

    work page 2017

  13. [13]

    , Euler characteristics of H ilbert schemes of points on simple surface singularities , Eur. J. Math. 4 (2018), no. 2, 439--524. 3799153

    work page 2018

  14. [14]

    G \"o ttsche, The B etti numbers of the H ilbert scheme of points on a smooth projective surface , Math

    L. G \"o ttsche, The B etti numbers of the H ilbert scheme of points on a smooth projective surface , Math. Ann. 286 (1990), no. 1-3, 193--207. 1032930

    work page 1990

  15. [15]

    Hausel, Kac's conjecture from N akajima quiver varieties , Invent

    T. Hausel, Kac's conjecture from N akajima quiver varieties , Invent. Math. 181 (2010), no. 1, 21--37. 2651380

    work page 2010

  16. [16]

    Henderson and A

    A. Henderson and A. Licata, Diagram automorphisms of quiver varieties, Adv. Math. 267 (2014), 225--276. 3269179

    work page 2014

  17. [17]

    V. G. Kac, Infinite-dimensional L ie algebras , third ed., Cambridge University Press, Cambridge, 1990. MR1104219 (92k:17038)

    work page 1990

  18. [18]

    Kirillov, Jr., Quiver representations and quiver varieties, Graduate Studies in Mathematics, vol

    A. Kirillov, Jr., Quiver representations and quiver varieties, Graduate Studies in Mathematics, vol. 174, American Mathematical Society, Providence, RI, 2016. 3526103

    work page 2016

  19. [19]

    Kleber, Combinatorial structure of finite-dimensional representations of Y angians: the simply-laced case , Internat

    M. Kleber, Combinatorial structure of finite-dimensional representations of Y angians: the simply-laced case , Internat. Math. Res. Notices (1997), no. 4, 187--201. 1436775

    work page 1997

  20. [20]

    Kuniba, T

    A. Kuniba, T. Nakanishi, and J. Suzuki, T -systems and Y -systems in integrable systems , J. Phys. A 44 (2011), no. 10, 103001, 146. 2773889

    work page 2011

  21. [21]

    P. B. Kronheimer, The construction of ALE spaces as hyper- K \"ahler quotients , J. Differential Geom. 29 (1989), no. 3, 665--683. MR992334 (90d:53055)

    work page 1989

  22. [22]

    Kuniba, Thermodynamics of the U_q(X^ (1) _r) B ethe ansatz system with q a root of unity , Nuclear Phys

    A. Kuniba, Thermodynamics of the U_q(X^ (1) _r) B ethe ansatz system with q a root of unity , Nuclear Phys. B 389 (1993), no. 1, 209--244. 1202213

    work page 1993

  23. [23]

    Lee, A proof of the KNS conjecture: D_r case , J

    C.-h. Lee, A proof of the KNS conjecture: D_r case , J. Phys. A 46 (2013), no. 16, 165201, 12. 3043892

    work page 2013

  24. [24]

    Maffei, Quiver varieties of type A , Comment

    A. Maffei, Quiver varieties of type A , Comment. Math. Helv. 80 (2005), no. 1, 1--27. 2130242

    work page 2005

  25. [25]

    Mirkovi \'c and M

    I. Mirkovi \'c and M. Vybornov, On quiver varieties and affine G rassmannians of type A , C. R. Math. Acad. Sci. Paris 336 (2003), no. 3, 207--212. 1968260 (2004c:14093)

    work page 2003

  26. [26]

    Nakajima, Instantons on ALE spaces, quiver varieties, and K ac- M oody algebras , Duke Math

    H. Nakajima, Instantons on ALE spaces, quiver varieties, and K ac- M oody algebras , Duke Math. J. 76 (1994), no. 2, 365--416. MR1302318 (95i:53051)

    work page 1994

  27. [27]

    , Heisenberg algebra and H ilbert schemes of points on projective surfaces , Ann. of Math. (2) 145 (1997), no. 2, 379--388. MR1441880 (98h:14006)

    work page 1997

  28. [28]

    18, American Mathematical Society, Providence, RI, 1999

    , Lectures on H ilbert schemes of points on surfaces , University Lecture Series, vol. 18, American Mathematical Society, Providence, RI, 1999. MR1711344 (2001b:14007)

    work page 1999

  29. [29]

    , Quiver varieties and finite-dimensional representations of quantum affine algebras, J. Amer. Math. Soc. 14 (2001), no. 1, 145--238 (electronic). MR1808477 (2002i:17023)

    work page 2001

  30. [30]

    I (Beijing, 2002) (Beijing), Higher Ed

    , Geometric construction of representations of affine algebras, Proceedings of the International Congress of Mathematicians, Vol. I (Beijing, 2002) (Beijing), Higher Ed. Press, 2002, pp. 423--438. MR1989196 (2004e:17012)

    work page 2002

  31. [31]

    Math., vol

    , t -analogs of q -characters of quantum affine algebras of type A n,D n , Combinatorial and geometric representation theory (Seoul, 2001), Contemp. Math., vol. 325, Amer. Math. Soc., Providence, RI, 2003, pp. 141--160. MR1988990 (2004h:17018)

    work page 2001

  32. [32]

    , Quiver varieties and t -analogs of q -characters of quantum affine algebras , Ann. of Math. (2) 160 (2004), no. 3, 1057--1097. MR2144973 (2006k:17029)

    work page 2004

  33. [33]

    Methods Appl

    , Quiver varieties and branching, SIGMA Symmetry Integrability Geom. Methods Appl. 5 (2009), Paper 003, 37. 2470410 (2010f:17034)

    work page 2009

  34. [34]

    Math., vol

    , t -analogs of q -characters of quantum affine algebras of type E_6,E_7,E_8 , Representation theory of algebraic groups and quantum groups, Progr. Math., vol. 284, Birkh\"auser/Springer, New York, 2010, pp. 257--272. 2761942

    work page 2010

  35. [35]

    Nakajima and Y

    H. Nakajima and Y. Takayama, Cherkis bow varieties and C oulomb branches of quiver gauge theories of affine type A , Selecta Mathematica 23 (2017), no. 4, 2553--2633, http://arxiv.org/abs/1606.02002 arXiv:1606.02002 [math.RT]

    work page arXiv 2017

  36. [36]

    Parshall and J

    B. Parshall and J. P. Wang, Cohomology of quantum groups: the quantum dimension, Canad. J. Math. 45 (1993), no. 6, 1276--1298. 1247547

    work page 1993

  37. [37]

    Toda, S-duality for surfaces with A_n -type singularities , Math

    Y. Toda, S-duality for surfaces with A_n -type singularities , Math. Ann. 363 (2015), no. 1-2, 679--699. 3394393

    work page 2015

  38. [38]

    Varagnolo and E

    M. Varagnolo and E. Vasserot, Standard modules of quantum affine algebras, Duke Math. J. 111 (2002), no. 3, 509--533. 1885830 (2003g:17030)

    work page 2002

  39. [39]

    Symplectic resolutions of the Hilbert squares of ADE surface singularities

    R. Yamagishi , Symplectic resolutions of the Hilbert squares of ADE surface singularities , arXiv e-prints (2017), http://arxiv.org/abs/1709.05886 arXiv:1709.05886 [math.AG]

    work page internal anchor Pith review Pith/arXiv arXiv 2017