arXiv:math/0312351v2 [math.AG] 5 Jan 2004
W IT H N O N -B IR A T IO N A L B IC A N O N IC A L M A P A N D D U V A L D O U B L E P L A N E S
G IU SE P P E B O R R E LLI
T his paper is dedicated to the m em ory of prof. P aolo Francia.
A bstract. W e classify surfaces of general type w hose bicanonical m ap ’2K is com posed w ith a rationalm ap of degree 2 onto a rationalor ruled surface.
In particular,this is alw ays the case ifq = 0;pg 2 and ’2K is not birational.
W e prove that such a surface S either has a genus 2 pencilor is the sm ooth m odel of a double plane branched along a reduced curve w ith certain singu- larities,a con guration already suggested by D u V alin the 1950’s.
In the last case w e show that S has a rational pencil jC j such that the generalm em ber is a sm ooth hyperelliptic curve ofgenus 3,unless KS is am ple and either pg(S ) = 6;KS2 = 8 or pg(S ) = 3;KS2 = 2.
LetS be a sm ooth m inim alalgebraicsurface overthe com plex num bersw ith geo- m etric genus pg(S) = h0(S;OS(KS)) and irregularity q(S) = h1(S;OS). A ssum e that S is ofgeneraltype,then the bicanonicalm ap ofS is the rationalm ap
’2K :S 99K S2 PK
2
S+pg(S ) q(S )
de ned by the linear system j2KSj,w here KS is a canonicaldivisor for S and S2is the bicanonicalim age.
A theorem of X iao [17]says that S2 is a surface unless pg(S) = q(S) = 0 and KS2 = 1. O n the other hand there is a standard case for the non birationality of
’2K,that is ifS has a penciljC jsuch that the generalelem ent C 2 jC jis a curve ofgenus 2.
B y [16]if’2K is not birationaland S does not present the standard case then KS2 9,thus there are nitely m any fam ilies ofsuch surfaces and it is naturalto study and try to classify them .
In the 1950’sD u Valsuggested thatexam plesofm inim alsurfacesofgeneraltype w ith non birationalbicanonicalm ap can be obtained in the follow ing w ay.
Let X be a sm ooth surface and G X a reduced curve such that
B ) either X = F2 and G = C0+ G0, where G02 j7C0+ 14 jand G0has at m ost non essentialsingularities;
D ) or X = P2 and G is a sm ooth curve ofdegree 8;
Dn) or X = P2 and G = G0+ L1+ + Ln, with n 2 f0;1;:::;6g (G = G0if n = 0), where L1;:::;Ln are distinct lines m eeting at a point and G0is a curve of degree 10 + n. T he singularities of G , besides the non essential ones,are a (2n + 2)-tuple pointat ,a [5;5]-pointlying on Li,i= 1;:::;n, possibly som e 4-tuple points or [3;3]-points;
T his w ork w as partially sopported by E U R esearch Training N etw ork E A G E R (H P R N -C T - 2000-00099).
1
then S is the sm ooth m inim al m odel of the double cover X0! X branched along G . H ere F2is the H irzebruch surface P (OP1 OP1(2)) and ;C0its bre and negative section w ith C02= 2.
W e w illreferto such exam plesasthe D u V alexam ples,w hilstby abuse ofnota- tion w e w illsay thatX0is a D u V aldouble plane (oftype B ;D or Dn respectively) U nder the hypotheses h1(S;OS) = 0;pg(S) 3 and that the generalcanonical curve is irreducible D u Val proved that if ’2K is not birational and S does not present the standard case then S is one ofthe above exam ples.
M ore recently C .C iliberto,P.Francia and M .M endes Lopes have considered the sam e problem in [5]and [6]rem oving the hypothesis concerning the generalcanon- ical curve and the regularity of S. T hey w orked it out w ith m odern argum ents and essentially they con rm ed the classi cation ofD u Valfor the regular case (i.e.
q(S)= 0).
In m y P hD thesis (cfr. [2])Iproved an analogousresultforregularsurfacesw ith pg(S)= 2 under the assum ption that the canonicalsystem has no xed part.
In thisarticle w e extend the above resultsrephrasing D u Val’sclaim . Forthisw e rem ark thatifq(S)= 0 and pg(S) 2 then ’2K iseitherbirationalora (generically
nite) m orphism ofdegree 2 onto a rationalsurface.
In fact,’2K has no base points by [8]and w riting jKSj= jM j+ F w here jM jis the m ovable part w e have that the generalcurve M 2 jM jis irreducible and j2KSj separates di erent curves ofjM j. T herefore,looking at the exact sequence
H0(S;OS(KS + M ))! H0(M ;OM (KM ))! 0
w e getthat if’2K is not birationalthe rationalm ap ’jKS+M jde ned by the linear system jKS+ M j j2KSjisnotbirationalon a generalM . H ence M ishyperelliptic and ’2K :S ! S2 is a generically nite m orphism ofdegree 2. T herefore,S2 is a surface ofdegree 2KS2 in PN w here N = KS2+ pg(S) and as 2KS2 < 2N 2,S2 is a ruled surface. W hence,S2is rationalsince S is regular.
M ore generally,w e m ay consider m inim alsurfaces ofgeneraltype for w hich the bicanonicalm ap factors through a rationalm ap of degree 2 onto a rationalor ruled surface,that is ifthere exists a com m utative diagram
S
’2K
// S2
2
::
w here is a (generically nite) rationalm ap ofdegree tw o and is a rationalor ruled surface.
O ur m ain result is the follow ing
T heorem 0.1. Let S be a sm ooth m inim alsurface ofgeneraltype which does not present the standard case. T hen the following three conditions are equivalent:
a) the bicanonicalm ap ofS factors through a rationalm ap ofdegree 2 onto a rationalor ruled surface
b) the bicanonicalm ap ofS factors through a rationalm ap ofdegree 2 onto a rationalsurface
c) S is the sm ooth m inim alm odelofa D u Valdouble plane.
M oreover,let S be as in (c) (resp. (a) or (b)) then:
d) q(S)= 0 unless pg(S)= q(S)= 1;
e) unless KS is am ple and pg(S) = 6;KS2 = 8 or pg(S) = 3;KS2 = 2, there is a rational pencilwhose generalm em ber is a sm ooth hyperelliptic curve of genus 3 such that the bicanonical m ap of S induces the hyperelliptic involution on it.
W e w ould like to rem ark that w e get the classi cation ofregular surfaces w ith pg(S) 2 and non birationalbicanonicalm ap. In fact,by the above rem ark and T heorem 0.1 it follow s that:
T heorem 0.2. Let S be a sm ooth m inim al surface of general type with q(S)= 0, pg(S) 2. A ssum e that the bicanonicalm ap ofS is not birational.
T hen if S does not present the standard case it is the sm ooth m inim alm odelof a D u Valdouble plane.
W e rem ark thatT heorem 0.1 also com pletesthe classi cation ofregularsurfaces ofgeneraltype w ith pg(S)= 1 and non birationalbicanonicalm ap.
In fact,in this case if’2K has degree 2 then S2is a surface ofdegree 2N 2 in PN and so itiseitherruled ora K 3. T he K 3 case isclassi ed by D .M orrison ([10]).
O therw ise,’2K hasdegree greaterthan 2 and then KS2 2 (cfr. [18]),such surfaces are classi ed by F.C atanese ([3]) for KS2 = 1 and by F.C atanese,O .D ebarre ([4]) for KS2= 2.
T he paperisorganized asfollow s. In section 1 w e x som e notation and w e recall som e generalfacts concerning the surfaces under consideration. In x2 w e w ork out a rst easy case,then w e prove a result w hich su ces to get (b)) (c) ofT heorem 0.1 and starting from it w e prove the im plication (b) ) (c) in x3. In x4 w e prove (c) ) (b) and classifying D u Valdouble planes w e get (d);(e). Finally, in x5 w e collect som e consequences ofT heorem 0.1.
A cknow ledgem ent. I w ould like to thank prof. C iro C iliberto,w ho suggested the problem ,for his advise and encouragem ent. I also w ould like to thank Ingrid B auerand Fabrizio C ataneseforfruitfuldiscussionsand fortheirfriendly hospitality w hen Iw asat the U niversity ofB ayreuth. Iam indebted to Fabrizio C atanese w ho suggested to rem ove the hypothesis of regularity in a prelim inary version of the m ain theorem .
1. N otation and set up
T hroughout the paper w e w illm ean by surface (resp. curve) a projective alge- braic surface (resp. curve) over the com plex num bers and by a curve on a surface w e w illm ean an e ective non zero divisoron the surface. T he sym bol w illdenote the linear equivalence ofdivisors.
A sm ooth surface Y is ruled ifthere exists a surjective m orphism f onto a curve w hose general bre is isom orphic to P1. Ifeach bre off is sm ooth one says that Y is geom etrically ruled. Let Y0be a singular surface and Y ! Y0a resolution of the singularities. T hen w e w illsay that Y0is ruled ifY is ruled.
Let C be a reduced curve singular at a point p 2 C . T he singularity is non essentialifit is:
- either a double point,
- or a triple point w hich resolves to at m ost a double point after one blow up.
otherw ise it is essential. Let p0be a point in nitely near to p. T hen C has an [r;r]-point at (p;p0) ifit has a point ofm ultiplicity r at p w hich resolves to a point ofm ultiplicity r atp0afterone blow ing up atp. W e shalldenote such singularity by [p0! p]. N otice that an [r;r]-point is an essentialsingularity ifand only ifr 3.
W e w illuse freely the theory ofdouble covers referring to [1]for the details.
1.1. Surfaces w ith a 2-to-1 rational m ap. Let S be a sm ooth m inim alsurface ofgeneraltype such that there is a generically nite rationalm ap :S 99K of degree 2 onto a surface (for short,a 2-to-1 rationalm ap).
H ence induces an involution on S w hich is a m orphism since S is m inim al of generaltype. T he xed locus F ix( ) is the union of a sm ooth reduced curve R and k distinct points q1;::;qk. T he canonical projection onto the quotient
:S ! := S= is a double cover,i.e. a nite m orphism ofdegree 2,branched along the sm ooth curve B = (R ) and at the points Qi= (qi); i = 1;:::;k.
T he only singularities of are the ordinary double points Q1;:::;Qk.
Let ^ : ^S ! S be the blow -up at q1;:::;qk and let E1;:::;Ek be the exceptional ( 1)-curvesof^:W e denote by ^ the induced involution on ^S and the quotient ^S=^
by ^ :Furtherm ore,w e denote ^ 1(R ) by ^R . H ence F ix(^) = ^R + E1+ + Ek
and w e get the follow ing com m utative diagram S^ ^! S
^
?? y
?? y
^ !
w here the m orphism is the m inim alresolution ofthe singularities of and ^ is a double cover branched along the sm ooth curve ^B = B^0+ C1+ + Ck w here B^0= ^(^R )and Ci= ^(Ei);i= 1;:::;k. In particular,Ci= 1(Qi)isa ( 2)-curve and ^ is sm ooth.
B y the theory ofdouble covers there exists ^ 2 P ic(^ ) such that ^B 2 j2^jand OS^= O^ O^( ^). T herefore,KS^= ^ (K^+ ^) and w e have
Hi(^S;OS^(m KS^))=
= Hi(^ ;O^(m (K^ + ^))) Hi(^ ;O^(m K^+ (m 1)^)) for each i 0 and m 0.
N ow w e assum e that the bicanonicalm ap ofS factors through ,then w e have the follow ing com m utative diagram
S^
^
^ // S
$$
’2K
// S2
^ //
0
//
2
OO
w here 0:= 1 is a birationalm ap and ’2K factors through and ^.
R em ark 1.1. In general’2K factors through ifand only ifeither H0(^ ;O^(2K^+ 2^))= 0 or H0(^ ;O^(2K ^+ ^))= 0:
T herefore,w e know that in our situation one ofthe above vector spaces has to be trivial. In fact, in the follow ing re ned version of a proposition by M .M endes
Lopes and R .Pardini (cfr.[12], P roposition 2.1) w e w ill see that in our situation H0(^ ;O^(2K^+ ^))= 0:
P roposition 1.2. Let S be a sm ooth m inim al surface of general type and an involution acting on S. Let ^S be the blow up of S at the isolated xed point of and ^ : ^S ! ^ := ^S=^ the canonical projection onto the quotient. D enote by
^ 2 P ic(^ ) a divisor such thatKS^= ^ (K^+ ^) and by k the num ber ofisolated xed points of . T hen
a) hi(^ ;O^(2K^ + ^))= 0; for i> 0;
b) let R be the divisorialpart ofF ix( ), then
i) k = KS2 2 (OS)+ 6 (O^) 2h0(^ ;O^(2K ^+ ^) ii) k = KS:R 4 (OS)+ 8 (O^)
c) A ssum e that pg(^ )= 0,then the following three conditions are equivalent i) the bicanonicalm ap ofS factors through ^;
ii) h0(^ ;O^(2K ^+ ^))= 0;
iii) k = KS2 2 (OS)+ 6 (O^).
Proof. a) W e use the notation introduced before. A s has at m ost canonical singularities,w e have that 2KS = (2K + R ). T herefore,2K + R is nef and big because 2KS is nefand big,and so 2K^+ ^B = (2K + R ) is nefand big.
O n the other hand w e have the follow ing equality ofQ -divisors K^+ ^ = 1
2(2K^+ ^B )+ 1 2 X
Cj
w here 12P
Cj is an e ective Q -divisor w ith zero integral part. H ence by the K aw am ata-V iehw eg vanishing theorem it follow s that hi(^ ;2K^+ ^)= 0,i> 0.
b) B y a) and the R iem ann-R och form ula w e get:
h0( ;O^(2K ^+ ^))= (2K^ + ^)= (O^)+ K2^ + 3
2K ^:^ + 1 2
^2 and
(OS^)= (O^)+ (K^+ ^)= 2 (O^)+ 1
2(^2+ ^:K^) since OS^= O^ O^( ^). O n the other hand w e have
(
k = KS2 K2^
S = KS2 2(K ^+ ^)2 R :KS k = (^R + P k
i= 1Ei):KS^= 2^:(K^+ ^) and so using the above equalities w e get
k = KS2 2 (OS)+ 6 (O^) 2h0(^ ;O (2K^ + ^)) k = R :KS 4 (OS)+ 8 (O^)
c) First ofallrecallthat w e have
pg(S)= pg(^S)= h0(^ ;O^(K^+ ^))+ h0(^ ;O^(K^))= h0(^ ;O^(K^+ ^ )):
T herefore,ifpg(S)> 0 there isa non zero e ective divisor2D 2 j2K^+ ^B jw here D 2 jK^+ ^j. W hence,ifpg(S)> 0 the bicanonicalm ap ofS factors through ^ if and only ifh0(^ ;O^(2K ^+ ^))= 0.
Ifpg(S)= 0 then from b) it follow s
k = R :KS + 4 = KS2+ 4 2h0(^ ;O (2K^+ ^))
w here k 4 since KS is nef. N ow assum e that ’2K factors through ^ and that h0(^ ;O^(2K^+ ^))6= 0. T hen h0(^ ;O^(2K ^+ ^B ))= 0 and w e have
h0(^ ;O^(2K ^+ ^))= h0(^S;OS^(2KS^))= h0(S;OS(2KS))= KS2+ 1 w hich by the above equality im plies
k = KS2+ 4 2(KS2+ 1)= KS2+ 2 1:
A contradiction. W hence,the bicanonicalm ap ofS factors through ^ ifand only ifh0(^Y ;O^(2K^+ ^))= 0 and,by b;i),the equivalence w ith c;iii) is clear.
1.2. C anonical resolution. (cfr. [9],[1]) Let W 0 be a sm ooth surface. A ssum e thatthere existsa double coverS0! W0branched along a reduced curve B0 W0. T hen S0isnorm aland itis sm ooth ifand only ifB0is sm ooth. IfS0is singularthe singularities of S0 can be resolved in a naturalw ay by the canonical resolution.
B rie y,there is a com m utative diagram
S
0
// S0
Ws
!s
// Ws 1
!s 1
// ::: !1 // W0
such that,for each i= 0;:::;s 1;!i+ 1is the blow up ofyi2 Wi,w here yi2 Bi
is a singular point ofBi.
Let mibe the m ultiplicity ofBiat yiand Ei+ 1= !i+ 11(yi) the exceptionalcurve of!i+ 1,hence Bi+ 1= (!i+ 1) (Bi) 2[m2i]Ei+ 1 w here [m2i]is the greatest integer lesser than or equal to m2i. Furtherm ore, the curve Bs Ws is sm ooth, 0is a double cover branched along Bs and S ! S0 is a birationalm orphism .
Let us denote by ! = !1 s the com position and by E! i+ 1 = ! (yi) the exceptional( 1)-cyclew ith reduced support! 1(yi). H encethefollow ing equalities hold
KWs = ! (KW0)+
X
Ei; Ej:Eh = j;h; Bs= ! (B0)
X 2
hmi
2 i
Ei w here j;h is the K ronecker sym bol.
N otice that S is also the canonical resolution of the double cover Si ! Wi
branched along Bi,for each i= 1;:::;s.
L em m a 1.3. Let S;^S and ^ be as in Proposition 1.2. Let : ^ ! 0 be a birational m orphism onto a sm ooth surface and consider a factorization of in blow ups
:^ = ^0
! ^1 1
!2 ! ^t t= 0
For i= 1;:::;t,denote by ^yi2 ^ithe center ofthe blow up iand by ^Ei= i1(^yi) the exceptionalcurve of i. M oreover,let ^Bibe the im age of ^B in ^i. Set ^B0= ^B . T hen for each i 1
(1) if ^Bihas a singularity at a point z then either ^yi= z or there exists j < i such that ( i j+ 1)(^yj)= z;
(2) ^Eibelongs to ^Bi 1ifand only ifthe m ultiplicity of ^Biat ^yiis odd;
(3) ^Biis singular at ^yi;
(4) ^S is the canonicalresolution ofthe double cover of 0branched along ^Bt. Proof. W e keep the notation from section 1:1. Since ^B is sm ooth,1) is clear. 2) For i = 1;:::;t; let ^i2 P ic(^i) denote ( i 1) (^). If ^Ei 6 B^i 1 the m ultiplicity of ^Bi= i (^Bi 1) at ^yiis ^Ei:^Bi 1 = 2^Ei:^i 1, an even num ber. O n the other hand if ^Ei B^i 1 w e have ^Ei:(^Bi 1 E^i) = 2^Ei:^i 1 1, and so the m ultiplicity of ^Bi= i (^Bi 1)= i (^Bi 1 E^i) at ^yiis odd.
3) Let E ^ be a ( 1)-curve and E S a reduced and irreducible curve such^ that ^(E ) = E. If E B then E^ 2 = 12E2 = 12, a contradiction. If E \ ^B = ; then E2 = 1 and E :Ei = 0;i = 1;:::;k; hence ^(E ) S is a ( 1)-curve, a contradiction. T herefore, E 6 B and E:^^ B 1, that is E:^B 2 as ^B 2^. In particular,it follow s that ^B1is singular at y1.
N ow assum e i > 1. B y 1);2) and the inductive hypothesis, ^Ei 6 B^i 1 im - plies that ^Bi has m ultiplicity ^Ei:^Bi 1 2 at ^yi w hile for ^Ei B^i 1 w e get E^i\ (^Bi 1 E^i)6= ;.
H ence ^Biis singular at ^yiif ^Ei6 ^Bi 1and ^Bi= i(^Bi 1 E^i) has m ultiplicity 1 at ^yiif ^Ei B^i 1. In the second case if ^Ei:(^Bi 1 E^i) = 1 w e can assum e f^yi 1g = ^Ei\ (^Bi 1 E^i) and stillby induction w e get that the strict transform Ei 1 (resp. Ei) of ^Ei 1 (resp. ^Ei) on ^ is a ( 1)-curve (( 2)-curve) belonging (do not belonging) to ^B such thatEi:Ei 1= 1 and ^B :Ei 1= 2. T herefore,taking the pull back to ^S of Ei 1 and then pushing it dow n to S w e get a sm ooth rational curve w ith sel ntersection greater than or equalto 1. A contradiction.
Finally,for 4) it is easily seen that,since ^B is sm ooth,1);2);3) characterize the canonicalresolution ofthe double cover of tbranched along ^Bt.
2. P roof of T heorem 0.1: part I
In this section and in the next one w e w ill prove the im plications (a) ) (b), (a) ) (c) of T heorem 0.1. H ence, throughout these tw o sections w e w illassum e that S is a sm ooth m inim alsurface ofgeneraltype such that the bicanonicalm ap factors through a 2-to-1 m ap :S 99K onto a rationalor ruled surface. W e also assum e that S does not present the standard case,in particular KS2 9.
T herefore,from section 1.1 w e get the com m utative diagram S^
^
// S
’2K
//$$
S2
^ ^ // //
2
OO
w here ^ is a rationalor ruled surface since ,0are birationalm aps. In particular, as ^ is sm ooth it is either ruled or P2.
P roposition 2.1. If ^ = P2 then q(S) = 0 and ^B is a sm ooth curve of degree 8 or 10. W e have respectively pg(S)= 3;KS2 = 2 and pg(S)= 6,KS2 = 8. M oreover, KS is am ple.
Proof. First of allnotice that the involution induced by on S does not have isolated xed points, otherw ise there w ould be som e ( 2)-curve contained in P2 (cfr. (1.1)).
H ence ^S = S, ^ = and is a ( nite) double cover. T herefore,^B is sm ooth and denoting by 2d the degree of ^B 2^ w e get:
9 KS2 = 2(KP2 ^)2= 2(d 3)2;
hi(S;OS(KS))= hi(P2;OP2(d 3))+ hi(P2;OP2( 3));
hence 2d 10. O n the other hand w e have 2d 8,since S is ofgeneraltype. So 3 d 4 and q(S)= 0; pg(S)= 12d(d 3)+ 1.
W e notice that there cannot be a ( 2)-curve on S, since it w ould m ap to a ( 1)-curve or a ( 2)-curve in P2,w hence KS is am ple.
From now on w e w illassum e that ^ is ruled. Let e be a geom etrically ruled surface.W e denoteby C0a section of esuch thatthe selfintersection C02= e 0 is the sm allest possible and by = P1 w e denote a bre ofthe ruling. R ecallthat C0and generate P ic(e).
H ence there is a birationalm orphism ’ :^ ! eand setting B = ’ (^B ) w e can w rite
B C0+ (1
2 e + ) Follow ing X iao [18],w e can assum e ’ to be such that
y) = B : is m inim al;
z) the greatestm ultiplicity ofthe singularitiesofB ism inim al,and the num ber of singularities of B w ith the greatest m ultiplicity is m inim al, am ong all the choices satisfying condition (y);
w here an [r,r]-point is considered as a unique singularity of m ultiplicity strictly betw een r and r + 1.
R em ark. Let ^H be the pullback to ^S ofa general 2 j j. H ence ’ ^jF^: ^F ! is a double cover branched in :B points. T herefore,j^H jis a pencilof curves of genus12( :B 2). In particular, w e assum e 8 since S does not present the standard case.
T he m ain result ofthis section is the follow ing:
T heorem 2.2. Let S be a sm ooth m inim al surface of generaltype does not pre- senting the standard case and an involution acting on S such that the quotient S= is a ruled surface. Let ^S be the blow up ofS atthe isolated xed pointof and
^ :^S ! ^ = ^S=^ the projection onto the quotient. Let ’ :^ ! e be a birational m orphism having the properties y) and z).
A ssum e that the bicanonical m ap of S factors through ^. T hen e is rational and only the following possibilities can occur:
i) = 8; = 6;
ii) = 8; = 8 + 2i, where 1 i 5. T he essentialsingularities of B are:
i+ 1 [5;5]-points,possibly som e 4-tuple points or [3;3]-points.
R em ark 2.3. T he idea of this theorem goes back to X iao G ang. In fact, in [18]
P roposition 6 he proves a w eakly result,nam ely:
a) he further assum es the bicanonicalm ap to be 2-to-1 onto a ruled surface and that h0(^ ;O^(2K^ + ^))= 0;
b) he claim s that under these hypotheses e is rational and only the follow ing possibilities can occur: (i);(ii) as above and
iii) = 12; = 14,and B has three [7;7]-points,possibly som e non essential singularities;
iv) = 16; = 18, and B has three [9;9]-points, an 8-tuple point, possibly som e non essentialsingularities.
R em ark 2.4. In fact,T heorem 2.2 su cesto proveim plication (a)) (b)ofT heorem 0.1.
In particular,w e have that e is the H irzebruch surface Fe= P (OP1 OP1( e)).
R em ark 2.5. W e w illprove the above theorem in severalsteps:
1) w e rem ark that looking carefully at the X iao’s proof it is easy to see that the argum ent still w orks if one suppose that the bicanonical m ap factors through a rationalm ap ofdegree tw o onto a rationalor ruled surface;
2)m oreover,in oursituation w ehavethath0(^ ;O^(2K^+ ^))= 0 by P roposition 1.2;
3) therefore,w e are now reduced to prove the follow ing proposition:
P roposition 2.6. In the hypotheses ofT heorem 2.2,cases (iii),(iv) above do not occur.
N otation. From now on w e w illrefer to ^S as a surface oftype SI (resp. SII, SIII,SIV) m eaning that w e consider ^S associated to the com m utative diagram
S^
^
$$JJJJJJJJJJJJJJ
B^ ^ ’ // Fe B
such that the m orphism ’ : ^ ! Fe has the properties (y),(z) and B = ’ (^B ) is as in P roposition 2.2,(i) (resp. 2.2,(ii),R em ark 2.3,(iii),(iv)).
Let p 2 Fe be a point. W e denote by elmp the elem entary transform ation centered at p,that is the result ofblow ing up p and then contracting the bre of the ruling passing through p.
L em m a 2.7. Let ^S be a surface oftype SII (resp. SIII,SIV). Let [p0! p]be an [r;r]-points of B such that r = 5 (resp. 7;9). Let p 2 j j be the bre such that p 2 p.
T hen,p0is in nitely near to p, p belongs to B and two distinctsingular [r;r]- points lie on distinct bres. Finally, C0 does not belong to B .
Proof. Suppose that p0is not in nitely near to p. T hen p 6 B and since r =
1
2 + 1 = 12B :p+ 1 w e can apply elmp0 elmp to obtain a new m odelw ith less singularities ofm axim alm ultiplicity. A contradiction.
N ow the other claim s are clear.
L em m a 2.8. Let ^S be a surface oftype SII or SIII or SIV. T hen - if ^S is oftype SII then 0 e 7+4i; 1 i 5;
- if ^S is oftype SIIIor SIV then we can assum e e = 1.
Proof. B y Lem m a 2.7 the curve B contains i+ 1 (resp. 3) bres if^S is oftype SII
(resp. SIIIor SIV) and C06 B . T herefore,if ^S is oftype SII w e get
i+ 1 C0:B = 4e+ 8 + 2i that is
e 7 + i 4
and analogously w e get e < 2 if ^S is oftype SIIIor SIV.
Let us now suppose that ^S is of type SIII (resp. SIV) and e = 0. T hen w e can choose C0 such that there exists a [7,7]-point (resp. [9,9]-point),say [p0! p], such that p 2 C0. N ow perform ing elmp w e get a m odelw ith e = 1 and the sam e singularities.
For the rem ainder ofthe section w e w illassum e that ^S is oftype SIIIor SIV. T herefore,by Lem m a 1.3 ^S is the canonicalresolution of the double cover of F1
branched along a reduced curve B = B0+ 1+ 2+ 3 such that i2 j j and B02 j12C0+ 17 j(resp. B02 j16C0+ 21 j).
W e w illdenote by [p0i! pi]the [7;7]-point (resp. [9;9]-point) of B such that pi2 Li; i= 1;2;3.
L em m a 2.9. (a) For any curve C F1 sitting in the linear system jC0+ j we have that fp1;p2;p3g 6 C ;
(b) pi62 C0; i= 1;2;3.
Proof. W e give the proofforthe case B02 j12C0+ 17 j,the otherone iscom pletely analogous.Suppose thatthere existsC 2 jC0+ jsuch thatfp1;p2;p3g C . T hen 21 C :B = (C0+ ):(12C0+ 20 )= 20 im plies that C belongs to B . H ence C is tangentto iatpi,for i= 1;2;3;a contradiction. A nalogously w e getpi62 C0.
Since the [p0i! pi]’sare the singularitiesofB w ith m axim alm ultiplicity w e have a factorization ’ = 1 2 6 ’0such that i(resp. 3+i) is the blow up at pi(resp. p0i),i= 1;2;3. W e set ^W = ’0(^ ).
Let 0 : F1 ! P2 be the m orphism contracting C0 to a point p0 2 P2. T hen Li= 0( i) is a line passing through p0and by the above lem m a p1;p2;p3;are non collinear points such that pi6= p0; i= 1;2;3:(by abuse ofnotation w e denote by the sam e letter the im age ofpiin P2). H ence w e have the com m utative diagram
^
’
O''O OO OO OO OO OO OO OO OO O
’0
^ W
O ''O OO OO OO OO OO OO OO OO
1 6
// F1
0
P2
w here = 0 1 6 : ^W ! P2 is the com position. W e set E0 = (p0), Ei = (pi),E3+i= (p0i),i= 1;2;3.
L em m a 2.10. Let L be a line in P2. T hen h0(^W ;OW^( (5L ) E0
X6 1= 1
2Ei))= 2 and the generalelem ent
D 2 j (5L ) E0 X6 1= 1
2Eij
is a sm ooth and irreducible rationalcurve on ^W such that D2= 0.
In particular,jD jde nes surjective m orphism f : ^W ! P1such thatthe general bre is isom orphic to P1.
Proof. Let Ci be the conic in P2 passing through p1;p2;p3; tangent to Lj;Lk, fi;j;kg = f1;2;3g.T hen Ciis sm ooth since p1;p2;p3 are not collinear and pi6= p0. Let Di W^ be the strict transform ofthe curve Di= 2Ci+ Li; i= 1;2;3. H ence Di;Dj do not have com m on com ponents if i 6= j and Di 2 jD j. In particular, h0(^W ;OW^(D )) 2 and jD jdoes not have xed part.
A straightforw ard calculation yields D2 = 0;D :KW^ = 2: T herefore, the ra- tionalm ap f de ned by jD jis a surjective m orphism onto a curve and D 2 jaL j, w here L is a general bre off.
O n the other hand E0:D = E0:( (5L ) E0 P 6
1= 12Ei)= 1. T herefore,a = 1 and a standard argum ent com pletes the proof.
N ow w e are ready to prove P roposition 2.6 and then T heorem 2.2 by R em ark 2.5.
ProofofProposition 2.6. Let D be as in the above lem m a. D enote by 0= 1
::: 6 : ^W ! F1 the com position such that ’ = 0 ’0. H ence,a straightforw ard calculation yields D 2 j0(4C0+ 5 ) P 6
1= 12Eij.
A ssum e that ^S is of type SIII. T hen B 12C0+ 20 and ^S is the canonical resolution ofthe double cover ofF1branched along B . H ence w e have
’0(^B )= 0(12C0+ 20 ) X3 1= 1
6Ei X6 1= 4
8Ei since the [p0i! pi]’s are [7;7]-points. T herefore,w e get
D :(’ (^B ))= (4C0+ 5 ):(12C0+ 20 ) 12 3 16 3 = 8
w hich is a contradiction. Indeed in this case there is a birational m orphism ’ :~ W^ ! Fe such that ~’ (D ) is a ruling of Fe and so if w e consider the m orphism
~
’ ’0:^ ! Few e get ((~’ ’0) (^B )):(~’ (D ))= 8 < 12. B ut w e are assum ing that
’ has the property (y).
A n analogous argum ent show s that ^S can not be oftype SIV. 3. P roof of T heorem 0.1: part II
In this section w e w ill prove that if ^S is of type SI (resp. SII) then S is the m inim alm odelofa D u Valdouble plane. T herefore,w e get the im plication (a)) (c) ofT heorem 0.1.
P roposition 3.1. Let S be such that ^S is a surface of type SI. T hen there exists a birational m orphism : ^ ! X onto as sm ooth surface such that setting G :=
(^B ) we have:
a) either X = P2 and G is a reduced curve of degree 10 with possibly som e [3;3]-points and no other essentialsingularities;
b) or X = F2 and G = C0+ G0,where G0\ C0= ; and G0is a reduced curve in the linear system j7C0+ 14 jwith at m ost non essentialsingularities;
c) or X = P2 and G = G0+ L1where L1is a line and G0is a reduced curve of degree 11. In this case G has the following essentialsingularities: a 4-tuple point and a [5;5]-point on L1,possibly som e [3;3]-points.
In particular, ^S and S are respectively the canonicalresolution and the sm ooth m inim alm odelofa D u Valdouble plane.
Proof. T his w as already partially proved by X iao G ang. In fact, w e have a m or- phism ’ : ^ ! Fe such that B 8C0+ (4e + 6) and by [18] P roposition 7, either e = 1 or e = 2, hence either B 8C0+ 10 or B 8C0 + 14 . Still by [18]P roposition 7 the essentialsingularities ofB are possibly 4-tuple points or [3,3]-points.
Ife = 1 let contC0 be the m orphism w hich contracts the ( 1)-section to a point p 2 P2. W e obtain a m orphism onto P2
:= contC0 ’ :^ ! P2
such that G := (^B ) is a curve ofdegree 10. N otice that C0:B = 2 and so G has either a triple point or a double point at p depending on C0 B or not. T hus the essentialsingularities ofG are possibly 4-tuple points or [3,3]-points. Suppose that G hasa 4-tuple pointatsay q. T hen the pull-back to ^S ofthe penciljL qjoflines through q is a pencilofcurves ofgenus 2,a contradiction.
Ife = 2 w e have C0:B = 2,thus C0 B and B = C0+ B0w here B0:= B C0
is a curve such that B0\ C0= ; since B is reduced.
Suppose that B has tw o 4-tuple points, say p;q. T hen the pull-back to ^S of the penciljC p qj, w here C C0+ 2 , is a pencilof curves of genus tw o, a contradiction.
If B has only non essentialsingularities w e set X = F2 and G = B (case (b)).
IfB has a 4-tuple point at say p w e consider the projection from p 2 F2 onto the plane,i.e. perform an elem entary transform ation centered at p and then contract the proper transform of C0. Since w e blow up a singular point of B , by Lem m a 1.3 w e get a birationalm orphism : ! X = P2. W e set G = (^B ),hence G is a curve ofdegree 10 w hich possibly has som e [3;3]-points and no other essential singularities (case (a)). If B has only [3;3]-points as essential singularities, let [p0! p] be one of them . H ence, projecting from p 2 F2 onto the plane w e get a birationalm orphism : ^ ! P2 such that G := (^B ) is a curve of degree 12.
M oreover,it is easily seen that G = G0+ L1,w here L1 is a line,and the essential singularities ofG are: a 4-tuple point and a [5;5]-point lying on L1,possibly som e [3;3]-points. N otice that L1 is the im age ofthe exceptionalcurve arising from p.
Finally, by Lem m a 1.3 ^S is the canonicalresolution of the double cover of X branched along G .
P roposition 3.2. LetS be such that ^S is a surface oftype SII. T hen there exists n 2 and a birationalm orphism :^ ! P2such thatsetting G = (^B ) we have:
a) G = G0+ P n
i= 1Li; where L1;:::;Ln are distinct lines passing through a point in P2 and G02 j(10 + n)L jis a reduced curve;
b) the essentialsingularities ofG are a (2n + 2)-tuple pointat ,a [5;5]-point [p0i! pi] such that pi2 Li, i = 1;:::;n, possibly som e 4-tuple points or [3;3]-points.
T herefore,
c) ^S respectively S are the canonicalresolution and the sm ooth m inim alm odel ofa D u Valdouble plane oftype Dn with n 2:
Proof. W e have a m orphism ’ : ^ ! Fe such that ’ (^B ) = B = B1+ 1+ +n; n 2 f2;:::;6g, w here 1;:::; n are pairw ise distinct bres and B 8C0+ (4e + 8 + 2(n 1)) .
T he essentialsingularities ofB are a [5,5]-point [p0i! pi]such that pi2 i; i=
1;:::;n;possibly som e 4-tuple points or [3,3]-points.
B y Lem m a 2.7 and 2.8,w e know that C06 B and 0 e 6+4n. In particular, e 3 since n 6.
If e = 1 let contC0 :F1 ! P2 be the birationalm orphism w hich contracts C0
to a point in P2. W e denote by the sam e letter the im age of piin P2. T hen Li:= contC0( i) is a line passing through and G0= contC0 (B1) is a reduced curvehaving an m -tuple pointat w herem = B1:C0= n+ 2,a [4;4]-point[p0i! pi] such that pi2 Liand p0iis in nitely near to Li;i= 1;:::;n,possibly som e 4-tuple points or [3,3]-points.
W e set G = G0+ L1+ + Ln and = contC0 ’. H ence a straightforw ard calculation show s that G 2 j(10 + 2n)L jand (^B ) = G . W hence (a);(b) follow and by Lem m a 1.3 w e get (c).
Ife = 2 w e can assum e that p1 62 C0. In fact,ifw ere pi2 C0;for i= 1;:::;n;
then it w ould be 5n C0:B = 16 + 16 + 2(n 1)= 2n 2,a contradiction.
Let us perform the elem entary transform ation elmp1 :F2 99K F1 and consider the curve
B0= B10+ 01+ +0n 1+ 0n
w here 0i(resp. B01) is the proper transform of i; i= 2;:::;n,(resp. B1) and 01 is the (im age ofthe) exceptionalcurve arising from p1.
T hen the proper transform C00 of C0 is the ( 1)-section and C00 6 B0: A s w e blow up at a singular point ofB w ith odd m ultiplicity,by Lem m a 1.3 there exists a birationalm orphism ’0:^ ! F1 such that ’0(^B )= B0.
M oreover,a straightforw ard calculation show s that B0:C00= 2n + 2 and B0has the sam e singularities as B . T herefore w e conclude as above.
Ife = 3 w e have n = 6 since n 4e 6 = 6 and so C0:B = 6. H ence w e see that pi62 C0; i= 1;:::;6. C onsider the birationalm ap elmp1 elmp2 :F399K F1.
T hen as above w e have a m orphism ’0: ^ ! F1 such that ’0(^B ) = B0,w here B0= B01+ 01+ 60+iscom posed by the propertransform sofB1; 03;:::; 06and by the exceptionalcurves 01; 02arising from p1;p2.
A lso in this case w e get C00:B0= 2n + 2 and B0has the sam e singularities as B . T herefore w e conclude as above.
Ife = 0 w e argue as in the other cases.
4. D u V al double planes
W e are going to com plete the proof of T heorem 0.1. In particular, w e w ill prove im plication (c)) (b) and assum ing (c) w e w illshow that S is regular unless pg(S)= q(S)= 1.
H ence, throughout this section w e w ill assum e that S is a m inim al surface of generaltype w hich is the sm ooth m inim alm odelofa D u Valdouble plane X0and such that does not present the standard case.
W e w illdenote by S the canonicalresolution ofsuch a double plane,so w e have the follow ing com m utative diagram
S
ww S eeeeeeeeeeee//eeeeeeeeee22
~
X0
Ws
! // W0 = X
w here X is either P2 or F2 according to the type of X 0(cfr. introduction) and
;~ are double coversbranched along G ;Gs= ! (G ) P
2[m2i]Ei respectively (cfr.
(1;2)). Furtherm ore,there isan involution on S induced by ~ w hose xed locus is the divisor R := ~ 1(Gs). W e denote by 2 P ic(X ) (resp. s2 P ic(Ws)) a divisor such that G 2 j2 j(resp. Gs2 j2 sj).
N otation. Let X0be a D u Valdouble plane oftype Dn. W e denote by 1 the num ber of[3;3]-pointsofthe branch curve G ,w hereasby 2w e denote the num ber of4-tuple points.
Furtherm ore, if n > 0 w e denote by [p0i ! pi] the [5;5]-point of G such that pi2 Li;i= 1;:::;n,w hereas if 1> 0 (resp. 2> 0) w e denote by [q0j! qj](resp.
rj) a [3;3]-point (resp. 4-tuple point) ofG ;j = 1;:::;1(resp. 2).
L em m a 4.1. Let S be the canonicalresolution of a D u Valdouble plane of type Dn. T hen
i) pg(S ) q(S )= 6 n 1 2
ii) KS2 = 8 2n 21 22
M oreover,
iii) n + 1+ 2 6;
iv) ifn 1,then 2 n.
Proof. B y [9]w e have
(S )= 1
2(KP2+ ): + 2 (P2) 1 2
X h mi
2
i hmi
2 i
1 =
= 1
2(2 + n) (5 + n)+ 2 1
2((n + 1)n + (2 + 6)n + 2 1+ 22)=
= 7 n 1 2
and
KS2 = 2(KP2 + )2 2
X h
mi
2 i
1
2
=
= 2(2 + n)2 2(n2+ (1 + 4)n + 1+ 2)=
= 8 2n 21 22: Since (S )= (S) 1,i) im plies n + 1+ 2 6.
Finally,assum e that n = 0 (resp. n = 1) and 2 1 (resp. 2). Let C Ws
be the strict transform of a general line (resp. conic) passing through r1 (resp.
r1;r2;p1;p01) and ~C its pullback to S . T hen j~Cjis a pencilofcurves ofgenus 2. A contradiction.
N otice that ifn = 1 then is a 4-tuple point,hence m ay be in nitely near to p01:
R ecallthat ! factors as !s 1 w here !! i+ 1is the blow up ofyi2 W iw ith exceptionalcurve Ei+ 1,i= 0;:::;s 1.
L em m a 4.2. Let S be the canonicalresolution of a D u Valdouble plane of type Dn and let C be a reduced and irreducible curve on Ws. T hen
(1) C is a ( 2)-curve contained in Gs such that !(C ) = p is a point if and only if there exists i2 f0;:::;s 2g such that Gihas an [r;r]-point at yi
with r 3 odd,(!i+ 2 s)(C )= E! i+ 1and (!1 i 1)(y! i)= p (or y0= p ifi= 0).
(2) A ssum e that n 1. T hen C is a ( 2)-curve contained in Gs such that
!(C ) = L is a line passing through (resp. pi,i= 1;:::;n) ifand only if L 2 fL1;:::;Lng:
Proof. (1) is straightforw ard.
(2). If !(C ) = L is a line then C is the strict transform of L , because it is reduced and irreducible. N otice that since Li(G Li) = 2n + 9 the only singular points ofG lying on,or in nitely near to,Liare ;pi;p0i.
IfL is a line passing through w e can assum e y0= and hence w e have that C = ! (L ) E1
X
i 2
ciEi
w here ci = 1 if and only if yi 1 lies on, or is in nitely near to, L and ci = 0 otherw ise. T hus,L2 C2= 1 1 P
ciand so C2 = 2 ifand only ifthere are exactly tw o ci’s w hich are non zero. T herefore,w e get
2 = C :Gs= L :G (2n + 2) 2[mj
2 ] 2[mk
2 ]
w here j;h 2 f2;:::;sg are such that [m2j]+ [m2k]= 5. It is easy to check that the only possibility is L 2 fL1:::;Lng.
Ifpi2 L then L is tangent to Li,since L G ,and so L = Li. N ow for the proofofthe m ain theorem w e consider three cases:
A ) X 0is oftype Dn w ith n 2;
B ) X0is oftype Dn w ith n < 2;
C ) X0is oftype D or B .
C ase A ).X0is oftype Dn,n 2. A s2n+ 2 6 w ecan assum ey0= .M oreover, since the [5;5]-points are the singularities ofG w ith the greatest m ultiplicity low er than 2n + 2 w e can assum e yi = pi and yn + i = p0i, i = 1;:::;n. Finally, w e assum e y2n + i= rifor i= 1;:::;2and y2n + 2+j= qj(resp. y2n + 2+ 1+j= q0j) for j = 1;:::;1.
P roposition 4.3. LetS be the sm ooth m inim alm odelofa D u Valdouble plane of type Dn with n 2. T hen
a)
pg(S) q(S)= 6 n 1 2 KS2 = 8 1 22
b) there is a rationalpenciljH jon S such that:
i) the generalm em ber H 2 jH jis a sm ooth hyperelliptic curve ofgenus 3;
ii) jH jhas n double curves;
iii) jH jdoes not have base points.
c) T he bicanonicalm ap ofS factors through and it induces the hyperelliptic invo- lution on the generalH 2 jH j.
Proof. LetL be a generalline in P2passing through y0and ~L = ! (L ) E1 itsstrict transform . Let ~H = ~ (~L ) be the pullback of ~L to S . T herefore, ~jH~ : ~H ! L is~ a double cover branched in ~L:Gs= 8 points and ~H is a sm ooth hyperelliptic curve ofgenus 3. M oreover,j~H jis a rationalpencilsuch that
H~2= 0; H :K~ S = 4; H :R~ = 8:
For each i = 1;:::;n w e set ~Li= ! (Li) E1 2 j~Lj and w e denote respectively by Ci = ! (Li) E1 Ei+ 1 Ei+ n + 1 the strict transform of Liand by Cn + i= Ei+ 1 Ei+ n + 1 the strict transform ofEi+ 1= !i+ 11(yi) on Ws.
H ence w e have ~Li = Ci+ Cn + i+ 2En + 1+ i and C1;:::;C2n are ( 2)-curves belonging to Gs,by Lem m a 4.2. T herefore,setting ~Hi= ~ (~Li) and Ei= ~ 1(Ci) w e get ~Hi= 2Ei+ 2En + i+ 2~ (En + 1+ i),i.e. ~Hiis a double curve.
If 1> 0,by Lem m a 4.2 there are 1m ore ( 2)-curvesC2n + 1;:::;C2n + 1 arising from the [3;3]-pointsw hich belong to Gs. W e setEi= ~ 1(Ci); i= 2n+ 1;:::;2n+
1.
N otice that the Ei’s are ( 1)-curves on S and since Gs is sm ooth they are pairw ise disjoint. M oreover,it is easily seen that Ci:~L = Ei:~H = 0.
Since S is m inim alofgeneraltype,the birationalm orphism :S ! S factors as 2 1 w here 1 :S ! S0contracts (exactly) the Ei’s. H ence,by Lem m a 4.1 w e get
pg(S0) q(S0)= pg(S ) q(S )= 6 n 1 2
KS20= KS2 + 2n + 1= 8 1 22
and so the follow ing table for ( (S0) 1;KS20):
(S0) 1 KS20
4 8
wwooooooo
3 6
wwooooooo 7 wwooooooo
8 xxqqqqqq
2 4
zzttttt 5
wwooooooo 6 wwooooooo
6
qqq xxqqq
7 xxqqqqqq
8 xxqqqqqq
1 2
zzttttt 3
zzttttt 4
wwooooooo 4
mmmm vvmmmm
5
ooo wwooo
5
qqq xxqqq
6 xxqqqqqq
6 qqq xxqqq
7 xxqqqqqq
8 qqq xxqqq
0 0 1 2 2 3 3 4 4 4 5 5 6 6 7 8
w here KS20 = 8 if an only if 1 = 2 = 0 if and only if G has neither 4-tuple pointsnor[3,3]-pointsand the arrow . (resp. #)m eansthatone im posesone m ore 4-tuple point (resp. [3,3]-point) to G .
Set H0= 1 (~H ). T hen the generalm em ber of jH0jis a sm ooth hyperelliptic curve ofgenus 3 because ~H :Ei= 0,and Hj0:= 1 (~Hj) is a double curve for each j = 1;:::;n. In particular,w e have
H02= 0; KS0:H0= 4; R0:H0= 8:
N otice that induces an involution 0on S0w hich is a m orphism and w hose
xed locusisunion ofthesm ooth curveR0:= 1 (R )and thepoints 1(E1);:::; 1(E2n + 1).
Let H denote the im age on S of a general H02 jH0j. Suppose that S0= S.
H ence (a) and (b) follow . M oreover,as S is m inim al and Ws is rational w e can apply P roposition 1.2. T herefore,w e have hi(Ws;OWs(2KWs + s)) = 0, i > 0;
and for (c) it su ces to show that h0(Ws;OWs(2KW s+ s))= 0.
O n the other hand by the R iem ann-R och form ula w e get h0(Ws;OW s(2KWs + s))= (2KWs + s)=
= 1
2(2KP2 + ):(KP2 + ) 1 8 X
(mi 4)(mi 2)+ 1
= 1
2(n2+ n 2) 1
8(4n2+ 4n)+ 1 = 0 w hence the bicanonicalm ap ofS factors through .
So it rem ains to prove that S0= S. Suppose to the contrary that S06= S,then
2:S0! S is not the identity and there is a ( 1)-curve E S0contracted by 2
to a point.
First ofallw e claim that E :H0= 0. In fact,E :H0 0 since jH0jis a pencil.
If E :H0> 0 then E :H0 2 since jH0jhas n 2 double curves. T hen w e get H2 4;H :KS 2 and so the H odge Index theorem im plies that KS2 = 1 and H is num erically equivalent to 2KS. O bserve that in this case X0is oftype D2 w ith
1 = 0;2 = 4. In particular, the involution 0acting on S0has 4 isolated xed points.
A s KS2= 1 then 2contracts exactly E ,and H2= 4 im plies E :H0= 2. N ow w e have to consider tw o cases: either E belongs to R0or not.
If E belongs to R0then q := 2(E ) is an isolated xed point of the induced involution on S since R0is sm ooth. M oreover w e get KS:R = 12H :R = 3 w here w e denote by R := 2 (R0) the divisorialpart ofF ix( ). A contradiction,indeed
has 5 isolated xed points and so by P roposition1.2 w e get KS:R = 1.
IfE does not belong to R0then 2KS:R = H :R 8. O n the other hand,in this case has4 isolated xed pointsand so by P roposition1.2 itfollow s4 = KS:R + 4.
A contradiction.
T herefore,H0:E = 0.
Let E 2 S be the strict transform ofE ,w e set E = ~(E ). T herefore,w e have E:~L = E :~H = E :H 0= 0 and then E is a com ponent of a curve ~LE 2 j~L j. In particular,E is a sm ooth rationalcurve and ~jE :E ! E is either a double cover or an isom orphism . W e consider the tw o cases separately.
If ~jE is an isom orphism . W e have ~ (E) = E + ~E w here E = ~E (possibly E = ~E ).
IfE = ~E then E Gsand thusE \ Ei= ;;i= 1;:::;2n + 1since Gsissm ooth.
H ence 1 = E2= 12E2. B y Lem m a 4.2 w e get a contradiction.
T herefore, E 6= E . In this case w e have G~ sjE = 2z w here z 2 P ic(E) and E2= ~E2= E2 deg(z). T hen either Gs\ E = ; or Gsand E are tangent at each intersection point. In particular E \ Ej = E \ Cj = ;;j = 1;:::;2n + 1 since E \ Cj6= ; im plies that both E and Cjbelong to ~LE. H ence E ;~E are ( 1)-curves and either E2 = 0 or deg(z) = 0,since E2 0 because E L~E 2 j~Lj. If E2 = 0 then E:Gs = 2 and ~LE = aE for som e a 1. H ence a = 4 since ~L :Gs = 8. A contradiction,since j~L jdoes not have m ultiple curves.
So deg(z) = 0 and E2 = 1. B y the de nition of canonicalresolution LE :=
!(E) can not be a point, therefore LE is a line passing through and LE 6= Lj;j = 1;:::n. Since L2E E2= 2 there is exactly one point yi6= lying on LE. A nalogously to Lem m a 4.2 w e getthatyiisan 8-tuple pointofG . A contradiction.
If ~jE is a double cover. T hen E2 = 2E2 < 0 is even and hence E2 2.
T herefore,E :(E1+ + E2n + 1) = 1 E2 is an odd (non zero) num ber and it is equalto the num ber ofEi’s w hich m eet E since E is sm ooth. B y the H urw itz form ula w e have E :(E1+ + E2n + 1) E :R = E:Gs= 2 w hich yields E2= 2 and E2 = 1. T he usualcalculation show s that !(E) can not be neither a point nor a line through . W hence ^S = S and the claim follow s.
P roposition 4.4. LetS be the sm ooth m inim alm odelofa D u Valdouble plane of type Dn with n 2.
T hen q(S) = 0 unless q(S) = pg(S) = 1. M ore precisely, let P be the set of n + 1+ 2points fp1;:::;pn;q1;:::;q1;r1:::;r2g. T hen pg(S)= q(S)= 1 ifand only ifn + 1+ 2= 6 and
- either no point of P is in nitely near to and the points of P lie on a conic;
- or exactly a point p 2 P is in nitely near to and there is a conic passing through the set ofpoints f g [ P n fpg.
Proof. R ecallthat
pg(S)= pg(S )= h0(Ws;OWs(KWs + s))+ h0(Ws;OW s(KWs))=
= h0(Ws;OWs(KWs + s)) w here s2 P ic(W s) is such that Gs 2 s.
