Deformations of zero-dimensional schemes and applications.
MSc thesis, adviser: Jarosław Buczyński
Joachim Jelisiejew∗

arXiv:1307.8108v2 [] 2 Apr 2014

April 3, 2014

Abstract
In this thesis we consider the geometry of the Hilbert scheme of points in Pn , concentrating
on the locus of points corresponding to the Gorenstein subschemes of Pn . New results
are given, most importantly we provide tools for constructing flat families and analysis of
finite Gorenstein algebras and expose their efficiency by proving smoothability of certain
families of algebras. Much of the existing theory and folklore is reviewed, providing a microencyclopaedic reference.
keywords: flatness, smoothability, finite Gorenstein schemes, Hilbert function decomposition, Hilbert scheme.
AMS Mathematical Subject Classification 2010: 13D10, 13H10, 14C05, 14D06.

1

Introduction

The Hilbert scheme of r-points of Pn parametrises closed zero-dimensional subschemes of Pn of
degree r, or more precisely ﬂat families of closed subschemes of degree r. It is one of the most
important moduli spaces. Constructed by Grothendieck [Gro95] in 1961 it still draws much of
attention because many natural questions about its structure are still open. It is known to be
projective, by construction, and connected by a result of Hartshorne [Har66]. It is unknown
exactly in which cases it is irreducible, though if r and n large, it is not, see [CEVV09]. An
intriguing phenomena is that all proofs of reducibility are somehow indirect, resting on a dimension count on a tangent space or more sophisticated invariants. Much work is done to develop
direct criteria, see e.g. [EV10]. Similarly it is unknown whether the Hilbert scheme is reduced,
though for large r, n it is believed that it has arbitrarily bad singularities such as non-reduced
irreducible components.
The problems with describing the exact structure of the Hilbert scheme of points had drawn
attention to its important open subschemes such as the open Gorenstein locus parametrising
Gorenstein subschemes of Pn , see [CN09]. Also this subset is known, for large r, n, to be reducible,
see [Iar94]. In this paper we review much of the theory of zero-dimensional Gorenstein schemes
and provide new tools for studying the Gorenstein locus in the aim to prove irreducibility of the
locus for small r and arbitrary n.
This research is tightly connected with the study of secant and cactus varieties of a Veronese
embedding ν : Pn → PN : the zero-dimensional Gorenstein (resp. smoothable Gorenstein) subschemes of Pn of degree r are used to parametrise r-th cactus (resp. r-th secant) variety of ν (Pn ).
See [BB10], especially Theorem 1.6 and Subsection 8.1, for details.
∗

Supported by the project “Secant varieties, computational complexity, and toric degenerations” realised within
the Homing Plus programme of Foundation for Polish Science, co-financed from European Union, Regional Development Fund.

1

1.1

Notation and text structure

All considered rings and algebras are commutative and with unity which is preserved by homomorphisms. Throughout the paper k denotes a ﬁeld and for a k-vector space V the symbol
V ∗ denotes Homk (V, k); we will not use the star to refer to invertible elements of a ring. The
expression I ⊳ A means “I is an ideal of a ring A”. Where no confusion is likely to occur we
use (f1 , . . . , fn ) to denote the ideal generated by rings elements f1 , . . . , fn . A finite module (or
vector space) is by deﬁnition a ﬁnitely generated module. We will use the word dimension exclusively for Krull dimension. When speaking about linear dimension over k we will use the words
rank and corank instead of dimension and codimension and the symbol rkk instead of dimk . For
example Spec k[ε]/ε2 has dimension zero and rank two over k.
The text is divided into three expository sections and a section presenting original research
results. Sections 2 and 3 recall the notions of ﬂatness and Hilbert scheme. The emphasis is on ﬂatness of projective and aﬃne morphisms, anticipating our interest in ﬁnite morphisms. Section 4
is almost entirely algebraic or rather linear-algebraic, being concerned with zero-dimensional
Gorenstein rings and their exploration through Macaulay’s inverse systems. The paper culminates with the research Section 5 analysing the geometry of the Gorenstein locus of Hilbert points
in Pn .
Almost all results outside Section 5 are well-known or easy consequence of well-known results,
however in many cases we did not ﬁnd a suitable reference, thus being obliged to provide a proof.
We have also provided proof of Theorem 2.20, whose original proof is complicated in the general
setting of [Bjö79], and proofs of results from Subsection 4.4 which more or less follow [Iar94].
Moreover all the results, with the notable exception of Theorem 2.20 and its supporting theory,
were previously used in the setting and are considered standard. On the other hand all results
contained in Section 5 are, as far as we know, original. They are put merely as an illustration of
the introduced theory. Some of the techniques used can be found in [Jel12], and a more thorough
treatment will be given in a joint paper with Gf. Casnati and R. Notari.

2

Flatness

In this section we recall some standard material on ﬂatness, mainly following [Har77, Section
III.9].
Definition 2.1. Let A be a ring and M be an A-module. We say that M is a ﬂat A-module if
the functor (−) ⊗A M is exact.
This deﬁnition comes with a geometric counterpart, see Lemma 2.3 below for the connection:

Definition 2.2. Let f : X → Y be a morphism of schemes and let F be a quasi-coherent sheaf
on X. We say that F is flat over Y at a point x ∈ X if the stalk Fx is a flat OY,y -module, where
y = f (x) and we consider OX,x as an OY,y -module via the natural map. We say that F is ﬂat
over Y if it is flat at every point of X. We say that the morphism X → Y is flat if and only if
OX is flat over Y .

Below we recall some basic properties of ﬂatness, for simplicity the ﬁrst two are stated only
for ﬂat morphisms:
Lemma 2.3.
1. Flatness is stable under base change: for flat X → Y and any Y ′ → Y the
morphism X ×Y Y ′ → Y ′ is flat;
2. composition of flat morphisms is flat;
3. let A be a ring and M be an A-module. The sheaf F = M̃ on the affine scheme Y = Spec A
is flat over Y (with respect to id : Y → Y ) if and only if M is a flat A-module.

Proof. See [Har77, Theorem III.9.2].

2

2.1

Criteria for flatness

We will now investigate the ﬂatness of modules. There are numerous criteria for ﬂatness, we
recall some of them below.
Lemma 2.4. Let M be an A-module. If every finitely generated A-submodule of M is flat over
A then M is flat over A.
Proof. The module M is a direct limit of its ﬁnitely generated
submodules Mn . Take any short

exact sequence S of A-modules, then M ⊗A S ≃ lim Mn ⊗A S ≃ lim (Mn ⊗A S) and this is a
−→
−→
short exact sequence of A-modules because it is a ﬁltered direct limit of short exact sequences
of A-modules.
Lemma 2.5. A finitely generated module over a noetherian local ring is flat if and only if it is
free.
Proof. See [Wei94, Thm 3.2.7].
Lemma 2.6. Flat modules are torsion free. A module over a principal ideal domain (PID) is
flat if and only if it is torsion free. In particular a submodule of a flat module over a PID is a
flat module.
Proof. See [Eis95, Cor 6.3] and Lemma 2.4. Note that we do not assume that the module is
ﬁnitely generated.
We will be interested in connections of ﬂatness and the behaviour of ﬁbers of morphism. Here
it is important to note, that we should make some additional assumptions on the morphism:
Example 2.7. The hyperbola
Spec

k[x, t]
→ Spec k[t]
(tx − 1)

is flat over Spec k[t], as k[x, t]/(tx − 1) ≃ k[x, x−1 ] is torsion free over k[x−1 ], but on the other
hand the fiber over (t − α) for an invertible α ∈ k is isomorphic to a point Spec k, and over (t)
the fiber is empty.
On the other hand families with well-behaved fiber lengths are not necessary flat. For example
we can add the origin to the aforementioned hyperbola, obtaining
Spec

k[x, t]
→ Spec k[t],
(tx − 1) ∩ (t, x)

which has fibers over all (t − α) for α ∈ k isomorphic to Spec k. But this morphism is not
flat! In fact t · (tx − 1) ∈ (tx − 1) ∩ (t, x) and tx − 1 6∈ (t, x), thus t is a zero-divisor on
k[x, t]/ ((tx − 1) ∩ (t, x)), contradicting Lemma 2.6. Geometrically this corresponds to the fact
that the origin and the hyperbola are different connected components.

2.2

Flatness for coherent sheaves on projective space

Example 2.7 shows that, as usually when thinking about ﬁbers, one should assume that the
morphism is proper. Since ultimately we are interested in ﬁnite morphisms, which are projective,
we will now consider only the stronger notion of projective morphism.
Definition 2.8. Let T be a noetherian scheme and F be a coherent sheaf on PnT . Define, for
any point t ∈ T , the Hilbert polynomial Pt of the sheaf F by the property

Pt (m) = rkk(t) H 0 (PnT )t , Ft (m) for m large enough,
3

where Ft is the scheme-theoretic fiber of F over the point t ∈ T . If F = OZ is the structure sheaf
of a projective scheme Z, then this agrees with the usual definition of the Hilbert polynomial of
Z.
By vanishing of higher cohomologies the deﬁnition is correct, see [Har77, III.5 Ex 5.2].
Theorem 2.9. Let T be an integral noetherian scheme and F be a coherent sheaf on PnT . Then
the following are equivalent:
1. the sheaf F is flat over T ;
2. the Hilbert polynomial Pt is independent of the choice of t ∈ T .

Proof. See [Har77, Thm III.9.9].

We are mostly interested in the case when the ﬁbers of F are ﬁnite, so the Hilbert polynomial
has degree zero.
Remark 2.10. If F is flat and Pt is a polynomial of degree zero, then is it equal to rkk(t) Γ (Ft ).
This number is called the rank of sheaf F at t ∈ T .

The typical case is F being the structure sheaf of a projective scheme X ⊆ PnT such that
X → T is ﬂat and with ﬁnite ﬁbers. If T is of ﬁnite type over a ﬁeld, then we have a useful
corollary of Theorem 2.9:

Corollary 2.11. Let T be an integral scheme of finite type over a field and F = OZ be the
structure sheaf of a scheme Z projective over T . Suppose that for every closed t ∈ T the rank of
F is finite and does not depend on the choice of t. Then F is flat over T .

Proof. By Theorem 2.9 and Remark 2.10 it is enough to show that rkk(t) Γ (Ft ) is independent of
the choice of point (not necessarily closed) t ∈ T . This is true for closed points, by assumption.
Note that any open subset of T contains a closed point. By semicontinuity of rank (see
[Har77, II.5 Ex 5.8a]), the set of t ∈ T such that the rank is minimal is open, thus it contains a
closed point. But now it follows that it contains all closed points, so in fact it is equal to T .

2.3

Flatness for filtered modules

Let V be a closed subscheme of Ank . In this section we will investigate ﬂatness of V under a
projection Ank → A1k , making use of the gradation on Ank . Of course the gradation may not give
a gradation on the algebra of global functions on V , but it always gives a ﬁltration.
Definition 2.12 (Filtration). Let A be a ring. A ﬁltration of A is an infinite sequence of abelian
subgroups of A:
A0 ⊆ A1 ⊆ · · · ⊆ An ⊆ . . .

such that

1. 1 ∈ A0 and An · Am ⊆ An+m for all n, m ∈ Z≥0 ;
S
2.
An = A.

Definition 2.13 (Rees algebra of a ﬁltration). If A is a ring filtered by An , then the abelian
subgroup
M
An tn ⊆ A[t]
A = A(An ) =
n∈Z≥0

of the polynomial ring A[t] is actually a subring, called the Rees algebra of the ﬁltration, see
[Eis95, Section 6.5]. We define the associated graded ring of A as
gr A = A/(t).
L
As an A0 -module gr A is isomorphic to n≥0 An /An−1 , where A−1 = 0. Note that A = A/(t−1).
4

Example 2.14.
1. Every ring A can be filtered trivially by letting An = A for all n ∈ Z≥0 ,
then the associated graded ring is just A.
P
2. If A = A0 ⊕ A1 ⊕ . . . is a Z≥0 -graded ring, then we obtain a filtration An := m≤n Am .
In this situation we have a natural isomorphism of A0 -algebras A ≃ gr A coming from
An /An−1 ≃ (A0 + · · · + An ) / (A0 + · · · + An−1 ) ≃ An .
Definition 2.15 (Filtration on a module). Let A be a filtered ring and M be an A-module.
A ﬁltration on M is an infinite sequence of abelian subgroups of M :

