arXiv:1508.04954v3 [math.AG] 8 Dec 2015

FREENESS VERSUS MAXIMAL GLOBAL TJURINA NUMBER
FOR PLANE CURVES
ALEXANDRU DIMCA1
Abstract. We give a characterization of nearly free plane curves in terms of their
global Tjurina numbers, similar to the characterization of free curves as curves with
a maximal Tjurina number, given by A. A. du Plessis and C.T.C. Wall. It is also
shown that an irreducible plane curve having a 1-dimensional symmetry is nearly
free. A new numerical characterization of free curves and a simple characterization
of nearly free curves in terms of their syzygies conclude this note.

1. Introduction
This note is inspired and should be regarded as a modest continuation of the
beautiful paper [9] by A. A. du Plessis and C.T.C. Wall. We start by quoting a
part of the main result of this paper. Let S = C[x, y, z] be the graded polynomial
ring in three variables x, y, z and let C : f = 0 be a reduced curve of degree d in
the complex projective plane P2 . The minimal degree of a Jacobian relation for f
is the integer mdr(f ) defined to be the smallest integer m ≥ 0 such that there is a
nontrivial relation
(1.1)

afx + bfy + cfz = 0

among the partial derivatives fx , fy and fz of f with coefficients a, b, c in Sm , the
vector space of homogeneous polynomials of degree m. When mdr(f ) = 0, then C is
a union of lines passing through one point, a situation easy to analyse. We assume
from now on that
mdr(f ) ≥ 1.

Denote by τ (C) the global Tjurina number of the curve C, which is the sum of the
Tjurina numbers of the singular points of C. Then the result of du Plessis and Wall
referred to above is the following, see Theorem 3.2 in [9].
Theorem 1.1. For a positive integer r, define two integers by
τ (r)min = (d − 1)(d − r − 1) and τ (r)max = (d − 1)(d − r − 1) + r 2 .
If r = mdr(f ) < d/2, then one has τ (r)min ≤ τ (C) ≤ τ (r)max . Moreover, if d is even
and r = d/2, then τ (r)min ≤ τ (C) ≤ τ (r)max − 1.
2010 Mathematics Subject Classification. Primary 14H50; Secondary 14B05, 13D02, 32S22.
Key words and phrases. Jacobian ideal, Tjurina number, free curve, nearly free curve.
1
Partially supported by Institut Universitaire de France.
1

2

ALEXANDRU DIMCA

At the end of the proof of this result, the authors state the following very interesting
consequence, in a rather hidden way (which prevented us for noticing it for some
time).
Corollary 1.2. If r = mdr(f ) < d/2, then one has
τ (C) = τ (r)max
if and only if C : f = 0 is a free curve.
The basic properties of the free curves are reviewed in the next section, for now
we just say that this is the same as asking the surface singularity given by the cone
over C to be a free divisor germ in (C3 , 0) in the sense of K. Saito, who introduced
the important notion of free divisor in [13].
Recently a related notion, namely that of a nearly free curve, was introduced by
G. Sticlaru and the author in [6], motivated by the study of rational cuspidal curves.
The main result of this note is the following.
Theorem 1.3. If r = mdr(f ) ≤ d/2, then one has

τ (C) = τ (r)max − 1

if and only if C is a nearly free curve.

The case r = 1 deserves special attention, see also [10], Prop. 1.1 and Prop. 1.3.
Corollary 1.4. (i) One has mdr(f ) = 1 if and only if C admits a 1-dimensional
symmetry, i.e. C admits a 1-dimensional algebraic subgroup of P GL2 (C) as automorphism group.
(ii) If mdr(f ) = 1, then C is either free or nearly free. If in addition C is irreducible,
then C is nearly free.
To state our final result, we recall some definitions, see [5]. We denote by Jf the
Jacobian ideal of f , i.e. the homogeneous ideal in S spanned by fx , fy , fz , and by
M(f ) = S/Jf the corresponding graded ring, called the Jacobian (or Milnor) algebra
of f .
Definition 1.5. (i) the coincidence threshold
ct(f ) = max{q : dim M(f )k = dim M(fs )k for all k ≤ q},

