## On the self-intersection number of the nonsingular models of rational cuspidal plane curves

Keita Tono

## Abstract

In this paper, we consider rational cuspidal plane curves having at least three cusps. We give an upper bound of the self-intersection number of the proper transforms of such curves via the minimal embedded resolution of the cusps. For a curve having exactly three cusps, we show that the self-intersection number is equal to the bound if and only if the curve coincides with the quartic curve having three cusps.

## 1 Introduction

Let C be an algebraic curve on P 2 = P 2 ( C ). A singular point of C is said to be a cusp if it is a locally irreducible singular point. We say that C is cuspidal if C has only cusps as its singular points. Suppose that C is rational and cuspidal. Let C ′ be the proper transform of C via the minimal embedded resolution of the cusps. Let ( C ′ ) 2 denote its self-intersection number. For instance, ( C ′ ) 2 = d if C is the rational cuspidal plane curve defined by the equation x d = y d -1 z , where d &gt; 2 and ( x, y, z ) are homogeneous coordinates of P 2 . We estimate ( C ′ ) 2 in the following way.

Theorem 1. Let C be a rational cuspidal plane curve with n cusps. If n ≥ 3 , then ( C ′ ) 2 ≤ 7 -3 n .

/negationslash

Remark 1.1. It was proved in [H1, Theorem 3.5] that if Γ is a smooth curve of genus g ≥ 1 on a smooth rational projective surface S ( S = P 2 if g = 1), then Γ 2 ≤ 4 g + 4. From this fact we infer that if C is a cuspidal plane curve of genus g ≥ 1 with n cusps then ( C ′ ) 2 ≤ 4 g +4 -2 n . It was shown in [SST] that for given integers g, n with g ≥ 0, 1 ≤ n ≤ 2 g +2 there exist sequences of cuspidal plane curves C of genus g with n cusps such that ( C ′ ) 2 = 4 g +4 -2 n .

2010 Mathematics Subject Classification. 14H50

Key words and phrases. plane curve, cusp, self-intersection number.

Supported by JSPS Grant-in-Aid for Scientific Research (22540040) and the Fuujukai Foundation.

Let C be a rational cuspidal plane curve with n cusps. It was proved in [T1] that n ≤ 8. We denote by κ = κ ( P 2 \ C ) the logarithmic Kodaira dimension of the complement of C . By [W], we see κ = 2 if n ≥ 3. Moreover, if n = 2, then κ ≥ 0. If n = 1, then it was proved in [Y] that κ = -∞ if and only if ( C ′ ) 2 &gt; -2. If n = 2, then ( C ′ ) 2 ≤ 0 by [T3]. From these facts and Theorem 1, ( C ′ ) 2 is bounded from above if κ = -∞ .

/negationslash

There are no known examples of rational cuspidal plane curves having more than 4 cusps. There is only one known rational cuspidal plane curve C with 4 cusps. The curve C is a quintic curve with ( C ′ ) 2 = -7 ([N, Theorem 2.3.10]). In [FZ1] (resp. [FZ2], [Fe]), a sequence of rational cuspidal plane curves C of degree d with three cusps was constructed, where d ≥ 4 (resp. d = 2 k + 3, d = 3 k + 4, k ≥ 1). They satisfy ( C ′ ) 2 = 2 -d (resp. ( C ′ ) 2 = -k -2, ( C ′ ) 2 = -k -3). The bound given by Theorem 1 is the best possible one for the case in which n = 3 as the quartic curve C with three cusps satisfies ( C ′ ) 2 = -2. Moreover, we prove the following:

Theorem 2. Let C be a rational cuspidal plane curve with three cusps. Then ( C ′ ) 2 = -2 if and only if C coincides with the quartic curve having three cusps.

In [T2], it was proved that the rational cuspidal plane curves C with n = 1, κ = 2 and ( C ′ ) 2 = -2 coincide with those constructed by Orevkov in [O]. In [T3], the rational cuspidal plane curves C with n = 2, κ = 2 and ( C ′ ) 2 = -1 were classified. Theorem 2 is a similar result for the case in which n = 3.

## 2 Preliminaries

In this section we prepare the proof of our theorems.

## 2.1 Linear chains

Let D be a divisor on a smooth projective surface V . Let D ,.. . , D 1 r be the irreducible components of D . We call D an SNC-divisor if D is a reduced effective divisor, each D i is smooth, D D i j ≤ 1 for distinct D , D i j , and D i ∩ D j ∩ D k = ∅ for distinct D , D , D i j k . Assume that D is an SNCdivisor. We use the following notation and terminology (cf. [Fu, Section 3] and [MT1, Chapter 1]). A blow-up at a point P ∈ D is said to be sprouting (resp. subdivisional ) with respect to D if P is a smooth point (resp. node) of D . We also use this terminology for the case in which D is a point. By definition, the blow-up is subdivisional in this case.

Assume that each D i is rational. Let Γ = Γ( D ) denote the dual graph of D . We give the vertex corresponding to a component D i the weight D 2 i . We sometimes do not distinguish between D and its weighted dual

/negationslash graph Γ. Assume that Γ is connected and linear. In case where r &gt; 1, the weighted linear graph Γ together with a direction from an endpoint to the other is called a linear chain . By definition, the empty graph ∅ and a weighted graph consisting of a single vertex without edges are linear chains. If necessary, renumber D ,.. . , D 1 r so that the direction of the linear chain Γ is from D 1 to D r and D D i i +1 = 1 for i = 1 , . . . , r -1. We denote Γ by [ -D ,.. . , 2 1 -D 2 r ]. We sometimes write Γ as [ D ,.. . , D 1 r ]. The linear chain Γ is called admissible if Γ = ∅ and D 2 i ≤ -2 for each i . We define the discriminant d (Γ) of Γ as the determinant of the r × r matrix ( -D D i j ). We set d ( ∅ ) = 1.

/negationslash

Let A = [ a , . . . , a 1 r ] be a linear chain. We use the following notation if A = ∅ :

$$^ { t } A \coloneqq [ a _ { r }, \dots, a _ { 1 } ], \ \overline { A } \coloneqq [ a _ { 2 }, \dots, a _ { r } ], \ \underline { A } \coloneqq [ a _ { 1 }, \dots, a _ { r - 1 } ].$$

The discriminant d A ( ) has the following properties ([Fu, Lemma 3.6]).

Lemma 2.1. Let A = [ a , . . . , a 1 r ] be a linear chain, where a , . . . , a 1 r are integers.