such that An · Mm ⊆ Mn+m
associate the Rees module

M0 ⊆ M1 ⊆ · · · ⊆ Mn ⊆ . . .
S
for all n, m ∈ Z≥0 and n Mn = M . To a filtered module M we can
M = M(Mn ) =

M

n∈Z≥0

Mn tn ⊆ M [t]

which is naturally an A-module, and the associated graded module gr M = M/(t)
is
L · M which
n
naturally a gr A-module. Note that for any N ∈ Z≥0 the subgroup M≥N := n≥N Mn t ⊆ M
is an A-submodule of M.
When speaking about the ﬁltered rings and modules we will use the convention that X is the
Rees algebra/module of an algebra/module X. One consequence of the above deﬁnitions is the
following corollary.
Corollary 2.16. Let A be a filtered ring and B ⊆ A0 be a subring. Suppose that M is a filtered
A-module. If M is finitely generated over A then gr M and M have the same B-length (possibly
infinite).
Proof. Recall that B-length is additive on short exact sequences of B-modules by the JordanHölder theorem, see [Eis95, Thm 2.13]. Fix a natural number n. The decomposition of M via
the exact sequences
0 → Mn−1 →M → M/Mn−1 → 0,

0 → Mn−2 →Mn−1 → Mn−1 /Mn−2 → 0,
...

0 → M0 →M1 → M1 /M0 → 0
proves that if for inﬁnitely many natural n the quotients Mn /Mn−1 are non-zero then the Blengths of M, gr M are inﬁnite. Consequently, we may assume that there exists n such that
Mn = Mn+1 = · · · = M . Then the above decomposition proves that M and gr M have equal
B-lengths.
An important thing about the associated graded modules is that an exact sequence of ﬁltered
modules gives rise to an exact sequence of associated graded modules:
Proposition 2.17. Let k be a field and A be a filtered k-algebra. Suppose that filtered A-modules
M, N, P form an exact sequence
0 → N → M → P → 0,
such that the filtration Nn is the preimage of Mn and Pn is the image of Mn for all n ∈ Z≥0 .
This sequence gives rise to exact sequences
0→N →M→P →0

and

0 → gr N → gr M → gr P → 0.
5

Proof. The existence and exactness of the ﬁrst sequence follows from assumptions. For the second
one, note that P ⊆ P [t] is a torsion free k[t]-module, so it is ﬂat. Now apply (−) ⊗k[t] k[t]/t
obtaining an exact sequence
0 → N /tN → M/tM → P/tP → 0.
The following proposition computes the associated graded in the simplest case – for a cyclic
submodule of a graded module.
L n
L n
Proposition 2.18. Let A =
A be a Z≥0 -graded ring and M =
M be a Z≥0 -graded
A-module. Suppose that (s) ⊳ M is generated by an element
s = s1 + · · · + sn ,
where si ∈ M i and sn satisfies annA (sn ) ⊆ annA (s). The ideal (s) has a filtration coming from
the filtration on M given as in the Example 2.14, and, with respect to this filtration,
gr(s) ≃ (sn ).
Proof. The isomorphism i : gr M ≃ M from
 Example 2.14 sends m0 + · · · + mn ∈ Mn /Mn−1 ,
j
where mj ∈ M , to mn . Clearly i gr(s) is a submodule of M containing (sn ). Take any
l ∈ Z≥0 and a non-zero element a · s ∈ Ml /Ml−1 . Let a′ be the homogeneous component of a of
maximal degree such that a′ · sn 6= 0. From annA (sn ) ⊆ annA (s) it follows that a′ · sn is the
leadingcoeﬃcient of a · s. Under i the element a · s is mapped to a′ · sn ∈ (sn ), which proves
i gr(s) ⊆ (sn ).
The presented methods, although very elementary, are quite handy when dealing with families
of ﬁnite algebras, as the following example shows:

Example 2.19. Let k be an algebraically closed field, then Spec k[x, y, t]/(x2 + t · y · x, y 2 ) →
Spec k[t] is flat.
Indeed if we take the grading on k[x, y, t]/y 2 by powers of x, then the top degree form of
2
x +t·y ·x is equal to x2 and thus independent of t. It follows that the ﬁber over each closed point
t ∈ T has k-rank equal to rkk k[x, y]/(x2 , y 2 ) and by Corollary 2.11 we get that the morphism is
ﬂat.
A powerful generalization is given by the following theorem. Note that there are no assumptions neither on the ring nor on the module, in particular the module does not have to be
ﬁnite.
Theorem 2.20. Let A be a filtered ring and M be a filtered A-module. If gr M is flat over gr A,
then M is flat over A.
Sketch of proof. This is a special case of [Bjö79, Prop 3.12].
We will prove the theorem with an additional assumption that A is an algebra over a ﬁeld
k ⊆ A0 . Choose a free resolution P• of the Rees module M in the category of A-modules. Since
M ⊆ M [t] is ﬂat over k[t] by Lemma 2.6 it follows that P• ⊗k[t] k[t]/t is a free resolution of
gr M. Choose any I ⊳ A and equip it with the induced ﬁltration, obtaining the Rees module I.
Note that I is ﬂat over k[t], again by Lemma 2.6. Since gr M is a ﬂat gr A-module it follows
that gr I ⊗gr A (−) is exact on P• ⊗k[t] k[t]/t, but as gr A = A/t this shows that

(1)
I ⊗A P• ⊗k[t] k[t]/t ≃ gr I ⊗gr A P• ⊗k[t] k[t]/t

is exact.

6

The module M is ﬂat over k[t], thus M ⊗ I ⊆ M is also ﬂat. Similarly for any i the
module I ⊗A Pi is ﬂat over k[t], in particular multiplication by t is injective on I ⊗A Pi . From
(1) it follows that the homology modules Hi of I ⊗A Pi satisfy t · Hi = Hi . This means that
im di+1 + t · ker di = ker di , where di : Pi → Pi−1 . Since im di+1 , ker di are ﬁltered A-modules one
checks directly that Hi = 0, thus Pi ⊗A I is exact. Now the complex P• ⊗A I ⊗k[t] k[t]/(t − 1) ≃
P• /(t − 1) ⊗A I is exact and A-modules Pi /(t − 1) form a free resolution of M/(t − 1) = M ,
hence we have TorA
1 (I, M ) = 0 and this is a suﬃcient condition for A-ﬂatness of M by [Wei94,
Prop 3.2.4].
Example 2.21.

1. The family
Spec k[x, y, t]/(x2 + t · y · x) → Spec k[t] is flat.

Indeed, we choose a trivial grading on k[t], grading by powers of x on k[x, y, t] and use
Propositions 2.17, 2.18 to compute gr k[x, y, t]/(x2 + t · y · x) ≃ k[x, y, t]/(x2 ) which is
clearly ﬂat over k[t]. Note that the grading preserves k[t] and so this is an isomorphism of
k[t]-modules.
2. Suppose we would like to compute
gr(x2 − 1, xy − 1),
where (x2 − 1, xy − 1) ⊳ k[x, y], with respect to the grading by total degree. Then
x − y = y · (x2 − 1) − x · (xy − 1) ∈
/ (x2 , xy)
is an element of gr(x2 − 1, xy − 1), so the leading forms of x2 − 1, xy − 1 do not generate
gr(x2 − 1, xy − 1). This suggests that x2 − 1, xy − 1 is not a “good” generating set; a “better
one” is x − y, x2 − 1 because gr(x2 − 1, xy − 1) = (x − y, x2 ). One can see a connection
with Gröbner bases.

3

The Hilbert scheme

In this section we follow a very accessible introduction by Strömme [Str96].
One advantage of ﬂat projective families is that there exists a good scheme parametrising
them, known as the Hilbert scheme. We need some deﬁnitions.
Definition 3.1 (Hilbert functor). Let X be projective an S-scheme. Define a functor
HilbX/S : Schop
S → Set
by putting, for any S-scheme T ,
HilbX/S (T ) := { closed subschemes Z ⊆ X ×S T such that the projection Z → T is flat }
and for any morphism T ′ → T the map HilbX/S (T ) → HilbX/S (T ′ ) sending Z ⊆ X ×S T to
Z ′ = Z ×T T ′ . In a similar way for any polynomial P ∈ Q[x] we can define a (sub)functor
HilbPX/S : Schop
S → Set by letting
HilbPX/S (T ) :=



closed subschemes Z ⊆ X ×S T such that the projection Z → T is flat

and the Hilbert polynomial of (OZ )t is equal to P for any t ∈ T ,

see Theorem 2.9.
7

Theorem 3.2. Suppose that X is projective over a noetherian scheme S. For any polynomial
P ∈ Q[x] the functor HilbPX/S is represented by a projective scheme HilbPX/S and the functor
HilbX/S is represented by a scheme HilbX/S equal to the countable disjoint union of all schemes
HilbPX/S where P ∈ Q[x] (some of which are empty). We call this scheme the Hilbert scheme of
X/S.
Proof. See [Har10, Thm 1.1].
One important consequence of representability is the fact that S-points of HilbX/S correspond
to closed subschemes of X. For a closed subscheme Z ⊆ X by [Z] ∈ HilbX/S we denote the
corresponding S-point.
Not much is known about the local geometry of the Hilbert scheme; for example in many cases
we do not know if this scheme is reduced. However, we have the following result by Grothendieck,
computing the tangent space at a point:
Theorem 3.3. Let k be a field, X be projective over Spec k and Z ⊆ X be a closed subscheme
given by the ideal sheaf I. The tangent space to HilbX/k at the point [Z] is isomorphic to
H 0 Z, NZ/X , where NZ/X is the normal sheaf of Z in X.
Proof. By classifying ﬂat families over k[ε]/ε2 ; see [Har10, Thm I.2.4].

Being interested in ﬁnite schemes, we will use only a local consequence of this result:
Corollary 3.4. Suppose that k is a field, X is projective over Spec k and let Z ⊆ X be a
closed scheme with support contained in an open affine subscheme U = Spec A of X, where the
subscheme Z is cut out by an ideal I ⊳ A. Then the tangent space to HilbX/k at [Z] is isomorphic
to HomA/I I/I 2 , A/I .

Proof. Let I be the ideal sheaf of Z ⊆ X. Recall that NZ/X = HomOX I/I 2 , OX /I may be
regarded as a coherent sheaf on X, by [Har77, Remark II.8.9.1]. Clearly, its global sections are
equal to its sections over U :




H 0 X, NZ/X = H 0 U, HomOX I/I 2 , OX /I ≃ HomA I/I 2 , A/I ≃ HomA/I I/I 2 , A/I ,
because on the aﬃne scheme U we have the equivalence of categories of quasi-coherent sheaves
and modules.

3.1

The smoothable component

Fix a natural number r and a projective variety X over an algebraically closed ﬁeld k. In this
subsection we investigate the scheme HilbrX/k , where we think of r ∈ Z as a constant polynomial.
The scheme HilbrX/k is commonly referred as to “the Hilbert scheme of r points of X”. As the name
suggests, the simplest example of a zero-dimensional subscheme of degree r is a disjoint union of
r reduced points of X. The closure of points of HilbrX/k corresponding to such subschemes will
be called the smoothable component, see Deﬁnition 3.8. The main goal of this subsection is to
show that it is indeed an irreducible component of HilbrX/k .
Lemma 3.5. Let {p1 , . . . , pr } = Z ⊆ X be a disjoint union of r closed points; then the tangent
space to HilbrX/k at the point [Z] has k-rank equal to the sum of k-ranks of tangent spaces to X
at p1 , p2 , . . . , pr .
Proof. Since X is projective, we can ﬁnd an aﬃne open subset Spec A of X containing p1 , . . . , pr .
By Corollary 3.4 it is enough to compute rkk HomA/I I/I 2 , A/I where I ⊳ A is the (ﬁnitely
8

generated) ideal of Z; in fact I = m1 ∩ · · · ∩ mr where m1 , . . . , mr are ideals corresponding to
p1 , . . . , pr . The module I/I 2 is supported at p1 , . . . , pr , so
X


rkk HomA/I I/I 2 , A/I =
rkk Hom(A/I)mi (I/I 2 )mi , (A/I)mi
1≤i≤r

=

X

1≤i≤r


rkk Homk mi /m2i , k ,