with fs a homogeneous polynomial in S of the same degree d as f and such that
Cs : fs = 0 is a smooth curve in P2 .
(ii) the stability threshold st(f ) = min{q : dim M(f )k = τ (C) for all k ≥ q}.
It is clear that one has
(1.2)

ct(f ) ≥ mdr(f ) + d − 2,

with equality for mdr(f ) < d − 1. It is interesting that the freeness of the plane curve
C can be characterized in terms of these invariants. The first part of the following
result was proved in [5], while the second part was conjectured in [5] in a weaker
form and it is proved below using Theorem 1.3 and additional results from du Plessis
and Wall paper [9].

FREENESS VERSUS MAXIMAL GLOBAL TJURINA NUMBER FOR PLANE CURVES

3

Theorem 1.6. (i) For a reduced free plane curve C : f = 0 of degree d one has
ct(f ) + st(f ) = T,
where T = 3(d − 2).

(ii) Conversely, suppose that the reduced plane curve C : f = 0 of degree d satisfies
Then C is free.

ct(f ) + st(f ) ≤ T + 1.

Corollary 1.7. (i) For a reduced curve C : f = 0 one has ct(f ) + st(f ) ≥ T and
the equality holds if and only if C is free.
(ii) For a reduced non free curve C : f = 0 one has ct(f ) + st(f ) ≥ T + 2 and the
equality holds if and only if C is nearly free.
In the second section we collect some basic facts on free and nearly free curves.
Then we give a new proof to Corollary 1.2, perhaps in a language more familiar to
people in algebraic geometry and commutative algebra than the proofs in [9]. We
also state a result related to Terao’s conjecture in the case of line arrangements, see
Corollary 2.5.
Then, in the third section, we use exactly the same approach as in the proof of
Corollary 1.2, in addition to a key exact sequence (3.3) introduced by du Plessis and
Wall, to prove the new results, namely Theorem 1.3 and the part (ii) in Theorem 1.6
and Corollary 1.4. As a byproduct, we obtain in the last section a new, very simple
characterization of nearly free curves, see Theorem 4.1 (ii).
2. Free and nearly free plane curves
Let If denote the saturation of the ideal Jf with respect to the maximal ideal
(x, y, z) in S and let N(f ) = If /Jf be the corresponding quotient.
Consider the graded S−submodule AR(f ) ⊂ S 3 of all relations involving the
derivatives of f , namely
ρ = (a, b, c) ∈ AR(f )m
if and only if afx + bfy + cfz = 0 and a, b, c are in Sm . We set ar(f )k = dim AR(f )k ,
m(f )k = dim M(f )k and n(f )k = dim N(f )k for any integer k.
Definition 2.1. The curve C : f = 0 is a free divisor if the following equivalent
conditions hold.
(1) N(f ) = 0, i.e. the Jacobian ideal is saturated.
(2) The minimal resolution of the Milnor algebra M(f ) has the following form
(fx ,fy ,fz )

0 → S(−d1 − d + 1) ⊕ S(−d2 − d + 1) → S 3 (−d + 1) −−−−−→ S

for some positive integers d1 , d2 .
(3) The graded S-module AR(f ) is free of rank 2, i.e. there is an isomorphism
AR(f ) = S(−d1 ) ⊕ S(−d2 )

for some positive integers d1 , d2 .

4

ALEXANDRU DIMCA

When C is a free divisor, the integers d1 ≤ d2 are called the exponents of C. They
satisfy the relations
(2.1)

d1 + d2 = d − 1 and τ (C) = (d − 1)2 − d1 d2 ,

where τ (C) is the total Tjurina number of C, see for instance [4], [5].
Consider the rank two vector bundle T hCi = Der(−logC) of logarithmic vector fields along C, which is the coherent sheaf associated to the graded S-module
AR(f )(1). Using the results in the third section of [4], for any integer k one has

 

d+k+2
k+3
+ τ (C).
−
(2.2)
χ(T hCi(k)) = 3
2
2
Moreover, one has the following for E = T hCi and any integer k, see [4], [15].
(2.3)

