# Construction of free curves by adding lines to a given curve

Alexandru Dimca  Université Côte d’Azur, CNRS, LJAD, France and Simion Stoilow
Institute of Mathematics, P.O. Box 1-764, RO-014700 Bucharest, Romania
<EMAIL_ADDRESS>,  Giovanna Ilardi  Dipartimento Matematica Ed Applicazioni “R.
Caccioppoli” Università Degli Studi Di Napoli “Federico II” Via Cintia -
Complesso Universitario Di Monte S. Angelo 80126 - Napoli - Italia
<EMAIL_ADDRESS>,  Piotr Pokora  Department of Mathematics,
Pedagogical University of Krakow, Podchora̧żych 2, PL-30-084 Kraków, Poland.
<EMAIL_ADDRESS>and  Gabriel Sticlaru  Faculty of Mathematics and
Informatics, Ovidius University Bd. Mamaia 124, 900527 Constanta, Romania
<EMAIL_ADDRESS>
###### Abstract.

In the present note we construct new families of free plane curves starting
from a curve $C$ and adding high order inflectional tangent lines of $C$,
lines joining the singularities of the curve $C$, or lines in the tangent cone
of some singularities of $C$. These lines $L$ have in common that the
intersection $C\cap L$ consists of a small number of points. We introduce the
notion of a supersolvable plane curve and conjecture that such curves are
always free, as in the known case of line arrangements. Some evidence for this
conjecture is given as well, both in terms of a general result in the case of
quasi homogeneous singularities and in terms of specific examples. We
construct a new example of maximizing curve in degree 8 and the first and
unique known example of maximizing curve in degree 9. In the final section, we
use a stronger version of a result due to Schenck, Terao and Yoshinaga to
construct families of free conic-line arrangements by adding lines to the
conic-line arrangements of maximal Tjurina number recently classified by V.
Beorchia and R. M. Miró-Roig in arXiv:2303.04665.

###### Key words and phrases:

plane curve

###### 2010 Mathematics Subject Classification:

Primary 14H50; Secondary 14B05, 13D02, 32S22

A. Dimca was partially supported by the Romanian Ministry of Research and
Innovation, CNCS - UEFISCDI, Grant PN-III-P4-ID-PCE-2020-0029, within PNCDI
III.
P. Pokora was partially supported by the National Science Center (Poland)
Sonata Grant Nr 2018/31/D/ST1/00177

##  1\. Introduction

Our goal in this paper is to construct new free or nearly curves by adding
inflectional tangents or lines passing through the singularities of a given
plane projective curve. Sometimes, when high order inflectional tangents are
missing, lines in the tangent cones of the singularities may replace them
successfully. The use of tangent cones is a must when we want to get
supersolvable curves with the modular point belonging to a non-linear
irreducible component, see Definition 1.9.

To determine the existence of inflectional tangents, we start by recalling
some facts about inflection points. Let $C:F=0$ be a reduced plane curve in
the complex projective plane $\mathbb{P}^{2}$ which is defined by a
homogeneous polynomial $F\in S=\mathbb{C}[x,y,z]$ of degree $d\geq 2$. The
Hessian of $F$ is given by the following well-known formula

(1.1) $H=\det\left(\begin{array}[]{ccccccc}F_{xx}&F_{xy}&F_{xz}\\\
F_{xy}&F_{yy}&F_{yz}\\\ F_{xz}&F_{yz}&F_{zz}\\\ \end{array}\right).$

Let $H_{C}:H=0$ be the Hessian curve associated to $C$. It is known that the
intersection $X_{C}=C\cap H_{C}$ consists exactly of the set of inflection
points $I_{C}$ of $C$ union with the set of singular points $Y_{C}$ of $C$.
Recall that if $p\in C$ is a smooth point of this curve, and $T_{p}C$ denotes
the projective line tangent to $C$ at $p$, then the inflection order of $p$ is
by definition

(1.2) $\iota_{p}(C)=(C,T_{p}C)_{p}-2,$

where $(C,T_{p}C)_{p}$ denotes the intersection multiplicity of the curves $C$
and $T_{p}C$ at the common point $p$. Moreover, we say that $p$ is an
inflection point of $C$, i.e., $p\in I_{C}$, if and only if $\iota_{p}(C)>0$.

The intersection multiplicity $(C,H_{C})_{p}$ of the curves $C$ and $H_{C}$ at
the point $p$ is a key invariant in understanding the geometry of the plane
curve $C$. When $p\in I_{C}$ is an inflection point, then the relation between
the inflection order $\iota_{p}(C)$ of $p$ and the intersection multiplicity
$(C,H_{C})_{p}$ is well-known, see for instance [16, Theorem 9.7 and Corollary
9.10].

######  Theorem 1.1.

For any reduced plane curve $C$ of degree $d\geq 2$ and any smooth point $p\in
C$, one has

$\iota_{p}(C)=(C,H_{C})_{p}.$

It is clear that $\iota_{p}(C)\leq d-2$, except the case when $p$ sits on a
line $L=T_{p}C$ which is an irreducible component of $C$. In the later case,
one has $\iota_{p}(C)=\infty$, and it is easy to check that the line $L$ is
also an irreducible component of the Hessian curve $H_{C}$. From now on, while
searching for the inflection points, we assume that no irreducible component
of $C$ is a line.

When $p\in Y_{C}$ is a singular point, then the description of the
intersection multiplicity $(C,H_{C})_{p}$ is more subtle. Let $TC_{p}(C)$ be
the reduced projective tangent cone of the curve $C$ at $p$. For any line
$L\in TC_{p}(C)$ we define the corresponding tangential multiplicity

$m_{L}(C)=(L,C_{L})_{p},$

where $(C_{L},p)$ is the union of all branches of the singularity $(C,p)$
whose tangent line at $p$ coincides with $L$. With this notation, one has the
following general result, which is a user-friendly reformulation of [15,
Proposition 25].

######  Theorem 1.2.

Assume that $C$ is a reduced plane curve and that $p\in C$ is any singular
point. Then one has

$(C,H_{C})_{p}=3\mu_{p}(C)+m_{p}(C)-3+\sum_{L\in TC_{p}(C)}m_{L}(C),$

where $\mu_{p}(C)$ is the Milnor number and $m_{p}(C)$ is the multiplicity of
the singularity $(C,p)$.

The case when $(C,p)$ is irreducible is also stated in [19, Theorem 2.1.9].
Indeed, in this case, one has $\mu_{p}(C)=2\delta_{p}(C)$ with $\delta_{p}(C)$
being the $\delta$-invariant of the singularity $(C,p)$. We discuss in detail
the statement of Theorem 1.2 and give some examples in the next section.

Our new results are the following. Consider the case when $(C,p)$ is an
ordinary $k$-multiple point, that is there are $k$ smooth branches
$C_{1},\ldots,C_{k}$ at $p$, with distinct tangent lines $L_{1},\ldots,L_{k}$.
If we set $m_{j}=(C_{j},L_{j})_{p}\geq 2$ for $j\in\\{1,\ldots,k\\}$, then we
call $(C,p)$ an ordinary $k$-multiple point of type $(m_{1},\ldots,m_{k})$.
Moreover, we say that $(C,p)$ is an ordinary simple $k$-multiple point if
$m_{j}=2$ for all $j\in\\{1,\ldots,k\\}$.

######  Theorem 1.3.

For any reduced plane curve $C$ of degree $d\geq 3$ and any singular point
$p\in C$ with multiplicity $m_{p}(C)=k$, one has

$(C,H_{C})_{p}\geq 3k(k-1),$

and equality holds if and only if $(C,p)$ is an ordinary simple $k$-multiple
point.

######  Corollary 1.4.

For any reduced plane curve $C$ of degree $d\geq 3$ and having $s$ singular
points, one has

$i(C)\leq 3d(d-2)-6s.$

More precisely, if $n_{k}$ denotes the number of singular points of $C$ of
multiplicity $k$, then

$i(C)\leq 3d(d-2)-\sum_{k}3k(k-1)n_{k}.$

The equality occurs if and only if all the singularities of $C$ are ordinary
simple $k$-multiple points for various $k$.

This result is a significant improvement of the inequality

$\sum_{p\in I_{C}}\iota_{p}\leq 3d(d-2)-s$

which is given in [16, Corollary 9.9]. Our next result is a general
construction of free curves by adding inflectional tangents and lines passing
through the singularities of the initial curve $C$, which is a curve of Thom-
Sebastiani type. Let $m\geq 2$ be a positive integer and let $\ell_{j}(x,y)$
with $j\in\\{1,\ldots,m\\}$ be $m$ distinct linear forms in $x$ and $y$.
Consider the curve

$C:F=\prod_{j=1}^{m}\ell_{j}(x,y)^{k_{j}}-z^{d}=0,$

in $\mathbb{P}^{2}$, where $k_{j}\geq 1$ are positive integers such that $\sum
k_{j}=d$, and the family of lines $L_{j}:\ell_{j}(x,y)=0$. The line $L_{j}$ is
the inflectional tangent at the point $p_{j}=(x_{j}:y_{j}:0)$ where
$(x_{j}:y_{j})\in\mathbb{P}^{1}$ is the zero set of $\ell_{j}$ whenever
$k_{j}=1$, and it is the reduced tangent cone at the singularity $p_{j}$ when
$k_{j}>1$.

######  Theorem 1.5.

With the notation as above, the curve

$C^{\prime}=C\cup\bigcup_{j=1}^{m}L_{j}:\quad
F^{\prime}=F\cdot\prod_{j=1}^{m}\ell_{j}=0$

of degree $d+m$ is free with the exponents $(m-1,d)$. Moreover, if $L:z=0$ is
the line passing through all the points $p_{j}$ of $C$, then the curve

$C^{\prime\prime}=C^{\prime}\cup L:\quad
F^{\prime\prime}=zF\cdot\prod_{j=1}^{m}\ell_{j}=0$

of degree $d+m+1$ is free with the exponents $(m-1,d+1)$.

Starting with a smooth Fermat type curve and adding all of its inflectional
tangents and the $3$ coordinate axes, one gets again a free curve, as the
following result shows. Consider the Fermat curve $C:x^{d}+y^{d}+z^{d}=0$. Let
$\epsilon$ be any root of the equation $t^{d}+1=0$ in $\mathbb{C}$. Then the
line $L_{\epsilon}:y=\epsilon x$ intersects $C$ only at the point
$p_{\epsilon}=(1:\epsilon:0)$. Hence $p_{\epsilon}$ is an inflection point of
the maximal order and hence $i(L_{\epsilon})=d-2$, i.e., one has the equality
in (2.10). In this way, we get $d$ inflection points, which are just the
intersection of $C$ with the line $z=0$. Cyclically permuting $x,y,z$, we get
all the $3d$ inflection points of this type, and these are all the inflection
points of $C$ by (2.8). The following result is a special case of Theorem 1.5,
when $k_{j}=1$ for all $j$.