since (A/I)mi ≃ A/mi ≃ k for every i.
Now we will describe an important open subset of HilbrX/k . Let Xi = X for i = 1, 2, . . . , r
and set
X r := X1 × X2 × · · · × Xr

with projections πi : X r → Xi for i = 1, . . . , r. Denote by ∆ ⊆ X r the union of all pullbacks of
diagonals ∆ij ⊆ Xi × Xj , where 1 ≤ i < j ≤ r. Let Xsmooth be the set of smooth points of X
r
and set U = Xsmooth
\ ∆; this is an open set in X r . Let Zi ⊆ X r × X be the pullback of the
diagonal ∆i ⊆ Xi × X and take
Z := Z1 ∪ · · · ∪ Zr ,

ZU = Z ×X r U.

Proposition 3.6. The family ZU → U is flat over U and thus gives a morphism
ϕ : U → HilbrX/k .
Proof. Since Z → X is projective and ZU → U is its pullback, so it is a projective morphism.
The ﬁber over a closed point (x1 , x2 , . . . , xr ) ∈ U is just O{x1 }∪···∪{xr } , so the morphism is quasiﬁnite with ﬁbers of rank r, thus ﬁnite by [GW10, Cor 12.89] and OZU is a coherent sheaf over U .
Since U is open in the variety X r it is integral, so from Corollary 2.11 it follows that ZU → U
is ﬂat.
Proposition 3.7. The morphism ϕ : U → HilbrX/k defined in Proposition 3.6 is flat, in particular
open. The image of ϕ has dimension r · dim X.
Proof. Denote by im ϕ the scheme-theoretic image of ϕ. The morphism ϕ has ﬁnite ﬁbers over
closed points, thus the dimension of im ϕ is not less than dim U , by [Eis95, Thm 10.10]. Since
im ϕ is projective and irreducible, its dimension is equal to the dimension of the local ring at any
point of im ϕ. Take u ∈ U . By Lemma 3.5 we see that the tangent spaces at u and ϕ(u) have
the same k-rank. In particular
dim U ≤ dim im ϕ = dim Oim ϕ,ϕ(u) ≤ dim OHilbrX/k ,ϕ(u) ≤ rkk THilbrX/k ,ϕ(u) = rkk TU,u = dim U,
as U is smooth. This shows that HilbrX/k is smooth at ϕ(u). Now the result follows as a special
case of [Eis95, Thm 18.16].
Now we deﬁne, for a projective variety X, the smoothable component.
Definition 3.8. Let HilbrX/k ◦ be the irreducible component of the Hilbert scheme containing
the image of the morphism ϕ : U → HilbrX/k defined in Proposition 3.6. We call HilbrX/k ◦ the
smoothable component of the Hilbert scheme HilbrX/k . It has dimension r · dim X.

9

3.2

Smoothability

Let X be as in the previous subsection. One of the central questions of the theory of Hilbert
schemes of points is “for which r it is true that HilbrX/k = HilbrX/k ◦ ?” and its reﬁnements. To give
some down-to-earth conditions equivalent to this equality, we introduce the notion of smoothing.
Definition 3.9. A (flat) deformation is a flat family Y → B, where B is irreducible; we call B
the base of deformation.
Let R be a closed subscheme of X. A smoothing of R in X is a closed subscheme Y ⊆ B × X
such that the morphism Y → B is proper and a flat deformation with fiber Yb = {b} × R at some
closed point b ∈ B and Yη smooth at the generic point η ∈ B. We say that R is smoothable in
X if there exists a smoothing of R in X.
Intuitively the above deﬁnition says: to deduce that [R] ∈ HilbrX/k ◦ we ﬁnd a morphism
B → HilbrX/k such the generic point of B maps into the interior of HilbrX/k ◦ and a special
point maps to [R]. The condition of being proper is technical, connected with the fact that the
Hilbert scheme is deﬁned only for projective X, but important — otherwise it would be easy
to e.g. deform two points to only one point or one point to an empty scheme, see Example 2.7.
Remark 3.10. The existence of smoothings Y1 → B1 , . . . , Yn → Bn of connected components of
R implies the existence of a smoothing of R over B1 × · · · × Bn . This leads one to the conclusion
that when considering smoothings of finite R it is enough to consider those R which are supported
at a single point.
The following proposition together with Proposition 3.13 shows a connection between smoothability and the smoothable component:
Proposition 3.11. Let X = Pnk and R ⊆ X be a zero-dimensional closed subscheme of degree
r. The following conditions are equivalent
1. [R] ∈ HilbrX/k ◦ ;
2. there exists a smoothing of R in X;
3. there exists a smoothing of R in X over a base D = Spec k⟦x⟧.
Proof. This is [CEVV09, Lem 4.1].
It is natural to ask what is the class of schemes Z such that R is smoothable in Z. The
following lemma shows that this class is in some sense directed; this answers [BGL10, Question
2.12].
Lemma 3.12. Let ϕ : Y1 → Y2 be an affine morphism of schemes and suppose that R ⊆ Y1 is
a zero-dimensional subscheme of Y1 such that im ϕ(R) ≃ R. If R is smoothable in Y1 , then it is
smoothable in Y2 .
Proof. Let D = Spec k⟦x⟧ and suppose that Z ⊆ Y1 × D is a smoothing of R in Y1 . We claim
that Z ′ := im(ϕ × id)(Z) ⊆ Y2 × D is a smoothing of im ϕ(R) in Y2 . It would suﬃce to show
that ϕ′ = ϕ × idD gives an isomorphism of Z and Z ′ as schemes over D. Let t ∈ D denote the
closed point of D. Since R = Zt , im ϕ(R) = Zt′ are ﬁnite and Z → D is proper, it follows that Z
is ﬁnite over D, then Z ′ is also ﬁnite over D. In particular Z, Z ′ are aﬃne. Now Zt ≃ Zt′ and Z
is ﬂat over D, so the result follows from Nakayama’s lemma (see [Eis95, Cor 4.8]).
At the end, we note the following important result from [BB10], which uses and generalizes
[CN09, Lem 2.2]:

10

Proposition 3.13. Suppose that X and Y are two projective varieties over an algebraically
closed field of characteristic zero. Let R be a zero-dimensional scheme. Fix closed embeddings
R ⊆ X and R ⊆ Y . If R is smoothable in Y and R ⊆ X is supported in the smooth locus of X,
then R is smoothable in X.
Proof. See [BB10, Prop 2.1].
It is important to know that there are successful attempts of proving smoothability of zerodimensional schemes by parametrising the Hilbert scheme and using computer algebra systems,
see [BCR12].

4

Gorenstein schemes and algebras

This large section is devoted to proving various properties of Gorenstein schemes, needed for the
later considerations on the points of the Hilbert scheme.
In this section we will consider only zero-dimensional noetherian schemes. They are aﬃne,
so we will talk of rings A rather than schemes Spec A. Let us ﬁrst state the preliminaries needed
for the deﬁnition of a zero-dimensional Gorenstein module. We mainly follow [Eis95, Chapter
21].
If A is a ring, M is an A-module and I ⊳ A then we denote
ann (M ) := {a ∈ A | aM = 0} ,

annM (I) := (m ∈ M | Im = 0) .

Remark 4.1. Finitely generated modules over a zero-dimensional noetherian ring are artinian.
Definition 4.2. Let (A, m, k) be a zero-dimensional local ring and M be a finitely generated
A-module. Define the socle of M to be the annihilator of m. We denote this submodule by
soc(M ) = annM (m).
Recall that a submodule N ⊆ M is an essential submodule of M if N ∩ M ′ 6= 0 for any
submodule 0 6= M ′ ⊆ M . The following lemma justiﬁes the use of the word “socle”; it is a
standard exercise in the theory of modules, see e.g. [Lam91, 2.4 Ex. 18].
Lemma 4.3. Under the assumptions of Definition 4.2, the socle of M is the smallest, with
respect to inclusion, essential submodule of M .
Proof. First, let us show that soc(M ) is essential. Take any nonzero M ′ ⊆ M . The sequence
M ′ ⊇ mM ′ ⊇ m2 M ′ ⊇ . . . is eventually constant: there exists n such that mn M ′ = mn+1 M ′
and by Nakayama’s lemma (see [Eis95, Cor 4.8]) we get mn M ′ = 0. Let l ≥ 0 be the maximal
natural number such that ml M ′ 6= 0, then ml M ′ ⊆ M ′ ∩ soc(M ).
Now, if m ∈ soc(M ), then Am is a simple module, so any essential submodule of M contains
it.
The proof of Lemma 4.3 motivates the following deﬁnition:
Definition 4.4. Let (A, m, k) be a zero-dimensional local ring and M be a finitely generated
A-module. We say that M is Gorenstein if and only if rkk soc(M ) = 1. If M is Gorenstein then
the socle degree of M is the maximal l such that ml M 6= 0.
Remark 4.5. Since soc(M ) ≃ HomA (k, M ) and any zero-dimensional local ring is (trivially)
Cohen-Macaulay this definition agrees with the usual definition of Gorenstein rings. There is an
important connection between Gorenstein rings and duality theory, see [Eis95, Section 21.3].
Proposition 4.6. Let (A, m, k) be a zero-dimensional local ring. Then the following are equivalent
11

1. A is Gorenstein,
2. A is injective as an A-module.
3. the canonical module ωA is isomorphic to A as an A-module.
Proof. The canonical module is deﬁned as a consequence of [Eis95, Prop 21.1] and the above
statement is a part of [Eis95, Thm 21.5].
For arbitrary rings being Gorenstein is deﬁned as a stalk-local property:
Definition 4.7. Let A be a zero-dimensional ring and M be a finitely generated A-module. Then
M is a Gorenstein A-module if and only if Mm is a Gorenstein Am -module for all maximal ideals
m of A.

4.1

Gorenstein points of the Hilbert scheme

Let X be a projective scheme over a ﬁeld k.
Lemma 4.8. Let X → Y be a flat, quasi-finite morphism of projective schemes. Then the set of
points y ∈ Y such that the fiber Xy is Gorenstein is open in Y .
Proof. Unfortunately, a detailed exposition would take us to far from our main subject, we only
sketch the proof. The morphism X → Y is projective and quasi-ﬁnite, thus ﬁnite by [GW10, Cor
12.89]. The relative dualizing sheaf ωX/Y of a morphism X → Y is introduced in [Kle80, Def 6]
and it exists for X → Y by [Kle80, Cor 18]. Furthermore ωX/Y is a quasi-coherent sheaf over X
by deﬁnition and coherent by ﬁniteness of the morphism and the properties from [Kle80, Def 1,
Prop 9]. Now
 the locus where ωX/Y is not invertible is closed in X, thus the locus of y ∈ Y such
that ωX/Y y is invertible is open in Y . The sheaf ωX/Y is stable under base change by [Kle80,

Prop 9], thus ωX/Y y ≃ ωXy /y for every y ∈ Y .
Let k be a ﬁeld and A be a ﬁnite k-algebra. Note that we have a canonical isomorphism
HomA (M, Homk (A, W )) ≃ Homk (M, W ) for every A-module M and k-module W . Let X ′ =
Spec A and Y ′ = Spec k. The relative dualizing sheaf ωX ′ /Y ′ exists and it is isomorphic as a
sheaf over X ′ to the sheaﬁﬁcation of Homk (A, k) by [Kle80, Def 1, Prop 9] and the mentioned
canonical isomorphism. The A-module Homk (A, k) is isomorphic to the canonical module ωA ,
as deﬁned in [Eis95, Prop 21.1], by the discussion after [Eis95, Cor 21.3]. Now the claim follows
from Proposition 4.6.
As an immediate consequence of Lemma 4.8 we see that there is a good locus of the Hilbert
scheme parametrising Gorenstein subschemes of X.
Proposition 4.9. Let π : U → HilbrX/k be the projection from the universal family. The set of
points h ∈ HilbrX/k such that the fiber of π over h is Gorenstein is open in HilbrX/k .
The tangent space to the Hilbert scheme at a k-point corresponding to a Gorenstein subscheme is also easier to calculate, thanks to the injectivity:
Proposition 4.10. Let Z ⊆cl X be a Gorenstein zero-dimensional closed scheme with support
contained in an open affine subscheme U = Spec A of X, where the subscheme Z is cut out by an
ideal I ⊳ A. Then the tangent space to HilbX/k at [Z] has rank rkk I/I 2 = rkk A/I 2 − rkk A/I.
Proof. We can analyse the connected components of the support of Z separately, thus we assume
that A/I is local. By Proposition 4.6 we see that the functor HomA/I (−, A/I) is exact. Now by
induction on the length we prove that rkk HomA/I (M, A/I) = rkk M for any ﬁnitely generated
A/I-module M .
12

