The Hilbert scheme of 11 points in A3 is
irreducible

arXiv:1701.03089v1 [math.AG] 11 Jan 2017

Theodosios Douvropoulos, Joachim Jelisiejew, Bernt Ivar Utstøl Nødland, and
Zach Teitler

Abstract We prove that the Hilbert scheme of 11 points on a smooth threefold is
irreducible. In the course of the proof, we present several known and new techniques
for producing curves on the Hilbert scheme.

1 Introduction
Let X be a smooth connected quasi-projective variety. The Hilbert scheme of d
points in X is the scheme parametrizing finite subschemes of X of degree d. There
are ample introductory readings on the Hilbert scheme of points available, including [16, 17, 19, 26, 30, 37, 38].
The Hilbert scheme of points is quasi-projective (projective iff X is) and connected [16, 17, 23]. Moreover, Fogarty [17] proved that for dim X ≤ 2 it is smooth of
dimension d ·(dim X). For higher-dimensional X, much less is known. The questions
of irreducibility of the Hilbert scheme of points is especially interesting, because it
ensures that all finite schemes are limits of reduced ones; see [4] for an application.
This question is local and only depends on the dimension of X: the answer for ndimensional X will be the same as for An , see [1, p. 4] or [10, Lemma 2.2]. We
Theodosios Douvropoulos
School of Mathematics, University of Minnesota, Minneapolis, e-mail: douvr001@umn.edu
Joachim Jelisiejew
Faculty of Mathematics, Informatics and Mechanics, University of Warsaw, Poland e-mail:
jjelisiejew@mimuw.edu.pl
Bernt Ivar Utstøl Nødland
Department of Mathematics, University of Oslo, Norway. e-mail: berntin@math.uio.no
Zach Teitler
Boise State University, Department of Mathematics, 1910 University Drive, Boise, Idaho 837251555, USA. e-mail: zteitler@boisestate.edu

1

2

T. Douvropoulos, J. Jelisiejew, B.I. U. Nødland, Z. Teitler

denote the Hilbert scheme of d points in An by Hnd . Our motivating question is the
following:
For which pairs (n, d) is the Hilbert scheme Hnd irreducible?
By Fogarty’s results, all H2d are irreducible. Mazzola [36] proved irreducibility of
Hnd for all n and d ≤ 7. Iarrobino [27, 28] showed that for every n ≥ 3 and d ≥ 78
the scheme Hnd is reducible. Emsalem and Iarrobino proved that Hnd is reducible
for d ≥ 8 and n ≥ 4, see [29, Section 2.2, p. 158] and also [8]. Borges dos Santos,
Henni, and Jardim [2] showed that H39 and H310 are irreducible by comparing them
with appropriate spaces of commuting matrices and using the results of Šivic [40,
Theorems 26, 32]. Thus, the reducibility of Hnd was unknown only for the values
n = 3 and 11 ≤ d ≤ 77. Here we improve the lower bound.
Theorem 1.1. The Hilbert scheme of 11 points in a smooth irreducible threefold is
irreducible of dimension 33.
We prove Theorem 1.1 in Section 4. We review background information in Section 2. In Section 3 we give an overview of strategy, gather general results that will
be used in the proof of the above theorem, and demonstrate how to use Macaulay2
[21] for some computations.
In Section 5 we discuss a special class of subschemes, which appeared in the
earliest example of reducible H3d , due to Iarrobino [27]. Namely, let m be the ideal
of the origin of A3 . Fix d and consider the ideals ms ⊂ I ⊂ ms+1 such that V (I)
has degree d; then s is uniquely determined. Call such ideals very compressed and
denote by H max,d their family. Let Rd3 denote the closure in H3d of the open set of
smooth subschemes. The component Rd3 is called the smoothable component. It has
dimension 3d. The result of [27] is that for d ≥ 96 we have dim H max,d ≥ 3d and,
thus, a general very compressed ideal does not lie in the smoothable component. We
show that for d ≤ 95 the family H max,d is in fact contained in Rd3 .
Proposition 1.2. The family H d,max of very compressed ideals is contained in the
smoothable component if and only if d ≤ 95.
The key points of the proof are the use of smoothings by degenerating to initial
ideals and a Macaulay2 calculation, see Section 5.
We now explain our approach to the proof of Theorem 1.1. We build upon the
strategy of [8]. As explained there, questions about smoothability of a specified ideal
I are easily reduced to the case where I is local and has full embedding dimension 3.
There are fifteen possible Hilbert functions of I, see Table 1. For each Hilbert function h, the scheme H3h parameterizes local ideals with fixed Hilbert function h and
the standard graded Hilbert scheme H3h parameterizes homogeneous ideals with
fixed Hilbert function h. We apply three different strategies to show that for each
Hilbert function h in our list, we have H3h ⊂ R11
3 .
First, for some cases the knowledge about the Hilbert function of an ideal I is
enough to produce a deformation (via ray families introduced in [9]) whose special
fiber is I and general fiber is reducible. By Lemma 1.4, such an I is smoothable, see
Section 4.1.

The Hilbert scheme of 11 points in A3 is irreducible
1.
2.
3.
4.
5.

(1, 3, 1, 1, 1, 1, 1, 1, 1)
(1, 3, 2, 1, 1, 1, 1, 1)
(1, 3, 2, 2, 1, 1, 1)
(1, 3, 3, 1, 1, 1, 1)
(1, 3, 4, 1, 1, 1)

§4.1
§4.1
§4.1
§4.1
§4.1

6.
7.
8.
9.
10.

(1, 3, 5, 1, 1)
(1, 3, 3, 4)
(1, 3, 4, 3)
(1, 3, 5, 2)
(1, 3, 4, 2, 1)

3
§4.1
§4.2
§4.2
§4.2
§4.3

11.
12.
13.
14.
15.

(1, 3, 2, 2, 2, 1)
(1, 3, 3, 2, 2)
(1, 3, 3, 3, 1)
(1, 3, 3, 2, 1, 1)
(1, 3, 6, 1)

§4.4
§4.5
§4.6
§4.7
§4.8

Table 1 Hilbert functions h in H311 and the corresponding sections.

Second, most of the schemes H3h contain smooth points of the Hilbert scheme
which lie in the smoothable component R11
3 . Such points are called smooth and
smoothable points; examples include points corresponding to Gorenstein algebras,
see [10, Corollary 2.6].
Lemma 1.3. If Z ⊆ H311 is an irreducible set that contains a smooth and smoothable
point, then we have Z ⊆ R11
3 .
Proof. The locus of smooth and smoothable points is open and contained in R11
3 , so
11 ⊂ Z
the intersection Z ∩ R11
contains
an
open
subset
of
Z.
Then,
the
subset
Z
∩
R
3
3
is dense and closed, so it is equal to Z.
⊓
⊔
To apply the above lemma, we write H3h as a union of irreducible sets Z and show
that each Z contains a smooth and smoothable point. To find the sets Z we may
take advantage of the morphism π h : H3h → H3h taking an ideal I to its initial ideal,
see [8]. We employ the following 3-step strategy:
1. Decompose H3h into irreducible strata.
2. Using the morphism πh : H3h → H3h , decompose H3h into irreducible strata.
3. For each stratum of H3h , find a smooth point of the Hilbert scheme which lies in
the smoothable component and conclude that the whole stratum lies there.
In steps 1 and 2, we use Macaulay’s inverse systems, see Section 2. In the simplest cases, we find that there is a bijection between irreducible strata of H3h and
H3h , but this is not always true, see for example Section 4.5.
For step 3 we introduce cleavable ideals. An ideal is said to be cleavable (or
limit-reducible) if it can be deformed to an ideal whose support consists of at least
two points.
Lemma 1.4. A cleavable ideal I ∈ H311 is smoothable.
Proof. Let It be a one-parameter flat family of ideals with I0 = I and for t 6= 0,
It supported at more than one point. Each irreducible component of It has length
strictly less than 11, so it is smoothable. Hence, the ideal I is also smoothable. ⊓
⊔
To show that an ideal I is cleavable, we construct a family over Spec k[t] whose
general fiber is reducible and check that it is flat, see Section 3.1.
Third, there is a case where both previous methods do not apply. This is the
case h = (1, 3, 6, 1), see Proposition 4.22. The stratum H3h does not seem to contain

4

T. Douvropoulos, J. Jelisiejew, B.I. U. Nødland, Z. Teitler

smooth points. However, the stratum is irreducible and we can describe what general points look like. We build a deformation showing that such general points are
smoothable, hence, by irreducibility, the entire stratum has to be smoothable.
We work over an algebraically closed field k of characteristic zero.

2 Prerequisites
Hilbert schemes and smoothability. The Hilbert scheme Hnd parameterizes subschemes of An of dimension zero and degree d. More formally, Hnd represents the
functor which assigns to each k-scheme X the set of subschemes of An × X which
are flat over X and for which all fibers are finite of degree d, see [26, Chapter 1].
Equivalently, letting T = k[α1 , α2 , . . . , αn ], the scheme Hnd parameterizes ideals I for
which T /I is a vector space of dimension d. In other words, Hnd also represents the
functor which assigns to each k-algebra A the set of ideals I in T ⊗ A such that the
quotients T ⊗ A/I are locally free A-modules of rank d.
The Zariski tangent space to Hnd at the point representing I is the T -module
Hom(I, T /I), see [26, Theorem 1.1]. Using Macaulay2 [21], we can compute the
dimension of this tangent space. We stress that a point is smooth if and only if the
point lies on only one irreducible component of the scheme and the dimension of
the tangent space at that point equals the dimension of the component of the scheme
containing the point. The dimension of the tangent space increases at singular points.
On Hnd , there is a distinguished component corresponding to smooth schemes.
Indeed, a slightly perturbed tuple of d closed points in An is just another such tuple.
Thus, the set of tuples of points is open in the Hilbert scheme and their closure
is a component. It is called the smoothable component of Hnd and denoted by Rdn .
Clearly, Rdn is generically smooth of dimension nd. Since H2d is smooth, we have
Rd2 = H2d .
A point of Rdn is said to be smoothable. Thus, an ideal I is smoothable if and only
if it can be deformed to an ideal of d distinct points. This means that one can build
a one-parameter flat family of schemes over a discrete valuation ring for which the
general member consists of d distinct points and the special fiber is T /I, see [6, 8]
for details. In particular, a disjoint union of smoothable schemes is smoothable and
a limit of smoothable schemes is smoothable.
Hilbert functions. In analyzing the Hilbert scheme Hnd , it is useful to use work
with an invariant that refines the degree d. There are two closely-related notions of
Hilbert function:
• For a graded T -module M, its Hilbert function is defined by h(i) = dim(Mi ). In
particular, given a homogeneous ideal I ⊂ T , we consider the Hilbert function of
the quotient ring T /I.
• For a filtered T -module M with descending filtration M = M0 ⊇ M1 ⊇ M2 ⊇ · · · ,
the Hilbert function h is defined by h(i) = dim(Mi /Mi+1 ). In particular, if the
scheme associated to an ideal I ⊂ T is supported at a point, then T /I is a local

The Hilbert scheme of 11 points in A3 is irreducible

5

ring (A, m), and the Hilbert function h with respect to the filtration by powers of
m is defined to be h(i) = dim(mi /mi+1 ). If I is homogeneous and T /I is local,
the two notions coincide.
We write h as a vector (h(0), h(1), . . . ), trimming it after the last positive entry.
Let A = T /I where T = k[α1 , α2 , . . . , αn ] is a polynomial ring with its standard
grading and I is a homogeneous ideal. Assume that I contains no linear forms. We
call such an algebra standard graded.
Macaulay’s bound is an upper bound for the growth of Hilbert functions of standard graded algebras, defined as follows. First, for positive integers h and d, there
exist uniquely determined integers δ ≥ 1 and kd > kd−1 > · · · > kδ ≥ δ such that
  

 
kd
kd−1
k
h=
+
+ ···+ δ .
δ
d
d−1
This expression is called the d-binomial expansion of h and denoted h(d) . The
d-binomial
 expansion of h can be found greedily: let kd be the greatest
 integer such
that kdd ≤ h, then find the (d − 1)-binomial expansion of h − kdd . Now hhdi is



d−1
defined as follows. If h(d) = kdd + kd−1
+ · · · + kδδ then we define





kd + 1
k +1
+ ···+ δ
.
d +1
δ +1




Example 2.1. We have 5(2) = 32 + 21 , so 5h2i = 43 + 32 = 7. Similarly, we have




4(2) = 32 + 11 , so 4h2i = 43 + 22 = 5.


d−h+1
hdi = h.
Example 2.2. If h ≤ d then we have h(d) = dd + d−1
d−1 + · · · + d−h+1 and h
hhdi :=

Theorem 2.3 (Macaulay’s bound, [34] or [3, Theorem 4.2.10]). Let A be a standard graded k-algebra with Hilbert function h. For every non-negative integer d,
we have h(d + 1) ≤ h(d)hdi .
Corollary 2.4. Let A be a standard graded k-algebra with Hilbert function h. If
d ≥ 0 is such that h(d) ≤ d, then we have h(d) ≥ h(d + 1) ≥ h(d + 2) ≥ · · · .

Once the Macaulay bound is attained then it will also be attained for all higher
degrees provided that no new generators of the ideal appear:
Theorem 2.5 (Gotzmann’s Persistence Theorem, [20] or [3, Theorem 4.3.3]).
Let A = T /I be a standard graded algebra with Hilbert function h. If d ≥ 0 is an
integer such that h(d + 1) = h(d)hdi and I is generated in degrees ≤ d, then we have
h(k + 1) = h(k)hki for all k ≥ d.
Apolarity and inverse systems. A key tool in the analysis of finite schemes is the
technique of Macaulay’s inverse systems, also known as apolarity. General references include [15, 18], [30, Section 1.3, Chapter 5], [39].
Let S = k[x1 , x2 , . . . , xn ] and T = k[α1 , α2 , . . . , αn ] be polynomial rings with the
standard grading. When n ≤ 3, we instead use variables x, y, z and α , β , γ . We write

6

T. Douvropoulos, J. Jelisiejew, B.I. U. Nødland, Z. Teitler

