DIVISORS CLASS GROUPS OF SINGULAR SURFACES

arXiv:1301.3222v1 [math.AC] 15 Jan 2013

ROBIN HARTSHORNE AND CLAUDIA POLINI
A BSTRACT. We compute divisors class groups of singular surfaces. Most notably we produce an
exact sequence that relates the Cartier divisors and almost Cartier divisors of a surface to the those
of its normalization. This generalizes Hartshorne’s theorem for the cubic ruled surface in P3 . We
apply these results to limit the possible curves that can be set-theoretic complete intersection in P3 in
characteristic zero.

1. I NTRODUCTION
On a nonsingular variety, the study of divisors and linear systems is classical. In fact the entire
theory of curves and surfaces is dependent on this study of codimension one subvarieties and the
linear and algebraic families in which they move.
This theory has been generalized in two directions: the Weil divisors on a normal variety, taking
codimension one subvarieties as prime divisors; and the Cartier divisors on an arbitrary scheme,
based on locally principal codimension one subschemes. Most of the literature both in algebraic
geometry and commutative algebra up to now has been limited to these kinds of divisors.
More recently there have been good reasons to consider divisors on non-normal varieties. Jaffe
[9] introduced the notion of an almost Cartier divisor, which is locally principal off a subset of
codimension two. A theory of generalized divisors was proposed on curves in [14], and extended to
any dimension in [15]. The latter paper gave a complete description of the generalized divisors on
the ruled cubic surface in P3 .
In this paper we extend that analysis to an arbitrary integral surface X, explaining the group
APic X of linear equivalence classes of almost Cartier divisors on X in terms of the Picard group
of the normalization S of X and certain local data at the singular points of X. We apply these
results to give limitations on the possible curves that can be set-theoretic compete intersections in
P3 in characteristic zero
In section 2 we explain our basic set-up, comparing divisors on a variety X to its normalization
S. In Section 3 we prove a local isomorphism that computes the group of almost Cartier divisors
at a singular point of X in terms of the Cartier divisors along the curve of singularities and its
inverse image in the normalization. In Section 4 we derive some global exact sequences for the
groups Pic X, APic X, and Pic S, which generalize the results of [15, §6] to arbitrary surfaces
These results are particularly transparent for surfaces with ordinary singularities, meaning a double
curve with a finite number of pinch points and triple points.
AMS 2010 Mathematics Subject Classification. Primary 14C20, 13A30; Secondary 14M10, 14J05.
The second author was partially supported by the NSA and the NSF.
1

2

R. HARTSHORNE AND C. POLINI

In section 5 we gather some results on curves that we need in our calculations on surfaces. Then
in Section 6 we give a number of examples of surfaces and compute their groups of almost Picard
divisors.
In Section 7 we apply these results to limit the possible degree and genus of curves in P3 that can
be set-theoretic complete intersections on surfaces with ordinary singularities in characteristic zero,
extending earlier work of Jaffe and Boratynski. We illustrate these results with the determination of
all set-theoretic complete intersections on a number of particular surfaces in P3 .
Our main results assume that the ground field k is of characteristic zero, so that a) we can use
the exponential sequence in comparing the additive and multiplicative structures, and b) so that the
additive group of the field is a torsion-free abelian group.
The first author would like to thank the Department of Mathematics at the University of Notre
Dame for hospitality during the preparation of this paper.
2. D IVISORS

AND

F INITE M ORPHISMS

All the rings treated in this paper are Noetherian, essentially of finite type over a field k which is
algebraically closed. In our application we will often compare divisors on integral surface X with
its normalization S. But some of our preliminary results are valid more generally so we fix a set of
assumptions.
Assumptions 2.1. Let π : S −→ X be a dominant finite morphism of reduced schemes. Let Γ and
L be codimension one subschemes in S and X respectively such that π restricts to a morphism of Γ
to L. Assume that S and X both satisfy G1 (i.e. Gorenstein in codimension 1) and S2 (i.e. Serre’s
condition S2 ) so that the theory of generalized divisors developed in [15] can be applied. Further
assume that the schemes Γ and L have no embedded associated primes, hence they satisfy S1 .
Now we recall the notion of generalized divisors from [15]. If X is a scheme satisfying G1
and S2 , we denote by KX the sheaf of total quotient rings of the structure sheaf OX . A generalized divisor on X is a fractional ideal I ⊂ KX , i.e. a coherent sub-OX -module of KX , that is
nondegenerate, namely for each generic point η ∈ X, Iη = KX,η , and such that I is a reflexive
OX -module.
We say I is principal if it is generated by a single non-zero-divisor f in KX . We say I is Cartier
if it is locally principal everywhere. We say I is almost Cartier if it is locally principal off subsets
of codimension at least 2. We denote by CartX and by ACartX the groups of Cartier divisors and
almost Cartier divisors, respectively, and dividing these by the subgroup of principal divisors we
obtain the divisors class groups PicX and APicX, respectively. The divisor I is effective if it is
contained in OX . In that case it defines a codimension one subscheme Y ⊂ X without embedded
components. Conversely, for any such Y , its sheaf of ideals IY is an effective divisor.
We recall some properties of these groups.
Proposition 2.2. Adopt assumptions 2.1. The following hold:

DIVISORS CLASS GROUPS OF SINGULAR SURFACES

3

(a) There is a natural map π ⋆ : Pic X −→ Pic S
(b) There is a natural map π ⋆ : APic X −→ APic S
(c) There is an exact sequence
M
0 → PicX −→ APic X −→
APic(Spec OX,x )
x∈X

where the sum is taken over all points x ∈ X of codimension at least two.
Proof. For (a) and (b) see [15, 2.18]. The map on Pic makes sense for any morphism of schemes.
For APic, we need only to observe that since π is a dominant finite morphism, if Z ⊂ X has
codimension two, then also π −1 (Z) ⊂ S has codimension two. The sequence in (c) is due to Jaffe
for surfaces (see [15, 2.15]), but holds in any dimension (same proof).
Proposition 2.3. Adopt assumptions 2.1. Further assume that X and S are affine and S is smooth.
Then there is a natural group homomorphism
ϕ : APicX −→ Cart Γ/π ∗ Cart L
Proof. Given a divisor class d ∈ APic X, choose an effective divisor D ∈ d that does not contain
any irreducible component of L in its support (this is possible by Lemma 2.4 below). Now restrict
the divisor D to X − L, transport it via the isomorphism π to S − Γ, and take its closure in S. Since
S is smooth, this will be a Cartier divisor on all of S, which we can intersect with Γ to give a Cartier
divisor on Γ.
If we choose another effective divisor D ′ representing the same class d, that also does not contain
any component of L in its support, then D − D ′ is a principal divisor (f ) for some f ∈ KX . Since
π gives an isomorphism of S − Γ to X − L it follows that S and X are birational, i.e. KX = KS .
So the equation D ′ − D = (f ) persists on S, showing that the ambiguity of our construction is the
Cartier divisor on Γ defined by the restriction of f . Note now that since (f ) = D − D ′ , we can write
ID′ = f ID where ID′ and ID are the ideals of D ′ and D in OX , and f ∈ KX . If λ is a generic
point of L, then after localizing, the ideals ID′ ,λ and ID,λ are both the whole ring OX,λ , since D
and D ′ are effective divisors not containing any component of L in their support. Therefore f is a
unit in OX,λ . Thus f restricts to a non-zerodivisor in the total quotient ring KL , whose stalk at λ
is isomorphic to OX,λ /IL,λ . Thus the restriction of f defines a Cartier divisor on L whose image
in Γ will be the same as the restriction of f from S to Γ. Hence our map ϕ is well-defined to the
quotient group Cart Γ/π ∗ Cart L.
The following lemma is the affine analogue of [15, 2.11].
Lemma 2.4. Let X be an affine scheme satisfying G1 and S2 . Let d ∈ APic X be an equivalence
class of almost Cartier divisors. Let Y1 , . . . , Yr be irreducible codimension one subsets of X. Then
there exists an effective divisor D ∈ d that contains none of the Yi in its support.

4

R. HARTSHORNE AND C. POLINI

Proof. The class d corresponds to a reflexive coherent sheaf L of OX -modules [15, 2.8], which is
locally free at all points x ∈ X of codimension one because the divisors in d are almost Cartier.
Since X is affine, the sheaf L is generated by global sections. Thus for the generic point yi of Yi ,
there will be a section si ∈ Γ(X, L) whose image in the stalk Lyi is not contained in myi Lyi . Those
sections s ∈ Γ(X, L) not having this property form a proper sub-vector space Vi of Γ(X, L). Now
if we choose a section s ∈ Γ(X, L) not contained in any of the Vi , the corresponding divisor D [15,
2.9] will be an effective divisor in the class d, not containing any of the Yi in its support.
Remark 2.5. In Proposition 2.3 if S is not smooth the construction does not work because the
closure of D in S may not be Cartier. However if we define G to be the following subset of APicX,
namely
G = {d ∈ APic X | π ∗ (d) ∈ Pic S}
then we can construct the map ϕ : G −→ Cart Γ/π ∗ Cart L in the same way. The condition that
the element π ∗ (d) of APic S lies in Pic S is equivalent, by Proposition 2.2(c), to the vanishing of
its image in APic(Spec OS,s ) for all singular points s ∈ S.

Proposition 2.6. Adopt assumptions 2.1. Assume that the map induced by π from IL,X to π∗ (IΓ,X )
is an isomorphism. Then the map of sheaves of abelian groups γ : N −→ N0 on X defined by the
following diagram is an isomorphism:
(1)

∗
OX
↓α
OL∗

−→ π∗ OS∗ −→ N → 0
↓β
↓γ
−→ π∗ OΓ∗ −→ N0 → 0

Proof. For every point x ∈ X, set (A, mA ) to be the local ring OX,x and B to be the semi-local
ring OS,π−1 (x) . As it is sufficient to check an isomorphism of sheaves on stalks, we can restrict to
the local situation where X = Spec A and S = Spec B. Let A0 = A/I be the local ring of L and
B0 = B/J be the semi-local ring of Γ. Our hypothesis says that the homomorphism from A to B
induces an isomorphism from I to J. Now we consider the diagram of abelian groups:
A∗ −→ B ∗ −→ N → 0
↓a
↓b
↓c
A∗0 −→ B0∗ −→ N0 → 0

and we need to show that the induced map c is an isomorphism.
Since A −→ A0 and B −→ B0 are surjective maps of (semi)-local rings, the corresponding
maps on units a and b are surjective (see Lemma 5.2). Therefore the third map c is surjective.
To show c is injective, let a ∈ N go to 1 in N0 . Because the diagram is commutative a comes
from an element b ∈ B ∗ and b(b) = c ∈ B0∗ whose image in N0 is 1. Hence c comes from an
element d ∈ A∗0 , which lifts to an e ∈ A∗ . Let f be the image of e in B ∗ . Now b and f have the
same image c in B0∗ . Regarding them as elements of the ring B this means that their difference is in
the ideal J. But J by hypothesis is isomorphic to I, hence there is an element g ∈ I whose image

DIVISORS CLASS GROUPS OF SINGULAR SURFACES

5

