Orbifold Hilbert Schemes: Moduli & Resolutions

• Orbifold Hilbert schemes are moduli spaces of zero-dimensional substacks that capture G-invariant ideal structures on quotient or stacky surfaces.
• They connect ADE singularities to combinatorial models like Young walls and Nakajima quiver varieties, yielding explicit affine-cell decompositions with even cohomology.
• These schemes unify algebraic and geometric methods via deformation theory, modular generating series, and orbifold cohomology, impacting resolutions and compactifications.

Orbifold Hilbert schemes are moduli spaces of zero-dimensional substacks, or equivalently fixed-locus/equivariant Hilbert schemes, attached to quotient or stacky surfaces. In the quotient-surface setting one has

$$\mathrm{Hilb}([\mathbb{C}^2/G])=\mathrm{Hilb}(\mathbb{C}^2)^G,$$

while for an Abelian surface with symplectic finite-group action one has

$\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$

Recent work also studies “orbifold Hilbert” structures in a Hilbert-series guise for symmetric orbifolds $(\mathbb{C}^2)^n/S_n$, where the bigraded numerator is identified with a distinguished diagonal entry of the transposed $q,t$-Kostka matrix. These formulations tie together quotient singularities, Deligne–Mumford stacks, Nakajima quiver varieties, modular generating series, and Hilbert–Chow resolutions (Gyenge et al., 2015, Pietromonaco, 2020, Mvondo-She, 2024).

1. Definitions and basic frameworks

For a finite subgroup $G\subset \mathrm{SL}_2(\mathbb{C})$, the orbifold surface is the stack

$[\mathbb{C}^2/G],$

and the corresponding orbifold Hilbert scheme is the fixed locus

$$\mathrm{Hilb}([\mathbb{C}^2/G])=\mathrm{Hilb}(\mathbb{C}^2)^G.$$

It decomposes by representation type: $$\mathrm{Hilb}([\mathbb{C}^2/G])=\bigsqcup_{\rho\in \operatorname{Rep}(G)} \mathrm{Hilb}^{\rho}([\mathbb{C}^2/G]),$$ where

$$\mathrm{Hilb}^{\rho}([\mathbb{C}^2/G])=\left\{I\subset \mathbb{C}[x,y]\text{ ideal}: I \text{ is } G\text{-invariant},\ H^0(\mathcal{O}_{\mathbb{C}^2}/I)\simeq_G \rho\right\}.$$

For an Abelian surface $A$ with symplectic action by a finite group $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$0, the fixed loci

$\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$1

are identified with Hilbert schemes on the orbifold quotient: $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$2 For a smooth projective Deligne–Mumford stack $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$3 of dimension $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$4 with trivial generic stabilizer and stacky locus of codimension $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$5, orbifold Hilbert schemes are defined by fixing the numerical $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$6-class of a zero-dimensional closed substack: $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$7 In the special case $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$8, this gives the orbifold Hilbert scheme of $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$9 points, denoted $(\mathbb{C}^2)^n/S_n$0 (Pietromonaco, 2020, Huang, 18 Sep 2025).

Setting	Orbifold Hilbert scheme	Concrete realization
Kleinian surface quotient	$(\mathbb{C}^2)^n/S_n$1	$(\mathbb{C}^2)^n/S_n$2
Abelian surface quotient	$(\mathbb{C}^2)^n/S_n$3	$(\mathbb{C}^2)^n/S_n$4
Smooth DM surface $(\mathbb{C}^2)^n/S_n$5	$(\mathbb{C}^2)^n/S_n$6	Zero-dimensional substacks with class $(\mathbb{C}^2)^n/S_n$7

These definitions are not identical, but they are compatible. This suggests a family of moduli problems in which the common datum is a stacky or quotient surface together with a finite-length object.

2. Quotient surface singularities, ADE geometry, and Young walls

For simple surface singularities $(\mathbb{C}^2)^n/S_n$8 with $(\mathbb{C}^2)^n/S_n$9 of type $q,t$0 or $q,t$1, orbifold Hilbert schemes admit an explicit affine-cell decomposition indexed by Young walls: $q,t$2 and each stratum $q,t$3 is isomorphic to an affine space. In particular,