S≤d for k=0 Sk , and similarly T≤d . The polynomial ring T acts on S by letting αi
act as partial differentiation by xi . This is called the apolarity action. We denote this
action by , so that αi F = ∂∂ xFi for F ∈ S. This gives bilinear maps Td × Se → Se−d
for all d, e. In particular, for each d the pairing Td × Sd → S0 = k is a perfect pairing.
Ld

Definition 2.6. For any subset J ⊂ S the apolar ideal, or annihilating ideal J ⊥ ⊂ T
is the ideal of elements Θ ∈ T such that Θ F = 0 for all F ∈ J. For F ∈ S we write
F ⊥ for ({F})⊥ .
When J is spanned by homogeneous elements, the apolar ideal is homogeneous.
When J consists of a single element F, then the ideal F ⊥ is Gorenstein, see [12,
Section 21.2].
Example 2.7. If F = xa11 xa22 · · · xann , then we claim that F ⊥ = (α1a1 +1 , . . . , αnan +1 ). Indeed, it is easy to see that each αiai +1 ∈ F ⊥ . Conversely, if Θ ∈ T has a term
α1b1 α2b2 · · · αnbn with each bi ≤ ai , then the apolar pairing of this term with F is a
monomial that determines the bi , meaning that it cannot be cancelled by the other
terms of Θ . Hence, if Θ ∈ F ⊥ , then each term of Θ must lie in the indicated ideal.
The linear map T → S given by Θ 7→ Θ F provides a simple approach to computing F ⊥ . The apolar ideal F ⊥ is the kernel of this map. We can compute J ⊥ by
intersecting the ideals F ⊥ for F in J. If J is a k-vector space, then it is sufficient to
consider F in a basis for J.
Example 2.8. For F = x3 + yz, we have F ⊥ = (α 3 − 6β γ , αβ , αγ , β 2 , γ 2 ).
Example 2.9. For F = x2 y + y2z, we have F ⊥ = (γ 2 , αγ , α 2 − β γ , β 3 , αβ 2 ).
Definition 2.10. A Macaulay inverse system, or simply inverse system, is a T -submodule of S. That is, an inverse system is a k-vector subspace J ⊆ S which is closed
under differentiation: if F ∈ J, then all of the derivatives α1 F, . . . , αn F lie in J.
The inverse system generated by a subset f1 , . . . , fs of S is h f1 , f2 , . . . , fs i =
T f1 + T f2 + · · · + T fs , that is, the vector space spanned byTthe fi together
with
T
all higher partial derivatives. Clearly, we have h f1 , . . . , fs i⊥ = si=1 h fi i⊥ = si=1 fi⊥ .
An inverse system is homogeneous if it is generated by homogeneous elements.
Remark 2.11. The mapping J 7→ J ⊥ sends finite-dimensional inverse systems to local ideals supported at the origin, that is, m-primary ideals where m is the ideal of
the origin. The mapping is one-to-one, since J may be computed from J ⊥ similarly
to the discussion above. In fact it is a bijection, as shown by Macaulay [35], or
see for example [15, Corollaire 2]. When I is a local ideal, we will write I ⊥ for its
inverse system.
Recall that Hnh and Hnh consist of all homogeneous and local ideals, respectively,
with Hilbert function h. On the other hand Hnd , consists of all zero-dimensional
schemes of length d in An , not only local ones or ones supported at the origin.
Proposition 2.12 ([18, Remark after Proposition 2.5]). If J is a homogeneous inverse system then, J is isomorphic as a graded k-vector space to T /J ⊥ .

The Hilbert scheme of 11 points in A3 is irreducible

7

Proposition 2.13 ([15, Proposition 2(a)]). For a finite-dimensional inverse system
J, we have dimk J = dimk T /J ⊥ .
Proof. Let d be large enough so that J ⊆ S≤d . It follows that the map T≤d → T /J ⊥ is
surjective. Hence, both of the dimensions are equal to the codimension of J ⊥ ∩ T≤d
in T≤d .
⊓
⊔
Remark 2.14. For an inverse system J, for each integer k, J≤k denotes the vector
space of polynomials of degree at most k in J. These form an increasing filtration,
J≤0 ⊆ J≤1 ⊆ · · · . The inverse system J is a filtered T -module, so its Hilbert function
h is given by h(k) = dim J≤k − dim J≤k−1 for each k and ∑ h(i) = dimk J. If J is
homogeneous, then h(k) = dim Jk .
Proposition 2.15 ([30, Lemma 2.12]). Let f ∈ S be a homogeneous form of degree
d. If h is the Hilbert function of the inverse system h f i, then h = (h(0), . . . , h(d)) is
symmetric: h(i) = h(d − i) for all i.
Proposition 2.16 ([7]). Suppose that f ∈ S is a homogeneous form of degree d. Let
h be the Hilbert function of h f i. If h(d − 1) = k, that is h = (. . . , k, 1), then there are
independent linear functions ℓ1 , ℓ2 , . . . , ℓk ∈ S1 and a homogeneous form g such that
f = g(ℓ1 , ℓ2 , . . . , ℓk ). Equivalently, there is a linear change of coordinates so that f
depends only on the variables x1 , . . . , xk , not on xk+1 , . . . , xn .
Remark 2.17. Using the above proposition, one can show that if h f i has Hilbert
function (. . . , 1, 1), then f = ℓd for some linear function ℓ and h f i has Hilbert function (1, 1, . . . , 1, 1). If h(d − 2) = h(d − 1) = 2, then either f = ℓd + md or f = ℓd−1 m
for some independent linear functions ℓ, m ∈ S1 , and either way h f i has Hilbert function (1, 2, 2, . . . , 2, 2, 1). For proof see for example [30, Theorem 1.44]: in their notation, s = 2, and f ⊥ has a quadratic generator, which up to a change of coordinates
is either αβ or β 2 .
Dealing with nonhomogeneous inverse systems is much harder than working
with homogeneous ones. Fortunately, each inverse system J has an associated homogeneous inverse system lead(J).
Definition 2.18. The leading form of a polynomial is its highest degree homogeneous part. This may not be a monomial. For an inverse system J ⊂ S, the inverse
system of leading forms of J, denoted lead(J), is the vector subspace of S spanned
by leading forms of all the elements of J.
For example, the inverse system hx3 + y2 i = span{x3 + y2 , x2 , x, y, 1} has
lead(hx3 + y2 i) = span{x3 , x2 , x, y, 1} = hx3 , yi.
There is a tight connection between a system J and lead(J).
Proposition 2.19. The Hilbert functions of J and lead(J) are equal.

8

T. Douvropoulos, J. Jelisiejew, B.I. U. Nødland, Z. Teitler

Proof (sketch). Let f1 , f2 , . . . , fs be a vector space basis for lead(J) consisting of
homogeneous elements and let g1 , g2 , . . . , gs ∈ J with lead(gi ) = fi . One can show
the gi are a basis for J. Expressing the Hilbert functions of J and lead(J) in terms of
the gi and fi gives the result.
⊓
⊔
The initial form or lowest degree form of a polynomial gi is its lowest degree homogeneous part. The initial ideal of an ideal K, denoted in(K), is the ideal generated
by the initial forms of all elements of K.
Proposition 2.20 ([15, Proposition 3]). Let J be a finite-dimensional inverse system
with ideal J ⊥ = I. We have lead(J)⊥ = in(I). In other words, T / lead(J)⊥ is the
associated graded algebra of T /J ⊥ .
Proof. If Θ ∈ in(I), then Θ = in(Ψ ), for some Ψ ∈ I. To see that Θ ∈ lead(J)⊥ , let
F = lead(G) for G ∈ J. It follows that Θ F is the highest degree part of Ψ G = 0,
so it is zero. This shows that in(I) ⊆ lead(J)⊥ . We have
dimk J = dimk lead(J) = dimk T / lead(J)⊥
≤ dimk T / in(I) = dimk T /I = dimk J,
where the first equality is by Proposition 2.19 and the last is by Proposition 2.13.
This completes the proof.
⊓
⊔
Remark 2.21. By Proposition 2.19 and Proposition 2.20, the Hilbert function of an
inverse system J is also the Hilbert function of a standard graded algebra, namely
the associated graded algebra of T /J ⊥ . Hence, Macaulay’s and Gotzmann’s theorems apply to these functions. This enables us to prove that the only possible Hilbert
functions h of local ideals I = J ⊥ in H311 with full embedding dimension 3, equivalently h(1) = 3, are the ones listed in Table 1. Since h(2) ≤ 6, we need to consider
every possible value for h(2), 1 ≤ h(2) ≤ 6. Also, ∑ h(i) = dimk T /I = 11. Finally,
if h(i) ≤ 2 for any i ≥ 2, then h is nonincreasing from the ith step onward, by Corollary 2.4. It is then easy to list the possible Hilbert functions and to check that all of
them are in Table 1.
Proposition 2.22 ([15, §C.2]). Let F(t) = { f1 (t), f2 (t), . . . , fs (t)} ⊂ S[[t]] be a collection of polynomials in S[[t]], which we regard as polynomials in S whose coefficients are continuous functions of a parameter t in a neighborhood of 0. The family of apolar ideals {F(t)⊥ } satisfies limt→0 F(t)⊥ ⊆ F(0)⊥ . If the inverse systems
hF(t)i have the same Hilbert function for all t, then we have limt→0 F(t)⊥ = F(0)⊥
and {F(t)⊥ } is a flat family.
Proof. If Θ ∈ limt→0 F(t)⊥ , write Θ = Θ (0) = limt→0 Θ (t) where Θ (t) ∈ F(t)⊥ for
t 6= 0. For each t 6= 0 we then have that Θ (t) fi (t) = 0, for i = 1, . . . , s. By continuity,
we also have that Θ (0) fi (0) = 0. This shows Θ ∈ F(0)⊥ and limt→0 F(t)⊥ ⊆
F(0)⊥ . The equality of Hilbert functions implies equality of dimensions, so the
ideals are equal.
⊓
⊔

The Hilbert scheme of 11 points in A3 is irreducible

9

Definition 2.23. When Jt = h f1 (t), f2 (t), . . . , fs (t)i is a parametrized family of inverse systems generated by polynomials fi whose coefficients are continuous functions of t, we will say limt→0 Jt = J0 if and only if limt→0 Jt⊥ = J0⊥ .
Example 2.24. Consider the families W1 = {hℓd , md i | ℓ, m ∈ S1 , independent} and
W2 = {hℓd , ℓd−1 mi | ℓ, m ∈ S1 , independent}. Since the limit
(ℓ + tm)d − ℓd
= ℓd−1 m,
t→0
dt
lim

we have, by Proposition 2.22, that


d
d
d (ℓ + tm) − ℓ
limhℓ , (ℓ + tm) i = lim ℓ ,
= hℓd , ℓd−1 mi.
t→0
t→0
dt
d

d

This is because every inverse system in each family has Hilbert function (1, 2, . . . , 2).
This implies that W2 is in the closure of W1 in the Zariski topology.

3 The Hilbert scheme of 11 points in 3-space
In this section we, use Macaulay2 to perform some computations that will be needed
later on and gather some general methods applicable to several of the cases.

3.1 Macaulay2 code examples
To check if an ideal I in T = k[a, b, c] is smooth we can run the following code. This
is one of the cases we check in the proof of Proposition 4.16.
i1 : T = QQ[a,b,c]
i2 : I = ideal {b*c,a*b,aˆ2*c,aˆ3-cˆ2,bˆ5}
i3 : (dim I, degree I, degree Hom(I,T/I))
o3 = (0, 11, 33)
These computations show that we have a zero-dimensional scheme of degree 11
with tangent space dimension 33. If we now know that this is in the smoothable
component, then it has to be a smooth point, since we know that the smoothable
component has dimension 3 · 11 = 33. To check that this point is in the smoothable
component, we construct a deformation. We guess a candidate ideal K, then check
that it satisfies the needed conditions.

10

T. Douvropoulos, J. Jelisiejew, B.I. U. Nødland, Z. Teitler

i4 : R = T[t]
i5 : K = ideal {b*c,a*b,aˆ2*c,aˆ3-cˆ2,bˆ5+t*bˆ4}
i6 : assert (K:t == K)
i7 : minimalPrimes K
o7 = {ideal (c, a, t + b), ideal (c, b, a)}
Here K is an ideal in k[a, b, c,t] whose special fiber (at t = 0) is I. To check that
this is a flat family over k[t], we appeal to [25, Proposition III.9.7] which implies
that if the ideal (K : t) equals K, then the family is flat in a neighbourhood of 0.
The general fiber is supported at the two points (0, −t, 0), (0, 0, 0). This shows the
special fiber I is cleavable, hence, by Lemma 1.4 I is also smoothable.

3.2 Some general methods
In this section we collect various results which we use in Section 4.
In our analysis of the irreducible components of some standard graded Hilbert
scheme (and the fibers of πh ), we will often consider the set of quadric generators
{q1 , q2 , . . . , qk } of a homogeneous ideal I ⊂ T . The following lemma describes the
space of cubics hq1 , q2 , · · · , qk i · T1 in the ideal generated by these quadrics.
Lemma 3.1. Let T = k[α1 , α2 , . . . , αn ] be the polynomial ring in n variables. Let
q1 , . . . , qk be linearly independent quadrics in T where 2 ≤ k ≤ n, and let I =
(q1 , . . . , qk ). Then dim I3 ≥ nk − 2k , with equality if and only if the qi share a common linear factor, that is, qi = ℓℓi for some linear forms ℓ, ℓ1 , . . . , ℓk .
Proof. Let h be the Hilbert
function
of T /I. The 2-binomial expansion

 of h(2) is
n
n−k
h2i = n+1 + n−k+1 ,
given by h(2) = n+1
−
k
=
+
.
Thus,
h(3)
≤
h(2)
2
2
1
3
2
so

 
 

 
n+2
n+1
n−k+1
k
dim I3 = dim T3 − h(3) ≥
−
−
= nk −
.
3
3
2
2
Suppose that equality holds. We will show that the qi share a linear factor. By Gotzmann’s Persistence Theorem, see Theorem 2.5, the equality h(3) = h(2)h2i implies
that h(t + 1) = h(t)hti for all t ≥ 2, which gives by induction

 
 
 

