Iarrobino Scheme: Hilbert & Gorenstein Theory

• Iarrobino Scheme is a term encompassing punctual Hilbert schemes, fat-point loci, and self-dual moduli spaces in Gorenstein geometry.
• It provides a moduli-theoretic framework where self-dual filtrations on zero-dimensional subschemes extend classical Hilbert scheme concepts and capture maximal singularity phenomena.
• Its applications range from singularity analysis in three-dimensional schemes to generalizations in graded Gorenstein algebras and deformation theories of moduli spaces.

Searching arXiv for papers on the Iarrobino scheme and closely related Hilbert-scheme literature. The term Iarrobino scheme has acquired a layered meaning in the literature on Hilbert schemes, local Artinian algebras, and Gorenstein geometry. In classical usage, it denotes the punctual Hilbert scheme $\Hilb^l(\mathbb{A}^3)$ when $l$ is a tetrahedral number, especially in connection with the fat-point ideal $\mathfrak{m}^k=(x,y,z)^k$ and the Briançon–Iarrobino conjecture on maximal singularities (Mackenzie et al., 29 Aug 2025). In a recent and more precise moduli-theoretic sense, the Iarrobino scheme $\mathrm{Iar}_d(X)$ is a self-dual analogue of $\mathrm{Hilb}_d(X)$: a fine moduli space of oriented Gorenstein zero-dimensional subschemes of a quasi-projective scheme $X$, together with a self-dual filtration that is vacuous on a big open set and non-trivial on the compactification (Jelisiejew, 29 Aug 2025).

1. Terminology and historical range

The name is not uniform across the literature. It appears in at least three closely related settings: punctual Hilbert schemes of points, loci defined by powers of the maximal ideal, and moduli of Artinian Gorenstein algebras with fixed Hilbert function.

Usage	Description
Classical punctual usage	$\Hilb^l(\mathbb{A}^3)$, called the Iarrobino scheme when $l=\binom{k+2}{3}$ is tetrahedral
Fat-point usage	The locus corresponding to $\mathfrak{m}^k=(x_1,\dots,x_N)^k$ inside the Hilbert scheme
Self-dual usage	$\mathrm{Iar}_d(X)$, a self-dual analogue of $l$0

In the first sense, the object is the punctual Hilbert scheme parametrizing $l$1-dimensional subschemes of length $l$2 supported at a point in affine $l$3-space. Briançon and Iarrobino conjectured in 1978 that when $l$4, the locus of maximal singularity is the point corresponding to $l$5 (Mackenzie et al., 29 Aug 2025). In a related formulation, the “Iarrobino scheme” may refer to the fat-point locus cut out by powers of the maximal ideal, with tangent-space dimension taken as the measure of singularity (Rezaee, 2023).

A distinct but adjacent usage occurs in the theory of graded Gorenstein algebras, where the Stanley–Iarrobino property arises naturally in the study of Hilbert functions and in the structure of parameter spaces of Artinian Gorenstein algebras with fixed Hilbert function, described there as “Iarrobino schemes” (Migliore et al., 2016). This broader semantic field reflects the central role of Iarrobino’s work in both punctual Hilbert schemes and Gorenstein deformation theory.

2. Moduli-theoretic definition of $l$6

For a fixed quasi-projective scheme $l$7, the modern Iarrobino scheme $l$8 is introduced as a self-dual analogue of $l$9 (Jelisiejew, 29 Aug 2025). A $\mathfrak{m}^k=(x,y,z)^k$0-point of $\mathfrak{m}^k=(x,y,z)^k$1 corresponds bijectively to a pair $\mathfrak{m}^k=(x,y,z)^k$2 consisting of a filtration

$\mathfrak{m}^k=(x,y,z)^k$3

of zero-dimensional subschemes of $\mathfrak{m}^k=(x,y,z)^k$4, with $\mathfrak{m}^k=(x,y,z)^k$5, together with symmetric isomorphisms on the successive subquotients, defined up to scalar. This datum is called a broken quadric, and $\mathfrak{m}^k=(x,y,z)^k$6 is the self-dual filtration.