4.2

Macaulay’s inverse systems

From now on, we will assume that (A, m, k) is a ﬁnite local k-algebra such that k → A/m is an
isomorphism. We will say simply “let (A, m, k) be a ﬁnite local k-algebra”, implicitly assuming
that k → A/m is an isomorphism.
So far we did not give any examples of Gorenstein rings. Macaulay’s inverse systems give
a rich source of such examples, to some extent classifying all local Gorenstein zero-dimensional
k-algebras. First, we explain how to “intrinsically” put an algebra structure on the space of
k-functionals on a linear space V , when V has an additional structure of a coalgebra. Since
we will be mainly interested in the example V = k[x1 , . . . , xn ] and the result will be, at least
in characteristic zero, V ∗ ≃ k⟦ ∂x∂ 1 , . . . , ∂x∂ n ⟧, the less curious reader should skip directly to
Theorem 4.17.
We recall the deﬁnition of a coalgebra, for simplicity we deal only with cocommutative coalgebras:
Definition 4.11. A k-module C with k-linear maps ∆ : C → C ⊗ C (comultiplication) and
ε : C → k (counity) is a (cocommutative) k-coalgebra if the following equations (dual to the
commutative monoid equations) are satisfied:
1. (ε ⊗ idC ) ◦ ∆ = (idC ⊗ε) ◦ ∆ = idC (counitality),
2. (idC ⊗∆) ◦ ∆ = (∆ ⊗ idC ) ◦ ∆ (coassociativity),
3. swap ◦∆ = ∆ (cocommutativity), where swap : C ⊗ C ∋

P

c1 ⊗ c2 7→

P

c2 ⊗ c1 ∈ C ⊗ C.

Example 4.12. In this paper we only encounter coalgebras of the form Γ(S, OS ) for an affine
commutative monoid S, with ∆, ε induced by multiplication and identity of S.
Corollary 4.13. If C is cocommutative coalgebra then the k-linear space C ∗ := Hom (C, k) with
the multiplication defined by
(ϕ1 · ϕ2 ) (c) = (ϕ1 ⊗ ϕ2 ) (∆c),
is a commutative k-algebra and C with multiplication

µ : C ∗ ⊗ C → C, defined by µ(ϕ ⊗ c) = (ϕ ⊗ idC ) (∆(c)),
is a C ∗ -module. We will write ϕ · c for µ(ϕ ⊗ c).

Proof. The k-algebra structure follows directly from Deﬁnition 4.11. To check that C is a C ∗ module, it is, by linearity, suﬃcient to prove ϕ1 · (ϕ2 · c) = (ϕ1 · ϕ2 ) · c and this follows from
deﬁnition of multiplication on C ∗ and coassociativity of C.
An enlightening exercise is to analyze dependencies between the subcoalgebras of C and
of C.

C ∗ -submodules

Remark 4.14. We are primarily interested in the example C = Γ (Ga (k)n ) = k[x1 , . . . , xn ],
where Ga (k) is the affine line over k with addition. In this case the ring obtained in Corollary
4.13 is called the ring of divided powers, but we will not go into details here. Below we give an
explicit description of C ∗ and its action on C when k is a field of characteristic zero.
Proposition 4.15. Let k be a field of characteristic zero. Fix the isomorphism
Γ (Ga (k)n ) ≃ k[x1 , . . . , xn ] := C,
then C ∗ is isomorphic to k⟦y1 , . . . , yn ⟧, the ring of formal power series, by identifying a monomial
y1a1 ·. . . ynan with the dual to the monomial (a1 ! · a2 ! · . . . · an !)−1 ·xa11 . . . xann in the monomial basis.
∂f
and this extends to the action of C ∗ by
The element yi acts on k[x1 , . . . , xn ] by f 7→ yi yf := ∂x
i
multiplicativity and countable additivity.
13

Proof.QWe need the multi-index notation: let x
:= (x1 , . . . , xn ), then by xa we mean the monoai
a
mial xi , by a! the product of ai ! and by b the expression a!/(b! (a − b)!), which is deﬁned
when ai ≥ bi for all i.
Let us ﬁx the isomorphism of k-vector spaces C ∗ ≃ k⟦z1 , . . . , zn ⟧ by identifying za with
the dual to xa in the monomial basis. We observe that ∆ : C → C ⊗ C is deﬁned by setting
∆(xi ) := 1 ⊗ xi + xi ⊗ 1 and extending to a k-algebra homomorphism, which gives
 
X
a
∆ (x a ) =
x b ⊗ x c , so that
b
b,c: b+c=a

zb · zc =




b + c b+c
z
.
b

Now deﬁne a k-linear map f : k⟦y1 , . . . , yn ⟧ → C ∗ by f (y a ) = a! · z a . Since k is of characteristic
0 it is an isomorphism. From the above multiplication law it follows that f is a k-algebra
homomorphism. To ﬁnish the proof it is suﬃcient to note that
 
a a−1i
∂x a
a
,
yi yx =
x
= ai · xa−1i =
∂xi
1i
where 1i = (0, . . . , 0, 1, 0, . . . , 0) with 1 on i-th position.
Now we will prove the main theorem of Macaulay’s inverse systems. The duality coming from
this theorem is, as far as we know, used only in the case of C = Γ (Ga (k)n ), but we will prove it
in the language of coalgebras. The reasons are twofold. Firstly, the proof is essentially the same
and clearer to prove in the abstract setting. Secondly, even in the case C = Γ (Ga (k)n ), where k
has positive characteristic, the algebra C ∗ is quite complicated to deal by hand.
Recall that for a ring A and A-modules N ⊆ M we say that N is a small A-submodule of
M if for every A-submodule M ′ ⊆ M the equality M ′ + N = M implies M ′ = M . As we will
see, this is “dual” to being essential.
For a coalgebra C and D ⊆ C by D ⊥ we denote {ϕ ∈ C ∗ | ϕ(d) = 0 for all d ∈ D}, similarly
for I ⊆ C ∗ by I ⊥ we denote {c ∈ C | i(c) = 0 for all i ∈ I}, where ϕ(d) is the value of a functional
ϕ ∈ C ∗ on an element d ∈ C.
Theorem 4.16 (Macaulay’s inverse systems). Let C be a cocommutative k-coalgebra. Suppose
that
1. there is a rank one subcoalgebra C0 ⊆ C, contained in each non-zero C ∗ -submodule of C;
2. for every ideal I of C ∗ such that C ∗ /I is finite (over k) there is a finite (over k) C ∗ submodule D ⊆ C such that D ⊥ ⊆ I.
Then
1. there is a bijection
{I ⊳ C ∗ | rkk C ∗ /I < ∞} ←→ {C ∗ -submodules of C finite over k}
f1 : I ⊳ C ∗

7−→ I ⊥

f2 : D ⊥ ⊳ C ∗ →−7 D ⊆ C;
2. the above bijection preserves k-rank:
rkk C ∗ /I = rkk I ⊥ and rkk D = rkk C ∗ /D ⊥ ;
14

3. the algebra C ∗ is local with residue field k;
4. If D, D ′ ⊆ C are finitely generated C ∗ -modules, then D ′ ⊆ D is small if and only if the
image of D ′⊥ in C ∗ /D ⊥ is essential;
5. the above bijection restricts to a bijection between Gorenstein quotients of C ∗ and cyclic
C ∗ -submodules of C.
Proof. We view C as contained in C ∗∗ via the canonical map.

1. Clearly D ⊆ f1 ◦ f2 (D) = D ⊥⊥ ∩ C and if c ∈ C \ D then we can ﬁnd ϕ ∈ D ⊥ such that
⊥
ϕ(c) 6= 0, this proves f1 ◦ f2 = id. Similarly, I ⊆ f2 ◦ f1 (I) = I ⊥ ∩ C . Take D ⊆ C
from Condition 2, then we have a perfect pairing between ﬁnite vector spaces C ∗ /D ⊥ and
D, which restricts to a perfect pairing of C ∗ /I with f1 (I); this proves f2 ◦ f1 (I) = I by
counting k-ranks.
2. It is suﬃcient to check this for f2 and then it is trivial as D is ﬁnite over k and C ∗ /D ⊥ ≃ D ∗ .
3. As C0 ⊆ D ⊆ C for any D, we see that C0⊥ is the largest ideal of C ∗ such that the quotient
is ﬁnite over k, thus the largest ideal of C ∗ .
4. Let I := D ⊥ . Suppose that J/I ⊆ C ∗ /I is essential and set E := f1 (J) ⊆ D. Take
any submodule E ′ ( D with corresponding ideal J ′ /I ⊆ C ∗ /I. Since J ′ /I 6= 0 we have
J ′ /I ∩ J/I 6= 0 and so (J ′ ∩ J)⊥ = E ′ + E is not the whole of D. This argument can be
reversed.
5. Gorenstein quotients are precisely those containing a rank one essential submodule, so by
Point 4 it is enough to prove that cyclic modules are precisely those having a corank one
small submodules. Indeed by Nakayama’s lemma (see [Eis95, Cor 4.8]) a cyclic module
C ∗ c has corank one small submodule mC ∗ c. Suppose now that D ⊆ C contains a corank
one small submodule D ′ ⊆ D and choose c ∈ D \ D ′ ; then C ∗ c + D ′ = D, so C ∗ c = D.
The corollary of Theorem 4.16 are the classical Macaulay’s inverse systems:
Theorem 4.17 (Macaulay’s inverse systems for Gna ). Let k be a field of characteristic zero and
V be a k-vector space with basis x1 , . . . , xn . Let S = Sym(V ) = k[x1 , · · · , xn ] be a polynomial
k-algebra and S ∗ := k⟦y1 , · · · , yn ⟧ be a ring of power series. We view S ∗ as acting on S by
∂
; denote this action by y : S ∗ ⊗ S → S. There is a bijection
identifying yi with ∂x
i
{I ⊳ S ∗ | rkk S ∗ /I < ∞} ←→ { finitely generated S ∗ -submodules of S}
f1 : I ⊳ S ∗

7−→ annS (I) =: I ⊥

f2 : M ⊥ := annS ∗ (M ) →−7 M ⊆ S;

preserving k-rank and restricting to a bijection between Gorenstein quotients of S ∗ and cyclic S ∗ submodules of S. Moreover I is homogeneous if and only if annS (I) is generated by homogeneous
polynomials.
Proof. We will use Theorem 4.16 together with Proposition 4.15. First let us check the assumptions of Theorem 4.16. First, k ⊆ S is contained in any non-zero S ∗ -submodule of S. Next, take
⊆ I for
I ⊳ S ∗ such that S ∗ /I is ﬁnite over k. The algebra S ∗ /I is local and artinian, thus mm+1
S∗
∗ -submodule of S consisting of polynomials
is
the
ideal
orthogonal
to
the
S
some m. But mm+1
∗
S
of degree at most m.
Note that each cyclic S ∗ -submodule of S is ﬁnite over k, so that a S ∗ -submodule M ⊆ S is
ﬁnite over k if and only if it is a ﬁnitely generated S ∗ -module. Now the main claims follow from
Theorem 4.16 together with Proposition 4.15, we left the homogeneity fact for the reader.
15

Definition 4.18. For an ideal I ⊳ S ∗ , any f ∈ S such that f ⊥ = I is called the dual socle
generator of S ∗ /I. Conversely for f ∈ S the quotient S ∗ /f ⊥ is called the apolar algebra of
f ∈ S.
Remark 4.19. Every local finite Gorenstein algebra (A, m, k) may be viewed as a quotient of S ∗ ,
and the most important part of Theorem 4.17 is that any such algebra is isomorphic to an algebra
of the form S ∗ /f ⊥ for some polynomial f ∈ S. We will explore this ideas in Subsection 4.5.

  
2
2
∂
∂ ∂
∂
2
Example 4.20. If f = x1 + x1 · x2 , then I =
, ∂x1 − 2 · ∂x1 ∂x2 . The socle of the
∂x2
dual algebra is generated by the image of e.g.

4.3

∂ ∂
∂x1 ∂x2 .

Perfect pairings

The following proposition states, in the linear-algebra language, that a ﬁnite local Gorenstein
algebra A is isomorphic to its canonical module, see Proposition 4.6). It will be used in the
following subsection.
Proposition 4.21. Let (A, m, k) be a finite local Gorenstein k-algebra. Choose any splitting into
k-modules A = V ⊕ soc(A) and a projection π : A → soc(A) ≃ k. Then the pairing
m : A × A ∋ (a, b) 7−→ π(ab) ∈ k
is perfect.
Proof. It is enough to prove that for any a ∈ A we have m({ka} × A) 6= 0. But m({ka} × A) =
π(Aa) 6= 0 as the ideal Aa contains an element from the socle by Lemma 4.3.
Remark 4.22. Even though the choice of splitting and π clearly affects the pairing, we see that
for any ideal I the orthogonal complement of I is the annihilator ann (I), in particular it does
not depend on these choices.

