Nested Hilbert Schemes

• Nested Hilbert schemes are moduli spaces that parametrize chains of finite subschemes on a variety with prescribed lengths.
• They generalize ordinary Hilbert schemes by replacing a single 0-dimensional subscheme with a nested flag, leading to rich birational and deformation properties.
• Their study impacts smooth surface geometry, singularity classification, virtual intersection theory, and categorical representation frameworks.

Nested Hilbert schemes are moduli spaces of flags of finite subschemes with prescribed lengths. For a quasi-projective scheme $X$, they generalize the ordinary Hilbert scheme of points by replacing a single zero-dimensional subscheme with a chain $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$. On smooth surfaces, the simplest case of lengths differing by $1$ is smooth and admits explicit blow-up descriptions, while larger gaps and longer flags typically introduce singularities, nontrivial birational geometry, and, in some regimes, reducibility. The subject now sits at the intersection of deformation theory, singularity theory, representation theory, virtual intersection theory, and moduli-theoretic constructions on surfaces, curves, and affine spaces (Belmans et al., 2019, Ramkumar et al., 2021, Gholampour et al., 2017).

1. Definitions and foundational constructions

For a non-decreasing sequence of positive integers $\underline d=(d_1\le \cdots \le d_r)$, the nested Hilbert functor assigns to a test scheme $B$ the set of chains of $B$-flat finite closed subschemes

$$Z^{(1)}\subset Z^{(2)}\subset \cdots \subset Z^{(r)}\subset X\times B$$

with relative lengths $d_i$. This functor is representable by a finite-type scheme $\Hilb^{\underline d}X$; for $r=1$ one recovers Grothendieck’s Hilbert scheme of points (Graffeo et al., 23 Jan 2026). On a smooth surface $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$0, a standard two-step notation is

$Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$1

the moduli space of pairs $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$2 of zero-dimensional closed subschemes of degrees $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$3. Equivalently, one works with chains of ideals $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$4 of colengths $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$5 (Ramkumar et al., 2021).

Several specializations recur throughout the literature. The length-one incidence space

$Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$6

carries natural projections to $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$7, $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$8, and $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$9, together with a tautological line bundle whose fiber is the one-dimensional quotient $1$0. Higher nested spaces include triples such as

$1$1

and quadruple spaces built from diagrams $1$2 with an additional intermediate ideal $1$3, all successive colength $1$4 (Zhao, 2020). For families of curves $1$5, one similarly has relative nested Hilbert schemes $1$6 whose fibers are $1$7 (Felisetti, 2018). Over a smooth curve and a Young diagram $1$8, Monavari’s double-nested variant $1$9 parametrizes arrays of subschemes $\underline d=(d_1\le \cdots \le d_r)$0 ordered by the partial order on $\underline d=(d_1\le \cdots \le d_r)$1 (Monavari, 2021).

Natural morphisms organize these moduli. They include forgetful maps dropping one step of the flag, residual-point maps such as $\underline d=(d_1\le \cdots \le d_r)$2 and $\underline d=(d_1\le \cdots \le d_r)$3, and incidence embeddings into products of ordinary Hilbert schemes. These morphisms often control both the local structure and the global birational geometry of the nested space (Belmans et al., 2019, Choi, 19 Jan 2025).

2. Smooth incidence geometry and local deformation theory

For a smooth surface $\underline d=(d_1\le \cdots \le d_r)$4, the ordinary Hilbert scheme $\underline d=(d_1\le \cdots \le d_r)$5 is smooth of dimension $\underline d=(d_1\le \cdots \le d_r)$6. The first nontrivial nested case retains this smoothness: $\underline d=(d_1\le \cdots \le d_r)$7 is smooth, projective, irreducible, and of dimension $\underline d=(d_1\le \cdots \le d_r)$8, while the equivalent notation $\underline d=(d_1\le \cdots \le d_r)$9 gives a smooth variety of dimension $B$0 (Belmans et al., 2019, Zhao, 2020). This case is exceptional among nested Hilbert schemes and serves as the basic incidence correspondence from which many later constructions are built.