$q,t$4

The associated orbifold generating series is

$q,t$5

and Nakajima’s character formula gives

$q,t$6

where $q,t$7 and $q,t$8 is the finite Cartan matrix (Gyenge et al., 2015).

In type $q,t$9, the Young-wall combinatorics becomes more intricate. The set $G\subset \mathrm{SL}_2(\mathbb{C})$0 of Young walls is equipped with a core–quotient decomposition

$G\subset \mathrm{SL}_2(\mathbb{C})$1

and the multivariable series

$G\subset \mathrm{SL}_2(\mathbb{C})$2

is identified with the Euler-characteristic generating series of the orbifold Hilbert scheme. There is also a motivic refinement

$G\subset \mathrm{SL}_2(\mathbb{C})$3

The strata remain affine-space strata, so the cohomology is concentrated in even degrees (Gyenge, 2019).

The coarse Hilbert scheme $G\subset \mathrm{SL}_2(\mathbb{C})$4 is related to the orbifold theory by a root-of-unity specialization of the orbifold character. In type $G\subset \mathrm{SL}_2(\mathbb{C})$5 and $G\subset \mathrm{SL}_2(\mathbb{C})$6,

$G\subset \mathrm{SL}_2(\mathbb{C})$7

with

$G\subset \mathrm{SL}_2(\mathbb{C})$8

This is presented as a specialization of the orbifold generating function and as a singular-surface analogue of Göttsche-type product formulas (Gyenge et al., 2015).

3. Quiver varieties, orbifold Quot schemes, and the McKay-theoretic model

A different but complementary description realizes orbifold Hilbert schemes as special cases of orbifold Quot schemes for Kleinian orbifolds $G\subset \mathrm{SL}_2(\mathbb{C})$9. If $[\mathbb{C}^2/G],$0 are the irreducible $[\mathbb{C}^2/G],$1-representations and

$[\mathbb{C}^2/G],$2

then for a non-empty subset $[\mathbb{C}^2/G],$3 one sets

$[\mathbb{C}^2/G],$4

The orbifold Quot scheme parametrizes quotients of $[\mathbb{C}^2/G],$5 of prescribed dimension vector. In this framework orbifold Hilbert schemes occur as the case $[\mathbb{C}^2/G],$6, since $[\mathbb{C}^2/G],$7, and the resulting Quot scheme is exactly $[\mathbb{C}^2/G],$8 (Craw et al., 2021).

The central identification is with Nakajima quiver varieties for the framed McKay quiver. For suitable $[\mathbb{C}^2/G],$9 and stability parameter $$\mathrm{Hilb}([\mathbb{C}^2/G])=\mathrm{Hilb}(\mathbb{C}^2)^G.$$0,

$$\mathrm{Hilb}([\mathbb{C}^2/G])=\mathrm{Hilb}(\mathbb{C}^2)^G.$$1

Consequently, the reduced orbifold Quot scheme is irreducible, normal, has symplectic singularities, and admits a projective symplectic resolution. In balanced cases,

$$\mathrm{Hilb}([\mathbb{C}^2/G])=\mathrm{Hilb}(\mathbb{C}^2)^G.$$2

the orbifold Quot scheme is already reduced and isomorphic as a scheme to a Nakajima quiver variety (Craw, 2024).

Craw’s reformulation uses the Le Bruyn–Procesi theorem on invariant rings of quiver representation spaces. The invariant coordinate ring of the reduced representation space of the preprojective algebra is generated by trace functions associated to cycles in the McKay quiver, and this invariant-theoretic control replaces earlier combinatorial and recollement arguments. A plausible implication is that the quiver-moduli description is now the structurally preferred language for the scheme-theoretic geometry of orbifold Hilbert and Quot spaces on Kleinian orbifolds (Craw, 2024).

4. Abelian surfaces, orbifold Kummer geometry, and modular generating series