h0 ((E(k)) = ar(f )k+1, h1 ((E(k)) = n(f )d+k and h2 ((E(k)) = ar(f )d−5−k .

Note that C is free if and only if the vector bundle T hCi splits as a direct sum of
two line bundles on P2 . The definition of a nearly free curve is more subtle, see [6],
combined with Remark 5.2 and Theorem 5.3 (in fact the version of it corresponding
to curves) in [7].
Definition 2.2. The curve C : f = 0 is a nearly free divisor if the following
equivalent conditions hold.
(1) N(f ) 6= 0 and n(f )k ≤ 1 for any k.
(2) The Milnor algebra M(f ) has a minimal resolution of the form
(f0 ,f1 ,f2 )

0 → S(−d − d2 ) → S(−d − d1 + 1) ⊕ S 2 (−d − d2 + 1) → S 3 (−d + 1) −−−−−→ S
for some integers 1 ≤ d1 ≤ d2 , called the exponents of C.
(3) There are 3 syzygies ρ1 , ρ2 , ρ3 of degrees d1 , d2 = d3 = d − d1 which form a
minimal system of generators for the first syzygies module AR(f ).
If C : f = 0 is nearly free, then the exponents d1 ≤ d2 satisfy
(2.4)

d1 + d2 = d and , τ (C) = (d − 1)2 − d1 (d2 − 1) − 1,

see [6]. For both a free and a nearly free curve C : f = 0, it is clear that mdr(f ) = d1 .
2.3. A new proof for Corollary 1.2. If C is free and d1 = mdr(f ) = r, it follows
from (2.1) that d2 = d − r − 1 and
τ (C) = (d − 1)2 − r(d − r − 1) = (d − 1)(d − r − 1) + r 2 .

The converse implication is more involved. To estimate the dimension ar(f )d−r−1 ,
we use the formula (2.2) given above for χ(T hCi(k)), with k = d − r − 2. Since
h2 ((T hCi(k)) = ar(f )d−5−k = ar(f )r−3 = 0,

as r is the minimal degree of an element in AR(f ), it follows that

 

2d − r
d−r+1
+ τ (C).
−
ar(f )d−r−1 − n(f )2d−r−2 = 3
2
2

FREENESS VERSUS MAXIMAL GLOBAL TJURINA NUMBER FOR PLANE CURVES

5

A direct computation using τ (C) = (d − 1)(d − r − 1) + r 2 yields


d − 2r + 1
+ 1.
ar(f )d−r−1 − n(f )2d−r−2 =
2

Note that d−2r+1
= dim Sd−2r−1 . If we denote by ρ1 ∈ AR(f ) the relation of
2
minimal degree r, the vector space Sd−2r−1 ρ1 is contained in AR(f )d−r−1 and has the
dimension d−2r+1
. It follows that there is at least one relation
2
ρ2 ∈ AR(f )d−r−1 \ Sd−2r−1 ρ1 .

Then Lemma 1.1 in [16] implies that C is a free divisor with exponents d1 = r and
d2 = d − 1 − r.
2.4. An application to Terao’s Conjecture. H. Terao has conjectured that if
A and A′ are hyperplane arrangements in Pn with isomorphic intersection lattices
L(A) = L(A′ ), and if A is free, then A′ is also free, see for details [12], [17] as well as
[14] for the case n = 2. Using Theorem 1.1 and Corollary 1.2, we get the following
partial positive answer in the case of line arrangements.
Corollary 2.5. Let A : f = 0 and A′ : f ′ = 0 be two line arrangements in P2 with
isomorphic intersection lattices L(A) = L(A′ ). Assume A consists of d ≥ 3 lines
and consider its total Tjurina number
X
τ (C) =
(n(p) − 1)2 ,
p

where the sum is over all multiple points p of A and n(p) denotes the multiplicity of
A at p. If A is free, then there is a unique integer r ≥ 0 such that r < d/2 and

τ (A) = (d − 1)(d − r − 1) + r 2 .
√
If this integer r satisfies r ≤ d − 3, then the line arrangement A′ is also free.
√
Proof. A computation shows that for s ≤ d − 3, the intervals [τ (s)min , τ (s)max ] and
[τ (s − 1)min , τ (s − 1)max ] are disjoint, since
τ (s)max < τ (s − 1)min .
It follows
√ that each value τ (s)max uniquely determines the corresponding s when
s ≤ d − 3. Moreover, τ (A) = τ (A′ ), since this number depends only on the
intersection lattice L(A) = L(A′ ). It follows that mdr(f ′ ) = mdr(f ) = r and hence
A′ is free by Corollary 1.2.

Example 2.6. When d = 12, the intervals [τ (r)min , τ (r)max ] are listed in [9] and
they are, for r = 1, 2, 3, 4 respectively [110, 111], [99, 103], [88, 97] and [77,√
93]. One
can see that the maximal values τ (r)max = 111, 103, 97 for r = 1, 2, 3 = 9 occur
only for one value of r, while the maximal values τ (4)max = 93 can be a Tjurina
number for curves with both r = 3 and r = 4. In particular, a line arrangement with

6

ALEXANDRU DIMCA

d = 12 and τ (A) ≥ 94 is free if it has the intersection lattice of a free arrangement.
As an example, the line arrangements
A : f = xyz(x9 − y 9) = 0 and A′ : f ′ = xyz(x + y + z)(x8 − y 8 )
are free, and have τ (A) = 111 and respectively τ (A′ ) = 103. On the other hand, the
line arrangement
A : f = xyz(x3 − y 3 )(y 3 − z 3 )(x3 − z 3 ) = 0,
is free, but has τ (A) = 93. Hence our result covers only a part of the free line
arrangements.
Remark 2.7. The exponents of a free or nearly free curve of degree d, in particular
r = mdr(f ) = d1 , may take all the obvious possible values, see [8] for examples
involving both irreducible curves and line arrangements.
3. Proof of the main results
3.1. Proof of Theorem 1.3 and of Corollary 1.4. Though this proof follows the
same idea as the proof of Corollary 1.2 given above, it is longer and more involved,
so we divide it into several simpler steps.
Lemma 3.2. If C : f = 0 is a reduced plane curve of degree d with global Tjurina
number τ (C) = (d − 1)(d − r − 1) + r 2 − 1, then


d − 2r + 1
and n(f )2d−r−2 = 0.
ar(f )d−r−1 =
2
Proof. In the case 2r < d, we get exactly as in the subsection 2.3


d − 2r + 1
.
ar(f )d−r−1 − n(f )2d−r−2 =
2
Suppose n(f )2d−r−2 > 0. Then one can reason exactly as in the proof above and
obtain that C is a free curve. But this is impossible, since a free curve has a different
global Tjurina number by Corollary 1.2. Hence n(f )2d−r−2 = 0, which completes the
proof of this Lemma when 2r < d. If d = 2r, then ar(f )d−r−1 = ar(f )r−1 = 0 since
r is the minimal degree of a syzygy. This clearly implies n(f )2d−r−2 = 0 in this case
as well.

It was shown in [3] that the graded S-module N(f ) satisfies a Lefschetz type
property with respect to multiplication by generic linear forms. This implies in
particular the inequalities
0 ≤ n(f )0 ≤ n(f )1 ≤ ... ≤ n(f )[T /2] ≥ n(f )[T /2]+1 ≥ ... ≥ n(f )T ≥ 0,
where T = 3d − 6. Note that T /2 < 2d − r − 2 since 2r ≤ d, hence Lemma 3.2 implies
(3.1)

n(f )s = 0 for any integer s ≥ 2d − r − 2.

FREENESS VERSUS MAXIMAL GLOBAL TJURINA NUMBER FOR PLANE CURVES

7

It follows that the formula (2.2) for χ(T hCi(k − 1)) yields the dimension ar(f )k for
any k ≥ d − r − 1, namely we have

 

d+k+1
k+2
+ τ (C).
−
(3.2)
ar(f )k = 3
2
2
In particular, we get after some computation


d − 2r − 2
+ 2 = dim Sd−2r ρ1 + 2,
ar(f )d−r =
2
where ρ1 ∈ AR(f ) is the syzygy of minimal degree r. It follows that there are two
more syzygies, say ρ2 and ρ3 in AR(f ), both of degree d − r, such that
AR(f )d−r = dim Sd−2r ρ1 + Cρ2 + Cρ3 .

Now we recall some basic results from [9]. For two elements ρ = (a, b, c) ∈ S 3 and
ρ′ = (a′ , b′ , c′ ) ∈ S 3 , thought of as vector fields on C3 , we define their exterior product
in the usual way, namely
ρ × ρ′ = (bc′ − b′ c, ca′ − c′ a, ab′ − a′ b) ∈ S 3 .

The following result is stated in [9], and we reprove it here in a different way for the
reader convenience.
Lemma 3.3. (i) If ρ = (a, b, c) ∈ S 3 is such that the common zero set of a, b, c in
C3 has dimension at most 1, then ρ × ρ′ = 0 implies that there is a polynomial h ∈ S
such that ρ′ = h · ρ.
(ii) If ρ and ρ′ are two elements of AR(f ), then there is a polynomial h ∈ S such
that ρ × ρ′ = h · (fx , fy , fz ).
This polynomial h is denoted by ρ ∗ ρ′ in the sequel.

Proof. To an element ρ = (a, b, c) ∈ S 3 we can associate the differential 1-form
ω(ρ) = adx + bdy + cdz.

Then ρ × ρ′ = 0 is clearly equivalent to ω(ρ) ∧ ω(ρ′ ) = 0. The first claim (i)
is a consequence of the relation between the grade of the ideal I = (a, b, c) (i.e.
the maximal length of a regular sequence contained in I) and the vanishing of the
cohomology of the Koszul complex K ∗ (a, b, c), see for instance Thm. A.2.48 in [11].
Indeed, by our assumption on ρ, one has grade(I) = 2 and the Koszul complex
K ∗ (a, b, c) is just the complex
0 → Ω0 → Ω1 → Ω2 → Ω3 → 0,

where Ωk denotes the S-module of global algebraic differential k-forms on C3 and
the morphisms are given by the wedge product by ω(ρ).
To prove (ii), it is enough to check by direct computation that ρ ∈ AR(f ) and
ρ′ ∈ AR(f ) imply that (ρ × ρ′ ) × (fx , fy , fz ) = 0 and the apply (i). Indeed, the
common zero set of fx , fy , fz in C3 has dimension at most 1, since the curve C : f = 0
is reduced.


8

ALEXANDRU DIMCA

Following [9], we consider the sequence of graded S-modules
(3.3)

u

v

0 → S(−r) −
→ AR(f ) −
→ S(r − d + 1)

where the first morphism is u : h 7→ h · ρ1 , and the second morphism is v : ρ 7→ ρ ∗ ρ1 .
By Lemma 3.3, the second morphism v is well defined and the sequence is exact. Let
ℓk = v(ρk ) for k = 2, 3 and note that ℓ2 and ℓ3 are two linearly independent linear
forms in S1 .
Assume we have a second order syzygy
(3.4)

B1 ρ1 + B2 ρ2 + B3 ρ3 = 0,

where B1 ∈ Sk , B2 ∈ Sk+2r−d , B3 ∈ Sk+2r−d for some k ≥ d − 2r + 1. Applying the
above morphism v to this syzygy, we get B2 ℓ2 + B3 ℓ3 = 0. It follows that there is a
polynomial B ′ ∈ Sk+2r−d−1 such that B2 = B ′ ℓ3 and B3 = −B ′ ℓ2 .
Some new computation using (2.2) shows that
ar(f )d−r+1 = dim Sd−2r+1 ρ1 + 5.
This implies that there is at least a second order syzygy of the form
(3.5)

C1 ρ1 + C2 ρ2 + C3 ρ3 = 0,

where C1 ∈ Sd−2r+1 , C2 ∈ S1 , C3 ∈ S1 . Applying the above considerations to
this syzygy, we see that there is a nonzero constant C ′ such that C2 = C ′ ℓ3 and
C3 = −C ′ ℓ2 . It follows that, up to a multiplicative constant C ′ , there is a unique
second order syzygy in this degree. We call it R and normalize it by choosing C ′ = 1.
In higher degrees, it follows from the above that any second order sygyzy involving
ρ1 , ρ2 and ρ3 is a multiple B ′ · R of the syzygy R. If we denote by AR(f )′ the graded
S-submodule of AR(f ) spanned by ρ1 , ρ2 and ρ3 , this says exactly that we have an
exact sequence
(3.6)

0 → S(−d + r − 1) → S(−r) ⊕ S(−d + r)2 → AR(f )′ → 0.

To complete the proof, we have to show that ar(f )′k = dim AR(f )′k coincides to
ar(f )k for all k ≥ d − r + 2. The equality ar(f )k = ar(f )′k for k < d − r + 2 is
obvious by the construction of AR(f )′ , and so this would imply AR(f ) = AR(f )′ ,
which is exactly the property that C is nearly free with exponents (r, d − r). The
exact sequence (3.6) implies that

 
 

k−d+r+1
k−r+2
k−d+r+2
′
.
−
+
ar(f )k = 2
2
2
2
A direct computation using this formula and the formula (3.2) yields the claimed
equality ar(f )k = ar(f )′k for k ≥ d − r + 2, thus ending the proof of Theorem 1.3.
Finally we consider Corollary 1.4. The first claim is just a part of Proposition
1.1 in [10], to which the reader is referred for a proof. To prove the second claim,
we use Proposition 1.3 part (2) in [10], were it is shown that for a reduced plane
curve C : f = 0, the condition mdr(f ) = 1 implies that either τ (C) = d2 − 3d + 3
(which corresponds to the case C free by Corollary 1.2) or τ (C) = d2 − 3d + 2 (which
corresponds to the case C nearly free by Theorem 1.3). When C is an irreducible

FREENESS VERSUS MAXIMAL GLOBAL TJURINA NUMBER FOR PLANE CURVES

9

free curve, it is shown in Thm. 2.5 (iv) in [5] that the smallest exponent d1 satisfies
d1 > 1. This completes the proof of Corollary 1.4.
3.4. Proof of Theorem 1.6 and Corollary 1.7. If the curve C : f = 0 is free,
then it was shown in [5] that ct(f )+st(f ) = T . So here we have to prove the stronger
converse claim in (ii). With the notation r = mdr(f ), one has ct(f ) ≥ d − 2 + r as
noted in (1.2), and hence we conclude that st(f ) ≤ 2d − r − 3, and hence

(3.7)

m(f )k = τ (C),

for any k ≥ 2d − r − 3. Proposition 2 in [2] implies that

(3.8)

dim Sk /If,k = τ (C),

for any k ≥ T − ct(f ). In particular this holds for k ≥ 2d − r − 4. It follows by (3.7)
and (3.8) that one has
(3.9)

n(f )k = 0,

for any k ≥ 2d − r − 3.
It follows from Theorem 3.3 in [9] that for any reduced curve C : f = 0 of degree
d one has
(3.10)

τ (C) = τ (r)max − e(f ),

where e(f ) is an integer such that e(f ) ≥ 0 for r ≤ (d − 1)/2 and


2r + 2 − d
,
e(f ) ≥
2
for r > (d −1)/2. Then, a completely similar computation to that done in subsection
2.3 above yields the formula


d − 2r + 1
+ 1 − e(f ),
(3.11)
ar(f )d−r−1 − n(f )2d−r−2 =
2
where the binomial coefficient, given by the usual algebraic formula, can be negative
in principle, i.e. when r is large. However, by (3.9), we have that the left hand side
is non negative since it coincides with ar(f )d−r−1 . So the right hand side should also
be non negative, and the above estimates imply that this may happen only when
r ≤ d/2. Suppose first that r ≤ (d − 1)/2. Then one has


d − 2r + 1
dim Sd−2r−1 =
2
and the exact sequence (3.3) implies that there are two possibilities, namely
(a) ar(f )d−r−1 = dim Sd−2r−1 , or
(b) ar(f )d−r−1 = dim Sd−2r−1 + 1.
The case (b) occurs if and only if C : f = 0 is a free curve, as we have seen above.
If we are in case (a), then formula (3.11) implies that e(f ) = 1. Then Theorem 1.3
implies that C : f = 0 is a nearly free curve, and for nearly free curves it was shown
in [6] that one has
ct(f ) + st(f ) = T + 2,

10

ALEXANDRU DIMCA

which is a contradiction with our assumption. Hence only the case (b) can occur
and the proof is complete for r ≤ (d − 1)/2.
Assume now that r = d/2. Hence now d = 2r and the formula (3.11) yields again
e(f ) = 1, which we have seen to be impossible.
We give now the proof of Corollary 1.7. The first claim (i) follows directly from
Theorem 1.6. As for the claim (ii), the fact that a nearly free curve C : f = 0
satisfies ct(f ) + st(f ) = T + 2 is proved in [6].
Consider now the converse implication in (ii), i.e. suppose that we have a curve
C : f = 0 satisfying the condition ct(f ) + st(f ) = T + 2. Then as in the prove above,
we see that the vanishings (3.9) hold for k ≥ 2d − r − 2. The rest of the proof of
Theorem 1.6 applies with the only modification that now the case (b) of free curves
is impossible and the remaining cases have e(f ) = 1 and hence lead to nearly free
curves by Theorem 1.3.
4. A simple characterization of nearly free curves
Let C : f = 0 be a reduced plane curve of degree d, r = mdr(f ) the minimal
degree of a Jacobian syzygy in AR(f ) and choose ρ1 ∈ AR(f ) a homogeneous syzygy
realizing this minimal degree. Denote S · ρ1 the graded S-submodule in AR(f )
spanned by ρ1 and consider the quotient graded module AR(f ) = AR(f )/(S · ρ1 ).
Let
δ(f )k = dim AR(f )k ,
for any integer k. The exact sequence (3.3) gives an injection AR(f ) → S(r − d + 1),
and in particular we get the vanishings
(4.1)

δ(f )k = 0

for any k < d − r − 1. The main result of this section is the following characterization
of free and nearly free curves. The claim (i) for free curves is just a reformulation of
Lemma 1.1 in [16], so it is already known and extensively used. The claim for nearly
free curves is new and we hope useful.
Theorem 4.1. With the above notation, we have the following.
(i) The curve C is free if and only if δ(f )d−r−1 ≥ 1. In such a case 2r < d and
δ(f )d−r−1 = 1.
(ii) The curve C is nearly free if and only if
(4.2)

δ(f )d−r−1 = 0 and δ(f )d−r ≥ 2.

In such a case 2r ≤ d and δ(f )d−r−1 = 2.

Proof. To prove (i), one can refer to the proof of Lemma 1.1 in [16], or use the fact
that in this case the second morphism v in the exact sequence (3.3) is surjective. So
we give the details of the proof only for the case (ii). If C is nearly free, it follows
from the definition that the conditions (4.2) are satisfied. Conversely assume that
these conditions are satisfied, and let ρ2 , ρ3 , ..., ρm be syzygies of degree d − r giving a
basis of AR(f )d−r for some m ≥ 3. The injective morphism AR(f )d−r → S1 induced
by v shows that m ≤ 4. Let ℓj = v(ρj ) for j = 2, 3, ..., m. Then we get m − 1

FREENESS VERSUS MAXIMAL GLOBAL TJURINA NUMBER FOR PLANE CURVES

11

linearly independant linear forms in S1 . Consider the image V of the morphism
v : AR(f ) → S(r − d + 1). Then V is an ideal in S, and one has
dim Vk = dim Sk − ǫ,

for k >> 0, where ǫ ∈ {0, 1}. Indeed, ǫ ≤ 1 since m ≥ 3, i.e. the ideal V contains an
ideal spanned by two linearly independent linear forms. Moreover ǫ = 0 if and only
if either m = 4, or m = 3, but the syzygies ρ1 , ρ2 , ρ3 do not generate the module
AR(f ). Hence to prove the claim (ii) we have to show that ǫ = 1. For k >> 0, the
exact sequence
0 → Sk−r → AR(f )k → Vk+r−d+1 → 0
induced by the sequence (3.3) yields

 

k+r−d+3
k−r+2
− ǫ.
+
ar(f )k =
2
2
On the other hand, we have an obvious exact sequence
This implies

3
0 → AR(f )k−d+1 → Sk−d+1
→ Sk → M(f )k → 0.





k−d+3
k+2
+ ar(f )k−d+1 .
−3
m(f )k =
2
2
It follows by a direct computation that the Hilbert polynomial H(M(f )) of M(f ),
which is just the constant term of the m(f )k regarded as a polynomial in k, is given
by the formula
H(M(f )) = (d − 1)(d − r − 1) + r 2 − ǫ.
On the other hand, it is known that H(M(f )) = τ (C), see [1]. If ǫ = 0, then
Corollary 1.2 implies that C is a free curve, which is a contradiction. Hence ǫ = 1,
and Theorem 1.3 implies that C is nearly free.

Remark 4.2. The difference between Definition 2.2 and Theorem 4.1 (ii) is that in
the definition we require the three syzygies ρ1 , ρ2 , ρ3 to generate AR(f ), a condition
hard to check in practice, while in the theorem we require only the existence of (at
least) two syzygies in AR(f )d−r , independent of the syzygy ρ1 . This latter condition
is much simpler to verify.
References
[1] A. D. R. Choudary, A. Dimca, Koszul complexes and hypersurface singularities, Proc. Amer.
Math. Soc. 121(1994), 1009–1016. 4
[2] A. Dimca, Syzygies of Jacobian ideals and defects of linear systems, Bull. Math. Soc. Sci. Math.
Roumanie Tome 56(104) No. 2, 2013, 191–203. 3.4
[3] A. Dimca, D. Popescu, Hilbert series and Lefschetz properties of dimension one almost complete
intersections, arXiv:1403.5921. 3.1
[4] A. Dimca, E. Sernesi, Syzygies and logarithmic vector fields along plane curves, Journal de
l’École polytechnique-Mathématiques 1(2014), 247-267. 2, 2
[5] A. Dimca, G. Sticlaru, Free divisors and rational cuspidal plane curves, arXiv:1504.01242v4.
1, 1, 2, 3.1, 3.4

12

ALEXANDRU DIMCA

[6] A. Dimca, G. Sticlaru, Nearly free divisors and rational cuspidal curves, arXiv:1505.00666v3.
1, 2, 2, 3.4
[7] A. Dimca, G. Sticlaru, Free and nearly free surfaces in P3 , arXiv:1507.03450v3. 2
[8] A. Dimca, G. Sticlaru, On the exponents of free and nearly free projective plane curves,
arXiv:1511.08938. 2.7
[9] A.A. du Pleseis, C.T.C. Wall, Application of the theory of the discriminant to highly singular
plane curves, Math. Proc. Camb. Phil. Soc., 126(1999), 259-266. 1, 1, 1, 1, 2.6, 3.1, 3.1, 3.4
[10] A. A. du Plessis and C. T. C.Wall, Curves in P 2 (C) with 1-dimensional symmetry, Revista
Mat Complutense 12 (1999), 117–132. 1, 3.1
[11] D. Eisenbud, The Geometry of Syzygies: A Second Course in Algebraic Geometry and Commutative Algebra, Graduate Texts in Mathematics, Vol. 229, Springer 2005. 3.1
[12] P. Orlik and H. Terao, Arrangements of Hyperplanes, Springer-Verlag, Berlin Heidelberg New
York, 1992. 2.4
[13] K. Saito, Theory of logarithmic differential forms and logarithmic vector fields, J. Fac. Sci.
Univ. Tokyo Sect. IA Math. 27 (1980), no. 2, 265-291. 1
[14] H. Schenck, Elementary modifications and line configurations in P 2 , Comm. Math. Helv. 78
(2003), 447–462. 2.4
[15] E. Sernesi, The local cohomology of the jacobian ring, Documenta Mathematica, 19 (2014),
541-565. 2
[16] A. Simis, S.O. Tohaneanu, Homology of homogeneous divisors, Israel J. Math. 200 (2014),
449-487. 2.3, 4, 4
[17] M. Yoshinaga, Freeness of hyperplane arrangements and related topics, Annales de la Faculté
des Sciences de Toulouse, vol. 23 no. 2 (2014), 483-512. 2.4
Univ. Nice Sophia Antipolis, CNRS, LJAD, UMR 7351, 06100 Nice, France.
E-mail address: dimca@unice.fr