n+t −2
n−k+t −2
n+t −2
n−k+t −2
h(t) =
+
=
+
.
t
t −1
n−2
n−k−1
This shows that the projective scheme V ⊂ Pn−1 defined by I has Hilbert polynomial of degree n − 2 with leading coefficient 1/(n − 2)!. By standard properties of

The Hilbert scheme of 11 points in A3 is irreducible

11

Hilbert polynomials, see [25, Section I.7, p. 52], the scheme V has codimension 1
and degree 1. This means that V consists of a reduced hyperplane H, possibly along
with some lower-dimensional components. Since each qi vanishes on H, they are all
divisible by the equation ℓ of H.
⊓
⊔
The following are generalizations of [8, Proposition 4.3].
Lemma 3.2. Fix h = (1, h(1), . . . , h(t)) with hi = dim Si for i = 1, . . . ,t − 2. The
Hilbert scheme Hnh is a vector bundle of rank h(t)(dim St−1 − h(t − 1)) over Hnh .
In particular, the irreducible components of Hnh are exactly the preimages of the
irreducible components of Hnh .
Proof. A direct generalization of the proof for t = 3 in [8, Proposition 4.3].

⊓
⊔

Lemma 3.3. Fix h = (1, h(1), . . . , h(t)) with h(i) = dim Ti for i = 1, . . . ,t − 3. Every
fiber of πh is isomorphic to an affine space; in particular, it is irreducible.
Proof. Let I be a homogeneous ideal in Hnh . The fiber πh−1 (I) consists of ideals I ′
with in(I ′ ) = I and with Hilbert function h. Requiring that in(I ′ ) = I corresponds
to adding higher degree terms to generators of I. Requiring the Hilbert function of
T /I ′ to equal h imposes conditions on the coefficients of these higher degree terms.
Adding terms of degree greater than t has no effect, since these are already contained in I. To any generator of degree t − 2 or t − 1, we can freely add terms of
degree t since they cannot change the Hilbert function. To any degree t − 2 generator qi , we can add a term ai of degree t − 1, however, now there is something to
check: For any tuple of linear forms ℓ1 , ℓ2 , . . . , ℓr ∈ T1 such that ℓ1 q1 + · · ·+ ℓr qr = 0,
we require that ℓ1 a1 + · · · + ℓr ar ∈ It′ = It . These are all linear conditions on the coefficients of the ai , hence, the solution space is an affine space. Hence, the fiber at I
is isomorphic to Ak for some k.
⊓
⊔
Remark 3.4. If there are only two generators q1 and q2 of degree t − 2, then there
can be at most one (possibly trivial) linear condition on the forms a1 and a2 (as
above). Namely, if there are linear forms ℓ1 , ℓ2 such that ℓ1 q1 + ℓ2 q2 = 0, then these
are uniquely determined up to a common scalar multiple, and the condition ℓ1 a1 +
ℓ2 a2 ∈ It is sufficient for in(I ′ ) = I.
Going beyond the situation of Lemma 3.2, it is possible that the fibers of πh may
be reducible. To show that they are contained in the main component of the Hilbert
scheme we would have to find a smooth and smoothable point in each component of
the fiber. Unfortunately in general it is difficult to describe the fibers of πh . The following statement allows us in a handful of very special cases to avoid this difficulty.
Lemma 3.5. If I ∈ Hnh , then I lies in every irreducible component of πh−1 (I).
If the homogeneous ideal I happens to be a smooth and smoothable point, then the
whole fiber is contained in the main component of the Hilbert scheme.
Proof. Let I ′ ∈ πh−1 (I), so that I = in(I ′ ). The deformation of [12, Theorem 15.17]
gives a path in πh−1 (I) from I ′ to I, so I lies in the irreducible component that contains I ′ .
⊓
⊔

12

T. Douvropoulos, J. Jelisiejew, B.I. U. Nødland, Z. Teitler

3.3 Non-linear changes of coordinates
We recall the technique of non-linear changes of coordinates as in [9, 14] and [31,
Section 2.2]. Assume we have a zero-dimensional quotient A = T /I = k[α , β , γ ]/I
supported at the origin. The algebra A can also be viewed as a quotient of the
power series ring R = k[[α , β , γ ]]. The power series ring has a much larger automorphism group than the polynomial ring. Denote the maximal ideal of R by m.
For any σ1 , σ2 , σ3 ∈ m whose images span m/m2 , there is an automorphism φ of R
defined by φ (α ) = σ1 , φ (β ) = σ2 , and φ (γ ) = σ3 .
Let J = h f1 , f2 , . . . , fr i be the associated inverse system of I. By [31, Section 2.2],
the inverse system of φ −1 (I) is generated by φ ∨ ( fi ) where φ ∨ is defined as follows.
Let Dα = φ (α ) − α , Dβ = φ (β ) − β , and Dγ = φ (γ ) − γ . Then we have

φ ∨( f ) =

∑

(k,m,n)∈Z3≥0

xk ym zn  k m n 
· Dα Dβ Dγ f .
k!m!n!

Example 3.6. Let J = h f i for f = x4 + y4 + g where deg g ≤ 3. By subtracting multiples of α f and α 2 f from f , we may assume the monomials x3 and x2 do not
appear in g. We will perform a non-linear change of coordinates so that there are no
monomials in g divisible by x2 . This will be needed in the proof of Lemma 4.8.
Let B be the coefficient of x2 y in g and let C be the coefficient of x2 z. Let φ (α ) =
B 2
C 2
B 2
α , φ (β ) = β − 12
α , and φ (γ ) = γ − 12
α . We have Dα = 0, Dβ = − 12
α , and
C 2
Dγ = − 12 α , so

φ ∨ (x4 ) = x4 + yDβ (x4 ) + zDγ (x4 ) + · · · = x4 − yBx2 − zCx2 + · · · ,
where we have omitted terms of degree less than 3. Similarly φ ∨ (y4 ) = y4 and φ ∨ (g)
is equal to g, modulo terms of degree less than 3. Also φ ∨ ( f ) will have no terms
divisible by x2 .

3.4 An explicit construction of flat families
The section is adapted from [9, Section 5], where more general results were proved
for Gorenstein schemes. Fix a zero-dimensional scheme R. In this section, under
certain mild assumptions on R, we construct a family with special fiber R and general
fiber reducible, so that R becomes cleavable.
Proposition 3.7. Let R ⊂ An be a finite scheme supported at the origin. Let C ⊂ An
be a smooth curve passing through the origin. Let H = (x = 0) be a hyperplane
intersecting C transversely. Let r ≥ 1 be such that the ideal of intersection R ∩C in
C is (xr ) and let H r−1 = (xr−1 = 0) denote the thick hyperplane. If R ⊂ C ∪ H r−1 as
schemes, then R is cleavable.

The Hilbert scheme of 11 points in A3 is irreducible

13

Proof. Since R ∩ C is cut out of C by xr , we can choose an F ∈ I(R) whose image
in k[C] = k[An ]/I(C) is xr . Then we have q := xr − F ∈ I(C). Now the image in
k[C] of any i ∈ I(R) is gxr , for some g. Write i = g(xr − q) + j, for some j. We see
that j ∈ I(R) ∩ I(C) which implies that I(R) = (xr − q) + I(R ∪ C), hence, R is cut
out of R ∪ C by the equation xr − q. There is a deformation of R ⊂ R ∪ C given by
deforming this equation, namely
V (xr − txr−1 − q) ⊂ (R ∪C) × A1,

(1)

with t being the local parameter on A1 .
To prove the flatness of the family (1) it is enough to prove that every polynomial
f ∈ k[t] is not a zero-divisor in the coordinate ring of V = V (xr −txr−1 − q). Suppose
there is an f ∈ k[t] and a function g on V such that f g is zero. We will show that
g vanishes on V ∩ (C × A1 ) and on V ∩ (H r−1 × A1 ). Since R ∪ C ⊂ C ∪ H r−1 , this
implies that g vanishes on the whole of V , so that it is zero.
First let us restrict to C, i.e. consider the family V ∩ (C × A1 ). It is given by
the equation xr − txr−1 , thus, it is flat. Therefore, f (t) is not a zero-divisor, hence,
g restricts to zero on C × A1 . Next let us restrict to H r−1 , i.e. consider the family
V ∩ (H r−1 × A1 ). It is given by the equation xr − q, which does not involve t. Hence,
this family is constant, thus, flat. Hence, g restricts to zero on H r−1 × A1 , which
concludes the proof of flatness. The fiber of the family (1) over t 6= 0 is supported
on at least two points: the origin and (t, 0, . . . , 0), thus, reducible. Therefore, R is
cleavable.
⊓
⊔
Corollary 3.8. Let R ⊂ An be a finite scheme supported at the origin. Let I = I(R)
be its ideal. Choose coordinates α1 , α2 , . . . , αn on An . Assume that c is such that
α1c · α j ∈ I(R) for all j 6= 1. Assume moreover that α1c ∈
/ I + (α2 , α3 , . . . , αn ). Then R
is cleavable.
Proof. This follows from Proposition 3.7 above if we take C = V (α2 , α3 , . . . , αn ),
H = (α1 ). Then r is defined by R ∩ C = (α1r ) and by assumption r > c, so that
R ⊂ C ∪ H r−1 .
⊓
⊔
Corollary 3.9. Suppose that R ⊂ A3 is a scheme of length 11. Let I ⊂ k[α , β , γ ] be
its ideal and suppose that αβ , αγ ∈ I. Then the ideal I is smoothable.
Proof. If R is reducible, it is smoothable because all its components are. Suppose R
is irreducible supported at the origin. If any order one element lies in I, then after
a non-linear coordinate change R is contained in an A2 and so is smoothable. If no
order one element lies in I, then Corollary 3.8 applied to c = 1 implies that R is
cleavable. Therefore, it is smoothable by Lemma 1.4.
⊓
⊔

14

T. Douvropoulos, J. Jelisiejew, B.I. U. Nødland, Z. Teitler

4 Proof of main theorem
In this section, we prove Theorem 1.1 by proving for each possible Hilbert function
that algebras with that Hilbert function are smoothable. For reference, Table 1 shows
in which section each Hilbert function is treated.
In this section we fix n = 3, S = k[x, y, z], and T = k[α , β , γ ].

4.1 Cases with long tails of ones
Proposition 4.1. Let h be one of these Hilbert functions: (1, 3, 1, 1, 1, 1, 1, 1, 1),
(1, 3, 2, 1, 1, 1, 1, 1), (1, 3, 2, 2, 1, 1, 1), (1, 3, 3, 1, 1, 1, 1), (1, 3, 4, 1, 1, 1), (1, 3, 5, 1, 1).
Then we have H3h ⊂ R11
3 .
Proof. Let I ∈ H3h be an ideal with Hilbert function h. By Proposition 4.2, the ideal
I is cleavable. By Lemma 1.4, the ideal I is smoothable. So I ∈ R11
⊓
⊔
3 .
Proposition 4.2. Let R = Spec A ⊂ An be an irreducible subscheme and h be the
Hilbert function of the local algebra A. Suppose h = (1, h(1), . . . , h(c), 1, . . . , 1) with
at least c trailing ones, that is, letting s be the greatest value such that h(s) 6= 0, we
assume that h(k) = 1 for c + 1 ≤ k ≤ s, and s ≥ 2c. Then the scheme R is cleavable.
The proof follows the Gorenstein case of [9, Example 5.15].
Proof. Let I be the ideal of R and let J be the inverse system of I. Consider a minimal generating set of J. It has a unique generator f of degree s. As explained in Section 3.3, we can perform a non-linear coordinate change to assume that f = xs1 + g,
for some g such that α1c g = 0. All other generators of J are of degree at most c.
By subtracting some partials of f , we may assume that they are also annihilated by
α1c . Thus, α1c α j lies in I for all j 6= 1.
It remains to check that α1c ∈
/ I + (α2 , α3 , . . . , αn ). Take any q ∈ (α2 , α3 , . . . , αn ).
s!
Then (α1c − q) f = (s−c)!
xs−c
1 − q g. We claim this is nonzero. Note that s − c ≥ c
by assumption on the number of trailing ones. Therefore, α1s−c annihilates g. So


s!
s−c
s−c
x − q g = s!x01 − q (α1s−c g) = s! 6= 0.
α1
(s − c)! 1
/ I. Therefore, α1c ∈
/ I+
This shows (α1c − q) f 6= 0, as claimed, so α1c − q ∈
(α2 , α3 , . . . , αn ). Thus, by Corollary 3.8 the subscheme R is cleavable.
⊓
⊔

4.2 Cases with short Hilbert functions
For the three cases h = (1, 3, 3, 4), h = (1, 3, 4, 3), and h = (1, 3, 5, 2), the analysis of
the irreducible components of their standard graded Hilbert schemes completely de-

The Hilbert scheme of 11 points in A3 is irreducible

15