gives b − f in J. Now consider the element h = g + e ∈ A. Since g ∈ I ⊂ mA , the element h is a
unit in A, i.e. it is an element of A∗ . Furthermore its image in B ∗ is b. Therefore the image of b in
N , which is a, is equal to 1. Thus the map c is an isomorphism. Since this holds at all stalks x ∈ X,
we conclude that the map γ : N −→ N0 of sheaves is an isomorphism.
Remark 2.7. In applications we will often consider a situation where X is an integral scheme and
S is its normalization. Then OS is a generalized divisor on X, whose inverse I = {a ∈ OX |
aOS ⊂ OX } is just the conductor of the integral extension. If we define L by this ideal, and Γ as
π ∗ (L), then the map induced by π from IL,X to π∗ (IΓ,X ) is an isomorphism and the hypothesis on
the ideal sheaves is satisfied. Conversely, if the map from IL,X to π∗ (IΓ,X ) is an isomorphism, then
restricting to X − L, we find OX −→ π∗ (OS ) is an isomorphism there, so S − π −1 (L) −→ X − L
is an isomorphism.

Proposition 2.8. If π : S → X is a finite morphism of schemes, then the natural map
H 1 (X, π∗ (OS∗ )) −→ H 1 (S, OS∗ )
is an isomorphism.
Proof. First we will show that the first higher direct image sheaf R1 π∗ (OS∗ ) is zero. This sheaf
is the sheaf associated to the presheaf which to each open subset V in X associates the group
H 1 (π −1 (V ), OS∗ |π−1 V ) [11, III, 8.1]. Hence the stalk of this sheaf at a point x ∈ X is the direct
limit
lim H 1 (π −1 (V ), OS∗ |π−1 V ) .
−→

x∈V