For a complex Abelian surface $$\mathrm{Hilb}([\mathbb{C}^2/G])=\mathrm{Hilb}(\mathbb{C}^2)^G.$$3 with symplectic finite-group action $$\mathrm{Hilb}([\mathbb{C}^2/G])=\mathrm{Hilb}(\mathbb{C}^2)^G.$$4, the partition function of $$\mathrm{Hilb}([\mathbb{C}^2/G])=\mathrm{Hilb}(\mathbb{C}^2)^G.$$5-invariant Hilbert schemes is

$$\mathrm{Hilb}([\mathbb{C}^2/G])=\mathrm{Hilb}(\mathbb{C}^2)^G.$$6

The fixed locus $$\mathrm{Hilb}([\mathbb{C}^2/G])=\mathrm{Hilb}(\mathbb{C}^2)^G.$$7 is interpreted as the Hilbert scheme of the orbifold quotient: $$\mathrm{Hilb}([\mathbb{C}^2/G])=\mathrm{Hilb}(\mathbb{C}^2)^G.$$8 Each connected component of $$\mathrm{Hilb}([\mathbb{C}^2/G])=\mathrm{Hilb}(\mathbb{C}^2)^G.$$9 is a smooth projective holomorphic symplectic variety of $$\mathrm{Hilb}([\mathbb{C}^2/G])=\bigsqcup_{\rho\in \operatorname{Rep}(G)} \mathrm{Hilb}^{\rho}([\mathbb{C}^2/G]),$$0-type. The principal modularity theorem states that

$$\mathrm{Hilb}([\mathbb{C}^2/G])=\bigsqcup_{\rho\in \operatorname{Rep}(G)} \mathrm{Hilb}^{\rho}([\mathbb{C}^2/G]),$$1

is a modular form of weight

$$\mathrm{Hilb}([\mathbb{C}^2/G])=\bigsqcup_{\rho\in \operatorname{Rep}(G)} \mathrm{Hilb}^{\rho}([\mathbb{C}^2/G]),$$2

for the congruence subgroup $$\mathrm{Hilb}([\mathbb{C}^2/G])=\bigsqcup_{\rho\in \operatorname{Rep}(G)} \mathrm{Hilb}^{\rho}([\mathbb{C}^2/G]),$$3, and $$\mathrm{Hilb}([\mathbb{C}^2/G])=\bigsqcup_{\rho\in \operatorname{Rep}(G)} \mathrm{Hilb}^{\rho}([\mathbb{C}^2/G]),$$4 is an explicit eta product (Pietromonaco, 2020).

For the standard involution

$$\mathrm{Hilb}([\mathbb{C}^2/G])=\bigsqcup_{\rho\in \operatorname{Rep}(G)} \mathrm{Hilb}^{\rho}([\mathbb{C}^2/G]),$$5

the quotient stack $$\mathrm{Hilb}([\mathbb{C}^2/G])=\bigsqcup_{\rho\in \operatorname{Rep}(G)} \mathrm{Hilb}^{\rho}([\mathbb{C}^2/G]),$$6 is the orbifold Kummer surface, and

$$\mathrm{Hilb}([\mathbb{C}^2/G])=\bigsqcup_{\rho\in \operatorname{Rep}(G)} \mathrm{Hilb}^{\rho}([\mathbb{C}^2/G]),$$7

The refined $$\mathrm{Hilb}([\mathbb{C}^2/G])=\bigsqcup_{\rho\in \operatorname{Rep}(G)} \mathrm{Hilb}^{\rho}([\mathbb{C}^2/G]),$$8-series is

$$\mathrm{Hilb}([\mathbb{C}^2/G])=\bigsqcup_{\rho\in \operatorname{Rep}(G)} \mathrm{Hilb}^{\rho}([\mathbb{C}^2/G]),$$9

and for any nontrivial translation-free symplectic action,

