---
title: 'Orbifold Hilbert Schemes: Moduli & Resolutions'
url: https://www.emergentmind.com/topics/orbifold-hilbert-schemes
type: topic
---

# Orbifold Hilbert Schemes: Moduli & Resolutions

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 [1512.06848] [2011.14020] [2412.03110].

## 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 \(G\subset \mathrm{Aut}(A)\), the fixed loci
\[
\mathrm{Hilb}^{d}(A)^G:=\{Z\in \mathrm{Hilb}^{d}(A)\mid g(Z)=Z\ \text{for all}\ g\in G\}
\]
are identified with Hilbert schemes on the orbifold quotient:
\[
\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).
\]
For a smooth projective Deligne–Mumford stack \(\mathcal{X}\) of dimension \(2\) with trivial generic stabilizer and stacky locus of codimension \(2\), orbifold Hilbert schemes are defined by fixing the numerical \(K\)-class of a zero-dimensional closed substack:
\[
{}^{\alpha}\!\mathrm{Hilb}(\mathcal{X})=\left\{Z\subset \mathcal{X}\mid [\mathcal{O}_Z]=\alpha\text{ in }K^{\mathrm{num}}(\mathcal{X})\right\}.
\]
In the special case \(\alpha=n[\mathcal{O}_q]\), this gives the orbifold Hilbert scheme of \(n\) points, denoted \({}^{n}(\mathcal{X})\) [2011.14020] [2509.14812].

| Setting | Orbifold Hilbert scheme | Concrete realization |
|---|---|---|
| Kleinian surface quotient | \(\mathrm{Hilb}([\mathbb{C}^2/G])\) | \(\mathrm{Hilb}(\mathbb{C}^2)^G\) |
| Abelian surface quotient | \(\mathrm{Hilb}(A)^G\) | \(\mathrm{Hilb}([A/G])\) |
| Smooth DM surface \(\mathcal X\) | \({}^{\alpha}\!\mathrm{Hilb}(\mathcal X)\) | Zero-dimensional substacks with class \(\alpha\) |

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/G_\Delta\) with \(G_\Delta\subset \mathrm{SL}_2(\mathbb{C})\) of type \(A\) or \(D\), orbifold Hilbert schemes admit an explicit affine-cell decomposition indexed by Young walls:
\[
\operatorname{Hilb}([\mathbb{C}^2/G_\Delta])=\bigsqcup_{Y\in\mathcal{Z}_\Delta}\operatorname{Hilb}([\mathbb{C}^2/G_\Delta])_Y,
\]
and each stratum \(\operatorname{Hilb}([\mathbb{C}^2/G_\Delta])_Y\) is isomorphic to an affine space. In particular,
\[
\chi(\operatorname{Hilb}([\mathbb{C}^2/G_\Delta])_Y)=1.
\]
The associated orbifold generating series is
\[
Z_{[\mathbb{C}^2/G_\Delta]}(q_0,\dots,q_n)
=\sum_{m_0,\dots,m_n\ge0}\chi\big(\operatorname{Hilb}^{\sum m_i\rho_i}([\mathbb{C}^2/G_\Delta])\big)\prod_{i=0}^n q_i^{m_i},
\]
and Nakajima’s character formula gives
\[
Z_{[\mathbb{C}^2/G_\Delta]}(q_0,\dots,q_n)
=\left(\prod_{m=1}^{\infty}(1-q^m)^{-1}\right)^{n+1}
\sum_{\overline{m}=(m_1,\dots,m_n)\in\mathbb{Z}^n}
q_1^{m_1}\cdots q_n^{m_n}(q^{1/2})^{\overline{m}^\top C_\Delta \overline{m}},
\]
where \(q=\prod_{i=0}^n q_i^{d_i}\) and \(C_\Delta\) is the finite Cartan matrix [1512.06848].