######  Corollary 1.6.

The union $C^{\prime}:F^{\prime}=(x^{d}+y^{d})F=0$ of the smooth Fermat curve
$C:F=x^{d}+y^{d}+z^{d}=0$ of degree $d$ with the $d$ inflectional tangents
$L_{\epsilon}$ meeting at one point, is a free curve of degree $2d$ and the
exponents are $(d-1,d)$. When $d=3$, the curve $C^{\prime}$ is maximizing of
degree $6$. The union $C^{\prime\prime}:F^{\prime\prime}=zF^{\prime}=0$ of the
curve $C^{\prime}$ with the line $L:z=0$ passing through all the flex points
$p_{\epsilon}$ of $C$, is a free curve of degree $2d+1$ and the exponents are
$(d-1,d)$. When $d=3$, then the curve $C^{\prime}$ is maximizing of degree
$7$.

Note that if we continue to add just inflectional tangents, the resulting
curve is no longer a free curve. For instance, the curve

$C^{\prime\prime}:F^{\prime\prime}=(x^{3}+y^{3}+z^{3})(x^{3}+y^{3})(y^{3}+z^{3})=0$

is nearly free with the exponents $(4,5)$, and the curve

$C^{\prime\prime\prime}:F^{\prime\prime\prime}=(x^{3}+y^{3}+z^{3})(x^{3}+y^{3})(y^{3}+z^{3})(x^{3}+z^{3})=0$

is not even nearly free. However, we have the following general result.

######  Theorem 1.7.

The smooth Fermat curve $C:F=x^{d}+y^{d}+z^{d}=0$ has exactly $3d$
inflectional tangents and their union forms the following line arrangement

${\mathcal{A}}:(x^{d}+y^{d})(y^{d}+z^{d})(x^{d}+z^{d})=0.$

The union of the curve $C$, the lines in ${\mathcal{A}}$, and the $3$
coordinate axes produce a new curve

$C^{\prime}:F^{\prime}=xyz(x^{d}+y^{d})(y^{d}+z^{d})(x^{d}+z^{d})(x^{d}+y^{d}+z^{d})=0$

of degree $4d+3$, which is free with the exponents $(2d+1,2d+1)$. Moreover,
the curve $C^{\prime\prime}\subset C^{\prime}$ given by

$C^{\prime\prime}:F^{\prime\prime}=xy(y^{d}+z^{d})(x^{d}+z^{d})(x^{d}+y^{d}+z^{d})=0$

has degree $3d+2$ and it is free with the exponents $(d+1,2d)$.
When $d=2$, then the curve $C^{\prime\prime}$ is maximizing of degree $8$.

It is easy to prove that the curve

$C:F=x^{m}y^{m}+y^{m}z^{m}+x^{m}z^{m}=0$

has no inflection points using Theorem 1.2, see Example 6.3 below. To get a
free curve from $C$, we may add two of the three tangent cones, or just one
tangent cone and two lines joining singular points. Indeed, one has the
following result.

######  Theorem 1.8.

The curve

$C^{\prime}:F^{\prime}=(x^{m}y^{m}+y^{m}z^{m}+x^{m}z^{m})(x^{m}+y^{m})(y^{m}+z^{m})=0$

has degree $4m$ and it is free with exponents $(2m-1,2m)$ for any $m\geq 2$.
The curve

$C^{\prime\prime}:F^{\prime\prime}=yz(x^{m}y^{m}+y^{m}z^{m}+x^{m}z^{m})(y^{m}+z^{m})=0$

has degree $3m+2$ and it is free with exponents $(m+1,2m)$ for any $m\geq 2$.

######  Definition 1.9.

Given a reduced plane curve $C$, we say that $p\in C$ is a modular point for
$C$ if the central projection

$\pi_{p}:\mathbb{P}^{2}\setminus\\{p\\}\to\mathbb{P}^{1}$

induces a locally trivial fibration of the complement
$M(C)=\mathbb{P}^{2}\setminus C$. We say that a reduced plane curve $C$ is
supersolvable if it has at least one modular point.

The map induced by $\pi_{p}$ is a locally trivial fibration if and only if for
any line $L_{p}$ passing through $p$ and not an irreducible component of $C$,
one has

$(C,L_{p})_{p}=\operatorname{mult}_{p}(C)\text{ and }(C,L_{p})_{q}=1\text{ for
any }q\in C\cap L_{p},\ q\neq p.$

This fibration has as base and as fiber a projective line $\mathbb{P}^{1}$
with a number of points deleted, and hence the complement $M(C)$ is a
$K(\pi,1)$ space. When $C$ is a line arrangement, this definition of a modular
point coincides with the usual one, and a line arrangement is supersolvable by
definition if it has a modular point. In particular, the existence of a
modular point for a line arrangement $C$ implies that $C$ is free, see for all
these well known facts [3, 20]. We venture to make the following.

######  Conjecture 1.10.

A supersolvable plane curve $C$ is free.

One setting where this conjecture holds is the following.

######  Theorem 1.11.

Let $C$ be a reduced plane curve, let $p\in M(C)$ be a point and let
${\mathcal{A}}$ be the set of lines $L$ passing through $p$ such that there is
a point $q\in L\cap C$ with $(C,L)_{q}>1$. Assume that all the singularities
of the curve $C^{\prime}$ obtained by adding all the lines in ${\mathcal{A}}$
to $C$ are quasi homogeneous. Then $C^{\prime}$ is supersolvable and free. In
particular, this holds when all the singularities $s$ of $C$ have multiplicity
2, and $p$ is not on any tangent cone $TC_{s}(C)$ for $(C,s)$ a singularity
with $\mu(C,s)\geq 3$.

When $C$ is a plane curve having only nodes $A_{1}$ and cusps $A_{2}$ as
singularities, and in addition $p$ is a generic point, this result is known,
see [4, Theorem 1.12]. Moreover, it is easy to see that the free curves
$C^{\prime}$ and $C^{\prime\prime}$ constructed above in Theorem 1.5 are
special cases of the construction in Theorem 1.11. On the other hand, the free
curve $C^{\prime\prime}$ constructed above in Theorem 1.8 is of a different
nature, since in this case $p\in C$ and the resulting curve $C^{\prime\prime}$
has not only quasi homogeneous singularities. However, this curve gives new
examples where Conjecture 1.10 holds, in view of the following result.

######  Proposition 1.12.

The free curve $C^{\prime\prime}$ constructed in Theorem 1.8 is supersolvable.
In particular, the associated complement $M(C^{\prime\prime})$ is a $K(\pi,1)$
space.

We explain in Example 4.11 that the other free curves constructed above in
Theorems 1.7 and 1.8 are not supersolvable.

The organization of the paper goes as follows. In Section $2$, we discuss the
proof of Theorem 1.2 explaining all the necessary details. In Section $3$ we
recall basic facts on the free, nearly free and maximizing curves.

In Section 4 we deliver our proofs of Theorems 1.3, 1.5, 1.7, 1.8 and 1.11,
and of Proposition 1.12. Then, in Section $5$, we describe all smooth plane
quartic curves admitting the maximal possible number of flexes of maximal
order, i.e., flexes of order $2$. There are two such curves, and only one of
them, the Fermat curve, yields free curves as in Corollary 1.6 and in Theorem
1.7. In Section $6$ we discuss some singular plane curves and the free curves
obtained from them, which are sometimes supersolvable as well, given rise to
supersolvable free curves not covered by our general Theorem 1.11. In Example
6.4 we construct a new example of maximizing curve in degree 8 and the first
and unique known example of maximizing curve in degree 9\. In the final
section, we use a stronger version of a result due to Schenck, Terao and
Yoshinaga in [22] to construct families of free conic-line arrangements
starting with the free conic-line arrangements $C:F=0$ with exponents
$(1,d-2)$, where $d=\deg F$, which have been recently classified by V.
Beorchia and R. M. Miró-Roig in [1]. These families contain free conic-line
arrangements with arbitrary exponents and also provide countable examples
where the Conjecture 1.10 holds even in the presence of non quasi homogeneous
singularities, see Remarks 7.4 and 7.5.

We would like to thank the referee for his/her careful reading of the
manuscript and the useful suggestions.

##  2\. Discussion on Theorem 1.2 and some examples

The paper [15] uses rather heavy notations, and perhaps due to this fact has a
smaller impact than it deserves. Let us introduce some notation. For a reduced
plane curve $C:F=0$ and any point
$q=({\alpha}:{\beta}:\gamma)\in\mathbb{P}^{2}$, we define the polar
$\Delta_{q}(C)$ of $C$ with respect to $q$ by the equation

(2.1) $\Delta_{q}(C):{\alpha}F_{x}+{\beta}F_{y}+\gamma F_{z}=0.$

For a property ${\mathcal{P}}$, the authors of [15] use the notation $\bf
1_{{\mathcal{P}}}$ to denote $1$ if ${\mathcal{P}}$ is true and 0 otherwise,
see the discussion before Theorem 2 in [15]. The first equality in [15,
Proposition 25] gives the expression of the intersection multiplicity
$(C,\Delta_{q}(C))_{p}$ for any singular point $p\in C$ and any point
$q\in\mathbb{P}^{2}$. Using our discussion above, we see that for $q\neq p$,
$q$ not on any line $L$ in the tangent cone $TC_{p}(C)$, this multiplicity
$(C,\Delta_{q}(C))_{p}$ is given by a double sum ${\mathcal{S}}$, i.e., the
second sum involving the characteristic functions $\bf 1_{{\mathcal{P}}}$
vanishes. With this observation, the second equality in [15, Proposition 25]
can be stated as

(2.2) $(C,H_{C})_{p}=3(C,\Delta_{q}(C))_{p}+I_{p},$

where $I_{p}=\sum_{i\in{\mathcal{I}}}(i^{(i)}_{p}-2)$. Here ${\mathcal{I}}$ is
a set of indices parametrizing the pro-branches of $(C,p)$ and $i^{(i)}_{p}$
is the tangential intersection number of the pro-branch $B_{i}$, see [15,
Definition 22]. Recall that any branch $B$ of a plane curve singularity
$(C,0)$ at the origin of $\mathbb{C}^{2}$, such that $x=0$ is not a tangent
line, can be defined by a Weierstrass polynomial

$\Gamma_{B}(x,y)=\prod_{j=1,m_{B}}(y-\phi_{B,j}(x))$

where $m_{B}$ is the multiplicity of the branch $B$ and there is an analytic
function $\phi_{B}(x)\in\mathbb{C}\\{x\\}$ with
$\operatorname{ord}\phi_{B}(x)\geq m_{B}$ such that

(2.3) $\phi_{B,j}(x)=\phi_{B}(\exp(2\pi ij/m_{B})x^{\frac{1}{m_{B}}}).$

With this notation, the branch $B$ has $m_{B}$ associated pro-branches

