Fixed-Generators Hilbert Schemes

• Fixed-generators Hilbert schemes are loci in Hilbert schemes where ideals are constrained to have a prescribed minimal number of generators, providing a refined stratification of singularity types.
• The theory utilizes semigroup combinatorics, independent valuation tuples, and syzygy rank conditions to uniquely characterize ideals and derive positive topological invariants.
• These insights have practical implications in understanding curve singularities, motivic Igusa zeta functions, and Brill–Noether loci on smooth surfaces.

Searching arXiv for the primary paper and closely related work on fixed-generator loci in Hilbert schemes. arXiv search: "Motivic classes of fixed-generators Hilbert schemes of unibranch curve singularities and Igusa zeta functions" Fixed-generators Hilbert schemes are loci inside Hilbert schemes in which the defining ideals are constrained to have a prescribed minimal number of generators. In the most developed form of the subject, this means the closed subschemes

$$Hilb_{0,k}^n(C)= \{ I \in Hilb^n_0(C) \, | \, \dim_\mathbb{K} I/m_0I = k \},$$

for an irreducible plane curve singularity $(C,0)$, where $Hilb^n_0(C)$ is the punctual Hilbert scheme of colength-$n$ ideals in the completed local ring $\widehat{\mathcal O}_{C,0}$, and $k$ is the exact number of minimal generators by Nakayama’s lemma. Recent work has made these loci accessible through semigroup combinatorics, syzygies, motivic classes, and, in the one-generator case, motivic integration and Igusa zeta functions (Rossinelli, 23 Jul 2025). Related developments treat exact-generator loci on punctual Hilbert schemes of singular curves, Brill–Noether loci on Hilbert schemes of points on smooth surfaces, and monogenic-generator fibers of Hilbert-type moduli spaces (Hajli et al., 8 Sep 2025).

1. Definition and local algebraic framework

Let $(C,0)$ be an irreducible plane curve singularity over an algebraically closed field $\mathbb K$ of characteristic $0$, with completed local ring

$$\widehat{\mathcal O}_{C,0}\cong \mathbb K[[x,y]]/(f)\cong \mathbb K[[p_C,q_C]]\subseteq \mathbb K[[t]].$$

Its semigroup is

$(C,0)$0

with hole set

$(C,0)$1

and $(C,0)$2. For a semigroup ideal $(C,0)$3, the conductor is

$(C,0)$4

The punctual Hilbert scheme at the singular point is

$(C,0)$5

and the fixed-generators locus is the closed subscheme

$(C,0)$6

For $(C,0)$7, this is the principal Hilbert scheme, or one-generator locus (Rossinelli, 23 Jul 2025).

The key local invariant is the valuation set $(C,0)$8, which is a semigroup ideal. If $(C,0)$9 is a minimal generating set, one writes $Hilb^n_0(C)$0. Since different minimal generating sets can have different leading valuations because of cancellation, the relevant notion is not an arbitrary valuation tuple but an independent one. For

$Hilb^n_0(C)$1

the values $Hilb^n_0(C)$2 are independent if

$Hilb^n_0(C)$3

for all $Hilb^n_0(C)$4. The foundational theorem states that every $Hilb^n_0(C)$5 admits a minimal generating set whose valuations form an independent $Hilb^n_0(C)$6-tuple, and that this independent tuple is unique (Rossinelli, 23 Jul 2025).

This uniqueness turns the number-of-generators condition into a rigid combinatorial datum. It also isolates the fixed-generators Hilbert scheme as a refinement of the punctual Hilbert scheme by exact generator number, rather than merely by colength.

2. Stratification by valuations, semigroup ideals, and syzygies

The uniqueness of the independent valuation tuple yields a first decomposition. For an independent tuple $Hilb^n_0(C)$7,

$Hilb^n_0(C)$8

and

$Hilb^n_0(C)$9

However, the tuple $n$0 does not determine the valuation semigroup $n$1 in general, since one only has

$n$2

possibly strictly. One therefore refines further to

$n$3

with

$n$4

