arXiv:1511.08938v2 [math.AG] 21 Dec 2015

ON THE EXPONENTS OF FREE AND NEARLY FREE
PROJECTIVE PLANE CURVES
ALEXANDRU DIMCA1 AND GABRIEL STICLARU
Abstract. We show that all the possible pairs of integers occur as exponents for
free or nearly free irreducible plane curves and line arrangements, by producing
only two types of simple families of examples. The topology of the complements of
these curves and line arrangements is also discussed, and many of them are shown
not to be K(π, 1) spaces.

1. Introduction
Let C : f = 0 be a reduced free curve of degree d with exponents d1 ≤ d2 . Then
one has
d1 + d2 = d − 1,
see for instace [6], [7]. We assume that C is not a union of lines passing through one
point, which is equivalent to asking d1 > 0. When C is irreducible, one also knows
that d1 ≥ 2, see [7]. The following natural question seems not to have a clear answer
in the existing literature to the best of our knowledge: given a degree d, which are
the pairs (d1 , d2 ) of exponents which may occur for a free curve of degree d ? If we
fix the minimal degree d1 of a syzygy involving the partial derivatives fx , fy , fz of
f , then the freeness of the curve C can be characterized by a maximality property
of the corresponding total Tjurina number τ (C), see Theorem 3.2 in du Plessis and
Wall’s paper [9], and its discussion in [5]. However, in these papers it is not clear in
our opinion for which values of d1 this maximality property can hold.
To our surprise, especially in view of the recent paper [3] showing that the free
and nearly free curves can be quite wild, in particular can fail to be rational, all
possible values of the exponents can be realized just by looking at very restrictive
classes of free curves. Here are the results, first for irreducible curves, and then for
line arrangements.
Theorem 1.1. Consider the irreducible curve C : f = 0 of degree d in P2 given by
f (x, y, z) = xd + xd1 y d2 +1 + y d−1 z,
for 2 ≤ d1 < d/2 and d2 = d − 1 − d1 . Then the following holds.
(1) The curve C is free with exponents (d1 , d2 ).
(2) The curve C is rational and has a unique cusp, which has a unique Puiseux
pair, namely (d − 1, d).
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 AND GABRIEL STICLARU

For two integers i ≤ j we define a homogeneous polynomial in C[u, v] of degree
j − i + 1 by the formula
(1.1)

gi,j (u, v) = (u − iv)(u − (i + 1)v) · · · (u − jv).

Theorem 1.2. Consider the line arrangement A : f = 0 of d ≥ 3 lines in P2 given
by
f (x, y, z) = xg1,d1 (x, y)g1,d2 (x, z) = 0,
for 1 ≤ d1 < d/2 and d2 = d − 1 − d1 . Then the following holds.
(1) The line arrangement A is free with exponents (d1 , d2 ).
(2) The line arrangement A has at most two points of multiplicity > 2.
The corresponding results for nearly free irreducible curves and line arrangements
are stated in Theorems 3.1 and 3.4. In Proposition 3.5 we show, using the results by
du Plessis and Wall’s paper [10] on plane curves with symmetry, that for nearly free
line arrangements one has d1 ≥ 2, i.e. the same condition as for the irreducible free
curves.
The proofs in the irreducible case rely on the verification of Saito’s criterion of
freeness and of its extension to nearly free curves established in [5]. In the case of
line arrangements, we can use either the geometric results by Faenzi and Vallès in
[11] and by Abe [1], or directly the characterization of (nearly) freeness in terms of
the maximality of the total Tjurina number from [9] (in the free case) and [5] (in the
nearly free case).
In the last section we discuss the topology of the complements in P2 of the families
of curves introduced in Theorems 1.1, 1.2, 3.1 and 3.4. We show that most of these
complements are not K(π, 1) spaces. We thank Mike Falk for his help in proving
Proposition 4.3.
2. Proofs of Theorems 1.1 and 1.2
2.1. Proof of Theorem 1.1. One can easily find the following two syzygies involving the partial derivatives of f .
(2.1)