termines the corresponding strata in the (not graded) Hilbert scheme H3h . Explicitly,
in each of these cases H3h is a vector bundle over H3h by Lemma 3.2, so the irreducible components of H3h are exactly the preimages of the irreducible components
of H3h .
In each of the three cases, we will first cover H3h by a collection of irreducible
sets (which are not necessarily components) and produce a smooth and smoothable
ideal for each set. By Lemma 3.2 and Lemma 1.3, this is enough to guarantee that
all algebras in H3h are smoothable.
Proposition 4.3. Let h = (1, 3, 3, 4). Then H3h ⊂ R11
3 .
Proof. Let I ⊂ T , I ∈ H3h be a homogeneous ideal such that A = T /I has Hilbert
function h. Then dim I2 = dim T2 − h(2) = 3. Let I ′ = (I2 ) be the ideal generated by the quadrics in I. By Lemma 3.1, dim I3′ ≥ 3 · 3 − 32 = 6, but dim I3′ ≤
dim I3 = dim T3 − h(3) = 6. So I3 = I3′ , equality holds in the dimension bound, and
by Lemma 3.1, the quadrics in I2 must share a common linear factor ℓ.
Then I2 is spanned by ℓα , ℓβ , ℓγ . That is, the standard graded Hilbert scheme
H3h is parametrized by the line ℓ. It is, therefore, isomorphic to the Grassmannian
Gr(1, 3) ∼
= P2 and, hence, irreducible. By Lemma 3.2, H3h is also irreducible.
It is sufficient to find one smooth and smoothable point in H3h . Consider the
ideal L = (αβ , αγ , α 2 + β 3 , β 2 γ 2 , β γ 3 , γ 4 ). It is smoothable by Corollary 3.9 and
we check computationally that L is smooth.
⊓
⊔
Proposition 4.4. Let h = (1, 3, 4, 3). Then H3h ⊂ R11
3 .
Proof. The standard graded Hilbert scheme H3h is a union of two irreducible sets.
We will provide a smooth and smoothable point in each of them.
Let I ⊂ T , I ∈ H3h be a homogeneous ideal such that A = T /I has Hilbert
function h. Then dim I2 = 2. By Lemma 3.1, the space of cubics generated by the
quadrics in I2 can have dimension either 6 or 5, and the latter occurs exactly when
the quadrics share a linear factor. Let P ⊂ H3h be the set of ideals I whose quadrics
generate a 6-dimensional space of cubics and let Q ⊂ H3h be the set of ideals I
whose quadrics generate a 5-dimensional space of cubics. Then H3h = P ∪ Q. We
claim that each of P and Q is irreducible.
The subset P is parametrized by pairs of spaces (K, M), where K is a 2dimensional subspace of T2 , not of the form span{ℓ · ℓ1 , ℓ · ℓ2 }, and M is a 7dimensional subspace of T3 that contains K · T1 , equivalently a line in T3 /K · T1 .
Thus, P is realized as a projective bundle with fiber P(T3 /K · T1 ) over an open subset of Gr(2, T2 ). In particular, P is irreducible.
In the subset Q, the quadrics q1 , q2 that span I2 have the form q1 = ℓ · ℓ1 and q2 =
ℓ · ℓ2 for some lines ℓ, ℓ1 , ℓ2 . This component is parametrized by a triple (ℓ, L, N),
where ℓ ∈ T1 is the common line, L = (ℓ1 , ℓ2 ) ⊂ T1 is the space spanned by the other
two lines, and N is a 7-dimensional space of T3 that contains the 5-dimensional space
ℓ · L · T1 . So Q is isomorphic to a Grassmannian bundle with fiber Gr(7 − 5, T3/ℓ · L ·
T1 ), over a base Gr(1, T1 ) × Gr(2, T1 ); it is, therefore, irreducible.
Now H3h = πh−1 (P) ∪ πh−1 (Q), and by Lemma 3.2 these are irreducible sets as
well. To complete this case, we provide a smooth and smoothable ideal for each set.

16

T. Douvropoulos, J. Jelisiejew, B.I. U. Nødland, Z. Teitler

The ideal I = (α 2 , β 2 , γ 3 , αβ γ 2 ) lies in P and, hence, also in πh−1 (P). It is monomial,
hence, smoothable by [8, Proposition 4.15] and it is easy to check computationally
that it is a smooth point. For πh−1 (Q) let I = (αβ , αγ , α 3 + γ 3 , β γ 2 , β 3 γ , β 4 ). Then
I is smoothable by Corollary 3.9 and once again a smooth point.
⊓
⊔
Proposition 4.5. Let h = (1, 3, 5, 2). Then H3h ⊂ R11
3 .
Proof. Let I ⊂ T , I ∈ H3h be a homogeneous ideal such that A = T /I has Hilbert
function h. Then dim I2 = 1 and dim I3 = dim T3 − h(3) = 8. The standard graded
Hilbert scheme Hh3 is parametrized by pairs (L, M), where L is some 1-dimensional
subspace of T2 and M is an 8-dimensional subspace of T3 that contains the 3dimensional subspace L · T1 . This parametrization realizes an isomorphism of H3h
to a Grassmannian bundle with base PT2 and fiber Gr(8 − 3, T3/L · T1 ), proving that
H3h is irreducible. By Lemma 3.2, H3h is irreducible as well.
Now let I = (αβ , α 3 , β 3 , γ 3 , αγ 2 , α 2 γ + β γ 2 ). One can check that I ∈ H3h . Since
αβ 2 , αγ 2 ∈ I and α 2 ∈
/ I + (β , γ ), Corollary 3.8 with c = 2 implies I is smoothable.
Finally one can check computationally that I is a smooth point.
⊓
⊔

4.3 Case h = (1, 3, 4, 2, 1)
Proposition 4.6. Let h = (1, 3, 4, 2, 1). Then H3h ⊂ R11
3 .
Proof. Let I ∈ H3h be a homogeneous ideal with inverse system J. Let f ∈ J4 and let
h f be the Hilbert function of h f i. Since h f i ⊂ J we have h f ≤ h. By Proposition 2.15
and Macaulay’s bound (Theorem 2.3), h f must be (1, 2, 3, 2, 1), (1, 2, 2, 2, 1), or
(1, 1, 1, 1, 1).
If h f = (1, 2, 3, 2, 1) see Lemma 4.7. If h f = (1, 2, 2, 2, 1) then by Remark 2.17
we can choose coordinates so that f = x4 + y4 or f = x3 y. For f = x4 + y4 see Lemma
4.8 and for f = x3 y see Lemma 4.9. If h f = (1, 1, 1, 1, 1) see Lemma 4.10.
⊓
⊔
Lemma 4.7. Let h = (1, 3, 4, 2, 1) and let I ∈ H3h be a homogeneous ideal with
inverse system J. Suppose that the degree 4 generator f of J is such that the Hilbert
function of h f i is (1, 2, 3, 2, 1). Then πh−1 (I) ⊂ R11
3 .
Proof. Let I ′ ∈ πh−1 (I) with inverse system J ′ . Let F be the degree 4 generator of
J ′ , so that f is the leading form of F. We will construct a family Jt′ so that J1′ = J ′
and J0′ is hx2 y2 , z2 i, hx2 y2 , zxi, or hx2 y2 , z(x + y)i. First change coordinates so that
′ is spanned by {x2 , xy, y2 , Q, S } for
f ∈ k[x, y]. Then x2 , xy, y2 ∈ h f i2 ⊂ J ′ , so J≤2
≤1
a quadratic form Q ∈ k[x, y, z]. Write Q = cxz + dyz + ez2. If e 6= 0 then changing
coordinates by replacing z with a suitable linear combination of x, y, z to complete
the square eliminates the xz and yz terms and takes Q to z2 modulo x2 , xy, y2 . So
either J ′ = hF, z2 i or J ′ = hF, z(cx + dy)i.
Write F = f + g, deg g ≤ 3. By well-known facts about binary forms (see for
example, [30, Theorem 1.43]), we have f = ℓ41 + ℓ42 + ℓ43 for some nonproportional
linear forms ℓi ∈ k[x, y]. Observe that 18x2 y2 = (x + y)4 + ω (x + ω y)4 + ω 2 (x +

The Hilbert scheme of 11 points in A3 is irreducible

17

ω 2 y)4 where ω is a cube root of unity. We change coordinates in k[x, y] so that
ℓ1 = x + y and ℓ2 = ω 1/4 (x + ω y). Let ft = ℓ41 + ℓ42 + (tℓ3 + (1 − t)ω 1/2(x + ω 2 y))4 ,
Ft = ft + tg, and Jt′ = hFt , Qi.
It is easy to check that F1 = F, F0 = 18x2 y2 , and for all but finitely many
t, h ft i has Hilbert function (1, 2, 3, 2, 1) and Jt′ has Hilbert function (1, 3, 4, 2, 1).
Then lim Jt′ = J0′ = h18x2 y2 , Qi = hx2 y2 , Qi, as in Definition 2.23. Rescaling x and
y and interchanging if necessary, Q is one of z2 , zx, or z(x + y). Now hx2 y2 , z2 i⊥
and hx2 y2 , zxi⊥ are monomial ideals, hence, smoothable. The family (γ 2 , αγ −
β γ , β 2 γ , β 3 , α 3 + t α 2 ) shows that hx2 y2 , z(x + y)i⊥ = (γ 2 , αγ − β γ , β 2 γ , β 3 , α 3 ) is
smoothable. So all three points are smoothable and it is easy to check that each one
is a smooth point. Hence, the irreducible (one-dimensional) family {(Jt′ )⊥ } ⊂ R11
3 ,
in particular I ′ = (J1′ )⊥ ∈ R11
.
⊓
⊔
3
Lemma 4.8. Let h = (1, 3, 4, 2, 1) and let I ∈ H3h be a homogeneous ideal with
inverse system J. Suppose that the degree 4 generator of J is of the form ℓ4 + m4 for
some independent linear forms ℓ, m ∈ S1 . Then πh−1(I) ⊂ R11
3 .
Proof. Assume ℓ = x, m = y. Let I ′ ∈ πh−1(I) with inverse system J ′ . We will apply Corollary 3.8. Consider the degree four generator F = x4 + y4 + g ∈ J ′ , where
deg g ≤ 3. Since x2 ∈ J we can subtract the x2 term out of g. Then the only terms of
g divisible by x2 are possibly x3 , x2 y, x2 z. After a non-linear coordinate change as
in Example 3.6 we may assume that there are no such terms. Then α 2 F = 12x2 ,
so α 2 6∈ F ⊥ + (β , γ ). Moreover α 2 β and α 2 γ annihilate F and so its partials, hence,
lie in I ′ . Therefore, the assumptions of Corollary 3.8 for c = 2 are satisfied and I ′ is
cleavable. By Lemma 1.4, it is smoothable.
⊓
⊔
Lemma 4.9. Let h = (1, 3, 4, 2, 1) and let I ∈ H3h be a homogeneous ideal with
inverse system J. Suppose that the degree 4 generator of J is of the form ℓ3 m for
some independent linear forms ℓ, m ∈ S1 . Then πh−1(I) ⊂ R11
3 .
Proof. Assume ℓ = x, m = y, so that J = hx3 y, Q1 , Q2 i for some quadratic forms
Q1 , Q2 . Let I ′ ∈ πh−1 (I) with inverse system J ′ . We will show I ′ is smoothable by
writing it as a limit of smoothable points. Note, J ′ = hx3 y + g3 + g2 , Q1 , Q2 i where
gi is a form of degree i for i = 2, 3. We introduce a parameter t and let yt = x + ty.
Observe that limt→0 (yt4 − x4 )/4t = x3 y. For general t we will define a form g3 (t) so
that Jt′ = h(yt4 − x4 )/4t + g3(t) + g2, Q1 , Q2 i → J ′ in the sense of Definition 2.23.
To define g3 (t), first note that γ g3 ∈ J2 = span{x2 , xy, Q1 , Q2 }. For i = 1, 2
R
let Q♯i = Qi dz be a homogeneous form of degree 3 so that γ Q♯i = Qi . Write
g3 = ax2 z + bxyz + cQ♯1 + dQ♯2 + e(x, y) for some scalars a, b, c, d and a 3-form e.
Now we define g3 (t) = ax2 z + (b/2t)(yt2 − x2 )z + cQ♯1 + dQ♯2 + e(x, y).
Now γ g3 (t) ∈ span{x2 , yt2 , Q1 , Q2 }, hence, lead(Jt′ ) = hyt4 − x4 , Q1 , Q2 i. Since
dim J2 = 4 we have xy 6∈ span{x2 , Q1 , Q2 }. Since xy = limt→0 (yt2 − x2 )/(2t) we
also have yt2 6∈ span{x2 , Q1 , Q2 } for general t. For such t the space (lead(Jt′ ))2
has dimension 4, which means that lead(Jt′ ) and Jt′ have Hilbert function h. Also
limt→0 g3 (t) = g3 . Therefore, limt→0 Jt′ = J ′ , as desired. By Lemma 4.8, each (Jt′ )⊥
with t 6= 0 is smoothable, which implies I ′ = lim(Jt′ )⊥ is smoothable as well.
⊓
⊔

18

T. Douvropoulos, J. Jelisiejew, B.I. U. Nødland, Z. Teitler

