arxiv:math/ v1 [math.ag] 3 Mar 2006

Transcription

1 arxiv:math/ v1 [math.ag] 3 Mar 2006 SURFACES WITH K 2 = 8, p g = 4 AND CANONICAL INVOLUTION. INGRID C. BAUER AND ROBERTO PIGNATELLI Introduction The aim of this paper is to classify regular minimal surfaces S with K 2 = 8 and p g = 4 such that the canonical map factors through an involution. The study of surfaces with geometric genus p g = h 0 (S, Ω 2 S ) = 4 began with Enriques celebrated book Le superficie algebriche ([Enr]), where he summarized his research of over fifty years. By standard inequalities minimal surfaces with geometric genus p g = 4 satisfy 4 KS While for high values of KS 2 it is already difficult to prove existence, the challenge for low values is to completely classify all surfaces with the given value of KS 2. More ambitiously, one would like to understand the topology of the moduli space, i.e., the irreducible components and the connected components of the moduli space. The lowest possible values KS 2 = 4, 5 were already treated by Enriques and the corresponding moduli spaces were completely understood already in the 70 s. Already for KS 2 = 6 the situation is far more complicated. In [Hor3] Horikawa completely classifies all surfaces with p g = 4 and K 2 = 6, obtaining a stratification of the moduli space in 11 strata. Moreover he shows that there are 4 irreducible components, and at most three connected components. In [BCP] it is shown that actually the number of connected components cannot be bigger than two. Let us point out that all these surfaces are homeomorphic. The complete classification of minimal surfaces with KS 2 = 7 and p g = 4 was achieved by the first author in [Bau]. Moreover it is shown there that all these surfaces are homeomorphic, and there are three irreducible components and at most two connected components. Date: February 14, The present work was performed in the realm of the DFG-Schwerpunkt Globale Methoden in der komplexen Geometrie. 1

2 2 INGRID C. BAUER AND ROBERTO PIGNATELLI The first non classified case KS 2 = 8 is already for topological reasons much more complicated than the previous ones. By work of Ciliberto, Francia, Mendes Lopes, Oliverio and Pardini (cf. [Cil], [CFML], [MLP1], [Oli]) there are at least three different topological types, therefore at least three connected components of the moduli space. The analysis of the cases K 2 7 is based on a detailed study of the behaviour of the canonical map ϕ KS : S P 3, as already suggested by Enriques. In our case this natural approach fails since it yields too many strata and the question how they glue together becomes untreatable. Therefore it is necessary to find a less fine stratification of the moduli space. In this paper we classify completely all regular minimal surfaces with KS 2 = 8, p g = 4 whose canonical map is composed with an involution. This is already quite a big slice of the moduli space, because the canonical map of surfaces with KS 2 = 8, p g = 4 is finite of degree at most 4, so we get all cases of degree 2 and part of the degree 4 case. In fact, the general surface in 6 of the 10 irreducible components of the moduli spaces above described (4 K 2 7) is a canonical double cover. We can summarize our classification in the following Theorem. Let S be a minimal regular surface with p g = 4 and K 2 = 8. Assume that the canonical map factors through an involution i on S. Then: 1) the number τ of isolated fixed points of i is 0, 2 or 4; 2) S belongs to exactly one of six unirational families. We have summarized in the table below, for each family, the number τ, the dimension and the reference of the theorem where all the surfaces in this family are described; Family τ dim reference M (div) M M (0) M (1) M (DV ) M (2) , 5.7, 5.9 3) exactly two of these families, namely M (DV ) 4 and M (2) 4, are irreducible components of the moduli space; 4) the surfaces in M (div) 0 and the surfaces in M (2) 4 are not homeomorphic and not homeomorphic to any of the others. The paper is organized as follows.

3 SURFACES WITH K 2 = 8, p g = 4 AND CANONICAL INVOLUTION. 3 In section 1 we recall some general facts on involutions. In section 2 we show that the quotient S/i has geometric genus 0, and show that the number of isolated fixed points is 0, 2 or 4. Sections 3, 4 and 5 are devoted to the classification and to the detailed description of all surfaces with respectively τ = 0, τ = 2 and τ = 4. The surfaces with τ = 4 are exactly those whose bicanonical map is nonbirational. By [CFML] either they admit a genus 2 pencil or they are Du Val double planes, which have been classified in the above cited paper (M (DV ) 4 in our table). The genus 2 pencils fall in three different families. It is not clear from the description how they patch together to a single unirational component (M (2) 4 ). In section 6 we calculate the dimensions of each family. Since the genus 2 pencil case is described in three different families, it is very technical to show that they yield an irreducible component by studying their deformation. Instead we use the machinery of [CP] which gives a 1-1 correspondence between genus 2 fibrations and a set of algebraic data on the base curve, which allows us to treat all cases admitting a genus 2 pencil at once. 1. Involutions on surfaces Let S be a regular minimal surface of general type whose canonical map is composed with an involution i. Since S is minimal i is biregular. The quotient S/i is a nodal surface: resolving its singularities we get a cartesian diagram of morphisms (1) Ŝ ˆπ Ŝ/i ǫ S π S/i with vertical maps finite of degree 2 and horizontal maps birational. Let τ := KS 2 K2. Then by the standard formulas on double covers Ŝ (cf. e.g. [MLP2], [Bor]) (2) 0 τ = KS 2 + 6χ(O Ŝ/i ) 2χ(O S) 2h 0 (OŜ/i (2KŜ/i + ˆδ)) where ˆδ is the dual of ˆπ (OŜ).

4 4 INGRID C. BAUER AND ROBERTO PIGNATELLI Let now ϕ : S W be a quasi finite rational map of degree 2. We associate to ϕ the commutative diagram (3) S S ψ W β ϕ W b S ϕ W where the map W W is a minimal resolution of the singularities of W; the map b : S S is a minimal sequence of blow-ups such that the map S W induced by ϕ is a morphism; the left square of our diagram is Horikawa s resolution [Hor1] of the singularities of the branch curve of ϕ. We briefly recall Horikawa s construction. Let δ be the dual of ( ϕ O S), let q 1 be a singular point of with multiplicity m 1 and let b 1 : W 1 W be the blow up of W in q1. We define 1 := β1 [ m1 ] 2 E 1 2 and where E 1 = β 1 1 (q 1) and [ m 1 [ δ 1 := β1 δ m1 ] ) O W1 ( E 1, 2 ] is the greatest integer smaller or equal 2 to m 1 2. Repeating this procedure a finite number of times we end up with a smooth divisor 2δ in W. Let ψ : S W the associated finite map of degree 2. Since is smooth, S is smooth; and the map S S is a morphism since S was supposed minimal of general type. In the following we will denote: by,, the branch curves respectively of ϕ, ϕ and ψ; by δ, δ, δ the corresponding line bundles; by q i the points (possibly infinitely near) blown up in Horikawa s construction; by m i the multiplicity in q i of the branch curve in the corresponding step of Horikawa s resolution; by n i := [ ] m i 2 ; by t the cardinality of the set Ω e := {q i n i 2}.

