---
title: Generically Non-Reduced Elementary Components
url: https://www.emergentmind.com/topics/generically-non-reduced-elementary-components
type: topic
---

# Generically Non-Reduced Elementary Components

A generically non-reduced elementary component is an irreducible component of a scheme (such as a Hilbert or moduli space) whose general point represents a highly structured object (typically, a fat point or chain of fat points, all supported at one point), and for which the local ring at the general point is non-reduced—meaning it contains nontrivial nilpotent elements. These components play a central role in modern deformation theory and singularity analysis of moduli problems. Their characterization and construction have advanced in tandem with the development of infinitesimal and obstruction-theoretic tools.

## 1. Definitions and Foundational Concepts

Let $X$ be a (usually smooth) quasi-projective variety over a field $k$ (often $\C$ or an algebraically closed field of characteristic zero). The Hilbert scheme $\Hilb^d(X)$ parameterizes closed subschemes $Z\subset X$ of length $d$. The nested Hilbert scheme, $\Hilb^{d_1,\dots,d_r}(X)$, classifies chains $Z^{(1)}\subset Z^{(2)}\subset\cdots\subset Z^{(r)}$ of $0$-dimensional subschemes of prescribed lengths. 

An irreducible component $V$ of $\Hilb^d(X)$ (or of a nested scheme) is called **elementary** if its general point parametrizes a subscheme entirely supported at a single point; equivalently, the corresponding local algebra is an Artinian $k$-algebra of length $d$. This definition extends to nested schemes as chains of fat points at one support.

A component $V$ is **generically non-reduced** if the local ring $\mathcal{O}_{V,[Z]}$ at a general (i.e., Zariski-open dense) point $[Z]$ has nonzero nilpotents. Algebraically, this manifests as the tangent space $T_{[Z]}\Hilb^d(X)$ being strictly larger than the dimension of $V$, or equivalently, the non-vanishing of primary obstructions in deformation theory, such as the failure of the Kuranishi map to identically vanish.

## 2. Tangent–Obstruction Theory and Detection

The tangent and obstruction spaces at a $k$-point $[Z]$ of the Hilbert scheme are given by
\[
T_{[Z]}\Hilb^d(X) \cong \Hom(\mathcal{I}_Z, \mathcal{O}_Z) \cong \Ext^1(\mathcal{O}_Z, \mathcal{O}_Z),
\]
with obstructions controlled by $\Ext^2(\mathcal{O}_Z, \mathcal{O}_Z)$. For nested Hilbert schemes, analogous descriptions follow via diagrams of ideals and maps between their respective quotients.

A central diagnostic for generic non-reducedness is a surplus in negative-weight tangent vectors under the action of $\Gm$ (loop grading by weights), beyond those arising from infinitesimal translations of the support ("trivial negative tangents," TNT). When the negative-weight part of $T^1$ fails to be generated entirely by translations, and is not entirely killed by obstructions, the component is generically non-reduced [2403.03146]. This criterion also extends to nested and higher-rank Quot schemes.

## 3. Systematic Constructions: Galois Closures and Sandwiched Chains

The functorial Galois closure operation of Bhargava–Satriano produces vast families of generically non-reduced elementary components [2210.14310]. For any finite free algebra $B \to A$ of rank $n$, the Galois closure $G(A/B)$ is constructed as a quotient of $A^{\otimes n}$ by "Newton–Girard" relations. Specializing to $A = k[x_1,\dots,x_m]/(x_1,\dots,x_m)^2$, the resulting punctual algebras can be embedded into Hilbert schemes,
\[
G^{(n)}(A_m) = k[x_{i,j}]/(\text{relations}),
\]
with variables $x_{i,j}$ and explicit quadratic and binomial relations. For $n \geq 4$, the component of $\Hilb^d(\A^{m(n-1)})$ containing $[G^{(n)}(A_m)]$ is irreducible, elementary, and—except in low-rank cases—generically non-reduced.

Secondary families arise by systematically quotienting out socle elements from these Galois closures, providing additional infinite series of generically non-reduced punctual components [2210.14310].

The "sandwiching" method, formally established by Graffeo–Lella [2601.16765], provides a general procedure: inserting a fat point (e.g., $\mathfrak{m}^k$) into a chain of ideals in a nested Hilbert scheme increases the negative tangent dimension, yielding new elementary components with generic non-reducedness and prescribed combinatorics.

## 4. Generically Non-Reduced Elementary Components in Classical and Nested Hilbert Schemes