$B_{j}:y-\phi_{B,j}(x)=0$

and the corresponding tangential intersection number is given by

$i^{B_{j}}_{0}=\operatorname{ord}(\phi_{B,j}(x)-\phi_{B,j}^{\prime}(0)x)\in\mathbb{Q}.$

It follows from equation (2.3) that $i^{B_{j}}_{0}=i^{B_{k}}_{0}$ for any
$0\leq j\leq k\leq m_{B}$ and hence

$m_{B}i^{B_{j}}_{0}=(L,C_{L})_{0},$

for any $j$, with $L$ the tangent line to $B$ and $C_{L}=B$. This discussion
implies that one has

(2.4) $I_{p}=\sum_{i\in{\mathcal{I}}}(i^{(i)}_{p}-2)=\sum_{L\in
TC_{p}(C)}m_{L}(C)-2m_{p}(C),$

since clearly $|{\mathcal{I}}|=m_{p}(C)$, each branch having exactly a number
of pro-branches given by the multiplicity of that branch. Next, we return to
the intersection multiplicity $(C,\Delta_{q}(C))_{p}$. We can assume that
$p=(0:0:1)$ and set $f(x,y)=F(x,y,1)$, then one has

$f_{x}(x,y)=F_{x}(x,y,1),\ f_{y}(x,y)=F_{y}(x,y,1)\text{, and
}xf_{x}+yf_{y}+F_{z}(x,y,1)=f.$

If we define the generic local polar variety of the singularity

$(C,0):f(x,y)=0$

by the equation

$\Delta_{0}(C):{\alpha}^{\prime}f_{x}+{\beta}^{\prime}f_{y}=0,$

with $({\alpha}^{\prime}:{\beta}^{\prime})\in\mathbb{P}^{1}$ being a generic
point, it is easy to see that

(2.5) $(C,\Delta_{0}(C))_{0}=(C,\Delta_{q}(C))_{p}.$

In fact, the line $L^{\prime}:z=0$ is clearly not in the tangent cone
$TC_{p}(C)$ since $p\notin L^{\prime}$, and hence we may take $\gamma=0$ and
$({\alpha}:{\beta})\in\mathbb{P}^{1}$ generic in the formula (2.1). In order
to compute this local intersection number

$\kappa_{0}(C)=(C,\Delta_{0}(C))_{0},$

which is also called the $\kappa$-invariant of the singularity $(C,0)$, we can
use for instance [14, Proposition 3.38] and get

(2.6) $\kappa_{0}(C)=\mu(C,0)+m_{0}(C,0)-1.$

If we use this formula for the singularity $(C,p)$, we get from (2.2) and
(2.4) the following equality

$(C,H_{C})_{p}=3(\mu_{p}(C)+m_{p}(C)-1)+\sum_{L\in
TC_{p}(C)}m_{L}(C)-2m_{p}(C)=$ $=3\mu_{p}(C)+m_{p}(C)-3+\sum_{L\in
TC_{p}(C)}m_{L}(C).$

This proves our reformulation of [15, Proposition 25] in Theorem 1.2.

In order to construct free plane curves starting with a curve $C$ of degree
$d$, by adding lines, in particular inflectional tangents, we have to look for
lines $L$ such that the sum

(2.7) $i(L)=\sum_{p\in L\cap I_{C},\ T_{p}C=L}\iota_{p}(C)$

is as large as possible with respect to the degree $d$. Given a curve $C$,
first we use Theorem 1.2 to count the total number of inflection points of
$C$, namely

(2.8) $i(C)=\sum_{p\in I_{C}}\iota_{p}(C)=3d(d-2)-\sum_{p\in
Y_{C}}(C,H_{C})_{p}.$

One clearly has for any line $L$

(2.9) $i(L)\leq i(C),$

and the equality holds if and only if for any point $p\in I_{C}$ one has
$T_{p}C=L$. Moreover,

(2.10) $i(L)\leq\sum_{p\in L\cap C}((C,L)_{p}-2)=d-2|L\cap C|,$

and the equality holds if and only if for any point $p\in L\cap C$ one has
$T_{p}C=L$.

######  Example 2.1.

Let us consider the case when $(C,p)$ is a node $A_{1}$, that is there are two
smooth branches $(C_{1},p)$ and $(C_{2},p)$ meeting transversally at $p$. Let
$T_{1}=T_{p}C_{1}$ and $T_{2}=T_{p}C_{2}$ be the associated tangent lines and
define the type of the node  $(C,p)$ to be the pair of integers

$(m_{1},m_{2})=((C_{1},T_{1})_{p},(C_{2},T_{2})_{p}).$

It is clear that $m_{j}\geq 2$ for $j=1,2$. When $m_{1}=m_{2}=2$, then $(C,p)$
is said to be a simple node, and one knows that $(C,H_{C})_{p}=6$, see [13,
pp. 68–69]. In the general situation, Theorem 1.2 gives the equality

$(C,H_{C})_{p}=3+2-3+m_{1}+m_{2}=m_{1}+m_{2}+2.$

More generally, consider the case when $(C,p)$ is an ordinary $m$-multiple
point, that is there are $m$ smooth branches $C_{1},\ldots,C_{m}$ with
distinct tangent lines $L_{1},\ldots,L_{m}$. If we set
$m_{j}=(C_{j},L_{j})_{p}$ for $j=1,\ldots,m$, then Theorem 1.2 gives the
equality

$(C,H_{C})_{p}=3(m-1)^{2}+m-3+\sum_{j=1,m}m_{j}=m(3m-5)+\sum_{j=1,m}m_{j}.$

######  Example 2.2.

Let us consider the case when $(C,p)$ is a singularity $A_{2m-1}$ with $m\geq
2$. Then there are two tangent smooth branches with a common tangent line $L$.
If we set $m_{L}=(C,L)_{p}$, then Theorem 1.2 gives the equality

$(C,H_{C})_{p}=3(2m-1)+2-3+m_{L}=2(3m-2)+m_{L}.$

######  Example 2.3.

Let us consider the case when $(C,p)$ is a singularity $A_{2m}$ with $m\geq
1$. Then there is a unique branch, with a tangent line $L$. If we set
$m_{L}=(C,L)_{p}$, then Theorem 1.2 gives the equality

$(C,H_{C})_{p}=3(2m)+2-3+m_{L}=6m-1+m_{L}.$

When $(C,p)$ is a cusp $A_{2}$, only the value $m_{L}=3$ is possible, and
hence $(C,H_{C})_{p}=8$ in this case.

##  3\. Free, nearly free and maximizing curves

In this section we recall some basic facts on free, nearly free and,
maximizing curves in $\mathbb{P}^{2}$ following [8, 9].

Let

${\rm
Der}(S)=\\{\partial:=a\cdot\partial_{x}+b\cdot\partial_{y}+c\cdot\partial_{z},\,\,a,b,c\in
S\\}$

be the free $S$-module of $\mathbb{C}$-linear derivations of the polynomial
ring $S$. For a reduced curve $C\,:F=0$, we introduce

${\rm D}(F)=\\{\partial\in{\rm Der}(S)\,:\,\partial\,F\in\langle F\rangle\\},$

the graded $S$-module of derivations preserving the ideal $\langle F\rangle$.
We have the following decomposition

${\rm D}(F)={\rm D}_{0}(F)\oplus S\cdot\delta_{E},$

where $\delta_{E}=x\partial_{x}+y\partial_{y}+z\partial_{z}$ is the Euler
derivation and

${\rm D}_{0}(F)=\\{\partial\in{\rm Der}(S)\,:\,\partial\,F=0\\}$

is the set of all $\mathbb{C}$-linear derivations of $S$ killing the
polynomial $F$.

######  Definition 3.1.

We say that a reduced curve $C\,:F=0$ is free if ${\rm D}(F)$, or equivalently
${\rm D}_{0}(F)$, is a free graded $S$-module. The exponents $(d_{1},d_{2})$
of a free curve $C$ are the degrees of a basis for the free graded $S$-module
${\rm D}_{0}(F)$ which rank 2.

######  Remark 3.2.

The exponents $(d_{1},d_{2})$ of a free curve $C:F=0$ of degree $d$ are known
to satisfy $d_{1}+d_{2}=d-1$. Conversely, if there are two elements
$r_{1},r_{2}\in{\rm D}_{0}(F)$, which are $S$-linearly independent and satisfy

$d_{1}+d_{2}=d-1$

then the curve $C$ is free with exponents $(d_{1},d_{2})$, see [24, 25].

######  Definition 3.3.

The minimal degree of derivations killing $F$, or of Jacobian syzygies
involving the partial derivatives of $F$, is defined as

${\rm mdr}(F)={\rm min}\\{r\in\mathbb{N}\,:\,{\rm D}_{0}(F)_{r}\neq 0\\}.$

To check whether a given plane curve is free, one may use the following result
by du Plessis and Wall [11].

######  Theorem 3.4.

Let $C:\,F=0$ be a reduced plane curve of degree $d$, let $r={\rm mdr}(F)$ and
let $\tau(C)$ be the total Tjurina number of $C$. Then the following two cases
hold.

  1. a)

If $r<d/2$, then $\tau(C)\leq\tau(d,r)_{max}=(d-1)^{2}-r(d-r-1)$ and the
equality holds if and only if the curve $C$ is free.

  2. b)

If $d/2\leq r\leq d-1$, then $\tau(C)\leq\tau(d,r)_{max}^{\prime}$, where, in
this case, we set

$\tau(d,r)_{max}^{\prime}=\tau(d,r)_{max}-\binom{2r-d+2}{2}.$

######  Definition 3.5.

A reduced curve $C:F=0$ of degree $d$ is nearly free if either
$\operatorname{mdr}(F)<d/2$ and $\tau(C)=\tau(d,r)_{max}-1$, or
$\operatorname{mdr}(F)=d/2$ and $\tau(C)=\tau(d,r)_{max}$. In addition, the
exponents of a nearly free curve $C:F=0$ of degree $d$ are given by the pair
$(\operatorname{mdr}F,d-\operatorname{mdr}F)$.

######  Definition 3.6.

A curve $C:F=0$ of degree $d$ having only ${\rm ADE}$-singularities is
maximizing if either $d=2m$ and $\tau(C)=3m(m-1)+1$, or $d=2m+1$ and
$\tau(C)=3m^{2}+1$.

The relation between maximizing curves and free curves is the following, see
[8].

######  Theorem 3.7.

A curve $C:F=0$ of degree $d$ having only ${\rm ADE}$-singularities is
maximizing if and only if either $d=2m$ and $C$ is a free curve with the
exponents $(m-1,m)$, or $d=2m+1$ and $C$ is a free curve with the exponents
$(m-1,m+1)$.

In the sequel we need the following version of [4, Theorem 1.10].

######  Theorem 3.8.