5 SURFACES WITH K 2 = 8, p g = 4 AND CANONICAL INVOLUTION. 5 The map ϕ yields an involution on S which is biregular by construction. So we can associate to it a diagram as (1), and the two different constructions link by the following Theorem 1.1. ([Bau] thm. 3.43) ˆ S = S. We will frequently use the following formulae: Theorem 1.2. ([Hor1], lemma 6) 1) χ(o S ) = 1 2 δ(k W + δ) + 2χ(O W) 1 ni (n 2 i 1), 2) KS 2 = 2(K W + δ) 2 2 (n i 1) 2. Definition 1.3. A singular point q i of is called negligible if and only if n i = 1, otherwise q i is called an essential singularity. Negligible singularities of the branch curve give rise to rational double points on the double cover. Therefore in the description of the branch curves we will ignore them Canonical double covers of a quadric. Assume that S is a minimal surface whose canonical system induces a double cover ϕ of a quadric Q P 3, and consider the diagram (3) associated to ϕ. We write H := b ϕ (H Q ), where H Q is a hyperplane section of Q. If Q is smooth, then H Q = Γ 1 + Γ 2 where Γ 1 and Γ 2 are the two rulings: we will write D i := ϕ (Γ i ). Otherwise, W = Q is the quadric cone and then W is the Hirzebruch surface F 2. The pull-back of the hyperplane section of Q can be decomposed as H F2 = Γ 1 + Γ 2, where Γ 2 is the ruling of F 2 and Γ 1 = Γ + Γ 2, where Γ is the section at infinity. This notation has the advantage that Γ 1 and Γ 2 numerically behave in the same way as the two rulings of P 1 P 1 : Γ 2 1 = Γ2 2 = 0, Γ 1Γ 2 = 1. As before we denote by D i the pull-back on S of Γ i. Therefore we have in both cases: H = D 1 + D 2 with D 2 1 = D2 2 = 0, D 1 D 2 = 2. Note moreover that in both cases the canonical system of W is K W = 2(Γ 1 + Γ 2 ). We rewrite theorem 1.2 in this particular situation. Proposition 1.4. If S is a minimal surface whose canonical system induces a double cover ϕ of a quadric Q P 3, then i) (4 + K SD 2 )Γ 1 + (4 + K SD 1 )Γ 2 ; ii) n i (n i 1) = K SD 1 + K SD (K SD 1 )(K SD 2 ) 6; iii) 0 K 2 S K 2 S = K2 S + 2 (n i 1) 2 (K SD 1 )(K SD 2 ). Proof. We compute the bidegree of the branch divisor = 2 δ: Γ i = 2 δγ i = ( ϕ δ)di = K SD i ( ϕ K W)D i = K SD i + 4;

6 6 INGRID C. BAUER AND ROBERTO PIGNATELLI hence the divisor belongs to (4 + K SD 2 )Γ 1 + (4 + K SD 1 )Γ 2. Then by theorem 1.2, 1), 5 = χ(o S ) = 2 δ(k 1 W + δ) ni (n i 1) = 2 = 1 (( 2 + K ) ( SD 2 Γ K ) ) ( SD 1 K Γ SD 2 2 Γ 1 + K SD 1 Γ 2 ) ni (n i 1) = = 1 2 K SD K SD (K SD 1 )(K SD 2 ) ni (n i 1) and we have shown part ii) of the statement. The difference K 2 S KS 2 is the number of exceptional divisors of the first kind contracted by the birational morphism S S, so it is nonnegative. By theorem 1.2, 2), KS 2 = 2(K W + δ) 2 2 (n i 1) 2 = ( K = 2 SD 2 Γ 1 + K ) 2 SD 1 Γ 2 2 (n i 1) 2 = 2 2 = (K SD 1 )(K SD 2 ) 2 (n i 1) 2 and we are done Surfaces having a genus 2 pencil. Recall that a k fold triple point of a curve on a surface is inductively defined as a singular point of multiplicity three whose strict transform on the surface blown up in the point is a (k 1) fold triple point. Obviously a 1-fold triple point is a simple triple point. Genus 2 fibrations on a surface S allow to describe the surface as double covers of a ruled surface with branch locus with mild singularities as follows (cf. [Hor2], theorem 1 and lemma 6) Theorem 1.5. Let g : X B a genus 2 fibration. Then there is a rational map ϕ of degree 2 onto a P 1 -bundle W over B, mapping each fibre on an element of the ruling of W with its canonical map, whose branch locus W has only singularities of the following types: (0) a double point or a simple triple point; (I k ) a fibre Γ plus two triple points on it (hence these are quadruple points of ); each of these points is (2k 1) or 2k fold;

7 SURFACES WITH K 2 = 8, p g = 4 AND CANONICAL INVOLUTION. 7 (II k ) two triple points on a fibre (but the fibre not contained in ); each of these triple points is 2k or (2k + 1) fold; (III k ) a fibre Γ plus a (4k 2) or a (4k 1) fold triple point x on it which has contact of order 6 with Γ; (IV k ) a 4k or (4k + 1)-fold triple point x which has contact of order 6 with the fibre through x; (V 1 ) a fibre Γ plus a quadruple point x on Γ, which, after a quadratic transformation with center at x, results in a double point on the proper transform of Γ. By the next proposition, if the canonical map is a double cover of a quadric, the above P 1 bundle coincides with the minimal resolution of singularities of the quadric. We think that this result is well known, but for lack of reference we give a proof. Proposition 1.6. Let S be a minimal surface of general type with p g = 4 and q = 0 such that the canonical map is a double cover of a quadric Q P 3. Assume moreover that S has a pencil of genus 2 curves. Then: 1) the pencil is pull-back of a ruling of Q; 2) the branch curve W has only singularities as in theorem 1.5. Proof. 1) If S has a genus 2 pencil, then its bicanonical map is composed with the canonical involution of each curve C in the pencil. Since we assume the canonical map of degree 2, it follows that the involution associated to the canonical map of S induces the canonical involution of C. In particular, the image of the pencil gives a rational pencil L on W having intersection 6 with. If Q is smooth, we write L aγ 1 + bγ 2, a Γ 1 + b Γ 2, with a, b, a, b 0, Since S is of general type, it has no pencil of genus 1, whence a, b 6. This immediately implies that L is one of the rulings. Otherwise W = F 2. We write L aγ 1 + bγ 2, with, since L has no fixed part, b a 0, and a Γ 1 + b Γ 2, with (since is reduced) b + 2 a. On the other hand, a = Γ 2 6. Now, from L = 6 it follows easily a = 0, b = 1. 2) Now, the strict transform of the genus 2 pencil on S is D 2. Since the movable part of the canonical system of S is D 1 +D 2, the restriction map H 0 (K S) H 0 (ω D ) is surjective (it is a map C 4 C 2 whose kernel has dimension 2), which means that every element of D 2 is mapped with its own canonical map, and the statement follows from theorem 1.5. Corollary 1.7. Let S be a surface as in proposition 1.6.