An element in this direct limit is represented by a pair (V, α) where V is an open set of X containing
x and α ∈ H 1 (π −1 (V ), OS∗ |π−1 V ). This group is just Pic(π −1 V ), so the element α corresponds to
an invertible sheaf L on π −1 V . We may assume that V is affine, since affine open sets form a basis
for the topology. Therefore, since π is finite, the open subset π −1 V of S is also affine, and hence L
is generated by global sections. Let z1 , . . . , zr ∈ π −1 V be the finite set of points in π −1 (x). We can
find a section s ∈ H 0 (π −1 V, L) that does not vanish at any of the z1 , . . . , zr . So the zero set of s is
a divisor D whose support does not contain any of the zi . Since π is finite, it is a proper morphism,
so π(D) is closed in V and does not contain x. Let V ′ = V − π(D). Then L|π−1 (V ′ ) is free, and
since π −1 (V ′ ) ⊂ π −1 (V ), the image of α in the above direct limit is zero. Hence R1 π∗ (OS∗ ) = 0.
Now the statement of the lemma follows from the exact sequence of terms of low degree of the
Leray spectral sequence
0 → H 1 (X, π∗ OS∗ ) −→ H 1 (S, OS∗ ) −→ H 0 (X, R1 π∗ (OS∗ ) = 0

6

R. HARTSHORNE AND C. POLINI

Note 2.9. Since H 1 (S, OS∗ ) computes Pic S see [11, III, Ex. 4.5], this means that we can also
compute Pic S as H 1 (X, π∗ OS∗ ).

3. A

LOCAL ISOMORPHISM FOR

APic

In this section we prove a fundamental local isomorphism that allows us to compute the APic
group of a surface locally in terms of Cartier divisors on the curves L and Γ. We first observe that if
A is a local ring of dimension two satisfying G1 and S2 with spectrum X and punctured spectrum
X ′ then APic X = Pic X ′ . Indeed APic X = APic X ′ (see [15, 1.12]), and X ′ has no points of
codimension two, so APic X ′ = Pic X ′ .
Theorem 3.1. Adopt assumptions 2.1. Further assume that X is the spectrum of a two dimensional
local ring, S is smooth, and the map induced by π from IL,X to π∗ (IΓ,X ) is an isomorphism. Then
the map
ϕ : APicX −→ Cart Γ/π ∗ Cart L
in Proposition 2.3 is an isomorphism.
Proof. Let x be the closed point of X. Set X ′ = X − {x} and S ′ = S − {π −1 (x)}. As we
∗ ). We consider sheaves
noted above we can calculate APic X as Pic X ′ which is also H 1 (X ′ , OX
′
of abelian groups on X
∗
0 → OX
−→ π∗ (OS∗ ) −→ N → 0

(2)
and similarly with primes
(3)

′
∗
∗
0 → OX
′ −→ π∗ (OS ′ ) −→ N → 0

Computing cohomology on X along (2) we obtain the exact sequence:
∗
0 → H 0 (X, OX
) −→ H 0 (X, π∗ (OS∗ )) −→ H 0 (X, N ) −→ Pic X = 0
∗ ) = Pic X = 0 since X is a local affine scheme. Now computing cohomology on
where H 1 (X, OX
X ′ along (3) we obtain the exact sequence
0
′
′
1
′
∗
0
′
∗
∗
0 → H 0 (X ′ , OX
′ ) → H (X , π∗ (OS ′ )) → H (X , N ) → APicX → H (X , π∗ (OS ′ )) = 0
∗ ) = APicX and H 1 (X ′ , π (O ∗ )) = 0 because by the Proposition 2.8 we have
where H 1 (X ′ , OX
′
∗
S′
1
′
∗
1
′
∗
H (X , π∗ (OS ′ )) = H (S , OS ′ ). Now the latter is Pic S ′ , which in turn is equal to APic S. But
APic S = Pic S because S is smooth and finally Pic S = 0 because S is a semi-local affine scheme.
Since X and S both satisfy S2 any section of OX or OS over X ′ or S ′ extends to all of X or S.
∗ ) = H 0 (X ′ , O ∗ ) and H 0 (X, O ∗ ) = H 0 (X ′ , O ∗ ). This allows us to combine
Thus H 0 (X, OX
S
S′
X′
the above two sequences of cohomology into one:

(4)

0 → H 0 (X, N ) −→ H 0 (X ′ , N ′ ) −→ APicX −→ 0

DIVISORS CLASS GROUPS OF SINGULAR SURFACES

7

By Proposition 2.6 applied to both maps S −→ X and S ′ −→ X ′ , we obtain H 0 (X, N ) =
H 0 (X, N0 ) and H 0 (X ′ , N ′ ) = H 0 (X ′ , N0′ ). Thus we turn (4) into the following short exact
sequence
0 → H 0 (X, N0 ) −→ H 0 (X ′ , N0′ ) −→ APicX −→ 0
Using this exact sequence we can derive the following diagram:
0
0
0
↓
↓
↓
0 → H 0 (X, OL∗ ) −→ H 0 (X, π∗ (OΓ∗ )) −→ H 0 (X, N0 ) → 0
↓
↓
↓
0
0
′
∗
0
′
∗
0 → H (X , OL′ ) −→ H (X , π∗ (OΓ′ )) −→ H (X ′ , N0′ ) → 0
↓
↓
↓
0→
Cart L
−→
Cart Γ
−→
APicX
→ 0
↓
↓
↓
0
0
0
The first two rows in the diagram are obtained applying cohomology to the short exact sequences
0 → OL∗ −→ π∗ (OΓ∗ ) −→ N0 → 0
and
0 → OL∗ ′ −→ π∗ (OΓ∗ ′ ) −→ N0′ → 0

and observing that again H 1 (X, OL∗ ) = Pic L = 0 because L is a local affine scheme, and
H 1 (X ′ , OL∗ ′ ) = Pic L′ = 0 because L′ as a scheme is a disjoint union of generic points. The vertical columns arise from the fact that L and Γ are (semi)-local curves, so that when we remove the
closed points we obtain the local rings of the generic points, namely the total quotient rings of OL
and OΓ , and the Cartier divisors are nothing else than the quotients of the units in the total quotient
rings divided by the units of the (semi)-local rings, i.e. Cart L = KL∗ /OL∗ and Cart Γ = KΓ∗ /OΓ∗ .
Now the Snake Lemma yields the diagram. The last row of the above diagram implies the desired
statement, namely
APic X ∼
= Cart Γ/π ∗ Cart L.

Remark 3.2. If S is not smooth, we can replace APic X with the group G defined in Remark 2.5,
in which case the proof of Theorem 3.1 shows that ϕ : G −→ Cart Γ/π ∗ Cart L is an isomorphism,
′
because the cokernel of H 0 (N0 ) −→ H 0 (N0 ) is just the kernel of APic X → APic S, and in our
local case, for the image an element of APic X to vanish in APic S is the same as saying it is locally
free, hence it is in Pic S, which is zero because S is a semi local ring.
b is its completion, then
Proposition 3.3. If A is a local ring of dimension one satisfying S1 and A
b
Cart A = Cart A

8

R. HARTSHORNE AND C. POLINI

Proof. This follows for instance from the proof of [15, 2.14] where it is shown that a 7→ b
a gives
b
a one-to-one correspondence between ideals of finite colength of A and A, under which principal
ideals corresponds to principal ideals.
The following proposition shows that the local calculation of APic depends only on the analytic
isomorphism class of the singularity when the normalization is smooth.
Proposition 3.4. Let A be a reduced two dimensional local ring satisfying G1 and S2 whose nore is regular. Then
malization A
b
APic (Spec A) = APic (Spec A).

Proof. We let S be the normalization of X = Spec A, take L to be the conductor and Γ to be
π −1 (L). Then by Theorem 3.1 (cf. Remark 2.7) we can compute APic X = Cart Γ/π ∗ Cart L. On
the other hand, we have shown (Proposition 3.3) that the Cartier divisors of a one-dimensional local
b we prove the
ring are the same as those of its completion. So applying Theorem 3.1 also to Spec A
assertion.
e being regular.
The next example shows that we cannot drop the assumption on A

Example 3.5. The divisor class groups of normal local rings and their behavior under completion have been studied by Mumford, Samuel, Scheja, Brieskorn, and others. In particular, if
A = C[x, y, z]/(xr + y s + z t ) localized at the maximal ideal (x, y, z), where r < s < t are
pairwise relatively prime, then A is a unique factorization domain, so APic (Spec A) is 0. Howe of A is not a unique factorization domain, so APic (Spec A)
e is not 0, except
ever, the completion A
in the unique case (r, s, t) = (2, 3, 5) [24].

4. G LOBAL

EXACT SEQUENCES

In this section we compare Pic and APic of any surface X to its normalization. This generalizes
[15, 6.3] which dealt with the case of a ruled cubic surface. In particular our result applies to a
surface with ordinary singularities whose normalization is smooth, thus providing an answer to the
hope expressed in [15, 6.3.1].
Theorem 4.1. Adopt assumptions 2.1. Further assume that X is a surface either affine or projective
and the map induced by π from IL,X to π∗ (IΓ,X ) is an isomorphism. Then there is an exact
sequence:
(a)

Pic X −→ Pic S −→ Pic Γ/π ∗ Pic L.

Furthermore, if S is smooth, then there is also an exact sequence
(b)

APic X −→ Pic S ⊕ Cart Γ/π ∗ Cart L −→ Pic Γ/π ∗ Pic L → 0.

DIVISORS CLASS GROUPS OF SINGULAR SURFACES

9

Proof. For (a) we use the natural map from Proposition 2.2(a) of Pic X to Pic S and the restriction
map of Pic S to Pic Γ/π ∗ Pic L. The composition is clearly zero, since a divisor class originating
on X will land in π ∗ Pic L. To show exactness in the middle, we recall the result of Proposition 2.6
which shows that the sheaves N , N0 in the following diagram are isomorphic:
∗
0 → OX

−→ π∗ OS∗

0 →

−→ π∗ OΓ∗ −→

α↓
OL∗

β↓

−→

N

→ 0

N0

→ 0

γ↓∼
=

Taking cohomology on X and using Proposition 2.8, we obtain a diagram of exact sequences
∗ ) → H 0 (π O ∗ ) → H 0 (N ) → Pic X → Pic S → H 1 (N )
0 → H 0 (OX
∗ S
↓
↓
↓∼
↓
↓
↓∼
=
=
0 → H 0 (OL∗ ) → H 0 (π∗ OΓ∗ ) → H 0 (N0 ) → Pic L → Pic Γ → H 1 (N0 )

From this sequence, we see that if an element of Pic S becomes zero in Pic Γ/π ∗ Pic L, then it is
zero in H 1 (N0 ) = H 1 (N ) hence comes from an element of Pic X.
For (b) we first define the maps involved in the sequence. We use the natural map from Proposition 2.2(b) of APic X to APic S, which is equal to Pic S since S is smooth, together with the map
ϕ of Proposition 2.3 applied locally. Note that Cart Γ/π ∗ Cart L is simply the direct sum of all its
contributions at each one of its points, since L and Γ are curves. The second map of (b) is composed
of the map Pic S → Pic Γ/π ∗ Pic L of (a) and the natural maps of Cartier divisors to Pic.
The composition of the two maps is zero, because if we start with something in APic X, then
according to the construction of Proposition 2.3, its two images in Pic Γ/π ∗ Pic L will be the same.
The second map of the sequence (b) is clearly surjective.
To show exactness in the middle of (b), suppose that a class d ∈ Pic S and a divisor D in Cart Γ
have the same image in Pic Γ/π ∗ Pic L. First, we can modify D by an element of π ∗ Cart L so
that d and D will have the same image in Pic Γ. Next, by adding some effective divisors linearly
equivalent to mH, where H = 0 in the affine case and H is a hyperplane section in the projective
case, we can reduce to the case where d and D are effective. Consider the exact sequence of sheaves
0 → IΓ (d) −→ OS (d) −→ OΓ (d) → 0
If X is affine, then H 0 (X, OS (d)) → H 0 (X, OΓ (d)) is surjective, so the section s ∈ H 0 (X, OΓ (d))
defining the divisor D will lift to a section s′ ∈ H 0 (X, OS (d)). This section defines a curve C in S
in the divisor class d, not containing any component of Γ in its support, whose intersection with Γ
is D. We can transport C restricted to S − Γ to X − L, and take its closure in X. This will be an
element of APic X giving rise to the d and D we started with.
If X is projective, we use a hyperplane section H. Since H comes from Pic X, it is sufficient to
prove the result for d + mH and D + mH. Now for m ≫ 0 the cokernel of the map H 0 (X, OS (d +
mH)) → H 0 (X, OΓ (d + mH)) lands in H 1 (X, IΓ (d + mH)), which is zero by Serre’s vanishing
theorem. Then the proof proceeds as in the affine case.
Proposition 4.2. With the hypotheses of Theorem 4.1 the following conditions are equivalent:
(i) the map Pic X −→ Pic S is injective

10

R. HARTSHORNE AND C. POLINI

(ii) the map Pic L → Pic Γ is injective and
∗
coker(H 0 (OX
) → π∗ H 0 (OS∗ )) = coker(H 0 (OL∗ ) → π∗ H 0 (OΓ∗ )).

Furthermore if S is smooth, conditions (i) and (ii) are also equivalent to
(iii) The first map of Theorem 4.1(b) is injective
In addition, without assuming S smooth, if conditions (i) and (ii) hold and the map Pic L → Pic Γ
is an isomorphism then Pic X → Pic S is also an isomorphism.
Proof. From the diagram of exact sequences in the proof of Theorem 4.1(a), statement (i) is equivalent to the exactness of the sequence:
(5)

∗
0 → H 0 (OX
) → H 0 (π∗ OS∗ ) → H 0 (N ) → 0.

Since H 0 (X, N ) ∼
= H 0 (N0 ), the exactness of (5) implies the exactness of
0 → H 0 (OL∗ ) → H 0 (π∗ OΓ∗ ) → H 0 (N0 ) → 0.
Looking again at the diagram of exact sequences in the proof of Theorem 4.1(a), this implies (ii).
On the other hand, (ii) clearly implies (i). Now if S is smooth, because of the local isomorphism
of Theorem 3.1, any element in the kernel of the first map of Theorem 4.1(b) is zero in all the local
groups APic (Spec OX,x ), hence by Jaffe’s sequence (see Proposition 2.2(c)) is already in Pic X.
Thus (iii) is also equivalent to (i) and (ii).
The last statement follows again from the diagram of exact sequences in the proof of Theorem
4.1(a).
∗ ) =
Remark 4.3. If X is integral and projective in Proposition 4.2 then so is S, thus H 0 (X, OX
∗ ) → π H 0 (O ∗ )) = 0
H 0 (X, π∗ OS∗ ) = k∗ , where k is the ground field. Therefore coker(H 0 (OX
∗
S
and the equality of the cokernels in (ii) holds if and only if

H 0 (OL∗ ) = H 0 (π∗ OΓ∗ ).

Remark 4.4. If S is not smooth, then as in Remarks 2.5 and 3.2 we can obtain the same results as
in Theorem 4.1, with APic X replaced by G.
The next theorem shows, that at least over the complex number C, the map Pic X → Pic S is
always injective.
Theorem 4.5. Let X be an integral surface in P3 over k = C. If S is the normalization of X, then
the natural map
Pic X −→ Pic S
is injective.

DIVISORS CLASS GROUPS OF SINGULAR SURFACES

11

Proof. From the exponential sequence [11, Appendix B, §5] we obtain an exact sequence of cohomology
0 → H 1 (Xh , Z) −→ H 1 (X, OX ) −→ Pic X −→ H 2 (Xh , Z) −→ H 2 (X, OX ) −→ . . .
where Xh is the associated complex analytic space of X. Now H 1 (X, OX ) = 0 since X is a
complete intersection variety of dimension at least 2 [11, III, Ex. 5.5]. Furthermore H 2 (Xh , Z) is
a finitely generated abelian group, so we conclude that Pic X is also a finitely generated abelian
group.
Next, using Grothendieck’s method of comparing Pic X to the Picard group of the formal completion of P3 along X [10, IV, §3], the proof of [10, 3.1] and the groundfield C being of characteristic
zero shows that Pic X is torsion free [17, Ex. 20.7]. Thus Pic X is in fact a free finitely generated
abelian group.
Taking L to be the conductor and Γ its inverse image in S, the Assumptions 2.1 are satisfied.
Now, looking at the exact sequences used in the proof of Theorem 4.1, since X is integral and
∗ ) → H 0 (π O ∗ ) is an isomorphism, so H 0 (N ) is equal to the kernel of the map
projective, H 0 (OX
∗ S
Pic X → Pic S. If it is non zero, it must be a finitely generated free abelian group.
Since L and Γ are projective curves, the group of units in each is a direct sum of k-vector spaces
and copies of k∗ . To see this, refer to Proposition 5.9, and note that the first sequence splits, since
k∗ is contained in OC∗ . Now comparing these sequences for L and Γ we see that the cokernel of the
map H 0 (OL∗ ) → H 0 (π∗ OΓ∗ ) must also be a direct sum of a k-vector space and copies of k∗ . But
H 0 (N0 ) = H 0 (N ) is a finitely generated free abelian group, so this cokernel must be zero.
Hence H 0 (N0 ) is equal to the kernel of the map Pic L → Pic Γ. Since L and Γ are curves, there
are degree maps on each irreducible component to copies of Z. The map Γ → L is surjective, so
an element of positive degree on L remains an element of positive degree on Γ. Thus the kernel of
the map Pic L → Pic Γ is just the kernel of the degree 0 part Pic 0 L → Pic 0 Γ. These are group
schemes, successive extensions of abelian varieties by copies of Ga and Gm [20]. In particular,
the kernel is also a group scheme, of finite type over k. Since H 0 (N0 ) is a finitely generated free
abelian group, as a group scheme it must have dimension zero, and hence (again using characteristic
zero) must be a finite abelian group. But it is also a free abelian group, hence it is zero. Thus
Pic X → Pic S is injective.
5. R ESULTS

ON CURVES

For our applications to surfaces, we need to know something about the curves L and Γ. A curve
in this section will be a one dimensional scheme without embedded points, hence satisfying the
condition S1 of Serre. For any ring A, we denote by Cart A the group of Cartier divisors of Spec A.
We first compute the local group Cart A at a singular point of a curve in terms of the number of
local branches and an invariant δ. Then we study the Picard group of a projective curve showing the
contribution of the singular points. The results of this section are essentially well-known (see the

12

R. HARTSHORNE AND C. POLINI

papers of Oort [19] and [20] on the construction of the generalized Jacobian). Here we gather the
results on groups of divisors and divisor classes that we will need later.
In the following k∗ is the multiplicative group of units of the field k and k+ is the whole field k
as a group under addition.
Theorem 5.1. Let A be a reduced local ring of dimension one with residue field k algebraically
e be the normalization of A, let ρ be the number of maximal ideals
closed of characteristic zero. Let A
e (the number of branches of the curve singularity), and let δ be the length of A/A.
e
of A
Then
Cart A ∼
= Zρ ⊕ (k∗ )ρ−1 ⊕ (k+ )δ−ρ+1 .

Before the proof we need some Lemmas.
Lemma 5.2. Let A be a ring, a an ideal, and assume either A is a local ring or A is complete in
the a-adic topology. Then the natural map of units A∗ → (A/a)∗ is surjective.
Proof. Let a ∈ A be an element such that a ∈ A/a is a unit. In the local case this means a 6∈ mA/a ,
which is equivalent to saying a 6∈ mA , so a is a unit.
In the complete case, there exists a b ∈ A such that ab = 1. In other words, ab = 1 + x for some
x ∈ a. Now let u = 1 − x + x2 − x3 + . . . which exists in A since it is complete with respect to the
a-dic topology. Then abu = 1, so a is a unit.
Recall that by a+ we denote the ideal a as a group under addition.
Lemma 5.3. Let A be a ring and a an ideal. Assume A is complete in the a-adic topology and that
A contains the rational numbers Q. Then there is an exact sequence of abelian groups
α

β

0 → a+ −→ A∗ −→ (A/a)∗ → 1
where the map α send an element a of a to
1
1
exp(a) = 1 + a + a2 + a3 + . . .
2
6
Proof. Clearly the composition βα is 1, and we know that β is surjective from the previous lemma.
If u is an element in the kernel of β that means u = 1 + y for some y ∈ a, and then

1
1
a = log u = y − y 2 + y 3 − . . .
2
3
is in a and gives u via the map α. This shows also that α is injective, so the sequence is exact. We
need only to know that the exp map and the log map are inverses to each other and this is purely
formal.
Proof of Theorem 5.1. By Proposition 3.3 we may assume that A is a complete local ring.
e is
Notice that the normalization of the completion is the completion of the normalization so A

DIVISORS CLASS GROUPS OF SINGULAR SURFACES

13

also complete with respect to its Jacobson radical J. Let K be the total quotient ring of A. Then
e ⊂ K, Cart A = K ∗ /A∗ and Cart A
e = K ∗ /A
e∗ . Therefore, we obtain the exact sequence
A⊂A
e∗ /A∗ −→ Cart A −→ Cart A
e → 0.
0→A

e is just a product of ρ discrete valuation rings, so Cart A
e = Zρ (recall that the group of
Now A
Cartier divisors of a discrete valuation ring is Z). Since Z is a free abelian group, the sequence splits
and we can write
e∗ /A∗ .
Cart A ∼
= Zρ ⊕ A
e Let m be the maximal
To analyze this latter group we will apply Lemma 5.3 to the rings A and A.

ideal of A. Then we can write

(6)

0
↓
0→ m
↓
0→ J
↓
0→ M
↓
0

1
1
↓
↓
∗
−→
A
−→
k∗
→ 1
↓
↓
e∗
−→
A
−→ (k∗ )ρ → 1
↓
↓
e∗ /A∗ −→ (k∗ )ρ−1 → 1
−→ A
↓
↓
1
1

The first column of (6) defines an A-module M of finite length δ − ρ + 1, as is evident from
considering the analogue diagram of ideals and rings without ∗ . The first two rows of (6) are
e J). The bottom row of (6) gives us an exact
the applications of Lemma 5.3 to (A, m) and to (A,
e∗ /A∗ . This sequence splits because A, being complete of characteristic zero, contains
sequence for A
its residue field k. And finally, as an abelian group M is just isomorphic to (k + )δ−ρ+1 . This gives
the desired decomposition.
In the next proposition we address the non-reduced case.
Proposition 5.4. Let A be a local ring of dimension one satisfying S1 with residue field k of characteristic zero, let K be the total quotient ring of A, and let I be the ideal of nilpotents of A. Then
there is an exact sequence
0 → (I ⊗ K)/I −→ Cart A −→ Cart Ared → 0.
Proof. We apply Lemma 5.3 to the pairs (A, I) and (K, I ⊗ K), obtaining a diagram
0
1
1
↓
↓
↓
→ 1
0→
I
−→
A∗
−→
A∗red
↓
↓
↓
∗
0→
I ⊗K
−→
K∗
−→
Kred
→ 1
↓
↓
↓
0 → (I ⊗ K)/I −→ Cart A −→ Cart Ared → 0
↓
↓
↓
0
0
0

14

R. HARTSHORNE AND C. POLINI

Note 5.5. As an abelian group (I ⊗ K)/I is a k-vector space, in particular, when we assume that
char k = 0, it is a torsion-free abelian group.

Examples 5.6.
(a) If A is a node, then ρ = 2 and δ = 1, so Cart A ∼
= Z2 ⊕ k∗ . This result
can also be deduced computationally from [15, 3.1], since any principal ideal generated by
a non-zerodivisor in A = k[[x, y]]/(xy) is of the form (xr + ay s ) with a ∈ k∗ . Two of them
multiply by adding the exponents of x and y placewise, and multiplying the coefficients of
a.
(b) If A is a cusp, then ρ = 1 and δ = 1, so Cart A ∼
= Z ⊕ k+ . One could also recover this
result from [15, 3.7].
(c) More generally, if A is the local ring of a plane curve singularity, then ρ is the number of
P1
branches, and δ is the sum
2 ri (ri − 1) taken over the multiplicities ri of the point itself
and all the infinitely near singular points [11, IV, Ex. 1.8 and V, 3.9.3]. So for an ordinary
plane triple point for example, ρ = 3, δ = 3, we have Cart A ∼
= Z3 ⊕ (k∗ )2 ⊕ (k+ ).
(d) Suppose A is the local ring of a nonplanar triple point. Then we can suppose
A = k[[x, y, z]]/(xy, xz, yz).
Generalizing the method of [15, 3.1], a principal ideal is generated by an element of the form
xr + ay s + bz t . Under multiplication the exponents of x, y, z add, while the coefficients of
y, z multiply, respectively. Hence Cart A ∼
= Z3 ⊕ (k∗ )2 . From Theorem 5.1 we infer that
δ = 2.
(e) Suppose that A is the local ring of a point on a double line in the plane, such as k[x, y]/(x2 )
localized at (x, y). Then Ared is k[y] localized at (y). The ideal of nilpotents I is xA, which
is a free module of rank 1 over Ared . Thus (I ⊗ K)/I ∼
= k(y)/k[y] ∼
= y −1 k[y −1 ] is an
infinite dimensional k-vector space. In the sequel we will denote this vector space by W .
Now let us study H 0 (X, OC∗ ) and Pic C for a projective curve C.
e Then there is
Proposition 5.7. Suppose that C is an integral projective curve with normalization C.
an exact sequence
0 → π∗ O∗ /O∗ −→ Pic C −→ Pic Ce → 0
Ce

C

Proof. From the short exact sequence of sheaves of units

1 → OC∗ −→ π∗ OC∗e −→ π∗ OC∗e/OC∗ → 1
taking cohomology, we obtain the long exact sequence
(7)

1 → H 0 (OC∗ ) −→ H 0 (π∗ OC∗e) −→ π∗ OC∗e/OC∗ −→ Pic C −→ Pic Ce −→ 0

DIVISORS CLASS GROUPS OF SINGULAR SURFACES

15

Indeed, π∗ O∗e/OC∗ is supported only at points, so H 0 (π∗ O∗e/OC∗ ) = π∗ O∗e/OC∗ and it has no H 1 .
C
C
C
By Proposition 2.8,
e O∗ ) = Pic C.
e
H 1 (C, π∗ OC∗e) = H 1 (C,
Ce
Finally, since C and Ce are both integral,

H 0 (OC∗ ) = H 0 (π∗ OC∗e) = k∗ .

Thus we obtain the desired short exact sequence.
Remark 5.8. Since Ce is a nonsingular projective curve, Pic Ce is an extension of Z by an abelian
e The dimension of Pic C is given by pa (C), the arithmetic genus
variety of dimension g = genus C.
of C. On the other hand, the group π∗ O∗e/OC∗ is supported at a finite number of points and can be
C
computed as in Theorem 5.1, giving
P

π∗ OC∗e/OC∗ ∼
= (k∗ )

(ρi −1)

P
(δi −ρi +1)

⊕ (k+ )

where ρi and δi are defined at all the singular points of C. Thus reading dimensions on the short
exact sequence of Proposition 5.7 we recover the well-known formula
X
e +
pa (C) = g(C)
δi .

The difference of the arithmetic genus and the geometric genus is δ, which is the total number of
copies of k∗ or k+ . [11, V, 3.9.2] .
Proposition 5.9. Suppose that C is non reduced projective curve. Let I be the sheaf of nilpotent
elements of C and let Cred be the reduced curve. Assume that char k = 0. Then there are two exact
sequences
0 → H 0 (I) −→ H 0 (OC∗ ) −→ H 0 (OC∗red ) → 0
0 → H 1 (I) −→

Pic C

−→

Pic Cred

→0

Proof. Just take cohomology of the sequence
0 → I −→ OC∗ −→ OC∗red → 0
where the first map is the exponential map defined as in Lemma 5.3. Since I is a coherent sheaf
on a scheme of dimension one, H 2 (I) = 0. On each connected component of Cred the sections of
OC∗red are just k∗ . These sections lift to H 0 (OC∗ ) so the long exact sequence splits in two, and the
first sequence also splits.
Example 5.10.
(a) If C is two lines in the plane P2 meeting at a point, then Ce is two disjoint
lines. We find that H 0 (OC∗ ) = k∗ and H 0 (O∗e) = (k∗ )2 . By Example 5.6(a) the contribution
C
π∗ O∗ /O∗ of the point is k∗ , and clearly Pic Ce = Z2 . The exact sequence (7) then becomes
Ce

C

1 → k∗ −→ (k∗ )2 −→ k∗ −→ Pic C −→ Pic Ce → 0

16

R. HARTSHORNE AND C. POLINI

hence Pic C = Z ⊕ Z (see also [15, 3.6]).
(b) If C is a plane nodal cubic curve, then Ce is a a rational curve with Pic Ce = Z. The curves are
integral so we can apply Proposition 5.7. The local contribution of the node (see Example
5.6(a)) is k∗ , so Pic C = Z ⊕ k∗ (see also [11, II, Ex. 6.7]).
If C is a plane cuspidal cubic curve, the local contribution of the cusp is k+ (see Example
5.6(b)), so as in (b) we find Pic C = Z ⊕ k+ (see also [11, II, 6.11.4]).
(d) If C is the union of three lines in the plane meeting at a single point P , then the local
contribution is (k∗ )2 ⊕ k+ (see Example 5.6(c)), and Ce is three lines, so the exact sequence
(7) is
1 → k∗ −→ (k∗ )3 −→ (k∗ )2 ⊕ k+ −→ Pic C −→ Pic Ce → 0

Therefore Pic C = Z3 ⊕ k+ .
(e) If C is the union of three lines in the plane making a triangle, then we have three local
contribution of k∗ from the thee nodes, and using the sequence analogous to the one in (d)
above, we find Pic C = Z3 ⊕ k∗ .
(f) Now suppose that C is the union of three lines in P3 meeting at a point but not lying on
a plane. In this case the local contribution of the point is just (k∗ )2 as we can see from
Example 5.6(d). Thus as in (d) and (e) we compute Pic C = Z3 .

Remark 5.11. Note that in all the examples above, the ‘dimension’ of Pic C, meaning the number
of factors k∗ or k+ plus the dimension of the abelian variety (not present in these examples) is
equal to the arithmetic genus pa of the curve. The plane cubic curves have pa equal one, while the
non-planar cubic curve of (f ) has pa equal zero.
6. E XAMPLES

AND

A PPLICATIONS

Throughout this section, X will denote a reduced surface in P3 and π : S → X will be its
normalization. We take L to be the singular locus of X and Γ = π −1 (L). Then the hypotheses of
Assumptions 2.1 are satisfied. In fact X, being a hypersurface in P3 , is Gorenstein, and so satisfies
G1 and S2 . We will compute L, Γ, Pic X, Pic S, and APic (Spec OX,P ) for some selected surfaces
X in P3 , to illustrate the previous theoretical material.
Example 6.1. Let X = H1 ∪ H2 be the union of two planes in P3 meeting along a line L. Then S
is the disjoint union of the two planes H1 ⊔ H2 , and Γ is a line in each of the Hi . The reduced line
L is the conductor of the normalization. So for a point x ∈ L there will be two points of Γ lying
over it, and using Theorem 3.1 we can compute
APic (Spec OX,x ) = Cart Γ/π ∗ Cart L = (Z ⊕ Z)/Z ∼
= Z.

DIVISORS CLASS GROUPS OF SINGULAR SURFACES

17

To calculate Pic X, since X and L have each one connected component, and S and Γ have each two
∗ ) → π H 0 (O ∗ )) = coker(H 0 (O ∗ ) → π H 0 (O ∗ )).
connected components, we have coker(H 0 (OX
∗
∗
S
L
Γ
2
Furthermore Pic L = Z → Pic Γ = Z is injective, so by Proposition 4.2, Pic X → Pic S is injective.
Now by Theorem 4.1, since Pic Γ/π ∗ Pic L ∼
= Z and Pic S = Z ⊕ Z, we conclude that Pic X =
Z. Since APic (Spec OX,x ) = Z for each point x ∈ L, the sequence of Proposition 2.2 (c) becomes
(8)

0 → Pic X −→ APic X −→ Div L → 0,

where Div L is just the direct sum of a copy of Z at each point of X. Note the last map is surjective,
because using a sum of lines in one of the planes Hi we can get any divisor on L. Thus the sequence
(8) splits and we obtain APic X ∼
= Z ⊕ Div L. ( see [15, 5.2, 5.3, 5.4] and the discussion following
for more details about curves on X.)
Example 6.2. Let X be the union of three planes in P3 meeting along a line L0 . Then S is the
disjoint union of the three planes and Γ0 is the union of one line in each of the planes. Taking L0
and Γ0 to be reduced, for a point P ∈ L0 we have Cart P L0 = Z and Cart Qi Γ0 = Z for each of
the three points Q1 , Q2 , Q3 lying over P . So the quotient Cart Q Γ0 /π ∗ Cart P L0 that appears in
Proposition 2.3 is just Z2 .
However in this case the conductor of the normalization is not L0 reduced! It is the scheme
structure supported on the line L0 defined by IL2 0 ,P3 ( see Example 5.6(c), which shows that δ = 3
for an ordinary plane triple point).
Lifting L up to S, then Γ consists of a planar double line in each plane. Now for P ∈ L, the ideal
of nilpotents I in the local ring k[x, y, z](x,y,z) /(x, z)2 is free of rank 2 over k[y], so using Example
5.6(e) we obtain Cart P L = Z ⊕ W 2 (where W is the k-vector space y −1 k[y −1 ]) and at each point
Qi ∈ Γ above P , we find Cart Qi Γ = Z ⊕ W. The quotient Cart Q Γ/π ∗ Cart P L is Z2 ⊕ W . This,
therefore is the group APic (Spec OX,P ), not just the Z2 found above.
Note that if I is the sheaf of nilpotents of OL (the non-reduced structure), then I ∼
= OL0 (−1)2 .
This sheaf has no cohomology on the line L0 , so H 0 (OL∗ ) = k∗ and Pic L = Z. Similarly, for
each component Γi of Γ we have H 0 (OΓ∗ i ) = k∗ and Pic Γi = Z. Now from Proposition 4.2 we
conclude that Pic X −→ Pic S is injective. Looking at the first sequence of Theorem 4.1 we obtain
that Pic X = Z.
Example 6.3. [Pinch points and the ruled cubic surface] A pinch point of a surface is a singular
point that is analytically isomorphic to k[x, y, z](x,y,z) /(x2 z − y 2 ). A typical example is the ruled
cubic surface X in [11, §6]. This surface has a double line L with two pinch points. The normalization S is a nonsingular ruled cubic surface (scroll) in P3 . The inverse of L is a conic Γ in S, and
the restriction π : Γ → L is a 2-1 mapping, ramified over the two pinch points. Thus at a pinch
point x ∈ L, there is just one point z ∈ Γ above x, and the mapping Cart L = Z → Cart Γ = Z is
multiplication by 2. Thus APic (Spec OX,x ) = Z/2Z at the pinch point.

18

R. HARTSHORNE AND C. POLINI

Since X is integral, L and Γ are both integral, and Pic L → Pic Γ is injective, Proposition 4.2
applies and we find Pic X → Pic S is injective. As Pic Γ/π ∗ Pic L = Z/2Z, and Pic S = Z ⊕ Z,
we obtain also Pic X ∼
= Z ⊕ Z. The global sequences from Theorem 4.1 now give the results of
[15, 6.1, 6.2, 6.3] with simplified proofs.
Example 6.4. [The Steiner surface, see [25, page 137], [21, page 478], [23, Ex. 5.5]] According to
Pascal [21], this ‘superficie romana di Steiner’ was discovered by Jakob Steiner in 1838 during a
visit to Rome. It was first published by Kummer in 1863 in his article on quartic surfaces containing
infinitely many conics, where he attributed it to Steiner. The Steiner surface X is a projection of the
Veronese surface S in P5 (the 2-uple embedding of P2 in P5 ), and has the equation
x2 y 2 + x2 z 2 + y 2 z 2 = xyzw
in P3 . To see this, let t, u, v be coordinate in P2 , so that S is given by t2 , tu, u2 , tv, uv, v 2 in P5 , and
project by taking
x = tu
y = tv
z = uv
w = t 2 + u2 + v 2 .
Then x, y, z, w satisfy the equation above. The singular locus L of X consists of the three lines
x = y = 0, x = z = 0, y = z = 0 meeting at the point P = (0, 0, 0, 1) in P3 . The curve L is
a double curve for X, with two pinch points on each line. It is the conductor of the normalization
π : S → X. The inverse image of L in S is a curve Γ, consisting of three conics, each meeting the
other two in a point, which are the images of the three lines t = 0, u = 0, v = 0 of P2 , forming a
triangle. The three vertices of the triangle go to the triple point P , while each side of the triangle is
a 2-1 covering of the corresponding line.
At the triple point P we have Cart P L = Z3 ⊕ (k∗ )2 by Example 5.6(d). On Γ, there are three
nodes Q1 , Q2 , Q3 lying over P , at each of which Cart Qi Γ = Z2 ⊕ k∗ by Example 5.6(a). Thus
APic (Spec OX,P ) = (Z2 ⊕ k∗ )3 /Z3 ⊕ (k∗ )2 = Z3 ⊕ k∗ . At any other point of L we have either
an ordinary double point with APic equal to Z (by Example 6.1) or a pinch point with APic equal
to Z/2Z (see Proposition 3.4 and Example 6.3).
From Examples 5.10(f) and 5.10(e) we know that Pic L = Z3 and Pic Γ = Z3 ⊕ k∗ . The map
Pic L → Pic Γ sends a generator of one line to twice the generator of the corresponding line in Γ.
So Pic L → Pic Γ is injective and the quotient is (Z/2Z)3 ⊕ k∗ .
We look at the first sequence of Theorem 4.1
Pic X −→ Pic S −→ Pic Γ/π ∗ Pic L.
Since S is the Veronese surface in P5 , which is the 2-uple embedding of P2 , we have Pic S = Z,
and the hyperplane section H is twice a generator. A curve C in Pic S goes to zero in Pic Γ/π ∗ Pic L
if and only if its intersection with each line of Γ is even, which means that C has even degree in P2 ,

DIVISORS CLASS GROUPS OF SINGULAR SURFACES

19

so in Pic S it is a multiple of H. Hence the kernel of Pic S → Pic Γ/π ∗ Pic L is just Z · H. On
the other hand, Proposition 4.2 applies to show that Pic X → Pic S is injective, thus Pic X = Z,
generated by H. (Note that since X in P3 is a projection of S in P5 , the hyperplene class H on X
lifts to the hyperplane class on S).
Finally, we can describe APic X using Theorem 4.1(b).
Definition 6.5. We say a reduced surface X in P3 has ordinary singularities if its singular locus
L consists of a double line with transversal tangents at most points, plus a finite number of pinch
points and non-planar triple points.
Remark 6.6. The significance of ordinary singularities is that one knows from the literature, at
least in characteristic zero, that the generic projection X in P3 of any nonsingular surface S in Pn
has only ordinary singularities [18]. In characteristic p > 0 the same applies after replacing S if
necessary by a suitable d-uple embedding [22]. Conversely, if X in P3 has ordinary singularities its
normalization S is smooth (but may not have an embedding in Pn of which X is the projection).
Proposition 6.7. If X is a surface in P3 with ordinary singularities, then we can describe APic X
by the sequence of Proposition 2.2(3) as
M
0 → Pic X −→ APic X −→
APic (Spec OX,P )
P ∈X

where

APic (Spec OX,P ) =




Z
Z/2Z
 3
Z ⊕ k∗

at a general point of L
at a pinch point of L
at a triple point of L .

Proof. Indeed, the local calculation of APic is stable under passing to the completion (see Proposition 3.4) and the calculations for these three kinds of points have been done Examples 6.1, 6.2 and
6.3.
Example 6.8. [A special ruled cubic surface] We consider the surface with equation
x2 z − xyw + y 3 = 0.
The line L : x = y = 0 is a double line for the surface. There are no other singularities. The
line L has distinct tangents everywhere except at the point P : x = y = w = 0, where it has a
more complicated singularity. This surface may be regarded as a degenerate case of the ruled cubic
surface considered above (see Example 6.3). It is still a projection of the cubic scroll in P4 , but the
conic Γ has become two lines.
To investigate the singularity at P , we restrict to the affine piece where z = 1, and the surface X
has affine equation
x2 − xyw + y 3 = 0 .

20

R. HARTSHORNE AND C. POLINI

Adjoining u = x/y which is an integral element over the affine ring of the surface, we find that the
normalization S is just k[u, w], and the map S → X is given by x = uy, y = u(w − u). Lifting
the line L to S we find Γ is two lines, having equation u(w − u) = 0, and that our special point P
corresponds to the origin Q : u = w = 0.
The conductor of the integral extension is just L, so both L and Γ are reduced. We know that
Cart Q Γ = Z2 ⊕ k∗ from Example 5.6(a), and Cart P L = Z. A generator of Cart P L is given
by w = 0 on L. If we lift w up to Γ it intersects each branch in one point giving (1, 1) in Z2 of
Cart Q Γ. Hence
APic (Spec OX,P ) = Z ⊕ k∗ .
Going back to the projective surfaces X and S we know that Pic S = Z ⊕ Z, Pic Γ = Z ⊕ Z,
Pic L = Z, so Pic X = Z generated by the hyperplane class H, whose image in S is (2, 1) in the
notation of [15, §6]. Now by Theorem 4.1, in analogy with the ordinary ruled cubic surface above
(cf. [15, 6.3]), an element of APic X can be represented by a 4-tuple (a, b, α, λ) where a, b ∈ Z,
α ∈ Div L, λ ∈ k∗ with the condition that deg α = a − 2b.
Example 6.9. [The cone over a plane cuspidal curve] We consider the cubic surface X given by the
equation
y 2 z − x3 = 0
in k[x, y, z, w], which is the cone with vertex P = (0, 0, 0, 1) over a cuspidal curve in the plane
4
w = 0. The normalization S is obtained by setting t = yz
x . It is a cubic surface in P that is the
cone over a twisted cubic curve with vertex Q. The singular locus of X is the line L : x = y = 0.
Its inverse image in S is the double line Γ defined by x = y = t2 = 0. Since Γ is a planar double
line, Pic L → Pic Γ is an isomorphism. Furthermore H 0 (OL∗ ) = k∗ = H 0 (OΓ∗ ), X and S are both
integral, hence by Proposition 4.2, Pic X → Pic S is an isomorphism as well.
In place of the second sequence in Theorem 4.1, since S is not smooth, we must use the group
G = ker(APic X → APic (Spec OS,Q )) (see Remark 4.4). Then Theorem 4.1 tells us that G is
isomorphic to Pic S ⊕ Cart Γ/π ∗ Cart L. Hence we have an exact sequence
0 → Pic S ⊕ Cart Γ/π ∗ Cart L −→ APic X −→ APic (Spec OS,Q ) = Z/3Z → 0.
Here Pic S = Z, generated by three times a ruling, and for each point x ∈ L, Cart x Γ/π ∗ Cart x L
is just a group isomorphic to W = y −1 k[y −1 ] since Γ is a double line (see Example 5.6(e)).
Example 6.10. [A quartic surface with a double line, [21, XII, §8, p. 471]] (This is also the surface
used by Gruson and Peskine [5] and [13] in their construction of curves in P3 with all allowable
degree and genus.)
This surface can be obtained by letting S be P2 with nine points P0 , . . . , P8 blown up. We take
the points Pi in general position, so that there is a unique cubic elliptic curve Γ passing through
them. Then Pic S = Z10 generated by a line from P2 and the exceptional curves E0 , . . . , E8 . As

DIVISORS CLASS GROUPS OF SINGULAR SURFACES

21

P
usual, we denote by (a; b0 , . . . , b8 ) the divisor class al −
bi Ei . Thus Γ = (3; 19 ). Now take
H = (4; 2, 18 ), i.e. a plane curve of degree 4 with a double point at P0 , and passing through
P1 , . . . , P8 . Then the complete linear system |H| maps S to a quartic surface X in P3 , whereby the
curve Γ is mapped 2 − 1 to a double line L of X with four pinch points. This is a surface X with
ordinary singularities and normalization S, but it does not arise by projection from an embedding
of S in some Pn , because the linear system |H| is not very ample on S.
Since Γ is an elliptic curve, we have an exact sequence
0 → Pic0 Γ −→ Pic Γ −→ Z → 0
where Pic0 Γ is the Jacobian variety, which in this case is just a copy of the curve itself with its group
structure. If we have taken the points Pi in very general position, then the restriction map Pic S →
Pic Γ will be injective. Dividing by π ∗ Pic L = Z, generated by the image of the hyperplane class H,
we see that Pic X = Z, generated by H. Along the double curve L, we have APic (Spec OX,P ) =
Z for a general point P , or Z/2Z at each pinch point.

Example 6.11. [A quartic surface with two disjoint lines as its double locus, [21, XII, §10, type
XI, p.490]] The surface has two disjoint double lines as its singular locus L, each having four pinch
points. The inverse image Γ of L in the normalization S will be the disjoint union of two elliptic
curves.
We can construct this surface using an elliptic ruled surface. Following the notations of [11, V,
§2], let C be an elliptic curve. Take E = OC ⊕ L0 , where L0 is an invertible sheaf of degree 0, not
isomorphic to OC , corresponding to a divisor e on C. We take S = P(E). The map OC → E gives a
section C0 of S, so that Pic S = Z · C0 ⊕ Pic C · f , where f is a fiber.
On the surface S we have C02 = 0, C0 · f = 1, f 2 = 0. The canonical class is KS = −2C0 + ef .
The surjection E → OC → 0 defines another section C1 of S that does not meet C0 . We have
C1 ∼ C0 − ef , so that KS = −C0 − C1 .
Now we fix a divisor class b on C of degree 2, and take H = C0 + bf on S. Using [11, V,
Ex. 2.11] we deduce that the linear system |H| has no base points. Furthermore, H 2 = 4 and
H 0 (OS (H)) = 4, so the linear system |H| determines a morphism ϕ of S to P3 , whose image we
call X. One can verify (we omit the details) that H collapses the two elliptic curves C0 and C1 to
two disjoint lines L0 and L1 , and otherwise is an isomorphism of S − C0 − C1 → X − L0 − L1 . So
we denote by L the two disjoint lines L0 ∪ L1 and by Γ the two elliptic curves C0 ∪ C1 . The 2 − 1
coverings C0 → L0 and C1 → L1 have four ramifications points each., corresponding to four pinch
points on each line. In order to find Pic X we first show that Pic S → Pic Γ is injective. Consider
a divisor η = nC0 + af in Pic S. Suppose η goes to zero in Pic Γ. On C1 the restriction of C0 is
zero, since C0 and C1 do not meet. Now the image of η in Pic C1 ⊂ Pic Γ is a, which is therefore
zero. Consider the restriction of η = nC0 to Pic C0 . Since C02 is the divisor e, the image of η is
ne. If we have chosen e general, in particular a non torsion element in Pic C, then ne = 0 implies

22

R. HARTSHORNE AND C. POLINI

n = 0. Therefore, when we divide by π ∗ Pic L only H vanishes. Hence Pic X = Z generated by
H. As before, APic (Spec OX,P ) is Z at a general point of L, and Z/2Z at a pinch point.
Example 6.12. We now consider a more complicated example. Let X be the quartic surface in P3
defined by the polynomial f = x4 − xyw2 + zw3 .
Taking partial derivatives one can verify that the singular locus L0 of X is the line x = w = 0.
Since f ∈ (x, w)3 , the line L0 has multiplicity 3 on X.
To find the normalization S of X we proceed as follows. This method was inspired by a computa2
tion in Macaulay 2. First consider wf2 and let t = xw . Then we find t2 − xy + zw = 0, so t is integral
2

3
2
2
over the coordinate ring of X. Next we consider zx3f and let s = zw
x . We obtain s − ys + xz = 0,
thus s is integral over X. Now the inverse image of X in the projective space P5 with coordinates
x, y, z, w, s, t is the surface S with equations


tw − x2




t2 − xy + sx



sx − zw

tz + s(s − y)





tx + w(s − y)



st − xz

We recognize this equations as the 2 × 2 minors of the 2 × 4 matrix


x s w
t
.
t z x y−s

Thus S is rational scroll of type (1, 3), namely an embedding of the rational ruled surface X2
(in the notation of [11, V, §2]). We have Pic S = Z ⊕ Z, generated by two lines C0 and f with
intersection C02 = −2, C0 · f = 1, and f 2 = 0. The hyperplane section H is C0 + 3f .
The pullback Γ0 of the singular locus L0 is C0 + 2f where C0 = (x, w, t, y − s) and f =
(x, w, s, t).
To find the conductor of the integral extension, it is enough to look at any affine piece. So let
z = 1 and look at the affine ring
A = k[x, y, w](x4 − xyw + w3 ).
The normalization is the affine piece of S defined by z = 1. One can eliminate variables and find
its affine ring is B = k[s, y], and the map A −→ B is defined by x = s2 (y − s), w = sx. We claim
the conductor of the integral extension is just the ideal c = (x2 , xw, w2 ). To see this, observe that
B as an A-module is generated by 1, s, s2 . We have only to verify that the elements of c multiply s
and s2 into A. For instance, x2 · s = xw, xw · s = w2 , etc..
We now take the scheme L in X to be defined by the conductor so that we have an exact sequence
0 → OL2 0 (−1) −→ OL −→ OL0 → 0

DIVISORS CLASS GROUPS OF SINGULAR SURFACES

23

and hence on units, using Lemma 5.3
0 → OL2 0 (−1) −→ OL∗ −→ OL∗ 0 → 0
It follows that H 0 (OL∗ ) = k∗ and Pic L = Z. Also, for any point P ∈ L, we find as in Example
5.6(e)
Cart P L ∼
= Z ⊕ W 2.
We take Γ ⊂ S to be the pullback of L. Then Γ = 2C0 + 4f . From the study of curves on ruled
surfaces [11, V, 2.18] one knows that Γ is linearly equivalent to an irreducible nonsingular curve on
S. Hence H 0 (OΓ ), which depends only on the linear equivalence class of Γ, is just k. It follows
that H 0 (OΓ∗ ) = k∗ . The canonical class KS on S is −2C0 − 4f [11, V, 2.18] so from the adjunction
formula one can compute that pa (Γ) = 1. It follows that H 1 (OΓ ) = 1. Now we consider the exact
sequence
0 → I −→ OΓ −→ OΓ0 → 0.
Since pa (Γ0 ) = 0, we have H 0 (OΓ0 ) = 1 and H 1 (OΓ0 ) = 0. Now from the exact sequence of
cohomology we find H 0 (I) = 0 and H 1 (I) = 1. Next, we consider the associated sequence of
units
0 → I −→ OΓ∗ −→ OΓ∗ 0 → 0.
Taking cohomology we obtain
0 → H 1 (I) −→ Pic Γ −→ Pic Γ0 → 0.
An analogous argument comparing Γ0 to (Γ0 )red shows that Pic Γ0 = Pic (Γ0 )red = Z ⊕ Z (see
Example 5.10(a)). Hence we compute Pic Γ = Z ⊕ Z ⊕ k + .
With the information acquired so far, we can apply Proposition 4.2 and conclude that Pic X −→
Pic S is injective. Taking for example C0 and f as a basis for Pic S, it is clear that Pic S −→ Pic Γ
is surjective. Therefore from the sequence of Theorem 4.1(a), we find that Pic X = Z and its image
in S consists of those curves whose intersection numbers with the two branches of Γ, that is C0
and f , is the same. These are the curves aC0 + bf with b = 3a, i.e. just the multiplies of H. So
Pic X = Z · H.
Finally, we will compute APic (Spec OX,P ) for a point P ∈ L. According to Theorem 3.1 this
is Cart Q Γ/π ∗ Cart P L, where Q is the point or points of Γ lying over P .
The point P0 defined by y = 0 in L has a single point of Γ above it. All other points P ∈ L
have two points lying over them. If P is general point 6= P0 , then we have seen that Cart P L =
Z ⊕ W 2 . The two points of Γ lying over P are on lines of multiplicity 2 and 4, respectively, so their
Cart Qi Γ = Z⊕W and Z⊕W 3 respectively. Thus for a general point P ∈ L, APic (Spec OX,P ) =
Z ⊕ W 2 . At the special point P0 the situation is a bit more complicated. As before, Cart P0 L =
Z ⊕ W 2 . Using the exact sequence
0 → I −→ OΓ∗ −→ OΓ∗ 0 → 0

24

R. HARTSHORNE AND C. POLINI

and Proposition 5.4 we obtain an exact sequence
0 → (I ⊗ K)/I −→ Cart Q0 Γ −→ Cart Q0 Γ0 → 0.
On the other hand, by the same method,
Cart Q0 Γ0 = Z2 ⊕ k∗ ⊕ W.
We can also regard I as a k[y]-module. It will have rank 3, so that (I ⊗ K)/I ∼
= W 3 . Now finally,
taking the quotient, we obtain
APic (Spec OX,P0 ) ∼
= Z ⊕ k∗ ⊕ W 2
7. T HE SEARCH

FOR SET- THEORETIC COMPLETE INTERSECTIONS

We say a curve C in P3 is a set-theoretic complete intersection (s.t.c.i. for short) if there exist
surfaces X and Y such that C = X ∩ Y as sets. If the surface X containing C is already specified,
we will also say C is a set-theoretic complete intersection on X.
In this section we first give some general results, building on the work of Jaffe and Boratynski
[6] [7], [8], [9], [1], [2], and [3]. If C is a set-theoretic complete intersection on a surface X having
ordinary singularities we show that the genus of C is bounded below as a function of its degree.
Then we examine some particular surfaces and search for all possible curves that are set-theoretic
complete intersections on these surfaces.
Bounds on degree and genus.
Proposition 7.1. Let C be a curve on a surface X in P3 that meets the singular locus in at most
finitely many points. Then C is a set-theoretic complete intersection on X if and only if rC = mH
in APic X, for some r , m ≥ 1, where H is a hyperplane section.
Proof. If C = X ∩ Y as sets, where Y is a surface of degree m, then the scheme X ∩ Y will be a
multiple structure on the curve C. Since C is a Cartier divisor on X − Sing X, this will be rC for
some r ≥ 1, so rC = mH in APic X.
Corollary 7.2. With the hypotheses of Proposition 7.1, assume in addition that C is smooth, and
that C is a set-theoretic complete intersection on X. Then at each singular point P of X lying on C,
the curve C gives a non-zero torsion element in the local ring APic (Spec OX,P ).
Proof. If C is a s.t.c.i. on X, then rC ∼ mH for some r, m ≥ 1, showing that rC is a Cartier
divisor. Hence the local contribution of rC at P is zero, so C is torsion in APic (Spec OX,P ). Being
a smooth curve it cannot be locally Cartier at a singular point hence it is non-zero.
Proposition 7.3. If C ⊂ X is a smooth curve that gives a non-zero torsion element in APic (Spec OX,P )
for some point P ∈ X, then the normalization S of X can have only one point Q lying over P .

DIVISORS CLASS GROUPS OF SINGULAR SURFACES

25

Proof. Since rC is locally Cartier for some r ≥ 1, it will be defined locally by a single non-zero
divisor f in the local ring OX,P . If S has several points Q1 , . . . , Qs lying over P , then f will define
a curve at each Qi . Thus C will have several branches and cannot be nonsingular at P . (this result
is deduce by Jaffe [6, 3.3] from a more general result of Huneke.)
Corollary 7.4. With the hypotheses of Corollary 7.2, assume that the surface X has only ordinary
singularities. Then C can meet the singular locus of X only at pinch points.
Proof. Indeed, the normalization S of X has two points lying over a general point of L and three
points lying over a triple point. (cf. Examples 6.2 and 6.3).
Proposition 7.5. With the hypotheses of Corollary 7.4, assume that char k = 0. Then already
2C = X ∩ Y for some surface Y . In this case we say that C is a self-linked curve.
Proof. We have seen that C can meet the double curve L only at pinch points. At a pinch point the
local APic group is Z/2Z ( see Example 6.3), so 2C will be locally Cartier there. Thus 2C ∈ Pic X.
Our hypothesis says that rC ∼ mH for some r, m ≥ 1. Thus 2C becomes a torsion element of the
quotient group Pic X/Z · H. However, in case of char k = 0, this group is torsion free, by Lemma
7.6 below so we can conclude that 2C ∼ mH for some (other) m, in other words, by Proposition
7.1, already 2C is a complete intersection X ∩ Y for some Y and C is self-linked.
The statement of Lemma 7.6 is well known. We give the main steps of the proof below because
of the lack of a precise reference. A proof is given in Jaffe [8, 13.2], where he assumes normality but
he does not really use it. The statement is also given in [17, Ex. 20.7] as an exercise. Furthermore,
a proof when X as dimension at least 3 can be found in [10, IV, 3.1] (this is the proof that we mimic
below). The method of proof is similar to the one employed in the proof of Theorem 4.5.
Lemma 7.6. If X is a surface in P3 over a field k of characteristic zero, then Pic X/(Z · H) is a
torsion free abelian group.
Proof. In the proof of [10, IV, 3.1], at each stage of the thickening, we have Pic Xn+1 −→
2
n /I n+1 ), and the class of H comes from Pic X
Pic Xn −→ H 2 (IX
n+1 , so its image in the H
X
is zero. In characteristic 0, this H 2 group is torsion free, so any class in Pic Xn whose multiple is in
the subgroup generated by H will also go to zero in H 2 , and hence will lift to Pic Xn+1 . Continuing
in this way, it lifts all the way to Pic P3 = Z, generated by H, so it is already a multiple of H.
The following result can be basically recovered from Boratynski’s works ([1] and [3]).
Proposition 7.7. (Boratynski) Let C be a smooth curve in P3 that is self-linked, so that 2C = X ∩ Y
as schemes, where X and Y are surfaces of degrees m, n respectively. Then there is an effective
divisor D on C such that
∼ ω −2 (2m + n − 8)
OC (D) =
C

26

R. HARTSHORNE AND C. POLINI

Proof. Let C ′ be the scheme 2C. Then there is an exact sequence
0 → L −→ OC ′ −→ OC → 0
where L is an invertible sheaf on C. One knows from an old theorem of Ferrand that
L∼
= ωC (−m − n + 4).

This follows also from linkage theory (see for instance [15, 4.1]), since L = IC,C ′ which is just
Hom(OC , OC ′ ). But ωC ∼
= Hom(OC , ωC ′ ) and ωC ′ ∼
= OC ′ (m + n − 4) since C ′ is the complete
intersection of surfaces of degrees m and n. Thus L ∼
= ωC (−m − n + 4).
2
On the other hand, L is a quotient of I/I , where I = IC is the ideal sheaf of C in P3 . Since C
lies on the surface X of degree m , there is a natural map OC (−m) → I/I 2 , whose image maps to
zero in L. Hence there is an effective divisor D on C such that
0 → OC (−m + D) −→ I/I 2 −→ L → 0
is exact.
Now from the exact sequence
0 → I/I 2 −→ Ω1P3 |C −→ ωC → 0
of [11, II, 8.17], taking exterior powers, we find
∧2 (I/I 2 ) ∼
= ωC−1 (−4).
But the above sequence with L implies that

∧2 (I/I 2 ) ∼
= L(−m + D).

Therefore L ∼
= ωC−1 (m − 4 − D). Combining with the earlier expression for L gives the result.
Theorem 7.8. Let C be a smooth self-linked curve, so that 2C is the intersection of surfaces of
degrees m and n . Then letting d = degree C and g = genus C, we have
d(m + n − 7) ≤ 4g − 4
and
g≥

√

2 3 7
d2 − d + 1 .
2
4

Proof. In the proof of the previous proposition we saw that OC (−m + D) is a submodule of I/I 2 .
Hence OC (m − D) is a quotient of its dual N , the normal bundle of C in P3 . Since C is smooth, N
is a quotient of TP3|C , which in turn is a quotient of OC (1)4 . Hence N (−1) is a sheaf generated by
global sections, and therefore the same holds for OC (m − D). We conclude that the degree of this
sheaf on C is non negative, i.e. deg D ≤ dm. Combining with the expression for D in the statement
of Proposition 7.7 we find
−4g + 4 + d(2m + n − 8) ≤ dm ,
which gives the first inequality.

DIVISORS CLASS GROUPS OF SINGULAR SURFACES

27

√
For the second inequality, we use the fact that m + n ≥ 2 mn and mn = 2d since 2C = X ∩ Y .
Substituting and solving for g gives the result.
Corollary 7.9. If C is a smooth curve that is a set-theoretic complete intersection on a surface X
having at most ordinary singularities and ordinary nodes, and C 6⊂ Sing X, and char k = 0, then
the inequality of Theorem 7.8 hold, taking m = deg X and n = 2d
m.
Corollary 7.10. With the hypotheses of Corollary 7.9 we find g ≥ d − 3 except possibly for the
pairs (d, g) = (8, 3), (10, 6), which we are unable to eliminate.
Proof. For d ≥ 11 the result follows from the second inequality of Theorem 7.8. For d ≤ 10 we
treat case by case, considering the possible m, n for which mn = 2d. If one of m or n is equal
to 2, then C lies on a quadric surface, which must be a cone. In this case, if d is even = 2a, then
g = (a − 1)2 ; if d is odd = 2a + 1, then g = a(a − 1) [11, Ch. 3 Ex. 5.6 ]. In all cases g ≥ d − 3.
If one of m or n is equal to 3, this result has been proved by Jaffe [6, 3.1]. Thus we may assume
m, n ≥ 4. This leaves only two cases, d = 8 and d = 10, in which cases our bound gives g ≥ 3 and
g ≥ 6 respectively. In case d = 8, then m = n = 4, the curve C on S is linearly equivalent to 2H
so gC = 2gH + 3, which is an odd number. This eliminates (8, 4).
Remark 7.11. Corollary 7.10 was proved by Jaffe for curves on cubic surfaces [6, 3.1], for surfaces
having only ordinary nodes [6, 4.1], and for curves on cones [6, 5.1]. Boratynski [2, 3.4] proved
the special case of genus zero, i.e. a smooth rational curve of degree d ≥ 4 cannot be a s.t.c.i. on a
surface of the type described in Corollary 7.10, under the additional hypothesis that for d ≥ 5 the
rational curve is general in its Hilbert scheme.

Examples and existence.
Now we will study some particular surfaces in P3 , with the intention of finding all curves that are
s.t.c.i. on them. We preserve our earlier notation: X will be a surface in P3 , L its singular locus ,
S its normalization, Γ the inverse image of L, and we look for smooth curves C ⊂ X, meeting L in
only finitely many points, such that C is s.t.c.i. on X. We denote by C ′ the support of the inverse of
C in S, which will be a smooth curve on S isomorphic to C.
Example 7.12. [The ruled cubic surface (cf. Example 6.3)] We know that C can meet L only at
pinch points (Corollary 7.4), so C ′ can meet Γ only at the two ramification points. In order for C to
be smooth, C ′ must meet Γ transversally at these points, so the intersection multiplicity C·′ Γ ≤ 2.
Using the notation of [15, §6], the divisor class of H on S is (2, 1) and that of Γ is (1, 0). Since
rC ′ = mH for some r, m, the class (a, b) of C ′ must satisfy a = 2b. But since C·′ Γ = a ≤ 2, there is
only one possibility, namely C ′ = (2, 1) = H in Pic S. Thus we see that if there is a s.t.c.i. curve C
on X, it must be a twisted cubic curve, with C ′ ∼ H on S. To see if such curves C exist, we ask for a

28

R. HARTSHORNE AND C. POLINI

smooth curve C ′ in the linear system |H| on S that meets Γ at the two specified ramification points.
Remembering that S is isomorphic to a plane P2 blown up at one point P , and that Γ corresponds
to a line ℓ not containing P , we ask for a conic C ′′ in the plane containing P and meeting ℓ at two
specified points. These exist, so we conclude that there are twisted cubic curves C on X such that
2C is a complete intersection on X, and that these are the only smooth s.t.c.i. curves on X.

Example 7.13. [The special ruled cubic surface (cf. Example 6.8)] In this case the normalization
S is the same cubic scroll in P4 as in the previous example, but Γ is now two lines meeting at the
point Q that lies over the special point P on L. If C is a s.t.c.i. curve on X, then by Proposition 7.3
it can meet L only at P , and since C is smooth, C ′ must meet Γ at Q without being tangent to either
of the two lines of Γ. As in the previous example, the class of H in Pic S is (2, 1), the class of Γ is
(1, 0), the intersection number C·′ Γ = 2, and we find that the only possibility is C ′ ∼ H, so C will
be a twisted cubic curve.
There is one well-known example of such a curve [12, Note, p. 381], namely (modulo slight
change of notation) the twisted cubic curve C whose affine equation in the open set z = 1 is given
parametrically by

3

x = t
.
y = t2


w = 2t
For this curve, 2C is the complete intersection of X with the surface w2 = 4yz.
If we modify these equations by inserting a parameter λ 6= 0, ±i, then the curve Cλ defined by

3

x = λt
y = t2

2

w = λ λ+1 t

is another smooth twisted cubic curve lying on X and passing though the point P , and Cλ′ on S is
still the linear system |H|.
To see if Cλ is a s.t.c.i. on X, we must find out if Cλ gives a torsion element in the local group
APic (Spec OX,P ), which, according to Example 6.8, is isomorphic to Z ⊕ k∗ . Since Cλ meets each
branch of Γ just once, the Z component of Cλ in APic is 0.
To find the element of k∗ representing Cλ in APic , we recall from Example 5.6(a) that if A ∼
=
r
s
2
∗
∼ Z ⊕ k . Since Γ
k[[x, y]]/(xy), then an ideal (x + ay ) gives the element (r, s; a) in Cart A =
has local equation u(w − u) = 0, it is convenient to make a change of variables v = w − u. then Γ
is defined by uv = 0, and the curve Cλ′ is defined by
(
u = x/y = λt
,
v = w − u = λ−1 t
so the local equation of Cλ is u − λ2 v, and we find that Cλ gives the element µ = −λ2 in k∗ . The
torsion elements in k∗ are just the roots of unity. Note that the first curve we discussed above, which

DIVISORS CLASS GROUPS OF SINGULAR SURFACES

29

corresponds to λ = 1, gives µ = −1, which is a torsion element of order 2 in k∗ , confirming that
2C is a complete intersection.
For the other curves Cλ in this algebraic family, we see that for a general λ, the curve Cλ is not
a s.t.c.i. on X, but if λ is a root of unity, then Cλ will be a s.t.c.i. For any n ≥ 2, taking µ to be
a primitive nth root of unity, and solving λ2 = −µ, we find a curve Cλ that is a s.t.c.i. on X of
order n, but of no lower order. Note, by the way, that even though the Cλ′ are all linearly equivalent
to H on S, the curves Cλ1 and Cλ2 on X are not linearly equivalent in APic X (unless λ1 = −λ2 ,
in which case the curves Cλ1 and Cλ2 are the same, replacing t by −t) because this class, in the
notation of Example 6.8, is (2, 1, 0, µ).
Remark 7.14. In particular the set of curves in an algebraic family on X that are s.t.c.i. need not
be either open or closed.
Example 7.15. [The Steiner surface (cf. Example 6.4)] Here the singular locus L is three lines
meeting at a point, and each having two pinch points. The normalization S is isomorphic to P2 , so
Pic S ∼
= Z, generated by a line ℓ. The hyperplane section H on X corresponds to the divisor class
2ℓ on S. The curve Γ on S corresponds to three lines forming a triangle in P2 .
A s.t.c.i. curve C in X can meet L only at pinch points (Corollary 7.4), so the curve C ′ ⊂ S meets
Γ only at the ramification points. Thus C·′ Γ ≤ 6. On the other hand, C ′ ∼ aℓ for some a ≥ 1, and
ℓ· Γ = 3, so a = 1 or 2. Thus we are looking for a line or a conic in P2 that meets the triangle Γ
only in the six ramification points.
Using the notation of Example 6.4, we can compute the ramification points. On the line t = 0,
the image of (0, 1, λ) is (0, 0, 1, λ + λ1 ). Thus λ and λ1 have the same image, and the ramification
points are where λ = λ1 , namely, λ = ±1. Thus the six ramification points in the (t, u, v)-plane are
(0, 1, ±1), (1, 0, ±1), and (1, ±1, 0). A line (not equal to t = 0, u = 0 or v = 0) passing through
two of these passes through a third and in this way we obtain four conics C in X for each of which
2C is a hyperplane section (cf. [21, p.474]).
On the other hand, since these six ramification points are aligned 3 at the time, there is no smooth
conic passing through all 6. Thus the four conics just mentioned are the only s.t.c.i. curves on X.
Example 7.16. [A rational quartic surface with a double line (cf. Example 6.10)] In this case Γ is
an elliptic curve mapping 2-1 to the line L, so there are four ramification points. We have H· Γ = 2,
so we look for curves C ′ ∼ H or C ′ ∼ 2H meeting Γ only in the ramification points. In the linear
system |H| on S, every divisor meets Γ in a pair of the involution σ defining the map Γ → L.
Thus it cannot meet Γ in two ramification points. The divisor 2H meets Γ in the linear system
2σ. If we compare the map Γ → L to the standard double covering of the x−axis by the curve
y 2 = x(x − 1)(x − λ) [11, Chapter IV], then σ is just pairs of points that add up to 0 in the group
law on the cubic curve, and the four ramification points are the points of order two in the group

30

R. HARTSHORNE AND C. POLINI

law. These form a subgroup isomorphic to the Klein four group Z/2Z ⊕ Z/2Z, and the sum of all
four elements of this group is zero. Hence the sum of the four ramification points is in the linear
system defined by 2H on Γ. Now a straightforward computation of cohomology groups shows that
H 0 (OS (2H)) → H 0 (OΓ (2H)) is surjective, so there exist curves C ′ ∼ 2H meeting Γ just at the
four ramification points, and it is easy to see, using Bertini’s theorem, that we may take C ′ to be
smooth. Thus we find smooth curves C of degree 8 and genus 7 on X for which 2C is a complete
intersection, and these are the only s.t.c.i. on X.

Example 7.17. [A quartic surface with two disjoint double lines (cf. Example 6.11) ] Here the
singular locus L is two lines, and Γ is two disjoint elliptic curves, each having four ramification
points. Since H· Γ = 4, we look for curves C ′ ∼ H or C ′ ∼ 2H meeting Γ only in the ramification
points. Any curve C ′ ∼ H maps to a singular curve in X, so we eliminate this case. Consider
C ′ ∼ 2H. As in the previous example, the sum of the ramification points on Γ is in the linear
system induced on Γ by 2H. Again, standard calculations of cohomology together with Bertini’s
theorem show that we can find smooth curves C ′ ∼ 2H meeting Γ only at the ramification points.
These give smooth curves C ⊂ X of degree 8 and genus 5 for which 2C is a complete intersection,
and these are the only s.t.c.i. on X.

Example 7.18. [The quartic surface of Example 6.12] We will show that there are no smooth s.t.c.i.
curves on this surface. By a reasoning similar to the previous examples we are looking for a smooth
curve C ′ ⊂ S meeting Γ only at the special point and not tangent to either branch of Γ. So its local
equation will be y − λs+ higher terms, for some λ 6= 0, 1. For this computation it will be sufficient
to use the reduced line L0 and its inverse image Γ0 defined by s2 (y−s) = 0. We will use Proposition
2.3, and show that the image in Cart Γ0 /π ∗ Cart L0 of the class of C ′ in APic (Spec OX,P0 ) is not
torsion. In Example 6.12, we found Cart Q0 Γ0 = Z2 ⊕ k8 ⊕ W . Since Cart P0 L0 = Z, we are
looking at the group Z ⊕ k∗ ⊕ W . Now according to Proposition 5.4 and Example 5.6(e), we write
y − λs+higher terms as y(1 − λsy −1 + higher), and find that the contribution of C ′ to W is −λ.
The group law in W is addition. It is a k-vector space, and in characteristic zero, it is torsion free.
Thus C ′ gives a non-zero element, and no multiple is zero, so C cannot be a s.t.c.i.
Recall that the curves that are self-linked in P3 are s.t.c.i. and conversely on a surface with
ordinary singularities in characteristic zero any smooth s.t.c.i. curve not contained in the singular
locus is self-linked.

DIVISORS CLASS GROUPS OF SINGULAR SURFACES

31

Remark 7.19. Summarizing what is known so far, we list the possible degree d ≤ 8 and genus g
smooth curves C that are self-linked in P3 (always assuming char k = 0):


d = 3, g = 0b




d = 4, g = 1a



d = 5, g = 2b
.
c , 4a

d
=
6,
g
=
3





d = 7, g = 6b



d = 8, g = 5d , 7d , 9a

These are the only possibilities, except maybe for (d, g) = (8, 3), which seems unlikely, but we
cannot yet exclude. Notes


a) strict complete intersection



b) 2C is a complete intersection on a quadratic cone



c) Gallarati [4] finds this one on a cubic surface with four nodes