Lemma 4.10. Let h = (1, 3, 4, 2, 1) and let I ∈ H3h be a homogeneous ideal with
inverse system J. Suppose that the degree 4 generator f of J is such that the Hilbert
function of h f i is (1, 1, 1, 1, 1). Then πh−1 (I) ⊂ R11
3 .
Proof. By Remark 2.17, we can choose coordinates so that f = z4 . Let V ⊂ H3h be
the set of ideals I satisfying the hypothesis, that is, V = {I ∈ H3h | I ⊂ (z4 )⊥ }. For
I ∈ V , dim I2 = 2 and dim I3 = 8. By Lemma 3.1, dim T1 ·I2 is either 5 or 6. Let V1 ⊂ V
be the set of I such that dim T1 · I2 = 6, equivalently the quadrics in I2 have no common factor. Let V2 ⊂ V be the set of I such that dim T1 ·I2 = 5 and I2 = span{ℓℓ1, ℓℓ2 }
for some linear forms ℓ, ℓ1 , ℓ2 such that span{ℓ1 , ℓ2 } ⊆ z⊥ = span{α , β } (necessarily equality must hold). And let V3 ⊂ V be the remainder, the set of I such
that dim T1 · I2 = 5 and I2 = span{ℓℓ1, ℓℓ2 } for some linear forms ℓ, ℓ1 , ℓ2 such that
span{ℓ1 , ℓ2 } 6⊂ z⊥ . We will show that each Vi and each πh−1 (Vi ) is irreducible, and
give a smooth and smoothable point on each πh−1(Vi ).
First, every ideal I ∈ V is determined by (I2 , I3 ). Suppose I ∈ V1 . The subspace
I2 ⊂ (z2 )⊥ is parametrized by an open subset of Gr(2, (z2 )⊥ ) = Gr(2, 5). And then
I3 ⊂ (z3 )⊥ is such that T1 · I2 ⊂ I3 . The quotient I3 /T1 · I2 is a 2-dimensional subspace
of (z3 )⊥ /T1 · I2 . So for each choice of I2 , I3 may be chosen from Gr(8 − 6, (z3 )⊥ /T1 ·
I2 ) = Gr(2, 3). This shows V1 is a Grassmannian bundle over an open subset of a
Grassmannian, in particular irreducible. Let I2 = span{q1 , q2 }. Since I ∈ V1 , there
are no lines ℓ1 , ℓ2 such that ℓ1 q1 + ℓ2 q2 = 0. By Lemma 3.3 and Remark 3.4, the fiber
πh−1 (I) is a certain product of affine spaces. Explicitly it is T32 × T44 , corresponding
to cubic terms that may be added to the quadric generators of I and quartic terms
that may be added to the quadric and cubic generators of I. This makes πh−1 (V1 ) a
(trivial!) vector bundle over V1 , hence, irreducible. A smooth and smoothable point
in πh−1 (V1 ) is given by hyz, x2 y, z4 i⊥ = (αγ , β 2 , β γ 2 , α 3 , γ 5 ). It is smoothable because it is a monomial ideal and we check computationally that it is a smooth point.
This shows that πh−1 (V1 ) ⊂ R11
3 .
If I ∈ V2 then I2 = ℓ · span{α , β } for some linear form ℓ, so I2 is determined
by the choice of [ℓ] ∈ PT1 . As before, for each choice of ℓ, I3 may be chosen from
Gr(8 − 5, (z3 )⊥ /T1 ·I2 ) = Gr(3, 4). Again this makes V2 a Grassmannian bundle over
an irreducible base, so V2 is irreducible. By Remark 3.4, πh−1 (V2 ) is a trivial subbundle of a trivial vector bundle over V2 , namely πh−1 (V2 ) ⊂ V2 × (T32 × T45 ) is defined
by β a1 − α a2 ∈ I4 = (z4 )⊥ , where a1 , a2 are the cubic terms added to the quadric
generators ℓα , ℓβ . Hence, πh−1 (V2 ) is irreducible. A smooth and smoothable point
in this set is given by the limit of the flat family (αγ , β γ , β 3 + γ 4 , α 3 − t · α 2 , α 2 β ).
If I ∈ V3 then, writing I2 = span{ℓℓ1 , ℓℓ2 }, we must have ℓ z = 0, since for at
least one of i = 1, 2 we have ℓi z 6= 0, but ℓℓi z2 = 0. Now ℓ may be chosen from z⊥
and span{ℓ1, ℓ2 } may be chosen to be any 2-dimensional subspace of T1 other than
z⊥ . So the choice of I2 is parametrized by an open subset of P(z⊥ ) × Gr(2, T1 ).
Once again, for each choice of I2 , I3 may be chosen from the Grassmannian
Gr(8 − 5, (z3 )⊥ /T1 · I2 ) = Gr(3, 4). Hence, V3 is a Grassmannian bundle over an
irreducible base, in particular irreducible. By Remark 3.4, πh−1 (V3 ) is a (nontrivial)
subbundle of a trivial vector bundle over V2 , namely πh−1 (V3 ) ⊂ V3 × (T32 × T45 ) is
defined by ℓ2 a1 − ℓ1 a2 ∈ I4 = (z4 )⊥ where, as before, a1 , a2 are the cubic terms

The Hilbert scheme of 11 points in A3 is irreducible

19

added to the quadric generators ℓℓ1 , ℓℓ2 . Hence, πh−1 (V3 ) is irreducible. The ideal
(β 2 , β γ , α 3 , α 2 γ , αγ 2 , γ 5 ) ∈ V3 is smoothable because it is monomial and we check
computationally that it is smooth.
⊓
⊔

4.4 Case h = (1, 3, 2, 2, 2, 1)
Lemma 4.11. Let h = (1, h(1), . . . , h(k), 2, . . . , 2, 1) such that h(i) = dim Si for all
i ≤ k, then has at least two 2s and a 1 in the last position. Then the standard
graded Hilbert scheme Hnh is irreducible. Each ideal I ∈ Hnh is the apolar ideal
J ⊥ of an inverse system J of one of the following forms: hℓd + md , Sk i, hℓd−1 m, Sk i,
hℓd , md−1 , Sk i, hℓd , ℓd−2 m, Sk i for some linear forms ℓ, m.
Proof. Say the last 1 is in degree d, let J be a homogeneous inverse system with
Hilbert function h, and let f ∈ J be the d-form that appears. Either h f i has Hilbert
function (. . . , 2, 2, 1) or (. . . , 1, 1, 1). In the first case f = ℓd + md or f = ℓd−1 m, and
J is generated by f together with Sk . The second type is a limit of the first type,
similarly to Example 2.24.
In the second case f = ℓd and there is a generator g of degree d − 1. Note g has at
most 2 first derivatives since hgid−2 ⊆ Jd−2 . So hgi has Hilbert function (. . . , 2, 1, 0)
or (. . . , 1, 1, 0). If it is (. . . , 1, 1, 0) then g = md−1 for a linear form m independent
from ℓ. If the Hilbert function of g is (. . . , 2, 1, 0) then ℓd−2 ∈ hgid−2 , so g = ℓd−2 m
for a linear form m independent from ℓ.
So either g = ℓd−2 m or g = md−1 . Correspondingly, either J = hℓd , ℓd−2 m, Sk i
or J = hℓd , md−1 , Sk i. Both of these can be obtained as limits of inverse systems of the first two forms in appropriate ways, using Proposition 2.22. Explicitly, hℓd , ℓd−2 m, Sk i = limt→0 hℓd−1 (ℓ + tm), Sk i and hℓd , md−1 , Sk i = limt→0 hℓd +
tmd , Sk i.
⊓
⊔
Proposition 4.12. Let h = (1, 3, 2, 2, 2, 1). Then H3h ⊂ R11
3 .
Proof. By Lemma 4.11, every homogeneous ideal in H3h is the apolar ideal of
an inverse system which is isomorphic to one of the following: J1 = hx5 + y5 , zi,
J2 = hx4 y, zi, J3 = hx5 , y4 , zi, or J4 = hx5 , x3 y, zi. We may dispose of the first two
cases easily. We compute I2 = J2⊥ = (α 5 , β 2 , αγ , β γ , γ 2 ). Then I2 is smoothable
because it is a monomial ideal and one can easily check computationally that it is
a smooth point. By Lemma 3.5, the smooth and smoothable point I2 lies in every
component of the fiber πh−1 (I2 ), which shows that each irreducible component of
the fiber is contained in R11
3 .
Similarly, I1 = J1⊥ = (α 5 − β 5 , αβ , αγ , β γ , γ 2 ) is smooth and it is smoothable
by Corollary 3.9. Using Lemma 3.5 again, this smooth and smoothable point lies in
each irreducible component of the fiber, so each irreducible component of the fiber
is contained in R11
3 .
Now we consider the last two cases, where one finds that the homogeneous ideals
J3⊥ , J4⊥ are not smooth points (although they are monomial, hence, smoothable). So

20

T. Douvropoulos, J. Jelisiejew, B.I. U. Nødland, Z. Teitler

we need to develop a more detailed description of the fibers in these cases. In Lemma
4.13 we show that the fiber πh−1 (J3⊥ ) is contained in R11
3 and in Lemma 4.14 we do
the same for J4 .
⊓
⊔
Lemma 4.13. Let h = (1, 3, 2, 2, 2, 1) and J = hx5 , y4 , zi, I = J ⊥ . Then πh−1 (I) ⊂ R11
3 .
Proof. First we will show that the fiber πh−1 (I) is irreducible, then we will display
a smooth and smoothable point in the fiber. To begin, I is generated by f1 = αβ ,
f2 = αγ , f3 = β γ , f4 = γ 2 , β 5 , α 6 . Let I ′ ∈ πh−1(I). Then
I ′ = (F1 , F2 , F3 , F4 , β 5 ) + (α , β , γ )6 ,

(2)

where Fi = fi + gi and each gi involves monomials of degree 3 or greater that are not
in I. Those monomials are α 3 , β 3 , α 4 , β 4 , α 5 . We can write, for each i = 1, 2, 3, 4,
g i = a i α 3 + b i β 3 + ci α 4 + d i β 4 + ei α 5 .
This embeds the fiber πh−1 (I) into A20 with coordinates a1 , . . . , e4 . It remains to find
its equations, that is, determine which ideals I ′ of the form (2) have initial ideal I.
We claim that πh−1 (I) is defined by the equations
b2 = a3 = a4 = b4 = a1 a2 + c3 = a22 + c4 = 0.

(3)

Since in(I ′ ) ⊃ I and dim T / in(I ′ ) = dim T /I ′ we have in(I ′ ) = I if and only if
dim T /I = dim T /I ′ . Consider the elements g̃i = a1 α 3 + bi β 3 + t · (ci α 4 + di β 4 ) +
t 2 · ei α 5 ∈ T [t] and F̃i = fi + t g̃i . Define the ideal
I˜′ = (F̃1 , F̃2 , F̃3 , F̃4 , β 5 ) + (α , β , γ )6 .

(4)

Clearly, the fiber of I˜′ over t = 1 is I ′ and over t = 0 is I. Also the family is flat over
k[t ±1 ] because of the torus action. Therefore, I˜′ is flat if and only if all fibers have
the same length, if and only if dim T /I ′ = dim T /I. That is, I ′ ∈ πh−1 (I) if and only
if I˜′ is flat. Flatness of I˜′ is equivalent to the following condition (see, for example,
[1, p. 11] or [22, Corollary 7.4.7]).
Every relation

∑ fi ri = 0 with ri ∈ T lifts to ∑ F̃i Ri = 0 with Ri ∈ T [t].

That is, there exist R′i ∈ T [t] such that 0 = ∑ F̃i (ri + tR′i ) = ∑ ri fi + t ∑ ri g̃i + t ∑ R′i F̃i ,
equivalently ∑ ri g̃i = − ∑ R′i F̃i ∈ I˜′ . So I˜′ is flat if and only if the following holds.
For every relation

∑ fi ri = 0 with ri ∈ T we have ∑ g̃iri ∈ I˜′ .

(5)

The relations between the fi are the syzygies of I. They are generated by four linear
syzygies, two quartic syzygies, and two quintic syzygies (direct check). It is enough
to check (5) for those generators. Since I˜′ ⊃ (α , β , γ )6 , the property (5) is automatically satisfied for quartic and quintic syzygies. The linear generators are given
by
γ f1 = β f2 , β f2 = α f3 , γ f2 = α f4 , γ f3 = β f4 .

The Hilbert scheme of 11 points in A3 is irreducible

21

By (5), the fiber is cut out by the conditions

γ g˜1 − β g˜2 ∈ I˜′ ,

β g˜2 − α g˜3 ∈ I˜′ ,

γ g˜2 − α g˜4 ∈ I˜′ ,

γ g˜3 − β g˜4 ∈ I˜′ .

We now check that they unfold into (3). Consider an ideal I ′ ∈ πh−1 (I). The element
γ g˜1 − β g˜2 lies in I˜′ by (5). Since

γ g˜1 − β g˜2 = a1 α 3 γ + b1β 3 γ − a2 α 3 β − b2 β 4
+ t(c1α 4 γ + d1β 4 γ − c2α 4 β − d2β 5 ) + t 2(e1 α 5 γ − e2 α 5 β )
lies in I˜′ , its initial form lies in I, which implies b2 = 0. Similarly, by considering
the initial forms of γ g˜1 − α g˜3 ∈ I ′ we deduce that a3 = 0; from γ g˜2 − α g˜4 ∈ I ′ we
get a4 = 0; from γ g˜3 − β g˜4 ∈ I ′ we get b4 = 0. Note the following relations:

α 3 β ≡ −a1t α 5 ,

α 3 γ ≡ −a2t α 5 ,

β 3 γ ≡ −b3t β 5

(mod I˜′ ).

Using these relations, together with b2 = a3 = a4 = b4 = 0, we check that

β g˜2 − α g˜3 ≡ −t(a1 a2 + c3 )α 5

(mod I˜′ ).

This implies that −t(a1a2 + c3 )α 5 ∈ I˜′ , so by evaluating at t = 1 we get (a1 a2 +
c3 )α 5 ∈ I ′ . Hence, the leading form (a1 a2 + c3 )α 5 is in I. Therefore, a1 a2 + c3 =
0. Similarly, γ g˜2 − α g˜4 ≡ −(a22 + c4 )α 5 (mod I˜′ ) which gives the condition a22 +
c4 = 0, whereas for γ g˜3 − β g˜4 and γ g˜1 − β g˜2 we get trivially zero. Thus, (3) is
satisfied for every I ′ in the fiber. Conversely, the above reasoning implies that each
I ′ satisfying (3) lies in the fiber. This shows that the fiber is irreducible, in fact
isomorphic to A14 via projection to the coordinates a1 , a2 , b1 , b3 , c1 , c2 , d1 , . . . , e4 .
Finally, let I ′ = (α 6 , β 5 , αβ , αγ , β γ + α 5 , γ 2 ). It is smoothable by Corollary 3.9.
We verify computationally that I ′ is a smooth point.
⊓
⊔
Lemma 4.14. Let h = (1, 3, 2, 2, 2, 1) and J = hx5 , x3 y, zi, I = J ⊥ . Then πh−1 (I) ⊂
R11
3 .
Proof. The proof directly follows the argument of Lemma 4.13. The ideal I is generated by f1 = αγ , f2 = β 2 , f3 = β γ , f4 = γ 2 , α 4 β , α 6 . Let I ′ ∈ πh−1 (I). Then
I ′ = (F1 , F2 , F3 , F4 , β 5 ) + (α , β , γ )6 ,

(6)

where Fi = fi + gi and gi = ai α 3 + bi α 2 β + ci α 4 + di α 3 β + ei α 5 . The syzygies
among fi ’s are again generated by linear, quartic, and quintic syzygies. The linear
generators are β f1 − α f3 , γ f1 − α f4 , γ f2 − β f3 , γ f3 − β f4 . An analysis of the resulting conditions gives the following equations for πh−1(I):
a1 − b3 = a3 = a4 = b4 = a2 b1 + c3 = a21 + c4 = 0.

(7)

This shows that the fiber πh−1 (I) is irreducible, in fact isomorphic to A14 via projection to the coordinates a1 , a2 , b1 , b2 , c1 , c2 , d1 , . . . , e4 . A smooth and smoothable

22

T. Douvropoulos, J. Jelisiejew, B.I. U. Nødland, Z. Teitler

point in the fiber is I ′ = (α 6 , α 4 β , αγ , β 2 , β γ , γ 2 + α 5 ). It is smoothable by Corollary 3.9 and is computationally verified to be a smooth point.
⊓
⊔