8 8 INGRID C. BAUER AND ROBERTO PIGNATELLI Then for all q i Ω e, n i = 2 and t = 2 k kl k, where l k is the number of configurations of type (A k ) for A {I, II, III, IV, V } in the branch curve. Moreover, K S K S = t 2s, where s is the number of fibres contained in, i.e., the number of configurations of type (I k ), (III k ) or (V 1 ). Proof. By proposition 1.6 we know that has only singularities of the types (0), (I k ), (II k ), (III k ), (IV k ), (V 1 ). Then the corollary follows computing Horikawa s resolution of each case and checking that in each case we get all n i = 2; 2k points in Ω e on the fibre; the number of 1 curve contracted by the map S S is 2k if the fibre is not in the branch locus, 2(k 1) otherwise. Proposition 1.8. Let S be a regular minimal surface of general type such that the canonical map is a double cover of a quadric Q P 3. Assume moreover that S has a pencil of genus 2 curves. Then for all q i Ω e, n i = 2 and i) is a divisor in the linear system 6Γ 1 + (4 + K SD 1 )Γ 2 ; ii) t = K SD 1 2; iii) 0 t 2s = K 2 S K 2 S = K2 S 4. Proof. By proposition 1.6, if S has a genus 2 pencil, its strict transform on S is D 2 and therefore Γ 2 = 6. The formulae follow from proposition 1.4 and corollary Regular surfaces with p g = 4 and K 2 = 8 From now on S will be a minimal surface of general type with K 2 = 8, p g = 4, and q = 0. Remark 2.1. The canonical map of S is not composed with a pencil. More generally, Horikawa (cf. [Hor3], thm. 1.1) proved that the canonical map of regular surfaces with p g 3 and K 2 S 3p g 4 is not composed with a pencil. For the fixed part of K S we observe the following Proposition 2.2. Assume that K S has a non trivial fixed part, and write K S = H + F. Then we have the following possibilities: α) K S F = 2, H 2 = 4, HF = 2 F 2 = 0;

9 SURFACES WITH K 2 = 8, p g = 4 AND CANONICAL INVOLUTION. 9 β) K S F = 1, H 2 = 5, HF = 2 F 2 = 1; γ) K S F = 0, H 2 = 4, HF = 4 F 2 = 4; δ) K S F = 0, H 2 = 6, HF = 2 F 2 = 2. Proof. We have 8 = KS 2 = H2 + HF + K S F. By the 2 connectedness of every canonical divisor of S (cf. [BPV]), we have that HF 2 and therefore H 2 + K S F 6. Since H 2 deg(ϕ H ) deg(ϕ H (S)) 4, we see that K S F 2. Since K S is nef and F 2 + KF is even, the claim follows. If the canonical map factors through an involution i, then either p g (Ŝ/i) = 4 (equivalently, all 2-forms are invariant) or pg(ŝ/i) = 0 (i.e., all 2-forms are anti invariant). Lemma 2.3. Assume that the canonical map factors through an involution i, and let p be an isolated fixed point of i, C a curve such that i C = id. If p g (Ŝ/i) = 0, then p is a base point of K S. If p g (Ŝ/i) = 4, then C is contained in the fixed part of K S. Proof. There are local coordinates around p such that i(x, y) = ( x, y). In particular i (x a y b dx dy) = ( 1) a+b x a y b dx dy. If p g (Ŝ/i) = 0, every global 2 form ω on S is anti invariant. Writing ω = ω a,b x a y b dx dy it follows ω a,b = 0 for a + b even. In particular ω vanishes in p. The other case is similar. Proposition 2.4. If the canonical map of S factors through an involution i, then p g (S/i) = 0. Moreover, the number of isolated fixed points τ of i is 0, 2 or 4. Proof. We first show p g (Ŝ/i) = 0. If the canonical map has degree 2, p g (Ŝ/i) 4 since the image has degree at most 4. Otherwise it has degree 4 and K S is base point free. By lemma 2.3, if p g (Ŝ/i) = 4, π is branched only in the τ nodes of S/i. Therefore K 2 = 4 τ, and K Ŝ/i 2 Ŝ/i is nef. By Noether s inequality, S/i is a minimal surface of general type with p g = K 2 = 4 (which is known to be simply connected), and π is étale, a contradiction. By the inequality (2) we have 0 τ = 4 2h 0 (OŜ/i (2KŜ/i + ˆδ)).

10 10 INGRID C. BAUER AND ROBERTO PIGNATELLI (4) 3. Canonical involutions with τ = 0 In this case S/i is smooth. By theorem 1.2 K S/i δ = 2 K 2 S/i, δ 2 = 8 + K 2 S/i. We inductively contract all ( 1)-curves E on S/i contained in the image of the fundamental cycles of S. Let α : S/i P be the composition of all these contractions. Remark 3.1. We observe that every ( 1)-curve E contained in the image of a fundamental cycle of S has E = 2. It follows that equations 4 hold also for K P, δ P. Proposition 3.2. There are the following two possibilities: K 2 P = 1 and 3K P + δ P is trivial; K 2 P = 0 and 2K P + δ P is a genus 0 pencil without base points. Proof. By the Hodge Index Theorem: K 2 P δ2 P (K Pδ P ) 2. Equations (4) imply K 2 P 1. If K 2 P = 1, then 3K P + δ P is numerically trivial. By Riemann-Roch h 0 (3K P + δ P ) 1 whence 3K P + δ P is trivial. Otherwise K 2 P 0. By equation (2) 2K P + δ P is a pencil. Let G be its fixed part. Note that (K P + δ P )(2K P + δ P ) = 2. Since K P + δ P pulls-back to the canonical class of S, it is nef, and (K P + δ P )C can be zero only for finitely many curves. It follows that either (K P +δ P )(2K P +δ P G) = 2, (K P + δ P )G = 0, or (K P + δ P )(2K P + δ P G) = 1, (K P + δ P )G = 1. In particular 0 (K P + δ P )G 1 and the same holds if we replace G by one of its irreducible components. Again by H.I.T. 4G 2 = (K P + δ P ) 2 G 2 ((K P + δ P )G) 2 1, we get G 2 0. Claim. (2K P + δ P )C 0 for each irreducible component C of G. Since this is clear for K P C 0, we assume K P C < 0. If (K P + δ P )C = 0, then C is supported on the image of the fundamental cycles, and (again by H.I.T.) C 2 < 0. It follows that C is a ( 1)-curve, a contradiction (since we have contracted all of them in the definition of P). We are left with the case K P C < 0, (K P + δ P )C = 1. Note that C cannot be a component of G C. Since (2K P + δ P G)C 0 we get C(K G) 1, which implies C 2 1 CK P. It follows again that C is a ( 1)-curve, then δ P C = 2 and (2K P + δ P )C = = 0. Since 0 (2K P + δ P G) 2 = K 2 P 2(2K P + δ P )G + G 2, it follows K 2 P = 2(2K P + δ P )G = G 2 = 0.

