CONSTRUCTING LEFSCHETZ FIBRATIONS VIA DAISY SUBSTITUTIONS arxiv: v3 [math.gt] 19 May 2015

Transcription

1 CONSTRUCTING LEFSCHETZ FIBRATIONS VIA DAISY SUBSTITUTIONS arxiv: v3 [math.gt] 19 May 2015 ANAR AKHMEDOV AND NAOYUKI MONDEN Abstract. We construct new families of non-hyperelliptic Lefschetz fibrations by applying the daisy substitutions to the families of words (c 1c 2 c 2g 1c 2gc 2g+1 2 c 2gc 2g 1 c 2c 1) 2 = 1, (c 1c 2 c 2gc 2g+1) 2g+2 = 1, and (c 1c 2 c 2g 1c 2g) 2(2g+1) = 1 in the mapping class group Γ g of the closed orientable surface of genus g, and study the sections of these Lefschetz fibrations. Furthemore, we show that the total spaces of some of these Lefschetz fibraions are irreducible exotic 4-manifolds, and compute their Seiberg-Witten invariants. By applying the knot surgery to the family of Lefschetz fibrations obtained from the word (c 1c 2 c 2gc 2g+1) 2g+2 = 1 via daisy substitutions, we also construct an infinite family of pairwise non-diffeomorphic irreducible symplectic and non-symplectic 4-manifolds homeomorphic to (g 2 g + 1)CP 2 #(3g 2 g(k 3)+2k +3)CP 2 for any g 3, and k = 2,,g Introduction The Lefschetz fibrations are fundamental objects to study in 4-dimensional topology. In the remarkable works [9, 21], Simon Donaldson showed that every closed symplectic 4-manifold admits a structure of Lefschetz pencil, which can be blown up at its base points to yield a Lefschetz fibration, and conversely, Robert Gompf showed that the total space of a genus g Lefschetz fibration admits a symplectic structure, provided that the homology class of the fiber is nontrivial. Given a Lefschetz fibration over S 2, one can associate to it a word in the mapping class group of the fiber composed solely of right-handed Dehn twists, and conversely, given such a factorization in the mapping class group, one can construct a Lefschetz fibration over S 2 (see for example [21]). Recently there has been much interest in trying to understand the topological interpretation of various relations in the mapping class group. A particularly well understood case is the daisy relation, which corresponds to the symplectic operation of rational blowdown [12, 13]. Another interesting problem, which is still open, is whether any Lefschetz fibration over S 2 admits a section (see for example [36]). Furthermore, one would like to determine how many disjoint sections the given Lefschetz fibration admits Mathematics Subject Classification. Primary 57R55; Secondary 57R17. Key words and phrases. 4-manifold, Lefschetz fibration, rational blowdown, mapping class group, daisy relation. 1