The one-generator case is completely explicit. If $n$5 is principal with valuation $n$6, then

$n$7

so

$n$8

is isomorphic to affine space of dimension $n$9. This makes the one-generator locus a building block for higher-generator loci (Rossinelli, 23 Jul 2025).

A second structural statement relates $\widehat{\mathcal O}_{C,0}$0-generator strata to products of principal loci. For an independent tuple $\widehat{\mathcal O}_{C,0}$1, define

$\widehat{\mathcal O}_{C,0}$2

Over a fixed valuation-semigroup stratum $\widehat{\mathcal O}_{C,0}$3, this is a trivial affine fibration: $\widehat{\mathcal O}_{C,0}$4 where

$\widehat{\mathcal O}_{C,0}$5

Consequently,

$\widehat{\mathcal O}_{C,0}$6

The remaining input is the Oblomkov–Rasmussen–Shende/Piontkowski description of ideals with fixed valuation semigroup via generator and syzygy spaces. For a semigroup ideal $\widehat{\mathcal O}_{C,0}$7, with syzygy parameter space $\widehat{\mathcal O}_{C,0}$8, one stratifies by rank: $\widehat{\mathcal O}_{C,0}$9 The fixed-generators geometry is then encoded by affine parameter counts for generators, overlap corrections coming from $k$0-normal forms, and determinantal rank strata coming from syzygies (Rossinelli, 23 Jul 2025).

3. Motivic classes and the $k$1-curve simplification

The motivic classes live in the Grothendieck ring $k$2, with $k$3. For arbitrary unibranch plane branches, the main formula expresses the class of the fixed-$k$4-generator Hilbert scheme as

$k$5

Here $k$6 runs over semigroup ideals, $k$7 are generators of $k$8 as semigroup ideal, $k$9 is the number of syzygies in a free resolution of the monomial ideal $(C,0)$0, and $(C,0)$1 is the rank-$(C,0)$2 stratum. The formula refines the ORS framework by organizing it according to the exact number of minimal generators (Rossinelli, 23 Jul 2025).

For $(C,0)$3-curves,

$(C,0)$4

the situation becomes more rigid. If $(C,0)$5, then

$(C,0)$6

There are no hidden valuation generators arising from nontrivial cancellations, so the semigroup ideal is determined purely by the independent tuple $(C,0)$7. Writing $(C,0)$8 for the set of independent tuples of colength $(C,0)$9, one obtains the explicit formula

$\mathbb K$0

Since each principal locus has class

$\mathbb K$1

the whole class is a finite sum of monomials in $\mathbb K$2. Two consequences are emphasized: positivity, meaning $\mathbb K$3 is a polynomial in $\mathbb K$4 with positive coefficients, and topological invariance, meaning that for $\mathbb K$5-curves this polynomial depends only on $\mathbb K$6, hence only on the topological type (Rossinelli, 23 Jul 2025).

The non-toric case remains subtler. For

$\mathbb K$7

with

$\mathbb K$8

the colength-$\mathbb K$9 fixed-generator pieces are

$0$0

This shows both the effectiveness of the independent-tuple stratification and the necessity, outside the $0$1-case, of excluding semigroup-ideal data that do not arise from actual ideals.

4. The one-generator locus, arc spaces, and motivic Igusa theory

A distinct but connected part of the theory concerns a special open component of the principal Hilbert scheme. Let

$0$2

be the $0$3-th contact locus of the curve. The paper constructs a morphism

$0$4

sending a truncated arc to the scheme-theoretic intersection of its image with $0$5. Its image is the “unibranch” open component

$0$6

consisting of principal ideals that admit an irreducible representative upstairs in $0$7. This need not equal all of $0$8 for small $0$9; for the cusp, $$\widehat{\mathcal O}_{C,0}\cong \mathbb K[[x,y]]/(f)\cong \mathbb K[[p_C,q_C]]\subseteq \mathbb K[[t]].$$0 while $$\widehat{\mathcal O}_{C,0}\cong \mathbb K[[x,y]]/(f)\cong \mathbb K[[p_C,q_C]]\subseteq \mathbb K[[t]].$$1 (Rossinelli, 23 Jul 2025).