- (i) If r &gt; 1 , then d A ( ) = a d A 1 ( ) -d A ( ) = d ( t A ) = a d A r ( ) -d A ( ) .
- (ii) If r &gt; 1 , then d A d A ( ) ( ) -d A d A ( ) ( ) = 1 .
- (iii) If A is admissible, then gcd( d A , d A ( ) ( )) = 1 and d A ( ) &gt; d A ( ) &gt; 0 .

Let A be an admissible linear chain. The rational number e A ( ) := d A /d A ( ) ( ) is called the inductance of A . By [Fu, Corollary 3.8], the function e defines a one-to-one correspondence between the set of all the admissible linear chains and the set of rational numbers in the interval (0 , 1). For a given admissible linear chain A , the admissible linear chain A ∗ := e -1 (1 -e ( t A )) is called the adjoint of A ([Fu, 3.9]). Admissible linear chains and their adjoints have the following properties ([Fu, Corollary 3.7, Proposition 4.7]).

Lemma 2.2. Let A and B be admissible linear chains.

- (i) If e A ( ) + e B ( ) = 1 , then d A ( ) = d B ( ) and e ( t A ) + e ( t B ) = 1 .
- (ii) We have A ∗∗ = A , t ( A ∗ ) = ( t A ) ∗ and d A ( ) = d A ( ∗ ) = d A ( ∗ ) + d A ( ) .

For integers m n , with n ≥ 0, we define [ m n ] = [ n ︷ ︸︸ ︷ m,... , m ], t n = [2 n ]. For non-empty linear chains A = [ a , . . . , a 1 r ], B = [ b 1 , . . . , b s ], we write A ∗ B = n

[ A,a r + b 1 -1 , B ], A ∗ n = ︷ ︸︸ ︷ A ∗ · · · ∗ A , where n ≥ 1 and a , . . . , a 1 r , b 1 , . . . , b s are integers. We remark that ( A ∗ B ) ∗ C = A ∗ ( B ∗ C ) for non-empty linear chains A B , and C . By using Lemma 2.1 and Lemma 2.2, we can show the following lemma.

Lemma 2.3. Let A = [ a 1 + 1 , . . . , a r + 1] be an admissible linear chain, where a , . . . , a 1 r are positive integers.

- (i) For a positive integer n , we have [ A,n +1] ∗ = t n ∗ A ∗ .
- (ii) We have A ∗ = t a r ∗ · · · ∗ t a 1 .

## 2.2 Vanishing theorem and Zariski decomposition

/negationslash

Let V be a smooth projective surface, K a canonical divisor and D = 0 a Q -divisor on V . Write D as D = ∑ r i =1 q D i i , where q i ∈ Q \{ } 0 and all D i 's are distinct irreducible curves. The divisor D is said to be numerically effective ( nef , for short) if DC ≥ 0 for all curves C on V . We define /floorleft D /floorright = ∑ i /floorleft q i /floorright D i and /ceilingleft D /ceilingright = -/floorleftD /floorright , where /floorleft q i /floorright is the greatest integer less than or equal to q i . We will use the following vanishing theorem ([Mi], [S2, Theorem 5.1]).

Theorem 3. Let D be a nef Q -divisor on a smooth projective surface V and K a canonical divisor on V . If D &gt; 2 0 , then h i ( V, K + /ceilingleft D /ceilingright ) = 0 for i &gt; 0 .

We denote by Q ( D ) the Q -vector space generated by D ,.. . , D 1 r . The divisor D is said to be contractible if the intersection form defined on Q ( D ) is negative definite ([Fu, Section 6]). The divisor D is said to be pseudoeffective if DH ≥ 0 for all nef divisors H on V . By [Fu, Theorem 6.3], if D is pseudo-effective, then there exists an effective Q -divisor N satisfying the following conditions.

- (i) N is contractible if N = 0.

/negationslash

- (ii) H = D -N is nef.
- (iii) HE = 0 for all irreducible components E of N .

The divisor N is determined by the numerical equivalence class of D by [Fu, Lemma 6.4]. The decomposition D = H + N is called the Zariski decomposition of D . The divisor N (resp. H ) is called the negative part (resp. nef part ) of D .

From now on, we assume that V and D satisfy the following conditions.

- (Z1) D = 0 is an SNC-divisor such that K + D is pseudo-effective.

/negationslash

- (Z2) Each ( -1)-curve E ≤ D satisfies ( D -E E &gt; ) 2 or, ( D -E E ) = 2 and E intersects only a single irreducible component of D .

Following [Fu, MT1], we use the following terminology. The divisor D is said to be rational if each D i is rational. Let 0 &lt; T = ∑ t j =1 T j ≤ D be a divisor, where T j 's are irreducible. The divisor T is called a twig of D if ( D -T 1 ) T 1 = 1, ( D -T j ) T j = 2 and T j -1 T j = 1 for j ≥ 2. Suppose that T is

a rational twig of D . The twig T is said to be admissible if T 2 j &lt; -1 for all j . We infer under the assumption (Z2) that a rational twig is contractible if and only if it is admissible. There exists an irreducible component D i of D such that T D t i = 1 and D i /notlessequal T . The rational twig T is said to be maximal if D i is not rational or ( D -D D &gt; i ) i 2. Suppose that the twig T is rational and contractible. The element Bk( T ) ∈ Q ( T ) satisfying Bk( T T ) j = ( K + D T ) j for all j is called the bark of T .

Let B be a connected component of D . The divisor B is called a rod if the dual graph Γ( B ) of B is linear. The divisor B is called a rational fork if it satisfies the following conditions.

- (i) B = C + T (1) + T (2) + T (3) is rational, where T (1) , T (2) , T (3) are contractible maximal rational twigs of D and C is an irreducible curve such that ( B -C C ) = 3.
- (ii) ( K + B -Σ Bk( i T ( ) i )) C &lt; 0.

Suppose that B is a rational rod or a rational fork. Suppose also that B is contractible. The element Bk( B ) ∈ Q ( B ) satisfying Bk( B E ) = ( K + B E ) for all irreducible components E of B is called the bark of B . Let B , B , . . . 1 2 be the all rational rods and rational forks which are contractible. Let T , T 1 2 , . . . denote the all rational maximal twigs which are contractible and not contained in any B i . The divisor Bk( D ) = ∑ i Bk( B i ) + ∑ j Bk( T j ) is called the bark of D .

Let N denote the negative part of K + D . We will use the following facts. See [Fu, Section 6] and [MT1, Chapter 1]. Note that rods (resp. rational forks) are called clubs (resp. abnormal rational clubs ) in [Fu, Section 6]. The divisor Bk( D ) is denoted by Bk ( ∗ D ) and called the thicker bark of D .