The unbroken locus is the open locus where the filtration consists only of $\mathfrak{m}^k=(x,y,z)^k$7 and $\mathfrak{m}^k=(x,y,z)^k$8 is an isomorphism

$\mathfrak{m}^k=(x,y,z)^k$9

Equivalently, $\mathrm{Iar}_d(X)$0 is Gorenstein and the orientation is a trivialisation of the dualizing sheaf. In this way, $\mathrm{Iar}_d(X)$1 compactifies the moduli of oriented Gorenstein subschemes by retaining residual self-dual data on the boundary (Jelisiejew, 29 Aug 2025).

There is a natural projective morphism

$\mathrm{Iar}_d(X)$2

that forgets the self-dual filtration and remembers only the underlying degree-$\mathrm{Iar}_d(X)$3 subscheme $\mathrm{Iar}_d(X)$4. The comparison with the ordinary Hilbert scheme is therefore intrinsic to the definition: $\mathrm{Iar}_d(X)$5 parametrizes finite subschemes, whereas $\mathrm{Iar}_d(X)$6 parametrizes filtered, oriented self-dual structures above them.

A structural motivation comes from Iarrobino’s symmetric decomposition of the Hilbert function for Gorenstein local Artinian algebras. In that setting,

$\mathrm{Iar}_d(X)$7

and the relevant subquotients $\mathrm{Iar}_d(X)$8 are self-dual. The recent construction geometrizes these self-dual layers: under torus limits, the graded pieces appearing in $\mathrm{Iar}_d(X)$9 recover Iarrobino’s symmetric decomposition (Jelisiejew, 29 Aug 2025).

3. Completed quadrics, commuting symmetric matrices, and self-dual Quot theory

A crucial role in the construction is played by the variety of completed quadrics. For a vector bundle $\mathrm{Hilb}_d(X)$0, it is described by

$\mathrm{Hilb}_d(X)$1

This variety is smooth projective, has a rich cell decomposition, and is a wonderful compactification in the sense cited in the source paper (Jelisiejew, 29 Aug 2025).

The link with the Hilbert scheme is mediated by the standard relation between Hilbert schemes of points and varieties of commuting matrices. For $\mathrm{Hilb}_d(X)$2, the ordinary Hilbert scheme admits an ADHM-type description as a quotient of tuples of commuting matrices together with a generating vector. The Iarrobino scheme replaces general matrices by symmetric matrices and the relevant quotient by the orthogonal group (Jelisiejew, 29 Aug 2025). This recasts self-dual finite schemes as moduli of commuting symmetric matrix data.

The same formalism extends beyond Hilbert schemes. Self-dual analogues are constructed for the Quot scheme of points, for the stack of coherent sheaves, and for the stack of finite algebras: $\mathrm{Hilb}_d(X)$3 These parameter spaces encode filtered modules equipped with compatible self-dual structures. The completed quadrics viewpoint controls the boundary behavior of these self-dual moduli spaces (Jelisiejew, 29 Aug 2025).

The contrast with ordinary Quot theory is sharp. The source explicitly notes that while

$\mathrm{Hilb}_d(X)$4

is a point, the self-dual Quot scheme is $\mathrm{Hilb}_d(X)$5. This shows that the self-dual enhancement is not a cosmetic reformulation of the Hilbert or Quot functor; it adds genuinely new compactification data.

4. Geometric properties and curve case

For smooth connected curves, the self-dual theory admits a particularly clean geometry. If $\mathrm{Hilb}_d(X)$6 is a smooth connected curve and $\mathrm{Hilb}_d(X)$7 a locally free sheaf, then

$\mathrm{Hilb}_d(X)$8

and

$\mathrm{Hilb}_d(X)$9

(Jelisiejew, 29 Aug 2025).

The forgetful morphism

$X$0