Passing to the quotient by smooth reparametrizations gives a branch-space morphism whose fibers are powers of $$\widehat{\mathcal O}_{C,0}\cong \mathbb K[[x,y]]/(f)\cong \mathbb K[[p_C,q_C]]\subseteq \mathbb K[[t]].$$2 times a truncation correction $$\widehat{\mathcal O}_{C,0}\cong \mathbb K[[x,y]]/(f)\cong \mathbb K[[p_C,q_C]]\subseteq \mathbb K[[t]].$$3. The resulting formula is

$$\widehat{\mathcal O}_{C,0}\cong \mathbb K[[x,y]]/(f)\cong \mathbb K[[p_C,q_C]]\subseteq \mathbb K[[t]].$$4

This identifies the motivic class of the open one-generator component directly with pieces of the contact locus.

The motivic Igusa zeta function

$$\widehat{\mathcal O}_{C,0}\cong \mathbb K[[x,y]]/(f)\cong \mathbb K[[p_C,q_C]]\subseteq \mathbb K[[t]].$$5

can then be rewritten in terms of these branch/Hilbert-scheme images: $$\widehat{\mathcal O}_{C,0}\cong \mathbb K[[x,y]]/(f)\cong \mathbb K[[p_C,q_C]]\subseteq \mathbb K[[t]].$$6 The coefficients of the motivic zeta function are thus encoded by open principal Hilbert strata.

The embedded-resolution formula of Denef–Loeser converts this into a resolution-theoretic description. If $$\widehat{\mathcal O}_{C,0}\cong \mathbb K[[x,y]]/(f)\cong \mathbb K[[p_C,q_C]]\subseteq \mathbb K[[t]].$$7 is an embedded resolution with exceptional divisors $$\widehat{\mathcal O}_{C,0}\cong \mathbb K[[x,y]]/(f)\cong \mathbb K[[p_C,q_C]]\subseteq \mathbb K[[t]].$$8, multiplicities $$\widehat{\mathcal O}_{C,0}\cong \mathbb K[[x,y]]/(f)\cong \mathbb K[[p_C,q_C]]\subseteq \mathbb K[[t]].$$9, discrepancies $(C,0)$00, and strata $(C,0)$01, the class $(C,0)$02 can be written explicitly in terms of the $(C,0)$03, the $(C,0)$04, the $(C,0)$05, and the branch-space corrections $(C,0)$06. Since for plane curves each $(C,0)$07 is either a point or a $(C,0)$08 minus finitely many points, this proves polynomiality in $(C,0)$09 and topological invariance. The same analysis yields the nonemptiness threshold

$(C,0)$10

where $(C,0)$11, and motivates the conjecture that for $(C,0)$12,

$(C,0)$13

5. Other fixed-generator theories on curves and surfaces

On singular curve germs, a parallel theory uses semimodule trees and Hilbert–Samuel strata. For a unibranch singularity $(C,0)$14 with local ring $(C,0)$15, semigroup $(C,0)$16, and punctual Hilbert scheme

$(C,0)$17

one has the semigroup stratification

$(C,0)$18

The fixed-generator loci are

$(C,0)$19

together with the upper-bound loci $(C,0)$20. For plane branches $(C,0)$21, the basic pieces controlling $(C,0)$22 are

$(C,0)$23

and intersections of such pieces have the same torus-times-affine form. A key consequence is that if $(C,0)$24, then

$(C,0)$25

Only the locus with maximal possible generator number inside a semimodule stratum contributes to Euler characteristic. This gives a geometric explanation for the simplification used by Oblomkov–Shende in the $(C,0)$26 case and leads to a generator-refined motivic series

$(C,0)$27

The same paper also organizes semimodules into a canonical tree $(C,0)$28, whose edges induce affine fibrations between strata and encode changes in minimal generator sets (Hajli et al., 8 Sep 2025).

For the affine plane, the corresponding fixed-generator strata lie inside the punctual Hilbert scheme

$(C,0)$29