4.4

Local Hilbert function of a Gorenstein algebra

In this and next subsections we follow a foundational paper of the theory of zero-dimensional
Gorenstein k-algebras by Iarrobino [Iar94]. The idea is to exploit the perfect pairing from Proposition 4.21 to gain information about the powers of the maximal ideal and thus about the Hilbert
function. The most important result is the decomposition of the Hilbert function, Theorem 4.25.
Definition 4.23. Let (A, m, k) be a local ring. The local Hilbert function of A is defined by
hA : Z≥0 ∋ n 7−→ rkk mn /mn+1 ∈ Z≥0 .
If A is a finite k-algebra, then h(n) = 0 for n ≫ 0 and we will identify the function with the
vector of its nonzero values.
Note that the local ring (A, m, k) has a natural ﬁltration by powers of maximal ideal m and
that the local Hilbert function is computed from gr A with respect to this ﬁltration.
Let us denote (mm )⊥ := ann (mm ) for any m ≥ 0 and adopt the convention that non-positive
powers of ideals are equal to the whole ring. A direct consequence of Proposition 4.21 with
Remark 4.22 is:
Corollary 4.24. Let (A, m, k) be a finite local Gorenstein k-algebra. Then for every m ≥ 0 we
have
⊥
mm+1
.
hA (m) = rkk
(mm )⊥
16

Proof. Indeed, ﬁxing any pairing as in Proposition 4.21 we see that


mm
mm+1

∗

mm+1

≃

⊥

(mm )⊥

.

Iarrobino noticed that a Gorenstein algebra satisﬁes strong symmetry conditions on the local
Hilbert function:
Theorem 4.25 (Hilbert function decomposition). Suppose that (A, m, k) is a finite local Gorenstein k-algebra with socle degree (see 4.4) equal to j. Define
Am,n := mm ∩ (mn )⊥ and Qm,n :=
Denote

Am,n
for all 0 ≤ m, n ≤ j + 1.
Am+1,n + Am,n−1

(
rkk Qt,j+1−(s+t)
∆A,s (t) = ∆s (t) :=
0

for 0 ≤ s ≤ j, 0 ≤ t ≤ j − s,
otherwise

and call this the Hilbert function decomposition with rows ∆s . It is convenient to note that
rkk Qm,n = ∆j+1−(m+n) (m).
1. Qm,0 = Qj+1,m = 0 for all m. If m < j + 1, then Q0,m = 0.
2. If m + n > j + 1, then Am,n = Am,n−1 , so Qm,n = 0.
3. Fix any pairing A × A → k defined as in Proposition 4.21. It induces a perfect pairing
Qm,n × Qn−1,m+1 → k,
in particular ∆s (t) = ∆s ((j − s) − t)), we say that ∆s is symmetric with respect to
P
4. For j ≥ a ≥ 0 denote ha (t) := ai=0 ∆i (t). The quotient
Ca =

gr A
L

0≤m≤j

j−s
2 .

Cam

has Hilbert function ha , where Cam ⊆ mm /mm+1 is the image of Am,j−(m+a) = mm ∩
⊥
mj−(m+a) .

5. The local Hilbert function hA satisfies hA (t) = 0 for t > j and
hA (t) =

j−t
X

∆i (t)

i=0

for 0 ≤ t ≤ j.

Remark 4.26. Some of the claims of the theorem may be summarized by saying that the following
tables are respectively “symmetric up to taking duals” (see Point 3 of the theorem) and symmetric
with respect to their anti-diagonals:

17

Q0,j+1

0

...

0

0

∆0 (0)

0

...

0

0

Q0,j

Q1,j

0

...

0

0

∆0 (1)

0

...

0

...

...

...

...

...

...

...

...

...

...

Q0,2

Q1,2

...

Qj−1,2

0

0

∆j−2 (1)

...

∆0 (j − 1)

0

Q0,1

Q1,1

...

Qj−1,1

Qj,1

0

0

...

0

∆0 (j)

A/m

m/m2

...

mj−1 /mj

mj

hA (0)

hA (1)

...

hA (j − 1)

hA (j)

+

Proof of Theorem 4.25.
1. Obviously Am,0 = Am,−1 = mm and mj+1 = 0, this proves the ﬁrst
equality. For the second equality, note that if m < j + 1, then mm 6= 0 and so (mm )⊥ ⊆ m.
⊥
2. By assumption mm+n−1 = 0, thus mm ∩ (mn )⊥ = mm ∩ mn−1 = mm .
3. Recall that k-modules are modular i.e. if M, N, P are k-modules and M ⊆ P then (M +N )∩
⊥
P = M + N ∩ P . In particular, as for any n, m we have mn ⊆ mn−1 and (mm )⊥ ⊆ mm+1
it follows that

⊥
⊥ 
∩ mn = mn+1 + mn ∩ mm−1 ,
mn+1 + mm−1

(2)
⊥ 
⊥
mn+1 + mn ∩ mm−1
∩ (mm )⊥ = mn+1 ∩ (mm )⊥ + mn ∩ mm−1 .
Below, for an A-module M by M ∗ we denote Homk (M, k) and for N ⊆ M by N ⊥ ⊆ M ∗
we denote functionals which are zero on N . The ﬁxed perfect pairing A × A → k gives an
isomorphism of k-modules A ≃ A∗ . From Remark 4.22 it follows that


⊥ ⊥
⊥
mn−1 ∩ mm+1
≃ mm+1 + mn−1 ,

and

⊥

mn + (mm )⊥
≃ mm ∩(mn )⊥ , thus

⊥

 ⊥  n