is flat and projective with integral fibers of dimension $X$1, and those fibers are reduced complete intersections. Over a point $X$2, the fiber is a variety of completed quadrics, described in the source as permutohedral toric varieties and their degenerations (Jelisiejew, 29 Aug 2025). The geometry of $X$3 is therefore richer than that of $X$4, even though the latter is already smooth for curves.

In higher dimensions, the situation changes. For $X$5 a higher-dimensional variety such as $X$6, $X$7 is typically singular (Jelisiejew, 29 Aug 2025). The construction nevertheless remains useful: the source states applications to deformation theory of usual Hilbert schemes of points on threefolds and to enumerative geometry. It also states that the Iarrobino scheme can be used to compute intersection, or characteristic, numbers generalizing results from matroid theory associated with June Huh to algebraic contexts via completed quadrics (Jelisiejew, 29 Aug 2025).

A plausible implication is that the curve case should be viewed not as an isolated smooth phenomenon but as the cleanest test case for a compactification whose higher-dimensional behavior is designed to retain self-dual boundary data rather than to eliminate singularities.

5. Classical punctual Iarrobino schemes and maximal singularity

In its classical meaning, the Iarrobino scheme is the punctual Hilbert scheme

$X$8

when $X$9 is a tetrahedral number (Mackenzie et al., 29 Aug 2025). The scheme parametrizes length-$\Hilb^l(\mathbb{A}^3)$0, $\Hilb^l(\mathbb{A}^3)$1-dimensional subschemes supported at a point, usually the origin, and is highly singular for ambient dimension at least $\Hilb^l(\mathbb{A}^3)$2.

For an ideal $\Hilb^l(\mathbb{A}^3)$3, the tangent-space dimension at $\Hilb^l(\mathbb{A}^3)$4 is

$\Hilb^l(\mathbb{A}^3)$5

A point is maximally singular if $\Hilb^l(\mathbb{A}^3)$6 for all $\Hilb^l(\mathbb{A}^3)$7. Briançon and Iarrobino conjectured that for $\Hilb^l(\mathbb{A}^3)$8, the maximally singular point is the monomial Borel-fixed ideal

$\Hilb^l(\mathbb{A}^3)$9

The 2025 paper “A proof of the Briançon-Iarrobino Conjecture in three dimensions” resolves this conjecture by refining the work of Ramkumar and Sammartano (Mackenzie et al., 29 Aug 2025).

The proof proceeds by decomposing a monomial Borel-fixed ideal as

$l=\binom{k+2}{3}$0

with each $l=\binom{k+2}{3}$1 an ideal in $l=\binom{k+2}{3}$2. This reduction allows tangent-space calculations to be stratified in the $l=\binom{k+2}{3}$3-direction and tied to two-dimensional Hilbert-scheme computations. The combinatorial analysis uses ghost vectors and zero vectors to control the additional tangent directions arising in this decomposition. A central function is

$l=\binom{k+2}{3}$4

where $l=\binom{k+2}{3}$5 is the smallest pure exponent of $l=\binom{k+2}{3}$6 (Mackenzie et al., 29 Aug 2025).

For a Borel-fixed monomial ideal of colength

$l=\binom{k+2}{3}$7

the authors prove the upper bound

$l=\binom{k+2}{3}$8

For fixed $l=\binom{k+2}{3}$9, $\mathfrak{m}^k=(x_1,\dots,x_N)^k$0 is strictly increasing in $\mathfrak{m}^k=(x_1,\dots,x_N)^k$1. Hence, for tetrahedral colength $\mathfrak{m}^k=(x_1,\dots,x_N)^k$2, the maximal tangent space occurs at $\mathfrak{m}^k=(x_1,\dots,x_N)^k$3, namely for $\mathfrak{m}^k=(x_1,\dots,x_N)^k$4. In that case,

$\mathfrak{m}^k=(x_1,\dots,x_N)^k$5