11 SURFACES WITH K 2 = 8, p g = 4 AND CANONICAL INVOLUTION. 11 It follows that K P G and δ P G are even, so (K P +δ P )G = 0 and again by H.I.T. we conclude G = 0. So (since (2K P +δ P ) 2 = 0), 2K P +δ P is a pencil without base point whose genus is 1 + 1(2K 2 P + δ P )(3K P + δ P ) = 0. We get two families, according to the value of K 2 P. Theorem 3.3. If K 2 P = 1, then K S is 2-divisible and the canonical model of S can be embedded in the weighted projective space P(1, 1, 2, 3, 3) (with coordinates (x 0, x 1, y, z 0, z 1 )) as a complete intersection of two sextics of the form f 6 (x 0, x 1, y, z 0 ), z 2 1 g 6(x 0, x 1, y, z 0 ). Proof. By proposition 3.2, if KP 2 = 1 then 3K P + δ P is trivial, so K P + δ P = 2K p is 2 divisible and the same holds for its pull-back K S = π α (K P + δ P ). Oliverio proves in [Oli] that if the canonical system of a regular minimal surface with KS 2 = 8 and p g = 4 is 2 divisible, either K S has base points and the canonical map has degree 3 (so it is not our case), or the semicanonical ring R(S, 1 K 2 S) embeds the canonical model of S as a complete intersection of two sextics in P(1, 1, 2, 3, 3). Let us denote by L the semicanonical divisor π α ( K P ). Since 3L = π α δ P the decomposition of H 0 (3L) in invariant and anti invariant part gives H 0 (3L) = H 0 (δ P ) H 0 (O P ), we can choose the coordinates (z 0, z 1 ) so that z 1 is a generator of H 0 (O P ) and z 0 completes {x 3 a 0 x a 1, x1 a 0 x a 1 y} to a basis of H0 (δ P ). In these coordinates the involution is i(x 0, x 1, y, z 0, z 1 ) = (x 0, x 1, y, z 0, z 1 ). Since every anti invariant sextic is divisible by z 1, all sextics vanishing on our variety must be invariant. We conclude noticing that the coefficient of z1 2 must be non trivial in at least one of the two sextics (or the complete intersection would have a singularity in (0 : 0 : 0 : 0 : 1) which is not a Rational Double Point). Theorem 3.4. If KP 2 = 0, then S is the minimal resolution of a double cover of P 1 P 1 branched in a curve in 8Γ Γ 2 having 8 singular points (possibly infinitely near) of multiplicity 4 as only essential singularities. Proof. By proposition 3.2, 2K P + δ P is a genus 0 pencil without base points. Contracting 8 KP 2 = 8 ( 1)-curves (contained in fibres) we get a birational morphism η : P F r. Note that here one has to choose the 8 contractions and different choices yield different r s. The strict transform of a ( r)-section Γ of F r is an irreducible rational curve B on P with B(2K P +δ P ) = 1. Let E be a ( 1)-curve

12 12 INGRID C. BAUER AND ROBERTO PIGNATELLI contained in a fibre of 2K P + δ P : then B E is 0 or 1. If B E = 1, 2K P + δ P E is again an exceptional divisor of the first kind, so it contains an other ( 1)-curve E and B E = 0. Therefore we can choose η such that for all contracted curves holds B E = 0. Now, B is a smooth rational curve with B 2 = r, so K PB = r 2. Therefore 0 (K P + δ P )B = (2K P + δ P )B K P B = 3 r whence r 3. We modify our choice of η. We contract exactly r ( 1) curves with B E = 1 in order to get η : P P 1 P 1. We choose the rulings of P 1 P 1 such that η Γ 2 = 2K P + δ P. We write δ p = η (aγ 1 + bγ 2 ) 8 1 c ie i. First of all, for all i, c i = δ P E i = (2K P + δ P )E i 2K P E i = 2. Moreover, by formulae (4) a = δ p (η Γ 2 ) = δ P (2K P +δ P ) = 4+8 = 4. Finally, by 8 = δp 2 = 8b 32 we get b = 5, so δ p = η (4Γ 1 + 5Γ 2 ) E i. We recall diagram (1) 4. Canonical involutions with τ = 2 Ŝ ˆπ Ŝ/i ǫ S π S/i In this case ǫ is the blow up of S in two distinct points p 1 and p 2. We denote by E i the ( 1)-curve ǫ 1 (p i ) and by A i the corresponding ( 2)-curve ˆπ(E i ). Note that A i are components of the branch curve of ˆπ with ˆδA i = 1 and, by theorem 1.2 (5) KŜ/iˆδ = 3 K 2Ŝ/i, ˆδ 2 = 9 + K 2 Ŝ/i. Lemma 4.1. If τ = 2, K S has no fixed component. Proof. By lemma 2.3, p 1 and p 2 belong to the base locus of K S. We write K S = H +F (as in proposition 2.2) and KŜ/i +ˆδ A 1 A 2 = M + Φ. Since ˆπ M + ˆπ Φ = ǫ H + ǫ F E 1 E 2 it suffices to show Φ = 0. Assume Φ 0. By (2) we know that h 0 (2KŜ/i + ˆδ) = 1. Since (2KŜ/i + ˆδ)A i = 1, we have A 1 + A 2 < 2KŜ/i + ˆδ. Since 3 = (M + Φ) 2 = M 2 + (2M + Φ)Φ, and 2 M 2, we have the following possibilities

13 SURFACES WITH K 2 = 8, p g = 4 AND CANONICAL INVOLUTION. 13 (a) M 2 = 2, (2M + Φ)Φ = 1. (b) M 2 = 3, (2M + Φ)Φ = 0; We first treat the case (a). Note that M is rational being the pullback of a hyperplane section of a quadric under a birational morphism. Therefore KŜ/i M = 4. We have 0 M(2KŜ/i + ˆδ A 1 A 2 ) = M(KŜ/i + M + Φ) = 2 + MΦ. So MΦ 2 and therefore Φ 2 3. We write ǫ H = H + a 1 E 1 + a 2 E 2. Since (ǫ H) 2 H = 2, a i {0, 1}. Therefore F 2 = (ǫ F) 2 = (ˆπ Φ (a 1 1)E 1 (a 2 1)E 2 ) 2 4 a 1 a 2. By proposition 2.2 we conclude that a 1 = a 2 = 0 and that S is of type γ. In particular, the canonical map is a morphism ϕ of degree 2 onto a quadric. Consider the diagram (3) associated to ϕ. Since W is an irreducible quadric, S S iff W is a quadric cone and the inverse image of the vertex is a point p. Then S is the blow up of S in p and we write K S = b H + b F + E, b H = D 1 + D 2, D 1 = D 2 + 2E, Di 2 = 0, ED 2 = 1. Then K SD 2 = 2 + b FD 2 + ED 2 = b FD is even. Therefore, b FD 2 is odd. On the other hand 4 = b FD 1 + b FD 2 = 2b FD 2 + 2b FE = 2b FD 2, a contradiction. Otherwise, S = S. We write H = D 1 + D 2 as in subsection 1.1. The dualizing sheaf on S is the pull-back of the dualizing sheaf on the pluricanonical model, whence K S contains every fundamental cycle which it intersects. Since S is of type γ, K S F = 0, whence F is supported on fundamental cycles. Therefore we can write F = F 1 + F 2, where F 1 is a fundamental cycle and F 2 := F F 1 either is a different fundamental cycle, or is a divisor supported on F 1 with F2 2 = 2, F 1 F 2 = 0. In both cases Fi 2 = 2, KF i = 0, F 1 F 2 = 0. We have KD i = HD i + FD i = 2 + FD i ; in particular, FD i is even. Note that the bicanonical map of S is birational, therefore S cannot have a genus 2-pencil, whence K S D i 4. Since HF = 4, we get FD 1 = FD 2 = 2. By prop. 1.4, since KS 2 K2 S = 2, we get n i (n i 1) = 2 (n i 1) 2 = 10, so n 1 =... = n 5 = 2. Since H = ϕ O W(1, 1), the image of F must be contained in the fixed part of the subsystem of O W(2, 2), which pulls back to K S.