n−1 ∩ mm+1 ⊥
m )⊥
m
+
m
+
(m
∩

 ≃
 
≃

⊥
⊥
⊥
n
m
n−1
m+1
m
∩ (m
) ∩ m + (m )
mn−1 ∩ (mm+1 )⊥


⊥   m
+ m ∩ (mn )⊥
mm+1 + mn−1
mm ∩ (mn )⊥

,
≃
≃
mm+1 + (mn−1 )⊥
mm ∩ (mn )⊥ ∩ mm+1 + (mn−1 )⊥


mn−1

⊥
mm+1

∗

which is, by Equation (2), equivalent to Qn−1,m+1 ≃ Q∗m,n . Now ∆s (t) = rkk Qt,j+1−(s+t) =
Qj−(s+t),t+1 = ∆s (j − (s + t)).

18

4. For any m ∈ Z≥0 we have m · Am,j−(m+a) ⊆ Am+1,j−(m+1+a) which proves that Ca is an
ideal in gr A. Let us ﬁx e := j − (m + a) and look at the ﬁltration
Am,e ⊆ Am,e+1 ⊆ Am,e+2 ⊆ . . . Am,j ⊆ Am,j+1 = mm .
Since mm+1 ∩ Am,n = Am+1,n , this gives a ﬁltration
0=

Am,e
Am,e+1
Am,j+1
mm
⊆
⊆ ··· ⊆
=
,
Am+1,e + Am,e
Am+1,e+1 + Am,e
Am+1,j+1 + Am,e
mm+1 + mm ∩ (me )⊥

with associated graded Qm,e+1 ⊕ Qm,e+2 ⊕ . . . Qm,j+1 . Since the modules are ﬁnitely generated over k from Corollary 2.16 it follows that
hgr A/Ca (m) =

X

Qm,n =

j+1−m
X

j+1−m−(e+1)

Qm,n =

n=e+1

e+1≤n

X

∆i (m) =

a
X

∆i (m) .

i=0

i=0

5. The ideal Am,j−(m+j) = Am,−m is zero; thus Ij = 0 and A = A/Ij . Now take a = j in
Point 4.
Remark 4.27. It follows from the proof that ∆j = (0) and ∆j−1 = (0, 0) for any algebra, so we
will ignore these vectors. The maximal a such that ∆a may have a non-zero entry is a = j − 2
and indeed ∆j−2 = (0, ∗, 0) contains useful information about the algebra, as we will see in
Proposition 5.1.
Example 4.28. Below we write the Qm,n table for j = 3, which is the smallest nontrivial case.

rkk

A
m

0

0

rkk

0

rkk

m∩(m3 )

0

0

0

⊥

m2 ∩(m3 )⊥ +m∩(m2 )⊥
⊥

0

0

m∩(m2 )

m2 ∩(m2 )⊥ +m∩(m)⊥

rkk

m2 ∩(m2 )

⊥

m3 ∩(m2 )⊥ +m2 ∩(m)⊥

0

0

0
rkk m3 ∩ (m)⊥

Hence the Hilbert function has decomposition ∆0 = (1, h(2), h(2), 1), ∆1 = (0, h(1) − h(2), 0)
thus satisfying h(1) ≥ h(2).
Example 4.29. From Point 4 of Theorem 4.25 it follows that there does not exist a local Gorenstein algebra A with Hilbert function decomposition
∆0
∆1
∆2
∆3

=
=
=
=

(1,
(0,
(0,
(0,

1, 1, 1, 1, 1)
0, 1, 0, 0)
0, 0, 0)
1, 0).

Indeed v = ∆0 + ∆1 = (1, 1, 2, 1, 1, 1) should be a local Hilbert function of some finite k-algebra
B and this is impossible because v(1) = 1 and v(2) > 1. Note that hA = (1, 2, 2, 1, 1, 1) seems
possible to obtain and indeed there exist Gorenstein algebras with such function and decomposition
∆0
∆1
∆2
∆3

=
=
=
=

(1,
(0,
(0,
(0,

1, 1, 1, 1, 1)
0, 0, 0, 0)
1, 1, 0)
0, 0).
19

4.5

Relations between the Hilbert function and the dual generator

Macaulay’s inverse systems and the local Hilbert function decomposition provide us with multitude of information about the local ﬁnite Gorenstein algebra. In this section we will draw various
conclusions about the structure of the algebra from the knowledge of its dual socle generator.
Understanding a Gorenstein algebra A by analysis of the dual socle generator f ∈ S of a chosen presentation A ≃ S ∗ /f ⊥ is elementary. The main problem of this method is embarras de
richesses coming from the fact that we have many choices of f . To avoid it we classify polynomials, provide normal forms etc. The most important results in this direction are Lemma 4.34
and Theorem 4.38.
It is important to understand that most complications arise from the fact that the dual socle
generator is in general not homogeneous. For the homogeneous case see Lemma 4.32.
Fix S = k[x1 , · · · , xn ] and S ∗ = k⟦y1 , · · · , yn ⟧ as deﬁned in the Theorem 4.17. By S m we
denote the homogeneous polynomials of total degree m is S. Fix an element f ∈ S and a local
ﬁnite Gorenstein k-algebra (A, m, k) isomorphic to S ∗ /f ⊥ . Let j be the socle degree of A, it is
equal to the degree of the polynomial f . It is important to know that, although using Theorem
4.17 we are bound to consider only characteristic zero, the facts from this section remain true if
we replace k⟦y1 , · · · , yn ⟧ by the divided powers ring and use Theorem 4.16.
Deﬁne (S ∗ f )n to be the submodule of S ∗ f spanned by elements of degree less than n and
∗ m
∗
∗ m
(S ∗ f )m := mm
S ∗ f , ﬁnally put (S f )n := (S f )n ∩ (S f ) .
Proposition 4.30. We have an isomorphism of S ∗ -modules
i : A → S ∗ f ⊆ S, defined by ∂ 7→ ∂yf.
The submodule Am,n , defined in Theorem 4.25, maps to (S ∗ f )m
n under this isomorphism and thus
the k-rank of Qm,n , also defined in Theorem 4.25, is equal to
rkk


(S ∗ f )m
n
∗ m
∗ m+1
∗ m
(S
f
)
+
(S
f
)
.
=
rk
(S
f
)
−
rk
k
k
n−1
n
n
m+1
∗
(S ∗ f )m
n−1 + (S f )n

Furthermore, the value of the Hilbert function hA (t) is equal to both rkk (S ∗ f )t − rkk (S ∗ f )t+1 and
rkk (S ∗ f )t+1 − rkk (S ∗ f )t .
Proof. The claim on Am,n follows directly from deﬁnitions. For the part concerned with the
Hilbert function check Corollary 4.24.
Example 4.31. Using Proposition 4.30 one can compute the Hilbert function of the apolar
algebra A of x51 + x42 + x43 . We have (S ∗ f )1 = k, (S ∗ f )2 = k ⊕ kx1 ⊕ kx2 ⊕ kx3 and so on, hence
we compute hA = (1, 3, 3, 3, 1, 1).
It is important to see that computing rkk Am,n or hA via Proposition 4.30 we are mainly
interested in the top degree forms of the derivatives.
The situation is particularly easy when the dual socle generator is homogeneous.
Lemma 4.32. If f is homogeneous then ∆m (n) = 0 for all m > 0 and n. In particular the local
Hilbert function of A is equal to ∆0 .
Proof. Since for m, n such that m + n < j + 1 we have (S ∗ f )m
n = 0 the claim follows from
Proposition 4.30.
Remark 4.33. One might hope that, for every a ≥ 0, if f is a sum of polynomials of degrees at least j − a, then ∆b has zero entries for all b > a. But this is not true. Take

20

f = x41 − 12x21 x2 , then (y12 + y2 )yf
 = −24x2 and one may check that this is a non-zero element of (S ∗ f )12 / (S ∗ f )11 + (S ∗ f )22 . In particular ∆2 6= (0, 0, 0) and in fact the decomposition
is
∆0 = (1, 1, 1, 1, 1)
∆1 = (0, 0, 0, 0)
∆2 = (0, 1, 0).
Intuitively, low degree homogeneous terms of f contribute only to (S ∗ f )m
n for which m + n
is small. The following lemma captures this intuition and says “if you add low degree term, you
change only ∆s for s ≫ 0”.
Lemma 4.34. Suppose that polynomials f1 , f2 ∈ S of degree j are such that deg(f1 − f2 ) ≤ j − a.
Denote ∆ = ∆S ∗ /f ⊥ and ∆′ = ∆S ∗ /f ⊥ , then
1

2

∆m (n) = ∆′m (n) for all m ≤ a − 1 and all n.
Proof. In the computation of ∆m (n), where m ≤ a − 1, only Qm,n such that (j + 1) − (m + n) ≤
a − 1 are used. By Proposition 4.30 k-ranks of such Qm,n depend only on k-ranks of (S ∗ f1 )m
n
such that (j + 1) − (m + n) ≤ a. Let us ﬁx m and take two canonical epimorphisms
∗
πi : m m
S ∗ → S fi ,

πi (∂) = ∂yfi

for i = 1, 2.

−1
∗
m
We claim that if (j + 1) − (m + n) ≤ a then the preimages π1−1 (S ∗ f1 )m
n , π2 (S f2 )n are equal.
m
m
First, if ∂ ∈ mS ∗ , then deg ∂y(f1 −f2 ) ≤ j −a−m. An element ∂ ∈ mS ∗ satisﬁes π1 (∂) ∈ (S ∗ f1 )m
n
if and only if deg ∂yf1 < n. Similarly π2 (∂) ∈ (S ∗ f2 )m
n if and only if deg ∂yf2 < n. But
n ≥ j + 1 − a − m > deg ∂y(f1 − f2 ) so both conditions are equivalent.
Now
π2−1 ((S ∗ f2 )m
(S ∗ f2 )m
π1−1 ((S ∗ f1 )m
(S ∗ f1 )m
n)
n
n)
n


=
≃
≃
.
(3)
−1
−1
∗ f )m
∗ f )m
∗ f )m
(S ∗ f1 )m
(S
π
(S
π
(S
2
1
2
n−1
n−1
1
2
n−1
n−1
∗ m+1 = (S ∗ f )m+1 we have inclusions
Since (S ∗ f )m
n−1 ∩ (S f )n
n−1

(S ∗ f1 )m+1
(S ∗ f1 )m
n
n
֒→
m+1
∗ f )m
∗
(S
(S f1 )n−1
1 n−1

and

(S ∗ f2 )m
(S ∗ f2 )m+1
n
n
֒→
,
m+1
∗ f )m
∗
(S
(S f2 )n−1
2 n−1

thus the claim follows from isomorphisms (3).
Example 4.36 shows that the inequality m ≤ a − 1 is strict.
Corollary 4.35.

1. The sequence ∆S ∗ /f ⊥ ,0 is the Hilbert function of the top degree form of f .

2. If the Hilbert function of S ∗ /f ⊥ is symmetric i.e. h(t) = h(j − t) for all 0 ≤ t ≤ j, then it
is equal to ∆0 .
Proof.
1. Let ftop be the top degree form of f , then deg f − ftop ≤ j − 1 and from Lemma 4.34
it follows that ∆0 are equal for f and ftop . But ftop is homogeneous so from Lemma 4.32
it follows that ∆0 is the Hilbert function of ftop .
2. The proof is purely combinatorial — the only important fact is that ∆i are symmetric with
respect to j−i
2 for i ≥ 0, this follows from Theorem 4.25.
Example 4.36. Let us take n = 2, S ∗ = k⟦y1 , y2 ⟧ as defined in Theorem 4.17 and an apolar
algebra A = S ∗ /(x31 − x22 )⊥ . Since ∆0 is the Hilbert function of S ∗ /(x31 )⊥ is it equal to (1, 1, 1, 1).
Moreover as hA (1) = 2 and ∆1 = (0, a, 0) we see that 1 + a = 2, so that a = 1 and the full
decomposition is
∆0 = (1, 1, 1, 1)
∆1 = (0, 1, 0)
21

yielding rkk A = 5 and hA = (1, 2, 1, 1).
On the other hand let us take B = S ∗ /(x31 − x1 · x2 )⊥ , f := x31 − x1 x2 . Then one calculates
that (S ∗ f )1 = k ⊕ kx1 , x1 x2 is “shadowed by x31 ” and so the Hilbert function decomposition is
∆0 = (1, 1, 1, 1)
∆1 = (0, 0, 0).
We will now see that this difficulty can be overrun by standardising f . Unfortunately this method
works only for problems occurring in low degrees, in general the problem of removing “exotic
summands” is difficult, see [BMR12].
Theorem 4.17 presents any ﬁnite local Gorenstein k-algebra as S ∗ /f ⊥ , but the choice of f is
not unique. However we have particularly good choices of f , each of which is named the standard
form of f .
∗
Definition 4.37. For a finite Gorenstein k-algebra A ≃
PSi /I of socle degree j let ∆• be the
decomposition of the Hilbert function of A and e(i) := t=0 ∆t (1). If f ∈ S is a dual socle
generator of S ∗ /I then f is in the standard form iff

f = f0 + f1 + f2 + f3 + · · · + fj for fi ∈ S i ∩ k[x1 , . . . , xe(j−i) ]
and either the socle degree of A is at most one or f0 = f1 = 0.
The following theorem proves that a standard form exists for any f ∈ S.
Theorem 4.38 (Standard form of a dual socle generator). Let (A, m, k) be a local finite Gorenstein k-algebra of socle degree j with hA (1) = n. Set S = k[x1 , · · · , xn ] and S ∗ = k⟦y1 , · · · , yn ⟧.
Then there exists f = f0 + · · · + fj ∈ S, such that
1. S ∗ /f ⊥ ≃ A,
2. fi ∈ S i ∩ k[x1 , . . . , xe(j−i) ], where e(i) =

Pi

t=0 ∆t (1).

If j ≥ 2 then one can furthermore assume f0 = f1 = 0.
Proof. Choose ﬁrst any f ′ ∈ S such that S ∗ /(f ′ )⊥ ≃ A; this is possible by Theorem 4.17. Denote
I := (f ′ )⊥ . Write f ′ = f0′ + · · · + fj′ , where fi′ ∈ S i for i = 0, . . . j. Consider the sequence of
ideals
⊥
⊥
m ∩ mj + m2
m ∩ mj−1 + m2
m ∩ (m)⊥ + m2
m
=
⊇
⊇
·
·
·
⊇
⊇ 0,
(4)
m2
m2
m2
m2
then from Theorem 4.25 Point 4 it follows that
⊥
m ∩ mj−a−1 + m2
m
rkk
= rkk 2 − e(a),
m2
m
for all −1 ≤ a ≤ j − 1, where e(−1) := 0. Now we choose liﬁngs of the bases of the S ∗ modules from Equation (4). More precisely take zn , zn−1 , . . . , z1 ∈ mS ∗ \ m2S ∗ such that for all
⊥
−1 ≤ a ≤ j − 1 the images of zn , zn−1 , . . . , ze(a)+1 in S ∗ /I ≃ A lie in m ∩ mj−a−1 and their
⊥
m∩(mj−a−1 ) +m2
. In particular the case a = −1 implies that
images in A/m2 form a k-basis of
2
m
the images of zn , . . . , z1 form a k-basis of m/m2 ≃ mS ∗ /m2S ∗ , so k⟦z1 , . . . , zn ⟧ = S ∗ .
⊥
For any r and a such that r > e(a) the image of zr in A lies in mj−a−1 so that the image
zr in A is zero, in other words
of mj−a−1
S∗
mj−a−1
zr ⊆ I.
S∗
22

(5)

Consider the automorphism ϕ of S ∗ sending zi to yi , let the image of I under this automorphism be equal to the annihilator of some polynomial f ∈ S. Note that for any r and i such
that r > e(j − i) by Equation (5) we have


j−(j−i)−1
j−(j−i)−1
⊥
(6)
y
=
m
y
=
ϕ
m
z
mi−1
r
r ⊆ ϕ(I) = (f ) .
S∗ r
S∗
S∗
Write f = fj + fj−1 + · · · + f0 , where fi ∈ S i . We claim that
fi ∈ S i ∩ k[x1 , . . . , xe(j−i) ].
We prove it by downward induction on i = j, j − 1, . . . , 0. Let us present the induction step.
Take any i such that 0 ≤ i ≤ j and suppose that fd ∈ S d ∩ k[x1 , . . . , xe(j−d) ] for all d > i. Take
any r > e(j − i), then mi−1
S ∗ yr yf = 0 by Equation (5). By induction hypothesis yr yfd = 0 for all
y
⊆
miS ∗ so that mi−1
d > i. Moreover mi−1
S ∗ yr yfd = 0 for d < i. This means that
S∗ r
i−1
i−1
0 = mSi−1
∗ yr yf = mS ∗ yr yfi = mS ∗ (yr yfi ) .

But fi is homogeneous of degree i so yr yfi is homogeneous of degree i − 1 and annihilated by
mi−1
S ∗ , thus yr yfi = 0. This proves that
fi ∈ S i ∩ k[x1 , . . . , xe(j−i) ].
The basis of the induction is proved in the same way (with no d > i).
Now suppose j ≥ 2. Since hA (1) = n, by Proposition 4.30 we see that any polynomial of
degree at most one is a derivative of f . In particular f0 + f1 = ∂yf for some ∂ ∈ S ∗ . Since j ≥ 2
we have ∂ ∈ mS ∗ , then f − (f0 + f1 ) = (1 − ∂)yf generates the same S ∗ submodule of S as f
and f ⊥ = (f − f0 − f1 )⊥ follows.

4.6

Families of dual generators and morphisms to Hilbert scheme

In this subsection we obtain tools for the reasoning “since the set of dual generators is irreducible,
the corresponding apolar algebras form an irreducible subset of the Hilbert scheme”. But the
idea is deeper — we obtain morphisms from aﬃne varieties to the Hilbert scheme, which give
information about its geometry.
Proposition 4.39. Fix positive integers j, r and a point p ∈ Pn with an affine neighbourhood
U . View S ≤j as an affine space and let V ⊆ S ≤j be a Zariski-constructible subset such that for
every closed point f ∈ V the apolar algebra of f has rank r. Then V induces a morphism
ϕ : V → HilbGorrPn
such that for every closed point f ∈ V the image ϕ(f ) ∈ HilbGorrPn corresponds to a closed
subscheme Wf ⊆ Pn supported at p and with Γ(U, Wf ) isomorphic to the apolar algebra of f .
Proof. We will construct a closed subscheme Z ⊆ Pn × V ﬂat over V and with suitable ﬁbers,
then the required morphism
will

 follow from the universal property of the Hilbert scheme. We
j+1
∗
can view R := Spec S /mS ∗ as a closed subscheme of Pn supported at p and we will in fact
construct Z ⊆ R × V .
j+1
∗
We ﬁrst treat S ∗ /mj+1
S ∗ formally. Let W → S /mS ∗ be an isomorphism of k-vector spaces.
Consider the vector bundle W = Spec (Sym W ∗ ) × V over V . Deﬁne a subvariety Ann ⊆ W by
Ann = {(∂, f ) ∈ W | ∂yf = 0} ,
23

then the ﬁbers of Ann over closed points of V are aﬃne spaces of constant dimension, so Ann is
a subbundle of W. Let Q be the quotient bundle, then dualizing we have an inclusion of vector
bundles Q∗ ⊆ W ∗ .
The bundle W ∗ is canonically isomorphic to Spec (Sym W ) × V . The k-linear isomorphism
∗
W → S ∗ /mj+1
S ∗ induces morphisms R → Spec (Sym W ) and R × V → W . We claim that the
pullback
Z := (R × V ) ×W ∗ Q∗ ⊆ R × V
has the properties required. Choose a closed point f ∈ V . The ﬁber of Q over f is the aﬃne
space Wf /Annf and the ﬁber of Q∗ over f is the aﬃne space Homk (Wf /Annf , k), which is
deﬁned by the ideal of Sym W generated by the linear subspace annR (f ) ⊆ W . It follows that
the ﬁber of Z over f is isomorphic to Spec (R/ annR (f )), the aﬃne scheme of the apolar algebra
of f . The scheme Z is ﬁnite over V and its ﬁbers over closed points of V have rank r. From
[Har77, II.5 Ex 5.8bc] it follows that OZ is a locally free V module, thus in particular Z is ﬂat
over V .
Proposition 4.40. Let j be a positive integer and V ⊆ S ≤j be a Zariski-constructible subset.
Then the set of f ∈ V such that the apolar algebra of f has maximal rank over k is open in V .
Proof. This is a direct consequence of semi-continuity of dimension of ﬁbers and the proof of
Proposition 4.39.

5

Applications

In this section for simplicity we assume that k = C, though many of the results may be proved
with much weaker assumptions. Our objective is to present applications of the above theory,
in particular we will be interested in ﬁnding deformations and smoothings of zero-dimensional
Gorenstein subschemes of Pn = Pnk . Supported by Proposition 3.13 we will investigate HilbGorrPn .
The picture here was mainly drawn by Iarrobino [Iar94], who proved that “the majority” of
algebras of large enough rank is not smoothable. In particular he showed an example of nonsmoothable Gorenstein algebra of rank 14 by computing that the tangent space rank of the
corresponding point of the Hilbert scheme of P6 is less than 6 · 14, which is the dimension of the
smoothable component. On the other hand Casnati and Notari (see [CN11]) proved that algebras
of rank at most 10 are smoothable. It would be interesting to know what is the minimal rank of
a non-smoothable Gorenstein k-algebra, we hope to answer this question in a joint paper with
Gf. Casnati and R. Notari. In this section we content ourselves with analyzing three examples.
To prove that a subset V ⊆ HilbGorrPn lies in HilbGorrPn ◦ := HilbGorrPn ∩HilbrPn ◦ we will
apply ternary approaches:
1. Prove directly that for any [R] ∈ V the scheme R ⊆ Pn is smoothable;
2. Prove that V is irreducible and ﬁnd a smooth point of the Hilbert scheme contained in
V ∩ HilbGorrPn ◦ ;
3. Prove that V is irreducible and that a general point of V lies in HilbGorrPn ◦ .
We will use the ﬁrst approach to prove smoothability of Gorenstein algebras with Hilbert
function (1, 5, 4, 1), the second approach to prove smoothability of Gorenstein algebras having
Hilbert function (1, 4, 4, 3, 1) and the third approach to prove smoothability of graded Gorenstein
algebras with Hilbert function (1, 3, 3, 3, 3, 1).
The most important facts that we will use without further reference are Proposition 3.13,
which allows us not to care too much about the ambient space and the Deﬁnition 3.8 of the
smoothable component, which implies that to prove smoothability of X it is suﬃcient to show
24

a deformation with a ﬁber X over a closed point and a general ﬁber smoothable, not necessarily
smooth.
Before proving our main results we provide the technical background by further analyzing
the dual socle generators and apolar ideals in the general situation covering the above cases.

5.1

Enhancements of Iarrobino symmetric decompositions

The following proposition further standardises the dual generator. It is used in proof of Theorem 5.3.
Proposition 5.1. Let f ∈ S be a polynomial of degree j ≥ 2 such that the Hilbert function
decomposition from Theorem 4.25 has ∆j−2 = (0, q, 0). Then the apolar algebra of f is isomorphic
to the apolar algebra of g ∈ S, where g = gj + gj−1 + · · · + g2 is the standard form from
Theorem 4.38 and furthermore g2 is a sum of q squares of variables not appearing in g≥3 and a
quadric in variables appearing in g≥3 .
Proof. Applying Theorem 4.38 we obtain g in the required form except from, perhaps, the
assumptions on g2 . We will prove the theorem
Pj−3 when j ≥ 3, the case j = 2 is easy and we leave
it to the reader. Let f := e(j − 3) = t=0
∆t (1) , e := f + q, then g≥3 ∈ k[x1 , . . . , xf ] and
g2 ∈ k[x1 , . . . , xe ]. We can diagonalize g2 with respect to xf +1 , . . . , xe obtaining
g2 =

e
X

i=f +1

λi · x2i + Q

where Q ∈ (x1 , . . . , xf ) and λi ∈ {0, 1}. Note that after this operation g is still in the standard
form. P
If all λ• are equal to 1, then by another linear change of coordinates xf +1 , . . . , xe we obtain
′
′
g2 = ei=f +1 x′2
i + Q where Q ∈ k[x1 , . . . , xf ], thus the claim follows. If for some i we have
∗
λi = 0 then yi yg ∈ k[x1 , . . . , xf ], thus from a k-rank count it follows that rkk (S ∗ f )2 g < n + 1
but this contradicts the fact that rkk (S ∗ f )2 g = h(0) + h(1) = n + 1, see Proposition 4.30.

5.2

Application of flatness criterion from Theorem 2.20

There exist polynomials f ∈ S such that there is an easily described ﬂat family with general
member reducible and a special member isomorphic to the apolar algebra of f . We present them
below.
Proposition 5.2. Let S = k[x1 , · · · , xn ] and T = S[X]. Let f ∈ S and ∂ ∈ S ∗ be such that
∂ 2 yf = 0. Take a natural number m ≥ 2 and set g := f + X m · ∂yf , then
annT ∗ (g) = T ∗ · annS ∗ (f ) + T ∗ · α · annS ∗ (∂yf ) + (αm − m! · ∂) ,
where α ∈ T ∗ is the dual to X.
Proof. Clearly the element αm − m! · ∂ annihilates g, and reducing modulo it, we may investigate
only elements of the form σ0 + σ1 · α + · · · + σm−1 αm−1 , where σi ∈ S ∗ . The action of such
element on g is given by

σ0 + σ1 · α + · · · + σm−1 αm−1 yg =

σ0 yf + X m (σ0 ∂yf ) + m · X m−1 (σ1 ∂yf ) + · · · + m! · X(σm−1 ∂yf ),

thus the element belongs to annT ∗ (g) if and only if σ0 yf = 0, σ1 ∂yf = 0, . . . , σm−1 ∂yf = 0, and
the claim follows.

25

In the following theorem we use Theorem 2.20 in an essential way – without any knowledge
of the ﬁbers, we prove that a certain family is ﬂat. This theorem will act as the main ingredient
of almost all proofs of smoothability, allowing one to reduce the question to the smoothability
of algebras of lower k-rank.
Theorem 5.3. Let T ∗ = k⟦y1 , . . . , yn , α⟧ and A = T ∗ /I be a finite k-algebra defined by the ideal
I = (αo − q) + J,
where o ≥ 2, q ∈ k[y1 , . . . , yn ] and J ⊳ T ∗ is generated by elements of the ideal (y1 , . . . , yn ) ⊳
k[y1 , . . . , yn , α] homogeneous with respect to the grading by α. Suppose that for some natural c
such that 0 < c < o we have
annT ∗ /J (αo ) ⊆ annT ∗ /J (αc ) and annT ∗ /J (αo ) ⊆ annT ∗ /J (q) ,
then Spec A is a degeneration of reducible schemes. More precisely the morphism
ϕ : Spec

k[y1 , . . . , yn , α, t]
→ Spec k[t]
− t · αc − q) + (J)

(αo

is flat, with a general fiber reducible and the fiber over t isomorphic to Spec A.
Proof. Denote by It = (αo − t · αc − q) + (J) ⊳ k[y1 , . . . , yn , α, t]. For√an invertible λ ∈ k, the
ﬁber of ϕ over (t − λ) is supported at the origin and at 0, 0, . . . , 0, o−c λ thus it is a reducible
scheme. It remains to prove that ϕ is ﬂat. We will use Theorem 2.20. Deﬁne a ﬁltration on
k[y1 , . . . , yn , α, t] by gradation with respect to α:
k[y1 , . . . , yn , α, t]m = {f ∈ k[y1 , . . . , yn , α, t] | degα f ≤ m}.
Since J is homogeneous with respect to the gradation by α we can calculate gr It as the preimage
of gr (αo − t · αc − q) ⊆ gr k[y1 , . . . , yn , α, t]/(J). For clarity let us denote R := k[y1 , . . . , yn , α, t]/(J).
Now, since (J) is generated by elements of k[y1 , . . . , yn , α], we have

annR (αo ) = k[t] · annk[y1 ,...,yn ,α]/J (αo ) , so annR (αo ) ⊆ annR (αo − t · αc − q)
and we use Proposition 2.18 to deduce that gr (αo − t · αc − q) ⊆ gr R is generated by αo . Now
the claim follows from Proposition 2.17 and Theorem 2.20.

Corollary 5.4. Let S = k[x1 , · · · , xn ] and T = S[X]. Let f ∈ S and ∂ ∈ S ∗ be such that
∂ 2 yf = 0. Set g = f + X m · ∂yf , where m ≥ 2 is a natural number. The apolar algebra of g is a
fiber of a deformation over Spec k[t], whose general fiber is isomorphic to a disjoint sum of the
apolar algebra of f and m − 1 copies of the apolar algebra of ∂yf .
Proof. Let, S ∗ = k⟦y1 , · · · , yn ⟧ and T ∗ = k⟦y1 , . . . , yn , α⟧. Clearly ∂ may be taken to be a
polynomial in y1 , . . . , yn . From Proposition 5.2 it follows that
annT ∗ (g) = T ∗ · annS ∗ (f ) + T ∗ · α · annS ∗ (∂yf ) + (αm − m! · ∂) ,
Let J = T ∗ · annS ∗ (f ) + T ∗ · α · annS ∗ (∂yf ), then
annT ∗ /J (αm ) = annT ∗ /J (α) = annT ∗ /J (∂) = (annS ∗ (∂yf )) /J.
It follows that m! · ∂, m, 1, J satisfy the assumptions of Theorem 5.3 for q, o, c, J respectively.
The required deformation X → Spec k[t] comes from this theorem. We will now check that the
26

ﬁber of X over (t − λ), where 0 6= λ ∈ k, is isomorphic to a disjoint sum of the apolar algebra to
f and m − 1 copies of the apolar algebra of ∂yf . This ﬁber is isomorphic to
Spec

(αm

k[y1 , . . . , yn , α]
,
− λ · α − m! · ∂) + J

and has support equal to the union of (0, . . . , 0) and (0, . . . , 0, ω), where ω runs through the (m −
1)’st roots of λ. Note that since α ·∂ ∈ J the element αm+1 − λ·α2 = α ·((αm − λ · α − m! · ∂))+
m! · α · ∂ is in the ideal I(λ) deﬁning the ﬁber.
We will now look near (0, . . . , 0, 0), i.e. localise the ﬁber at the ideal m = (y1 , . . . , yn , α).

−1
In this localisation αm−1 − λ is invertible, thus α2 = αm+1 − λ · α2 · αm−1 − λ
belongs
to the localised ideal I(λ)m . Consequently λα − m! · ∂ belongs to this ideal and I(λ)m =
((λα − m! · ∂) + J)m . This proves that




k[y1 , . . . , yn , α]
k⟦y1 , · · · , yn ⟧
k[y1 , . . . , yn , α]
.
≃
≃
I(λ)
(λα − m! · ∂) + J m
annS ∗ (f )
m
2
m−1 − λ belongs to I(λ) , then
Next we look near m = (0, . . . , ω).
m
 Here α is invertible, thus α
m−1
I(λ)m = α
− λ, annS ∗ (∂yf ) and the localised algebra is isomorphic to the apolar algebra
of ∂yf .

5.3

Smoothability of algebras with Hilbert function (1, 5, 4, 1).

For simplicity and brevity of presentation we will use the fact that algebras of length at most
10 are smoothable, see [CN11]. In fact it is known that algebras of length 11 are smoothable, so
the sceptic reader should replace (1, 5, 4, 1) with e.g. (1, 7, 4, 1). The crucial part of the proof is
Proposition 5.1, allowing us to compute the apolar ideal and use Corollary 5.4.
The proof is straightforward once we use the following inductive lemma:
Lemma 5.5. Let A ≃ k⟦y1 , · · · , yn ⟧/I be a Gorenstein algebra of socle degree j ≥ 3 with Hilbert
function decomposition containing the term ∆A,j−2 = (0, e, 0), where e > 0.
The scheme Spec A is a flat degeneration of schemes isomorphic to Spec k⊔Spec B, where B is
a local Gorenstein k-algebra of socle degree j, which has the same Hilbert function decomposition
as A except for the term ∆B,j−2 = (0, e − 1, 0).
Proof. Let g ∈ k[x1 , . . . , xn ] be the dual generator from Proposition 5.1, then we can write
g = f + x21 , where f ∈ k[x2 , . . . , xn ]. Clearly there exists ∂ ∈ k⟦y1 , · · · , yn ⟧ such that ∂yf = 1,
then ∂ 2 yf = 0 and we may apply Corollary 5.4 to g = f + x21 · ∂yf . It follows that the
apolar algebra of g is a degeneration of union of the apolar algebra of ∂yf = 1 – which is
isomorphic to Spec k – and the apolar algebra B of f . The assumptions on B except for the
Hilbert function decomposition are straightforward. For the Hilbert function decomposition, see
Proposition 4.30.

5.4

Smoothability of algebras with Hilbert function (1, 4, 4, 3, 1).

In this subsection we have two main points: proving irreducibility, which is easy once we apply
secant varieties, and proving the existence of a smooth, smoothable point of the Hilbert scheme.
Proposition 5.6. The projective set of quartics in three variables, whose apolar algebras have
the Hilbert function (1, n, m, n, 1) with m ≤ 3, is the third secant variety to the fourth Veronese
embedding of P2 . In particular it is irreducible.
Proof. See e.g. [LO11], which refers to other sources.

27

Proposition 5.7. The Gorenstein algebras with Hilbert function (1, 4, 4, 3, 1) are parametrised,
up to isomorphism, by an irreducible Zariski-constructible subset V ⊆ S ≤3 = k[x1 , · · · , xn ]≤3 ,
where we view S ≤3 as an affine space.
Proof. The only possible decomposition of the Hilbert function is ∆0 = (1, 3, 3, 3, 1); ∆1 =
(0, 1, 1, 0). Let us ﬁx a dual socle generator in the standard form f = f4 + f3 + f2 . Corollary 4.35 implies that the apolar algebra of f4 has Hilbert function ∆0 , thus ∆0 depends only
on f4 . By Proposition 5.6 forms f4 whose apolar algebras have Hilbert function (1, 3, 3, 3, 1)
constitute a Zariski locally closed irreducible subset Z ⊆ S 4 .
Once we know that h(1) = 4 and that the ﬁrst row of the decomposition is (1, 3, 3, 3, 1),
then h = (1, 4, 4, 3, 1) is maximal among possible Hilbert functions. Proposition 4.40 applied to
Z × S ≤3 proves that the set of dual socle generators of algebras of the form (1, 4, 4, 3, 1) is open
in Z × S ≤3 , thus irreducible.
Proposition 5.8. Let n = 4. The subset V ⊆ S ≤3 defined in Proposition 5.7 induces a morphism
V → HilbGorrPn , whose image is irreducible. The image of the point p corresponding to the apolar
algebra of
x41 + x42 + x43 + x24 · (x1 + x2 )
is a smooth point of HilbGorrPn lying in HilbGorrPn ◦ .

Proof. The ﬁrst claim follows from Proposition 4.39 and the fact that the image of an irreducible set is irreducible. The Hilbert function computation is most conveniently conducted
using Proposition 4.30, we leave it to the reader.
Next, one should check that x41 + x42 + x43 + x24 · (x1 + x2 ) satisﬁes assumptions of Corollary 5.4
with respect to the variable X := x4 . The resulting ﬂat family presents the apolar algebra of
x41 +x42 +x43 +x24 ·(x1 +x2 ) as a ﬂat limit of schemes isomorphic to W , where W is a disjoint union
of a double point and an apolar algebra of x41 + x42 + x43 . Then one may continue by applying
Corollary 5.4 trice or using the fact that every ﬁnite Gorenstein algebra A with hA (1) ≤ 3 is
smoothable, see [CN11] and references therein. To calculate that p ∈ HilbGorrPn ◦ is smooth it
suﬃcies to prove that the tangent space at p has k-rank 4 · 13 = 52. The most straightforward
way to do this is to calculate the apolar ideal of x41 + x42 + x43 + x24 · (x1 + x2 ) together with its
square and use Proposition 4.10. Since this is pure computation (but see Remark 5.9 below), we
leave it to the reader.
Remark 5.9. If k[t] → S ∗ [t]/It is the flat family from Theorem 5.3, then one may analyze
flatness of k[t] → S ∗ [t]/It2 using the same theorem, obtaining a criterion for flatness in terms of
It . Unfortunately in general its check seems as difficult as making a direct computation.

5.5

Smoothability of graded algebras with Hilbert function (1, 3, 3, 3, 3, 1)

As mentioned in the proof of Proposition 5.8, every ﬁnite Gorenstein algebra A satisfying hA (1) ≤
3 is smoothable; the proof depends on a structure theorem on the resolutions of such A. As an
example of a more general method, we present a diﬀerent approach to this smoothability, which
shows a tight connection between ﬁnding equations of secant varieties and proving smoothability
of certain Gorenstein algebras.
Since we are analyzing graded algebras, we may take homogeneous forms of degree ﬁve as the
dual socle generators. The following proposition shows that the set of such forms is irreducible,
in fact describing a general element.
Proposition 5.10. The projective set of quartics in three variables, whose apolar algebras have
the Hilbert function (1, n, m, m, n, 1) with m ≤ 3, is the third secant variety to the fifth Veronese
embedding of P2 . In particular it is irreducible.
28

Proof. See [LO11, Thm 3.2.1].
A general form of this set is equal, up to a linear change of coordinates, to the form x51 +
x52 + x53 ∈ k[x1 , x2 , x3 ]. The apolar algebra of such form is smoothable by Corollary 5.4.

Acknowledgements
The author is very grateful to Jarosław Buczyński for introducing him to the research-level
algebraic geometry, many hours spent on teaching and explaining, his throughout assistance and
sense of humour. Thanks to you the master degree was a happy research time!
The topic of this work was primarily inspired by the work of Gianfranco Casnati and Roberto
Notari, who also introduced the author to many folklore facts during the scientiﬁc visits in Torino.
Thank you for all!

References
[BB10] Weronika Buczyńska and Jarosław Buczyński. Secant varieties to high degree
Veronese reembeddings, catalecticant matrices and smoothable Gorenstein schemes.
arXiv preprint arXiv:1012.3563, 2010.
[BCR12] Cristina Bertone, Francesca Cioﬃ, and Margherita Roggero. A division algorithm
in an aﬃne framework for ﬂat families covering Hilbert schemes. arXiv preprint
arXiv:1211.7264, 2012.
[BGL10] Jarosław Buczyński, Adam Ginensky, and Joseph M Landsberg. Determinantal equations for secant varieties and the Eisenbud-Koh-Stillman conjecture. arXiv preprint
arXiv:1007.0192, 2010.
[Bjö79] Jan-Erik Björk. Rings of differential operators, volume 21 of North-Holland Mathematical Library. North-Holland Publishing Co., Amsterdam, 1979.
[BMR12] Alessandra Bernardi, Pedro Macias Marques, and Kristian Ranestad. Computing the
cactus rank of a general form. ArXiv e-print arXiv:1211.7306, 2012.
[CEVV09] Dustin A. Cartwright, Daniel Erman, Mauricio Velasco, and Bianca Viray. Hilbert
schemes of 8 points. Algebra Number Theory, 3(7):763–795, 2009.
[CN09] Gianfranco Casnati and Roberto Notari. On the Gorenstein locus of some punctual
Hilbert schemes. J. Pure Appl. Algebra, 213(11):2055–2074, 2009.
[CN11] Gianfranco Casnati and Roberto Notari. On the irreducibility and the singularities
of the Gorenstein locus of the punctual Hilbert scheme of degree 10. J. Pure Appl.
Algebra, 215(6):1243–1254, 2011.
[Eis95] David Eisenbud. Commutative algebra, volume 150 of Graduate Texts in Mathematics.
Springer-Verlag, New York, 1995. With a view toward algebraic geometry.
[EV10] Daniel Erman and Mauricio Velasco. A syzygetic approach to the smoothability of
zero-dimensional schemes. Adv. Math., 224(3):1143–1166, 2010.
[Gro95] Alexander Grothendieck. Techniques de construction et théorèmes d’existence en
géométrie algébrique. IV. Les schémas de Hilbert. In Séminaire Bourbaki, Vol. 6,
pages Exp. No. 221, 249–276. Soc. Math. France, Paris, 1995.

29

[GW10] Ulrich Görtz and Torsten Wedhorn. Algebraic geometry I. Advanced Lectures in
Mathematics. Vieweg + Teubner, Wiesbaden, 2010. Schemes with examples and
exercises.
[Har66] Robin Hartshorne. Connectedness of the Hilbert scheme. Publications Mathématiques
de l’IHÉS, 29(1):7–48, 1966.
[Har77] Robin Hartshorne. Algebraic geometry. Springer-Verlag, New York, 1977. Graduate
Texts in Mathematics, No. 52.
[Har10] Robin Hartshorne. Deformation theory, volume 257 of Graduate Texts in Mathematics. Springer, New York, 2010.
[Iar94] Anthony A. Iarrobino. Associated graded algebra of a Gorenstein Artin algebra.
Mem. Amer. Math. Soc., 107(514):viii+115, 1994.
[Jel12] Joachim Jelisiejew. Local ﬁnite dimensional Gorenstein k-algebras having Hilbert
function (1,5,5,1) are smoothable. ArXiv e-print arXiv:1212.0522, 2012.
[Kle80] Steven L. Kleiman. Relative duality for quasicoherent sheaves. Compositio Math.,
41(1):39–60, 1980.
[Lam91] Tsit Yuen Lam. A First Course in Noncommutative Rings, volume 131 of Graduate
Texts in Mathematics. Springer, New York, 1991.
[LO11] Joseph M. Landsberg and Giorgio Ottaviani. Equations for secant varieties of
Veronese and other varieties. ArXiv e-print arXiv:1111.4567, 2011.
[Str96] Stein Arild Strømme. Elementary introduction to representable functors and Hilbert
schemes. In Parameter spaces (Warsaw, 1994), volume 36 of Banach Center Publ.,
pages 179–198. Polish Acad. Sci., Warsaw, 1996.
[Wei94] Charles A. Weibel. An introduction to homological algebra, volume 38 of Cambridge
Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1994.

30