$$\mathrm{Hilb}^{\rho}([\mathbb{C}^2/G])=\left\{I\subset \mathbb{C}[x,y]\text{ ideal}: I \text{ is } G\text{-invariant},\ H^0(\mathcal{O}_{\mathbb{C}^2}/I)\simeq_G \rho\right\}.$$0

This places the $$\mathrm{Hilb}^{\rho}([\mathbb{C}^2/G])=\left\{I\subset \mathbb{C}[x,y]\text{ ideal}: I \text{ is } G\text{-invariant},\ H^0(\mathcal{O}_{\mathbb{C}^2}/I)\simeq_G \rho\right\}.$$1-genera of orbifold Hilbert schemes inside the standard Jacobi-form package (Pietromonaco, 2020).

In the $$\mathrm{Hilb}^{\rho}([\mathbb{C}^2/G])=\left\{I\subset \mathbb{C}[x,y]\text{ ideal}: I \text{ is } G\text{-invariant},\ H^0(\mathcal{O}_{\mathbb{C}^2}/I)\simeq_G \rho\right\}.$$2-case, the orbifold Hilbert scheme controls curve counts on the orbifold Kummer surface. The orbifold KKV-type formula is

$$\mathrm{Hilb}^{\rho}([\mathbb{C}^2/G])=\left\{I\subset \mathbb{C}[x,y]\text{ ideal}: I \text{ is } G\text{-invariant},\ H^0(\mathcal{O}_{\mathbb{C}^2}/I)\simeq_G \rho\right\}.$$3

and the genus-zero specialization gives

$$\mathrm{Hilb}^{\rho}([\mathbb{C}^2/G])=\left\{I\subset \mathbb{C}[x,y]\text{ ideal}: I \text{ is } G\text{-invariant},\ H^0(\mathcal{O}_{\mathbb{C}^2}/I)\simeq_G \rho\right\}.$$4

Moreover,

$$\mathrm{Hilb}^{\rho}([\mathbb{C}^2/G])=\left\{I\subset \mathbb{C}[x,y]\text{ ideal}: I \text{ is } G\text{-invariant},\ H^0(\mathcal{O}_{\mathbb{C}^2}/I)\simeq_G \rho\right\}.$$5

The coefficients of $$\mathrm{Hilb}^{\rho}([\mathbb{C}^2/G])=\left\{I\subset \mathbb{C}[x,y]\text{ ideal}: I \text{ is } G\text{-invariant},\ H^0(\mathcal{O}_{\mathbb{C}^2}/I)\simeq_G \rho\right\}.$$6 are described as genuine weighted counts of rational curves on the orbifold Kummer surface, and the resulting invariants are consistent with the hyperelliptic counts of Bryan–Oberdieck–Pandharipande–Yin (Pietromonaco, 2020).

5. Symmetric products, orbifold cohomology, and Macdonald-theoretic Hilbert series

For a complex surface $$\mathrm{Hilb}^{\rho}([\mathbb{C}^2/G])=\left\{I\subset \mathbb{C}[x,y]\text{ ideal}: I \text{ is } G\text{-invariant},\ H^0(\mathcal{O}_{\mathbb{C}^2}/I)\simeq_G \rho\right\}.$$7, the symmetric product orbifold is

$$\mathrm{Hilb}^{\rho}([\mathbb{C}^2/G])=\left\{I\subset \mathbb{C}[x,y]\text{ ideal}: I \text{ is } G\text{-invariant},\ H^0(\mathcal{O}_{\mathbb{C}^2}/I)\simeq_G \rho\right\}.$$8

and the Hilbert–Chow morphism

$$\mathrm{Hilb}^{\rho}([\mathbb{C}^2/G])=\left\{I\subset \mathbb{C}[x,y]\text{ ideal}: I \text{ is } G\text{-invariant},\ H^0(\mathcal{O}_{\mathbb{C}^2}/I)\simeq_G \rho\right\}.$$9

is a crepant resolution. In the topological symmetric orbifold framework, the orbifold chiral ring is the Chen–Ruan orbifold cohomology, and one has

$A$0