Its geometry is particularly explicit. The morphism

$B$1

is the blow-up of the universal subscheme $B$2, and the map

$B$3

is the blow-up of $B$4 along $B$5 (Belmans et al., 2019, Ryan et al., 2017). In Zhao’s three-step geometry, the triple space $B$6 is smooth of dimension $B$7 and is realized as the projectivization over $B$8 of a two-term complex whose cokernel is one of the tautological line bundles. The related quadruple space $B$9 is smooth of dimension $B$0 and maps birationally to two auxiliary triple spaces $B$1 and $B$2, with exceptional divisor given by a diagonal copy of $B$3 (Zhao, 2020).

On $B$4, deformation theory has an explicit linear-algebraic form. For $B$5, the tangent space at an ordinary point $B$6 is

$B$7

and for a nested pair $B$8 one has

$B$9

The torus-fixed points are indexed by a partition $$Z^{(1)}\subset Z^{(2)}\subset \cdots \subset Z^{(r)}\subset X\times B$$0 together with a removable corner $$Z^{(1)}\subset Z^{(2)}\subset \cdots \subset Z^{(r)}\subset X\times B$$1, and the fixed points in the fiber of the blow-up map over $$Z^{(1)}\subset Z^{(2)}\subset \cdots \subset Z^{(r)}\subset X\times B$$2 correspond to addable boxes of the smaller Young diagram. The tangent character is obtained from the usual arm-leg formula by a “shortening rule” along the distinguished row and column through $$Z^{(1)}\subset Z^{(2)}\subset \cdots \subset Z^{(r)}\subset X\times B$$3 (Zhao, 6 Jun 2026).

3. Singularities, irreducibility, and reducibility

Outside the length-one case, singular behavior is typical. For smooth connected surfaces in characteristic $$Z^{(1)}\subset Z^{(2)}\subset \cdots \subset Z^{(r)}\subset X\times B$$4, the two-step nested schemes are “almost always singular” except for the trivial cases $$Z^{(1)}\subset Z^{(2)}\subset \cdots \subset Z^{(r)}\subset X\times B$$5 or $$Z^{(1)}\subset Z^{(2)}\subset \cdots \subset Z^{(r)}\subset X\times B$$6 (Ramkumar et al., 2021). Recent work has therefore focused on determining when these singularities are rational, canonical, Gorenstein, klt, or worse, and on identifying the threshold at which reducibility appears.

Family	Geometric property	Source
$$Z^{(1)}\subset Z^{(2)}\subset \cdots \subset Z^{(r)}\subset X\times B$$7, $$Z^{(1)}\subset Z^{(2)}\subset \cdots \subset Z^{(r)}\subset X\times B$$8	$$Z^{(1)}\subset Z^{(2)}\subset \cdots \subset Z^{(r)}\subset X\times B$$9 is normal, irreducible, and Cohen–Macaulay, and has rational singularities; $d_i$0 is irreducible of dimension $d_i$1, nonsingular in codimension $d_i$2, normal, Cohen–Macaulay, and has rational singularities	(Ramkumar et al., 2021)
$d_i$3, $d_i$4, $d_i$5	$d_i$6 has canonical Gorenstein singularities; $d_i$7 has canonical Gorenstein singularities; $d_i$8 has rational singularities	(Choi, 19 Jan 2025)
$d_i$9	irreducible of dimension $\Hilb^{\underline d}X$0, local complete intersection, and klt	(Ryan et al., 2021)

Zhao’s auxiliary spaces sharpen this singularity picture. The “minus” triple space $\Hilb^{\underline d}X$1 is an irreducible locally complete intersection of dimension $\Hilb^{\underline d}X$2 with canonical singularities and hence rational singularities. The “plus” triple space $\Hilb^{\underline d}X$3 has two irreducible components meeting along a divisor, and the pair $\Hilb^{\underline d}X$4 is semi-divisorial log terminal. These singularity classes are established by discrepancy computations and minimal-model-program techniques, and they are precisely the singularity conditions needed for the categorical pushforward statements used later in representation-theoretic applications (Zhao, 2020).