y d1 fy − ((d2 + 1)xd1 + (d − 1)y d1 −1 z)fz = 0,

and
(2.2)

(d2 + 1)2 y d2 fx − d((d2 + 1)xd2 − (d − 1)xd2 −d1 y d1 −1 )fy −

−(d1 (d2 + 1)2 xd1 −1 y d2 −d1 +1 + d(d − 1)2 xd2 −d1 y d1 −2 z 2 )fz = 0.
We can conclude that C is a free curve in two ways. The simpliest way is to
use Lemma 1.1 in [17], which says that a curve of degree d having two independent
syzygies of degree d1 and d2 such that d1 + d2 ≤ d − 1 is free with exponents (d1 , d2 ).
Alternatively, one may use Saito’s criterion, see for instance [16] or [18], namely
compute the determinant ∆ of the 3 × 3 matrix obtain using for the first line x, y, z,
for the second line the coefficients of the syzygy (2.1) and for the third line the

ON THE EXPONENTS OF FREE AND NEARLY FREE PROJECTIVE PLANE CURVES

3

coefficients of the syzygy (2.2). One obtains that ∆ = c · f , for a nonzero constant
c, which again implies that C is free with exponents (d1 , d2).
2.2. Proof of Theorem 1.2. Note that the line arrangement A has the following
two points of multiplicity (possibly) strictly greater than 2: the point A = (0 : 0 : 1)
of multiplicity d1 +1 and the point B = (0 : 1 : 0) of multiplicity d2 +1. Then we apply
Theorem 2 in [11] by taking k = d1 and r = d2 − d1 . We clearly have d = 2k + r + 1
and the line arrangement A has a point of multiplicity h = d1 + 1 ∈ [k, k + r + 1].
It follows that A is free with exponents (d1 , d2 ) if and only if the second Chern
class c2 (TP2 (−logA)) is given by d1 d2 . Note that the vector bundle TP2 (−logA)
corresponds to the vector bundle denoted by T < A > (−1) in [6], and hence the
previous claim is compatible with the formula
c2 (T < A > (−1)) = (d − 1)2 − τ (A),
given in [6], see for instance the formula (3.2). The formulas (4) and (5) in Remark
2.2 in [11] imply that we have the following formula
(2.3)

c2 (TP2 (−logA)) =

X

(j − 1)nj − d + 1,

j≥2

where nj denotes the number of points of multiplicity j in the line arrangement
A. As we have seen above, there is one point of multiplicity d1 + 1, one point of
multiplicity d2 + 1 and d1 d2 additional nodes. It follows that
c2 (TP2 (−logA)) = d1 d2 + d1 + d2 − d + 1 = d1 d2
and hence A is free with exponents (d1 , d2).
3. Exponents of nearly free plane curves
In this section we discuss the exponents of nearly free curves, a notion introduced
in [8] in our study of rational cuspidal curves. Corollary 3.3 given below shows once
more that it is natural to treat the free curves and the nearly free curves together.
Theorem 3.1. Consider the irreducible curve C : f = 0 of degree d in P2 given by
f (x, y, z) = xd + xd2 +1 y d1 −1 + y d−1 z,
for 1 ≤ d1 ≤ d/2 and d2 = d − d1 . Then the following holds.
(1) The curve C is nearly free with exponents (d1 , d2 ).
(2) The curve C is rational and has a unique cusp, which has a unique Puiseux
pair, namely (d − 1, d).
Proof. The case d1 = 1 follows from Proposition 5.1 in [8]. So from now on we suppose
d1 ≥ 2. Then it is easy to find the following syzygies, where we set k = d1 − 1 ≥ 1.
(3.1) kxy k fx − (dxk y + (d − k)y k+1)fy + (d(d − 1)xk z + (d − 1)(d − k)y k z)fz = 0.
(3.2)