2 2 ANAR AKHMEDOV AND NAOYUKI MONDEN The later problem has been studied for the standard family of hyperelliptic Lefschetz fibrations (with total spaces CP 2 #(4g + 5)CP 2 ) in [27, 31, 39], using the computations in the mapping class group, and such results are useful in constructing (exotic) Stein fillings [1, 3]. Motivated by these results and problems, our goal in this paper is to construct new families of Lefschetz fibrations over S 2 by applying the sequence of daisy substitutions and conjugations to the hyperelliptic words (c 1 c 2 c 2g 1 c 2g c 2g+1 2 c 2g c 2g 1 c 2 c 1 ) 2 = 1, (c 1 c 2 c 2g c 2g+1 ) 2g+2 = 1, and (c 1 c 2 c 2g 1 c 2g ) 2(2g+1) = 1 in the mapping class group of the closed orientable surface of genus g for any g 3 and study the sections of these Lefschetz fibrations (cf. Theorems 24-28). Furthermore, we show that the total spaces of our Lefschetz fibraions given by the last two words are irreducible exotic symplectic 4-manifolds, and compute their Seiberg-Witten invariants (cf. Theorem 31). The analogues (but weaker) results for special case of g = 2, using the lantern substitutions only, were obtained in [12, 2]. We would like to remark that the mapping class group computations in our paper are more involved and subtle than in [12, 2]. One family of examples, obtained from the fiber sums of the Lefschetz fibrations using daisy relations, were studied in [13]. However, the examples obtained in [13] have larger topology, and computations of Seiberg-Witten invariants, and study of sections were not addressed in [13]. Moreover, we prove non-hyperellipticity of our Lefschetz fibrations and provide some criterias for non-hyperellipticity under the daisy substitutions (cf. Theorem 29). Some of our examples can be used to produce the families of non-isomorphic Lefschetz fibrations over S 2 with the same total spaces and exotic Stein fillings. We hope to return these examples in future work. The organization of our paper is as follows. In Sections 2 and 3 we recall the main definitions and results that will be used throughout the paper. In Section 4, we prove some technical lemmas, important in the proofs of our main theorems. In Sections 5 and 6, we construct new families of Lefschetz fibrations by applying the daisy substitutions to the words given above, study the sections and prove non-hyperellipticity of our Lefschetz fibrations (Theorems 24, 25, 26, 27, 28, 29). Finally, in Section 7, we prove that the total spaces of some of these Lefschetz fibrations are exotic symplectic 4-manifolds, which we veirfy by computing their Seiberg-Witten invariants and obtain infinite family of exotic 4-manifolds via knot surgery (Theorems 31, 32), and make some remarks and raise questions. We would like to remark that the main technical content of our paper is more algebraic since our proofs rely heavily on mapping class group techniques. It is possible to pursue a more geometric approach (see Example 12), but such approach alone does not yield the optimal results as presented here.

3 CONSTRUCTING LEFSCHETZ FIBRATIONS VIA DAISY SUBSTITUTIONS 3 2. Mapping Class Groups Let Σ n g be a 2-dimensional, compact, oriented, and connected surface of genus g with n boundary components. Let Diff +( Σ n g) be the group of all orientation-preserving self-diffeomorphisms of Σ n g which are the identity on the boundary and Diff + 0 (Σ g) be the subgroup of Diff + (Σ g ) consisting of all orientation-preserving self-diffeomorphisms that are isotopic to the identity. The isotopies are also assumed to fix the points on the boundary. The mapping class group Γ n g of Σ n g is defined to be the group of isotopy classes of orientation-preserving diffeomorphisms of Σ n g, i.e., Γ n g = Diff +( Σ n g) /Diff + 0 ( Σ n g ). For simplicity, we write Σ g = Σ 0 g and Γ g = Γ 0 g. Thehyperellipticmappingclass grouph g of Σ g is definedas thesubgroup of Γ g consisting of all isotopy classes commuting with the isotopy class of the hyperelliptic involution ι : Σ g Σ g. Definition 1. Let α be a simple closed curve on Σ n g. A right handed (or positive) Dehn twist about α is a diffeomorphism of t α : Σ n g Σn g obtained by cutting the surface Σ n g along α and gluing the ends back after rotating one of the ends 2π to the right. It is well-known that the mapping class group Γ n g is generated by Dehn twists. It is an elementary fact that the conjugate of a Dehn twist is again a Dehn twist: if φ : Σ n g Σ n g is an orientation-preserving diffeomorphism, then φ t α φ 1 = t φ(α). The following lemma is easy to verify (see [24] for a proof). Lemma 2. Let α and β be two simple closed curves on Σ n g. If α and β are disjoint, then their corresponding Dehn twists satisfy the commutativity relation: t α t β = t β t α. If α and β transversely intersect at a single point, then their corresponding Dehn twists satisfy the braid relation: t α t β t α = t β t α t β Daisy relation and daisy substitution. We recall the definition of the daisy relation (see [33], [13], [7]). Definition 3. Let Σ p+2 0 denote a sphere with p+2 boundary components (p 2). Let δ 0,δ 1,δ 2,...,δ p+1 be the p boundary curves of Σ p+2 0 and let x 1,x 2,...,x p+1 be the interior curves as shown in Figure 3. Then, we have the daisy relation of type p: t p 1 δ 0 t δ1 t δ2 t δp+1 = t x1 t x2 t xp+1. We call the following relator the daisy relator of type p: t 1 δ p+1 t 1 δ 2 t 1 δ 1 t p+1 δ 0 t x1 t x2 t xp+1 (= 1). Remark 4. When p = 2, the daisy relation is commonly known as the lantern relation (see [10], [25]).

4 4 ANAR AKHMEDOV AND NAOYUKI MONDEN x2 x1 x3 δ2 δ1 δp+1 xp+1 δ3 δ0 Figure 1. Daisy relation We next introduce a daisy substitution, a substitution technique introduced by T. Fuller. Definition 5. Let d 1,...,d m and e 1,...,e n be simple closed curves on Γ n g, and let R be a product R = t d1 t d2 t dl t 1 e m t 1 e 2 t 1 e 1. Suppose that R = 1 in Γ n g. Let be a word in Γ n g including t d1 t d2 t dl as a subword: = U t d1 t d2 t dl V, where U and V are words. Thus, we obtain a new word in Γ n g, denoted by, as follows: : = U t e1 t e2 t em V. Then, we say that is obtained by applying a R-substitution to. In particular, if R is a daisy relator of type p, then we say that is obtained by applying a daisy substitution of type p to. 3. Lefschetz fibrations Definition 6. Let X be a closed, oriented smooth 4-manifold. A smooth map f : X S 2 is a genus-g Lefschetz fibration if it satisfies the following condition: (i) f has finitely many critical values b 1,...,b m S 2, and f is a smooth Σ g -bundle over S 2 {b 1,...,b m }, (ii) for each i (i = 1,...,m), there exists a unique critical point p i in the singular fiber f 1 (b i ) such that about each p i and b i there are local complex coordinate charts agreeing with the orientations of X and S 2 on which f is of the form f(z 1,z 2 ) = z 2 1 +z2 2, (iii) f is relatively minimal (i.e. no fiber contains a ( 1)-sphere.) Each singular fiber is obtained by collapsing a simple closed curve (the vanishing cycle) in the regular fiber. The monodromy of the fibration around a singular fiber is given by a right handed Dehn twist along the corresponding vanishing cycle. For a genus-g Lefschetz fibration over S 2, the product of right handed Dehn twists t vi about the vanishing cycles v i, for

5 CONSTRUCTING LEFSCHETZ FIBRATIONS VIA DAISY SUBSTITUTIONS 5 i = 1,...,m, gives us the global monodromy of the Lefschetz fibration, the relation t v1 t v2 t vm = 1 in Γ g. This relation is called the positive relator. Conversely, such a positive relator defines a genus-g Lefschetz fibration over S 2 with the vanishing cycles v 1,...,v m. According to theorems of Kas [26] and Matsumoto [30], if g 2, then the isomorphism class of a Lefschetz fibration is determined by a positive relator modulo simultaneous conjugations t v1 t v2 t vm t φ(v1 )t φ(v2 ) t φ(vm) for all φ M g and elementary transformations t v1 t vi 1 t vi t vi+1 t vi+2 t vm t v1 t vi 1 t tvi (v i+1 )t vi t vi+2 t vm, t v1 t vi 2 t vi 1 t vi t vi+1 t vm t v1 t vi 2 t vi t t 1 v i (v i 1 ) t v i+1 t vm. Note that φt vi φ 1 = t φ(vi ). We denote a Lefschetz fibration associated to a positive relator Γ g by f. For a Lefschetz fibration f : X S 2, a map σ : S 2 X is called a section of f if f σ = id S 2. We define the self-intersection of σ to be the self-intersection number of the homology class [σ(s 2 )] in H 2 (X;Z). Let δ 1,δ 2,...,δ n be n boundary curves of Σ n g. If there exists a lift of a positive relator = t v1 t v2 t vm = 1 in Γ g to Γ n g as tṽ1 tṽ2 tṽm = t δ1 t δ2 t δn, then f admits n disjoint sections of self-intersection 1. Here, tṽi is a Dehn twist mapped to t vi under Γ n g Γ g. Conversely, if a genus-g Lefschetz fibration admits n disjoint sections of self-intersection 1, then we obtain such a relation in Γ n g. Next, let us recall the signature formula for hyperelliptic Lefschetz fibrations, which is due to Matsumoto and Endo. We will make use of this formula in Section 6, where we prove that all our Lefschetz fibrations obtained via daisy substitutions are non-hyperelliptic. Theorem 7 ([29],[30],[11]). Let f : X S 2 be a genus g hyperelliptic Lefschetz fibration. Let s 0 and s = Σ [g/2] h=1 s h be the number of non-separating and separating vanishing cycles of f, where s h denotes the number of separating vanishing cycles which separate the surface of genus g into two surfaces, one of which has genus h. Then, we have the following formula for the signature σ(x) = g +1 2g +1 s 0 + [ g 2 ] h=1 ( 4h(g h) 2g +1 ) 1 s h Spinness criteria for Lefschetz fibrations. In this subsection, we recall two Theorems, due to A. Stipsicz ([37]), concerning the non-spinness and spinness of the Lefschetz fibrations over D 2 and S 2. We will use them to verify our familes of Lefschetz fibrations in Theorem 31 all are non-spin. Since Rohlin s Theorem can not be used to verify non-spinness when the

6 6 ANAR AKHMEDOV AND NAOYUKI MONDEN signature of our Lefchetz fibrations is divisible by 16, Stipsicz s results will be more suitable for our purpose. Let f : X D 2 be a Lefschetz fibration over disk, and F denote the generic fiber of f. Denote the homology classes of the vanishing cycles of the given fibration by v 1,,v m H 1 (F;Z 2 ). Theorem 8. [37]. The Lefschetz fibration f : X D 2 is not spin if and only if there are l vanishing cylces v 1,, v l such that v = l i=1 v i is also a vanishing cycle, and l+ 1 i<j l v i v j 0(mod 2). Note that the above theorem imples that if the Lefschetz fibration has the separating vanishing cycle then its total space is not spin. To see this, set l = 0 and take the empty sum to be 0. Theorem 9. [37]. The Lefschetz fibration f : X S 2 is spin if and only if X \ν(f) is spin and for some dual σ of F we have σ 2 0(mod 2) Three familes of hyperelliptic Lefschetz fibrations. In this subsection, we introduce three well-known familes of hyperelliptic Lefschetz fibrations, which will serve as building blocks in our construction of new Lefschetz fibrations. Let c 1, c 2,..., c 2g, c 2g+1 denote the collection of simple closed curves given in Figure 2, and c i denote the right handed Dehn twists t ci along the curve c i. It is well-known that the following relations hold in the mapping class group Γ g : (1) H(g) = (c 1 c 2 c 2g 1 c 2g c 2g+1 2 c 2g c 2g 1 c 2 c 1 ) 2 = 1, I(g) = (c 1 c 2 c 2g c 2g+1 ) 2g+2 = 1, G(g) = (c 1 c 2 c 2g 1 c 2g ) 2(2g+1) = 1. c2 c4 c2g c1 c3 c2g+1 Figure 2. Vanishing Cycles of the Genus g Lefschetz Fibration on X(g), Y(g), and Z(g) Let X(g), Y(g) and Z(g) denote the total spaces of the above genus g hyperelliptic Lefschetz fibrations given by the monodromies H(g) = 1, I(g) = 1, and J(g) = 1 respectively, in the mapping class group Γ g. For the first monodromy relation, the corresponding genus g Lefschetz fibrations over S 2 has total space X(g) = CP 2 #(4g +5)CP 2, the complex projective planeblown upat 4g+5points. Inthecase ofsecond andthirdrelations, the total spacesof thecorrespondinggenusg Lefschetz fibrationsover S 2 arealso well-known families of complex surfaces. For example, Y(2) = K3#2CP 2

7 CONSTRUCTING LEFSCHETZ FIBRATIONS VIA DAISY SUBSTITUTIONS 7 and Z(2) = Horikawa surface, respectively. In what follows, we recall the branched-cover description of the 4-manifolds Y(g) and Z(g), which we will use in the proofs of our main results. The branched-cover description of X(g) is well-known and we refer the reader to ([21], Remark 7.3.5, p.257). Lemma 10. The genus g Lefschetz fibration on Y(g) over S 2 with the monodromy (c 1 c 2 c 2g+1 ) 2g+2 = 1 can be obtained as the double branched covering of CP 2 #CP 2 branched along a smooth algebraic curve B in the linear system 2(g+1) L, where L is the proper transform of line L in CP 2 avoiding the blown-up point. Furthermore, this Lefschetz fibration admits two disjoint 1 sphere sections. Proof. We will follow the proof of Lemma 3.1 in [4], where g = 2 case have been considered (see also the discussion in [6]), and make necessary adjustments where needed. Let D denote an algebraic curve of degree d in CP 2. We fix a generic projection map π : CP 2 \pt CP 1 such that the pole of π does not belong to D. It was shown in [40] that the braid monodromy of D in CP 2 is given via a braid factorization. More specifically, the braid monodromyaroundthepointat infinityincp 1, whichisgiven bythecentral element 2 in B d, can be written as the product of the monodromies about the critical points of π. Hence, the factorization 2 = (σ 1 σ d 1 ) d holds in the braid group B d, where σ i denotes a positive half-twist exchanging two points, and fixing the remaining d 2 points. Now let us degenerate the smooth algebraic curve B in CP 2 #CP 2 into a union of 2(g + 1) lines in a general position. By the discussion above, the braid group factorization corresponding to the configuration B is given by 2 = (σ 1 σ 2 σ 2g σ 2g+1 ) 2g+2. Now, by lifting this braid factorization to the mapping class group of the genus g surface, we obtain that the monodromy factorization (c 1 c 2 c 2g+1 ) 2g+2 = 1 for the corresponding double branched covering. Moreover, observe that a regular fiber of the given fibration is a two fold cover of a sphere in CP 2 #CP 2 with homology class f = h e 1 branched over 2(g+1) points, where h denotes the hyperplane class in CP 2. Hence, a regular fiber is a surface of genus g. The exceptional sphere e 1 in CP 2 #CP 2, which intersects f = h e 1 once positively, lifts to two disjoint 1 sphere sections in Y(g). The proof of the following lemma can be extracted from [21] [Ex , page 268]; we omit proof. Lemma 11. The double branched cover W(g) of CP 2 along a smooth algebraic curve B in the linear system 2(g+1) L can be decomposed as the fiber sum of two copies of CP 2 #(g + 1) 2 CP 2 along a a complex curve of genus equal g(g 1)/2. Moreover, W(g) admits a genus g Lefschetz pencil with two base points, and Y(g) = W(g)#2CP 2.

8 8 ANAR AKHMEDOV AND NAOYUKI MONDEN Example 12. In this example, we study the topology of complex surfaces W(g) in some details. Recall that by Lemma 11 the complex surface W(g) is thefibersumoftwocopiesoftherational surfacecp 2 #(g 2 +2g+1)CP 2 along the complex curve Σ of genus g(g 1)/2 and self-intersection zero. Using the fiber sum decomposition, we compute the Euler characteristic and the signature of W(g) as follows: e(w(g)) = 2e(CP 2 #(g 2 +2g+1)CP 2 ) 2e(Σ) = 4g 2 +2g+4, andσ(w(g)) = 2σ(CP 2 #(g 2 +2g+1)CP 2 ) = 2(g 2 +2g). Next, we recall from [18] that CP 2 #(g 2 +2g+1)CP 2 = Φ g(g 1)/2 (1) N g(g 1)/2 (1), where Φ g(g 1)/2 (1) and N g(g 1)/2 (1) are Milnor fiber and generalized Gompf nucleus in CP 2 #(g 2 + 2g + 1)CP 2 respectively. Notice that such decomposition shows that the intersection form of CP 2 #(g 2 + 2g + 1)CP 2 splits as N M(g), where N = ( ) and M(g) is a matrix whose entries are given by a negative definite plumbing tree in the Figure 3. Consequently, we obtain the following decomposition of the intersection form of W(g): 2M(g) H g(g 1)H, where H is a hyperbolic pair. Let us choose the following basis which realizes the intesection matrix M(g) N of CP 2 #(g 2 +2g+1)CP 2 : < f = (g+1)h e 1 e (g+1) 2, e (g+1) 2, e 1 e 2, e 2 e 3,, e (g+1) 2 2 e (g+1) 2 1, h e (g+1) 2 (g+1) e (g+1) 2 2 e (g+1) 2 1 >. Observe that the last (g+1) 2 1 classes can be represented by spheres and their self-intersections are given as in the Figure 3. f is the class of fiber of the genus g(g 1)/2 Lefschetz fibration on CP 2 #(g 2 + 2g + 1)CP 2 and e (g+1) 2 is a sphere section of self-intersection 1. Using the generalized fiber sum decomposition of W(g), it is not hard to see the surfaces that generate the intersection matrix 2M(g) H g(g 1)H. The two copies of the Milnor fiber Φ g(g 1)/2 (1) CP 2 #(g 2 +2g +1)CP 2 are in W(g), providing 2((g+1) 2 1) spheres of self-intersections 2 and g (corresponding to the classes {e 1 e 2, e 2 e 3,, e (g+1) 2 2 e (g+1) 2 1, h e (g+1) 2 (g+1) e (g+1) 2 3+e (g+1) 2 2 +e (g+1) 2 1} and {e 1 e 2, e 2 e 3,, e (g+1) 2 2 e (g+1) 2 1, h e (g+1) 2 (g+1) e (g+1) 2 3 e (g+1) 2 2 e (g+1) 2 1 }), realize two copies of M(g). One copy of hyperbolic pair H comes from an identification of the fibers f and f, and a sphere section σ of self-intersection 2 obtained by sewing the sphere sections e (g+1) 2 and e (g+1) 2. The remaining g(g 1) copies of H come from g(g 1) rim tori and their dual 2 spheres (see related discussion in [21], page 73)). These 4g 2 + 2g + 2 classes generate H 2 of W(g). Furthermore, using the formula for the canonical class of the generalized symplectic sum and the adjunction inequality, we compute K W(g) = (g 2)(h + h ). Also, the class of the genus g surface of square 2 of the genus g Lefschetz pencil on W(g) is given by h+h. As a consequence, the class of the genus g fiber in W(g)#2CP 2 is given by h + h E 1 E 2, where E 1 and E 2 are the homology classes of the exceptional spheres of the blow-ups at the points p 1 and p 2, the base points of the pencil. We can also verify the symplectic surface Σ, given by the class h + h E 1 E 2, has genus g by applying the adjunction

9 CONSTRUCTING LEFSCHETZ FIBRATIONS VIA DAISY SUBSTITUTIONS 9 formula to (W(g)#2CP 2,Σ): g(σ) = 1 + 1/2(K W(g)#2CP 2 [Σ] + [Σ] 2 ) = 1+((g 2)(h+h )+E 1 +E 2 ) (h+h E 1 E 2 )+(h+h E 1 E 2 ) 2 )/2 = 1+(2(g 2)+2)/2 = g. We can notice from the intersection form of W(g) that all rim tori can be chosen to have no intersections with the genus g surface in the pencil given by the homology class h+h. Thus, the genus g fiber Σ can be chosen to be disjoint from the rim tori that descend to W(g)#2CP e 1 e 2 g e (g+1) 2 2 e (g+1) 2 1 h e (g+1) 2 (g+1)... e (g+1) 2 1 Figure 3. Plumbing tree for Φ g(g 1)/2 (1) Let k be any nonnegative integer, and F k denote k-th Hirzebruch surface. Recall that F k admits the structure of holomorphic CP 1 bundle over CP 1 with two disjoint holomorphic sections +k and k with ±k = ±k. Lemma 13. The genus g Lefschetz fibration on Z(g) over S 2 with the monodromy (c 1 c 2 c 2g ) 2(2g+1) = 1 can be obtained as the 2-fold cover of F 2 branched over the disjoint union of a smooth curve C in the linear system (2g +1) +2 and 2 Proof. The Lefschetz fibration on Z(g) CP 1 obtained by composing the branched cover map Z(g) F 2 with the bundle map F 2 CP 1. A generic fiber is the double cover of a sphere fiber of F 2 branched over 2g+2 points. The monodromy of this Lefschetz fibration can be derived from the braid monodromy of the branch curve C 2. The fibration admits a holomorphic sphere section S with S 2 = 1, which is obtained by lifting 2 to Z(g) Rational Blowdown. In this subsection, we review the rational blowdown surgery introduced by Fintushel-Stern [16]. For details the reader is referred to [16, 32]. Let p 2 and C p be the smooth 4-manifold obtained by plumbing disk bundles over the 2-sphere according to the following linear diagram (p+2) 2 2 u p 1 u p 2 u 1

10 10 ANAR AKHMEDOV AND NAOYUKI MONDEN where each vertex u i of the linear diagram represents a disk bundle over 2-sphere with the given Euler number. The boundary of C p is the lens space L(p 2,1 p) which also bounds a rational ball B p with π 1 (B p ) = Z p and π 1 ( B p ) π 1 (B p ) surjective. If C p is embedded in a 4-manifold X then the rational blowdown manifold X p is obtained by replacing C p with B p, i.e., X p = (X\C p ) B p. If X and X\C p are simply connected, then so is X p. The following lemma is easy to check, so we omit the proof. Lemma 14. b + 2 (X p) = b 2 + (X), e(x p ) = e(x) (p 1), σ(x p ) = σ(x) + (p 1), c 1 2 (X p ) = c 1 2 (X)+(p 1), and χ h (X p ) = χ h (X). We now collect some theorems on rational blowdown for later use. Theorem 15. [16, 32]. Suppose X is a smooth 4-manifold with b + 2 (X) > 1 which contains a configuration C p. If L is a SW basic class of X satisfying L u i = 0 for any i with 1 i p 2 and L u p 1 = ±p, then L induces a SW basic class L of X p such that SW Xp ( L) = SW X (L). Theorem 16. [16, 32] If a simply connected smooth 4-manifold X contains a configuration C p, then the SW-invariants of X p are completely determined by those of X. That is, for any characteristic line bundle L on X p with SW Xp ( L) 0, there exists a characteristic line bundle L on X such that SW X (L) = SW Xp ( L). Theorem 17 ([14],[12] (p = 2), [13] (p 3)). Let, be positive relators of Γ g, and let X, X be the corresponding Lefschetz fibrations over S 2, respectively. Suppose that is obtained by applying a daisy substitution of type p to. Then, X is a rational blowdown of X along a configuration C p. Therefore, we have σ(x ) = σ(x )+(p 1), and e(x ) = e(x ) (p 1) Knot Surgery. In this subsection, we briefly review the knot surgery operation, which gives rise to mutually non-diffeomorphic manifolds. For the details, the reader is referred to [17]. Let X be a 4-manifold with b 2 + (X) > 1 and contain a homologically essential torus T of self-intersection 0. Let N(K) be a tubular neighborhood of K in S 3, and let T D 2 be a tubular neighborhood of T in X. The knot surgery manifold X K is defined by X K = (X\(T D 2 )) (S 1 (S 3 \N(K)) where two pieces are glued in a way that the homology class of [pt D 2 ] is identifed with [pt λ] where λ is the class of the longitude of knot K. Fintushel and Stern proved the theorem that shows Seiberg-Witten invariants of X K can be completely determined by the Seiberg-Witten invariant of X and the Alexander polynomial of K [17]. Moreover, if X and X \ T are simply connected, then so is X K. Theorem 18. Suppose that π 1 (X) = π 1 (X \T) = 1 and T lies in a cusp neighborhood in X. Then X K is homeomorphic to X and Seiberg-Witten

11 CONSTRUCTING LEFSCHETZ FIBRATIONS VIA DAISY SUBSTITUTIONS 11 invariants of X K is SW XK = SW X K (t 2 ), where t = t T (in the notation of [17]) and K is the symmetrized Alexander polynomial of K. If the Alexander polynomial K (t) of knot K is not monic then X K admits no symplectic structure. Moreover, if X is symplectic and K is a fibered knot, then X K admits a symplectic structure. 4. Lemmas In this section, we construct some relations by applying elementary transformations. These relations will be used to construct new relations obtained by daisy substitutions in Section 6. Let a 1,...,a k be a sequence of simple closed curves on an oriented surface such that a i and a j are disjoint if i j 2 and that a i and a i+1 intersect at one point. For simplicity of notation, we write a i, f (a i ) instead of t ai, t f(ai ) = ft ai f 1, respectively. Moreover, write b i = ai+1 (a i ) and bi = a 1 (a i ). i+1 Below we denote the arrangement using the conjugation (i.e. the cyclic permutation) and the arrangement using the relation (i) by C and, (i) respectively. We recall the following relation: a i+1 a i b i a i+1, and a i a i+1 a i+1 b i. In particular, we note that a i a j a j a i for i j > 1. By drawing the curves, it is easy to verify that for m = 1,...,k 1 and i = m,...,k 1, a k a k 1 a m+1 a m (a i+1 ) = a i and a m a m+1 a k 1 a k (a i ) = a i+1. Using the relation t f(c) = ft c f 1, we obtain the followings: (2) (3) (a k a k 1 a m+1 a m ) a i+1 a i (a k a k 1 a m+1 a m ), (a m a m+1 a k 1 a k ) a i a i+1 (a m a m+1 a k 1 a k ). Lemma 19. For 2 k, we have the following relations: (a) (a k 1 a k 2 a 2 a 1 ) (a k a k 1 a 2 a 1 ) a k k b k 1 b 2 b1, (b) (a 1 a 2 a k 1 a k ) (a 1 a 2 a k 2 a k 1 ) b 1 b 2 b k 1 a k k, Proof. The proof will be given by induction on k. Suppose that k = 2. Then, we have a 1 a 2 a 1 (2) a 2 a 1 a 2 a 2 2 b 1. Hence, the conclusion of the Lemma holds for k = 2.

12 12 ANAR AKHMEDOV AND NAOYUKI MONDEN Let us assume inductively that the relation holds for k = j. Then, (a j a j 1 a 1 ) (a j+1 a j a 1 ) a j a j+1 (a j 1 a 1 ) (a j a 1 ) a j a j+1 a j+1 j b j 1 b 1 (3) a j+1 j+1 a ja j+1 b j 1 b 1 a j+1 j+1 a j+1 b j b j 1 b 1. This proves part (a). The proof of (b) is similar, and therefore omitted. Lemma 20. Let l 0. We define an element φ to be φ l = a l+1 2l+1 al 2l 1 a3 5a 2 3a 1. Let D and E be two products of right-handed Dehn twists and write them as D = d 1 d k1 and E = e 1 e k2, respectively. If a word W 1 is obtained by applying a sequence of the conjugation and the elementary transformations to a word W 2, then we denote it by C. For l 1, we have the following: (a) D a 2l a 2 a 1 a 2l+1 a 2 a 1 E C φl (D) (a l+1 2l+1 a 2l a 2 a 1 ) (b 2l b 4 b 2 ) φl (E), (b) D a 1 a 2 a 2l+1 a 1 a 2 a 2l E C φ 1 (D) ( b 2 b l 4 b 2l ) (a 1 a 2 a 2l a l+1 1 2l+1 ) φ (E), l where φl (D) = φl (d 1 ) φl (d k1 ) and φl (E) = φl (e 1 ) φl (e k2 ). Proof. For 1 m 2l 1 and m i 2l 1, we have the following equalities from (2) and (3): (4) (5) (a 2l a 1 a 2l+1 a m ) a i+2 a i (a 2l a 1 a 2l+1 a m ) a i+2 (a m a 2l+1 a 1 a 2l ) (a m a 2l+1 a 1 a 2l ) a i. We first show (a). Since φ l 1 (D) (a 2l a 2l 1 a 1 ) (b 2l b 2l 2 b 2 ) a l+1 2l+1 φ l 1 (E) C a l+1 2l+1 φ (D) al+1 l 1 2l+1 (a 2la 2l 1 a 1 ) (b 2l b 2l 2 b 2 ) al+1 2l+1 φ (E) l 1 = φl (D) a l+1 2l+1 (a 2la 2l 1 a 1 ) (b 2l b 2l 2 b 2 ) φl (E), it is sufficient to prove D (a 2l a 2l 1 a 1 ) (a 2l+1 a 2l a 1 ) E φl 1 (D) (a 2l a 2l 1 a 1 ) (b 2l b 2l 2 b 2 ) a l+1 2l+1 φ l 1 (E).

13 CONSTRUCTING LEFSCHETZ FIBRATIONS VIA DAISY SUBSTITUTIONS 13 The proof is by induction on l. Suppose that l = 0. Then, we have D a 2 a 1 a 3 a 2 a 1 E C a1 (D) a 1 a 2 a 1 a 3 a 2 a1 (E) (4) a1 (D) a 2 a 1 a 3 a 2 a 3 a1 (E) a1 (D) a 2 a 1 b 2 a 3 a 3 a1 (E). Since φ 0 = a 1, the conclusion of the Lemma holds for l = 0. Let us assume, inductively, that the relation holds for l = j. Note that since φ j 1 (a 2j+2 ) = a 2j+2 and φ j 1 (a 2j+3 ) = a 2j+3, we have φ j 1 (Da 2j+2 a 2j+1 a 2j+3 a 2j+2 ) = φj 1 (D)a 2j+2 a 2j+1 a 2j+3 a 2j+2. Since a 2j+3 is disjoint from b 2,b 4,...,b 2j and φ j = a j+1 2j+1 φ j 1, we have D (a 2j+2 a 2j+1 a 2j a 1 ) (a 2j+3 a 2j+2 a 2j+1 a 1 ) E D a 2j+2 a 2j+1 a 2j+3 a 2j+2 (a 2j a 1 ) (a 2j+1 a 1 ) E φj 1 (D) a 2j+2 a 2j+1 a 2j+3 a 2j+2 (a 2j a 1 ) (b 2j b 2 ) a j+1 2j+1 φ j 1 (E) C φj (D) a j+1 2j+1 a 2j+2a 2j+1 a 2j+3 a 2j+2 (a 2j a 1 ) (b 2j b 2 ) φj (E) φj (D) a j+1 2j+1 (a 2j+2a 2j+1 a 2j a 1 ) a 2j+3 a 2j+2 (b 2j b 2 ) φj (E) (4) φj (D) (a 2j+2 a 2j+1 a 2j a 1 ) a 2j+3 a 2j+2 a j+1 2j+3 (b 2j b 2 ) φj (E) φj (D) (a 2j+2 a 2j+1 a 2j a 1 ) b 2j+2 a 2j+3 a j+1 2j+3 (b 2j b 2 ) φj (E) φj (D) (a 2j+2 a 2j+1 a 2j a 1 ) (b 2j+2 b 2j b 2 ) a j+2 2j+3 φ j (E). This proves part (a) of the lemma. The proof of part (b) is similar and left to the reader. 5. A Lift of hyperelliptic relations In this section, we construct a relation which gives a lift of a relation, and which is Hurwitz equivalent to I(g), from Γ g to Γ 1 g. This relation will be used in Section 6. Suppose g 2. Let Σ n g be the surface of genus g with b boundary components δ 1,δ 2,...,δ n. Let α 1,α 2,...,α 2g,α 2g+1,α 2g+1 and δ,ζ 1,...,ζ n be the simple closed curves as shown in Figure 4. Lemma 21. The following relation holds in Γ n g : (α 1 α 2 α 2g ) 2g+1 = (α 1 α 2 α 2g 1 ) 2g α 2g α 2 α 1 α 1 α 2 α 2g. Proof. Theprooffollows fromthebraidrelations, α i α i+1 α i = α i+1 α i α i+1 and α i α j = α j α i for i j > 1.

14 14 ANAR AKHMEDOV AND NAOYUKI MONDEN δ1 δ2 α2g+1 δ ζ 1 α1 α2 α3 α4 α2g ζ i δi α2g+1 δn-1 δn Figure 4. The curves α 1,...,α 2g+1,α 2g+1,δ,ζ 1,...,ζ n on Σ n g and the boundary components δ 1,...,δ n of Σ n g. Lemma 22. The following relation holds in Γ n g : δ = (α 2g+1 α 2g α 2 α 1 α 1 α 2 α 2g α 2g+1) 2 In particular, since δ 1 = δ for n = 1, this relation is a lift of H(g) from Γ g to Γ 1 g. Proof. A regular neighborhood of α 1 α 2 a 2g 1 is a subsurface of genus g 1 with two boundary components, α 2g+1 and α 2g+1. Moreover, a regular neighborhood of α 1 α 2 a 2g is a subsurfaceof genus g with one boundary component δ. Then, it is well know that the following relations, callled the chain relations hold: α 2g+1 α 2g+1 = (α 1 α 2g 1 ) 2g, δ = (α 1 α 2 α 3 α 2g ) 4g+2. By applying the relations above and Lemma 21, we obtain the following relation. δ = (α 2g+1 α 2g+1 α 2g α 2 α 1 α 1 α 2 α 2g ) 2. Since α 2g+1 is disjoint from α 2g+1, by conjugation of α 2g+1, we obtain the claim. If n = 1, then it is easily seen that this is a lift of H(g) from Γ g to Γ 1 g. This completes the proof. Lemma 23. The following relation holds in Γ n g. (α 2g+1 α 2g α 2 α 1 α 1 α 2 α 2g α 2g+1 )2 (α 2g+1 α 2g α 2 α 1 ) 2 (α 1 α 2 α 2g α 2g+1 ) (α 1 α 2 α 2g α 2g+1 ). Proof. By drawing picture, we find that for each i = 1,2,...,2g, α 2g+1 α 2 α 1 α 1 α 2 α 2g+1 (α i ) = α i, α 2g α 2 α 1 α 1 α 2 α 2g (α 2g+1 ) = α 2g+1.

15 CONSTRUCTING LEFSCHETZ FIBRATIONS VIA DAISY SUBSTITUTIONS 15 These give the following relations. (6) (7) α 2g+1 α 2 α 1 α 1 α 2 α 2g+1 α i α i α 2g+1 α 2 α 1 α 1 α 2 α 2g+1, α 2g α 2 α 1 α 1 α 2 α 2g α 2g+1 α 2g+1 α 2g α 2 α 1 α 1 α 2 α 2g. From these relations, we have α 2g+1 α 2g α 2 α 1 α 1 α 2 α 2g α 2g+1α 2g+1 α 2g α 2 α 1 α 1 α 2 α 2g α 2g+1 (7) α 2g+1 α 2g+1 α 2g α 2 α 1 α 1 α 2 α 2g α 2g+1 α 2g α 2 α 1 α 1 α 2 α 2g α 2g+1. (6) (α 2g+1 α 2g α 2 α 1 ) (α 2g+1 α 2g α 2 α 1 α 1 α 2 α 2g α 2g+1 ) (α 1 α 2 α 2g α 2g+1). This completes the proof. 6. New words in the mapping class group via daisy relation We define φ in Γ n g to be φ = α g+1 2g+1 αg 2g 1 α3 5α 2 3α 1. Note that φ(α 2i 1 ) = α 2i 1 for each i = 1,...,g +1 and φ(α 2g+1 ) = α 2g+1. For simplicity of notation, we write β i = αi+1 (α i ), βi = α 1 (α i ), γ i+1 = αi (α i+1 ), γ i+1 = i+1 α 1(α i+1 ). i We denote by ϕ, d i, d i, e i+1 and ē i+1 the images of φ, β i, β i, γ i+1 and γ i+1 under the map Γ n g Γ g, that is, and ϕ = c g+1 2g+1 cg 2g 1 c3 5 c2 3 c 1, d i = ci+1 (c i ), di = c 1 (c i ), e i+1 = ci (c i+1 ) and ē i+1 = i+1 c 1(c i+1 ) i Then, note that ϕ(c 2i 1 ) = c 2i 1 for each i = 1,...,g +1. If a word W 1 is obtained by applying simultaneous conjugations by ψ to a word W 2, then we denote it by ψ. Let x 1,...,x g, x 1,...,x g and y 1,...,y g be the simple closed curves on Σ g given in Figure 5. Moreover, we define y g+1,...,y 2g 1 to be x 2,...,x g, respectively. We take the following two daisy relators of type g 1 in Γ g : D g 1 := c 1 1 c 1 3 c 1 2g 1 c (g 2) 2g+1 x 1 x 2 x g and D g 1 := c 1 1 c 1 3 c 1 2g 1 c (g 2) 2g+1 x 1 x 2 x g, and the following daisy relator of type 2(g 1): D 2(g 1) := c 1 2g+1 c 1 2g 1 c 1 5 c 1 3 c 1 3 c 1 5 c 1 2g 1 c 2g+3 2g+1 y 1 y 2 y 2g 1 = c 2 3 c 2 5 c 2 2g 1 c 2g+2 2g+1 y 1 y 2 y 2g 1.

16 16 ANAR AKHMEDOV AND NAOYUKI MONDEN x1 xg-1 xg c1 x1 c3 xg-1 xǵ c2g+1 c1 c3 c2g+1 y g y 2 y 1 Figure 5. The curves x 1,...,x g,x 1,...,x g and y 1,...,y g on Σ g. Let χ 1,...,χ g be the simple closed curves on Σ n g given in Figure 6. We denote by D g 1 the following daisy relator of type g 1 in Γ n g: D g 1 = α 1 1 α 1 3 α 1 2g 1 α (g 2) 2g+1 χ 1 χ 2 χ g. Since it is easily seen that α i and χ i are mapped to c i and x i under the map Γ n g Γ g, we see that the image of this map of D g 1 is D g 1. δ1 δ2 χ g χ 1 χ g-1 δi α1 α3 α2g-1 α2g+1 δn-1 δn Figure 6. The curves χ 1,...,χ g on Σ n g. Theorem 24. There is a positive relator H(g,1) = ϕ 1( d 2g ) ϕ 1( d 2 ) ϕ 1( d 1 ) d 2 d4 d 2g e 2 e 4 e 2g x 1 x 2 x g c 2g+6 2g+1, which is obtained by applying once D g 1 -substitution to H(g). Moreover, the Lefschetz fibration f H(g,1) has 2g+6 disjoint sections of self-intersection 1. Proof. Note that by Lemma 19 (a), we have (8) (α 2g+1 α 2g α 1 ) 2 = α 2g+1 (α 2g α 1 ) (α 2g+1 α 2g α 1 ) α 2g+2 2g+1 β 2g β 1

17 CONSTRUCTING LEFSCHETZ FIBRATIONS VIA DAISY SUBSTITUTIONS 17 Moreover, one can check that (9) α 1 α 2 α 3 α 2g (γ 2 γ 4 γ 6 γ 2g ) (α 1 α 3 α 5 α 2g 1 ). Therefore, by Lemma 20 (b), we have (α 2g+1 α 2g α 2 α 1 ) 2 (α 1 α 2 α 2g α 2g+1 ) (α 1 α 2 α 2g α 2g+1 ) (8) α 2g+2 2g+1 β 2g β 1 (α 1 α 2 α 2g α 2g+1 ) (α 1 α 2 α 2g )α 2g+1 C φ 1{α 2g+2 2g+1 β 2g β 1 } ( β 2 β4 β 2g ) (α 1 α 2 α 2g α g+1 2g+1 ) α 2g+1 = α 2g+2 2g+1 φ 1( β 2g ) φ 1( β 1 ) ( β 2 β4 β 2g ) (α 1 α 2 α 2g α g+1 2g+1 ) α 2g+1 C φ 1( β 2g ) φ 1( β 1 ) ( β 2 β4 β 2g ) (α 1 α 2 α 2g ) α 3g+3 2g+1 α 2g+1 (9) φ 1( β 2g ) φ 1( β 1 ) ( β 2 β4 β 2g ) (γ 2 γ 4 γ 2g ) (α 1 α 3 α 2g 1 ) α 3g+3 2g+1 α 2g+1. Sinceδ isacentral element ofthegroupgeneratedbyα 1,...,α 2g+1,α 2g+1, by Lemma 23, the operation C is Hurwitz equivalent (for example, see Lemma 6 in [5]). We have the following relation in Γ 2g+6 g which is Hurwitz equivalent to the relation δ = (α 2g+1 α 2g α 2 α 1 α 1 α 2 α 2g α 2g+1 )2 : δ = φ 1( β 2g ) φ 1( β 1 ) ( β 2 β4 β 2g ) (γ 2 γ 4 γ 2g ) (α 1 α 3 α 2g 1 ) α 3g+3 2g+1 α 2g+1. By applyingonce D g 1 -substitution to this relation, we have the following relation: δ = φ 1( β 2g ) φ 1( β 1 ) ( β 2 β4 β 2g ) (γ 2 γ 4 γ 2g ) (χ 1 χ 2 χ g ) α 2g+5 2g+1 α 2g+1, Moreover, by α 2g+5 2g+1 α 2g+1 δ 1δ 2 δ 2g+6 = α 2g+5 2g+1 δ 1δ 2 δ 2g+6 α 2g+1 and the daisy-relation α 2g+5 2g+1 δ 1δ 2 δ 2g+6 α 2g+1 = ζ 1ζ 2 ζ 2g+6 δ, we obtain δ δ 1 δ 2 δ 2g+6 = φ 1( β 2g ) φ 1( β 1 ) ( β 2 β4 β 2g ) (γ 2 γ 4 γ 2g ) (χ 1 χ 2 χ g ) α 2g+5 2g+1 α 2g+1 δ 1 δ 2 δ 2g+6 = φ 1( β 2g ) φ 1( β 1 ) ( β 2 β4 β 2g ) (γ 2 γ 4 γ 2g ) (χ 1 χ 2 χ g ) ζ 1 ζ 2 ζ 2g+6 δ. Therefore, we have the following relation in Γ 2g+6 g : δ 1 δ 2 δ 2g+6 = φ 1( β 2g ) φ 1( β 1 ) ( β 2 β4 β 2g ) (γ 2 γ 4 γ 2g ) (χ 1 χ 2 χ g ) ζ 1 ζ 2 ζ 2g+6 It is easily seen that ζ 1,...,ζ 2g+6 are mapped to c 2g+1 under the map Γ 2g+6 g Γ g. This completes the proof. Theorem 25. There is a positive relator H(g,2) = ϕ 2(ē 2g ) ϕ 2(ē 4 ) ϕ 2(ē 2 ) ϕ 2(d 2g ) ϕ 2(d 4 ) ϕ 2(d 2 ) d 2 d4 d 2g e 2 e 4 e 2g (x 1 x 2 x g ) 2 c 8 2g+1.

18 18 ANAR AKHMEDOV AND NAOYUKI MONDEN which is obtained by applying twice D g 1 -substitutions to H(g). Moreover, the Lefschetz fibration f H(g,2) has 8 disjoint sections of self-intersection 1. Proof. Let D beaproductof Dehn twists. Then, we note that by Lemma 20 (a) we have (10) (α 2g+1 α 2g α 2 α 1 ) 2 D = α 2g+1 (α 2g α 1 ) (α 2g+1 α 2g α 1 ) D C α g+2 2g+1 (α 2g α 2 α 1 ) (β 2g β 4 β 2 ) φ(d). Moreover, we have (11) α 2g α 3 α 2 α 1 (α 2g 1 α 5 α 3 α 1 ) ( γ 2g γ 6 γ 4 γ 2 ). Then, by Lemma 20 (b) we have (α 2g+1 α 2g α 2 α 1 ) 2 (α 1 α 2 α 2g α 2g+1 ) (α 1 α 2 α 2g α 2g+1 ) (10) α g+2 2g+1 (α 2g α 2 α 1 ) (β 2g β 4 β 2 ) φ{(α 1 α 2 α 2g α 2g+1 ) (α 1 α 2 α 2g α 2g+1)} (11) α g+2 2g+1 (α 2g 1 α 3 α 1 ) ( γ 2g γ 4 γ 2 ) (β 2g β 4 β 2 ) φ{(α 1 α 2 α 2g α 2g+1 ) (α 1 α 2 α 2g α 2g+1 )} φ 1 φ 1{α g+2 2g+1 (α 2g 1 α 3 α 1 ) ( γ 2g γ 4 γ 2 ) (β 2g β 4 β 2 )} (α 1 α 2 α 2g α 2g+1 ) (α 1 α 2 α 2g α 2g+1) C φ 2{α g+2 2g+1 (α 2g 1 α 3 α 1 ) ( γ 2g γ 4 γ 2 ) (β 2g β 4 β 2 )} ( β 2 β4 β 2g ) (α 1 α 2 α 2g α g+1 2g+1 ) α 2g+1 = α g+2 2g+1 (α 2g 1 α 3 α 1 ) φ 2{( γ 2g γ 4 γ 2 ) (β 2g β 4 β 2 )} ( β 2 β4 β 2g ) (α 1 α 2 α 2g α g+1 2g+1 ) α 2g+1 (9) α g+2 2g+1 (α 2g 1 α 3 α 1 ) φ 2{( γ 2g γ 4 γ 2 ) (β 2g β 4 β 2 )} ( β 2 β4 β 2g ) (γ 2 γ 4 γ 2g ) (α 1 α 3 α 2g 1 ) α g+1 2g+1 α 2g+1 C φ 2{( γ 2g γ 4 γ 2 ) (β 2g β 4 β 2 )} ( β 2 β4 β 2g ) (γ 2 γ 4 γ 2g ) α 2 1α 2 3 α 2 2g 1 α 2g+3 2g+1 α 2g+1 = ( φ 2( γ 2g ) φ 2( γ 4 ) φ 2( γ 2 )) ( φ 2(β 2g ) φ 2(β 4 ) φ 2(β 2 )) ( β 2 β4 β 2g ) (γ 2 γ 4 γ 2g ) α 2 1 α2 3 α2 2g 1 α2g+3 2g+1 α 2g+1. Note that by Lemma 23, the operation φ 1 is also Hurwitz equivalent from Lemma 6 in [5]. We have the following relation in Γ 8 g which is Hurwitz equivalent to the relation δ = (α 2g+1 α 2g α 2 α 1 α 1 α 2 α 2g α 2g+1 )2 : (12) δ = ( φ 2( γ 2g ) φ 2( γ 4 ) φ 2( γ 2 )) ( φ 2(β 2g ) φ 2(β 4 ) φ 2(β 2 )) ( β 2 β4 β 2g ) (γ 2 γ 4 γ 2g ) α 2 1α 2 3 α 2 2g 1 α 2g+3 2g+1 α 2g+1.

19 CONSTRUCTING LEFSCHETZ FIBRATIONS VIA DAISY SUBSTITUTIONS 19 By applying twice D g 1 -substitutions to this relation, we have the following relation: δ = ( φ 2( γ 2g ) φ 2( γ 4 ) φ 2( γ 2 )) ( φ 2(β 2g ) φ 2(β 4 ) φ 2(β 2 )) ( β 2 β4 β 2g ) (γ 2 γ 4 γ 2g ) (χ 1 χ 2 χ g ) 2 α 7 2g+1 α 2g+1. Moreover, by α 7 2g+1 α 2g+1 δ 1δ 2 δ 8 = α 7 2g+1 δ 1δ 2 δ 8 α 2g+1 daisy-relation α 7 2g+1 δ 1δ 2 δ 8 α 2g+1 = ζ 1ζ 2 ζ 8 δ, we obtain and the δ δ 1 δ 2 δ 8 = ( φ 2( γ 2g ) φ 2( γ 4 ) φ 2( γ 2 )) ( φ 2(β 2g ) φ 2(β 4 ) φ 2(β 2 )) ( β 2 β4 β 2g ) (γ 2 γ 4 γ 2g ) (χ 1 χ 2 χ g ) 2 α 7 2g+1 α 2g+1 δ 1 δ 2 δ 8 = ( φ 2( γ 2g ) φ 2( γ 4 ) φ 2( γ 2 )) ( φ 2(β 2g ) φ 2(β 4 ) φ 2(β 2 )) ( β 2 β4 β 2g ) (γ 2 γ 4 γ 2g ) (χ 1 χ 2 χ g ) 2 ζ 1 ζ 2 ζ 8 δ. Therefore, we have the following relation in Γ 8 g: δ 1 δ 2 δ 8 = ( φ 2( γ 2g ) φ 2( γ 4 ) φ 2( γ 2 )) ( φ 2(β 2g ) φ 2(β 4 ) φ 2(β 2 )) ( β 2 β4 β 2g ) (γ 2 γ 4 γ 2g ) (χ 1 χ 2 χ g ) 2 ζ 1 ζ 2 ζ 8. It is easily seen that α i and χ i are mapped to c i and x i, respectively, and ζ 1,...,ζ 8 are mapped to c 2g+1 under the map Γ 8 g Γ g. This completes the proof. For j = 1,...,2g, we write where c 0 = 1. f j = (cj 1 c j+1 ) 1( d j ), Theorem 26. Let g 3. Then, the monodromy of the hypereliptic Lefschetz fibration given by the word H(g) = 1 can be conjugated to contain a daisy relations of type 2(g 1). Proof. Since α i and δ are mapped to c i and 1 under the map Γ n g Γ g, respectively, by the equation (12) acuired in Theorem 25, we obtain the following relator: 1 = ( ϕ 2(ē 2g ) ϕ 2(ē 4 ) ϕ 2(ē 2 )) ( ϕ 2(d 2g ) ϕ 2(d 4 ) ϕ 2(d 2 )) ( d 2 d4 d 2g ) (e 2 e 4 e 2g ) c 2 1c 2 3 c 2 2g 1 c 2g+4 2g+1. This relator contains D 2(g 1) -relator. This completes the proof. Theorem 27. Let g 3. Then, the monodromy of the Lefschetz fibration given by the word I(g) = 1 can be conjugated to contain (i) g +1 daisy relations of type g 1. (ii) (g +1)/2 (resp. g/2) daisy relations of type 2(g 1) for odd (resp. even) g.

20 20 ANAR AKHMEDOV AND NAOYUKI MONDEN Proof. Let us first prove (i). Since ϕ(c 2i 1 ) = c 2i 1 for each i = 1,...,g+1, by Lemma 20 (b) we have (13) (c 1 c 2 c 2g c 2g+1 ) 2 = (c 1 c 2 c 2g c 2g+1 ) (c 1 c 2 c 2g ) c 2g+1 C ( d 2 d4 d 2g ) (c 1 c 2 c 2g c g+1 2g+1 ) c 2g+1. Moreover, we have (14) Therefore, we have c 1 c 2 c 3 c 2g (e 2 e 4 e 6 e 2g ) (c 1 c 3 c 5 c 2g 1 ). 2g+2 (13) (c 1 c 2 c 2g+1 ) ( d 2 d4 d 2g c 1 c 2 c 2g c g+2 2g+1 )g+1 (14) ( d 2 d4 d 2g e 2 e 4 e 2g c 1 c 3 c 2g 1 c g+2 2g+1 )g+1. Then, we see that we can apply once D g 1 -substitution and g times D g 1- substitutions to ( d 2 d4 d 2g e 2 e 4 e 2g c 1 c 3 c 2g 1 c g+2 2g+1 )g+1. The reason that we apply once D g 1 -substitution is to construct a minimal symplectic manifold Y(g,k) in Theorem 31(see the proof of Theorem 31 and Remark 36). This completes the proof of (i). Next we prove (ii). By Lemma 19 (b) we have (15) (c 1 c 2 c 2g c 2g+1 ) 2 = (c 1 c 2 c 2g c 2g+1 ) (c 1 c 2 c 2g ) c 2g+1 (d 1 d 2 d 2g c 2g+1 2g+1 ) c 2g+1. Moreover, we have (16) (c 1 c 2 c 2g+1 ) 2 (c 2 1 c2 3 c2 2g+1 ) (f 2f 4 f 2g ) ( d 2 d4 d 2g ). From the above relations, we have (c 1 c 2 c 2g c 2g+1 ) 4 (15) (d 1 d 2 d 2g c 2g+2 2g+1 ) (c 1c 2 c 2g c 2g+1 ) 2 (16) (d 1 d 2 d 2g c 2g+2 2g+1 ) (c2 1 c2 3 c2 2g+1 ) (f 2f 4 f 2g ) ( d 2 d4 d 2g ) (d 1 d 2 d 2g ) (c 2 1c 2 3 c 2 2g 1c 2g+4 2g+1 ) (f 2f 4 f 2g ) ( d 2 d4 d 2g ). From this, we see that (c 1 c 2 c 2g c 2g+1 ) 4 can be conjugated to contain a daisy relations of type 2(g 1). Therefore, (c 1 c 2 c 2g+1 ) 4k (c 1 c 2 c 2g+1 ) 2 (g = 2k) I(g) = (c 1 c 2 c 2g+1 ) 4(k+1) (g = 2k +1), gives the proof of (ii). Theorem 28. Let g 3. Then, the monodromy of the Lefschetz fibration given by the word G(g) = 1 can be conjugated to contain g daisy relations of type 2(g 1).

21 CONSTRUCTING LEFSCHETZ FIBRATIONS VIA DAISY SUBSTITUTIONS 21 Proof. By a similar argument to the proof of Theorem 27, we have (c 1 c 2g 1 c 2g ) 4 (d 1 d 2 d 2g 1 ) (c 2 2c 2 4 c 2 2g 2c 2g+3 2g ) (f 1 f 3 f 2g 1 ) ( d 1 d3 d 2g 1 ). Let h := (a 1 a 2g a 2g+1 ). Note that h(a i ) = a i+1 for i = 1,...,2g. Then, we have (c 1 c 2g 1 c 2g ) 4 (d 1 d 2 d 2g 1 ) (c 2 2 c2 4 c2 2g 2 c2g+3 2g ) (f 1 f 3 f 2g 1 ) ( d 1 d3 d 2g 1 ) h (d 2 d 3 d 2g ) (c 2 3 c2 5 c2 2g 1 c2g+3 2g+1 ) (f 2f 3 f 2g ) ( d 2 d4 d 2g ). From this, we see that (c 1 c 2 c 2g c 2g ) 4 can be conjugated to contain a daisy relations of type 2(g 1). G(g) = (c 1 c 2g 1 c 2g ) 4g (c 1 c 2g 1 c 2g ) 2 gives the proof Non-hyperellipticity of our Lefschetz fibrations. The purpose of this subsection is to prove that all the Lefschetz fibrations obtained in this paper via daisy substitutions are non-hyperelliptic. The proof will be obtained as a corollary of more general theorem given below Theorem 29. Let g 3. Let f 1 : X 1 S 2 be a genus-g hyperelliptic Lefschetz fibration with only non-separating vanishing cycyles, and let 1 be a positive relator corresponding to f. Let k 1 and k 2 be non-negative integers such that k 1 + k 2 > 0, and let k be a positive integer. Then we have the followings: (i) If we can obtain a positive relator, denoted by 2, by applying k 1 times D g 1 -substitutions and k 2 times D g 1 -substitutions to, then the genus-g Lefschetz fibration f 2 : X 2 S 2 is non-hyperelliptic. (ii) If we can obtain a positive relator, denoted by 3, by applying k times D 2(g 1) -substitutions to, then the genus-g Lefschetz fibration f 3 : X 3 S 2 is non-hyperelliptic. Corollary 30. All our Lefschetz fibrations are non-hyperelliptic. Proof of Theorem 29. Let s 0 be the number of non-separating vanishing cycles of f 1. Note that by Theorem 7, we have σ(x 1) = g+1 2g +1 s 0. First, we assume that f 2 is a hyperelliptic Lefschetz fibration. The relators D g 1 and D g 1 consist of only Dehn twists about non-separating simple closed curves c 1,c 3,...,c 2g+1 and x 1,x 1,...,x g,x g as in Figure 5. Therefore, we see that 2 consits of only right-handed Dehn twists about non-separating simple closed curves, so f 2 has only non-separating vanishing cycles. In particular, the number of non-separating vanishing cycles of f 2 is s 0 {(g 1) 1}(k 1 +k 2 ). By Theorem 7, we have σ(x 2) = g +1 2g +1 {s 0 (g 2)(k 1 +k 2 )}.

22 22 ANAR AKHMEDOV AND NAOYUKI MONDEN On the other hand, since the relators D g 1 and D g 1 are daisy relators of type g 1, by Theorem 17, we have σ(x 2) = σ(x 1)+(g 2)(k 1 +k 2 ) = g +1 2g +1 s 0 +(g 2)(k 1 +k 2 ). We get a contradiction since the above equality does not hold for g 3 and k 1 +k 2 > 0. Next, weassumethatf 3 isahyperellipticlefschetzfibration. Therelator D 2(g 1) consits of Dehn twsts about non-separating simple closed curves c 3,c 5,...,c 2g+1 and y 2,y 3,...,y 2g 1 in Figure 5 and a Dehn twist about separating simple closed curve y 1 in Figure 5. Note that y g+1 = x 2,y g+2 = x 3,...,y 2g 1 = x g and that y 1 separates Σ g into two surface, one of which has genus 1. Therefore, f 3 has s 0 k{2(g 1)} non-separating vanishing cycles and k separating vanishing cycles which are y 1. By Theorem 7, we have σ(x 3) = g+1 ( ) 4(g 1) 2g +1 {s 0 2k(g 1)}+ 2g +1 1 k = g+1 2g +1 s 0 + 2g2 +2g 7 k 2g +1 Ontheotherhand,sincetherelator D 2(g 1) isadaisyrelator oftype2(g 1), by Theorem 17, we have σ(x 3) = σ(x 1)+(2g 3)k = g +1 2g +1 s 0 +(2g 3)k. Since g 3, we have ( g+1 ) ( 2g +1 s 0 +(2g 3)k g+1 = 2(g 1)(g 2) k > 0. 2g +1 This is a contradiction to the above equality. 2g +1 s 0 + 2g2 +2g 7 2g Constructing exotic 4-manifolds The purpose of this section is to show that the symplectic 4-manifolds obtained in Theorem 27, part (i), are irreducible. Moreover, by performing the knot surgery operation along a homologically essential torus on these symplectic 4-manifolds, we obtain infinite families of mutually nondiffeomorphic irreducible smooth structures. Theorem 31. Let g 3 and M be one of the following 4-manifolds (g 2 g+1)cp 2 #(3g 2 +3g+3 (g 2)k)CP 2 for k = 2,,g+1. There exists an irreducible symplectic 4-manifold Y(g, k) homeomorphic but not diffeomorphic to M that can be obtained from the genus g Lefschetz fibration on Y(g) over S 2 with the monodromy (c 1 c 2 c 2g+1 ) 2g+2 = 1 in the mapping class group Γ g by applying k daisy substitutions of type g 1. ) k

23 CONSTRUCTING LEFSCHETZ FIBRATIONS VIA DAISY SUBSTITUTIONS 23 Proof. Let Y(g,k) denote the symplectic 4-manifold obtained from Y(g) = W(g)#2CP 2 byapplyingk 1D g 1 -subsitutionsandoned g 1 -substitution as in Theorem 27. Applying Lemma 14, we compute the topological invariants of Y(g,k) e(y(g,k)) = e(w(g)#2cp 2 ) k(g 2) = 2(2g 2 +g +3) k(g 2), σ(y(g,k)) = σ(w(g)#2cp 2 )+k(g 2) = 2(g +1) 2 +k(g 2). Using the factorization of the global monodromy in terms of right-handed Dehn twists of the genus g Lefschetz on Y(g,k) (see Theorem 27, part (i)), it is easy to check that π 1 (Y(g,k)) = 1. Next, we show that Y(g,k) is non-spin 4-manifold. Let c 1,,c 2g+1 be the curves in Figure 2, and x 1,,x g,x 1,,x g be the curves in Figure 5. Note that d i = c 1 (c i ) ande i+1 = ci (c i+1 ). Thevanishingcycles of Lefschetz i+1 fibrations in Theorem 27 includes the curves d 2i, e 2i for i = 1,,g, and x j, x j for j = 1,,g, and c 2g+1. In H 1 (Σ g ;Z 2 ), we find that d 2g = c 2g+1 +c 2g, e 2g = c 2g 1 +c 2g and x g = c 2g 1 +c 2g+1.Therefore, we have d 2g +e 2g = x g. In the notation of Theorem 8, we have l = 2 and d 2g e 2g = 0. Therefore, 2+ d 2g e 2g 0(mod 2). By Theorem 9, Y(g,k) is non-spin, and thus have an odd intersection form. ByFreedman stheorem(cf.[15]), weseethaty(g,k) ishomeomorphic to (g 2 g +1)CP 2 #(3g 2 +3g +3 (g 2)k)CP 2. Next, using the fact that W(g) is a minimal complex surface of general type with b + 2 > 1 and the blow up formula for the Seiberg-Witten function [17], we compute SW W(g)#2CP 2 = SW W(g) 2 j=1 (ee i + e E i ) = (e K W(g) + e K W(g) )(e E 1 + e E 1 )(e E 2 + e E 2 ), where E i denote the exceptional class of the i th blow-up. By the above formula, the SW basic classes ofw(g)#2cp 2 aregiven by±k W(g) ±E 1 ±E 2, andthevaluesoftheseiberg- Witten invariants on these classes are ±1. Notice that by the Corollary 8.6 in [16], Y(g, k) has Seiberg-Witten simple type. Furthermore, by applying Theorem 15 and Theorem 16, we completely determine the Seiberg-Witten invariants of Y(g,k) using the basic classes and invariants of W(g)#2CP 2 : Up to sign the symplectic manifold Y(g,k) has only one basic classes which descends from the ± canonical class of Y(g) (see a detailed explanation below). By Theorem 16, or Taubes theorem [38] the value of the Seiberg- Witten function on these basic classes, ±K Y(g,k), are ±1. In what follows, we spell out the details of the above discussion. By Theorem 15 and Theorem 16, we can determine the Seiberg-Witten invariants of Y(g,k) by computing the algebraic intersection number of the basic classes ±K W(g) ± E 1 ± E 2 of W(g)#2CP 2, with the classes of spheres of k disjoint C g 1 configurations in Y(g). Notice that the leading spheres of the configurations C g 1 are the components of the singular fibers of Y(g). By looking the regions on the genus g surface, where the rational blowdowns along C g 1 are performed, and the location of the base points of the

24 24 ANAR AKHMEDOV AND NAOYUKI MONDEN genus g pencil, we compute the algebraic intersection numbers as follows: Let S j 1 denote the homology class of (g + 1) sphere of the j-th configurations C g 1 and S j 2,,Sj g 2 are the homology classes of 2 spheres of C g 1 in W(g)#2CP 2, where j = 1,2. These two rational blowdowns along C g 1 chosen such that they correspond to one D g 1 -subsitutions and one D g 1 -substitution as in Theorem 27, part (i). We have S1 1 E 1 = 1, S1 1 E 2 = 0, S1 2 E 2 = 1, S1 2 E 1 = 0, S j 1 K Wg = g 2, and the canonical divisor does not intersect with S j i for 2 i g 1. Consequently, S j 1 ±(K Wg + E 1 +E 2 ) = ±(g 1) for j = 1,2, and S 1 (±K j Wg±E 1 E 2 ) ±(g 1) for one j. Observe that among the eight basic classes ±K Wg ±E 1 ±E 2, only K Wg +E 1 +E 2 and (K Wg +E 1 +E 2 ) have algebraic intersection ±(g 1) with (g +1) spheres of C g 1. Thus, Theorem 15 implies that these are only two basic classes that descend to Y(g,2), and consequently to Y(g,k) from W(g)#2CP 2. By invoking the connected sum theorem for Seiberg-Witten invariants, we seethatsw functionistrivialfor(g 2 g+1)cp 2 #(3g 2 +3g+3 (g 2)k)CP 2. Since the Seiberg-Witten invariants are diffeomorphism invariants, Y(g, k) is not diffeomorphic to (g 2 g +1)CP 2 #(3g 2 +3g +3 (g 2)k)CP 2. The minimality of Y(g,k) is a consequence of the fact that Y(g,k) has no twoseiberg-wittenbasicclassesk andk suchthat(k K ) 2 = 4. Notice that ±K Y(g,k) are only basic classes of Y(g,k), and (KY 2 (g,k) ( K Y(g,k))) 2 = 4(KY 2 (g,k)) 0. Thus, we conlude that Y(g,k) is symplectically minimal. Furthermore, since symplectic minimality implies irreducibility for simply-connected 4-manifolds [23], we deduce that Y(g, k) is also smoothly irreducible. The analogus theorem for g = 2, using lantern substitution, was proved in [2]. Theorem 32. There exist an infinite family of irreducible symplectic and an infinite family of irreducible non-symplectic pairwise non-diffeomorphic 4-manifolds all homeomorphic to Y(g, k). Proof. Y(g,k) contains g(g 1) Lagrangian tori which are disjoint from the singular fibers of genus g Lefschetz fibration on Y(g,k). These tori descend from W(g) (See Example 12), and survive in Y(g,k) after the rational blowdowns along C g 1. These tori are Lagrangian, but we can perturb the symplectic form on Y(g,k) so that one of these tori, say T becomes symplectic. Moreover, π 1 (Y(g,k) \ T) = 1, which follows from the Van Kampen s Theorem using the facts that π 1 (Y(g,k)) = 1 and any rim torus has a dual 2 sphere (see Proposition 1.2 in [22], or Gompf [19], page 564). Hence, we have a symplectic torus T in Y(g,k) of self-intersection 0 such that π 1 (Y(g,k)\T) = 1. By performing a knot surgery on T, inside Y(g,k), we obtain an irreducible 4-manifold Y(g,k) K that is homeomorphic to Y(g,k).