Let $C:\,F=0$ be a reduced plane curve of degree $d$ and let $p$ be any point
of $C$. Let ${\mathcal{A}}$ be the union of the irreducible components of $C$
which are lines passing through $p$, and let $C^{\prime}:G=0$ be the union of
the other irreducible components of $C$. We assume that $p\in C^{\prime}$. Let
$m=|{\mathcal{A}}|$ and $e=\deg G$. Then $r={\rm mdr}(F)$ can be in one of the
following cases.

  1. a)

$r=e$;

  2. b)

$r=m-1$ and $C$ is free with exponents $(m-1,e)$;

  3. c)

$m\leq r\leq e-1$.

The only difference of this result with respect to [4, Theorem 1.10] is that
here $p\in C^{\prime}$.

###### Proof.

The key part of the proof of [4, Theorem 1.10] is contained in [4, Lemma 4.3],
where a Jacobian syzygy

$\rho:aF_{x}+bF_{y}+cF_{z}=0$

is constructed using a differential 2-form $\omega$, and it is shown that this
syzygy is primitive, that is there is no common factor for $a,b,c\in S$. It is
in this latter part that the condition $p\notin C^{\prime}$ was used. If we
assume that $p=(0:0:1)$, it is easy to see that the Jacobian relation $\rho$
constructed there is still a Jacobian syzygy in our situation. Moreover, it is
a primitive syzygy if and only if $G$ and $G_{z}$ have no common factor. Let
$M\in S$ be an irreducible polynomial which is a common factor for $G$ and
$G_{z}$. Note that $M$ cannot involve only $x$ and $y$, since this would
correspond to a line in $C^{\prime}$ passing through $p$, which is impossible
by the definition of $C^{\prime}$. It follows that $M_{z}\neq 0$. If $G=MN$,
then $G_{z}=M_{z}N+MN_{z}$, which implies that either $M$ divides $N$ or $M$
divides $M_{z}$. But $M$ cannot divide $N$, since $C^{\prime}$ is reduced. And
$M$ cannot divide $M_{z}$, since the degree of $M_{z}$ as a polynomial in $z$
is strictly smaller than the corresponding degree of $M$. This contradiction
proves our claim. ∎

##  4\. The proofs of our main results

###  4.1. Proof of Theorem 1.3

We can assume that $p=(0:0:1)$ and set $f(x,y)=F(x,y,1)$, $g(x,y)=j^{k}f(x,y)$
the initial form of $f$, that is the sum of the lowest degree terms in the
Taylor expansion of $f$ at $0$. The notation $j^{k}f(x,y)$, the $k$-th jet of
$f$ at $0$, is an alternative way of notation for this binary form of degree
$k$. Let $n$ be the number of distinct factors of $g$. If $n=k$, then using
Example 2.1 we have

$(C,H_{C})_{p}=k(3k-5)+\sum_{j=1,k}m_{j}\geq 3k(k-1),$

since $m_{j}\geq 2$. Moreover, it is obvious that the equality holds if and
only if $(C,p)$ is an ordinary simple $k$-multiple point.

Assume now that $n<k$ and let

$g(x,y)=\ell_{1}^{a_{1}}\cdot...\cdot\ell_{n}^{a_{n}}$

be the decomposition of $g$ as a product of linear factors. Recall that for
two isolated plane curve singularities $(X,0)$ and $(Y,0)$ with no common
component one has

(4.1) $\mu(X\cup Y,0)=\mu(X,0)+\mu(Y,0)+2(X,Y)_{0}-1,$

see [26, Theorem 6.5.1]. Let $C_{j}:f_{j}=0$ be the union of the branches of
$(C,p)$ which are tangent to the line $L_{j}:\ell_{j}=0$ with
$j\in\\{1,\ldots,n\\}$. Then $(C,p)=(C_{1},p)\cup...\cup(C_{n},p)$ and we
estimate $\mu_{p}(C)=\mu(C,p)$ using the above formula. To start with, note
that since $j^{a_{j}}f_{j}=\ell_{j}^{a_{j}}$, it follows that

$\mu(C_{j},p)\geq a_{j}(a_{j}-1).$

We prove by induction on $m$ that

$\mu((C_{1},p)\cup...\cup(C_{m},p))\geq(a_{1}+\ldots+a_{m})^{2}-(a_{1}+\ldots+a_{m})-m+1$

for any $1\leq m\leq n$. This inequality holds for $m=1$ as we have already
seen above. Assume that the inequality holds for some $m<n$. Then it follows
that

$\mu((C_{1},p)\cup...\cup(C_{m},p)\cup(C_{m+1},p))\geq((a_{1}+\ldots+a_{m})^{2}-(a_{1}+\ldots+a_{m})-m+1)+$
$+a_{m+1}(a_{m+1}-1)+2a_{m+1}(a_{1}+\ldots+a_{m})-1=$
$=(a_{1}+\ldots+a_{m+1})^{2}-(a_{1}+\ldots+a_{m+1})-m,$

which completes our proof by induction. Since $a_{1}+\ldots+a_{n}=k$, this
yields the inequality

$\mu(C,p)\geq k^{2}-k-n+1.$

On the other hand, one has

$m_{L_{j}}=(C_{j},L_{j})_{p}\geq a_{j}+1$

and hence

$\sum_{j}m_{L_{j}}\geq k+n.$

Using Theorem 1.2, we get

$(C,H_{C})_{p}\geq 3(k^{2}-k-n+1)+k-3+k+n=3k(k-1)+2(k-n)>3k(k-1),$

since we have assumed $n<k$. This completes the proof of Theorem 1.3.

Corollary 1.4 is an obvious consequence of Theorem 1.3.

###  4.2. Proof of Theorem 1.5

The curve $C$ was studied in [10, Example 4.5] and it was shown that the
minimal degree of a Jacobian relation for $C$ is given by

$\operatorname{mdr}(F)=m-1.$

Since the minimal degree of a Jacobian relation can only increase when one
adds lines to a given curve, see [7, Proposition 3.1], it follows that

$\operatorname{mdr}(F^{\prime})\geq\operatorname{mdr}(F)=m-1.$

The curve $C$ has $m$ inflection points and singularities on the line $z=0$,
locally given by equations $u^{k_{j}}-v^{d}=0$, located at the points
$p_{j}=(a_{j}:b_{j}:0)$, with $\ell_{j}(a_{j},b_{j})=0$ for
$j\in\\{1,\ldots,m\\}$. When we add the line $L_{j}$, we get at the point
$p_{j}$ a weighted homogeneous singularity of degree $d_{j}=1$ with respect to
the weights $w_{1}=wt(u_{j})=\frac{1}{k_{j}+1}$ and
$w_{2}=wt(z)=\frac{k_{j}}{d(k_{j}+1)}$, where $u_{j}=\ell_{j}$ is a local
coordinate at $p_{j}$ on the line $L_{j}$. It follows the following equality
involving Tjurina and Milnor numbers:

$\tau(C^{\prime},p_{j})=\mu(C^{\prime},p_{j})=\frac{(1-w_{1})(1-w_{2})}{w_{1}w_{2}}=(d-1)k_{j}+d.$

Hence the total Tjurina number of $C^{\prime}$ is

$\tau(C^{\prime})=d(d-1)+md+(m-1)^{2},$

since clearly

$\tau(C^{\prime},p)=\mu(C^{\prime},p)=(m-1)^{2}.$

Now a curve of degree $d^{\prime}=d+m$ with
$r^{\prime}=\operatorname{mdr}(F^{\prime})$ satisfies the inequality

$\tau(C^{\prime})\leq\tau(d^{\prime},r^{\prime})_{max}$

where the function

$\tau(d^{\prime},r^{\prime})_{max}=(d^{\prime}-1)^{2}-r^{\prime}(d^{\prime}-1-r^{\prime})$

is a decreasing function of $r^{\prime}$ for $2r^{\prime}<d^{\prime}$, which
follows from Theorem 3.4, and the equality
$\tau(C^{\prime})=\tau(d^{\prime},r^{\prime})_{max}$ implies that
$2r^{\prime}<d^{\prime}$ and $C^{\prime}$ is free with the exponents
$(r^{\prime},d^{\prime}-r^{\prime}-1)$. In our case, we get

$\tau(d^{\prime},m-1)_{max}=(d+m-1)^{2}-d(m-1)=\tau(C^{\prime}),$

and this proves our claim. The proof of the second claim goes analogously.

######  Remark 4.3.

One can check that the curve $C^{\prime}$, resp. $C^{\prime\prime}$, can be
regarded as a special case of the curve $C$ constructed in Theorem 1.11,
starting from the curve $C_{0}:F=0$ and $p=(0:0:1)$ for $C^{\prime}$, resp.
$C_{0}:zF=0$ and $p=(0:0:1)$ for $C^{\prime\prime}$. This is an alternative
way to proving Theorem 1.5.

###  4.4. Proof of Theorem 1.7

We start with the following.

######  Lemma 4.5.

Consider the line arrangement

${\mathcal{B}}:g=xyz(x^{d}+y^{d})(y^{d}+z^{d})(x^{d}+z^{d})=0.$

Then $\operatorname{mdr}(g)=2d+1$.

###### Proof.

We consider first the subarrangement of ${\mathcal{B}}$ given by

${\mathcal{B}}_{0}:g_{0}=xyz(x^{d}+y^{d})(y^{d}+z^{d})=0.$

Note that in this arrangement ${\mathcal{B}}_{0}$ there are two points of
multiplicity $d+2$, connected by the line $y=0$. All the lines pass through
one of these two points, and the other intersection points are all double
points. It follows that ${\mathcal{B}}_{0}$ is a line arrangement of type
$\hat{L}(d+2,d+2)$, as in [6, Definition 4.9], and

$\operatorname{mdr}(g_{0})=d+1,$

see [6, Example 4.11]. To get the arrangement ${\mathcal{B}}$ from
${\mathcal{B}}_{0}$, we have to add the $d$ lines $L_{1},...,L_{d}$ given by
$x^{d}+z^{d}=0$. At the stage $k$, where $1\leq k\leq d$, we have to add the
line $L_{k}$ to the arrangement

${\mathcal{B}}_{k}={\mathcal{B}}_{0}\cup L_{1}\cup...\cup L_{k-1}.$

Note that the intersection of $L_{k}$ and ${\mathcal{B}}_{k}$ consists of
exactly $2d+2$ points. If ${\mathcal{B}}_{k}$ is given by the reduced equation
$f_{k}=0$, for $1\leq k\leq d$, it follows from [7, Corollary 6.4] that one
has

$\operatorname{mdr}(f_{k})=\operatorname{mdr}(f_{k-1})+1$

for all $1\leq k\leq d$. Hence

$\operatorname{mdr}(g)=\operatorname{mdr}(f_{d})=d+1+d=2d+1.$

∎