Lemma 2.4. The following assertions hold under the assumptions (Z1), (Z2).

- (i) All rational rods, rational forks and rational twigs of D belong to Q ( N ) . In particular, they are contractible.

/negationslash

- (ii) If N = Bk( D ) and any connected component of D is not a rational rod, then there exists a ( -1 )-curve E ⊂ Supp( N ) such that DE ≤ 1 and E /notlessequal D . Moreover, E meets with Supp(Bk( D )) if DE = 1 .

Proof. (i) By [Fu, Lemma 6.13], all rational rods and rational twigs of D belong to Q ( N ). Let B be a rational fork. Write B as B = C + T (1) + T (2) + T (3) as in the definition of rational forks. Since ( N -Σ Bk( i T ( ) i )) C ≤ ( K + D -Σ Bk( i T ( ) i )) C &lt; 0, we have C ∈ Q ( N ) by [Fu, Lemma 6.15]. Hence B ∈ Q ( N ).

- (ii) We note that all rational twigs are admissible by (i) and (Z2). Thus the assertion follows from [Fu, Lemma 6.20]. See also Section 1.6, 1.7, 1.8 of [MT1].

Lemma 2.5. In addition to the assumptions (Z1), (Z2), suppose that N = Bk( D ) , κ V ( \ D ) = 2 and that every rational rod and rational fork of D contains an irreducible component E with E 2 &lt; -2 . Then the following assertions hold.

- (i) /floorleft N /floorright = 0 .
- (ii) h 1 ( V, 2 K + D ) = h 2 ( V, 2 K + D ) = 0 .
- (iii) h 0 ( V, 2 K + D ) = K K ( + D ) + D K ( + D / ) 2 + χ ( O V ) .

Proof. We have /floorleft N /floorright = Bk( /floorleft D ) /floorright = 0 by [MT1, Section 1.4 and Lemma 1.5] and the assumption. Since κ V ( \ D ) = 2, we see H &gt; 2 0 by [K]. We apply Theorem 3 to H . We have 0 = h i ( V, K + /ceilingleft H /ceilingright ) = h i ( V, 2 K + D + /ceilingleftN /ceilingright ) = h i ( V, 2 K + D ) for i = 1 2. The last equality follows from the Riemann-Roch , formula.

## 2.3 The bigenus of Q-homology planes

/negationslash

Let V be a smooth projective surface, K a canonical divisor and D = 0 an SNC-divisor on V . Suppose that X := V \ D is a Q -homology plane. That is, H X, i ( Q ) = { } 0 for i &gt; 0. In this section, we compute the bigenus h 0 ( V, 2 K + D ) of X ([S1]). We will use the following facts ([Fu, Corollary 2.5, Theorem 2.8], [H2, Theorem II.4.2] and [MT2, Main Theorem]).

Lemma 2.6. The following assertions hold,

- (i) X is affine.
- (ii) h 1 ( V, O V ) = h 2 ( V, O V ) = 0 .
- (iii) Γ( D ) is a connected rational tree.
- (iv) D is not contractible.
- (v) If κ X ( ) = 2 , then X does not contain topologically contractible algebraic curves.

From now on, we assume that V and D satisfy the following conditions.

- (H1) κ X ( ) = 2.
- (H2) All ( -1)-curves E ≤ D satisfy ( D -E E &gt; ) 2.

Note that V, D satisfy the conditions (Z1), (Z2) in Section 2.2. Let K + D = H + N be the Zariski decomposition, where N is the negative part of K + D .

Proposition 2.7. Let V , D be as above satisfying the assumptions (H1), (H2). Then the following assertions hold.

- (i) D is neither a rational rod nor a rational fork.
- (ii) We have N = Bk( D ) , /floorleft N /floorright = 0 .
- (iii) We have h 1 ( V, 2 K + D ) = h 2 ( V, 2 K + D ) = 0 , h 0 ( V, 2 K + D ) = K K ( + D ) .

/negationslash

Proof. The divisor D is neither a rational rod nor a rational fork by Lemma 2.4 (i) and Lemma 2.6 (iv). Suppose N = Bk( D ). By the assertion (i) and Lemma 2.4 (ii), there exists a ( -1)-curve E /notlessequal D such that DE ≤ 1, which contradicts Lemma 2.6 (i), (v). We have χ ( O V ) = 1, D K ( + D ) = -2 by Lemma 2.6 (ii), (iii). Thus the remaining assertions follow from Lemma 2.5.

We will use the following lemma to show Theorem 2.

/negationslash

Lemma 2.8. Let ϕ : V → W be the composition of successive blow-ups over a smooth projective surface W and D = 0 an SNC-divisor on V . Let P ∈ W be the center of the first blow-up of ϕ and E the exceptional curve of the last blow-up over P . Assume that the following conditions are satisfied.

- (1) V \ D is a Q -homology plane with κ V ( \ D ) = 2 .
- (2) E /notlessequal D .

Then the following assertions hold.

- (i) At least two locally irreducible branches of ϕ D ( ) pass through P .
- (ii) Suppose that exactly two locally irreducible branches D ,D 1 2 of ϕ D ( ) pass through P . Suppose also that D ,D 1 2 intersect each other at P transversally. Let D ,D ′ 1 ′ 2 denote the proper transforms of D ,D 1 2 via ϕ , respectively. Then the dual graph of D ′ 1 + ϕ -1 ( P ) + D ′ 2 has the following shape, where 0 ≤ T , T 1 2 ≤ D may be empty.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0190v1-figure-98a6c366-4473-4b95-bfcc-8e6c1a16117d.jpg)

$$D _ { 1 } ^ { \prime } \circ \underset { T _ { 1 } } { \longleftarrow } \underset { E } { \longleftarrow } \underset { T _ { 2 } } { \longleftarrow } \underset { T _ { 2 } } { \longleftarrow } \underset { T _ { 2 } } { \longleftarrow } \circ D _ { 2 } ^ { \prime }$$

Proof. It is enough to show the assertions for the case in which all blow-ups of ϕ are done over P .

/negationslash

- (i) By Lemma 2.6 (iv), ϕ D ( ) is not a point (cf. [Mu]). Let D ′ denote the proper transform of ϕ D ( ) via ϕ . The divisor T := ϕ -1 ( P ) is an SNC-divisor. The dual graph of T is a connected tree. If P ∈ ϕ D ( ), then T ⊂ V \ D , which contradicts the fact that V \ D is affine. Thus P ∈ ϕ D ( ). Suppose that there is only one locally irreducible branch of ϕ D ( ) which passes through P . Then T ∩ D ′ consists of a single point Q .