Irreducibility results extend far beyond the consecutive triple $\Hilb^{\underline d}X$5. Gangopadhyay, Rasul, and Sebastian prove that the schemes

$\Hilb^{\underline d}X$6

are irreducible, with dimensions $\Hilb^{\underline d}X$7 or $\Hilb^{\underline d}X$8 as appropriate (Gangopadhyay et al., 2022). Ryan and Taylor further deduce irreducibility of $\Hilb^{\underline d}X$9, $r=1$0, $r=1$1, and $r=1$2 from the geometry of $r=1$3 (Ryan et al., 2021).

Reducibility nevertheless occurs in several important regimes. For punctual nested Hilbert schemes on $r=1$4, Bulois and Evain show that $r=1$5 is irreducible if and only if $r=1$6, and the full nested punctual scheme $r=1$7 is irreducible if and only if $r=1$8 or $r=1$9. In particular, $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$00 has exactly $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$01 irreducible components, each of dimension $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$02 (Bulois et al., 2013). Ryan and Taylor construct the first explicit reducible nested Hilbert scheme for flags of length $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$03 (Ryan et al., 2021). In higher ambient dimension, Graffeo and Lella produce non-smoothable elementary components on smooth $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$04-folds for $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$05, and a “sandwiching” construction yielding generically non-reduced elementary components (Graffeo et al., 23 Jan 2026). A plausible implication is that irreducibility for surface nestings with small step gaps is exceptional rather than generic.

4. Relative, punctual, and curve-theoretic variants

For integral locally planar curves, nested Hilbert schemes behave differently from the surface case. Each fiber $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$06 is reduced and equidimensional of the expected dimension $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$07, and when $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$08 is planar it is a local complete intersection inside the ambient nested Hilbert scheme of $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$09. In a locally versal family $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$10, one can shrink the base so that the entire relative nested Hilbert scheme $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$11 is smooth. Under that smoothness hypothesis, the Beilinson–Bernstein–Deligne decomposition theorem applies to $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$12, and Felisetti proves a support theorem: no perverse summand in the decomposition of $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$13 is supported in positive codimension (Felisetti, 2018).

Monavari’s double-nested Hilbert scheme on a smooth quasi-projective curve $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$14 replaces a single chain by a Young-diagram-indexed collection $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$15 satisfying $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$16 whenever $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$17. The corresponding moduli space $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$18 is projective, and its dimension is

$Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$19

Its topological Euler characteristics satisfy the hook-length product formula

$Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$20

Moreover, $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$21 is realized as the zero locus of a section of a vector bundle $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$22 on a smooth ambient space $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$23, which furnishes a perfect obstruction theory and virtual class

$Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$24

These constructions feed directly into the local stable-pairs theory of curves (Monavari, 2021).

Punctual nested Hilbert schemes encode finer local structure. For a smooth pointed surface $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$25, the punctual variety

$Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$26

admits a Hilbert–Samuel stratification, and this stratification supports explicit motivic calculations. In particular,

$Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$27

and the corresponding Euler-characteristic generating series are

$Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$28

where

$Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$29

The number of irreducible components of maximal dimension satisfies

$Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$30

for all $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$31 (Fasola et al., 18 Mar 2025).

5. Categorical, quiver, and birational frameworks

Nested Hilbert schemes enter categorical representation theory through geometric correspondences. Zhao’s construction of a categorical quantum toroidal action on Hilbert schemes uses the spaces $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$32, $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$33, $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$34, and $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$35 to categorify the commutation of Nakajima’s Heisenberg operators and their quantum toroidal counterparts. The key geometric input is that the singularities of the relevant triple spaces are canonical or semi-dlt, so that pushforwards of structure sheaves behave as required for comparing correspondences on the smooth resolution $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$36 (Zhao, 2020).