4.5 Case h = (1, 3, 3, 2, 2)
Lemma 4.15. Let f ∈ k[x, y] be a homogeneous form of degree d ≥ 3. Either f =
ℓd + md or f = ℓd−1 m for some linear forms ℓ and m, or else f is determined up to
scalar multiple by the subspace h f id−1 , in the sense that if f 6= ℓd + md , ℓd−1 m and
g ∈ k[x, y] is a homogeneous form of degree d such that h f id−1 = hgid−1 , then g is
a scalar multiple of f .
Proof. If f = ℓd for a linear form ℓ then hgid−1 = h f id−1 = span{ℓd−1 }, so g is a
scalar multiple of ℓd . Otherwise let I = f ⊥ and J = g⊥ . The assumption h f id−1 =
hgid−1 means Id−1 = Jd−1 . Assuming f 6= ℓd , ℓd + md , ℓd−1 m means that f ⊥ has no
generators of degree ≥ d by [5, Proposition 1.6, Theorem 1.7]. So Id is determined
by Id−1 = (h f id−1 )⊥ . Since Jd−1 = Id−1 , these generate the same degree d part,
Jd = Id . But Jd is perpendicular to g while Id is perpendicular to f , so g and f are
linearly dependent.
⊓
⊔
Proposition 4.16. Let h be (1, 3, 3, 2, 2). Then H3h ⊂ R11
3 .
Proof. Let J be a graded inverse system in S = k[x, y, z] with Hilbert function
(1, 3, 3, 2, 2). Then dim J4 = 2, say J4 = span{ f , g}. Each f , g has first derivatives
in J3 , so each f , g involves at most two variables. If both h f i and hgi have Hilbert
function (1, ∗, ∗, 1, 1), then f = ℓ4 , g = m4 for independent linear forms ℓ, m, and we
change coordinates so ( f , g) = (x4 , y4 ). Otherwise at least one, say h f i, has Hilbert
function (1, ∗, ∗, 2, 1). Then by Proposition 2.16 there is a coordinate change so that
f ∈ k[x, y]. We have hgi3 ⊆ J3 = h f i3 ⊂ k[x, y]. This shows that α g, β g, γ g
have no terms involving z. This implies g has no terms involving z. So g ∈ k[x, y] as
well.
Now there are various cases, according as f = ℓ4 + m4 (which we may take to be
4
x +y4 after a change of coordinates), f = ℓ3 m (equivalently, x3 y), or something else;
and dimhgi3 = 1 or 2. In every case one checks that either span{ f , g} = span{x4 , y4 }
or span{ f , g} = span{x4 , x3 y}, after a change of coordinates.
In either case, J is generated by J4 , some quadratic form Q, and possibly linear forms: J is generated, possibly redundantly, either by {x4 , y4 , Q, x, y, z} or by
{x4 , x3 y, Q, x, y, z}, where Q is linearly independent from {x2 , y2 } in the first case or
{x2 , xy} in the second case.
Now we claim that there is an automorphism of S1 = span{x, y, z} that takes
J to one of the following. If J4 is generated by x4 , y4 then we claim there is an
automorphism taking J to the inverse system generated by {x4 , y4 , Q, x, y, z} where
Q ∈ {z2 , z2 + xy, z(x+ y), zx, xy}. And if J4 is generated by x4 , x3 y then we claim there
is an automorphism taking J to the inverse system generated by {x4 , x3 y, Q, x, y, z}
where Q ∈ {z2 , z2 + y2 , yz, y2 + xz, y2 , xz}.

The Hilbert scheme of 11 points in A3 is irreducible

23

First suppose J is generated by x4 , y4 , Q, x, y, z. Write Q = axy + bxz + cyz + dz2,
where we can eliminate x2 , y2 terms since x2 , y2 ∈ J2 . If d 6= 0 then replacing z
with a suitable linear combination of z, x, y allows us to eliminate the xz, yz terms
by completing the square, as well as simultaneously rescaling z to get rid of the
coefficient d. Then Q = a′ xy + z2 . If a′ = 0 then Q = z2 , and if a′ 6= 0 then rescaling
x, y gives Q = z2 + xy. On the other hand, if d = 0, then rescaling x, y, z allows us
to get rid of the coefficients a, b, c, so we may assume each of them is 0 or 1. This
shows Q ∈ {z2 , z2 + xy, xy + xz + yz, xy + xz, xy + yz, xz + yz, xy, xz, yz}. By symmetry,
interchanging x and y allows us to eliminate the cases xy + yz, yz since these are
respectively isomorphic to xy + xz, xz. And replacing z with z − y takes xy + xz =
x(y + z) to xz. Similarly, replacing z with z − y takes xy + xz + yz to xz + yz − y2 , and
span{x2 , y2 , xz + yz − y2 } = span{x2 , y2 , xz + yz}, so this case is also equivalent to
Q = xz. This finishes the analysis of the case J4 = span{x4 , y4 }.
The case J4 = span{x4 , x3 y} is similar. Instead of a symmetry interchanging x and
y, we can replace y with y + ax, since span{x4 , x3 y} = span{x4 , x3 (y + ax)}. Write
Q = axz + by2 + cyz + dz2 , after eliminating x2 , xy terms. If d 6= 0 then a substitution
for z eliminates xz, yz terms, yielding Q = b′ y2 + z2 . Rescaling y if necessary, Q = z2
or Q = y2 + z2 . If d = 0 then rescaling x, y, z to eliminate the a, b, c coefficients gives
Q ∈ {xz + y2 + yz, xz + y2 , xz + yz, y2 + yz, xz, y2 , yz}. Appropriate substitutions for y
and z take the cases xz + y2 + yz, xz + yz, y2 + yz all to yz.
Now by Lemma 3.3 each fiber over a point in H3h is irreducible. Thus, it suffices
to find a smooth and smoothable inverse system J ′ such that lead(J ′ ) = J for each
of the normal forms J. For the case that J4 is spanned by x4 and y4 see Table 2. For
the case that J4 is spanned by x4 and x3 y see Table 3.
⊓
⊔

Q

J′

deformation of ideal of J ′

z2 + xy
z2
xy
xz
(x + y)z

hx4 , y4 , z2 + xyi
hx4 + x2 y + x2 z + z3 , y4 , z2 i
hx4 + x2 y + x2 z + xy2 , y4 , xy, zi
hx4 + xz2 , y4 , xzi
hx4 , y4 , xz + yzi

(β γ , 2αβ − γ 2 , αγ , α 5, β 5 + t β 4 )
(β γ , αβ − αγ , 3α 2γ − γ 3 , α 3 − 12αγ , β 5 + t β 4 )
(γ 2 , β γ , αβ 2 − α 2 γ , α 2 β − α 2 γ , α 3 − 12αγ , β 5 + t β 4 )
(β γ , αβ , α 2γ , α 3 − 12γ 2 , β 5 + t β 4 )
(γ 2 , αγ − β γ , αβ , β 5, α 5 + t α 4 )

Table 2 Smooth and smoothable inverse systems J ′ with Hilbert function (1, 3, 3, 2, 2) and
lead(J ′ )4 spanned by x4 , y4 .

4.6 Case h = (1, 3, 3, 3, 1)
First we consider separately a special case, where the quadrics in the inverse systems
have a most special form.

24

T. Douvropoulos, J. Jelisiejew, B.I. U. Nødland, Z. Teitler

Q

J′

deformation of ideal of J ′

z2
z2 + y2
yz
y2 + xz
y2
xz

hx4 , x3 y + x2 z + z3 , z2 i
hx4 , x3 y, y2 + z2 i
hx4 , x3 y + x2 z, yzi
hx4 + 2x2 z, x3 y + xyz, y2 + xzi
hx4 + 2x2 z, x3 y + x2 z + xyz, y2 , zi
hx4 , x3 y + x2 z + xz2 , xzi

(β γ , β 2 , 3α 2 γ − γ 3 , α 2 β − 3αγ , α 5 + t α 4 )
(β γ , αγ , β 2 − γ 2 , α 4 β , α 5 + t α 4 )
(γ 2 , β 2 , αβ γ , α 2β − 3αγ , α 3γ , α 5 + t α 4 )
(γ 2 + t γ , β 2 γ , β 3 , αβ 2, α 2 β − 6β γ , α 3 − 6αγ + 3β 2 )
(γ 2 , β 2 γ , β 3 + t β 2 , αβ 2 , α 2 β − 6β γ , α 3 − 6αγ + 12β γ )
(β γ , β 2 , α 2 γ − αγ 2 , α 2 β − 3γ 2 , α 5 + t α 4 )

Table 3 Smooth and smoothable inverse systems J ′ with Hilbert function (1, 3, 3, 2, 2) and
lead(J ′ )4 spanned by x4 , x3 y.

Proposition 4.17. Let h = (1, 3, 3, 3, 1), let I ∈ H3h and let J be its inverse system.
Suppose x2 , xy, y2 ∈ J. Then I is contained in the smoothable component.
Proof. The inverse system J has a quartic generator and its leading form f is
uniquely determined. Since h(2) = 3 and x2 , xy, y2 ∈ lead(J), we see that f ∈ k[x, y].
We consider two cases. In each case we show that the space of possible J is irreducible and find a smooth and smoothable point there.
First suppose f is annihilated by a linear form in k[α , β ]. Then, up to coordinate
change, we have f = x4 . Consider the family of tuples (x4 + c + q, c1 + q1 , c2 + q2 , x,
y, z), where ci , c are cubics and qi , q are quadrics, with the condition that γ c, β c
lie in span{x2 , xy, y2 } and also all derivatives of ci lie in span{x2 , xy, y2 }. The space
of polynomial tuples satisfying these conditions is an affine space. Each inverse
system K generated by a tuple as above has Hilbert function at most (1, 3, 3, 3, 1).
Thus, a general one has Hilbert function exactly (1, 3, 3, 3, 1). Denote the irreducible
family of such K’s by F . Then F gives a morphism to the Hilbert scheme H3h
and the image contains J. The image contains also J0 = hx4 + x2 z, x2 y, xy2 , x, y, zi. A
deformation of its ideal is given by (β γ , γ 2 + t γ , β 3 , α 3 − 12αγ , α 2 β 2 ). For t 6= 0
this is supported at more than one point, hence, J0⊥ is smoothable. And J0⊥ is smooth
as well, hence, the whole image of F is contained in R11
3 by Lemma 1.3.
Suppose now f is not annihilated by a linear form in k[α , β ]. Then the proof of
the previous case applies with the difference we consider the family of g + c + q,
c1 + q1 where g ∈ k[x, y]4 with the condition that γ c and all derivatives of c1
lie in span{x2 , xy, y2 }. The smooth and smoothable point is given by the inverse
system hx2 y2 + xyz, x3 , zi and a deformation of the corresponding ideal is given by
⊓
⊔
(γ 2 , β 2 γ , α 2 γ , β 3 , αβ 2 − 4β γ , α 2 β − 4αγ , α 4 + α 3t).
Proposition 4.18. Let h = (1, 3, 3, 3, 1) and let J be a graded inverse system with
Hilbert function h. Then up to coordinate change J2 is the span of one of the following sets:
{x2 , xy, y2 },

{x2 , y2 , z2 },

{x2 , yz, z2 },

{xz, yz, z2 },

{x2 + yz, xz, z2 }.

Let A = T /(J2⊥ ). Then dim A3 = 4 if J2 = span{x2 , xy, y2 } and dim A3 = 3 otherwise.

The Hilbert scheme of 11 points in A3 is irreducible

25

Proof. Let I = (J2⊥ ). By Macaulay’s bound, dim A3 ≤ (dim A2 )h2i = 3h2i = 4. If
dim A3 = 4, then by Lemma 3.1 the quadrics in I2 share a common linear factor.
After a change of coordinates, I2 is spanned by {γ 2 , β γ , αγ }. Then J contains the
quadrics x2 , xy, y2 .
So we reduce to the case dim A3 = 3, equivalently dim I3 = 7. We start with the
claim that, when I = (I2 ) is generated by 3 quadrics and dim I3 = 7, then I is the
saturated ideal of a zero-dimensional degree 3 scheme in P2 . The space T1 ⊗ I2 has
dimension 9 and maps by multiplication surjectively to T1 ⊗ I2 → I3 , so the kernel
has dimension 2, which means there are 2 linear syzygies among the quadrics in I2 .
The minimal free resolution of A = T /I is equal to
0 ← T ← T (−2)⊕3 ← T (−3)⊕2 ⊕ T (−4)⊕q ⊕ F ′ ← T (−4)⊕p ⊕ F ′′ ← 0,
where F ′ , F ′′ are sums of T (−i) with i > 4. We will show that p = q = 0. First, if
p = β3,4 (I) 6= 0 then I contains the ideal ℓ(α , β , γ ) for some linear form ℓ, by [13,
discussion following Theorem 8.15, p. 162]. But this is the case dim A3 = 4 which
we have already treated. Since we are now assuming dim A3 = 3, then we must have
p = 0. Next, we compute dim A4 by considering the free resolution above:
dim A4 = dim T4 − 3 dimT2 + (2 dimT1 + q dim T0 ) − 0,
where the final 0 reflects p = 0. This gives dim A4 = 15 − 3 · 6 + 2 · 3 + q = 3 + q. At
the same time, 3 + q = dim A4 ≤ (dim A3 )h3i = 3h3i = 3. So q = 0.
Now I is generated in degree 2 and dim A4 = (dim A3 )h3i = 3. By Gotzmann’s
Persistence Theorem, dim Ak = 3 for all k ≥ 3. This shows Z = Proj A has Hilbert
polynomial 3, so Z = V (I) ⊂ P2 is zero-dimensional and has degree 3. To see that
I is saturated, let I ′ be the saturation of I. Since the quadrics in I share no common
linear factor, Z is not contained in any line, so I ′ contains no linear forms. Then
dim(T /I ′ )1 = 3. The Hilbert function of a saturated ideal is nondecreasing, so for
every k ≥ 1, 3 = dim(T /I ′ )1 ≤ dim(T /I ′ )k ≤ dim(T /I)k = 3, which shows I ′ = I.
This completes the proof of the claim that I is the saturated ideal of a degree 3
zero-dimensional scheme Z in P2 .
Since Z is cut out by quadrics, the intersection of Z with any line has degree at
most 2. Then Z is one of the following.
1. Z may be a disjoint union of three non-collinear reduced points. We change coordinates so that Z = {[1 : 0 : 0], [0 : 1 : 0], [0 : 0 : 1]}. Then I2 = span{αβ , αγ , β γ }.
2. Z may be the union of a reduced point with a zero-dimensional scheme of degree
2. We choose coordinates so that the reduced point is [1 : 0 : 0] and the scheme of
degree 2 is supported at [0 : 0 : 1] and is contained in the line spanned by [0 : 0 : 1]
and [0 : 1 : 0]. Then I2 = span{αβ , αγ , β 2 }.
3. Z may be a scheme of degree 3 supported at a point which we may take to be
[0 : 0 : 1]. Then after a change of coordinates either I2 = span{α 2 , αβ , β 2 } or
I2 = span{α 2 − β γ , αβ , β 2 }.
To see the last claim, first note that if q = ℓ1 ℓ2 ∈ I2 is a reducible quadric then both
components ℓ1 , ℓ2 pass through [0 : 0 : 1], because Z is not contained in any single