which matches the classical formula for $\mathfrak{m}^k=(x_1,\dots,x_N)^k$6 (Mackenzie et al., 29 Aug 2025).

The source further states that the maximal singular locus is isolated at $\mathfrak{m}^k=(x_1,\dots,x_N)^k$7, occurring uniquely among Borel-fixed ideals, and that the proof avoids geometric deformation theory in favor of explicit combinatorial calculations. This result also yields the conjectural necessary condition proposed by Rezaee for tetrahedral lengths: maximal singularity implies that the smallest pure exponent is $\mathfrak{m}^k=(x_1,\dots,x_N)^k$8 (Mackenzie et al., 29 Aug 2025).

6. Variants, conjectures, and adjacent problems

Several recent works enlarge the classical singularity problem beyond tetrahedral lengths. Rezaee formulates conjectural necessary and sufficient conditions for maximal tangent-space dimension on Hilbert schemes of points, with a sufficient condition in dimension $\mathfrak{m}^k=(x_1,\dots,x_N)^k$9 that reduces the problem to convex geometry (Rezaee, 2023). For a monomial ideal $\mathrm{Iar}_d(X)$0, the convex hull of the exponents of its minimal generators is studied via its lower and upper boundaries, visible respectively from the origin and from $\mathrm{Iar}_d(X)$1. In this framework, the power $\mathrm{Iar}_d(X)$2 corresponds to the simplex with vertices $\mathrm{Iar}_d(X)$3, $\mathrm{Iar}_d(X)$4, and $\mathrm{Iar}_d(X)$5, and the tangent-space dimension is again measured by $\mathrm{Iar}_d(X)$6 (Rezaee, 2023).

A further conjectural generalization introduces the notion of locally-maximal singularity, also called an $\mathrm{Iar}_d(X)$7-maximal singularity, for Borel-fixed ideals of fixed colength and fixed smallest pure exponent $\mathrm{Iar}_d(X)$8 (Ascott et al., 21 Jun 2025). In that setting,

$\mathrm{Iar}_d(X)$9

and the conjecture states that $l$00 is increasing in $l$01. The same paper predicts explicit shapes for the locally maximal Borel-fixed ideals and gives piecewise formulas for $l$02, recovering $l$03 as the globally most singular case when $l$04 (Ascott et al., 21 Jun 2025).

Older partial results already revealed the subtlety of the singularity problem. Ramkumar and Sammartano decomposed the tangent space at monomial points of $l$05 into six distinguished subspaces, proved the first Briançon–Iarrobino conjecture up to a factor of $l$06, improved asymptotic bounds on $l$07, and constructed infinitely many counterexamples to the second Briançon–Iarrobino conjecture asserting lexsegment maximality for arbitrary $l$08 (Ramkumar et al., 2019). Thus the power $l$09 appears extremal in the tetrahedral case, whereas lexsegment points are not universally extremal for tangent-space dimension.

The name Iarrobino also remains attached to broader questions about the geometry of Hilbert schemes of points. One open problem posed by Iarrobino in the 1980s asked whether there exists an elementary component of $l$10 with dimension less than $l$11. This was answered by constructing an infinite class of such components in $l$12, given by ideals

$l$13

with

$l$14

and explicit component dimension

$l$15

where $l$16 and $l$17 (Satriano et al., 2021). Earlier, Huibregtse generalized the explicit Iarrobino–Emsalem constructions of elementary components by introducing distinguished ideals built from leading and trailing monomials and analyzing their tangent spaces via border basis methods (Huibregtse, 2014).

Taken together, these developments show that the phrase Iarrobino scheme names not a single rigid object but a family of interlocking constructions: classical punctual Hilbert schemes at tetrahedral length, fat-point loci associated with powers of maximal ideals, parameter spaces arising in Gorenstein Hilbert-function theory, and, most recently, the self-dual moduli space $l$18. The 2025 self-dual construction gives the term its most intrinsic modern meaning, while the older usage remains indispensable in the study of singularities of Hilbert schemes of points.