− ky d2 fx + dxk−1 y d−2k fy + (k(d − k)xd2 − d(d − 1)xk−1 y d−2k−1z)fz = 0.

4

ALEXANDRU DIMCA AND GABRIEL STICLARU

The last syzygy afx + bfy + cfz = 0 is more difficult to determine. Such a syzygy
implies that a is divisible by y k−1, say a = y k−1a1 . It follows that
xd−k−1 [a1 (dxk + (d − k)y k ) + kbx] = −y d−k−1 ((d − 1)bz + cy).
Hence there is a linear form L such that a1 (dxk + (d − k)y k ) + kbx = y d−k−1 L
and (d − 1)bz + cy = −xd−k−1 L. By taking a1 = qxd−2k + y d−2k−1z, with q to be
determined, one gets the following solution.
(3.3)

a = y k−1(qxd−2k + y d−2k−1 z),

(3.4)

b = −[qdxd−k−1 + q(d − k)xd−2k−1 y k + dxk−1 y d−2k−1z]/k,

(3.5)

c = (d − 1)[q(d − k)xd−2k−1 y k−1z + dxk−1 y d−2k−2z 2 ]/k,

where
(d − k)k
.
d(d − 1)
Let r1 (resp. r2 ) be the vector constructed using the coefficients of fx , fy , fz in the
syzygy (3.1) (resp. (3.2)). Let r3 be the vector (a, b, c), with a, b, c defined above.
One can then verify the relation
q=

−qxd2 −d1 +1 r1 + zr2 + kyr3 = 0,
which implies that C is nearly free with exponents (d1 , d2 ) using the characterization
of nearly free curves in Theorem 4.1 in [5].

Remark 3.2. Using the same approach as in the proof above one can show that the
curve C : f = x2k + xk y k + y 2k−1z = 0, resp. C ′ : f ′ = x2k+1 + xk+1 y k + y 2k z = 0,
is also nearly free with exponents (k, k), resp. (k, k + 1). Note that the syzygies
given in the proof of Theorem 3.1 do not apply to these two special cases, since some
exponents there become negative.
This remark and Theorems 1.1, 3.1 imply the following.
Corollary 3.3. Consider the rational cuspidal curve C : f = xd + xa y b + y d−1 z = 0
with a ≥ 2, b ≥ 1. and a + b = d. Then the curve C is free for a < b with exponents
(a, b − 1) and nearly free for a ≥ b. The exponents in the latter case are (b + 1, a − 1)
if a ≥ b + 2 and (b, a) if b ≤ a ≤ b + 1.
In particular, for d = 2d′ even, the pairs (a, b) = (d′ , d′ ) and (a, b) = (d′ + 1, d′ − 1)
lead to the same exponent (d′ , d′ ), while for d = 2d′ + 1 odd, the pairs (a, b) =
(d′ + 1, d′ ) and (a, b) = (d′ + 2, d′ − 1) lead to the same exponent (d′ , d′ + 1).
Now we consider the nearly free line arrangements. Essentially we use the same
arrangement as in Theorem 1.2, but we add a new line and create in this way a
controlled number of triple points.

ON THE EXPONENTS OF FREE AND NEARLY FREE PROJECTIVE PLANE CURVES

5

Theorem 3.4. Consider the line arrangement A : f = 0 of d = d1 + d2 ≥ 4 lines in
P2 given by
f (x, y, z) = x(y − z)g1,d1 −1 (x, y)g2,d2 (x, z) = 0
for 2 ≤ d1 ≤ d2 . Then the following holds.
(1) The line arrangement A is nearly free with exponents (d1 , d2 ).
(2) The line arrangement A has at most two points of multiplicity > 3.
Proof. As in the proof of Theorem 1.2, and using the same notation, it follows that
we have
X
(3.6)
(d − 1)2 − τ (A) =
(j − 1)nj − d + 1.
j≥2