14 14 INGRID C. BAUER AND ROBERTO PIGNATELLI Therefore, all 5 singular points lie on ϕ(f) Γ 1 + Γ 2 which decomposes as ϕ(f 1 ) + ϕ(f 2 ). Note that, in the case of F 2, Γ is not contained in and Γ = 0, and therefore does not intersect. This implies that (in both cases) three of the singular points lie on a line L of the ruling Γ 2. Since Γ 2 = 8, L. If x is a quadruple point of on L it contributes to L( L) by 3. If x is a triple point, it is tangent to L, and therefore contributes to L( L) by 4. This implies L L, a contradiction. We are left with case (b): M 2 = 3, (2M + Φ)Φ = 0. If the canonical image is a quadric, then M has genus 0, KŜ/i M = 5. Intersecting M with 2KŜ/i +ˆδ A 1 A 2 as before we get MΦ 2, whence Φ 2 4. Therefore F 2 = (ǫ F) 2 = (ˆπ Φ (a 1 1)E 1 (a 2 1)E 2 ) 2 6 a 1 a 2 6, a contradiction. So the canonical image is a cubic F 3, and we are in case δ. Since M has genus 1, F 3 has only isolated singularities, whence its minimal desingularisation W equals the blow up of P 2 in six points x 1,...,x 6. Note that ϕ(f) is a line, say E x6. Now, H + F = ϕ (K W + δ) = H + ϕ δ, i.e., δ = 2K W + E x6. By theorem 1.2 n i (n i 1) = 2 so we have only one singular point with n i = 2. This means that we only have a quadruple point or a (3, 3) and therefore by Horikawa K 2 S KS 2 1, a contradiction since S = S and by 1.1 Ŝ = S. Lemma 4.2. If τ = 2, the base points of K S are exactly p 1 and p 2, the isolated fixed points of the involution. Proof. By lemma 4.1 and lemma 2.3, K S has no fixed part and p 1 and p 2 are base points of it. Assume there are more base points. Then the canonical image is a quadric. Let C K S E 1 E 2 be a general (smooth) element. Then C is mapped 2 : 1 to a smooth conic, therefore it is hyperelliptic. But K S E 1 E 2 restricts on C to the g2 1 and, since S is regular, the restriction map is surjective on global sections. This is a contradiction, since the g2 1 cannot have base points. Proposition 4.3. Assume the canonical image of S to be a cubic F 3. Then F 3 is the image of P 2 (x 1,...,x 6 ) in P 3 under the linear system 3l 6 i=1 E x i. Proof. Exactly as the analogous result in lemma (3.14) of [Bau].

15 SURFACES WITH K 2 = 8, p g = 4 AND CANONICAL INVOLUTION. 15 We consider now the morphism ϕ. Remark 4.4. We remark that ϕ(e 1 ) and ϕ(e 2 ) are two lines in F 3. Therefore we have two possibilities: 0 : ϕ(e 1 ) ϕ(e 2 ) = or 1 : ϕ(e 1 ) ϕ(e 2 ). In the first case we can assume without loss of generality that ϕ(e 1 ) = E x5 and ϕ(e 2 ) = E x6, whereas in the second case we can assume that ϕ(e 1 ) = E x6 and ϕ(e 2 ) = l E x5 E x6. Note that (6) H + 2E1 + 2E 2 = K S = ϕ (K W + δ) = H + ϕ ( δ). In case 0 we have the following result: Theorem 4.5. Let S be a surface of type 0. Then S is birational to a double cover of ˆP 2 (x 1,...,x 8 ), where x 7 is infinitely near to x 5, x 8 is infinitely near to x 6, branched along a divisor 12l 4 8 i=1 E x i + 2E x5 + 2E x6 having at most negligible singularities. Proof. Equation (6) implies δ 2K W + E x5 + E x6. Using the first formula in theorem 1.2 we get: ni (n i 1) = 4. Therefore the only possible case is n 1 = n 2 = 2. Since S = ˆ S = S, the two essential singularities of have to be quadruple or quintuple points. Furthermore, since ϕ(e 1 ) 2 = ϕ(e 2 ) 2 = 2 on Ŝ/i, but ϕ(e 1) 2 = Ey 2 5 = 1 and ϕ(e 2 ) 2 = Ey 2 2 = 1 on W, we conclude that one essential singularity of has to lie on E x5 and the other on E x6. Finally, we see that W = ˆP 2 (x 1,...,x 6, x 7, x 8 ), where x 7 is infinitely near to x 5 and x 8 is infinitely near to x 6. The branch locus on W is 2 δ. Theorem 4.6. Let S be a surface of type 1. Then S is birational to a double cover of ˆP 2 (x 1,...,x 7 ) where x 7 = E x6 (l E x5 E x6 ) branched along a divisor 14l 4 4 i=1 E x i 6E x5 4E x6 6E x7 having at most negligible singularities. Proof. By (6) we have δ = 2K W +(l E x5 E x6 )+E x6. By 1.2 we get n i (n i 1) = 6 and (n i 1) 2 = 4. Hence we have one essential singularity of, of multiplicity 6 or 7. Furthermore, since ϕ(e 1 ) 2 = ϕ(e 2 ) 2 = 2 on Ŝ/i, but ϕ(e 1) 2 = E 2 x 5 = 1 and ϕ(e 2 ) 2 = 1 on W, we conclude that the singular point

16 16 INGRID C. BAUER AND ROBERTO PIGNATELLI of has to lie on the intersection of E x6 and l E x5 E x6. We conclude as before. 5. Canonical involutions with τ = 4 In this case by equation (2), h 0 (OŜ/i (2KŜ/i + ˆδ)) = 0. In particular, the bicanonical map factors through the involution i. In [CFML] the authors classify all surfaces with p g 4, nonbirational bicanonical map having no genus 2 pencil. In particular, they obtain Theorem 5.1 ([CFML]). If τ = 4 and S has no genus 2 pencil, then S belongs to one of the following two families i) S is birational to a double cover of P 1 P 1 with branch curve = L 1 +L 1 +L 2 +L 2 +D where L i, L i are distinct lines in Γ i and D 8Γ 1 + 8Γ 2 has quadruple points at the intersection of the 4 lines as only essential singularities. ii) S is birational to a double cover of P 1 P 1 with branch curve = L 2 + L 2 + D where L 2, L 2 are distinct lines in Γ 2 and D 8Γ 1 + 8Γ 2 has (4, 4) points at the intersection of the 2 lines with a line L 1 in Γ 1 as only essential singularities. Therefore in the following we can assume that S has a genus 2 pencil. Remark 5.2. Observe that τ = 4 implies that the canonical map is a double cover of a quadric. By proposition 1.6 we can assume the genus 2 pencil to be D 2. We consider again diagram (1). In this case ǫ is the blow up of S in four distinct points p 1,...,p 4. We denote by E i the ( 1)-curve ǫ 1 (p i ) and by A i the corresponding ( 2)-curve ˆπ(E i ). Lemma 5.3. If τ = 4 and K S has nontrivial fixed part, then F 2 2. Proof. We write KŜ/i +ˆδ 4 1 A i = M +Φ. Since M 2 = (M +Φ) 2 = 2, (2M + Φ)Φ = 0 and therefore by Hodge Index Theorem Φ 2 2 (since Φ 0). By the same calculation as in lemma 4.1 we get for the fixed part F of the canonical system 4 F (1 a i ) 2. i=1 Note that a i {0, 1} and a i = 1 if and only if p i is a base point of H. If F 0, H cannot have more than two base points, whence F 2 2. Therefore we have to consider three cases:

