ON SUBCANONICAL GORENSTEIN VARIETIES AND
APOLARITY

arXiv:1112.2897v2 [math.AG] 10 Oct 2012

PIETRO DE POI AND FRANCESCO ZUCCONI
Abstract. Let X be a codimension 1 subvariety of dimension > 1 of a variety
of minimal degree Y . If X is subcanonical with Gorenstein canonical singularities admitting a crepant resolution, then X is Arithmetically Gorenstein and
we characterise such subvarieties X of Y via apolarity as those whose apolar
hypersurfaces are Fermat.

1. Introduction
The Kodaira vanishing theorem does not extend to a normal Gorenstein variety,
see [GR70, Section 3.3]. On the other hand, it is known that schemes with Gorenstein canonical singularities have a single sheaf, denoted by ωX , that fits perfectly
for both duality and vanishing theorems, see [Kol95, Corollary 11.13].
Then—even if in the context of Mori theory the Gorenstein assumption is too
restrictive—to understand normal varieties with Gorenstein (strictly) canonical singularities is quite important and in this paper we prove some theorems on them.
We recall that a variety is called s-subcanonical if the dualising sheaf ωX exists
∗
N
and L⊗s is isomorphic to ωL
is an
X where s ∈ Z, L = φ OPN (1), and φ : X → P
∞
0
⊗i
embedding. The ring R := i=0 H (X, L ) is known as the canonical ring in the
case s = 1 and as the anticanonical ring in the case s = −1. A huge amount of
study has been devoted to these rings also in a more general setting. Here it is
sufficient to recall [AS78] and [Gre82] only.
In this paper we extensively use the concept of arithmetically Cohen-Macaulay
projective variety (aCM for short), see Definition 1, and the concept of arithmetically Gorenstein variety (aG for short), see Definition 2.
We extend the results of [Gre82] with the use of the General Kodaira Vanishing,
see [Kol95, Theorem 2.17].
We consider normal projective n-dimensional aCM varieties X ⊂ PN with canonical Gorenstein singularities that are regular (i.e. h1,0 (X) = 0) for which ωX is
base point free, the image of the canonical map ϕωX has maximal dimension and
h0 (X, ωX ) ≥ n + 2. We show that for such varieties the canonical ring R of X is
generated in degree n unless the image of the canonical map is a variety of minimal
degree, in which case R is generated by elements of degree at most n + 1. The
above results are also generalised to s-subcanonical varieties; see Proposition 1.
We also give conditions under which a projective variety X ⊂ PN with canonical
Gorenstein singularities is aG. We show (See Theorem 6 and Theorem 8) that this
happens if X is s-subcanonical and ℓ-normal, for all ℓ with 0 ≤ ℓ ≤ n + s − 1 and,
if s ≥ 0, satisfies the additional condition that hi (X, OX (k)) = 0 for 1 ≤ i ≤ n − 1
and 0 ≤ k ≤ s.
We point out that this result can be related also to [Vak06, Proposition 6.9].
Date: 13th August 2017.
2000 Mathematics Subject Classification. 14J40, 14J45, 13H10, 14N05, 14J17.
Key words and phrases. Gorenstein variety, Subcanonical varieties, apolarity.
1

2

PIETRO DE POI AND FRANCESCO ZUCCONI