Let us consider the multiple points of the arrangement A. The point A = (0 : 0 : 1)
has multiplicity d1 , the point B = (0 : 1 : 0) has multiplicity d2 . There are d1 − 2
triple points on the line y − z = 0, namely the points (2 : 1 : 1), ..., (d1 − 1 : 1 : 1)
and d − 1 − 2(d1 − 2) = d2 − d1 + 3 double points.
And the lines passing through A and B intersect in (d1 − 1)(d2 − 1) − (d1 − 2)
additional nodes. Hence
X
(j − 1)nj − d + 1 =
j≥2

= (d1 − 1) + (d2 − 1) + [(d1 − 1)(d2 − 1) − (d1 − 2) + d2 − d1 + 3] + 2(d1 − 2) − d + 1 =
d1 (d2 − 1) + 1,
which implies
(3.7)

τ (A) = (d − 1)2 − d1 (d2 − 1) − 1.

By Theorem 3.1 in [5], in order to prove that A is nearly free it is enough to show
that d1 is the minimal degree of a nontrivial syzygy
R : afx + bfy + cfz = 0.
In other words we have to show that
(i) there is a syzygy R with a, b, c homogeneous of degree d1 , and
(ii) any such syzygy R with a, b, c homogeneous of degree m satisfies m ≥ d1 .
We start with one. Note that one can write
 1
2
d1 − 1
1 
.
+
+···+
−
fy = −f
x − y x − 2y
x − (d1 − 1)y y − z
This implies that
P
fy = f
Q
where P ∈ C[x, y, z] is homogeneous of degree d1 − 1, Q ∈ C[x, y, z] is homogeneous
of degree d1 and P and Q have no common factor. It follows that dQfy = df P =
xP fx + yP fy + zP fz , or equivalently
R1 : xP fx + (yP − dQ)fy + zP fz = 0.
Note that a1 = xP, b1 = yP − dQ and c1 = zP have no common factor in C[x, y, z],
and a1 , b1 , c1 are homogeneous of degree d1 , hence this syzygy R1 satisfies (i).

6

ALEXANDRU DIMCA AND GABRIEL STICLARU

Suppose now that there is a non trivial syzygy R of degree m with m ≤ d1 − 1.
Since R1 cannot be a multiple of R, it follows that we can apply Lemma 1.1 in [17]
or the vanishing (4.1) in [5], and deduce that m = d − d1 − 1 = d2 − 1 ≤ d1 and
A is free with exponents (d2 − 1, d1 ). But this is impossible, since a free curve C
with exponents (d2 − 1, d1 ) has a Tjurina number τ (C) = (d − 1)2 − d1 (d2 − 1), see
for instance [7]. But this equality fails for A, hence the existence of a syzygy R of
degree m ≤ d1 − 1 is impossible. This completes the proof of Theorem 3.4.

The following result completes the picture.
Proposition 3.5. There is no nearly free line arrangement with exponents (d1 , d2 )
if d1 = 1.
Proof. Suppose A is such an arrangement. Then as in formula (3.7), one should have
τ (A) = (d − 1)2 − (d − 2) − 1 = d2 − 3d + 2.
Proposition 3.1 in [10] implies that A is invariant by a semisimple subgroup H in
Gl3 (C). In fact, one can assume that d = d1 + d2 ≥ 4, since all line arrangements
with d < 4 are clearly free. Then Proposition 1.2 in [10] implies that dim H = 1.
More precisely, one can take H = C∗ and the action of H on P2 is given by
t · (x : y : z) = (x : tb y : tc z),
for some integers b and c, not both of them zero, see the beginning of section 2 in
[10].
Note that a line arrangement is invariant by such an action if and only if any line
in the arrangement is invariant. It is clear that the lines x = 0, y = 0 and z = 0 are
invariant under this diagonal action. But the line arrangement xyz = 0 is free.
A line L : px + qy = 0 with both p and q nonzero is invariant by H if and only
if b = 0. It follows that such a group action leaves invariant a line arrangement
consisting of some lines through the point A = (0 : 0 : 1) and possibly the line z = 0.
But these two types of arrangements are easily seen to be free.
Finally, a line L : px + qy + rz = 0 with all p, q, r nonzero is never invariant by a
nontrivial action of H = C∗ as above.
This completes the proof of Proposition 3.5.