/negationslash

We see T = E since E D \ is not topologically contractible by Lemma 2.6. Suppose that T 0 := T -E does not intersect D ′ . Then D ′ intersects only

E /notlessequal D among the irreducible components of T . Since D is connected, we have T 0 ⊂ V \ D , which is absurd. Hence T 0 ∩ D ′ = { Q } . We note that E may pass through Q . If T E 0 = 1, then E ∩ D = ∅ or E ∩ D = one point , { } which contradicts Lemma 2.6. Thus T E 0 ≥ 2 and T 0 is not connected. Let T 1 be a connected component of T 0 which does not passes through Q . Then T 1 intersects only E /notlessequal D among the irreducible components of T -T 1 . This means that T 1 ⊂ V \ D , which is impossible.

/negationslash

(ii) It follows from (i) that the dual graph of D ′ 1 + ϕ -1 ( P ) + D ′ 2 is linear. Suppose that there exists an irreducible component E ′ of ϕ -1 ( P ) -E such that E ′ /notlessequal D . If E ∩ E ′ = ∅ , then DE = 1, which contradicts Lemma 2.6. Thus E ∩ E ′ = ∅ . Then D ′ 1 + ϕ -1 ( P ) + D ′ 2 -E -E ′ is not connected. Since D is connected, V \ D contains a connected component of D ′ 1 + ϕ -1 ( P ) + D ′ 2 -E -E ′ , which is impossible.

## 3 Proof of Theorem 1 and Theorem 2

Let C be a rational cuspidal plane curve and P , . . . , P 1 n the cusps of C . We will use the fact that P 2 \ C is a Q -homology plane. Let σ : V → P 2 be the composition of a shortest sequence of blow-ups such that the reduced total transform D := σ -1 ( C ) is an SNC-divisor. Let C ′ be the proper transform of C . For each k , the dual graph of σ -1 ( P k ) + C ′ has the following shape.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0190v1-figure-fc8f3ffb-6fca-4148-a5f3-384a586e09d3.jpg)

Here D ( k ) 0 is the exceptional curve of the last blow-up over P k and h k ≥ 1. By definition, A ( k ) 1 contains the exceptional curve of the first blow-up over P k . The morphism σ contracts A ( k ) h k + D ( k ) 0 + B ( k ) h k to a ( -1)-curve E , A ( k ) h k -1 + E + B ( k ) h k -1 to a ( -1)-curve, and so on. The self-intersection number of every irreducible component of A ( k ) i and B ( k ) i is less than -1 for each i . See [BK, MaSa] for detail.

We give the graphs A ( k ) 1 , . . . , A ( k ) h k (resp. B ( k ) 1 , . . . , B ( k ) h k ) the direction from the left-hand side to the right (resp. from the bottom to the top) in the above figure. We assign each vertex the self-intersection number of the corresponding curve as its weight. With these directions and weights, we regard A ( k ) i and B ( k ) i as linear chains. See Section 2.1.

We may assume σ = σ ( n ) ◦· · · ◦ σ (1) , where σ ( k ) is the composition of the blow-ups over P k of σ . There exists a decomposition σ ( k ) = σ ( k ) 0 ◦ σ ( k ) 1 ◦· · · ◦ σ ( k ) h k such that σ ( k ) i contracts [ A ( k ) i , 1 , B ( k ) i ] to a ( -1)-curve for each i ≥ 1.

Let η ( k ) i denote the number of the sprouting blow-ups of σ ( k ) i with respect to the ( -1)-curve. We will use the following lemma ([T2, Propositon 12]).

Lemma 3.1. We have A ( k ) i = t η ( k ) i ∗ B ( k ) ∗ i , A ( k ) ∗ i = [ B ( k ) i , η ( k ) i + 1] for each i, k . In particular, A ( k ) i contains an irreducible component E such that E 2 &lt; -2 .

## 3.1 Proof of Theorem 1

Let K be a canonical divisor on V . Let ω k (resp. η k ) denote the number of the subdivisional (resp. sprouting) blow-ups of σ over P k , where the blowup at P k is regarded as a subdivisional one. We have η k = ∑ h k i =1 η ( k ) i and ω k + η k = the number of the blow-ups of σ ( k ) . We complete the proof of Theorem 1 by showing the following proposition. We note that κ = 2 if n ≥ 3 by [W].

$$& \text{Proposition } 3. 2. \ I f \overline { \kappa } = 2, \text{ then } 0 \leq K ( K + D ) = 7 - 2 n - ( C ^ { \prime } ) ^ { 2 } - \sum _ { k = 1 } ^ { n } \eta _ { k }. \\ & M _ { \text{commission} } \quad \text{and} \, k \in \mathcal { C } ^ { \prime } \times 2 \times 7 \quad 2 \infty.$$

Moreover, we have ( C ′ ) 2 ≤ 7 -3 n .

Proof. We have K K ( + D ) = 7 -D 2 -∑ n k =1 ( ω k + η k ). It was proved in [MaSa, Lemma 4] that D 2 = ( C ′ ) 2 -∑ n k =1 ( ω k -2). Thus we get K K ( + D ) = 7 -2 n -( C ′ ) 2 -∑ n k =1 η k . The surface V \ D is a Q -homology plane satisfying the conditions (H1), (H2) in Section 2.3. By Proposition 2.7, we have 0 ≤ K K ( + D ). The second blow-up of σ over P k is a sprouting one for each k . This fact shows the last inequality.

## 3.2 Proof of Theorem 2

Assume that n = 3 and ( C ′ ) 2 = -2. By [W], we have κ = 2. By Lemma 3.1 and Proposition 3.2, we get the following:

Lemma 3.3. The following assertions hold for each k .

$$( i ) \ h _ { k } = 1 \ a n d \ \eta _ { 1 } ^ { ( k ) } = 1.$$

$$( i i ) \ A _ { 1 } ^ { ( k ) } = t _ { 1 } * B _ { 1 } ^ { ( k ) * } \ a n d \ A _ { 1 } ^ { ( k ) * } = [ B _ { 1 } ^ { ( k ) }, 2 ].$$