In type \(D_n\), the Young-wall combinatorics becomes more intricate. The set \(Z_\Delta\) of Young walls is equipped with a core–quotient decomposition
\[
Z_\Delta \;\longleftrightarrow\; \mathcal{P}^{n+1}\times C_\Delta,\qquad
C_\Delta \;\longleftrightarrow\; \mathbb{Z}^n,
\]
and the multivariable series
\[
Z_\Delta(q_0,\dots,q_n)=
\left(\prod_{m=1}^{\infty}(1-q^m)^{-1}\right)^{n+1}
\sum_{\mathbf{m}=(m_1,\dots,m_n)\in \mathbb{Z}^n}
q_1^{m_1}\cdots q_n^{m_n}\,(q^{1/2})^{\mathbf{m}^\top C_\Delta\,\mathbf{m} }
\]
is identified with the Euler-characteristic generating series of the orbifold Hilbert scheme. There is also a motivic refinement
\[
\mathcal{Z}_{[\mathbb{C}^2/G_\Delta]}(q_0,\dots,q_n)
=\left(\prod_{m=1}^{\infty} (1-\mathbb{L}^{m+1}q^m)^{-1}(1-\mathbb{L}^{m}q^m)^{-n} \right)
\sum_{\mathbf{m}\in \mathbb{Z}^n} q_1^{m_1}\cdots q_n^{m_n}\,(q^{1/2})^{\mathbf{m}^\top C_\Delta\,\mathbf{m} }.
\]
The strata remain affine-space strata, so the cohomology is concentrated in even degrees [1911.08226].

