arXiv:1707.05258v4 [math.AG] 28 Jul 2017

ON RATIONAL CUSPIDAL PLANE CURVES, AND THE LOCAL
COHOMOLOGY OF JACOBIAN RINGS
ALEXANDRU DIMCA1
Abstract. This note gives the complete projective classification of rational, cuspidal plane curves of degree at least 6, and having only weighted homogeneous
singularities. It also sheds new light on some previous characterizations of free and
nearly free curves in terms of Tjurina numbers. Finally, we suggest a stronger form
of Terao’s conjecture on the freeness of a line arrangement being determined by its
combinatorics.

1. Introduction
The main result we prove in this note is the following.
Theorem 1.1. Let C be a rational, cuspidal plane curve of degree d ≥ 6 such that
C has only weighted homogeneous singularities. Then C is projectively equivalent to
exactly one of the following φ(d)/2 models
Cd,k : y d + xk z d−k = 0,
where the integer k satisfies 1 ≤ k < d/2 and k is relatively prime to d. Here
φ denotes the Euler function, with φ(d) counting the number of integers m, where
1 ≤ m ≤ d − 1 and m relatively prime to d.
A slightly stronger result is stated and proved below, see Propositions 4.1 and
4.3. For detailed information on the rational, cuspidal plane curves of degree ≤ 5,
we refer to [14] and the references given there. The curves Cd,k above are called
binomial cuspidal curves in [14, Section 7.1]. The necessary restriction d ≥ 6 in
Theorem 1.1 is discussed in Example 4.4 below.
Theorem 1.1 is quite surprising, given that the classification of rational, cuspidal
plane curves, even of those having at most two singularities, is rather complicated,
see Sakai-Tono paper [16], or Propositions 3.1 and 3.2 in [9] where their results are
quoted. It is known that there are no rational, cuspidal free curves of degree d ≥ 6
having only weighted homogeneous singularities, see [9, Theorem 2.8]. Theorem 1.1
says that if the word free is deleted from the above statement, only the binomial
cuspidal curves may occur, and they are all nearly free. Note also that a weighted
2010 Mathematics Subject Classification. Primary 14H50; Secondary 14B05, 13D02, 32S22.
Key words and phrases. Jacobian ideal, Tjurina number, free curve, nearly free curve.
1
This work has been supported by the French government, through the UCAJEDI Investments
in the Future project managed by the National Research Agency (ANR) with the reference number
ANR-15-IDEX-01.
1

2

ALEXANDRU DIMCA