Let σ ′ : V → V ′ be the contraction of D (2) 0 and D (3) 0 . Since σ ′ ( C ′ ) 2 = 0, there exists a P 1 -fibration p ′ : V ′ → P 1 such that σ ′ ( C ′ ) is a nonsingular fiber. Put p = p ′ ◦ σ ′ : V → P 1 . On V , there are two irreducible components of A ( k ) 1 + B ( k ) 1 meeting with D ( k ) 0 for each k . One of them must be a ( -2)curve and the other must not. Let D ( k ) 1 be the ( -2)-curve and let D ( k ) 2 be the remaining one. Put S 1 = D (1) 0 , S 2 = D (2) 2 , S 3 = D (3) 2 , S 4 = D (2) 1 and S 5 = D (3) 1 . The curves S , . . . , S 1 5 are 1-sections of p . Namely, the

intersection number of them and a fiber is equal to one. The divisor D contains no other sections of p . The divisor F ′ 0 := C ′ + D (2) 0 + D (3) 0 is a singular fiber of p .

The surface X = V \ D is a Q -homology plane. A general fiber of p | X is isomorphic to a curve C (4 ∗ ) = P 1 \ { 5 points } . Cf. [MiSu]. There exists a birational morphism ϕ : V → Σ d from V onto the Hirzebruch surface Σ d for some d ≥ 0. The morphism ϕ is the composition of the successive contractions of the ( -1)-curves in the singular fibers of p , and p ◦ ϕ -1 : Σ d → P 1 is a P 1 -bundle.

Lemma 3.4. We may assume that ϕ S ( 1 + S 2 + S 3 ) is smooth. The following assertions hold.

- (i) ϕ S ( 1 ) ∼ ϕ S ( 2 ) ∼ ϕ S ( 3 ) (linearly equivalent), d = ϕ S ( 1 ) 2 = 0 .
- (ii) We have ϕ F ( ′ 0 ) = ϕ C ( ′ ) . The fiber ϕ F ( ′ 0 ) passes through ϕ S ( 2 ) ∩ ϕ S ( 4 ) and ϕ S ( 3 ) ∩ ϕ S ( 5 ) .
- (iii) ϕ contains exactly one blow-up over ϕ S ( 1 ) . The set ϕ S ( 1 ) ∩ ϕ S ( 4 ) ∩ ϕ S ( 5 ) consists of a single point, which coincides with the center of the blow-up.
- (iv) ϕ S ( 4 ) 2 = ϕ S ( 5 ) 2 = ϕ S ( 4 ) ϕ S ( 5 ) = 2 , ϕ S ( 4 ) ϕ S ( 1 ) = ϕ S ( 5 ) ϕ S ( 1 ) = 1 .

Proof. By [T3, Lemma 17], we may assume that ϕ S ( 1 + S 2 + S 3 ) is smooth. We have ϕ S ( 1 ) ∼ ϕ S ( 2 ) ∼ ϕ S ( 3 ) and ϕ S ( 1 ) 2 = 0. If ϕ contracts C ′ , then ϕ S ( 1 + S 2 + S 3 ) must be singular. Thus ϕ F ( ′ 0 ) = ϕ C ( ′ ) and ϕ contracts D (2) + D (3) . Hence ϕ F ( ′ ) passes through ϕ S ( ) ∩ ϕ S ( ) and ϕ S ( ) ∩ ϕ S ( ).

/negationslash

0 0 0 2 4 3 5 For i = 4 5, , put ε i = ϕ S ( i ) ϕ S ( 1 ). We have ϕ S ( i ) 2 = 2 ε i because ϕ S ( i ) ∼ ϕ S ( 1 ) + (a fiber of p ◦ ϕ -1 ) ε i . Since ϕ S ( i ) intersects ϕ S ( i -2 ), we see ε i &gt; 0. Because S 2 1 = -1, ϕ contains exactly one blow-up over ϕ S ( 1 ). This means that ε 4 = ε 5 = 1 and that ϕ S ( 1 ) ∩ ϕ S ( 4 ) ∩ ϕ S ( 5 ) = ∅ . We have ϕ S ( 4 ) ϕ S ( 5 ) = ε 4 + ε 5 = 2. The remaining assertions are clear.

We use Lemma 3.4 to show the following:

Lemma 3.5. The following assertions hold.

/negationslash

- (i) For i = 4 5 , , ϕ contains exactly four blow-ups over ϕ S ( i ) . The centers of the blow-ups must be the points of intersection of ϕ S ( i ) and the other sections ϕ S ( j ) ( j = i ).
- (ii) If a fiber F of p ◦ ϕ -1 intersects ϕ S ( 1 + · · · + S 5 ) in five points, then the proper transform F ′ of F via ϕ is not a component of D and intersects D (1) 0 , D (2) 1 and D (3) 1 .

Proof. The first assertion of (i) follows from the fact that S 2 i = -2 and ϕ S ( i ) 2 = 2. The second follows from Lemma 3.4 and the fact that S i does not intersect the other sections on V . By (i) and Lemma 3.4 (iii), ϕ does not perform blow-ups over F ∩ ϕ S ( 1 + S 4 + S 5 ). This means that F ′ intersects D (1) 0 , D (2) 1 and D (3) 1 . Since the dual graph of D contains no loops, F ′ is not a component of D .

By Lemma 3.4, ϕ S ( 2 ) ∩ ϕ S ( 5 ) and ϕ S ( 3 ) ∩ ϕ S ( 4 ) consist of a single point, respectively.

Lemma 3.6. The two points ϕ S ( 2 ) ∩ ϕ S ( 5 ) , ϕ S ( 3 ) ∩ ϕ S ( 4 ) are on a single fiber of p ◦ ϕ -1 .

Proof. Suppose the contrary. Let F 2 (resp. F 3 ) denote the fiber of p ◦ ϕ -1 passing through ϕ S ( 2 ) ∩ ϕ S ( 5 ) (resp. ϕ S ( 3 ) ∩ ϕ S ( 4 )). Let F ′ i denote the proper transform of F i via ϕ for i = 2 3. , By Lemma 3.4 (iii), F ′ i intersects S 1 . It follows from Lemma 3.4 and Lemma 3.5 (i) that F ′ i intersects D ( ) i 1 . Since the dual graph of D does not contain loops, F ′ i is not a component of D .

Suppose that ϕ S ( 4 ) ∩ ϕ S ( 5 ) consists of one point. Let F be the fiber of p ◦ ϕ -1 passing through ϕ S ( 4 ) ∩ ϕ S ( 5 ). By Lemma 3.5 (ii), the proper transform via ϕ of every fiber of p ◦ ϕ -1 other than F and ϕ F ( ′ 0 ) is not a component of D . This contradicts the fact that there are three irreducible components of D -D (1) 0 meeting with D (1) 0 , each of which is contained in a fiber of p . Hence ϕ S ( 4 ) ∩ ϕ S ( 5 ) consists of two points.