The existence of generically non-reduced elementary components was established for numerous settings:
- **High-dimensional affine space**: For $\Hilb^d(\A^4)$ with $d\geq 21$, Jelisiejew constructs loci $C_H$ of fixed Hilbert function (e.g., $(1,4,10,s)$) corresponding to very compressed local algebras. These are proven to be irreducible, generically non-reduced elementary components via explicit Macaulay2 obstruction computations and BB-fiber analysis [2406.19782].
- **Classical sum-of-squares plus binomial ideals**: Ideals of the form $\sum_{i}(x_i,y_i)^2 + (x_1\cdots x_n - y_1\cdots y_n)$ define punctual algebras in $\Hilb^{3^n-1}(\A^{2n})$, again yielding generically non-reduced elementary components for each $n \geq 2$ [2403.03146].
- **Nested Hilbert schemes and flags**: Taking irreducible, generically reduced elementary components and "flag-lifting" them as $[p \subset Z]$ in $\Hilb^{1,d}(X)$ where $p \in \operatorname{Supp}(Z)$, produces components $\widetilde V$ that are generically non-reduced [2403.03146, 2601.16765].

These phenomena are not confined to high length or dimension: for $n=4, d=8$ in $\A^4$, and even for some nested Hilbert schemes on surfaces, generically non-reduced elementary components arise [2403.03146, 2601.16765].

## 5. Extensions to Curves and Sheaf Moduli

The theory extends beyond punctual schemes:
- **Curves in projective space**: There exist generically non-reduced components in the Hilbert scheme of non-reduced curves in $\mathbb{P}^3$, specifically realized via divisors of the type $2\ell + C_2$ on a smooth surface $X \subset \mathbb{P}^3$, with $\ell$ a line and $C_2$ a smooth coplanar curve. First-order embedded deformations of $C$ can exist without deforming the reduced support $C_{\mathrm{red}}$, leading to nilpotent directions in the tangent–obstruction theory [1611.03027].
- **Hilbert schemes of smooth projective curves**: Families of smooth curves constructed via cones and ruled surfaces in high projective dimension give rise to elementary components whose generic member is a smooth, irreducible curve, yet the component is generically non-reduced due to an excess in the tangent space by precisely one dimension [2208.12470].
- **Moduli of semistable sheaves**: Rank-2 Gieseker-semistable sheaves on $\mathbb{P}^3$ with specific Chern classes admit components constructed via elementary transformations of bundles along non-reduced Hilbert-scheme families, inheriting the non-reduced singularity via obstruction theory to the moduli component [2012.05611].

## 6. Explicit Examples and Dimension Counts

Several families serve as archetypes:

| Family/Type     | Ambient Space          | Defining Data                | Component Dimension | Generic Point Structure       |
|-----------------|-----------------------|------------------------------|---------------------|------------------------------|
| Sum of squares + binomial [2403.03146] | $\A^{2n}$                 | $\sum (x_i,y_i)^2 + (x_1\cdots x_n-y_1\cdots y_n)$ | Computed via TNT     | Fat point, punctual          |
| Short nestings [2601.16765]             | $\A^n$, $n\geq 4$         | Two-step chain of ideals        | $n^2+n-4 + s(n-s)$   | Chain of fat points          |
| Very compressed algebras [2406.19782]   | $\A^4$, $d\geq 21$        | Hilbert function $(1,4,10,s)$   | $4 + (20-s)s$         | Fat point, punctual          |
| Ruled surface curves [2208.12470]       | $\mathbb{P}^{g-3y+1}$     | Double covers via cones         | $2g-y-1 + (g-3y+1)^2$ | Smooth irreducible curve     |
| Sheaves via elem. trans. [2012.05611]   | $\mathcal{M}(14)$         | Bundles on Mumford curves       | 132                   | Rank-2 semistable sheaf      |

In all cases, the generic point corresponds to a highly non-reduced scheme (either a fat point, multiplication structure, or a chain thereof), and the obstruction algebra or tangent space calculations confirm that $\dim T_{[Z]} > \dim V$, with the excess precisely measured—often arising as a single nilpotent direction.

## 7. Broader Context and Significance

The existence of generically non-reduced elementary components demonstrates that singularities in Hilbert and moduli schemes are neither exceptional nor confined to low-dimensional pathologies. Rather, they appear systematically across dimensions and lengths, in both classical and nested settings, and for various moduli of sheaves and subvarieties.

Results such as those of Bhargava–Satriano expose vast infinite families of such components. The Graffeo–Lella "sandwiching" and flag-lifting criteria show that generically non-reduced elementary loci can be constructed at will, provided certain explicit syzygetic or chain-insertion conditions hold [2210.14310, 2403.03146, 2601.16765].

On the level of deformation theory, non-reducedness is governed by the interplay of negative-weight tangent vectors and the failure of the Kuranishi map to be a local isomorphism (i.e., nontrivial quadratic or higher obstructions persisting at the generic point). In classical settings, these singularities reflect the complexity of smoothability, the subtlety of extension theory of fat points, and the global structure of moduli problems.

The systematic presence of generically non-reduced elementary components answers long-standing open questions regarding the structure of Hilbert schemes—specifically, the existence of such components in codimension four and higher [2406.19782]—and suggests their ubiquity in yet unclassified settings, including Hilbert schemes of points in dimension three and related Quot or flag moduli.

Source: https://www.emergentmind.com/topics/generically-non-reduced-elementary-components