Writing

$(C,0)$30

one defines

$(C,0)$31

The refined incidence varieties

$(C,0)$32

have Grassmannian fibers $(C,0)$33 over the stratum $(C,0)$34, and this leads to generating functions for the $(C,0)$35-polynomials of the punctual fixed-generator strata. The extremal nonempty stratum satisfies

$(C,0)$36

so

$(C,0)$37

This exhibits the classical punctual plane stratification by exact generator number in a form parallel to the singular-curve case (Hsiao et al., 2018).

On smooth connected surfaces $(C,0)$38, the analogous global loci are Brill–Noether loci in

$(C,0)$39

For

$(C,0)$40

equivalently the locus where $(C,0)$41 needs at least $(C,0)$42 generators at $(C,0)$43, one has

$(C,0)$44

These loci are nonempty exactly when the expected dimension is at least $(C,0)$45, and when nonempty they are irreducible and Cohen–Macaulay. The local punctual model is governed by Hilbert–Samuel strata in $(C,0)$46, where the exact-generator locus is a matrix-rank condition and the extremal point is $(C,0)$47 of colength $(C,0)$48 (Bayer et al., 2023).

6. Scope, neighboring notions, and terminological boundaries

The phrase “fixed-generators Hilbert scheme” is used most naturally for loci defined by the minimal number of generators of the corresponding ideal. In this sense it belongs to the geometry of punctual Hilbert schemes, semigroup stratifications, Hilbert–Samuel strata, and Brill–Noether-type degeneracy loci. Several nearby constructions should be distinguished from it.

One distinct direction fixes not the number of generators of an ideal, but a finite algebra $(C,0)$49 and studies the moduli of generators $(C,0)$50. The resulting monogenic-generator scheme

$(C,0)$51

is the fiber of the Hilbert-scheme map to the moduli stack of finite locally free degree-$(C,0)$52 algebras. For $(C,0)$53, it is the open locus in a Weil restriction where the universal element generates; for $(C,0)$54, it recovers the ordered configuration space. This is a fixed-source Hilbert fiber rather than a fixed-number-of-generators locus inside a punctual Hilbert scheme (Arpin et al., 2021).

A second nearby body of work stratifies Hilbert schemes by fixed initial ideal or fixed generic initial ideal. Schubert-cell decompositions of Grothendieck–Plücker embeddings yield locally closed strata where

$(C,0)$55

with $(C,0)$56 Borel-fixed. These are fixed monomial-generator patterns, not fixed minimal-generator-number loci. Related analyses of Hilbert schemes with two Borel-fixed points show that the global geometry can be controlled by a very small number of distinguished monomial ideals. This suggests a broader landscape of combinatorially constrained Hilbert strata, but the invariant being fixed is different (Hyeon et al., 2017).

A third neighboring topic concerns torus-fixed points on punctual Hilbert schemes. For $(C,0)$57, every monomial ideal is contained in the curvilinear component. Since torus-fixed points are precisely monomial ideals, this gives strong control over the distribution of fixed monomial data among punctual components, but again the organizing principle is the torus-fixed monomial pattern rather than exact generator number (Bérczi et al., 2023).

Finally, a different use of “fixed generators” appears in the automorphism theory of Hilbert schemes, where one studies a Hilbert scheme whose automorphism group is generated by a fixed finite set of geometric involutions. For the Hilbert square of a Cayley K3 surface of Picard number $(C,0)$58,

$(C,0)$59

generated by three Beauville involutions. This is a statement about generators of an automorphism group, not about generators of ideals parameterized by the Hilbert scheme (Lee, 2024).

Taken together, these developments show that fixed-generators Hilbert schemes form a genuine refinement of Hilbert-scheme geometry. In the curve-singularity setting they are controlled by valuation semigroups, independent tuples, and syzygy ranks; in the $(C,0)$60-case they become positive topological polynomials; on smooth surfaces they appear as irreducible determinantal Brill–Noether loci; and in neighboring theories they interact with monomial, Borel-fixed, and fixed-source structures without being reducible to any of them.