Let E be the exceptional curve of the blow-up of ϕ at ϕ S ( 1 ) ∩ ϕ S ( 4 ) ∩ ϕ S ( 5 ). By Lemma 3.4 (iii) and Lemma 3.5 (i), the proper transform E ′ of E by ϕ intersects S 1 , S 4 and S 5 . Thus E ′ is not a component of D . By the same argument as above, there are at most two components of D -D (1) 0 meeting with D (1) 0 , which is absurd.

By Lemma 3.4 (iv), the set ϕ S ( 4 ) ∩ ϕ S ( 5 ) consists of one or two points.

Lemma 3.7. If ϕ S ( 4 ) ∩ ϕ S ( 5 ) consists of two points, then deg C = 4 .

Proof. We show σ -1 ( P k ) = D ( k ) 0 + D ( k ) 1 + D ( k ) 2 for each k . Put { Q 1 } = ϕ S ( 1 ) ∩ ϕ S ( 5 ), { Q 2 } = ϕ S ( 2 ) ∩ ϕ S ( 5 ) and { Q 3 } = ϕ S ( 4 ) ∩ ϕ S ( 5 ) \{ Q 1 } . For each i , let F i be the fiber of p ◦ ϕ -1 passing through Q i . Put { Q 4 } = ϕ S ( 3 ) ∩ ϕ S ( 4 ). The fiber F 2 passes through Q 4 by Lemma 3.6. Since S , . . . , S 1 5 do not intersect each other, ϕ performs blow-ups at all Q i 's. Let E i be the exceptional curve of the blow-up at Q i . We sometimes use the same symbols to denote the proper transforms of E i , ϕ S ( i ), etc. via blow-ups. Let F ′ i denote the proper transform of F i via ϕ .

By Lemma 3.4 (iii) and Lemma 3.5 (i), ϕ does not perform blow-ups at E 1 ∩ ϕ S ( 1 ), E 1 ∩ ϕ S ( 4 ) and E 1 ∩ ϕ S ( 5 ) after the blow-up at Q 1 . This

means that E 1 intersects S 1 , S 4 and S 5 on V . Thus E 1 is not a component of D . It follows from Lemma 2.8 (i) that ϕ does not perform blow-ups over E 1 . By Lemma 3.5 (ii), the proper transforms via ϕ of the fibers of p ◦ ϕ -1 other than ϕ F ( ′ 0 ), F 1 , F 2 and F 3 are not contained in D . By Lemma 3.4 (iii), ϕ does not perform blow-ups over ϕ S ( 1 ) \ { Q 1 } . Thus F ′ 2 and F ′ 3 are contained in D and intersect S 1 = D (1) 0 . It follows that F 2 + F 3 coincides with the image of D (1) 1 + D (1) 2 under ϕ . We have ( F ′ 3 ) 2 &lt; -2 since ϕ performs blow-ups at Q 3 , ϕ S ( 2 ) ∩ F 3 and ϕ S ( 3 ) ∩ F 3 . Hence F ′ 2 = D (1) 1 and F ′ 3 = D (1) 2 .

Since ( F ′ 2 ) 2 = -2, ϕ only performs two blow-ups over F 2 . The centers coincide with Q 2 and Q 4 . The curve E 4 is not a component of D because it intersects S 4 = D (2) 1 and F ′ 2 = D (1) 1 on V . By Lemma 2.8 (i), ϕ does not perform blow-ups over E 4 . Similarly, E 2 is not a component of D and ϕ does not perform blow-ups over E 2 . It follows that D (1) 1 intersects only D (1) 0 among the components of D -D (1) 1 . Hence ( F ′ 3 ) 2 = ( D (1) 2 ) 2 = -3.

We see that ϕ does not perform blow-ups over F 3 \ ( ϕ S ( 2 + S 3 ) ∪{ Q 3 } ). By Lemma 3.5 (i), ϕ does not perform blow-ups at E 3 ∩ ϕ S ( 4 ) and E 3 ∩ ϕ S ( 5 ) after the blow-up at Q 3 . Thus E 3 intersects F ′ 3 , S 4 and S 5 on V . Hence E 3 is not a component of D . It follows that S i +2 = D ( ) i 1 intersects only D ( ) i 0 among the components of D -D ( ) i 1 for i = 2 3. Hence , S 2 i = ( D ( ) i 2 ) 2 = -3.

For i = 2 3, let , E 3 ,i be the exceptional curve of the blow-up at F 3 ∩ ϕ S ( i ). Since S 2 i = ( F ′ 3 ) 2 = -3, ϕ does not perform blow-ups at E 3 ,i ∩ ϕ S ( i ) and E 3 ,i ∩ F 3 after the blow-up at F 3 ∩ ϕ S ( i ). This means that E 3 ,i intersects F ′ 3 = D (1) 2 and S i = D ( ) i 2 on V . Thus E 3 ,i is not a component of D . Hence D (1) 2 intersects only D (1) 0 among the components of D -D (1) 2 . Since S 2 i = -3, ϕ does not perform blow-ups at F 1 ∩ ϕ S ( 2 ) and F 1 ∩ ϕ S ( 3 ). Thus F ′ 1 is not a component of D . Hence D ( ) i 2 intersects only D ( ) i 0 among the components of D -D ( ) i 2 .

From now on, we assume that ϕ S ( 4 ) ∩ ϕ S ( 5 ) consists of one point. We prove that the assumption causes a contradiction. Let F 1 (resp. F 2 ) be the fiber of p ◦ ϕ -1 passing through ϕ S ( 4 ) ∩ ϕ S ( 5 ) (resp. ϕ S ( 4 ) ∩ ϕ S ( 3 )). For each i , put T i = ϕ -1 ( F i ). Let b i be the number of the irreducible components of T i which are not contained in D .

Lemma 3.8. The fibration p has exactly three singular fibers F , T ′ 0 1 , T 2 . We have b 1 + b 2 = 6 .

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0190v1-figure-b263b51f-6701-4dfc-a367-321ba92844e7.jpg)

Proof. It follows from Lemma 3.5, Lemma 3.6 and Lemma 2.8 that p has exactly three singular fibers F , T ′ 0 1 , T 2 . Let ρ V ( ) denote the Picard number of V and r D ( ) the number of the irreducible components of D . We have ρ V ( ) = r D ( ). The number of the blow-ups of ϕ is equal to r D ( ) + b 1 + b 2 -(the number of the sections in D ) -(the number of the singular fibers). Thus r D ( ) = ρ V ( ) = ρ (Σ ) + d r D ( ) + b 1 + b 2 -8.