4. The topology of the complements
In this section we look at the topology of the complements U = P2 \ C, where C
is one of the free or nearly free curves discussed above. The case of the irreducible
curves is covered by the following slightly more general result.
Proposition 4.1. Let C : f = 0 be a rational cuspidal curve of degree d > 1 in P2 ,
having a point of multiplicity d − 1 and set U = P2 \ C. Then the following hold.
(1) π1 (U) = H1 (U, Z) = Z/dZ.
(2) H2 (U, Z) = 0.

ON THE EXPONENTS OF FREE AND NEARLY FREE PROJECTIVE PLANE CURVES

7

(3) The Milnor fiber F associated to the plane curve C is homotopically equivalent
to a bouquet of (d − 1) spheres S 2 .
In particular, U is not a K(π, 1)-space.
Proof. The first claim follows from the fact that the existence of a point of multiplicity
(d−1) forces the fundamental group π1 (U) to be abelian, see for instance [4, Corollary
(4.3.8), p.124].
The second claim follows from the fact that H2 (U, Z) is torsion free (since the
variety U, being affine, has the homoopy type of a CW-complex of dimension 2) and
moreover, one has for the Euler number of U:
E(U) = E(P2 ) − E(C) = 3 − 2 = 1,
since C is rational cuspidal, hence homeomorphic to P1 .
To prove the last claim, note that the Milnor fiber F is given by f (x, y, z) − 1 = 0
in C3 and it is the cyclic d-fold cover of U. It follows from (1) that F is simply
connected. Since F is an affine surface, it follows that it has has the homoopy
type of a CW-complex of dimension 2, hence F must be a bouquet of spheres S 2 .
Moreover, one has E(F ) = dE(U) = d, which implies that there are (d − 1) spheres
in this bouquet.
Finally, one has π2 (U) = π2 (F ) = H2 (F, Z) = Zd−1 6= 0, and hence U is not a
K(π, 1)-space.

Now we consider the complements of the line arrangements described in Theorems
1.2 and 3.4.
Proposition 4.2. Consider the line arrangement A : f = 0 in P2 given by
f (x, y, z) = xg1,d1 (x, y)g1,d2 (x, z) = 0,
for 1 ≤ d1 ≤ d2 . If M(A) denotes the complement of A in P2 , then one has
M(A) = (C \ {d1 points}) × (C \ {d2 points}).
In particular, M(A) is a K(π, 1)-space where π = Fd1 × Fd2 , with Fm the free group
on m generators.
Proof. We delete first the line x = 0, and we get the affine plane with coordinates y, z.
The trace B of A on this affine plane is given by the equation g1,d1 (1, y)g1,d2 (1, z) = 0,
which implies our claim.

Proposition 4.3. Consider the line arrangement A : f = 0 in P2 given by
f (x, y, z) = x(y − z)g1,d1 −1 (x, y)g2,d2 (x, z) = 0
for 2 ≤ d1 ≤ d2 . If M(A) denotes the complement of A in P2 , then M(A) is not a
K(π, 1)-space if either d1 = 2 or d1 = d2 = 3.

8

ALEXANDRU DIMCA AND GABRIEL STICLARU