In this paper we write that a variety X is s-aG if it is aG and s-subcanonical, and
we call s-subcanonically regular a variety which is s-aG with Gorenstein canonical
singularities. By Theorem 8 we can extend the approach of our previous works
[DZ11] and [DZ2] to this class of varieties. We recall that F. Macaulay proved that
an Artinian graded Gorenstein ring and so of socle dimension 1 and degree—say—k
m]
can be realised as A = C[∂0F,...,∂
, where F ∈ C[x0 , . . . , xm ] is a homogeneous poly⊥
nomial of degree k and F ⊥ := {D ∈ C[∂0 , . . . , ∂m ]| D(F ) = 0}, where C[∂0 , . . . , ∂m ]
is the polynomial ring generated by the natural derivations over C[x0 , . . . , xm ], see
[Mac16] and [IK99, Section 2.3]. We call F the Macaulay polynomial of A. Now let
X ⊂ PN be an s-subcanonically regular variety of dimension n, with homogeneous
coordinate ring SX . A choice of n + 1 independent linear forms η0 , . . . , ηn , determSX
of socle of degree s + n + 1. The
ines an Artinian graded Gorenstein ring (η0 ,...,η
n)
Macaulay polynomial of this ring is a form Fη0 ,...,ηn of degree s + n + 1 in N − n
variables. This defines a rational map:
(1)

αX : G(m, N ) 99K Hm,s+n+1

from the Grassmannian of m-planes in PN (where m = N − (n + 1)) to the space of
homogeneous polynomials of degree s + n + 1 in P̌N modulo the action of PGL(m +
1, C), sending the m-plane (η0 = . . . = ηn = 0) to the orbit of Fη0 ,...,ηn .
In this paper we prove natural generalisations of the celebrated Noether and
Enriques-Petri-Babbage Theorems [ACGH85, §III.3] in the wider context of ssubcanonically regular varieties:
Main Theorem. Let (X, L) be a polarised (k − 1)-dimensional variety, such that
X ⊂ |L|∨ =: P̌N is an s-subcanonical variety with crepant resolution and with
k > 2, k + s > 2; then X is contained as a codimension one subvariety in a
rational normal scroll, or a quadric, or a cone on the Veronese surface v2 (P2 ) if
and only if it is s-subcanonically regular and for every k-tuple of general sections
η1 , . . . , ηk ∈ H 0 (X, L), Fη1 ,...,ηk ∈ C[x0 , . . . , xN −k ] is a Fermat hypersurface of
degree (s + k).
See Theorem 23. Main Theorem is the first step to study the geometry of an ssubcanonically regular variety of dimension n via the behaviour of the rational map
αX : G(m, N ) 99K Hm,s+n+1 . For a non-trivial example concerning the canonical
curve case see [BCN11]. Moreover, we stress the fact that, contrary to the curve
case—that is k = 2—it follows, from Main Theorem, that given a variety X of
dimension ≥ 2 with Gorenstein strictly canonical singularities, to be contained as
a divisor in a rational normal scroll and to be subcanonical forces X to be aCM
(and hence aG).
We think that the assumption that the resolution is crepant establishes an interesting link between the theory of singularities and the theory of apolarity. Finally
we think that some of the geometry we have described could shed some light on
some aspects of Artinian Gorenstein Rings, see [CRV01].
2. Preliminaries
In this paper we will work with projective varieties and schemes over the complex
field C. For us, a variety X will always be irreducible but not necessarily smooth.
2.1. Generalisation of some results of Green. Nowadays the results of [Gre82]
are easily generalisable to many classes of varieties. For this work, we assume that
X is normal with Gorenstein canonical singularities. We will follow closely the
exposition of [Gre82] indicating the changes to be made to adapt it to our case.

ON SUBCANONICAL GORENSTEIN VARIETIES AND APOLARITY

3

Let φ : X → PN be a morphism and set L = φ∗ OPN (1). Since L is base point
free, following [Gre82, §2], we can form the exact sequence:
0 → Q∗0 → H 0 (X, L) ⊗ OX → L → 0

(2)

naturally given by the evaluation map H 0 (X, L) ⊗ OX → L. Then we see that the
natural multiplication map µd : H 0 (X, L) ⊗ H 0 (X, (d − 1)L) → H 0 (X, dL) fits in
the cohomology of the obvious sequence obtained from the sequence (2):
µd

0 → H 0 (X, Q∗0 ⊗ (d − 1)L) → H 0 (X, L) ⊗ H 0 (X, (d − 1)L) −→ H 0 (X, dL) →
→ H 1 (X, Q∗0 ⊗ (d − 1)L) → H 0 (X, L) ⊗ H 1 (X, (d − 1)L) → · · ·
Letting Cd be the coker of µd we obtain that:
Cd ∼
= ker(H 1 (X, Q∗ ⊗ (d − 1)L) → H 0 (X, L) ⊗ H 1 (X, (d − 1)L)).
0

We are ready to prove:
Proposition 1. Let X be an n-dimensional variety with normal Gorenstein canonical singularities. Let L be a line bundle on X such that:
(1) L⊗s ∼
= ωX ;
(2) |L| is base point free;
(3) the map associated to |L|, ϕ|L| : X → PN is such that dim(ϕ|L| (X)) = n;
(4) ϕ|L| (X) is not a variety of minimal degree and has codimension at least
two.
0
Then the ring R := ⊕+∞
d=0 H (X, dL) is generated by elements of degree at most
1
n + s − 1 if h (X, OX ) = 0.
Proof. Since X is Cohen-Macaulay, see [Kol95, Corollary 11.13], we can apply Serre
Duality, and then
C∗ ∼
= H n−1 (X, Q0 ⊗ (s − d + 1)L)/ Im(H 0 (X, L)∗ ⊗ H n−1 (X, (s − d + 1)L)),
d

The subtle vanishing theorem [Gre82, Theorem 2.14] holds under our hypothesis
too. In fact [Gre82, Theorem 2.8] holds for a variety with normal Gorenstein canonical singularities since the general Kodaira vanishing is applicable. Now [Gre82,
Theorem 1.3] is obviously independent of any assumption on the singularities of
X, while the crucial condition in the proof of [Gre82, Theorem 2.14] is that X is
regular. Finally to apply our generalisation of [Gre82, Theorem 2.14], using the
same notations as in [Gre82, Theorem 2.14], we have to put p = 1, k = n − 1,
n = p + k; so if s − d + 1 = −k, that is d = s + n, then the claim follows verbatim
as in the proof of [Gre82, Theorem 3.9 (3)] since hn−1 (X, Q0 ⊗ (1 − n)L) = 0 and
therefore Cs+n = 0.

Remark 1. Notice that under the assumptions of Proposition 1 we have Cd = 0 if
d ≥ s + n as in the proof of [Gre82, Theorem 3.9 (3)] since we can apply [Gre82,
Theorem 2.8] (2) to obtain hn−1 (X, Q0 ⊗ (−n)L) = 0 and [Gre82, Theorem 2.8] (1)
to obtain hn−1 (X, Q0 ⊗ (−m)L) = 0 where m > n.
2.2. Arithmetically Gorenstein schemes. Let us fix a closed subscheme Z of
PN of dimension n ≥ 1 and a system x0 , . . . , xN of projective coordinates. Let IZ
be the sheaf of ideals of Z. The module M r (Z) := ⊕t∈Z H r (PN , IZ (t)), 1 ≤ r ≤ n,
is called the r-th Hartshorne-Rao module of Z.
Definition 1. Let Z ⊂ PN be a a closed subscheme of dimension n. Then Z is
said to be arithmetically Cohen-Macaulay (aCM for short) if N − n is equal to the
length of a minimal free resolution of its homogeneous coordinate ring
S
SZ :=
IZ

4

PIETRO DE POI AND FRANCESCO ZUCCONI

as an S-module, where S := C[x0 , . . . , xN ] and IZ := ⊕t∈Z H 0 (PN , IZ (t)) is the
homogeneous ideal of Z.
A zero-dimensional scheme is automatically aCM, see [Mig98, page 10].
Proposition 2. A scheme Z ⊂ PN of dimension ≥ 1 is aCM if and only if
M r (Z) = 0 for all 1 ≤ r ≤ n.
Proof. See for example [Mig98, 1.2.2 and 1.2.3].



Definition 2. Let Z ⊂ PN be a closed subscheme. Z is said to be arithmetically
Gorenstein (aG for short) if it is aCM and the last free module of a minimal free
resolution of SZ has rank 1.
Definition 3. A subscheme Z ⊂ PN is said to be subcanonical if there exists an
integer s ∈ Z such that ωZ ∼
= OZ (s), where ωZ is the dualising sheaf of Z (which
exists by [Har83, Proposition III.7.5]).
Note that an aCM scheme is aG if and only if it is subcanonical. The dualising
sheaf of an n-dimensional projective scheme Z ⊂ PN is
−n
ωZ = ExtN
O N (OZ , ωPN )
P

−n
which is the sheafification of the canonical model ExtN
(SZ , S)(−N − 1). By
S
Serre’s correspondence, if Z is aCM then the canonical model of the last free module
of the minimal free resolution of SZ has rank 1 exactly when ωZ ∼
= OZ (s) for some
s ∈ Z. More precisely we have the following:

Proposition 3. If Z is an aCM closed subscheme of PN , then the following are
equivalent:
(1) Z is aG;
(2) ωZ ∼
= OZ (s) for some integer s;
(3) the minimal free resolution of SZ is self-dual, up to a twist.
Proof. See [Mig98, Proposition 4.1.1].



We need the following:
Definition 4. Let Z ⊂ PN be a projective closed subscheme. We say that Z is
j-normal, with j ∈ Z, j ≥ 0, if the natural restriction map
H 0 (PN , OPN (j)) → H 0 (Z, OZ (j))
is surjective. We say that Z is projectively normal (PN for short) if it is j-normal
∀j ∈ Z, j ≥ 0.
The following is an easy characterisation of aCM schemes among PN ones:
Proposition 4. Let X ⊂ PN be an n-dimensional PN scheme. Then X is aCM if
and only if
hi (X, OX (j)) = 0, for 0 < i < n and ∀j ∈ Z.
Proof. By Proposition 2, X is an aCM-scheme iff hr (PN , IX (j)) = 0 for every j ∈ Z
and 1 ≤ r ≤ n. We consider the cohomology of the standard sequence for X ⊂ PN :
0 → IX (j) → OPN (j) → OX (j) → 0.
Since X is PN, then by Bott’s theorem it follows h1 (PN , IX (j)) = 0 where j ∈ Z.
Using Bott’s theorem again it follows that hi+1 (PN , IX (j)) = hi (X, OX (j)) where
0 < i < n and j ∈ Z.

Classically a variety X is called irregular if h1 (X, OX ) > 0.

ON SUBCANONICAL GORENSTEIN VARIETIES AND APOLARITY

5

Corollary 5. let X ⊂ PN be an n-dimensional irregular variety. If n ≥ 2, X
cannot be aG.
In the case of subcanonical varieties we can get more than what is in Proposition 4, thanks to the general Kodaira vanishing theorem and some generalisations
of the results in [Gre82] proved above, see Proposition 1.
Theorem 6. Let X ⊂ PN be a canonical n-dimensional ℓ-normal variety where
1 ≤ ℓ ≤ n. Assume that X has normal Gorenstein canonical singularities and that
hi (X, OX ) = 0 for all 1 ≤ i ≤ n − 1. Then X is aG.
Proof. Since X is canonical then OX (1) ∼
= ωX . Hence by Proposition 3 we only
need to show that X is aCM.
First of all, without loss of generality we can suppose that X has codimension
at least two.
The cohomology of 0 → IX (k) → OPN (k) → OX (k) → 0 gives:
(3)
0 → H 0 (PN , IX (k)) → H 0 (PN , OPN (k)) → H 0 (X, OX (k)) → H 1 (PN , IX (k)) → 0
and H i (X, OX (k)) ∼
= H i+1 (PN , IX (k)) for 0 < i < n and for every k ∈ Z. By the
general Kodaira vanishing theorem, hi (X, OX (k)) = 0 for k < 0, i < n. Moreover,
Serre duality holds and it gives:
hi (X, OX (k)) = hn−i (X, OX (1 − k))
and therefore, since hi (X, OX ) = 0, we deduce hi (X, OX (k)) = 0 for 1 ≤ i ≤ n − 1,
∀k ∈ Z.
It remains to show that X is PN. By our ℓ-normality hypothesis, it remains to
prove that h1 (PN , IX (k)) = 0, if k > n. Since h1 (X, OX ) = 0, we can apply Proposition 1 with s = 1. Then the canonical ring of X is generated in degree n. Now
we show that X is (n+ 1)-normal, the case where k ≥ n+ 2 works by induction on k
in the same vein. Since ωX = OX (1) and since we have assumed that X is n-normal
⊗n+1
we can put the natural homomorphism Symn+1 H 0 (X, ωX ) → H 0 (X, ωX
) and
⊗n+1
⊗n
0
0
0
) in the following
the multiplication map H (X, ωX )⊗ H (X, ωX ) → H (X, ωX
exact commutative diagram:
0
0
x
x




Symn+1 H 0 (X, ωX )
x



−−−−→

⊗n+1
H 0 (X, ωX
)
x



−−−−→ H 1 (PN , IX (n + 1)) −−−−→ 0

⊗n
H 0 (X, ωX ) ⊗ Symn H 0 (X, ωX ) −−−−→ H 0 (X, ωX ) ⊗ H 0 (X, ωX
) −−−−→

obtained by (3).
⊗n+1
Let ξ ∈ H 1 (PN , IX (n + 1)). By surjectivity, there exists γ ∈ H 0 (X, ωX
)
such that γ 7→ ξ. From the surjectivity in the second column, there exists an
α ∈ H 0 (X, ωX ) ⊗ Symn H 0 (X, ωX ) such that α 7→ γ. Therefore, by the surjectivity
in the second row, there exists an ᾱ ∈ H 0 (X, ωX ) ⊗ Symn H 0 (X, ωX ) such that
ᾱ 7→ α. Let γ̄ ∈ Symn+1 H 0 (X, ωX ) be the image of ᾱ. By commutativity, γ̄ 7→ γ.
Then by the exactness of the first row, ξ must be zero.

Because of the history of the topic, we like to recall the following corollary of
Theorem 6:
Corollary 7. Let X ⊂ PN be a smooth canonical regular 2-normal surface. Then
X is aCM and therefore is aG.

0

6

PIETRO DE POI AND FRANCESCO ZUCCONI

The result of Theorem 6 is also true in the s-subcanonical case with a mild extra
hypothesis; but in this case the assumption on singularities is interesting.
Theorem 8. Let s ∈ Z. Let X ⊂ PN be a s-subcanonical n-dimensional ℓ-normal,
for all ℓ such that 1 ≤ ℓ ≤ n + s − 1, variety with normal Gorenstein canonical
singularities. If s ≥ 0 assume also that hi (X, OX (k)) = 0, for all i, k ∈ Z such that
1 ≤ i ≤ n − 1 and 0 ≤ k ≤ s. Then X is aG.
Proof. The proof is identical to the proof of Theorem 6 except that in this case
ωX = OX (s) and this causes some trivial shifts in the indices.

We give the following:
Definition 5. Let s ∈ Z. An s-aG variety X ⊂ PN with normal Gorenstein
canonical singularities will be called an s-subcanonically regular variety.
Thanks to Theorem 8, being an s-subcanonically regular variety is equivalent to
requiring that for all 1 ≤ i ≤ dim(X) − 1 and for all 0 ≤ k ≤ s, hi (X, OX (k)) = 0
and h1 (PN , IX (ℓ)) = 0, for all 1 ≤ ℓ ≤ dim(X) + s − 1.
3. On Subcanonically regular varieties
Theorem 8 makes it possible to extend the results of [DZ11] and [DZ2] to some
s-subcanonically regular varieties; see also the introduction.
To do this, we recall a few facts about apolarity theory.
3.1. Apolarity. An excellent reference for apolarity is the notes by A. Geramita,
[Ger96]. Let S := C[x0 , . . . , xN ] be the polynomial ring in (N + 1)-variables. The
algebra of partial derivatives on S,
T := C[∂0 , . . . , ∂N ],

∂i :=

∂
,
∂xi

acts on the monomials by:
(


a! ab xb−a if b ≥ a
∂ ·x =
0
otherwise


Q
Q
where a, b are multiindices, ab = i abii , a! := i ai ! etc.
We can think of S as the algebra of partial derivatives on T by defining
(

a! ab ∂ b−a if b ≥ a
a
b
x ·∂ =
0
otherwise.
a

b

These actions define a perfect pairing between the forms of degree d in S and T ,
∀d ∈ N:
·
→ C.
Sd × T d −
Indeed, this is nothing but the extension of the duality between vector spaces: if
V := S1 , then T1 = V ∗ .
This perfect paring shows the natural duality between PN :=PProj(S) and P̌N =
Proj(T ). More precisely, if (c0 , . . . , cN ) ∈ P̌N , this gives fc := i ci xi ∈ S1 , and if
D ∈ Ta ,
(

a! ab D(c)fcb−a if b ≥ a
b
D · fc =
0
otherwise.
in particular, if b ≥ a
0 = D · fcb ⇐⇒ D(c) = 0
where D(c) is the value of the polynomial D at c := (c0 , . . . , cN ).

ON SUBCANONICAL GORENSTEIN VARIETIES AND APOLARITY

7

Definition 6. We say that two forms, f ∈ S and g ∈ T are apolar if
g · f = f · g = 0.
Let f ∈ Sd and F := V (f ) ⊂ PN the corresponding hypersurface; let us now
define
F ⊥ := {D ∈ T | D · f = 0}
and
T
AF := ⊥ .
F
Lemma 9. The ring AF is Artinian Gorenstein of socle of degree d.
Proof. See [IK99, §2.3 page 67].



F

Definition 7. A is called the apolar Artinian Gorenstein ring of F .
The Macaulay Lemma asserts that any Artinian Gorenstein ring of socle of degree
d is apolar to a hypersurface of degree d; more precisely:
Lemma 10. The map
F 7→ AF
is a bijection between the hypersurfaces F ⊂ PN of degree d and graded Artinian
Gorenstein quotient rings
T
A :=
I
with socle of degree d.
Proof. See [IK99, Lemma 2.12 page 67].



F

If A = A then the polynomial F is called the Macaulay polynomial of A.
3.1.1. Varieties of sum of powers. Consider a hypersurface F = V (f ) ⊂ PN of
degree d.
Definition 8. A subscheme Γ ⊂ P̌N is said to be apolar to F if
I(Γ) ⊂ F ⊥ .
The Apolarity Lemma holds:
Lemma 11. Let us consider the linear forms ℓ1 , . . . , ℓs ∈ S1 and let us denote by
L1 , . . . , Ls ∈ P̌N the corresponding points in the dual space and by Γ := {L1 , . . . , Ls } ⊂
P̌N the corresponding zero-dimensional subscheme. Then
Γ is apolar to F = V (f ), ⇐⇒ ∃λ1 , . . . , λs ∈ C∗ such that f = λ1 ℓd1 + . . . + λs ℓds
If s is minimal, then it is called the Waring number of F .
Proof. See [IK99, Lemma 1.15 page 12].



3.2. Macaulay polynomials of s-subcanonically regular varieties. In [DZ11],
we studied the special case of the canonical curve C ⊂ P̌g−1 of the map introduced
in (1). In fact it is a well-known result that C is aG (see [ACGH85, page 117]).
Therefore, if we take two general linear forms η1 , η2 ∈ (RC )1 = H 0 (ωC ), then
C
T := hηR
is Artinian Gorenstein, and its values of the Hilbert function are
1 ,η2 i
1, g − 2, g − 2, 1. In particular, the socle degree of T is 3, and by the Macaulay
Lemma, this defines a hypercubic in Proj(T ∗ ). In this way we obtain the rational
map αC : G(g − 3, g − 1) 99K Hg−3,3 .
Theorem 12. Let X ⊂ PN be an s-subcanonically regular variety of dimension
n. Let η0 , . . . , ηn be n + 1 general linear forms on PN . Then the graded C-algebra
SX
is of degree s + n + 1.
A := hη0 ,...,η
ni

8

PIETRO DE POI AND FRANCESCO ZUCCONI

Proof. By Theorem 8 and by Proposition 3, the homogeneous coordinate ring SX
is aG, i.e. it is the homogeneous coordinate ring of an aG scheme.
Therefore, also A = SX /(η0 , . . . , ηn ) is aG since η0 , . . . , ηn is a regular sequence:
see for example [BH93, Proposition 3.1.19(b)]. The ring A is obviously graded so
by Proposition 3(3) it has symmetric Hilbert function since it is aG. By symmetry,
the socle of A is of dimension 1. Now, it remains to prove that the socle of A is of
degree s + n + 1. Let KA be the canonical model of A, see [BH93, Definition 3.6.8
page 139, also page 140] and let a(A) be the a-invariant of A, see [BH93, Definition
3.6.13]. By Proposition 3(2), KX = SX (s), then KA = A(s + n + 1) since [BH93,
Corollary 3.6.14]. In particular, a(A) = s + n + 1 by [BH93, Corollary 3.6.14]. This
means As+n+1 6= 0 and Ai = 0 for i ≥ s + n + 2 (see the remark which follows
[BH93, Theorem 3.6.19]).

Remark 2. With simple but tedious calculations we could find the values of the
Hilbert function of A of the preceding theorem.
By Theorem 12 it easily follows that an s-subcanonically regular variety X ⊂ PN
of dimension n, defines the map αX : G(m, N ) 99K Hm,s+n+1 presented in the
introduction, see (1).
It is natural to extract pieces of information on the geometry of X by the nature
of this map and, vice versa, to understand some features of some Artinian Gorenstein graded C-algebras. We are informed that the realm of Artinian Gorenstein
graded C-algebras is huge, but the case where X is a curve is quite important, see
[CRV01].
In this paper we concentrate mostly on the geometrical aspects of the problem.
The first step, in the light of [DZ11], is to understand which are the varieties whose
Macaulay polynomials are Fermat hypersurfaces.

3.3. Example: the case of hypersurfaces. We analyse now a way to obtain
subcanonical varieties via hypersurfaces of the M -dimensional projective space and
Veronese embeddings of PM .
So, let us consider a hypersurface Y ⊂ PM of degree sn + M + 1 > 0, s ∈ Z,
n, M ∈ N; therefore, Y ∈ |(sn + M + 1)H|, where H is the hyperplane divisor
on PM . Assume that Y has only normal Gorenstein canonical singularities. By
adjunction we have:
(4)

ωY = OPM (snH) ⊗OPM OY .


Now, consider the n-th embedding of PM , vn : PM → PN , where N := n+M
−1.
n
Vn := vn (PM ) is a Veronese variety, and it is well-known that it is an aCM variety
of degree nM .
Since Vn is aCM, it follows that X := vn (Y ) ⊂ Vn is aCM also:
Proposition 13. Let Y ⊂ PM be a hypersurface of degree sn + M + 1 with normal
Gorenstein canonical singularities. Let X be its n-tuple Veronese embedding X :=
vn (Y ) ⊂ Vn ⊂ PN , with N = n+M
− 1. Then X is aG and s-subcanonically
n
regular.
Proof. We need to show that hi (PN , IX (j)) = 0 for all j ∈ Z, 1 ≤ i ≤ M − 1.

ON SUBCANONICAL GORENSTEIN VARIETIES AND APOLARITY

9

By the above inclusions we can construct the following commutative and exact
diagram of sheaves:
0
x



0 −−−−→

IX,Vn (j)
x


IX (j)
x



−−−−→ OPN (j) −−−−→

0 −−−−→ IVn (j) −−−−→ OPN (j) −−−−→
x


0

0
x



OX (j)
x



OVn (j)
x



−−−−→ 0

−−−−→ 0

OVn (j − X)
x



0
∼
By the above diagram IX,Vn (j) = OVn (j − X), and then hi (PN , IVn (j)) = 0 for
all j ∈ Z, 1 ≤ i ≤ M because Vn is aCM. Therefore it is sufficient to show that
hi (PN , OVn (j − X)) = 0 for all j ∈ Z, 1 ≤ i ≤ M − 1.
Since vn : PM → Vn ⊂ PN is an embedding, we are reduced to show only that
i M
h (P , OPM (jn−sn−M −1)) = 0 for all j ∈ Z, 1 ≤ i ≤ M −1, which is well-known
(see [Har83, III.5.1]).
Moreover, by (4), X is also aG and s-subcanonical.

Corollary 14. Let C ⊂ PK be a cone over the n-tuple Veronese embedding Vn ⊂
PN of PM , with N = n+M
− 1. Let Z ⊂ C be a codimension one subvariety with
n
normal Gorenstein canonical singularities which is s-subcanonical. Then Z is s-aG
and it is linearly equivalent to a cone over the image of a hypersurface Y ⊂ PM of
degree sn + M + 1 under the n-tuple Veronese embedding.
Proof. By [Har83, Exercise II.6.3], Pic(C) ∼
= Pic(Vn ), and the isomorphism is given
by the projection from the vertex of the cone. Now, Pic(Vn ) ∼
= Pic(PM ) = Z, so
Z is linearly equivalent to a cone over the image of a hypersurface Y ⊂ PM of
degree sn + M + 1 under the n-tuple Veronese embedding. By Proposition 13,
this cone D is aCM (recall Definition 1 and the fact that a cone and its base have
isomorphic homogeneous coordinate rings) and hence s-aG. Moreover, since X is
linearly equivalent to D, it follows that hi (PN , OC (j − X)) = hi (PN , OC (j − D))
for all j ∈ Z, hence the assertion.

Moreover, we deduce immediately:
Proposition 15. Let Y ⊂ PM be a hypersurface of degree sn + M + 1 with normal
SX
Gorenstein canonical singularities. Let A := hη0 ,...,η
be the Artinian graded
M −1 i
Gorenstein ring corresponding to the s-subcanonical variety X := vn (Y ) ⊂ PN ,
with η0 , . . . , ηM−1 general linear forms on PN . Then the Macaulay polynomial of
A is an (s + M )-tic of Waring number at most nM (i.e. it is the sum of at most
nM (s + M )-th powers of linear forms).
Proof. The estimate for the Waring number is given by the degree of the Veronese
variety Vn = vn (PM ) ⊃ X.


10

PIETRO DE POI AND FRANCESCO ZUCCONI

3.4. Complete intersections. Perhaps the easiest way to obtain aG varieties is
doing complete intersections in projective space. In fact, if a variety X ⊂ PN is
the complete intersection of c hypersurfaces, F1 . . . , FcPof degrees d1 , . . . , dc , then,
c
by adjunction, we have that ωX ∼
= OPN (−N − 1 + i=1 di ) |X . We set E :=
c
⊕i=1 OPN (−di ). We have the Koszul complex :
0 → ∧c E → · · · → E → IX → 0,

and noticing that the intermediate cohomology of ∧i E is
we deduce that X
Pzero,
c
is aCM also. Therefore, X is s-aG, with s := −N − 1 + i=1 di .

Lemma 16. Let X be a codimension one subcanonical subvariety of a quadric
hypersurface Q ⊂ PN . Then X is aG.

Proof. Let r be the rank of the quadric Q; if r ≥ 4, then, by Klein’s theorem, see
[Har83, Exercise II.6.5(d)], X is a complete intersection, and therefore it is aG.
If r = 2, then Pic(Q) ∼
= Pic(C) = ZP , where C is a smooth conic and P is the
class of a (closed) point of C, and the first isomorphism is given by the projection
of the cone onto its base; moreover, the class of the hyperplane section H of Q is
double the generator, i.e. H ≡ 2P (where ≡ is the linear equivalence of divisors)
see [Har83, Exercises II.6.3 and II.6.5(c)]. In particular, we can think of Q as a
cone with base C ⊂ P2 . X is linearly equivalent to the subscheme D given by
d rulings of the cone, where d := deg(X), i.e. the span of the vertex of Q with
the d points X ∩ P2 . By adjunction, X ∩ P2 ⊂ C is subcanonical, and hence
aG, since it is zero-dimensional. Therefore, D is aG. Now, since X ≡ D, then
hi (PN , OQ (j − X)) = hi (PN , OQ (j − D)) for all j ∈ Z, hence the assertion.
If r = 3, then Pic(Q) ∼
= (Q′ ) ∼
= ZF1 ⊕ ZF2 , where Q′ ⊂ P3 is a smooth quadric
and F1 , F2 are the classes of the two rulings of Q′ , and the first isomorphism is given
by the projection of the cone onto its base; moreover, the class of the hyperplane
section H of Q is H ≡ F1 + F2 (see again [Har83, Exercises II.6.3 and II.6.5(c)]). In
particular, we can think of Q as a cone with base Q′ ⊂ P3 . X is linearly equivalent
to the cone over a curve C ⊂ Q′ ; moreover, we can identify C with X ∩Q′ ⊂ P3 , and
hence C is subcanonical. Suppose that C is s-subcanonical and [C] = aF1 + bF2 .
Then a = b = s + 2, because on Q every effective divisor moves, so C is linearly
equivalent to a complete intersection, which is aCM, and we can conclude as above
that X is aCM and therefore aG.

3.5. 1-codimensional varieties in rational normal scrolls. For fixing some
notations, we recall some basic facts about rational normal scrolls.
3.5.1. Rational normal scrolls. By definition, a rational normal scroll (RNS for
short) of type (a1 , . . . , ak ), is the image Sa1 ,...,ak of the Pk−1 -bundle π : P(E) =
P(OP1 (a1 )⊕· · ·⊕OP1 (ak )) → P1 , under the morphism j : P(E) → PN defined by the
tautological bundle OP(E) (1). We can arrange the integers 0 ≤ a1 ≤ a2 ≤ . . . ≤ ak
Pk
and notice that N = k − 1 + f where we set f := i=1 ai = deg(Sa1 ,...,ak ). If
a1 = a2 = . . . = aℓ = 0 and aℓ+1 6= 0 where 1 ≤ ℓ < k then Sa1 ,...,ak is a cone of
vertex V of dimension ℓ − 1. Notice, in particular, that if a1 = a2 = . . . = ak−1 = 0
and ak = 1 then Sa1 ,...,ak = PN where N = k. Since our theory is for varieties
X contained in a projective space, in the case of varieties X ⊂ Sa1 ,...,ak we need
to study the morphism j : Y → X induced by j : P(E) → Sa1 ,...,ak ⊂ PN on the
j-strict transform Y of X. We follow the well-written exposition on Weil divisors
on rational normal scrolls [Fer01].
It is well known and easy to see that j : P(E) → Sa1 ,...,ak ⊂ PN is a rational resolution of the singularity V . In particular the Weil divisors are Cartier divisors on P(E)
but this is not true in general for Sa1 ,...,ak . Write Cl(X) and CaCl(X) for the divisor

ON SUBCANONICAL GORENSTEIN VARIETIES AND APOLARITY

11

class group and the group of Cartier divisors modulo principal divisors of X, as in
[Har83]. Since Codim(V, Sa1 ,...,ak ) ≥ 2, restriction to the complement of V gives an
isomorphism Cl(Sa1 ,...,ak ) → Cl(Sa1 ,...,ak \ V ) by[Har83, Proposition II.6.5]. Since
j is an isomorphism over j −1 (Sa1 ,...,ak \ V ), we have a surjective homomorphism
J : CaCl(P(E)) → Cl(Sa1 ,...,ak ) which is an isomorphism if Codim(V, Sa1 ,...,ak ) > 2
and has kernel isomorphic to Z, spanned by the class of the exceptional divisor E
of j, if Codim(V, Sa1 ,...,ak ) = 2.
In [Fer01] J(D) is called the strict image of a Cartier divisor D ⊂ P(E). In
particular if [H] and [F ] are respectively the class of the tautological divisor and
the class of the fibre of π, then Pic(P(E)) = [H]Z ⊕ [F ]Z. We denote by ∼ the
numerical equivalence of divisors. It easily follows that:
Corollary 17.
(1) If Codim(V, Sa1 ,...,ak ) > 2, then Cl(Sa1 ,...,ak ) = J[H]Z ⊕
J[F ]Z;
(2) if Codim(V, Sa1 ,...,ak ) = 2, then E ∼ H − f F and Cl(Sa1 ,...,ak ) = J[F ]Z.
We remark that the Weil divisor J(F ) on Sa1 ,...,ak is not Cartier if V 6= ∅
since, as in the standard case of the quadric cone, J(F ) is not locally principal
in a neighbourhood of V . Clearly the theory of Weil divisors on Sa1 ,...,ak splits
in two cases according to the codimension of V . For what we need, we only
stress that given a closed irreducible reduced subscheme X ⊂ Sa1 ,...,ak of pure
codimension 1 with no embedded components, the proper transform Y ⊂ P(E)
is the closure j −1 (X ∩ ((Sa1 ,...,ak \ V )). Hence, by linearity, the proper transform
Y is defined for every Weil divisor X on Sa1 ,...,ak , and J(Y ) = X. Moreover if
Codim(V, Sa1 ,...,ak ) > 2, then there exists a unique Cartier divisor Y such that
J(Y ) = X, but if Codim(V, Sa1 ,...,ak ) = 2 then J(Y + mE) = X for every m ∈ Z.
Finally to treat the group Div(Sa1 ,...,ak ) of divisorial sheaves on a singular scroll
Cl(Sa1 ,...,ak )
in terms of Pic(P(E)) we recall that Div(Sa1 ,...,ak ) =
where ≡ is the lin≡
ear equivalence and, if Codim(V, Sa1 ,...,ak ) > 2, then j⋆ : Pic(P(E)) → Div(Sa1 ,...,ak )
is an isomorphism. To study also the case Codim(V, Sa1 ,...,ak ) = 2 we recall that letting F ∨∨ be the double dual of a sheaf on a normal scheme, the homomorphism J induces a homomorphism,denoted by the same letter, J : Pic(P(E)) → Div(Sa1 ,...,ak )
given by OP(E) (Y ) 7→ j∗ (OP(E) (Y ))∨∨ . The homomorphism J is an isomorphism
if Codim(V, Sa1 ,...,ak ) > 2. Hence with a minor effort we see that the theory of
Cartier divisors and numerical equivalence on Pic(P(E)) goes parallel to the theory
of Weil divisors and linear equivalence on Div(Sa1 ,...,ak ). In particular
Lemma 18. Let j : P(E) → Sa1 ,...,ak ⊂ PN be the desingularisation of a singular
scroll of vertex V such that Codim(V, Sa1 ,...,ak ) > 2. Then it holds:
(1) let X ≡ aJ(H) + bJ(F ) be a Weil divisor on Sa1 ,...,ak ; then Y ∼ aH + bF
for the unique Cartier divisor on P(E) such that J(Y ) = X;
(2) j∗ OP(E) (Y ) = OSa1 ,...,ak (X);
(3) OSa1 ,...,ak (X) = (OSa1 ,...,ak (X))∨∨ .
Proof. See [Fer01, Note 3.14 and Corollary 3.20].



For the special case where Codim(V, Sa1 ,...,ak ) = 2 there is the problem that given
a Weil divisor X it is not necessarily true that j∗ OP(E) (Y + mE) = OSa1 ,...,ak (X)
for any m ∈ Z. To choose a good element in the set J −1 [X] = {[Y + mE]|m ∈ Z},
in [Fer01], the rational total transform of X is defined as the rational divisor Y +qE
where q is uniquely obtained by the relation (Y +qE)·E ·H k−2 = 0. Then assuming
first that X is effective and that Y ∼ aH + bF , it is easy to see that q = fb (recall
P
f =
ai ) so we can define a unique element X ∗ = Y + nq E ∈ J −1 (X) called the
integral total transform of X where nq is the smallest integer ≥ q.

12

PIETRO DE POI AND FRANCESCO ZUCCONI

Lemma 19. Let j : P(E) → Sa1 ,...,ak ⊂ PN be the desingularisation of a singular scroll of vertex V such that Codim(V, Sa1 ,...,ak ) = 2. Then the integral total
transform X ∗ of a Weil divisor X on Sa1 ,...,ak is uniquely determined by the linear
equivalence class. Moreover:
(1) let X ≡ dJ(F ) where d ≥ 0; then X ∗ ∼ (m + 1)H + (f − h − 1)F where
d − 1 = mf + h (m ≥ −1 and 0 ≤ h < f , m + 1 = a + nq and f − h − 1 =
f nq − b);
(2) let X ≡ dJ(F ) where d < 0; then OSa1 ,...,ak (X) ≃ OSa1 ,...,ak (−(m +
1)J(H) + (f − h − 1)J(F )) ≃ OSa1 ,...,ak (−mJ(H) − (h + 1)J(F ));
(3) let X ≡ dJ(F ) where d ∈ Z; then j∗ O(X ∗ ) = OSa1 ,...,ak (X).
Recall that Sa1 ,...,ak is aCM, and that in [Sch86] it is proved that the dualising
sheaf ωSa1 ,...,ak satisfies:
ωSa1 ,...,ak = j∗ OP(E) (KP(E) )
where the canonical class of P(E) is given by:
KP(E) = −kH + (N − k − 1)F.
3.5.2. Crepant s-subcanonical varieties in a RNS. We consider now 1-codimensional
subvarieties contained in rational normal scrolls and we ask under which conditions
they are s-subcanonical. To obtain the classification we assume that if X ⊂ Sa1 ,...,ak
is a Gorenstein irreducible s-subcanonical variety then the morphism j : P(E) →
Sa1 ,...,ak ⊂ PN induces a crepant morphism j|Y : Y → X on the strict transform Y
of X. For the notion of crepant morphism see [Rei83]. The crepant condition is a
natural one in the context of s-subcanonically regular varieties.
Lemma 20. Let s ∈ Z and let X ⊂ Sa1 ,...,ak ⊂ PN , k > 2, be a Gorenstein
irreducible s-subcanonical variety. Let Y be the j-proper transform of X. Assume
that the morphism j|Y : Y → X is crepant, that is j ∗ (ωX ) = ωY , and that Y ∼
aH + bF . If k > −s then s + k = a and b = k + 1 − N or a = k + s + 1, b = 0 and
N = k ( i.e. X is a hypersurface of Sa1 ,...,ak = PN where a1 = . . . = ak−1 = 0 and
ak = 1).
Proof. The assumption that X is s-subcanonical means that OX (s) = ωX . The
assumption that X is Gorenstein implies that we can use adjunction theory to
write ωX = OX (X) ⊗OX ωSa1 ,...,ak . Now we distinguish two cases according to the
codimension of the vertex V of the RNS Sa1 ,...,ak . To ease reading we remind the
reader that H ∈ H 0 (P(E), OP(E) (1)). We denote by E a general effective divisor of
the linear system |H − π ∗ ak F |.
First case. Codim(V, Sa1 ,...,ak ) > 2.
Let us define a divisor η on P(E) as
η := (a − k − s)H + (b + N − k − 1)F.
First we show that η is an effective divisor which does not move. By definition
(5)

η − Y = (−k − s)H + (N − k − 1)F ∼ KP(E) − sH.

By Lemma 18, numerical equivalence over P(E) translates to linear equivalence over
Sa1 ,...,ak and, again by Lemma 18 we have j∗ OY (η) = OX since j∗ OY (η) = ωX (−s).
Consider the following exact sequence:
0 → OP(E) (η − Y ) → OP(E) (η) → OY (η) → 0.
Since s > −k then, by (5), OP(E) (η − Y ) has no sections, and we have that
h0 (P(E), OP(E) (η − Y )) = 0.

ON SUBCANONICAL GORENSTEIN VARIETIES AND APOLARITY

13

Now it is enough to show that h0 (P(E), OP(E) (η)) = 1. Since h0 (Y, OY (η)) =
h0 (X, j∗ OY (η)) = h0 (X, OX ) = 1, then it is sufficient to show that h1 (OP(E) (η −
Y )) = 0. Since N = k − 1 + f and Pic(P(E)) = [H]Z ⊕ [F ]Z we can write η −
Y = (−k − s)H − f F . Thus we have to show that h1 (P(E), OP(E) (−k − s) ⊗
OP(E) ((−f F )) = 0. By [Har83, Exercise III.8.4(a)] we deduce that Ri π∗ (OP(E) (−k−
s)) = 0 ∀i > 0 (recall that −k − s < 0). Then by [Har83, Exercise III.8.1],
H 1 (P(E), OP(E) (−k−s)) ∼
= H 1 (P1 , π∗ (OP(E) (−k−s))), but by again [Har83, Exercise
III.8.4(a)], π∗ (OP(E) (−k − s)) = 0. Since OP(E) (F )) ∼
= π ∗ OP1 (1), we can conclude
by the projection formula ([Har83, Exercise III.8.3]).
It then follows that η is an effective divisor such that h0 (P(E), OP(E) (η)) = 1. By
a trivial numerical computation it follows that these conditions imply that there
exists an m ∈ N such that η ∼ mE = m(H − ak F ) and ak > ak−1 . Moreover, by
induction starting from the sequence
0 → OY (η − Y ) → OY (η) → OY|Y (η) → 0,
we get η · Y
(6)

k−1

= 0. Then the numerical condition η · Y k−1 = 0 is equivalent to
mak−2 [a ·

k−1
X

ai + (k − 1)b] = 0

i=1

P
since H k = deg Sa1 ,...,ak = ki=1 ai = f . By Equation (6), it follows that either
m = 0, which is the claim, or
a(ak − f )
(7)
b=
.
k−1
If we proceed as we did for Y , with E = H − ak F , again by induction, starting
from the sequence
0 → OE (η − Y ) → OE (η) → OE|E (η) → 0,
we deduce η · E k−1 = 0. From this equation, we infer
(8)

b = a((k − 1)ak − f ).

If a 6= 0, we have, from Equations (7) and (8), that
(9)

(k − 2)(ak k − f ) = 0;

since k > 2, we have that f = kak , which cannot happen, since we have supposed
that ak > ak−1 .
Second case. Codim(V, Sa1 ,...,ak ) = 2.
We have denoted by E the exceptional divisor of j : P(E) → Sa1 ,...,ak . The
argument used above shows that j∗ OP(E) (η) = OSa1 ,...,ak then, by Corollary 17 (2)
and by Lemma 19, we have that (J[η])∗ = 0. In particular there exists an m ∈ Z
such that η ∼ mE. Then −s − k + a = m and b + N − k − 1 = mf and
(10)

η = mE ∼ KP(E) + Y − sH.

In particular since OY (sH) = j ∗ OX (s) we have OY (mE) ≃ ωY − j ∗ ωX = 0.
Hence b = 0 or m = 0.
Assume m 6= 0. By Equation (10) we have that −s − k + a = m and N − k − 1 =
−mf . Since N = f + k − 1 it follows that (m+ 1)f = 2 and the only solution—since
f ≥ 0 and we have assumed m 6= 0—is f = 1 and m = 1.

Remark 3. The case k = 2 in Lemma 20 was considered in [DZ2, Lemma 15].
Moreover, if X is smooth, it is well known that k ≥ −s and s = −k if and only if
our variety is X is a Pk−1 . The same results holds if X is normal and Gorenstein:
see [Fuj90, Proposition 3.4, Paragraph 4.13 and Theorem 5.15].

14

PIETRO DE POI AND FRANCESCO ZUCCONI

We can sum up the above general results in the following:
Proposition 21. Let k ∈ N be such that k > 2, and let s ∈ Z be such that k > −s.
Let X ⊂ Sa1 ,...,ak be a Gorenstein irreducible 1-codimensional subvariety and let
Y ⊂ P(E) be its j-proper transform. Then X is general in its linear equivalence
class and s-subcanonical, and j|Y : Y → X is crepant, if and only if either Y is a
general element of |(s + k)H + (2 − f )F |, or k = N and Y is a hypersurface of
degree (s + k + 1).
Proof. By Lemma 20 we have only to show that if Y ∈ |(s + k)H + (k + 1 − N )F |
or Y ∈ |(s + k + 1)H| and N = k is general then X = j(Y ) is an s-subcanonical
Gorenstein irreducible 1-codimensional subvariety and j|Y : Y → X is crepant. In
the case where Y ∈ |(s + k + 1)H| the morphism Sa1 ,...,ak → PN is the blow-up
along the a codimension 2 linear subspace of PN . Hence Y is the total transform
of a general hypersurface X of degree (s + k + 1). Now the assumption that Y is
general forces that X is smooth. If Codim(V, Sa1 ,...,ak ) > 2 then the claim follows.
If Codim(V, Sa1 ,...,ak ) = 2 and f ≥ 2 then by the argument of the second case of the
proof of Lemma 20 we have that, taking Y ∈ |(s + k)H + (2 − f )F |, it necessarily
follows by adjunction that jY : Y → X = j(Y ) is crepant.

3.5.3. On aG-subvarieties in a RNS. Next, we show that an s-subcanonical, 1codimensional subvariety X ⊂ Sa1 ,...,ak such that j|Y : Y → X is crepant is aG:
Proposition 22. Let k ∈ N be such that k > 2 and let s ∈ Z be such that k >
−s. Let X ⊂ Sa1 ,...,ak be a Gorenstein irreducible 1-codimensional subvariety, ssubcanonical, general in its linearly equivalence class, and such that j|Y : Y → X is
crepant, where Y ⊂ P(E) is its j-proper transform. Then X is aG.
Proof. Set S := Sa1 ,...,ak ⊂ PN . By the natural inclusions X ⊂ S ⊂ PN we can
construct the following exact and commutative diagram of sheaves:
0
x



IX,S (m)
x



0 −−−−→ IX (m) −−−−→ OPN (m) −−−−→
x



0 −−−−→ IS (m) −−−−→ OPN (m) −−−−→
x


0

0
x



OX (m)
x


OS (m)
x



OS (m) ⊗OS OS (−X)
x



−−−−→ 0

−−−−→ 0

0

i

N

We need to show that h (P , IX (m)) = 0 for all m ∈ Z and 1 ≤ i ≤ k − 1. Set
OS (m−X) := OS (m)⊗OS OS (−X). By the above diagram, IX,S (m) ∼
= OS (m−X)
and, since S is aCM, we have hi (PN , IS (m)) = 0 for all m ∈ Z, 1 ≤ i ≤ k; therefore
it is sufficient to show that hi (S, OS (m − X)) = 0 for all m ∈ Z, 1 ≤ i ≤ k − 1.
First case. Codim(V, Sa1 ,...,ak ) > 2 or N > k.

ON SUBCANONICAL GORENSTEIN VARIETIES AND APOLARITY

15

This assumption, with Proposition 21, gives OS (m − X) = j∗ OP(E) (KP(E) + (m −
s)H). It also gives the crucial inequality: f = N − k + 1 ≥ 2.
Now, since KP(E) + (m − s)H ∼ (m − s − k)H + (f − 2)F , then by the projection
formula (see [Har83, exercise III.8.3]) applied to the morphism j, we have that
Ri j∗ OP(E) (KP(E) +(m−s)H) = Ri j∗ OP(E) ((f −2)F )⊗OS OS (m−s−k). The variety
W contracted by j is a rational scroll and, since f ≥ 2, we have both H i (W, OW ((f −
2)F )) = 0 and hence Ri j∗ OP(E) ((f − 2)F ) = 0, for 1 ≤ i ≤ k − 1. By [Har83,
Exercise III.8.1], we then have that H i (S, OS (m − X)) = H i (P(E), OP(E) (KP(E) +
(m − s)H))), where m ∈ Z and i ≥ 0. To show the claim we need to show that
hi (P(E), OP(E) (KP(E) + ℓH)) = 0, where −s ≤ ℓ ≤ 0. In fact, for all ℓ ∈ Z,
1 ≤ i ≤ k − 1 it holds that hi (P(E), OP(E) (KP(E) + ℓH)) = 0. If ℓ > 0, then
hi (P(E), OP(E) (KP(E) + ℓH)) = 0, by the Kodaira vanishing theorem. If ℓ ≤ 0, then
it is sufficient to prove, by Serre duality, that hi (P(E), OP(E) (tH)) = 0, with t ≥ 0,
1 ≤ i ≤ k − 1. Let π be, as usual, the natural projection map, π : P(E) → P1 ;
first of all, we have that Ri π∗ OX (tH) = 0 if t ≥ 0, 1 ≤ i ≤ k − 1 (see for example
[Har83, Exercise III.8.4(a)]). But then H i (P(E), OP(E) (tH)) = H i (P1 , π∗ OP(E) (tH))
(see for example [Har83, Exercise III.8.1]) and we conclude, since π∗ OP(E) (ℓH) ∼
=
t
Sym (OP1 (a1 ) ⊕ · · · ⊕ OP1 (ak )) (again by [Har83, Exercise III.8.4(a)]). We have
shown that X is aG.
Second case. Codim(V, Sa1 ,...,ak ) = 2 and f = 1.
In this case j : S0,...,0,1 → Pk and by Proposition 21, Y ∈ |(s + 1 + k)H|. Hence
the claim is easy.

With the hypothesis of Proposition 22, we can give a converse to Proposition 21:
that is we can characterise s-subcanonically regular varieties with a crepant resolution. This is the Main Theorem of the introduction.
Theorem 23. Let k ∈ N be such that k > 2 and let s ∈ Z be such that k + s >
2. Let (X, L) be a polarised (k − 1)-dimensional variety, such that X ⊂ |L|∨ =:
P̌N is an s-subcanonical variety with crepant resolution; then X is contained as a
codimension one subvariety in a rational normal k-dimensional scroll Sa1 ,...,ak or a
quadric or a cone on the Veronese surface v2 (P2 ) if and only if it is s-subcanonically
regular and for every k-tuple of general sections η1 , . . . , ηk ∈ H 0 (X, L), Fη1 ,...,ηk ∈
C[x0 , . . . , xN −k ] is a Fermat hypersurface of degree (s + k).
Proof. Since for N = k there is nothing to prove, we can suppose N > k.
If X is contained as a divisor in a variety S of minimal degree, then by Lemma
16, by Corollary 14 and by Proposition 22, X is s-subcanonically regular. Take k
general sections η1 , . . . ηk ∈ H 0 (X, L) and consider Γ := S ∩ V (η1 , . . . , ηk ) ⊂ P̌N −k .
This is a zero-dimensional scheme of length deg S and, because S is aCM, the
(saturated) homogeneous ideal I(Γ) of Γ is obtained by adding the linear forms
η1 , . . . , ηk to I(S), so I(Γ) = (I(S), η1 , . . . , ηk ).
Then by the Apolarity Lemma 11, Γ is apolar to a Fermat hypersurface Fη1 ,...,ηk ∈
C[x0 , . . . , xN −k ] (of degree s + k, by Theorem 12), since S is of minimal degree
(N −k +1) which is also the number of independent linear forms of C[x0 , . . . , xN −k ].
Conversely, let us suppose that our s-subcanonical variety X is such that for
every k-tuple of general sections η1 , . . . , ηk ∈ H 0 (X, L), there is a zero-dimensional
scheme of length deg S, Γη1 ,...,ηk ⊂ PN −k := V (η1 , . . . , ηk ) with I(Γη1 ,...,ηk ) ⊂
I(X, η1 , . . . , ηk ), or, in other words, by the Apolarity Lemma 11, Γη1 ,...,ηk is apolar
to a Fermat (s + k)-tic Fη1 ,...,ηk ∈ C[x0 , . . . , xN −k ].
First of all, up to changing coordinates, we can assume that η1 = ∂N −k+1 , . . . , ηk =
C[∂0 ,...,∂N ]
∂N . Then (I(X),∂
, is Artinian Gorenstein, and can be considered as a
N −k+1 ,...,∂N )

16

PIETRO DE POI AND FRANCESCO ZUCCONI

quotient of the polynomial ring C[∂0 , . . . , ∂N −k ]. Up to a change of coordinates,
we can suppose that F∂N −k+1 ,...,∂N := xs+k
+ · · · + xs+k
0
N −k , and we can think of
it as a polynomial in C[x0 , . . . , xN −k ]. We now find F∂⊥N −k+1 ,...,∂N as an ideal in
C[∂0 , . . . , ∂N −k ]. It is easy to see that
(11)

F∂⊥N −k+1 ,...,∂N = (∂i ∂j , ∂is+k − ∂js+k ),

i, j ∈ {0, . . . , N − k},

i 6= j,

since, by hypothesis, s + k > 2. Then the quadrics of I(X) are of the form
Qi,j := ∂i ∂j + ∂N −k+1 L1i,j + · · · + ∂N Lki,j ,
where the Lℓi,j ’s are linear forms on P̌N . In particular, the vector space of the quad

rics vanishing on X has dimension N −k+1
; that is: h0 (PN , IX (2)) = N −k+1
.
2
2

k
0
Since X is PN it follows (k + 1)N − 2 + 1 = h (X, OX (2)). Let C be a general
curve section of X. Hence 3N − 3k + 6 = h0 (C, OC (2)) and we can proceed as in
Castelnuovo’s analysis of curves of maximal genus often called Castelnuovo curves:
see for example [GH94, pages 527–533]. In fact, since C is non-degenerate, no
quadric containing C can contain a hyperplane H ∼
= P̌N +1−k , and therefore, if we
0 N +2−k
set γ := C ∩ H, the natural restriction map H (P
, IC (2)) → H 0 (H, Iγ (2)) is
an isomorphism (recall that C is also linearly normal).
From this, we infer that the points of γ impose only h0 (H, OH (2))−h0 (H, Iγ (2)) =
2(N + 2 − k) − 1 conditions on quadrics. By Clifford’s Theorem, h0 (C, OC (2)) − 1 ≤
deg(C), therefore deg(C) ≥ 3(N + 2 − k) − 1 > 2(N + 2 − k) + 1 since N > k.
By Castelnuovo’s Lemma (see for example [ACGH85, page 120]), if H is generic, it
follows that γ is contained in a unique rational normal curve D.
Since γ consists of more than 2 deg(D) = 2(N + 2 − k) − 2 points, a quadric
contains γ if and only if it contains D. Finally,
we recall that a rational normal curve

in PN +1−k is the intersection of N +1−k
quadrics,
and therefore the intersection of
2
the quadrics containing X meets H ∼
= PN +1−k exactly in D. Thus, the intersection
of the quadrics containing X is an irreducible k-dimensional variety Y of minimal
degree. By Bertini’s classification theorem of the varieties of minimal degree, see
[EI85], it follows that Y is a quadric or a RNS or a k-dimensional cone on the
Veronese surface v2 (P2 ).

Remark 4. The hypothesis of Theorem 23 concerning s cannot be weakened; in
fact, consider the del Pezzo surface (Y, L) = (P2 , OP (3)). Let X := j(Y ) where
j := φ|H| . X ⊂ P9 is (−1) − aG but since X does not contain plane curves, it
cannot be contained in a rational normal threefold of P9 .
Remark 5. As we noted in the introduction, the hypothesis k > 2 is crucial, in
the sense that if k = 2 there are subcanonical curves contained in rational normal
scrolls which are not PN. For example, take a smooth curve C ∈ |5(C0 + f )| on the
rational normal scroll S1,2 ⊂ P4 , where C02 = −1 is the section at infinity and f is
the fibre. Then C is 1-subcanonical of genus 6 and degree 10: it is a projection of
a canonical curve of P5 , and therefore C is not linearly normal.
Corollary 24. If X is a (k − 1)-dimensional s-subcanonical variety with crepant
resolution contained as a divisor in a variety of minimal degree S such that s+k > 2,
such that X is not aCM, then k = 2, i.e. X is a curve and S is a rational normal
scroll Sa1 ,a2 with a1 6= a2 .
Proof. This follows from Lemma 16, Corollary 14, Proposition 22 and Theorem
23.


ON SUBCANONICAL GORENSTEIN VARIETIES AND APOLARITY

17

3.6. The case s + k = 2. We recall that a del Pezzo variety is a pair (X, H), where
X is a projective n-dimensional variety X with only Gorenstein (not necessarily
normal) singularities and H is an ample Cartier divisor on it such that −KX =
(n − 1)H, and hi (X, OX (jH)) = 0, for all i, j ∈ Z with 0 ≤ i ≤ n.
For example, by the Kawamata-Viehweg theorem, if X is a Gorenstein Fano
variety of index n − 1 with at most canonical singularities, it is a del Pezzo variety.
For a normal Gorenstein del Pezzo variety X of codimension e ≥ 2 it clearly
holds that s + k = 2, but our Theorem 23 fails in this case for trivial reasons since
in Equation 11 the terms ∂is+k − ∂js+k i 6= j and i, j = 0, . . . , N − k are quadratic.
Following the argument of the proof we can deduce that the homogeneous ideal of
these projective varieties is generated by quadrics.
Finally we remark that if X is a del Pezzo variety contained in a RNS, using
the notation of Subsection 3.5, it easily follows that either X ∈ |2H + (2 − f )F |
or X is a hypercubic in the trivial case k = N , Sa1 ,...,ak = PN . In the first case,
j −1 (X) ∈ |3H − H0 | and this is a case of Fujita’s classification see [Fuj90, Theorem
9.17 page 82] of the del Pezzo varieties.

References
[ACGH85] E. Arbarello, M. Cornalba, P. Griffiths, and J. Harris, Geometry of algebraic curves.
Vol. I, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of
Mathematical Sciences], vol. 267, Springer-Verlag, New York, 1985.
[AS78]
E. Arbarello and E. Sernesi, Petri’s approach to the study of the ideal associated to a
special divisor, Invent. Math. 49 (1978), no. 2, 99–119.
[BCN11] E. Ballico, G. Casnati, and R. Notari, Canonical curves with low apolarity, J. Algebra
332 (2011), 229–243.
[BH93]
W. Bruns and J. Herzog, Cohen-Macaulay rings, Cambridge Studies in Advanced
Mathematics, 39. Cambridge University Press, Cambridge, 1993.
[CRV01] A. Conca, M. E. Rossi and G. Valla, Gröbner flags and Gorenstein algebras Compositio
Math. 129 (2001), no. 1, 95–121.
[DZ11]
P. De Poi and F. Zucconi, Gonality, apolarity and hypercubics, Bull. London Math.
Soc. 43 (2011), 849–858.
[DZ2]
, Fermat hypersurfaces and Subcanonical curves, Internat. J. Math. 22 (2011)
no. 12, 1763–1785.
[EI85]
D. Eisenbud and J. Harris, On varieties of minimal degree. (A centennial account),
Algebraic geometry, Proc. Summer Res. Inst., Brunswick/Maine 1985, part 1, Proc.
Symp. Pure Math. 46, 3–13 (1987).
[Fer01]
R. Ferraro, Weil divisors on rational normal scrolls, Geometric and combinatorial
aspects of commutative algebra (Messina, 1999), 183–197, Lecture Notes in Pure and
Appl. Math., 217, Dekker, New York, 2001.
[Fuj90]
T. Fujita, Classification theories of polarized varieties, London Mathematical Society
Lecture Note Series, 155. Cambridge University Press, Cambridge, 1990.
[Ger96]
A. V. Geramita, Inverse System of fat points: Waring Problem, Secant Varieties and
Veronese Varieties and Parametric Spaces of Gorenstein Ideals, Queen’s Papers in
Pure ans applied Mathematics no. 102, The Curves seminar at Queen’s (1996), Vol.
X, 3–114.
[GR70]
H. Grauert and O. Riemenschneider, Verschwindungssätze für analytische Kohomologiegruppen auf komplexen Räume, Invent. Math. 11 (1970), 263–292.
[Gre82]
M. L. Green, The canonical ring of a variety of general type, Duke Math. J. 49 (1982)
no. 4, 1087–1113.
[GH94]
P. Griffiths and J. Harris Principles of algebraic geometry. Wiley Classics Library.
John Wiley & Sons, Inc., New York, 1994, Reprint of the 1978 original.
[Har83]
R. Hartshorne, Algebraic geometry, Graduate Texts in Mathematics, vol. 52, SpringerVerlag, New York-Heidelberg-Berlin, 1983, Corr. 3rd printing.
[IK99]
A. Iarrobino and V. Kanev, Power sums, Gorenstein algebras, and determinant loci,
Lect. Notes Math., vol. 1721, Springer, Berlin, 1999.
[Kol95]
J. Kollár, Singularities of pairs, Algebraic geometry—Santa Cruz 1995, 221–287, Proc.
Sympos. Pure Math., 62, Part 1, Amer. Math. Soc., Providence, RI, 1997.

18

[Mac16]

[Mig98]
[Rei83]
[Sch86]
[Vak06]

PIETRO DE POI AND FRANCESCO ZUCCONI

F. S. Macaulay, The algebraic theory of modular systems. With a new introduction by
Paul Roberts, Reprint of the 1916 orig. Cambridge Mathematical Library. Cambridge:
Cambridge University Press, (1994).
J. C. Migliore, Introduction to liaison theory and deficiency modules, Progress in
Mathematics, vol. 165, Birkhäuser, Boston, Mass., 1998.
M. Reid, Minimal models of canonical threefolds, Algebraic Varieties and Analytic
Varieties , Tokyo, 1981, Adv. Stud. Pure Math. Vol. 1, ed. S. Iitaka, (1983) 131–180.
F. Schreyer, Syzygies of canonical curves and special linear series, Math. Ann. 275
(1986), 105–137.
R. Vakil, Murphy’s law in algebraic geometry: badly-behaved deformation spaces, Invent. Math. 164 (2006), no. 3, 569–590.

Dipartimento di Matematica e Informatica, Università degli Studı̂ di Udine, Via delle
Scienze, 206, Loc. Rizzi, 33100 Udine, Italy
E-mail address: pietro.depoi@uniud.it
E-mail address: francesco.zucconi@uniud.it