Figure 1: The weighted dual graph of T 1 + S 1 + · · · + S 5

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0190v1-figure-dc2b4366-e042-4d13-b67a-481d0ba39b9a.jpg)

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0190v1-figure-2ad5ff07-62ec-4291-82b5-685270d0337f.jpg)

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0190v1-figure-78cfa778-0d1e-41cf-928a-6e107602ed02.jpg)

The next lemma describes the structure of the fibration p .

Lemma 3.9. We may assume that the weighted dual graph of T 1 + S 1 + · · · + S 5 (resp. T 2 + S 1 + · · · + S 5 ) coincides with that in Figure 1 (2) (resp. Figure 2 (2)). The weighted dual graph of σ -1 ( P 2 ) coincides with that in Figure 3. In the figures, ∗ (resp. · ) denotes a ( -1 )-curve (resp. ( -2 )-curve).

Proof. We first show that the weighted dual graph of T 1 + S 1 + · · · + S 5 coincides with one of those in Figure 1. Let E ij be the exceptional curve of the j -th blow-up ϕ ij of ϕ over F i for i = 1 2. , We use the same symbols to denote the proper transforms of E ij , ϕ S ( j ), etc. via blow-ups. Since S 4 = D (2) 1 and S 5 = D (3) 1 do not intersect each other, we may assume that the centers of ϕ 11 and ϕ 12 are ϕ S ( 4 ) ∩ ϕ S ( 5 ).

/negationslash

By Lemma 3.5 (i), ϕ does not perform blow-ups at E 12 ∩ ϕ S ( 4 ) and E 12 ∩ ϕ S ( 5 ). This means that E 12 intersects S 4 = D (2) 1 and S 5 = D (3) 1 on V . Thus E 12 /notlessequal D . By Lemma 2.8 (i), ϕ does not perform blow-ups over E 12 . By Lemma 3.4 (iii), E 11 and F 2 intersect S 1 on V . Let E be an irreducible components of a fiber of p which meets with D (1) 0 . It follows from Lemma 3.5 (ii) that E is not a component of D if E = C , E ′ 11 , F 2 . Since three irreducible components of D -D (1) 0 meet with D (1) 0 , the curves

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0190v1-figure-22fc1f6a-a997-4e62-8bb6-e477afd39ec5.jpg)

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0190v1-figure-9a4e8d05-9740-4301-87d0-3c834d5b5b2d.jpg)

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0190v1-figure-a6ce7723-b7b9-4364-bdd6-55545e53f288.jpg)

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0190v1-figure-c96494d2-c47a-4667-bd3b-c13b6b83bd8f.jpg)

Figure 2: The weighted dual graph of T 2 + S 1 + · · · + S 5

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0190v1-figure-28da9157-b5d2-463a-9949-31fb1a3b4ce0.jpg)

︸

︷︷

︸

Figure 3: The weighted dual graph of σ -1 ( P 2 )

E 11 , F 2 must be components of D . By Lemma 2.8 (i), ϕ does not perform blow-ups over E 11 \ F 1 .

Suppose F 1 /notlessequal D . By Lemma 2.8 (i), ϕ does not perform further blowups over F 1 . We have E 11 = D (1) 1 . The weighted dual graph of T 1 + S 1 + · · · + S 5 coincides with (1) in this case. Suppose F 1 ≤ D . Since D does not contain loops, ϕ performs blow-ups at two or three points of the three points F 1 ∩ ( E 11 + ϕ S ( 2 + S 3 )). If the latter case occurs, then it follows from Lemma 2.8 (ii) that D is not connected, which is absurd. Thus the former case must occur. It follows from Lemma 2.8 (ii) that the weighted dual graph of T 1 + S 1 + · · · + S 5 coincides with (2) (resp. (3)) if ϕ does not perform (resp. performs) a blow-up at F 1 ∩ E 11 .

We next show that the weighted dual graph of T 2 + S 1 + · · · + S 5 coincides with one of those in Figure 2. By Lemma 3.5 (i), we may assume that the center of ϕ 21 (resp. ϕ 22 ) is ϕ S ( 4 ) ∩ F 2 (resp. ϕ S ( 5 ) ∩ F 2 ). Furthermore, ϕ does not perform blow-ups at ϕ S ( 4 ) ∩ E 21 and ϕ S ( 5 ) ∩ E 22 . If ϕ does not perform blow-ups over F 2 further, then the weighted dual graph of T 2 + S 1 + · · · + S 5 coincides with (1). We have E 21 , E 22 /notlessequal D in this case.

Suppose that ϕ performs blow-ups over F 2 further. If ϕ does not perform blow-ups over E 21 , then E 21 intersects S 3 = D (3) 2 and S 4 = D (2) 1 on V . Thus E 21 /notlessequal D . If ϕ performs a blow-up over E 21 , then it must be done over E 21 ∩ ϕ S ( 3 ) or E 21 ∩ F 2 by Lemma 2.8 (i). Moreover, we have E 21 ≤ D . Since D contains no loops, it must be done over both of E 21 ∩ ϕ S ( 3 ) and E 21 ∩ F 2 . Similar arguments are valid for E 22 . If ϕ performs blow-ups over both of E 21 and E 22 , then the weighted dual graph of T 2 + S 1 + · · · + S 5 coincides with (4). Otherwise it coincides with (2) or (3).

Now we show that the weighted dual graph of σ -1 ( P 2 ) coincides with that in Figure 3. We say that p is of type ( i j ) if T 1 (resp. T 2 ) coincides with ( ) i in Figure 1 (resp. ( j ) in Figure 2). We prove that p is of type (2-2) or (2-3). By Lemma 3.8, p must be of type (1-4), (2-2), (2-3), (32) or (3-3). Suppose p is of type (1-4). We have A (1) 1 = [ F , . . . 2 ] and B (1) 1 = [2]. By Lemma 3.3, A (1) 1 = [ B (1) 1 , 2] ∗ = [3]. This contradicts the fact that F 2 2 ≤ -4 on V . Suppose p is of type (3-2) or (3-3). In this case, we have { D (1) 1 , D (1) 2 } = { E 11 , F 2 } . But E 2 11 ≤ -3 and F 2 2 ≤ -3, which contradicts ( D (1) 1 ) 2 = -2. By changing the roles of P 2 and P 3 , if necessary, we may assume that p is of type (2-2). It follows that the weighted dual graph of σ -1 ( P 2 ) coincides with that in Figure 3.