Using [7, Theorem 5.1 (b)] we see that ${\rm mdr}(F^{\prime})\geq 2d+1$. We
compute now the total Tjurina number of the curve $C^{\prime}$. This curve has
$3d^{2}$ nodes $A_{1}$ and 3 points with local equation $uv(u^{d}+v^{d})$
coming from the double points of the line arrangement ${\mathcal{B}}$ not
situated on $xyz=0$ and the 3 points of multiplicity $d+2$. The line $x=0$ in
${\mathcal{B}}$ contains $d$ double points of this line arrangement, which are
precisely the inflection points of order $d-2$ of the Fermat curve $C$
situated on this line. The corresponding inflectional tangents are the lines
given by $y^{d}+z^{d}=0$. Therefore, when we add $C$, each of these $d$ points
becomes a singularity of type $D_{2d+2}$. Similar remarks apply to the lines
$y=0$ and $z=0$. It follows that

$\tau(C^{\prime})=3d^{2}+3(d+1)^{2}+3d(2d+2)=12d^{2}+12d+3.$

On the other hand, we have

$\tau(4d+3,2d+1)_{max}=(4d+2)^{2}-(2d+1)^{2}=12d^{2}+12d+3.$

The equality

$\tau(C^{\prime})=\tau(4d+3,2d+1)_{max}$

implies as above that $r^{\prime}=\operatorname{mdr}(F^{\prime})=2d+1$ and
that $C^{\prime}$ is a free curve with the exponents $(2d+1,2d+1)$. The claims
for the curve $C^{\prime\prime}$ are proved in a similar way. The line
arrangement

${\mathcal{B}}^{\prime}:g^{\prime}=xy(y^{d}+z^{d})(x^{d}+z^{d})=0$

satisfies $\operatorname{mdr}(g^{\prime})=d+1$, see [6, Proposition 4.10]. The
lines $x=0$ and $y=0$ contain each $d$ points of type $D_{2d+2}$ as above.
Besides these points, the line arrangement ${\mathcal{B}}^{\prime}$ has two
points of multiplicity $d+1$ and $d^{2}+1$ double points. It follows that

$\tau(C^{\prime\prime})=2d(2d+2)+2d^{2}+(d^{2}+1)=7d^{2}+4d+1=\tau(3d+2,d+1)_{max}.$

######  Remark 4.6.

The line arrangement ${\mathcal{B}}$ considered in Lemma 4.5 is clearly a
subarrangement of the line arrangement

${\mathcal{C}}:xyz(x^{2d}-y^{2d})(y^{2d}-z^{2d})(x^{2d}-z^{2d})=0,$

and hence ${\mathcal{B}}$ is a triangular arrangement as defined in [18]. One
can obtain an alternative proof of Lemma 4.5 using results from Section 4 in
[18]. It is interesting to note that the line arrangement formed by the
corresponding $3d$ inflectional tangent lines is the arrangement

${\mathcal{B}}^{\prime\prime}:(x^{d}+y^{d})(y^{d}+z^{d})(x^{d}+z^{d})=0,$

which is far from being free. This can be seen using [18, Theorem 5.1], since
${\mathcal{B}}^{\prime\prime}$ is itself a triangular arrangement. On the
other hand, the line dual to the inflection point
$p_{\epsilon}=(1:\epsilon:0)$ is $L_{\epsilon}^{\prime}:x+\epsilon y=0$, and
the union of all these $d$ dual lines obtained when $\epsilon$ varies, is
given by $x^{d}-y^{d}=0$ when $d$ is odd. Therefore, for $d$ odd, the line
arrangement formed by the corresponding $3d$ dual lines is precisely the free
monomial (or Fermat) line arrangement

$(x^{d}-y^{d})(y^{d}-z^{d})(x^{d}-z^{d})=0.$

The case $d=3$ is, of course, well-known.

###  4.7. Proof of Theorem 1.8

First we consider the curve $C^{\prime}$. The reader can check the following
Jacobian relations $r_{1},r_{2}\in{\rm D}_{0}(F^{\prime})$

$r_{1}:z^{m-1}(x^{m}+y^{m})F^{\prime}_{x}-x^{m-1}(y^{m}+z^{m})F^{\prime}_{z}=0$

and

$r_{2}:xy^{m-1}(2x^{m}+3y^{m})F^{\prime}_{x}-(2F+y^{2m})F^{\prime}_{y}+zy^{m-1}(2z^{m}+3y^{m})F^{\prime}_{z}=0,$

where $F=x^{m}y^{m}+y^{m}z^{m}+x^{m}z^{m}$. Since

$\deg r_{1}+\deg r_{2}=(2m-1)+2m=\deg F^{\prime}-1,$

our claim is proved by Remark 3.2.

We consider now the curve $C^{\prime\prime}$. First we show that
$\operatorname{mdr}F^{\prime\prime}=m+1$. To do this, we first determine a
minimal degree Jacobian syzygy $r_{1}$ for $F$. One has

$r_{1}:a_{1}F_{x}+b_{1}F_{y}+c_{1}F_{z}=0,$

where $a_{1}=x(y^{m}-z^{m})$, $b_{1}=-y(y^{m}+z^{m})$ and
$c_{1}=z(y^{m}+z^{m})$. Now we apply [7, Theorem 3.3] and see that if we add a
line $L_{0}$ to $C$ given by an equation $\ell\,:\,sy+ty=0$ such that $\ell$
divides

$sb_{1}+tc_{1}=(-sy+tz)(y^{m}+z^{m}),$

the resulting curve $C_{0}=C\cup L_{0}:F_{0}=\ell F=0$ has again

$\operatorname{mdr}F_{0}=\operatorname{mdr}F=m+1.$

Moreover, the coefficients of a minimal degree syzygy for $F_{0}$ can be
obtained from the discussion just before [7, Theorem 3.3]. It follows that one
can add one by one all the lines in the arrangement

$yz(y^{m}+z^{m})=0$

and get at the end
$\operatorname{mdr}F^{\prime\prime}=\operatorname{mdr}F=m+1$, as we have
claimed. To show now that $C^{\prime\prime}$ is free with the given exponents,
it is enough to apply Theorem 3.8.

######  Remark 4.8.

If one likes to use Theorem 3.4 as above to prove that the curve $C^{\prime}$
is free, one needs to compute the total Tjurina number $\tau(C^{\prime})$.
This in turn is complicated, since the singularities of $C^{\prime}$ at the
points $p_{1}=(1:0:0)$ and $p_{3}=(0:0:1)$ are no longer quasi homogeneous,
and hence $\tau(C^{\prime\prime},p_{j})<\mu(C^{\prime\prime},p_{j})$, for
$j=1$ and $j=3$. In fact, our Theorem 1.8 combined with Theorem 3.4 implies
that

$\tau(C^{\prime\prime},p_{1})=\tau(C^{\prime\prime},p_{3})=5m^{2}-2m,$

perhaps a result that would not be easy to prove otherwise.

###  4.9. The proof of Theorem 1.11

By its very construction, it is clear that $p$ is a modular point for
$C^{\prime}$. Let $e=\deg C$ and
$m=|{\mathcal{A}}|=\operatorname{mult}_{p}(C^{\prime})$. Hence
$d=\deg(C^{\prime})=e+m$. Then the fibration

$\pi_{p}:M(C^{\prime})\to B$

induced by the central projection with center $p$ has as a fiber $F$ the
projective line $\mathbb{P}^{1}$ minus $e+1$ points, and as a base $B$ the
projective line $\mathbb{P}^{1}$ minus $m$ points. It follows that the Euler
number $E(M(C^{\prime}))$ of the complement $M(C^{\prime})$ is given by

$E(M(C^{\prime}))=E(F)E(B)=(1-e)(2-m).$

On the other hand, we know that

$E(M(C^{\prime}))=E(\mathbb{P}^{2})-E(C^{\prime})=3-(\mu(C^{\prime})-d(d-3)),$

where $\mu(C)$ is the total Milnor number of $C$. The above two equations give
us

$\mu(C^{\prime})=(e+m)^{2}-em-2m-e+1.$

Since all the singularities of $C^{\prime}$ are supposed to be quasi
homogeneous, we get the following equality for the total Tjurina number
$\tau(C^{\prime})$ of $C^{\prime}$

$\tau(C^{\prime})=\mu(C^{\prime})=(e+m)^{2}-em-2m-e+1.$

To show that $C^{\prime}:F=0$ is free we apply [4, Theorem 1.10]. It follows
that $r=\operatorname{mdr}F$ satisfies one of the following properties.

  1. a)

$r=e$. Then

$\tau(e+m,e)_{max}=(e+m-1)^{2}-e(m-1)=\tau(C^{\prime}),$

which implies that $e<m$ and $C^{\prime}$ is free with exponents $(e,m-1)$
using Theorem 3.4.

  2. b)

$r=m-1$. Then

$\tau(e+m,m-1)_{max}=(e+m-1)^{2}-(m-1)e=\tau(C^{\prime}),$

which implies that $m\leq e$ and $C^{\prime}$ is free with exponents $(m-1,e)$
again by Theorem 3.4.

  3. c)

$m\leq r<e.$ This case is impossible, since it implies

$\tau(C^{\prime})\leq\tau(e+m,r)_{max}<\tau(e+m,m-1)_{max}=\tau(C^{\prime}).$

The first inequality follows from Theorem 3.4, and the second one by the fact
that the function $t\mapsto\tau(e+m,t)_{max}$ is decreasing for $2t<e+m$.

To prove the last claim in Theorem 1.11, first notice that the possible non
quasi homogeneous singularities of $C^{\prime}$ may occur only at the
intersection $s=L\cap C$, where $s$ is a singular point of $C$ and $L$ is a
line in ${\mathcal{A}}$. If $\operatorname{mult}_{s}C=2$ and $L$ is not in the
corresponding tangent cone $TC_{s}(C)$, as we have assumed, then
$\operatorname{mult}_{s}C^{\prime}=3$ and the $3$-jet $j^{3}g$ of a local
equation $(C^{\prime},s):g=0$ is a binary cubic form with at least $2$
distinct factors. It follows from the classification of singularities, see for
instance [2], that such a singularity has type $D_{k}$, for some $k\geq 4$,
and in particular it is quasi homogeneous. If $\mu(C,s)=1$ and $L$ is in the
corresponding tangent cone $TC_{s}(C)$, then $(C,s)$ is a node $A_{1}$, and
the same argument as above works, namely $(C^{\prime},s)$ is a $D_{k}$
singularity. Finally, when $\mu(C,s)=2$ and $L$ is in the corresponding
tangent cone $TC_{s}(C)$, then $(C,s)$ is a cusp $A_{2}$, and the new
singularity $(C^{\prime},s)$ is easily seen to be of type $E_{7}$, hence again
quasi homogeneous.

###  4.10. The proof of Proposition 1.12

The point $p=(1:0:0)$ is a modular point in this case since any line $L_{p}$
through $p$, not an irreducible component for $C^{\prime\prime}$, is given by
$z=ty$ with $t\neq 0$ and $t^{m}+1\neq 0$. The intersection $L_{p}\cap
C^{\prime\prime}$ is described by the equation