The coarse Hilbert scheme \(\operatorname{Hilb}(\mathbb{C}^2/G_\Delta)\) is related to the orbifold theory by a root-of-unity specialization of the orbifold character. In type \(A\) and \(D\),
\[
Z_{\mathbb{C}^2/G_\Delta}(q)
=\left(\prod_{m=1}^\infty (1-q^m)^{-1}\right)^{n+1}
\sum_{\overline{m}\in\mathbb{Z}^n}\zeta^{m_1+\cdots+m_n}(q^{1/2})^{\overline{m}^\top C_\Delta\,\overline{m},
\]
with
\[
\zeta=\exp\left(\frac{2\pi i}{1+h^\vee}\right).
\]
This is presented as a specialization of the orbifold generating function and as a singular-surface analogue of Göttsche-type product formulas [1512.06848].

## 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 \([\mathbb{C}^2/\Gamma]\). If \(\rho_0,\rho_1,\dots,\rho_r\) are the irreducible \(\Gamma\)-representations and
\[
R=\mathbb{C}[x,y]\cong \bigoplus_{i=0}^r R_i\otimes \rho_i,
\qquad
R_i=\mathrm{Hom}_\Gamma(\rho_i,R),
\]
then for a non-empty subset \(I\subset \{0,1,\dots,r\}\) one sets
\[
R_I:=\bigoplus_{i\in I}R_i.
\]
The orbifold Quot scheme parametrizes quotients of \(R_I\) of prescribed dimension vector. In this framework orbifold Hilbert schemes occur as the case \(I=\{0\}\), since \(R_0=R^\Gamma\), and the resulting Quot scheme is exactly \(\mathrm{Hilb}^n(\mathbb{C}^2/\Gamma)\) [2106.10115].

The central identification is with Nakajima quiver varieties for the framed McKay quiver. For suitable \(\mathbf v\) and stability parameter \(\theta_I\),
\[
\Quot_I^{n_I}([\mathbb{C}^2/\Gamma])_{\mathrm{red}}
\cong
\mathfrak{M}_{\theta_I}(1,\mathbf v).
\]
Consequently, the reduced orbifold Quot scheme is irreducible, normal, has symplectic singularities, and admits a projective symplectic resolution. In balanced cases,
\[
n_i=n\cdot \dim \rho_i \quad \text{for all } i\in I,
\]
the orbifold Quot scheme is already reduced and isomorphic as a scheme to a Nakajima quiver variety [2407.18740].

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 [2407.18740].

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

For a complex Abelian surface \(A\) with symplectic finite-group action \(G\subset \mathrm{Aut}(A)\), the partition function of \(G\)-invariant Hilbert schemes is
\[
Z_{A,G}(q)=\sum_{d=0}^{\infty} e(\mathrm{Hilb}^{d}(A)^{G})q^{d}.
\]
The fixed locus \(\mathrm{Hilb}^{d}(A)^G\) is interpreted as the Hilbert scheme of the orbifold quotient:
\[
\mathrm{Hilb}(A)^G=\mathrm{Hilb}([A/G]).
\]
Each connected component of \(\mathrm{Hilb}^{d}(A)^G\) is a smooth projective holomorphic symplectic variety of \(K3\)-type. The principal modularity theorem states that
\[
Z_{A,G}^{-1}
\]
is a modular form of weight
\[
\frac{1}{2}e(A/G)
\]
for the congruence subgroup \(\Gamma_0(|G|)\), and \(Z_{A,G}\) is an explicit eta product [2011.14020].

For the standard involution
\[
\tau:A\to A,\qquad a\mapsto -a,
\]
the quotient stack \([A/\tau]\) is the orbifold Kummer surface, and
\[
Z_{A,\tau}(q)=\frac{\eta^{16}(q)}{\eta^8(q^2)}
=\prod_{n=1}^{\infty}(1-q^n)^{16}(1-q^{2n})^{8}.
\]
The refined \(\chi_y\)-series is
\[
Z_{A,G}^{\overline{\chi}}(q,y)
=
\sum_{d=0}^{\infty}\overline{\chi}_y(\mathrm{Hilb}^{d}(A)^{G})q^d,
\]
and for any nontrivial translation-free symplectic action,
\[
Z_{A,G}^{\overline{\chi}}(q,y)
=
-\bigl(y^{1/2}+y^{-1/2}\bigr)^2
\frac{Z_{A,G}(q)}{\phi_{-2,1}(q^{|G|},-y)}.
\]
This places the \(\chi_y\)-genera of orbifold Hilbert schemes inside the standard Jacobi-form package [2011.14020].

In the \(\tau\)-case, the orbifold Hilbert scheme controls curve counts on the orbifold Kummer surface. The orbifold KKV-type formula is
\[
\frac{1}{16} \sum_{d=0}^{\infty} \sum_{h=0}^{\infty} n_{d}^{\tau}(h)
\big(y^{1/2}+y^{-1/2}\big)^{2h} q^{d}
=
-\big(y^{1/2}+y^{-1/2}\big)^2 \frac{Z_{A,\tau}(q)}{\phi_{-2,1}(q^{2},-y)},
\]
and the genus-zero specialization gives
\[
\frac{1}{16} \sum_{d=0}^{\infty} n_{d}^{\tau}(0) q^{d}=Z_{A,\tau}(q).
\]
Moreover,
\[
n_{d}^{\tau}(0)=\sum_{g=1}^{d+1} h_d(g)\,2^{2g}.
\]
The coefficients of \(Z_{A,\tau}\) 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 [2011.14020].

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

For a complex surface \(M\), the symmetric product orbifold is
\[
\mathrm{Sym}^n(M)=M^n/S_n,
\]
and the Hilbert–Chow morphism
\[
\mathrm{Hilb}^n(M)\longrightarrow \mathrm{Sym}^n(M)
\]
is a crepant resolution. In the topological symmetric orbifold framework, the orbifold chiral ring is the Chen–Ruan orbifold cohomology, and one has
\[
H_{\mathrm{orb}}^*\big(\mathrm{Sym}^n(M)\big)\cong H^*\big(\mathrm{Hilb}^n(M)\big).
\]
The full orbifold chiral ring is realized as a symmetric orbifold Frobenius algebra \(A^{[n]}\), and a canonical quotient of this ring is isomorphic to the cohomology ring of \(\mathrm{Hilb}^n(\mathbb{C}^2)\). In that quotient, the structure constants are Hurwitz numbers, proving the extremal correlator conjecture described in the physics literature [2006.09346].

In a more specialized direction, the symmetric orbifold of the plane is studied through the bigraded Hilbert series of the invariant ring
\[
\mathbb{C}[\mathbf{x},\mathbf{y}]^{S_n}
\]
for
\[
(\mathbb{C}^2)^n/S_n.
\]
Writing
\[
Z_n(q,t;\mathbb{C}^2)=\frac{P_{m,\bar m}(q,t)}{\prod_{i=1}^{n}(1-q^i)(1-t^i)},
\]
the numerator \(P_{m,\bar m}(q,t)\) is palindromic. The main identification is
\[
Z_n(\mathcal{G}_1,\dots,\mathcal{G}_n)=
\begin{cases}
\mathcal{G}_1(q,t)\cdot K'_{(1)(1)}(q,t), & \text{if } n=1,\\[4pt]
\bigl(\prod_{k=1}^n\mathcal{G}_k(q,t)\bigr)\cdot K'_{(n,1^{\,n-1})(n,1^{\,n-1})}(q,t), & \text{if } n>1,
\end{cases}
\]
where \(K'_{\lambda\mu}(q,t)\) denotes the transpose of the \(q,t\)-Kostka matrix entry. Thus the numerator of the bigraded symmetric orbifold Hilbert series is the diagonal transposed \(q,t\)-Kostka coefficient for the hook partition \((n,1^{n-1})\) of \(2n-1\) [2412.03110].

The same paper exhibits a recurrence and a differential operator
\[
\hat{X}=\mathcal{G}_1+\sum_{n=1}^{\infty} n\,\mathcal{G}_{n+1}\frac{\partial}{\partial \mathcal{G}_n},
\qquad
\hat{X}\, Z_n=(n+1)\, Z_{n+1},
\]
so that the relevant \(q,t\)-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 [2412.03110].

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

A further generalization replaces quotient surfaces by noncommutative ruled surfaces over orbifold curves \([C/\Gamma]\). Starting from a sheaf bimodule \(\Xi\) on \(\mathscr C=[C/\Gamma]\), one forms a noncommutative \(\mathbb{P}^1\)-bundle
\[
P_{\mathscr C_S}(\Xi),
\]
whose derived category admits a semiorthogonal decomposition
\[
D^b_{\Coh}(P_{\mathscr C_S}(\Xi))
=
\langle \rho_1^*D^b_{\Coh}(\mathscr C_S),\rho_0^*D^b_{\Coh}(\mathscr C_S)\rangle.
\]
These categories are described as a common generalization of the category of modules of the preprojective algebra and of the category of twisted \(D\)-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 [2311.00355].

For
\[
R\in \{ A_{-1}, A_0, A_1, A_2, D_4, E_6, E_7, E_8\},
\]
the birational geometry of \(X_R^{[n]}\) is controlled by an elliptic root system
\[
R^{ell}=\{\beta+m\delta_1+n\delta_2\mid \beta\in R_{fin}\cup\{0\},\ m,n\in\mathbb Z\}.
\]
The conjectural picture is that moduli spaces of objects in these derived categories provide a deformation of birational models for the Hilbert scheme \(X_R^{[n]}\), and that walls in the relative Néron–Severi space correspond to a subset of roots in \(R^{ell}\). 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 [2311.00355].

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
\[
X_0=\mathbb{C}^3/G,\qquad G=\mathbb{Z}_r\subset SL(3,\mathbb{C}),
\]
the \(G\)-Hilbert scheme \(\mathrm{Hilb}^G(\mathbb{C}^3)\) parametrizes \(G\)-clusters and gives a crepant resolution
\[
\pi:X_{\mathrm{Hilb}}\to \mathbb{C}^3/G.
\]
For any toric crepant resolution \(X\to \mathbb{C}^3/G\), first-order deformations of the tangent sheaf are controlled by \(\mathrm{Ext}^1(T_X,T_X)\). 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 \(G\)-Hilbert scheme. Moreover, the minimal value equals the singlet count from the orbifold conformal field theory. This gives a deformation-theoretic characterization of \(G\)-Hilb among crepant resolutions of Calabi–Yau threefold orbifolds [1404.4291].

A different compactification result uses orbifold Hilbert schemes to compactify all two-dimensional Hitchin systems of types \(\tilde A_0,\tilde D_4,\tilde E_6,\tilde E_7,\tilde E_8\). For orbifold curves
\[
\mathcal X_2=[E_2/\mu_2],\quad
\mathcal X_3=[E_3/\mu_3],\quad
\mathcal X_4=[E_4/\mu_4],\quad
\mathcal X_6=[E_6/\mu_6],
\]
the compactified surfaces are
\[
\widetilde X_i:={}^{1}\bigl(\mathbb{P}(T^\vee \mathcal X_i\oplus \mathcal O_{\mathcal X_i})\bigr).
\]
These are smooth connected projective orbifold Hilbert schemes, and the Hilbert–Chow morphism
\[
h:{}^{1}(\mathcal X)\to X
\]
is used to construct the minimal resolution of the coarse moduli space. The resulting \(\widetilde X_i\) are rational elliptic surfaces with \(\mathbb C^*\)-actions, and their singular fibers and relative minimal models are listed explicitly. For \(D_4,E_6,E_7,E_8\), the 2-dimensional Hitchin systems are compactified by these orbifold Hilbert schemes [2509.14812].

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.

Source: https://www.emergentmind.com/topics/orbifold-hilbert-schemes