26

T. Douvropoulos, J. Jelisiejew, B.I. U. Nødland, Z. Teitler

line. If every quadric in I2 is reducible then I2 = span{α 2 , αβ , β 2 } consists of all
the quadrics that are singular at [0 : 0 : 1]. Otherwise, there is a smooth quadric in I2
and we can choose coordinates so that it is q = α 2 − β γ . A quadric q′ ∈ I2 intersects
q in Z plus one more point. If the extra point is also [0 : 0 : 1] then q′ = β 2 + λ q for
some scalar λ . Otherwise q′ = ℓβ + λ q where ℓ is the line through [0 : 0 : 1] and the
extra point. So I2 is spanned by q, αβ , and β 2 . Now, having the normal forms of Z,
we calculate J2 as I2⊥ , obtaining the list above.
⊓
⊔
Lemma 4.19. Fix a three dimensional space of quadrics Q and a subspace A ⊂
hα , β , γ i. Suppose that the derivatives of Q span hx, y, zi. Consider the set J (Q, A)
of inverse systems J such that
1. J has Hilbert function (1, 3, 3, 3, 1),
2. Q equals J2 ,
3. A is equal to the space of linear forms annihilating the quartic in lead(J).
Then J (Q, A) is irreducible or empty.
Proof. Suppose J (Q, A) is non-empty. Let I = Q⊥ . Let h be the Hilbert function
of T /I. By Proposition 4.18, we have either Q = span{x2 , xy, y2 } up to coordinate
change or h(3) = 3. The equality Q = span{x2 , xy, y2 } is impossible, since derivatives of Q span x, y, z. Thus, h(3) = 3. The remaining part of the proof resembles the
proof of Proposition 4.17. Let a = dim A. Consider the set F of tuples of polynomials
f + c + q, c1 + q1 , . . . , ca + qa ∈ S,
(8)
such that
1. f is homogeneous of degree four and annihilated by A (and possibly other linear
forms),
2. all ci and c are homogeneous of degree three,
3. all qi and q are homogeneous of degree two,
4. both f and all ci are annihilated by I,
5. the space A c is contained in Q.
All given conditions are linear in coefficients of polynomials, thus, F is an affine
space. Consider an open (possibly empty) subset F0 ⊂ F consisting of tuples where
f is annihilated exactly by A and such that ci are linearly independent and span{ci }
is disjoint from the space of partial derivatives of f . Then F0 is irreducible as an
open set in affine space.
Consider an inverse system J generated by all linear forms and a tuple in F0 .
We now prove that its Hilbert function h̃ is at most (1, 3, 3, 3, 1) position-wise. By
Proposition 2.19, it is enough to show that the Hilbert function of lead(J) is at
most (1, 3, 3, 3, 1). It is clear that h̃(0) = h̃(4) = 1 and h̃(1) ≤ 3. All cubic terms
in lead(J) are leading forms of combinations of ci and partials of f . Thus, they are
annihilated by I. The space of cubics annihilated by I is h(3) = 3-dimensional, thus,
h̃(3) ≤ 3. Consider now the quadrics in lead(J). They are combinations of leading
forms of partials of f , of ci and also of A c. All those forms lie in Q, thus, h̃(2) ≤ 3.
Therefore, h̃ ≤ (1, 3, 3, 3, 1) position-wise.

The Hilbert scheme of 11 points in A3 is irreducible

27

Since (1, 3, 3, 3, 1) is the maximal possible value of h̃, the set Fgen ⊂ F0 consisting of systems with Hilbert function (1, 3, 3, 3, 1) is open, thus, irreducible. It gives a
map to the Hilbert scheme whose image is J (Q, A), which is, therefore, irreducible
as well.
⊓
⊔
Proposition 4.20. Let h be (1, 3, 3, 3, 1). Then H3h ⊂ R11
3 .
Proof. Let J be a graded inverse system in S = k[x, y, z] with Hilbert function
h = (1, 3, 3, 3, 1). It has a unique degree 4 generator f . We will subdivide the cases
according to the Hilbert function of the inverse system K generated by f . The Hilbert
function is symmetric. Using Macaulay’s bound, we find that there are four different cases for the Hilbert function of K: (1, 1, 1, 1, 1), (1, 2, 2, 2, 1), (1, 2, 3, 2, 1),
(1, 3, 3, 3, 1).
Case (1, 3, 3, 3, 1): f generates the entire module, hence, J is Gorenstein. And every J ′ in the fiber πh−1 (J) is also Gorenstein. By [33, Proposition 2.2] or [32, Corollary 4.3], any Gorenstein subscheme of A3 is smoothable, hence, all such points J ′
lie in the smoothable component of H311 .
Case (1, 2, 3, 2, 1): Since f has two independent first derivatives, we know it depends on only two variables, say x, y. Since it spans a three-dimensional set of second derivatives, this will have to be hx2 , xy, y2 i, so we are done by Proposition 4.17.
Case (1, 2, 2, 2, 1): Let Q be the space of quadrics inside J. By Proposition 4.17,
we may assume that Q 6= span{x2 , xy, y2 } up to coordinate change, so that derivatives of Q span x, y, z. Then by Proposition 4.18 and Lemma 4.19 we see that the
irreducible strata are determined by Q equal to
span{x2 , y2 , z2 },

span{x2 + yz, xz, z2 }
(9)
and the linear forms annihilating f (up to simultaneous coordinate change). It remains to check which annihilators are possible for each Q. Let A = T /Q⊥ . By
the proof of Proposition 4.18, this is a homogeneous coordinate ring of a zerodimensional subscheme of Proj T . Note that if a linear form σ annihilates f , then
the intersection of ProjA with the projective line (σ = 0) has degree at least two.We
directly check that for the four cases in (9) we get the following possible annihilators.
1.
2.
3.
4.

span{x2 , yz, z2 },

span{xz, yz, z2 },

α or β or γ for Q = span{x2 , y2 , z2 },
α or β for Q = span{x2 , yz, z2 },
λ1 α + λ2β with λi ∈ k arbitrary for Q = span{xz, yz, z2 },
β for Q = span{x2 + yz, xz, z2 }.

Note that for first, third and fourth case there is a unique choice up to coordinate
change. Therefore, we have five distinct cases in total. The corresponding smooth
and smoothable points are presented in Table 4.
Case (1, 1, 1, 1, 1): the argument is completely analogous to the previous case up
to the point where we determine possible ( f ⊥ )1 depending on Q. As before, let A =
T /Q⊥ . Note that an annihilator (σ1 , σ2 ) is possible if and only if l 4 ∈ J, equivalently
[l] ∈ ProjA, where l is the linear form annihilated by (σ1 , σ2 ) and [l] ∈ Proj T is its
class.Based on this observation, the possible annihilators in the four cases in (9) are

28

T. Douvropoulos, J. Jelisiejew, B.I. U. Nødland, Z. Teitler
Q

( f ⊥ )1

J′

deformation of ideal of J ′

span{x2 , y2 , z2 }
span{x2 , yz, z2 }
span{x2 , yz, z2 }
span{xz, yz, z2 }
span{x2 + yz, xz, z2 }

γ
α
β
β
β

hx4 + y4 , z3 i
hyz3 , x3 i
hx4 + z4 , yz2 i
hxz3 , yz2 i
hxz3 , x2 z + yz2 i

(β γ , αγ , αβ , γ 4 + t γ 3 , α 4 − β 4 )
monomial ideal, hence, smoothable
(β 2 + t β , αγ , αβ , β γ 3, α 4 − γ 4 )
monomial ideal, hence, smoothable
(β 2 , αβ , α 2 − β γ , β γ 3, γ 4 + t γ 3 )

Table 4 Smooth and smoothable points J ′ with Hilbert function (1, 3, 3, 3, 1) such that the inverse
system generated by f ∈ J4′ has Hilbert function (1, 2, 2, 2, 1)

1.
2.
3.
4.

(α , β ) or (β , γ ) or (α , γ ) for Q = span{x2 , y2 , z2 },
(α , β ) or (β , γ ) for Q = span{x2 , yz, z2 },
(α , β ) for Q = span{xz, yz, z2 },
(α , β ) for Q = span{x2 + yz, xz, z2 }.

The three possibilities for Q = span{x2 , y2 , z2 } are equivalent, thus, we get five cases
in total. The list of smooth and smoothable points is presented in Table 5. This
completes the proof.
⊓
⊔

Q

( f ⊥ )1

J

deformation

{x2 , y2 , z2 }

hz4 + xz + xy + yz, x3 , y3 i

{x2 , yz, z2 }

hz4 , x3 + y2 , yz2 i

(αγ − β γ , αβ − β γ , α 2β , α 4 + t α 3 , β 4 , γ 4 − 24αβ )
(αγ , αβ , β 2γ , α 3 + t α 2 − 3β 2 , β γ 3 , γ 5 )
(αγ , αβ , β 2γ , β γ 3 , γ 4 + t γ 3 , αγ 3 , α 4 − 12β 2 )
(αβ , α 2 − t α , γ 3 − 12β 2 , β 3 , β 2 γ 2 )
(αβ , α 2 − β γ , β 3, αγ 3 , β γ 3 , γ 4 + t γ 3 − 12β 2 )

(α , β )
(α , β )
{x2 , yz, z2 }
(β , γ )
{xz, yz, z2 }
(α , β )
{x2 + yz, xz, z2 } (α , β )

hx4 + y2 , yz2 , z3 i
hy2 z + z4 , yz2 , xz2 i
hz4 + y2 , yz2 + x2 z, xz2 i

Table 5 Smooth and smoothable points J ′ with Hilbert function (1, 3, 3, 3, 1) such that the inverse
system generated by f ∈ J4′ has Hilbert function (1, 1, 1, 1, 1).

4.7 Case h = (1, 3, 3, 2, 1, 1)
Proposition 4.21. Let h = (1, 3, 3, 2, 1, 1). Then H3h ⊂ R11
3 .
Proof. Consider a local ideal I with Hilbert function h = (1, 3, 3, 2, 1, 1), let J be
the inverse system of I, choose generators of J, and let f be the generator of J of
degree five. Let h f be the Hilbert function of the algebra T / f ⊥ apolar to f . The
case decomposes into five subcases, depending on h f . Since f ⊥ ⊃ I, T / f ⊥ is a
quotient of A = T /I, so that h f ≤ (1, 3, 3, 2, 1, 1). If h f (3) = 2 then h f (1), h f (2) ≥ 2
by Corollary 2.4.
1. h f = (1, a, b, 1, 1, 1). Here we argue exactly as in the proof of Proposition 4.2,
so we omit some details below. After a non-linear change of coordinates as in

The Hilbert scheme of 11 points in A3 is irreducible

2.
3.
4.

5.

29

Section 3.3, we may assume f = x5 + g with α 2 g = 0. Since J is generated by
f together with elements of degree 3 or less, α 3 β and α 3 γ annihilate all of J. If
/ I + (β , γ ).
q ∈ (β , γ ) is such that α c − q annihilates f , then c ≥ 4; hence, α 3 ∈
Now Corollary 3.8 proves that the element is cleavable, hence, smoothable by
Lemma 1.4.
h f = (1, 3, 3, 2, 1, 1). In this case I = f ⊥ and so A is Gorenstein, hence, smoothable by [33, Proposition 2.2] or [32, Corollary 4.3].
h f = (1, 2, 3, 2, 1, 1). After changing coordinates so that f ∈ k[x, y] we have J =
h f , zi, so A is smoothable by Corollary 3.9.
h f = (1, 3, 2, 2, 1, 1). In this case after a non-linear change of coordinates we have
f = g + z2 for g ∈ k[x, y] with Hilbert function (1, 2, 2, 2, 1, 1), see [9, Proposition 4.5, Example 4.6]. The set of those g is irreducible by a result of Iarrobino [9,
Proposition 4.8]. Thus, the set of f is also irreducible. J is generated by f and
a quadric q which may be chosen arbitrarily, modulo h f i2 , thus, the set of pairs
( f , q) is irreducible. It is now enough to find a smooth, smoothable point. Such
a point is given by the ideal I = hx5 + y4 + z2 , xzi⊥ = limt→0 (β γ , αβ , αβ 2 , α 2 β ,
β 4 + t β 3 − 12γ 2, α 5 − 60γ 2).
h f = (1, 2, 2, 2, 1, 1). As in the previous case, after a nonlinear change of coordinates we get f ∈ k[x, y] and the set of f ∈ k[x, y] is irreducible by [9, Proposition 4.8]. J is generated by f and a quadric q with no relations. For general q
after adding a multiple of q to f we get fnew with h fnew = (1, 3, 2, 2, 1, 1) and,
thus, reduce to the previous case.
⊓
⊔