$ty^{2}(x^{m}y^{m}+t^{m}y^{2m}+t^{m}x^{m}y^{m})(y^{m}+t^{m}y^{m})=t(t^{m}+1)y^{2m+2}((1+t^{m})x^{m}+t^{m}y^{m})=0.$

The solution $y=0$ corresponds to the point $p$, which has multiplicity $2m+2$
on $C^{\prime\prime}$, and there are $m=\deg F^{\prime\prime}-(2m+2)$ other
intersection points coming from the solutions of
$(1+t^{m})x^{m}+t^{m}y^{m}=0$.

######  Example 4.11.

Here we show first that the free curves $C^{\prime}$ and $C^{\prime\prime}$
coming from Theorem 1.7 are not supersolvable. For the curve $C^{\prime}$, it
is clear that the only candidates for modular points are the point $p=(0:0:1)$
and the 2 other points obtained from $p$ by permutation of coordinates.
Indeed, a modular point has to contain all the tangents to the Fermat curve
issued from it. Now the point $p$ is not a modular point for $C^{\prime}$,
since the line $L_{p}:y-x=0$ is not an irreducible component of $C^{\prime}$
and it satisfies

$2d+2=|L_{p}\cap C^{\prime}|<|L^{\prime}\cap C^{\prime}|=\deg
C^{\prime}-\operatorname{mult}_{p}(C^{\prime})+1=4d+3-(d+2)+1=3d+2.$

The same line $L_{p}:y-x=0$ shows that the point $p$ is not a modular point
for $C^{\prime\prime}$ either. The point $p^{\prime}=(1:0:0)$ is also not a
modular point, as the choice of the line $L_{p^{\prime}}:z=0$ shows. The point
$p^{\prime\prime}=(0:1:0)$ has the same property, as our curve is invariant
under the coordinate change $x\mapsto y$ and $y\mapsto x$. To show that the
free curve $C^{\prime}$ coming from Theorem 1.8 is not supersolvable, we use
the same approach as above, the lines $L_{p}$ to use in this case are given by
$x=0$, $y=0$ or $z=0$, respectively.

##  5\. Examples: the case of smooth quartic curves

In this section we discuss examples of smooth quartic curves having the
maximal possible number of flexes of high order. Let us recall that by Theorem
1.2 the maximal possible number of flex points of order $2$ for smooth
quartics is $12$. It is natural to wonder whether there exists a complete
classification of smooth quartics which have exactly $12$ flexes of order $2$.
In order to do so, we discuss interesting properties of the following pencil
of quartics which was studied by Ciani in the 19th century.

Let us define

(5.1)
$C_{\lambda}\,:\,x^{4}+y^{4}+z^{4}+\lambda\cdot(y^{2}z^{2}+z^{2}x^{2}+x^{2}y^{2})=0.$

It is easy to observe that each curve in the pencil is invariant under the
natural action of an octahedral group of collineations.

There are some values of $\lambda$ which lead to special members of the
pencil, namely

  * •

$\lambda=0$ gives us the Fermat quartic curve, or Dyck’s curve, which has a
group of $96$ collineations;

  * •

if $\lambda$ is a root of $\lambda^{2}+3\lambda+18=0$, then we get the Klein
quartic curve having a group of $168$ collineations.

In the case of the Fermat quartic, by a discussion presented above, we know
that it has exactly $12$ flexes of order $2$, so the maximal possible number
in the class of smooth quartics. In the case of the Klein quartic curve, we
know that this curve has only flex points of order $1$, so exactly $24$
flexes. Now we pass to another interesting element in the pencil of quartics
by taking $\lambda=3$. The resulting quartic $C_{3}$ is smooth and it has the
group of collineations of order $24$. It was verified directly by Edge in [12]
that the curve $C_{3}$ admits exactly $12$ flexes of order $2$ and he provided
both the coordinates of these points and the equations of the associated
tangent lines. Now we recover Edge’s calculations. Looking precisely on the
Hessian $H$ of $C_{3}$, which is

$H=2x^{6}+x^{4}(3z^{2}+3y^{2})+x^{2}(8y^{2}z^{2}+3z^{4}+3y^{4})+2z^{6}+2y^{6}+3z^{4}y^{2}+3z^{2}y^{4},$

one can show that flexes of order $2$ are just the intersection points of the
curve $C_{3}$ with the $6$ lines given by the linear factors of

(5.2) $F=(x^{2}+y^{2})(y^{2}+z^{2})(z^{2}+x^{2}).$

The flex points have the following coordinates:

P_1 : (i:1:-1), | P_2 : (-i:1:-1),
---|---
P_3 : (-1:i:1), | P_4 : (-1:-i:1),
P_5 : (1:-1:i), | P_6 : (1:-1:-i),
P_7 : (-i:1:1), | P_8 : (i:1:1),
P_9 : (1:-i:1), | P_10: (1:i:1),
P_11: (1:1:-i), | P_12: (1:1:i).

Observe that these $12$ flexes of order $2$ are uniformly distributed, four on
each of the lines defined by $F$.

Up to now we described exactly two smooth quartics having the maximal possible
number of flexes of order $2$. However, as it turns out by a result due to
Kuribayashi and Komiya [17], these are the only smooth plane quartic curves
having $12$ flexes of order $2$, and this is rather surprising.

######  Remark 5.1.

We have seen in Theorem 1.7 that if we add to the Fermat quartic its $12$
inflectional tangents of order $2$ and the triangle $\Delta:xyz=0$ determined
by the inflection points, then we get a free curve of degree $19$. If we try
to apply the same construction to the quartic curve $C_{3}$, the resulting
curves are far from being free. One explanation for this fact may be the
following. The union ${\mathcal{A}}_{F}$ of the $12$ inflectional tangents of
the Fermat quartic is a line arrangement having $3$ points of multiplicity
$4$. On the other hand, the union ${\mathcal{A}}_{3}$ of the $12$ inflectional
tangents of the quartic $C_{3}$ is a line arrangement having only double
points, and hence the total Tjurina number $\tau({\mathcal{A}}_{3})$ is much
smaller than $\tau({\mathcal{A}}_{F})$. If we add the triangle $\Delta$ to
${\mathcal{A}}_{F}$, we get a line arrangement having 3 points of multiplicity
$6$. On the other hand, if we add to ${\mathcal{A}}_{3}$ the 6 lines
determined by (5.2), we get a line arrangement having only points of
multiplicity $2$ and $3$, and hence having small total Tjurina number compared
with respect to its degree.

##  6\. Examples: the case of singular curves

######  Example 6.1.

Any nodal cubic is projectively equivalent to the cubic

$C:F=xyz+x^{3}+y^{3}=0.$

The corresponding Hessian is $H=-2(3(x^{3}+y^{3})-xyz)$. Hence the
intersection $C\cap H_{C}$ consists of the following 4 points:

$p_{1}=(0:0:1)\text{ and }p_{j}=(1:j:0),$

where $j^{3}+1=0$. The point $p_{1}$ is a simple node, and the points $p_{j}$
give rise to $3$ inflection points of order $1$. This is reflected in the
equality

$(C,H_{C})_{p_{1}}+\sum_{j}(C,H_{C})_{p_{j}}=6+1+1+1=9,$

recall Example 2.1. The $3$ inflectional tangents $L_{k}$ for $k=1,2,3$ are
given by the equations $L_{k}:3x+3j_{k}^{3}y+j_{k}z=0$, where $j_{k}$ are the
3 roots of the equation $j^{3}+1=0$. It follows that these $3$ inflectional
tangents $L_{k}$ are not concurrent, so their addition to $C$ will not give
free curves as in Remark 5.1 above. On the other hand, if we add to $C$ the
tangent cone at the singular point, we obtain the curve

$C^{\prime}:F^{\prime}=xy(xyz+x^{3}+y^{3})=0,$

which is free with exponents $(2,2)$ as a direct computation with `SINGULAR`
shows. Moreover, this curve $C^{\prime}$ is supersolvable, since clearly
$p_{1}$ is a modular point for $C^{\prime}$.

Any cuspidal cubic is projectively equivalent to the cubic

$C:F=x^{2}z+y^{3}=0.$

The corresponding Hessian is $H=-24x^{2}y$. Hence the intersection $C\cap
H_{C}$ consists of the following 2 points

$p_{1}=(0:0:1)\text{ and }p_{2}=(1:0:0).$

The point $p_{1}$ is a cusp $A_{2}$, and the point $p_{2}$ is an inflection
point of order $1$. This is reflected in the equality

$(C,H_{C})_{p_{1}}+(C,H_{C})_{p_{2}}=8+1=9,$

recall Example 2.3. This is a special case of Theorem 1.5, and gives rise to
two free curves by adding one or two lines, as explained there.

######  Example 6.2.

In this example we consider some plane quartic curves.

Consider the quartic $C:F=(x^{3}+y^{3})z+x^{4}+y^{4}=0$, which has a
$D_{4}$-singularity at $p_{1}=(0:0:1)$. The corresponding Hessian is

$H=-54(xyz(x^{3}+y^{3})+2x^{2}y^{2}(x^{2}+y^{2})).$

The point $p_{1}$ is an ordinary simple singularity of multiplicity $k=3$, and
hence $(C,H_{C})_{p_{1}}=18$ by Theorem 1.3. There are in addition $6$
inflection points of order $1$, with are the points $(1:0:-1)$, $(0:1:-1)$ and
the $4$ points $(u:v:w)$, where $(u:v)$ is coming from the $4$ solutions of
the equation

$u^{4}+v^{4}-2uv(u^{2}+v^{2})=0$

in $\mathbb{P}^{1}$ and $w=-(u^{4}+v^{4})/(u^{3}+v^{3})$. If we add the
tangent cone of the singular point, namely the lines $x^{3}+y^{3}=0$, we get a
free curve

$C^{\prime}:F^{\prime}=(x^{3}+y^{3})F=0,$

of degree $7$ and exponents $(3,3)$. Moreover, this curve $C^{\prime}$ is
supersolvable, since clearly $p_{1}$ is a modular point for $C^{\prime}$.

Next, consider the quartic

(6.1) $C:F=x^{2}y^{2}+y^{2}z^{2}+x^{2}z^{2}=0,$

which has $3$ nodes. It is easy to see that all of them have type $(3,3)$, and
hence $C$ has no inflection points by Example 2.1. The corresponding Hessian
is

$H=-24(x^{4}y^{2}+x^{2}y^{4}+y^{4}z^{2}+y^{2}z^{4}+x^{4}z^{2}+x^{2}z^{4}-6x^{2}y^{2}z^{2}).$

If we add to $C$ one tangent line at each of the $3$ nodes, namely the lines

$(x+iy)(y+iz)(z+ix)=0,$