17 M (2) 4,0 M (2) 4,γ ) M (2) 4,δ SURFACES WITH K 2 = 8, p g = 4 AND CANONICAL INVOLUTION. 17 ) K S has four distinct base points, which have to be p 1,...,p 4 ; ) in this case F = 0. K S = H + F, K S F = 0, H 2 = 4, HF = 4, F 2 = 4; in this case H has no base points; K S = H + F, K S F = 0, H 2 = 6, HF = 2, F 2 = 2; in this case H has two base points ( {p 1,...,p 4 }), say p 1, p Case M (2) 4,0. We write K Ŝ = H i=1 E i. Lemma 5.4. If Q = ϕ(s) is the quadric cone, then ϕ H factors through F 2. Proof. Assume that ϕ H does not factor through F 2. Then H = 2D, with D 2 = 1. On the other hand, DK S = D H i=1 E id 0 mod 2, contradicting the the adjunction formula. We have for j {1, 2}: D j K S = D j ( H + 2 ) ( 4 4 ) E i = E i D j. i=1 Since D 2 is a genus 2 pencil, we get D 2 K S = 2, D 1 K S = 10. By proposition 1.8 we have that is a divisor in 6Γ Γ 2, t = 8 and s = 4. It follows Theorem 5.5. If S is of type M (2) 4,0, then S is birational to a double cover of F r (with r {0, 2}) branched along a curve 6Γ Γ 2 having 4 configurations of singularities of type (I 1 ), (III 1 ), or (V 1 ) as only essential singularities Case M (2) 4,γ. As already noticed, in case γ, F = F 1 + F 2 with F 1 fundamental cycle, F 2 another fundamental cycle or a divisor supported on F 1 with F 2 2 = 2, F 1F 2 = 0. Lemma 5.6. If Q = ϕ(s) is the quadric cone, then ϕ H factors through F 2. Proof. Assume that ϕ H does not factor through F 2. Consider the diagram (3) associated to ϕ H. Then S is the blow up of S in the inverse image of the vertex p. Then, as in the proof of lemma 4.1, K SD 2 is even, b FD 2 is odd. On the other hand 4 = b FD 1 + b FD 2 = 2b FD 2 + 2b FE = 2b FD 2, a contradiction. i=1

18 18 INGRID C. BAUER AND ROBERTO PIGNATELLI Theorem 5.7. Let S be of type M (2) 4,γ. Then S is birational to a double cover of F r, r {0, 2} branched in 6Γ Γ 2 having 2 configurations of singularities of type (II 1 ) or (IV 1 ) as only essential singularities. Proof. Write as before H = D 1 + D 2. Since D 2 is a genus 2 pencil, we immediately see that FD 1 = 4, FD 2 = 0. By proposition 1.8 we get 6Γ Γ 2, t = 4, s = Case M (2) 4,δ. In this case H has two base points p 1, p 2. Lemma 5.8. If Q = ϕ(s) is the quadric cone, then ϕ KŜ factors through F 2. Proof. Exactly as in lemma 5.4. Theorem 5.9. Let S be of type M (2) 4,δ. Then S is birational to a double cover of F r, r {0, 2} branched in 6Γ Γ 2 having 1 configuration of singularities of type (II 1 ) or (IV 1 ) and 2 configurations of singularities of type (I 1 ), (III 1 ), or (V 1 ) as only essential singularities. Proof. Since D 2 is a genus 2 pencil, we immediately see that (ǫ F + 2E 1 + 2E 2 )D 2 = 0, whence K SD 1 = HD 1 + (ǫ F + 2E 1 + 2E 2 ) H = 2 + ǫ Fǫ H + 4 = 8. By proposition 1.8 we obtain 6Γ Γ 2, t = 6, s = Moduli In the previous sections we classified all minimal regular surfaces with K 2 S = 8, p g = 4, whose canonical map factors through an involution. Our results yield a stratification of the corresponding subscheme of the moduli space of minimal regular surfaces with K 2 S = 8, p g = 4 in six families as follows: Family Theorem short description M (div) c.i. (6, 6) in P(1 2, 2, 3 2 ) M d.c. of F 0 branched in (8, 8) E i M (0) d.c. of P 2 branched in 12l E i + 2E 5 + 2E 6 M (1) d.c. of P 2 branched in 14l E i + 2E 5 + 2E 7 M (DV ) K non birational, no genus 2 pencil M (2) 4 5.5, 5.7, 5.9 genus 2 pencil The aim of this section is to prove the following

19 SURFACES WITH K 2 = 8, p g = 4 AND CANONICAL INVOLUTION. 19 Theorem 6.1. The four families M (div) 0, M 0, M (0) 2, M (1) 2 are unirational of respective dimensions 28, 28, 32, 33. M (DV ) 4 and M (2) 4 are generically smooth unirational irreducible components of the moduli space of respective dimensions 38 and 34. Remark 6.2. By Kuranishi s theorem each irreducible component of the moduli space of minimal surfaces of general type with K 2 = 8, p g = 4 has dimension at least 10χ 2K 2 = 34. It follows that the first four families are not irreducible components of the moduli space. Remark 6.3. Minimal surfaces of general type with K 2 = 8, p g = 4 belong to at least three different topological types (in particular, the moduli space has at least three connected components). The surfaces in M (div) 0 are the only ones in our list with 2 divisible canonical class, the surfaces in M (DV ) 4 are the only ones in our list with non trivial torsion in the Picard group. We split the proof of theorem 6.1 in six propositions, one for each family. Proposition 6.4. M (div) 0 is unirational of dimension 28. Proof. By theorem 3.3 these surfaces are complete intersections of the form f 6 (x 0, x 1, y, z 0 ) = z 2 1 g 6(x 0, x 1, y, z 0 ), so they are parametrized by pairs (f 6, g 6 ) of sextics in the variables (x 0, x 1, y, z 0 ) of respective degrees (1, 1, 2, 3). Each of these sextics depends on 22 parameters, so we get 43 parameters. Since the automorphisms of P(1 2, 2, 3) have (vectorial) dimension 15, we get an unirational family of dimension 28. Proposition 6.5. M 0 is unirational of dimension 28. Proof. By theorem 3.4 these surfaces are double covers of the blow up Y of P 1 P 1 in 8 points branched in a curve in 8Γ 1 +10Γ E i. Since 8 points in P 1 P 1 depend on 16 parameters and dimaut(p 1 P 1 ) = 6, it is enough to show that dim 8Γ Γ E i = 28. By Riemann-Roch this is equivalent to h 1 (8Γ Γ E i) = 0. Note that 8Γ Γ E i = 4K Y + 2Γ 2. For the proof of the vanishing we need the following Claim. Every curve C K Y satisfies H 0 (O C (3K Y 2Γ 2 )) = H 0 (O C (4K Y 2Γ 2 )) = 0. Proof of the claim. We choose a curve C K Y. We write C = A+B with A, B 0. Writing A = aγ 1 +bγ 2 c i E i, then AB = 2(a+b ab)+ c i (c i 1) 2(a+b ab). Since 0 a, b 2,