4.8 Case h = (1, 3, 6, 1)
Proposition 4.22. Let h = (1, 3, 6, 1). Then H3h ⊂ R11
3 .
This case is in contrast with previous ones. First, it is easy to check that
H3h = H3h , that is, every local ideal with Hilbert function h is homogeneous. And
second, it is also easy to check that H3h is irreducible, in fact a P9 = Gr(9, 10). The
isomorphism is given by sending an ideal to all its cubic equations. However, in this
set there seem to be no smooth points. We argue by showing that general points in
H3h are smoothable, then by irreducibility so are all points.
Proof. Let I ∈ H3h with inverse system J. Necessarily I and J are homogeneous. Let
f ∈ J be the cubic generator, which is unique up to scalar. We see that H3h = H3h is
parametrized by the point [ f ] in the projective space of cubics in three variables, a
P9 , so once again H3h is irreducible.
The cubic f is the equation of a plane cubic curve. Assume it is a smooth curve.
Then we may change coordinates so that f is in Hesse normal form, that is f =
x3 + y3 + z3 + 6hxyz for some h, see for example [11, Section 3.1.2].
Now J = h f , S2 i. We may directly compute
I = J ⊥ = (αβ 2 , α 2 β , αγ 2 , α 2 γ , β γ 2 , β 2 γ , α 3 − β 3 , α 3 − γ 3 , αβ γ − hγ 3).

30

T. Douvropoulos, J. Jelisiejew, B.I. U. Nødland, Z. Teitler

Corollary 3.8 with c = 2 implies that I is cleavable, hence, it is smoothable. Thus,
all I corresponding to smooth curves are smoothable. By irreducibility, so are all
I ∈ H3h .
⊓
⊔

5 Smoothability of very compressed algebras
In this section we prove Proposition 1.2, in other words we show that each element
of H max,d is smoothable. We begin by noting that the scheme is irreducible.
Lemma 5.1. The locus H max,d is irreducible.
Proof. A scheme in H max,d is uniquely determined by choice of I inside ms and
containing ms+1 . Hence, H max,d is isomorphic to a Grassmannian, thus, irreducible.
⊓
⊔
To check smoothability we verify that a general point of the stratum is obtained as
a k∗ -limit, a notion which we now explain. The scaling (homothety) action of k∗ on
A3 extends to an action on P3 . Take a set Γ of d points in P3 . For every t ∈ k∗ we
may take t · Γ . The k∗ -limit of Γ is Γ ′ = limt→0 (t · Γ ). This is a flat limit, in the
sense of [25, Proposition III.9.8]. It is constructed as follows. Take the graph of the
k∗ -action, which is a family ZΓ◦ ⊂ k∗ × P3 , whose fiber over t ∈ k∗ is t Γ . This family
is just the union of n lines in k∗ × P3 through the points (1, p), where p ∈ Γ . All its
fibers are isomorphic to Γ and it is flat over k∗ . Let ZΓ ⊂ k× P3 be the closure of ZΓ◦ .
This family is flat over k, see [25, Proposition III.9.8]. Finally let Γ ′ = ZΓ ∩ (t = 0).
By construction, Γ ′ is smoothable (as a limit of Γ ) and k∗ -invariant.
A general set Γ of d points imposes independent conditions on forms, hence,
the ideal defining the limit scheme has no small-degree generators. For example,
for d = 11 the algebra Γ ′ has Hilbert function h = (1, 3, 6, 1). After restricting to
general Γ ’s the k∗ -limit can be made relative [8, Proof of Lemma 5.4] and we get a
rational map
(10)
ϕd : Rd P3 99K H max,d ,
where Rd P3 is the smoothable component of the Hilbert scheme of points of P3 .
Lemma 5.2. The map ϕd is dominating for all 8 ≤ d ≤ 95.
Proof. First, we prove that for every 8 ≤ d ≤ 95 there is a smooth point x ∈ Rd P3
such that the tangent map




Tϕd : T Rd P3 → T H max,d
x

ϕd (x)

is surjective. This is verified by a direct computer calculation. See the accompanying
package CombalggeomApprenticeshipsHilbert.m2. Then by [24, Theorem 17.11.1d,
p. 83] the morphism f is smooth at x, thus flat, thus open, and thus the claim.
⊓
⊔
Proposition 5.3. For all d ≤ 95 all schemes in H max,d are smoothable.

The Hilbert scheme of 11 points in A3 is irreducible

31

Proof. By Lemma 5.1, the locus H max,d is irreducible. For d < 8 all schemes are
smoothable by [8]. Assume d ≥ 8. By Lemma 5.2, the map ϕd from (10) is dominating. Hence, a general element of H max,d is smoothable. But smoothability is a
closed property, thus, all elements of H max,d are smoothable.
⊓
⊔
Proof (Proof of Proposition 1.2). When d ≤ 95 the claim follows from Proposition 5.3. When d ≥ 96 the claim follows by dimension count, as in [27].
⊓
⊔
Remark 5.4 (Comparison with the case of 8 points in A4 ). From the case d = 96
onwards we do not get a surjective tangent map and, indeed, the dimension of the
(1,3,6,10,20,35,21)
family H max,96 = H3
is equal to 3·96, thus, a general member of this
family cannot be smoothable for dimensional reasons. (Points in H max,96 define
schemes supported at a single point, so H max,96 would have to be contained in the
boundary of R96
3 .) This was the original example of [27]. Our methods show that
H max,d is smoothable for all d ≤ 95, hence, the bound d = 96 obtained in [27] is
sharp for this method. Note that in [28] another, only partially related, method was
used to prove that H3d is reducible for d ≥ 78. It is currently unclear whether this
other method can yield irreducible components for d ≤ 77.
Even though Tϕd is not surjective for d ≥ 96, we conjecture that the maps
Tϕd are of maximal rank. This is no longer true for A4 : in fact Tϕ8 A4 has 20dimensional image in the 21-dimensional Grassmannian Gr(3, 10), which accounts
for the fact that there are nonsmoothable ideals of degree 8 in A4 , as proven in [8].
An explicit example of such a scheme in A4 = Speck[α , β , γ , δ ] is given by the
ideal (α 2 , αβ , β 2 , αδ + β γ , γ 2 , γδ , δ 2 ) = hxz, xw, yz, yw, xy − zwi⊥ , see [8, Proposition 5.1]. This scheme gives an answer to [41, Problem 3 on Parameters and Moduli].
Acknowledgements This article was initiated during the Apprenticeship Weeks (22 August–
2 September 2016), led by Bernd Sturmfels, as part of the Combinatorial Algebraic Geometry
Semester at the Fields Institute. The authors wish to thank the Fields Institute, the organizers of
the Thematic Program on Combinatorial Algebraic Geometry in Fall 2016, and the organizers of
the Apprenticeship Weeks which took place during the program. We are very grateful to Mark
Huibregtse, Anthony Iarrobino, Gary Kennedy, Greg Smith, Bernd Sturmfels, and several anonymous referees for numerous helpful comments. This work was supported by a grant from the
Simons Foundation (#354574, Zach Teitler). JJ was supported by Polish National Science Center,
project 2014/13/N/ST1/02640. BIUN was supported by NRC project 144013.

References
1. Michael Artin. Deformations of singularities. Notes by C.S. Seshadri and Allen Tannenbaum.
Tata Institute of Fundamental Research, Bombay, India, 1976.
2. Patricia Borges dos Santos, Abdelmoubine Amar Henni, and Marcos Jardim. Commuting
matrices and the Hilbert scheme of points on affine spaces. arXiv:1304.3028, 2013.
3. Winfried Bruns and Jürgen Herzog. Cohen-Macaulay rings, volume 39 of Cambridge Studies
in Advanced Mathematics. Cambridge University Press, Cambridge, 1993.

32

T. Douvropoulos, J. Jelisiejew, B.I. U. Nødland, Z. Teitler

4. Weronika Buczyńska and Jarosław Buczyński. Secant varieties to high degree Veronese reembeddings, catalecticant matrices and smoothable Gorenstein schemes. J. Algebraic Geom.,
23:63–90, 2014.
5. Weronika Buczyńska, Jarosław Buczyński, Johannes Kleppe, and Zach Teitler. Apolarity and
direct sum decomposability of polynomials. Michigan Math. J., 64(4):675–719, 2015.
6. Jarosław Buczyński and Joachim Jelisiejew. On smoothability. In preparation.
7. Enrico Carlini. Reducing the number of variables of a polynomial. In Algebraic geometry and
geometric modeling, Math. Vis., pages 237–247. Springer, Berlin, 2006.
8. Dustin A. Cartwright, Daniel Erman, Mauricio Velasco, and Bianca Viray. Hilbert schemes of
8 points. Algebra Number Theory, 3(7):763–795, 2009.
9. Gianfranco Casnati, Joachim Jelisiejew, and Roberto Notari. Irreducibility of the Gorenstein
loci of Hilbert schemes via ray families. Algebra Number Theory, 9(7):1525–1570, 2015.
10. Gianfranco Casnati and Roberto Notari. On the Gorenstein locus of some punctual Hilbert
schemes. J. Pure Appl. Algebra, 213(11):2055–2074, 2009.
11. Igor V. Dolgachev. Classical algebraic geometry. A modern view. Cambridge University
Press, Cambridge, 2012.
12. David Eisenbud. Commutative algebra, volume 150 of Graduate Texts in Mathematics.
Springer-Verlag, New York, 1995. With a view toward algebraic geometry.
13. David Eisenbud. The geometry of syzygies, volume 229 of Graduate Texts in Mathematics.
Springer-Verlag, New York, 2005. A second course in commutative algebra and algebraic
geometry.
14. Joan Elias and Maria Evelina Rossi. Analytic isomorphisms of compressed local algebras.
Proc. Amer. Math. Soc., 143(3):973–987, 2015.
15. Jacques Emsalem. Géométrie des points épais. Bull. Soc. Math. France, 106(4):399–416,
1978.
16. Barbara Fantechi, Lothar Göttsche, Luc Illusie, Steven L. Kleiman, Nitin Nitsure, and Angelo Vistoli. Fundamental algebraic geometry, volume 123 of Mathematical Surveys and
Monographs. American Mathematical Society, Providence, RI, 2005. Grothendieck’s FGA
explained.
17. John Fogarty. Algebraic families on an algebraic surface. Amer. J. Math, 90:511–521, 1968.
18. Anthony V. Geramita. Inverse systems of fat points: Waring’s problem, secant varieties of
Veronese varieties and parameter spaces for Gorenstein ideals. In The Curves Seminar at
Queen’s, Vol. X (Kingston, ON, 1995), volume 102 of Queen’s Papers in Pure and Appl.
Math., pages 2–114. Queen’s Univ., Kingston, ON, 1996.
19. Lothar Göttsche. Hilbert schemes of zero-dimensional subschemes of smooth varieties, volume 1572 of Lecture Notes in Mathematics. Springer-Verlag, Berlin, 1994.
20. Gerd Gotzmann. Eine Bedingung für die Flachheit und das Hilbertpolynom eines graduierten
Ringes. Math. Z., 158(1):61–70, 1978.
21. Daniel R. Grayson and Michael E. Stillman. Macaulay2, a software system for research in
algebraic geometry. Available at http://www.math.uiuc.edu/Macaulay2/.
22. Gert-Martin Greuel and Gerhard Pfister. A Singular introduction to commutative algebra.
Springer, Berlin, extended edition, 2008. With contributions by Olaf Bachmann, Christoph
Lossen and Hans Schönemann, With 1 CD-ROM (Windows, Macintosh and UNIX).
23. Alexander Grothendieck. Fondements de la géométrie algébrique. [Extraits du Séminaire
Bourbaki, 1957–1962.]. Secrétariat mathématique, Paris, 1962.
24. Alexander Grothendieck. Éléments de géométrie algébrique. IV. Étude locale des schémas et
des morphismes de schémas IV. Inst. Hautes Études Sci. Publ. Math., (32):361, 1967.
25. Robin Hartshorne. Algebraic geometry. Springer-Verlag, New York, 1977. Graduate Texts in
Mathematics, No. 52.
26. Robin Hartshorne. Deformation theory, volume 257 of Graduate Texts in Mathematics.
Springer, New York, 2010.
27. Anthony Iarrobino. Reducibility of the families of 0-dimensional schemes on a variety. Invent.
Math., 15:72–77, 1972.
28. Anthony Iarrobino. Compressed algebras: Artin algebras having given socle degrees and maximal length. Trans. Amer. Math. Soc., 285(1):337–378, 1984.

The Hilbert scheme of 11 points in A3 is irreducible

33

29. Anthony Iarrobino and Jacques Emsalem. Some zero-dimensional generic singularities; finite
algebras having small tangent space. Compositio Math., 36(2):145–188, 1978.
30. Anthony Iarrobino and Vassil Kanev. Power sums, Gorenstein algebras, and determinantal
loci, volume 1721 of Lecture Notes in Mathematics. Springer-Verlag, Berlin, 1999. Appendix
C by Anthony Iarrobino and Steven L. Kleiman.
31. Joachim Jelisiejew. Classifying local artinian gorenstein algebras. Collectanea Mathematica,
68(1):101–127, 2017.
32. Hans Kleppe. Deformation of schemes defined by vanishing of Pfaffians. J. Algebra,
53(1):84–92, 1978.
33. Jan O. Kleppe and Rosa M. Miró-Roig. The dimension of the Hilbert scheme of Gorenstein
codimension 3 subschemes. J. Pure Appl. Algebra, 127(1):73–82, 1998.
34. Francis S. Macaulay. Some properties of enumeration in theory of modular systems. Proc.
London Math. Soc., 25:531–555, 1927.
35. Francis S. Macaulay. The algebraic theory of modular systems. Cambridge Mathematical
Library. Cambridge University Press, Cambridge, 1994. Revised reprint of the 1916 original,
With an introduction by Paul Roberts.
36. Guerino Mazzola. Generic finite schemes and Hochschild cocycles. Comment. Math. Helv.,
55(2):267–293, 1980.
37. Ezra Miller and Bernd Sturmfels. Combinatorial commutative algebra, volume 227 of Graduate Texts in Mathematics. Springer-Verlag, New York, 2005.
38. Hiraku Nakajima. Lectures on Hilbert schemes of points on surfaces, volume 18 of University
Lecture Series. American Mathematical Society, Providence, RI, 1999.
39. Kristian Ranestad and Frank-Olaf Schreyer. Varieties of sums of powers. J. Reine Angew.
Math., 525:147–181, 2000.
40. Klemen Šivic. On varieties of commuting triples III. Linear Algebra Appl., 437(2):393–460,
2012.
41. Bernd Sturmfels. Fitness, Apprenticeship, and Polynomials. In Gregory G. Smith and Bernd
Sturmfels, editors, Combinatorial Algebraic Geometry. Springer, to appear. arXiv:1612
.03539.