Proof. Consider first the case d1 = 2. We proceed as above, i.e. we delete first the
line x = 0, and we get the affine plane with coordinates y, z. The trace B of A on
this affine plane is given by the equation
1
1
1
(y − z)(y − 1)(z − )(z − ) · · · (z − ) = 0.
2
3
d2
This affine arrangement B is the complexification of a real arrangement having a
triangular chamber with double point vertices, and hence by [12, Example 2.7] M(B),
the complement of B in C2 , is not a K(π, 1)-space. Since M(A) = M(A), this proves
our claim in the first case.
Assume now that d1 = d2 = 3. Then the trace B of A on the affine plane is given
by the equation
1
1
1
(y − z)(y − 1)(y − )(z − )(z − ) = 0.
2
2
3
This affine arrangement is lattice isotopic to the arrangement
1
1
1
B′ : (y + z − 1)(y − 1)(y − )(z − )(z − ) = 0,
2
2
3
see [14, Definition 5.27] and use the family of lines
1
1
(y − ) − eπit (z − ) = 0,
2
2
for t ∈ [0, 1]. In particular their complements are homeomorphic, see [15]. The
arrangement B′ is the complexification of a real arrangement having a triangular
chamber with double point vertices, and hence as above by [12, Example 2.7] M(B′ )
is not a K(π, 1)-space. A similar arrangement is discussed in [13], just after Theorem
2.4 and in [2, Example 6.9], where it is mentioned that in fact π1 (M(B′ )) is the
Stallings group.

References
[1] T. Abe, Roots of characteristic polynomials and intersection points of line arrangements. J. of
Singularities 8 (2014),100-117. 1
[2] E. Artal Bartolo, J.I. Cogolludo-Agustı́n, D. Matei, Quasi-projectivity, Artin-Tits groups, and
pencil maps. Topology of algebraic varieties and singularities, 113–136, Contemp. Math., 538,
Amer. Math. Soc., Providence, RI, 2011. 4
[3] E. Artal Bartolo, L. Gorrochategui, I. Luengo, A. Melle-Hernández, On some conjectures about
free and nearly free divisors, arXiv:1511.09254 1
[4] A. Dimca, Singularities and topology of hypersurfaces, Universitext, Springer-Verlag, New York,
1992. 4
[5] A. Dimca, Freeness versus maximal global Tjurina number for plane curves, arXiv:1508.0495.
1, 1, 3, 3
[6] A. Dimca, E. Sernesi, Syzygies and logarithmic vector fields along plane curves, Journal de
l’École polytechnique-Mathématiques 1(2014), 247-267. 1, 2.2
[7] A. Dimca, G. Sticlaru, Free divisors and rational cuspidal plane curves, arXiv:1504.01242v4.
1, 3
[8] A. Dimca, G. Sticlaru, Nearly free divisors and rational cuspidal curves, arXiv:1505.00666v3.
3, 3

ON THE EXPONENTS OF FREE AND NEARLY FREE PROJECTIVE PLANE CURVES

9

[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
[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
[11] D. Faenzi, J. Vallès, Logarithmic bundles and line arrangements, an approach via the standard
construction, J. London.Math.Soc. 90 (2014) 675–694. 1, 2.2
[12] M. Falk, K(π, 1) arrangements. Topology 34 (1995), no. 1, 141–154. 4
[13] M. Falk, R. Randell, On the homotopy theory of arrangements. II. Arrangements–Tokyo 1998,
93–125, Adv. Stud. Pure Math., 27, Kinokuniya, Tokyo, 2000. 4
[14] P. Orlik and H. Terao, Arrangements of Hyperplanes,Springer-Verlag, Berlin Heidelberg New
York, 1992. 4
[15] R. Randell, Lattice-isotopic arrangements are topologically isomorphic, Proc. Amer. Math.
Soc. 107(1989), 555-559. 4
[16] 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. 2.1
[17] A. Simis, S.O. Tohaneanu, Homology of homogeneous divisors, Israel J. Math. 200 (2014),
449-487. 2.1, 3
[18] 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.1
Univ. Nice Sophia Antipolis, CNRS, LJAD, UMR 7351, 06100 Nice, France.
E-mail address: dimca@unice.fr
Faculty of Mathematics and Informatics, Ovidius University, Bd. Mamaia 124,
900527 Constanta, Romania
E-mail address: gabrielsticlaru@yahoo.com