20 20 INGRID C. BAUER AND ROBERTO PIGNATELLI AB 0, implies A or B is trivial. Therefore C is 1 connected, whence H 0 (C, O C ) = C. The claim follows since by Riemann-Roch H 0 (O C ( (3K Y 2Γ 2 ))) and H 0 (O C ( (4K Y 2Γ 2 ))) are both different from zero. for the claim Since 4 = p g = h 0 (O Y (Γ 2 K Y )), by Riemann-Roch h 1 (O Y (Γ 2 K Y )) = 0. Let C 1 Γ 2 K Y be a general curve. We note that C 1 is irreducible since it is the image of a canonical curve. We consider the exact sequence 0 O Y (Γ 2 K Y ) O Y (2Γ 2 2K Y ) O C1 (2Γ 2 2K Y ) 0. Since C 1 (2Γ 2 2K Y ) = 8 > 2g(C 1 )+2 = 6, it follows that h 1 (O C1 (2Γ 2 2K Y )) = 0 whence h 1 (O Y (2Γ 2 2K Y )) = 0. Now we consider 0 O Y (2Γ 2 2K Y ) O Y (2Γ 2 3K Y ) O C (2Γ 2 3K Y ) 0. By the claim (since ω C = O C ) h 1 (O Y (2Γ 2 3K Y )) = 0. As above, by the exact sequence 0 O Y (2Γ 2 3K Y ) O Y (2Γ 2 4K Y ) O C (2Γ 2 4K Y ) 0, we get h 1 (O Y (2Γ 2 4K Y )) = 0. Proposition 6.6. M (0) 2 is unirational of dimension 32. Proof. These surfaces are double covers of the blow up Y of P 2 at 8 points x 1,...,x 8, where x 7 is infinitely near to x 5 and x 8 is infinitely near to x 6, branched along a divisor in 12l E x i + 2E x5 + 2E x6. The ( 2)-curves E 5 = E x 5 E x7, E 6 = E x 6 E x8 are contained in the branch curve since E i = 2. Let B = E 5 E 6 12l E x i E x i. Since the points x 1,...,x 8 P 2 depends on 14 parameters, and dim Aut(P 2 ) = 8 it suffices to show dim B = 26. By Riemann-Roch this is equivalent of showing h 1 (O Y (B)) = 0. The required vanishing follows immediately by Ramanujam s vanishing theorem once we have shown that there is a 1 connected divisor in 2H Y 3K Y +E 5 +E 6, where H Y is the pull back of the hyperplane in P 3. We choose an irreducible element D H Y. If there is an irreducible element C in K Y, Then, since D 2, DC, DE 5, DE 6 and C2 are strictly positive, 2D + 3C + E 5 + E 6 is 1 connected.

21 SURFACES WITH K 2 = 8, p g = 4 AND CANONICAL INVOLUTION. 21 Otherwise K Y has a fixed component C 1 l E x5 E x6 E x7 E x8. If there is an irreducible element C 2l E x1 E x2 E x3 E x4, we write 2D + 3C 1 + 3C + E 5 + E 6 = A + B with A = A + kc 1, B = B + (3 k)c 1, 0 k 1. If k = 0, AB A B : since D 2, DC 1, DC, DE 5 and DE 6 are strictly positive and (C ) 2 = 0, either A B > 0 or B = 0, and in this case of course AB > 0. If k = 1, AB = 6 + (2A + B )C 1 + A B 6 + (A + B )C 1 = 2. Otherwise we can further decompose C 2 + C 3 2l E x1 E x2 E x3 E x4 with C 2 l E x1 E x2 E x3 and C 3 l E x4 : we omit the rather long but straightforward computation that the divisor 2D + 3C 1 + 3C 2 + 3C 3 + E 5 + E 6 is 1-connected. Proposition 6.7. M (1) 2 is unirational of dimension 33. Proof. These surfaces are double covers of the blow up Y of P 2 at 7 points x 1,..., x 7, where x 7 E x6 (l E x5 E x6 ), branched along a divisor in 14l E x i 2E x5 2E x7. Since the fixed part of is E 6 + l, where E 6 = E x6 E x7 and l = l E x5 E x6 E x7, as in the previous propositions it suffices to show h 1 (O Y ( 13l 4 7 i=1 E x i E x5 ) = 0. Writing H Y for the pull-back of a hyperplane of P 3 to Y, the above system can be written as 2H Y + 2( K Y ) + l + E 6. Claim. There is an irreducible C K Y. Proof of the claim. Assume K Y has a fixed part F. First remark that dim K Y = 2, since H Y is base point free and has dimension 3. We can assume that F is not one of the E xi (if two plane cubics intersect in seven points and are both singular in one of these, then computing the intersection multiplicities one finds a common component), and therefore that F is the strict transform of a line or of a conic. If F is a conic then (since dim l = 2) F = 2l 7 1 E x i and we see that l is a component of F. But (F l )H Y = 1, a contradiction. Therefore F is the strict transform of a line and we get a contradiction as before: dim K Y F = 2, from this we get K Y F are the conics passing through at most three points, whence F is the strict transform of a line passing through four points, which is impossible. for the claim Let C K Y and D H Y be irreducible. 2D + 3C + l + E 6 is 1 connected since D 2, DC, Dl, DE 6 and C2 are strictly positive: the desired vanishing follows then by Ramanujam s vanishing. The following is proven in [CFML], [Sup].

22 22 INGRID C. BAUER AND ROBERTO PIGNATELLI Proposition 6.8. M (DV ) 4 is an irreducible component of the moduli space of surfaces with K 2 = 8 and p g = 4 which is generically smooth, unirational of dimension 38. Finally we prove Proposition 6.9. M (2) 4 is an irreducible component of the moduli space of surfaces with K 2 = 8 and p g = 4 which is generically smooth, unirational of dimension 34. Proof. These are the surfaces having a genus 2 pencil and are described in theorems 5.5, 5.7, 5.9 as double covers of F 0 or F 2. Since the double covers of F 2 are obviously obtained as degenerations of double covers of F 0 (simply deforming F 2 to F 0 ), we can assume that the canonical image is a smooth quadric, or equivalently that, if f is the genus 2 pencil, f (K S ) = O P 1(1) 2. We describe this family in a different way, using the recipe developed in [CP], theorem 5.13, where a 1 1 correspondence is given between genus 2 fibrations and a quintuple of algebraic data (B = P 1, V 1, τ, ξ, w) (we keep the notation of [CP]). Here V 1 = f ω X B, where ω X B is the relative canonical bundle, so f (K S ) = O P 1(1) 2 implies that V 1 = O P 1(3) 2. τ is a divisor on P 1 whose degree (by theorem 5.13 of [CP]) is 4, ξ Ext 1 O P 1 (O τ, S 2 (V 1 ))/Aut OB (O τ ) such that the corresponding coherent sheaf V 2 is a vector bundle. From the exact sequence 0 O P 1(3) O P 1(7) O τ 0 we get an isomorphism Hom(O P 1(3), O P 1(6) 3 ) = Ext 1 O B (O τ, O P 1(6) 3 ), showing that the extension class varies in a space of dimension 12 4 = 8. The last datum w is a general element in P(H 0 (Ã6)), where Ã6 is a vector bundle which fits in a exact sequence 0 V 2 O B ( 2τ) S 3 (V 2 ) (det V 1 ) 2 O B ( 2τ) Ã6 0. We would like to point out that geometrically w is the branch curve of the double cover. For details of this construction we refer to the original paper [CP]. Note that each direct summand of F := S 3 (V 2 ) (det V 1 ) 2 O B ( 2τ) has degree at least 2. More precisely, if V 2 has r copies of O P 1(6) as direct summands (r {0, 1, 2}), F has r 2 copies of O P 1( 2) as direct summand. In particular, h 1 (Ã6) r 2. We get by the above exact sequence χ(ã6) = 29.

23 SURFACES WITH K 2 = 8, p g = 4 AND CANONICAL INVOLUTION. 23 For r = 0 we get a family with = 40 parameters on which we have a natural action of Aut(P 1 P 1 ). Therefore we get an unirational family of dimension 34. Observe that for r = 1, 2 we get families M, M of dimensions less or equal to 33 respectively 32 (since r = 1, 2 impose 2 resp. 6 conditions on ξ). Note that a general element of M (2) 4, as well as a general element of M, M, is given as double cover of P 1 P 1 branched along a curve 6Γ 1 +14Γ 2 containing 4 lines L 1,...,L 4 Γ 2, having two simple quadruple points on each. Then K S has four base points p 1,...,p 4 and we consider the finite morphism (cf. (3)) ψ : S Y, where Y is the blow up of P 1 P 1 in the eight singularities of. Then the involution acts on H 1 (T S ) = H 1 (Ω 1 S Ω 2 S ), inducing a natural splitting H 1 (Ω 1 S Ω2 S )+ H 1 (Ω 1 S Ω2 S ), and similar for S. Moreover, H 1 (Ω 1 S Ω 2 S) = H 1 (ψ (Ω 1 S Ω 2 S)) = H 1 (ψ (Ω 1 S Ω 2 S)) + H 1 (ψ (Ω 1 S Ω 2 S)) = H 1 (Ω 1 Y (log ) Ω 2 Y ) H1 (Ω 1 Y Ω2 Y (log δ )). Exactly as in the proof of thm in [Bau], we show that H 1 (Ω 1 Y Ω 2 Y (log δ )) = H 1 (ψ (Ω 1 S Ω 2 S)) = 8. Since b : S S contracts 4 exceptional curves of the first kind, h 1 (Ω 1 S Ω2 S ) = h 1 (Ω 1 S Ω 2 S)) 8 = 0. Therefore each small deformation of a general element of M, resp. M is again in M (2) 4. Therefore we have proven that M (2) 4 is unirational of dimension 34. It remains to show that M (2) 4 is generically smooth. Let S be a general element of M (2) 4, in particular r = 0. Then it suffices to show h 1 (Ω 1 S Ω2 S ) = 34, or equivalently, h1 (Ω 1 Y (log ) Ω 2 Y ) = 34. We consider the following two exact sequences: (7) 0 Ω 1 Y (K Y ) Ω 1 Y (log )(K Y ) O (K Y ) 0, (8) 0 O Y (K Y ) O Y (K Y ) O (K Y ) 0. We have h 2 (O Y (K Y )) = h 0 (O Y ( )) and by [CP] this equals h 0 (Ã6) = 29. Hence, by the long exact cohomology sequence associated to (8) h 1 (O (K Y )) = 28. On the other hand, H 1 (Y, O Y (K Y )) = H 0 (O (K Y )) and is the disjoint union of a curve with the strict transforms of L 1, L 2, L 3 and L 4. Since h 0 (O (K Y )) = 0, it follows that H 0 (O (K Y )) = 4 1 H0 (O Li (K Y )) = C 4.