we get a free curve of degree $7$ with exponents $(3,3)$. All the
singularities of this curve are simple, but this curve is not maximizing,
recall our discussion in Section 3 on these curves. Finally the quartic

$C:F=x^{2}y^{2}+y^{2}z^{2}+x^{2}z^{2}-2xyz(x+y+z)=0,$

which has $3$ cusps $A_{2}$. Hence $C$ has no inflection points by Example
2.3. The corresponding Hessian is

$H=144(x^{3}y^{3}+y^{3}z^{3}+x^{3}z^{3}-x^{3}(y^{2}z+yz^{2})-y^{3}(x^{2}z+xz^{2})-z^{3}(x^{2}y+xy^{2}).$

Let $L_{1}$, $L_{2}$ and $L_{3}$ be the 3 lines which are the reduced tangent
cones corresponding to the $3$ cusps, which are given up to an order by the
equations $x-y=0$, $y-z=0$ and $z-x=0$. Then the curves

$C_{1}=C\cup L_{1},\ C_{2}=C_{1}\cup L_{2}\text{ and }C_{3}=C_{2}\cup L_{3}$

are all free, with exponents respectively

$(2,2),\ (2,3)\text{ and }(2,4).$

We get in this way a free curve $C_{1}$ of degree $5$ and maximizing curves
$C_{2}$ and $C_{3}$, of degree $6$ and $7$, respectively, as already pointed
out in [8]. It is interesting to note that the curve $C_{3}$ is supersolvable,
and the point $p=(1:1:1)$ is a modular point for it. Indeed, the lines joining
$p$ to the singularities of $C$ are already in $C_{3}$. It remains to show
that any line $L_{p}$ through $p$, different from $L_{1},L_{2},L_{3}$ meets
$C$ in exactly 4 points, that is $L_{p}$ is not a tangent line to $C$. If
$q=(u:v:w)\in C$ is a smooth point such that the tangent line $T_{q}C$ passes
through $p$, then we have

$F_{x}(q)+F_{y}(q)+F_{z}(q)=0.$

A direct computation shows that

$F_{x}(q)+F_{y}(q)+F_{z}(q)=-12uvw$

and hence at least one of the coordinates of $q$ vanishes. But then $q\in C$
implies that 2 coordinates vanish, and therefore $q$ is a singularity of $C$,
a contradiction. Note that the curve $C_{3}$ is an example of curve satisfying
both the first assumption in Theorem 1.11, since all of its singularities are
quasi homogeneous, and the second assumption, even if $p$ belongs to the
tangent cones $TC_{s}(C)$ of the three cusps, as they have Milnor numbers
equal to $2$.

######  Example 6.3.

In this example we consider the curve

$C:F=x^{m}y^{m}+y^{m}z^{m}+x^{m}z^{m}=0$

of degree $d=2m\geq 4$. This curve has 3 ordinary $m$ multiple points

$p_{1}=(1:0:0),\ p_{2}=(0:1:0)\text{ and }p_{3}=(0:0:1)$

which have type $\underbrace{(m+1,\ldots,m+1)}_{m\text{ times }}$. These
singularities are easily seen to be quasi homogeneous and hence

$\mu(C,p_{j})=\tau(C,p_{j})=(m-1)^{2},$

for $j\in\\{1,2,3\\}$. It follows by Theorem 1.2 that

$(C,H_{C})_{p_{j}}=3(m-1)^{2}+m-3+m(m+1)=4m(m-1).$

The equality (2.8) implies that $C$ has no inflection points. The reader can
check that this curve $C$ is not even nearly free, e.g. for $m=3$. On the
other hand, we show now that the curve

$C^{\prime}:F^{\prime}=xyzF=0$

is free with exponents $(m+1,m+1)$. In order to show this we note first that
the only singularities of $C^{\prime}$ are again the points $p_{j}$ for
$j\in\\{1,2,3\\}$, which are ordinary quasi homogeneous singularities of
multiplicity $(m+2)$. For the last claim one can use [2, Exercise (7.33)]. It
follows that

$\tau(C^{\prime})=3(m+1)^{2}.$

The equality

$x(y^{m}-z^{m})F_{x}-y(y^{m}+z^{m})F_{y}+z(y^{m}+z^{m})F_{z}=0$

shows that $\operatorname{mdr}(F)=m+1$. This implies that one has
$\operatorname{mdr}F^{\prime}\geq\operatorname{mdr}F=m+1$ and

$\tau(2m+3,m+1)_{max}=(2m+2)^{2}-(m+1)^{2}=\tau(C^{\prime}).$

This equality implies our claim by Theorem 3.4.

######  Example 6.4.

In this example we construct a new example of maximizing curve in degree 8 and
the first and unique known example of maximizing curve in degree $9$. Such
maximizing curves of odd degree seem to be quite exceptional, for instance we
know no example in degrees $\geq 11$. The curve

$C:F=(x^{2}+y^{2}+z^{2})^{3}-27x^{2}y^{2}z^{2}=0$

is the dual of the quartic with 3 nodes in (6.1). This sextic curves has six
cusps $A_{2}$ at the points $(0:1:\pm i)$, $(1:0:\pm i)$ and $(1:\pm i:0)$,
where $i^{2}=-1$ and four nodes $A_{1}$ at the points $(1:\pm 1:\pm 1)$. This
curve is far from being free, since the corresponding module ${\rm D}_{0}(F)$
has 4 generators, as one can check using, for instance, `Singular`. If we add
the line $L_{1}:x=0$, the curve $C_{1}=C\cup L_{1}$ is nearly free with
exponents $(3,4)$. If we add one more line, namely $L_{2}:y=0$, the resulting
curve $C_{2}=C_{1}\cup L_{2}$ is free with exponents $(3,4)$, and this gives a
new example of maximizing curve in degree 8\. Finally, if we add the third
line $L_{3}:z=0$, the resulting curve

$C_{3}=C_{2}\cup
L_{3}:F^{\prime}=xyz\left((x^{2}+y^{2}+z^{2})^{3}-27x^{2}y^{2}z^{2}\right)=0$

has six singularities $E_{7}$ at the points $(0:1:\pm i)$, $(1:0:\pm i)$ and
$(1:\pm i:0)$, and seven nodes $A_{1}$ at the points $(1:\pm 1:\pm 1)$,
$(1:0:0)$, $(0:1:0)$ and $(0:0:1)$. It follows that

$\tau(C_{3})=6\cdot 7+7\cdot 1=49,$

and this equality implies our claim by Definition 3.6. Theorem 3.7 tells us
that $C_{3}$ is a free curve with exponents $(3,5)$ obtained from $C$ by
adding the three lines $L_{1}$, $L_{2}$ and $L_{3}$.

##  7\. On a theorem by Schenck, Terao and Yoshinaga and conic-line free
arrangements

We start with a remark concerning the paper [22]. Let $C_{1}:F_{1}=0$ and
$C_{2}:F_{2}=0$ be two reduced curves in $\mathbb{P}^{2}$, without common
irreducible components. We denote $d_{j}=\deg F_{j}$ and $r_{j}=mdr(F_{j})$
for $j=1,2$. Consider now the union of the two curves $C:F=F_{1}F_{2}=0$, and
let $d=d_{1}+d_{2}=\deg F$ and $r={\rm mdr}(F)$. Using the main result in
[22], namely [22, Theorem 1.6 and Remark 1.8], one can obtain relations among
the 3 integers $r_{1},r_{2}$ and $r$. The hypothesis in [22, Theorem 1.6 and
Remark 1.8] are the following: all the singularities of $C_{1}$ and $C$ are
quasi homogeneous, and $C_{2}$ is a smooth curve. However, the quasi
homogeneity of the singularities of $C_{1}$ and $C$ is only used in [22,
Proposition 2.5] to compute the difference

$\tau(C)-\tau(C_{1})$

using [22, Lemma 2.4], which is the equality (4.1) above. In this difference,
the contribution of the singularities of $C_{1}$ not on $C_{2}$ cancels, and
hence we need to control only the change in the Tjurina numbers at the points
of the intersection $C_{1}\cap C_{2}$, when we add the curve $C_{2}$. Hence
the hypothesis in [22, Theorem 1.6 and Remark 1.8] can be relaxed to the
following: all the singularities of $C_{1}$ and $C$ situated on $C_{2}$ are
quasi homogeneous, and $C_{2}$ is a smooth curve. In view of this remark, we
have the following stronger version of [7, Corollary 6.4].

######  Corollary 7.1.

With the above notation, assume that $C_{2}$ is a smooth curve, and that all
singularities of the curves $C_{1}$ and $C$ situated on $C_{2}$ are quasi
homogeneous. Let $R$ be the reduced scheme of $C_{1}\cap C_{2}$. If

$|R|>(r_{1}+1)d_{2},$

then $r=r_{1}+d_{2}$.

We use this stronger result to construct a family of free conic-line
arrangements as follows. Let $C_{0}$ be the union of $m$ smooth conics
belonging to a hyperosculating pencil of conics, that is a pencil of conics
with one base point. Let $C_{1}=C_{0}\cup L_{0}$, where $L_{0}$ is the common
tangent to all the conics in $C_{0}$. An explicit equation for a special case
of such curves $C_{0}:F_{0}=0$ and $C_{1}:F_{1}=0$ can be found in [5,
Equation (1.8)], namely

(7.1) $F_{0}=x^{2m}+(xz+y^{2})^{m}\text{ and
}F_{1}=xF_{0}=x(x^{2m}+(xz+y^{2})^{m}).$

These curves have been considered by several authors, see for instance [26,
Section 7.5, p. 179] and [21, 23], in relation with the maximal Milnor number
a singular point on a plane curve of degree $d$ might have. These authors
showed in particular that

$\mu(C_{j})=(d_{j}-1)^{2}-\bigg{\lfloor}\frac{d_{j}}{2}\bigg{\rfloor},$

where $d_{j}=\deg C_{j}$ for $j=0,1$. On the other hand, it is known that
these curves are free with $r_{j}={\rm mdr}(F_{j})=1$, for $j=0,1$, see [1,
Theorem A], where $C_{0}$ is denoted by ${\mathcal{C}}_{1}$ and $C_{1}$ is
denoted by ${\mathcal{C}}{\mathcal{L}}_{1}$. See also [5] for the particular
curves in (7.1). It follows that

$\tau(C_{j})=(d_{j}-1)^{2}-d_{j}+2<\mu(C_{j})$

as soon as $d_{j}\geq 5$. Hence the singularity of the curve $C_{j}$ at the
point $p=C_{0}\cap L_{0}$, the base point of the pencil, is not quasi
homogeneous when $d_{j}\geq 5$. Let $q\in L_{0}$ be a point distinct from $p$.
Let $Q_{1},\ldots,Q_{m}$ be the smooth conics in $C_{0}$ and let $L_{j}$ be
the tangent from $q$ to the conic $Q_{j}$, distinct from the tangent $L_{0}$.
With this notation we have the following.

######  Proposition 7.2.

For any $m\geq 2$ and $j=2,\ldots,m+1$, the conic-line arrangement

$C_{j}=C_{1}\cup L_{1}\cup\ldots\cup L_{j-1}:F_{j}=0$

is a free curve of degree $d_{j}=2m+j$ with $r_{j}=j$.

###### Proof.

We prove this claim by induction on $j$. The case $j=1$ is proved in [1], as
we said above. Assume that the claim holds for some curve $C_{k}$, with $1\leq
k<m+1$, and let’s prove it for $C_{k+1}$. The fact that $d_{k+1}=2m+k+1$ is
obvious. Note that the line $L_{k}$ is tangent to the conic $Q_{k}$ and meets
any other conic $Q_{j}$ for $j\neq k$ in 2 points. To see this, one may use
Remark 7.3 below. Hence

$|R_{k}|=|C_{k}\cap L_{k}|=2(m-1)+1+1=2m>k+1=r_{k}+1,$

since $k<m+1\leq m+1+(m-2)=2m-1$. Using Corollary 7.1 we get
$r_{k+1}=r_{k}+1=k+1$. Note that

$2r_{k+1}=2(k+1)\leq d_{k+1}-1=2m+k$

since $k\leq 2m-2$ as we have seen above. Hence, using Theorem 3.4, the curve
$C_{k+1}$ is free if and only if

$\tau(C_{k+1})=\tau(d_{k+1},r_{k+1})_{max}.$

In other words, we have to check that the addition of the line $L_{k}$ to
$C_{k}$ increases its total Tjurina number by

$\Delta_{k}=\tau(d_{k+1},r_{k+1})_{max}-\tau(d_{k},r_{k})_{max}=d_{k}+r_{k}=2m+2k.$

At the point $q$, the change in Tjurina number is

$k^{2}-(k-1)^{2}=2k-1,$

since we pass essentially from a local equation $u^{k}+v^{k}=0$ to
$u^{k+1}+v^{k+1}=0$. Except the point $q$, there is a singularity of type
$A_{3}$ corresponding to the tangent point, and $2(m-1)$ nodes $A_{1}$ on the
line $L_{k}$. Hence, we get

$2k-1+3+2(m-1)=\Delta_{k},$

which completes our proof. ∎

######  Remark 7.3.

Note that a line $L_{k}$, which is tangent to the conic $Q_{k}$, cannot be
also tangent to another conic $Q_{j}$ with $j\neq k$. To show this, it is
enough to consider the curve $C_{1}$ when $m=2$. If there is a point $q\in
L_{0}$ such that the equality $L_{1}=L_{2}$ holds, then the curve $C_{2}$ has
degree $d_{2}=6$, $r_{2}=2$ by Corollary 7.1, and the contribution of the line
$L_{1}$ to $\tau(C_{2})$ would be

$3+3+1>\Delta_{1}=5+1.$

This is a contradiction with Theorem 3.4 since our calculation above would
yield

$\tau(C_{2})>\tau(6,2)_{max}.$

######  Remark 7.4.

Note that the curve $C_{m+1}$ is supersolvable since $q$ is a modular point.
Since the singularity at $p$ is not quasi homogeneous for $m\geq 2$, we get a
new countable family of supersolvable curves, supporting our Conjecture 1.10,
and not covered by Theorem 1.11. An explicit equation for such a curve is the
following, obtained from (7.1):

$C_{m+1}:F_{m+1}=x(x^{m}+z^{m})(x^{2m}+(xz+y^{2})^{m})=0,$

where $p=(0:0:1)$ and $q=(0:1:0)$.

######  Remark 7.5.

In [1, Theorem A], the authors classify all the conic-line arrangements
$C:F=0$ which are free with ${\rm mdr}(F)=1$. Besides the union of concurrent
lines and the curves $C_{0}$ and $C_{1}$ discussed above, the other 4 types of
such curves, denoted by ${\mathcal{C}}{\mathcal{L}}_{j}$ with $j=2,3,4,5$, are
obtained using a bitangent pencil of conics. It is easy to see, using for
instance [7, Equation 5.1] with $x^{2}-y^{2}$ replaced by $xy$, that in these
cases all the singularities of these curves are quasi homogeneous. One can
obtain new families of free conic-line arrangements from them by adding
concurrent tangent lines, but, in particular, the resulting supersolvable
curves are covered by our Theorem 1.11. As an example, consider the curve
$\mathcal{CL}_{5}$ studied in [1]. This curve, which we denote by $D_{0}$, is
the union of $m$ smooth conics belonging to a bitangent pencil of conics, the
tangent lines $T_{0}$ and resp. $T_{0}^{\prime}$ in the tangency points $p$
and resp. $p^{\prime}$ of the pencil, and the line $L_{0}$ joining the two
tangency points, see [1, Theorem A]. Let $q$ be a point on $L_{0}$, distinct
from $p$ and $p^{\prime}$. Then add one by one tangents to the smooth conics
in $D_{0}$ passing through $q$. For each conic we can add one or two tangents.
If we denote by $D_{k}$, for $1\leq k\leq 2m$, one of the several conic-line
arrangements obtained from $D_{0}$ by adding $k$ such tangent lines, it it
easy to show exactly as in the proof of Proposition 7.2 that $D_{k}:F_{k}=0$
is a free conic-line arrangement with $d_{k}=\deg F_{k}=2m+3+k$ and
$r_{k}=k+1$. Note that in this case the difference $\delta_{k}$ given by

$\delta_{k}=d_{k}-1-2r_{k}=2m-k\geq 0$

can be as small as we like, can even vanish when $k=2m$, that is for the curve
corresponding to $k=2m$ in this family. On the other hand, for the curves
$C_{k}$ in Proposition 7.2 one has

$\delta_{k}=d_{k}-1-2r_{k}=2m+k-1-2k=2m-k-1\geq m-2>0$

when $m>2$.

To get a supersolvable curve from $D_{2m}$, it is enough to add the line
$L_{0}^{\prime}$ joining the point $q$ with the intersection point
$q^{\prime}=T_{0}\cap T_{0}^{\prime}$. Note that

$|D_{2m}\cap L_{0}^{\prime}|=2m+2=r_{2m}+1,$

and hence Corollary 7.1 cannot be applied. On the other hand, we know that
$D_{2m+1}=D_{2m}\cup L_{0}^{\prime}:F_{2m+1}=0$ is a free curve by Theorem
1.11, and hence

$2m+1=r_{2m}\leq r_{2m+1}\leq\frac{\deg F_{2m+1}-1}{2}=\frac{4m+3}{2}.$

It follows that one has

$2m+1=r_{2m}=r_{2m+1}.$

## References

  * [1] V. Beorchia and R.M. Miró-Roig, Jacobian schemes of conic-line arrangements and eigenspaces. arXiv:2303.04665.
  * [2] A. Dimca, Topics on real and complex singularities. An introduction. Advanced Lectures in Mathematics. Braunschweig/Wiesbaden: Friedr. Vieweg & Sohn. (1987).
  * [3] A. Dimca,  Hyperplane Arrangements: An Introduction, Universitext, Springer-Verlag, 2017.
  * [4] A. Dimca, Curve arrangements, pencils, and Jacobian syzygies. Michigan Math. J. 66: 347 – 365 (2017).
  * [5] A. Dimca, Free and nearly free curves from conic pencils. J. Korean Math. Soc. 55: 705 – 717 (2018).
  * [6] A. Dimca, D. Ibadula, A. Măcinic, Numerical invariants and moduli spaces for line arrangements. Osaka J. Math. 57: 847 – 870 (2020).
  * [7] A. Dimca, G. Ilardi, G. Sticlaru, Addition-deletion results for the minimal degree of a Jacobian syzygy of a union of two curves. J. Algebra 615(1): 77 – 102 (2023).
  * [8] A. Dimca and P. Pokora, Maximizing curves viewed as free curves. Int. Math. Res. Not. IMRN, doi.org/10.1093/imrn/rnad042 (2023).
  * [9] A. Dimca and G. Sticlaru, Free and Nearly Free Curves vs. Rational Cuspidal Plane Curves. Publ. Res. Inst. Math. Sci. 54: 163 – 179 (2018).
  * [10] A. Dimca and G. Sticlaru, Plane curves with three syzygies, minimal Tjurina curves, and nearly cuspidal curves. Geom. Dedicata: 207: 29 – 49 (2020).
  * [11] A. A. Du Plessis and C. T. C. Wall, Application of the theory of the discriminant to highly singular plane curves. Math. Proc. Camb. Philos. Soc. 126(2): 259 – 266 (1999).
  * [12] W. L. Edge, A plane quartic curve with twelve undulations. Edinburgh Math. Notes 35: 10 – 13 (1945).
  * [13] G. Fischer, Ebene algebraische Kurven. Vieweg, 1994.
  * [14] G.-M. Greuel, C. Lossen and E. Shustin, Introduction to Singularities and Deformations. Springer (2007).
  * [15] A. Josse and F. Pène, On the degree of caustics of reflection. Comm. Algebra 42: 2442 – 2475 (2014).
  * [16] E. Kunz, Introduction to Plane Algebraic Curves, Birkhäuser, 2005.
  * [17] A. Kuribayashi and K. Komiya, On Weierstrass points and automorphisms of curves of genus three. Algebraic geometry, Proc. Summer Meet., Copenh. 1978, Lect. Notes Math. 732: 253 – 299 (1979).
  * [18] S. Marchesi and J. Vallès - Triangular arrangements on the projective plane. Épijournal de Géom. Algébr., EPIGA 7: Article 14, 20 p. (2023).
  * [19] T. K. Moe, Cuspidal curves on Hirzebruch surfaces. PhD thesis, University of Oslo, 2013, pp. xx+154.
  * [20] P. Orlik and H. Terao, Arrangements of Hyperplanes, Springer-Verlag, Berlin Heidelberg New York, 1992.
  * [21] A. Płoski, A bound for the Milnor number of plane curve singularities. Cent. Eur. J. Math. 12(5): 688 – 693 (2014).
  * [22] H. Schenck, H. Terao, M. Yoshinaga, Logarithmic vector fields for curve configurations in $\mathbb{P}^{2}$ with quasihomogeneous singularities. Math. Res. Lett. 25: 1977–1992 (2018).
  * [23] J. Shin, A bound for the Milnor sum of projective plane curves in terms of GIT. J. Korean Math. Soc. 53(2): 461 – 473 (2016).
  * [24] A. Simis, S.O. Tohăneanu, Homology of homogeneous divisors. Israel J. Math. 200: 449 – 487 (2014).
  * [25] S. O. Tohăneanu, On freeness of divisors on $\mathbb{P}^{2}$. Commun. Algebra 41(8): 2916 – 2932 (2013).
  * [26] C. T. C. Wall, Singular Points of Plane Curves. Cambridge University Press, 2004.