Derived-category structures also reflect the incidence geometry. For a smooth projective surface $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$37, Scala proves a semiorthogonal decomposition

$Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$38

The same work shows that the universal ideal-sheaf functor is fully faithful if and only if $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$39, and that the $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$40-functor phenomenon occurs only for K3 surfaces (Belmans et al., 2019).

Quiver and noncommutative models give alternative presentations of nested spaces. For

$Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$41

the length-$Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$42 nested Hilbert scheme is canonically isomorphic to a Nakajima-type quiver variety $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$43 for an enhanced Hirzebruch quiver with relations and stability parameter $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$44 (Bruzzo et al., 2024). In knot homology, Oblomkov and Rozansky define a noncommutative ambient space $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$45 and show that the cohomology sheaves of the associated $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$46-periodic complexes $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$47 are set-theoretically supported on the ordinary nested Hilbert scheme $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$48, the commutative locus inside the noncommutative model (Oblomkov et al., 2016).

Birational geometry on nested Hilbert schemes is likewise explicit. For a smooth projective surface $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$49, the space $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$50 is the blow-up of $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$51 along the universal subscheme $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$52. When $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$53,

$Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$54

and Ryan–Yang compute nef cones for $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$55, a Hirzebruch surface $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$56, and a very general K3 surface. On Hirzebruch surfaces, this calculation recovers Butler’s projective-normality theorem via the identification $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$57 and a Kawamata–Viehweg vanishing argument (Ryan et al., 2017).

6. Virtual geometry, localization, and asymptotic invariants

A central modern viewpoint treats nested Hilbert schemes as degeneracy loci. Gholampour–Thomas realize the two-step surface nesting $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$58 as the deepest degeneracy locus of a two-term complex

$Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$59

on $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$60. This gives a canonical perfect obstruction theory and a virtual class computable by Thom–Porteous. In the broader points-and-curves setting,

$Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$61

is identified with a virtual resolution $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$62 of a first degeneracy locus, and its virtual cycle is pushed forward by a Chern-class formula. These constructions are then modified to recover the virtual cycles used in Vafa–Witten, Seiberg–Witten, local PT, and local DT theories (Gholampour et al., 2017, Gholampour et al., 2019).

In equivariant $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$63-theory on $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$64, Minddal introduces a nested noncommutative Hilbert scheme $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$65 and realizes the classical nested Hilbert scheme $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$66 as the commutativity locus cut out by sections of equivariant bundles. The resulting perfect obstruction theory agrees with that of Gholampour–Sheshmani–Yau. For the forgetful morphism to $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$67, the virtual structure sheaf satisfies a factorization with twist

$Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$68

and the multivariate generating series becomes

$Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$69

A key combinatorial step is the independence of a localization correction factor from the underlying Young diagram $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$70 (Minddal, 29 Jun 2026).

A different ambient-space formalism works in arbitrary dimension. In the non-associative model $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$71, one replaces the commutative associative algebra structure by a commutative non-associative one on a flag of vector bundles. The ambient space is smooth, the classical nested Hilbert scheme $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$72 is the zero locus of the associator section

$Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$73

of an associativity bundle $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$74, and the induced virtual class is computed by equivariant localization as a sum over admissible nested partitions. On the punctual locus, all virtual integrals are governed by a multivariable iterated residue formula (Bérczi et al., 12 Dec 2025).

Nested Hilbert schemes also carry asymptotic convex geometry. On $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$75, global sections of

$Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$76

are identified with the $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$77-component of $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$78, where $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$79 and $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$80 are Haiman-type diagonal ideals. A lexicographic trailing-term analysis yields explicit inequalities on exponent vectors, and the resulting Newton–Okounkov body is

$Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$81

with $Z_{d_1}\subset \cdots \subset Z_{d_r}\subset X$82 a rational-polyhedral region defined by those inequalities (Cavey et al., 8 Oct 2025). This suggests that, even for smooth length-one nests, the asymptotic linear series already remembers the full combinatorics of the extra point and its interaction with diagonal vanishing conditions.