24 24 INGRID C. BAUER AND ROBERTO PIGNATELLI Since K Y is not empty and doesn t have a fixed part there is a morphism O Y (K Y ) O Y, which is not identically zero on L i. From this we obtain the commutative diagram (9) 4 1 H0 (O Li (K Y )) d H 1 (Ω 1 Y (K Y )) = 4 1 H0 (O Li ) γ H 1 (Ω 1 Y ) Using [Cat] lemma (3.7) (cf. [Bau], proof of theorem 5.32) we obtain γ injective, whence also d is injective. By the long exact sequence associated to (7) it follows that h 1 (Ω 1 Y (log )(K Y )) = h 1 (Ω 1 Y (K Y )) h 0 (O (K Y )) Since Y is the blow up of P 1 P 1 in 8 points, h 1 (Ω 1 Y (K Y )) = h 1 (T Y ) = 10. We conclude h 1 (Ω 1 Y (log )(K Y )) = 34. References [BPV] W. Barth, C. Peters, A. Van de Ven, Compact Complex Surfaces, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. Band 4. Berlin etc.: Springer-Verlag. X, 304 p. (1984). [Bau] I. Bauer, Surfaces with K 2 = 7 and p g = 4, Mem. Am. Math. Soc. 721, 79 p. (2001) [BCP] I. Bauer, F. Catanese, R. Pignatelli, The moduli space of surfaces with p g = 4 and K 2 = 6, math.ag/ , to appear in Math. Ann. [Bea] A. Beauville, L application canonique pour les surfaces de type général (French), Invent. Math. 55, (1979). [Bor] G. Borrelli, On the classification of surfaces of general type with non-birational bicanonical map and Du Val Double planes, preprint math.ag/ [Cat] F. Catanese, On the moduli spaces of surfaces of general type, J. Diff. Geom. 19, no. 2, (1984). [Cil] C. Ciliberto, Canonical surfaces with p g = p a = 4 and KS 2 = 5,..., 10, Duke Math. J. 48, no.1, (1981). [CFML] C. Ciliberto, P. Francia. M. Mendes Lopes, Remarks on the bicanonical map for surfaces of general type, Math. Z. 224, no.1, (1997). [CP] F. Catanese, R. Pignatelli, Fibrations of low genus, I, preprint math.ag/ [Enr] Enriques, F., Le superficie algebriche. Zanichelli, Bologna (1949). [Hor1] E. Horikawa, On deformations of quintic surfaces, Invent. Math. 31, (1975). [Hor2] E. Horikawa, On algebraic surfaces with pencils of curves of genus 2, Complex analysis and algebraic geometry, pp Iwanami Shoten, Tokyo, (1977). [Hor3] E. Horikawa, Algebraic surfaces of general type with small c 2 1. III., Invent. Math. 47, (1978).

25 SURFACES WITH K 2 = 8, p g = 4 AND CANONICAL INVOLUTION. 25 [MLP1] M. Mendes Lopes, R. Pardini, Triple canonical surfaces of minimal degree, Intern. J. Math. 11, no. 4, (2000). [MLP2] M. Mendes Lopes, R. Pardini, The bicanonical map of surfaces with p g = 0 and K 2 7. II, Bull. London Math. Soc. 35, no. 3, (2003). [Oli] P.A. Oliverio, On even surfaces of general type with K 2 = 8, p g = 4, q = 0, Rend. Sem. Mat. Univ. Padova 113, 1 14 (2005). [Sup] P. Supino, On moduli of regular surfaces with K 2 = 8 and p g = 4, Port. Math. (N.S.) 60, no. 3, (2003). (Ingrid C. Bauer) Mathematisches Institut, Universitätstraße 30, D Bayreuth, Germany (Roberto Pignatelli) Dipartimento di Matematica, Università di Trento, via Sommarive 14 loc. Povo, I Trento, Italy