d) Gallarati finds these on quartic surfaces with nodes. The case of g = 5 lying on a Kummar





surface was known to Humbert (1883). We find both cases on quartic surfaces with ordinary



(singularities Examples 7.16, 7.17).

Remark 7.20. The curve of degree 8 and genus 5 is the first known example of a non-arithmetically
Cohen-Macaulay curve in P3 that is a set-theoretic complete intersection in characteristic zero. (In
characteristic p > 0 there are many [12]).
Remark 7.21. using the same techniques, we looked for smooth s.t.c.i. curves on a surface X that
is generic projection of a smooth surface S in Pn , for some well-known surfaces S. We assume
always that C is not contained in the singular locus of X, and that char k = 0. We summarize the
results here without the computations.
(1) If S is a del Pezzo surface of degree n with 4 ≤ n ≤ 9, there are no s.t.c.i. curves on
X except in the case n = 4, where there are quartic elliptic curves C with 2C a complete
intersection. Of course these curves are already strict complete intersection in P3 .
(2) If S is the quintic elliptic scroll in P4 , there are no s.t.c.i. curves on X.
(3) Suppose S is a rational scroll Se,n for any n > e ≥ 0 of degree d = 2n − e and having
an exceptional curve C0 with C02 = −e. In case d = 3, we obtain the ruled cubic surface
studied above (Example 7.12). For all d ≥ 4 there are no s.t.c.i. curves on X.
(4) Suppose S is the n-uple embedding of P2 in PN , for n ≥ 2. In case n = 2 we obtain the
Steiner surface discussed in Example 7.15. If n ≥ 3, there are no smooth s.t.c.i. curves on
X.
Our conclusion is that smooth s..t.c.i. curves on surfaces with ordinary singularities are rather rare!