The full orbifold chiral ring is realized as a symmetric orbifold Frobenius algebra $A$1, and a canonical quotient of this ring is isomorphic to the cohomology ring of $A$2. In that quotient, the structure constants are Hurwitz numbers, proving the extremal correlator conjecture described in the physics literature (Li et al., 2020).

In a more specialized direction, the symmetric orbifold of the plane is studied through the bigraded Hilbert series of the invariant ring

$A$3

for

$A$4

Writing

$A$5

the numerator $A$6 is palindromic. The main identification is

$A$7

where $A$8 denotes the transpose of the $A$9-Kostka matrix entry. Thus the numerator of the bigraded symmetric orbifold Hilbert series is the diagonal transposed $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$00-Kostka coefficient for the hook partition $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$01 of $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$02 (Mvondo-She, 2024).

The same paper exhibits a recurrence and a differential operator

$\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$03

so that the relevant $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$04-Kostka entries appear as eigenvalue-like outputs of an operator acting on the orbifold Hilbert series. This gives a precise Macdonald-theoretic encoding of the symmetric orbifold numerators (Mvondo-She, 2024).

6. Noncommutative ruled surfaces over orbifold curves and elliptic root systems

A further generalization replaces quotient surfaces by noncommutative ruled surfaces over orbifold curves $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$05. Starting from a sheaf bimodule $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$06 on $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$07, one forms a noncommutative $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$08-bundle

$\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$09

whose derived category admits a semiorthogonal decomposition

$\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$10

These categories are described as a common generalization of the category of modules of the preprojective algebra and of the category of twisted $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$11-modules over a curve. Locally near a stacky point they recover finite-dimensional seminilpotent modules over a deformed preprojective algebra, so the usual quiver-variety picture remains visible in the orbifold direction (DeHority, 2023).

For

$\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$12

the birational geometry of $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$13 is controlled by an elliptic root system

$\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$14

The conjectural picture is that moduli spaces of objects in these derived categories provide a deformation of birational models for the Hilbert scheme $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$15, and that walls in the relative Néron–Severi space correspond to a subset of roots in $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$16. In special cases this is proved, and geometric correspondences on the central fiber produce Lie algebra actions on equivariant cohomology together with formulas for the action of the Namikawa–Markman Weyl group of monodromy reflections (DeHority, 2023).

This perspective places orbifold Hilbert schemes inside a larger toroidal-McKay/Hitchin framework: local Kleinian geometry, global elliptic fibrations, Bridgeland wall-crossing, and Weyl-group monodromy are all encoded by the same root-theoretic package.

7. Higher-dimensional and compactification viewpoints

In dimension three, for

$\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$17

the $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$18-Hilbert scheme $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$19 parametrizes $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$20-clusters and gives a crepant resolution

$\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$21

For any toric crepant resolution $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$22, first-order deformations of the tangent sheaf are controlled by $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$23. The paper proves a lower bound on this deformation count for every crepant resolution and shows that the lower bound is achieved precisely for the $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$24-Hilbert scheme. Moreover, the minimal value equals the singlet count from the orbifold conformal field theory. This gives a deformation-theoretic characterization of $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$25-Hilb among crepant resolutions of Calabi–Yau threefold orbifolds (Gaines, 2014).

A different compactification result uses orbifold Hilbert schemes to compactify all two-dimensional Hitchin systems of types $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$26. For orbifold curves

$\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$27

the compactified surfaces are

$\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$28

These are smooth connected projective orbifold Hilbert schemes, and the Hilbert–Chow morphism

$\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$29

is used to construct the minimal resolution of the coarse moduli space. The resulting $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$30 are rational elliptic surfaces with $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$31-actions, and their singular fibers and relative minimal models are listed explicitly. For $\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).$32, the 2-dimensional Hitchin systems are compactified by these orbifold Hilbert schemes (Huang, 18 Sep 2025).

Taken together, these constructions show that orbifold Hilbert schemes function not only as local resolutions of quotient singularities but also as global compactification devices, deformation spaces, and symplectic or Poisson models across surface, threefold, and Hitchin-theoretic settings.