We can arrange the order of the blow-ups of ϕ such that ϕ = ϕ 0 ◦ ϕ 11 ◦ ϕ 12 ◦ ϕ 22 ◦ ϕ 21 . Here ϕ ij contracts T ij + X ij + U ij to a point in Figure 1 (2) and Figure 2 (2). The morphism ϕ 0 contracts E 11 + E 12 + E 21 + E 22 + D (2) 0 + D (3) 0 to points. We use the same symbols to denote the proper transforms of ϕ C ( ′ ), ϕ S ( j ), etc. via blow-ups. The morphism ϕ 0 performs the blow-ups at ϕ C ( ′ ) ∩ ϕ S ( 2 ) and F 2 ∩ ϕ S ( 2 ). The morphism ϕ 11 performs the blow-up at

F 1 ∩ ϕ S ( 2 ) and ϕ 22 performs the blow-up at E 22 ∩ ϕ S ( 2 ). Thus S 2 2 ≤ -4. By Lemma 3.9, we have A (2) 1 = [ . . . , -S 2 2 ] and B (2) 1 = [2]. By Lemma 3.3, we see A (2) 1 = t 1 ∗ B (2) ∗ 1 = [3]. Hence S 2 2 = -3, which is a contradiction. Thus ϕ S ( 4 ) ∩ ϕ S ( 5 ) must consist of two points. We have completed the proof of Theorem 2.

## References

| [BK]   | Brieskorn, E., Kn¨rrer, o H.: Plane algebraic curves. Basel, Boston, Stuttgart: Birkh¨user a 1986.                                                                                     |
|--------|----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [Fe]   | Fenske, T.: Rational cuspidal plane curves of type ( d, d - 4) with χ (Θ V 〈 D 〉 ) ≤ 0, Manuscripta Math. 98 (1999), 511-527.                                                        |
| [Fu]   | Fujita, T.: On the topology of non-complete algebraic surfaces, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 29 (1982), 503-566.                                                            |
| [FZ1]  | Flenner, H., Zaidenberg, M.: On a class of rational cuspidal plane curves, Manuscripta Math. 89 (1996), 439-459.                                                                       |
| [FZ2]  | Flenner, H., Zaidenberg, M.: Rational cuspidal plane curves of type ( d, d - 3), Math. Nachr. 210 (2000), 93-110.                                                                      |
| [H1]   | Hartshorne, R.: Curves with high self-intersection on algebraic sur- faces, Publ. Math. I.H.E.S. 36 (1969), 111-125.                                                                   |
| [H2]   | Hartshorne, R.: Ample subvarieties of algebraic varieties, Lecture Notes in Mathematics 156. Berlin, Heidelberg: Springer 1970.                                                        |
| [K]    | Kawamata, Y.: On the classification of non-complete algebraic surfaces, Lecture Notes in Mathematics 732. Berlin, Heidelberg: Springer 1979, 215-232.                                  |
| [MaSa] | Matsuoka, T., Sakai, F.: The degree of rational cuspidal curves, Math. Ann. 285 (1989), 233-247.                                                                                       |
| [MiSu] | Miyanishi, M., Sugie, T.: Q -homology planes with C ∗∗ -fibrations, Osaka J. Math. 28 (1991), 1-26.                                                                                    |
| [MT1]  | Miyanishi, M., Tsunoda, S.: Non-complete algebraic surfaces with logarithmic Kodaira dimension -∞ and with non-connected bound- aries at infinity, Japan. J. Math. 10 (1984), 195-242. |
| [MT2]  | Miyanishi, M., Tsunoda, S.: Absence of the affine lines on the ho- mology planes of general type, J. Math. Kyoto Univ. 32 (1992),                                                      |

443-450.

| [Mi]   | Miyaoka, Y.: On the Mumford-Ramanujam vanishing theorem on a surface, Journ´es e de g´om´trie e e alg´brique e d'Angres, (1979), 239- 247, Alphen aan den Rijn: Sijthoff and Nordroff 1980.   |
|--------|-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [Mu]   | Mumford, D.: The topology of normal singularities of an algebraic surface and a criterion for simplicity, Publ. Math. I.H.E.S. 9 (1961), 5-22.                                                |
| [N]    | Namba, M.: Geometry of projective algebraic curves, New York, Basel: Dekker 1984.                                                                                                             |
| [O]    | Orevkov, S. Yu.: On rational cuspidal curves I. Sharp estimate for degree via multiplicities, Math. Ann. 324 (2002), 657-673.                                                                 |
| [S1]   | Sakai, F.: Kodaira dimensions of complements of divisors, Complex Analysis and Algebraic Geometry, Iwanami and Cambridge Univ. Press, (1977), 239-257.                                        |
| [S2]   | Sakai, F.: Weil divisors on normal surfaces, Duke Math. J. 51 (1984), 877-887.                                                                                                                |
| [SST]  | Sakai, F. and Saleem, M. and Tono, K.: Hyperelliptic plane curves of type ( d, d - 2), Beitr¨ge a zur Algebra und Geometrie 51 (2010), 31-44.                                                 |
| [T1]   | Tono, K.: On the number of cusps of cuspidal plane curves, Math. Nachr. 278 (2005), 216-221.                                                                                                  |
| [T2]   | Tono, K.: On Orevkov's rational cuspidal plane curves, J. Math. Soc. Japan 64 (2012), 365-385.                                                                                                |
| [T3]   | Tono, K.: On a new class of rational cuspidal plane curves with two cusps, Preprint. arXiv:1205.1248                                                                                          |
| [W]    | Wakabayashi, I.: On the logarithmic Kodaira dimension of the com- plement of a curve in P 2 , Proc. Japan Acad. 54 , Ser. A (1978), 157-162.                                                  |
| [Y]    | Yoshihara, H.: Rational curves with one cusp (in Japanese), Sugaku 40 (1988), 269-271.                                                                                                        |

E-mail address : ktono@rimath.saitama-u.ac.jp

Department of Mathematics, Graduate School of Science and Engineering, Saitama University, Saitama-City, Saitama 338-8570, Japan.
Keita Tono
On the self-intersection number of the nonsingular models of rational cuspidal plane curves
In this paper, we consider rational cuspidal plane curves having at least
three cusps. We give an upper bound of the self-intersection number of the
proper transforms of such curves via the minimal embedded resolution of the
cusps. For a curve having exactly three cusps, we show that the
self-intersection number is equal to the bound if and only if the curve
coincides with the quartic curve having three cusps.