homogeneous cusp has only one Puiseux pair, but the class of plane curve singularities with exactly one Puiseux pair is much larger. This explains the complicated
classification of rational unicuspidal curves with a unique Puiseux pair in [13].
To prove Theorem 1.1, we use a number of key results, proved by A. A. du Plessis
and C.T.C. Wall in [11, 12], the main one being stated below in Theorem 3.1. To
make our note more self-contained, we include a short proof of a similar result to
Theorem 3.1, which we explain now.
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, or Jacobian syzygy, for the polynomial 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. 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 . Let If
denote the saturation of the ideal Jf with respect to the maximal ideal m = (x, y, z)
in S and consider the local cohomology group
0
N(f ) = If /Jf = Hm
(M(f ).

It was shown in [6] 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 and n(f )k = dim N(f )k for any integer k. We set
ν(C) = max{n(f )j }.
j

When d = 2m is even, then the above implies that n(f )3m−3 = ν(C). When d =
2m + 1 is odd, then the above and the self duality of the graded S-module N(f ), see
[17, 19], implies that
n(f )3m−2 = n(f )3m−1 = ν(C).
The second main result of this note is the following.
Theorem 1.2. Let C : f = 0 be a reduced plane curve of degree d and let r = mdr(f ).
Then the following hold.
(1) If r < d/2, then
ν(C) = (d − 1)2 − r(d − 1 − r) − τ (C).

RATIONAL CUSPIDAL CURVES AND LOCAL COHOMOLOGY OF JACOBIAN RINGS

3

(2) If r ≥ (d − 2)/2, then
ν(C) = ⌈

3
(d − 1)2 ⌉ − τ (C).
4

Here, for any real number u, ⌈u⌉ denotes the round up of u, namely the smallest
integer U such that U ≥ u. Written down explicitly, this means that for d = 2m is
even and r ≥ m − 1, one has ν(C) = 3m2 − 3m + 1 − τ (C), while for d = 2m + 1 is
odd and r ≥ m, one has ν(C) = 3m2 − τ (C). For (d − 2)/2 ≤ r < d/2, both formulas
in (1) and (2) apply, and they give the same result for ν(C). The relation between
Theorem 1.2 and du Plessis-Wall result in Theorem 3.1 is discussed in Remark 3.2
below.
When C : f = 0 is a line arrangement, examples due to G. Ziegler show that the
invariant mdr(f ) is not combinatorially determined, see [1, Example 4.3]. The above
result suggests that the following stronger version of H. Terao’s conjecture, saying
that the freeness of a line arrangement is combinatorially determined, might be true.
For more on Terao’s conjecture and free hyperplane arrangements we refer to [3].
Conjecture 1.3. Let C : f = 0 be a line arrangement in P2 . Then the invariant
ν(C) is combinatorially determined.
For a reduced plane curve one may state the following.
Conjecture 1.4. Let C : f = 0 be a reduced plane curve P2 . Then the invariant
ν(C) is determined by the degree of C and the list of the analytic types of the isolated
singularities of C.
Some cases where these conjecture hold are described in Example 4.4 (i) (where the
corresponding invariant mdr(f ) is not determined by the data stated in Conjecture
1.4), and in Proposition 3.5.
2. The proof of Theorem 1.2
Consider the graded S−submodule AR(f ) ⊂ S 3 of all relations involving the
partial 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
for any integer k.
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 [7], for any integer k one has

 

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

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

4

ALEXANDRU DIMCA

Assume that we are in the case d = 2m and apply the formulas (2.1) and (2.2) for
k = m − 3. We get
2ar(f )m−2 − ν(C) = τ (C) − 3m2 + 3m − 1.
Let r = mdr(f ) and note that ar(f )m−2 = 0 if r ≥ m − 1 = [(d − 1)/2] and


m−r
ar(f )m−2 = dim Sm−2−r =
2
if r ≤ m − 2. Indeed, it follows from [18, Lemma 1.4] that the S-module AR(f )
cannot have two independent elemens of degree d1 and d2 satisfying d1 + d2 < d − 1.
Assume next that we are in the case d = 2m + 1 and apply the formulas (2.1) and
(2.2) again for k = m − 3. We get
ar(f )m−2 − ν(C) + ar(f )m−1 = τ (C) − 3m2 .
As above, if r = mdr(f ), we have ar(f )m−2 = ar(f )m−1 = 0 if r ≥ m = [(d − 1)/2]
and




m−r+1
m−r
and ar(f )m−1 = dim Sm−1−r =
ar(f )m−2 = dim Sm−2−r =
2
2

if r ≤ m − 1, with the convention 12 = 0. These formulas, plus some simple
computation, prove Theorem 1.2 stated in the Introduction.
Remark 2.1. An alternative proof of Theorem 1.2 can be obtained using the results
in [1]. Indeed, Proposition 3.2 in [1] implies that dL1 0 = r for r < (d − 2)/2 and
dL1 0 = ⌊(d − 1)/2⌋ for r ≥ (d − 2)/2. Here (dL1 0 , dL2 0 ), with dL1 0 ≤ dL2 0 , denotes the
splitting type of the vector bundle T hCi(−1) along a generic line L0 in P2 . Then [1,
Theorem 1.1] says that
(d − 1)2 − dL1 0 dL2 0 = τ (C) + ν(C).
Since dL1 0 + dL2 0 = d − 1 by [1, Proposition 3.1], these facts give a new proof of
Theorem 1.2.
In view of this remark, Conjecture 1.3 may be restated as follows.
Conjecture 2.2. Let C : f = 0 be a line arrangement in P2 . Then the generic splitting type (dL1 0 , dL2 0 ) of the vector bundle T hCi(−1) is combinatorially determined.
3. Some related results and direct applications
We start this section by recalling the following result due to du Plessis and Wall,
see [11, Theorem 3.2].
Theorem 3.1. For positive integers d and r, define two new integers by
τ (d, r)min = (d − 1)(d − r − 1) and τ (d, r)max = (d − 1)2 − r(d − r − 1).
Then, if C : f = 0 is a reduced curve of degree d in P2 and r = mdr(f ), one has
τ (d, r)min ≤ τ (C) ≤ τ (d, r)max .

RATIONAL CUSPIDAL CURVES AND LOCAL COHOMOLOGY OF JACOBIAN RINGS

5

Moreover, for r = mdr(f ) ≥ d/2, the stronger inequality


2r + 2 − d
τ (C) ≤ τ (d, r)max −
2
holds.
Remark 3.2. Let C : f = 0 be a reduced curve of degree d in P2 and r = mdr(f ).
Note that the function τ (d, r)max , regarded as a function of r, occurs also in Theorem
1.2 (1), which can be restated as
(3.1)

τ (C) + ν(C) = τ (d, r)max ,

for r = mdr(f ) < d/2. The inequality τ (C) ≤ τ (d, r)max in Theorem 3.1 is made
more precise, when r < d/2, by the result in Theorem 1.2 (1).
On the other hand, note that τ (d, r)max is a decreasing (resp. increasing) function
of r on the interval [0, (d − 1)/2] (resp. on the interval [(d − 1)/2, +∞)), and the
number ⌈ 43 (d − 1)2 ⌉ that occurs in Theorem 1.2 (2) is precisely the minimum of the
values of the function τ (d, r)max for r ∈ [0, (d − 1)/2] ∩ N. Hence Theorem 1.2 (2)
implies only
3
τ (C) ≤ ⌈ (d − 1)2 ⌉,
4
for r ≥ d/2, which is weaker than the inequality in Theorem 3.1, though enough for
many applications.
At the end of the proof of Theorem 3.1, in [11], the authors state the following
very interesting consequence (of the proof, not of the statement) of Theorem 3.1.
Corollary 3.3. Let C : f = 0 be a reduced curve of degree d in P2 and r = mdr(f ).
One has
τ (C) = τ (d, r)max
if and only if C : f = 0 is a free curve, and then r < d/2.
Since a plane curve C is free if and only if ν(C) = 0, this characterization of free
curves follows also from Theorem 1.2, as explained in Remark 3.2.
In the paper [4], we have given an alternative proof of Corollary 3.3 and have
shown that a plane curve C is nearly free, which can be defined by the property
ν(C) = 1, if and only if a similar property holds. Namely, one has the following
result, an obvious consequence of Theorem 1.2.
Proposition 3.4. Let C : f = 0 be a reduced curve of degree d in P2 and r = mdr(f ).
One has
τ (C) = τ (d, r)max − 1
if and only if C : f = 0 is a nearly free curve, and then r ≤ d/2.
Concerning Conjecture 1.3 in Introduction we have the following.

6

ALEXANDRU DIMCA

Proposition 3.5. Let C be a plane curve of degree d such that, for d = 2m (resp.
d = 2m + 1) one has τ (C) < τ (d, m − 2)min = (m + 1)(2m − 1) (resp. τ (C) <
τ (d, m − 1)min = 2m(m + 1)). Then
3
(d − 1)2 ⌉ − τ (C).
4
In particular, if C be a line arrangement (resp. a reduced plane curve) satisfying
these inequalities, then Conjecture 1.3 (resp. Conjecture 1.4) holds for C.
ν(C) = ⌈

Proof. We give the proof only in the case d = 2m even. The function τ (d, r)min is
a strictly decreasing function of r on R, so Theorem 3.1 implies that r = mdr(f ) ≥
m − 1. But then Theorem 1.2 (2) implies that ν(C) is determined by d and τ (C).
When C is a line arrangement, d and τ (C) are both combinatorially determined.
For a plane curve in general, τ (C) is determined by the analytic type of the local
singularities, but not by their topological type.

Example 3.6. Let C = A : f = 0 be a line arrangement consisting of d lines. For
d = 6, there are 10 possibilities for the intersection lattice L(A), see for details [5,
Section 5.6]. Out of them, 8 satisfy the inequality τ (A) < 20 from Proposition 3.5.
For d = 6, r = mdr(f ) is determined by the intersection lattice L(A), and there are
exactly 8 lattices with r ≥ 2.
For d = 7, there are 23 possibilities for the intersection lattice L(A). Out of them,
only 4 satisfy the inequality τ (A) < 24 from Proposition 3.5. For d = 7, r = mdr(f )
is again determined by the intersection lattice L(A), and there are exactly 19 lattices
with r ≥ 3, for which ν(C) = ν(A) is given by the formula in Proposition 3.5.
It would be interesting to find a lower bound for τ (A) in terms of d and r, in the
case of line arrangements, which is better than the bound τ (r)min given by Theorem
3.1.
4. The proof of Theorem 1.1
The following result is related to the main conjecture in [10], namely that a rational, cuspidal plane curve is either free or nearly free. It is also the first step in
proving Theorem 1.1.
Recall that a plane curve C has only weighted homogeneous singularities if and
only if µ(C) = τ (C), where µ(C) denotes the sum of all the Milnor numbers of the
singularities of C, see [15]. In general one has the obvious inequality τ (C) ≤ µ(C).
Proposition 4.1. Let C : f = 0 be an irreducible curve in P2 , of degree d ≥ 6. Then
the following properties are equivalent.
(1) τ (C) ≥ d2 − 4d + 8.
(2) r = mdr(f ) = 1
(3) C is a rational, cuspidal plane curve such that µ(C) = τ (C), i.e. C has only
weighted homogeneous singularities.
If any of these properties hold, then C is a nearly free curve.

RATIONAL CUSPIDAL CURVES AND LOCAL COHOMOLOGY OF JACOBIAN RINGS

7

Proof. To prove that (1) implies (2), recall that the function τ (d, r)max is a decreasing
function of r on the interval [1, (d − 1)/2] and note that τ (d, r)max = τ (d, r ′ )max for
r + r ′ = d − 1. For r = 2 we get τ (d, 2)max = d2 − 4d + 7. Then (1) implies that
r = mdr(f ) has to be 1. Indeed, the value r = d − 2 is excluded using the stronger
final inequality in Theorem 3.1. Note that Theorem 1.2 (2) is also enough for this
purpose, as discussed in Remark 3.2. To prove that (2) implies (3), note that
τ (d, 1)min = d2 − 3d + 2 ≤ τ (C) ≤ τ (d, 1)max = d2 − 3d + 3.
The genus g(C) is given by
2g(C) = (d − 1)(d − 2) −

X

(µ(C, p) + r(C, p) − 1),

p

where p runs through the singular points of C, µ(C, p) is the Milnor number of the
singularity (C, p) and r(C, p) is the number of its branches. It follows that
X
µ(C, p) ≤ (d − 1)(d − 2),
µ(C) =
p

with equality if and only if C is a rational cuspidal curve. Then the inequality
τ (C) ≤ µ(C) ≤ (d − 1)(d − 2) forces the equality
τ (d, 1)min = d2 − 3d + 2 = τ (C)
and we see that C is nearly free using Proposition 3.4. The fact that (3) implies (1)
is obvious as soon as d ≥ 6.

Remark 4.2. Irreducible, cuspidal nearly free curves satisfying µ(C) = τ (C), but
not rational have been constructed in [2]. For instance, for any odd integer k ≥ 1, it
is shown that the irreducible curve
C2k : f = x2k + y 2k + z 2k − 2(xk y k + xk z k + y k z k ) = 0,
has 3k singular points of type Ak−1 as singularities, it is a nearly free curve with
mdr(f ) = k and has genus
g(C2k ) =

(k − 1)(k − 2)
.
2

For k = 3, we have in this case τ (C) = 18 < τ (d, 2)max + 1 = 20.
The following result completes the proof of Theorem 1.1.
Proposition 4.3. Let C : f = 0 be an irreducible plane curve of degree d ≥ 6 such
that mdr(f ) = 1. Then C is projectively equivalent to exactly one of the following
φ(d)/2 models
Cd,k : y d + xk z d−k = 0,
where the integer k satisfies 1 ≤ k < d/2 and k is relatively prime to d.

8

ALEXANDRU DIMCA

Proof. Using Proposition 4.1 and [12, Proposition 1.1], we see that C has a 1dimensional symmetry, i.e. it admits a 1-dimensional algebraic subgroup H ′ of
P GL2 (C) as automorphism group. This group lifts uniquely to an algebraic 1parameter subgroup H of GL3 (C), not contained in the center and preserving not
only the curve C, but also its defining equation f . Such a subgroup H may be either
semi-simple or nilpotent, and [12, Proposition 3.1] tells us that only the semi-simple
case can occur for our situation. Indeed, as in the proof above, we know that
τ (C) = (d − 1)(d − 2) = d2 − 3d + 2.
Note that the statement of [12, Proposition 3.1] should be slightly corrected, namely
the part ” if y d has non-zero coefficient in f ” is to be replaced by ” if y d has zero
coefficient in f ”. Once we know that H is semi-simple, we can assume that H = C∗
acting on P2 via
t · [x : y : z] = [tw1 x : tw2 y : tw3 z],
for some integers wj . Then using the discussion and the notation on page 120 in
[12], we see that the only possibilities to get irreducible curves correspond to line
segments Aαk for 1 ≤ k < d/2 and k relatively prime to d.

Example 4.4. (i) Consider the following two rational cuspidal quartics
C : f = y 4 − xz 3 = 0 and C ′ : f ′ = y 4 − xz 3 − y 3z.
Then both curves have an E6 -singularity located at [1 : 0 : 0], hence they have only
weighted homogeneous singularities. However, as noticed in [14, Section 7.1], in the
final part on semi-binomial curves, C and C ′ are not projectively equivalent. This
follows there from the fact that C (resp. C ′ ) has one (resp. two) inflection points.
From our point of view, the difference between C and C ′ is that mdr(f ) = 1, while
mdr(f ′ ) = 2, as a direct computation shows. Note that both curves C and C ′ are
nearly free, since one has
τ (C) = τ (C ′ ) = 6 = τ (4, 1)max − 1 = τ (4, 2)max − 1.
Similar semi-binomial rational cuspidal curves C : f = 0 of arbitrary degree d,
with a unique Puiseux pair and τ (C) < µ(C), and with all the possible values for
r = mdr(f ) ∈ [2, d/2], are discussed in [8].
(ii) For d = 5, any rational cuspidal curve with 4 cusps is projectively equivalent to
C : f = 16x4 y + 128x2 y 2z − 4x3 z 2 + 256y 3z 2 − 144xyz 3 + 27z 5 = 0,
see for instance the discussion of the curve C8 = [(23 ), (2), (2), (2)] in [14, Section
6.3]. This curve has three A2 cusps and one A6 cusp, hence only weighted homogeneous singularities. A direct computation shows that mdr(f ) = 2 and that
τ (C) = τ (5, 2)max , and therefore C is a free curve.
It is surprizing that the condition d ≥ 6 in our results above avoids complicated
situations as (i) and (ii) in this example.

RATIONAL CUSPIDAL CURVES AND LOCAL COHOMOLOGY OF JACOBIAN RINGS

9

References
[1] T. Abe, A. Dimca, On the splitting types of bundles of logarithmic vector fields along plane
curves, arXiv:1706.05146 1, 2.1
[2] E. Artal Bartolo, L. Gorrochategui, I. Luengo, A. Melle-Hernández, On some conjectures
about free and nearly free divisors, in: Singularities and Computer Algebra, Festschrift for
Gert-Martin Greuel on the Occasion of his 70th Birthday, pp. 1–19, Springer (2017) 4.2
[3] A. Dimca, Hyperplane Arrangements: An Introduction, Universitext, Springer, 2017 1
[4] A. Dimca, Freeness versus maximal global Tjurina number for plane curves, Math. Proc.
Cambridge Phil. Soc. 163 (2017), 161–172. 3
[5] A. Dimca, D. Ibadula, A. Măcinic, Numerical invariants and moduli spaces for line arrangements, arXiv:1609.06551. 3.6
[6] A. Dimca, D. Popescu, Hilbert series and Lefschetz properties of dimension one almost complete
intersections, Comm. Algebra 44 (2016), 4467–4482. 1
[7] 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
[8] A. Dimca, G. Sticlaru, On the exponents of free and nearly free projective plane curves, Rev.
Mat. Complut. 30(2017), 259–268. 4.4
[9] A. Dimca, G. Sticlaru, Free divisors and rational cuspidal plane curves, arXiv:1504.01242, to
appear in MRL. 1
[10] A. Dimca, G. Sticlaru, Nearly free divisors and rational cuspidal curves, arXiv:1505.00666. 4
[11] A.A. du Plessis, C.T.C. Wall, Application of the theory of the discriminant to highly singular
plane curves, Math. Proc. Cambridge Phil. Soc., 126(1999), 259-266. 1, 3, 3
[12] 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, 4
[13] J. Fernandez de Bobadilla, I. Luengo, A. Melle-Hernandez, A. Nemethi, Classification of rational unicuspidal projective curves whose singularities have one Puiseux pair, in: Real and
Complex Singularities Sao Carlos 2004, Trends in Mathematics, Birkhauser 2006, pp. 31-45. 1
[14] T. K. Moe, Rational Cuspidal Curves, arXiv:1511.02691 (139 pages, Master thesis 2008) 1, 4.4
[15] K. Saito, Quasihomogene isolierte Singularitäten von Hyperflächen, Invent. Math., 14 (1971),
123–142. 4
[16] F. Sakai, K. Tono, Rational cuspidal curves of type (d,d-2) with one or two cusps, Osaka J.
Math. 37(2000), 405-415. 1
[17] E. Sernesi, The local cohomology of the jacobian ring, Documenta Mathematica, 19 (2014),
541-565. 1, 2
[18] A. Simis, S.O. Tohăneanu, Homology of homogeneous divisors, Israel J. Math. 200 (2014),
449-487. 2
[19] D. van Straten, T. Warmt, Gorenstein duality for one-dimensional almost complete
intersections–with an application to non-isolated real singularities, Math. Proc.Cambridge Phil.
Soc.158(2015), 249–268. 1
Université Côte d’Azur, CNRS, LJAD, France
E-mail address: dimca@unice.fr