.

32

R. HARTSHORNE AND C. POLINI

R EFERENCES
[1] Boratynski, On the curves of contact on surfaces in a projective space, Contemp. Math. Amer. Math. Soc. 126
(1992), 1-8.
[2] Boratynski, On the curves of contact on surfaces in a projective space, II, Rend. Sem. Mat. Univ. Polit. Torino 48
(1990), 439-455.
[3] Boratynski, On the curves of contact on surfaces in a projective space, III, Proc. Amer. Math. Soc. 125 (1997),
329-338.
[4] D. Gallarati, Ricerche sul contatto di superficie algebriche lungo curve, Mémoires Acad. roy. Belge 32 (1960), 1-78.
[5] L. Gruson and C. Peskine, Genre des courbes de l’espace projectif, (II), Ann. Sci. Ec. Norm. Sup. 15 (1982), 401418.
[6] D. Jaffe, On set theoretic complete intersection in P3 , Math. Ann., 285 (1989), 165-176.
[7] D. Jaffe, Smooth curves on a cone which pass through its vertex, manusc. math. 73 (1991), 187-205.
[8] D. Jaffe, Applications of iterated curve blow-up to set theoretic complete intersections in P3 , J. reine angew. math.
464 (1995), 1-45.
[9] D. Jaffe, Space curves which are the intersection of a cone with another surface, Duke Math. J. 57 (1988), 859-876.
[10] R. Hartshorne, Ample subvarieties of algebraic varieties, Lecture Notes in Mathematics 156, Springer-Verlag,
Berlin-New York, 1970, xiv-256.
[11] R. Hartshorne, Algebraic geometry, Graduate Texts in Mathematics 52, Springer-Verlag, New York-Heidelberg,
1977, xvi-496.
[12] R. Hartshorne, Complete intersections in characteristic p > 0, Amer. J. Math. 101 (1979), 380-383.
[13] R. Hartshorne, Genre des courbes algébriques dans l’espace projectif [d’après L. Gruson et C. Peskine], Sém.
Bourbaki 582 (1982).
[14] R. Hartshorne, Generalized divisors on Gorenstein curves and a theorem of Noether, J. Math. Kyoto Univ. 26
(1986), 375-386.
[15] R. Hartshorne, Generalized Divisors on Gorenstein Schemes, K-Theory 8 (1994), 287-339.
[16] R. Hartshorne, Generalized divisors and biliaison, Illinois J. Math. 51 (2007), 83-98.
[17] R. Hartshorne, Deformation theory, Graduate Texts in Mathematics, 257, Springer, New York, 2010. viii+234.
[18] E. Mezzetti and D Portelli, A tour through some classical theorems on algebraic surfaces, An. Stiint Univ. Ovidius
Constanta Ser. Mat. 5 (1997), 51-78.
[19] F. Oort, A construction of generalized Jacobian varieties by group extensions, Math. Ann. 147 (1962), 277-286.
[20] F. Oort, Sur le schéma de Picard, Bull.Soc. Math. France 90 (1962), 277-286.
[21] E. Pascal, Repertorio di matematiche superiori, II. Geometria, Ulrico Hoepli, Milano, 1900, v-928.
[22] J. Roberts, Generic projections of algebraic varieties, Amer. J. Math. 93 (1971), 191-214.
[23] J. Roberts, Hypersurfaces with Nonsingular Normalization and their double loci, Journal of Algebra, 53 (1978),
253-267.
[24] G. Scheja, Ueber Primfaktorzerlegung in zweidimensionalen lokalen Ringen, Math. Ann. 159 (1965), 252-258.
[25] J. G. Semple and L. Roth, Introduction to Algebraic Geometry, Oxford, at the Clarendon Press, 1949, xvi+446.
D EPARTMENT OF M ATHEMATICS , U NIVERSITY OF C ALIFORNIA , B ERKELEY, C ALIFORNIA , 94720-3840
E-mail address: robin@math.berkeley.edu
D EPARTMENT OF M ATHEMATICS , U NIVERSITY OF N OTRE DAME , N OTRE DAME , I NDIANA 46556
E-mail address: cpolini@nd.edu

