arxiv: v3 [math.gt] 26 Aug 2014

Transcription

1 ARBITRARILY LONG FACTORIZATIONS IN MAPPING CLASS GROUPS arxiv: v3 [math.gt] 6 Aug 0 ELİF DALYAN, MUSTAFA KORKMAZ AND MEHMETCİK PAMUK Abstract. Onacompact orientedsurface ofgenusg withn boundary components,,,..., n, we consider positive factorizations of the boundary multitwist t t t n, where t i is the positive Dehn twist about the boundary i. We prove that for g 3, the boundary multitwist t t can be written as a product of arbitrarily large number of positive Dehn twists about nonseparating simple closed curves, extending a recent result of Baykur and Van Horn-Morris, who proved this result for g 8. This fact has immediate corollaries on the Euler characteristics of the Stein fillings of contact three manifolds.. Introduction Let Σ g,n denote a compact connected oriented surface of genus g with n boundary components, say,,..., n, and let Mod(Σ g,n ) denote the mapping class group of Σ g,n, the group of isotopy classes of selfdiffeomorphisms of Σ g,n fixing all points on the boundary. The study of the mapping class group elements has important applications in low dimensional topology: By the results of Giroux [7] and Thurston-Winkelnkemper [9], every open book decomposition (Σ g,n,φ), where Φ Mod(Σ g,n ), of a closed oriented 3-manifold M admits a compatible contact structure and all contact structures on compact 3-manifolds come from open book decompositions. If the monodromy Φ can be written as a product of positive Dehn twists, then the contact structure is Stein fillable. Writing Φ as a product of positive Dehn twists provides a Stein filling of the contact 3-manifold M via Lefschetz fibrations. In the present paper we address the following question: Is there a positive integer N such that whenever the boundary multitwist t t t n is written as a product of k positive nonseparating Dehn twists in Mod(Σ g,n ), the integer k must satisfy k N? Since any such factorization describes a Lefschetz fibration with n disjoint sections of self-intersection, this question is equivalent to understanding whether or not there is an upper bound on the number of singular fibers of Lefschetz fibrations admitting sections of self-intersection? Note that this is Question.3 in []. Date: March 8, Mathematics Subject Classification. Primary 57M..; Secondary 57M., 0E5, 30C0. Key words and phrases. Mapping class groups, Lefschetz fibrations, Contact structures.

2 E. DALYAN, M. KORKMAZ AND M. PAMUK Recently, the above question is considered by Baykur and Van Horn- Morris [5]: They proved that for g 8, the boundary multitwist t t in Mod(Σ g, ) can bewritten asaproductof arbitrarilylarge numberofpositive Dehn twists about nonseparating simple closed curves. In the present paper, we prove that the same conclusion can be drawn for all g 3. For g =, one needs an extra factor. The main result of our paper is the following theorem. Main Theorem. Let a be a nonseparating simple closed curve on the genus g surface Σ g, with two boundary components and. In the mapping class group Mod(Σ g, ), the multitwist (i) t t t a for g =, (ii) t t for g 3 can be written as a product of arbitrarily large number of positive Dehn twists about nonseparating simple closed curves. Remark.. It is then easy to conclude that in the mapping class group Mod(Σ, ), the multitwist t t can be written as a product of arbitrarily large number of positive Dehn twists about nonseparating simple closed curves (see proof of Corollary.3). It follows easily that if g 3 and k thent k t k can bewritten as aproductof arbitrarily large numberof positive Dehn twists. The same holds for g = and k. By capping off one of the boundary components, we obtain the following immediate corollary for surfaces with one boundary component. Corollary.. Let Σ g, be a compact connected oriented surface of genus g with one boundary component. In the mapping class group Mod(Σ g, ), the element (i) t for g =, (ii) t for g 3 can be written as a product of arbitrarily large number of positive Dehn twists about nonseparating simple closed curves. In the mapping class group Mod(Σ g ) of a closed orientable surface Σ g the identity element can be written as a product of positive Dehn twists about nonseparating simple closed curves. It follows that every element in Mod(Σ g ) can be expressed as a product of arbitrarily large number of nonseparating positive Dehn twists. However, when n, the situation is different; the identity element of Mod(Σ g,n ) admits no nontrivial factorization into a product of positive Dehn twists. For k, a factorization of the multitwist t k t k t k n into a product of positive Dehn twists of the form () t k t k t k n = r i= t i

3 LONG FACTORIZATIONS IN MAPPING CLASS GROUPS 3 in the group Mod(Σ g,n ) describes a genus-g Lefschetz fibration X g (r) S with n disjoint sections such that the self-intersection of each section is k. The Euler characteristic of the total space X g (r) is given by χ(x g (r)) = ( g)+r. The next corollary, which is an improvement of the first part of [5, Theorem.], follows from Remark.. Corollary.3. For every g 3, there is a family of genus-g Lefschetz fibrations X g (r) S with two disjoint sections of self-intersection such that the set {χ(x g (r))} of Euler characteristics is unbounded. The same conclusion holds true for genus Lefschetz fibrations but this time with two disjoint sections of self-intersection. Given a genus g Lefschetz fibration f : X S with a section σ and with a regular fiber Σ, the complement of a regular neighborhood of the union Σ σ is a Stein filling of its boundary M equipped with the induced tight contact structure (cf. []). It was conjectured in [] that the set C (M,ξ) = {χ(x) X is a Stein filling of (M,ξ)} is finite. In [] and [5], it was shown that this conjecture is false. Our main result provides more counter examples to this conjecture. Once we have our Main Theorem, then this follows from [], Theorem 3.. See also refrences therein, e.g. [], [6] and []. Corollary.. For every g, there is a contact 3-manifold (M g,ξ g ), M g M g for g g, admitting infinitely many pairwise non-diffeomorphic Stein fillings such that the set C (Mg,ξ g) is unbounded. The manifold M g is the boundary of a regular neighborhood of the union Σ g σ g of the regular fiber Σ g and the section σ g of the Lefschetz fibration X g (r) S provided by Corollary.3. The first integral homology of M g is a free abelian group of rank g. Thus, M g and M g are not diffeomorphic for g g. Remark.5. Plamenevskaya [6] and Kaloti [8] showed that if a contact 3- manifold (M,ξ) can be supported by a planar open book, then C (M,ξ) must be finite. Hence, the contact structure supported by the open book with monodromy t t, g 3, cannot be supported by a planar open book. The organization of this paper is as follows: In Section, we obtain some preliminary results. In Section 3, we prove our main theorem. In the last section we extend our results to surfaces with more boundary components. Acknowledgements. We started working on the problem after İnanç Baykur gave a talk on [5] at METU in December 0. We are grateful to him for his explanations and helpful comments on this paper. After writing the first draft of the paper, we were informed by Naoyuki Monden that

4 E. DALYAN, M. KORKMAZ AND M. PAMUK he also obtained part of our results by similar arguments. We also thank Burak Ozbagci for very helpful comments on earlier drafts of this paper.. Preliminary Results Throughout this paper, we consider diffeomorphisms and curves up to isotopy; if two diffeomorphisms (resp. curves) x and y are isotopic, we say that x is equal to y. We always use the functional notation for the multiplication in Mod(Σ g,n ); the product fh means that h applied first. We refer to [9] and [] for the basics on mapping class groups of surfaces, Lefschetz fibrations and contact structures. For a simple closed curve a on an oriented surface Σ g,n, we denote by t a the right (or positive) Dehn twist about a. The diffeomorphism t a is obtained by cutting Σ g,n along a and gluing back after twisting one of the sides to the right by 360 degrees. For simplicity, the Dehn twist about the simple closed curve c i is denoted by t i. We now state two preliminary lemmas, which will be used frequently. Lemma.. Let c,c,...,c h+ be simple closed curves on an oriented surface such that c i intersects c i+ transversely at one point for i =,...,h, and c i c j = if i j >. Let a and b be the boundary components of a regular neighborhood of c c c h+. The following equality holds: (t t t h+ ) h+ = t a t b. Lemma.. Let c,...,c n be simple closed curves on an oriented surface such that c i intersects c i+ transversely at one point for i =,...,n, and c i c j = if i j >. The following equality holds: (t t t n ) n+ = (t t t n ) n t n t t t t t n. Proof. The proof follows easily from the braid relations t i t i+ t i = t i+ t i t i+ and the relations t i t j = t j t i for i j >. d 3 5 e Figure. The curve labeled i on Σ, represents c i. Suppose that g and that the surface Σ, of genus illustrated in Figure is embedded in Σ g,n.

5 LONG FACTORIZATIONS IN MAPPING CLASS GROUPS 5 Lemma.3. Let g and let x be a nonseparating simple closed curve on Σ g,n intersecting c 3 and d transversely only once. In the mapping class group Mod(Σ g,n ), the element φ = t t 3 t t t t t 3 t t x t d t 3 t x maps the pair of simple closed curves (c 3,d) to (e,c 3 ). Proof. It is easy to see that t x t d t 3 t x maps the pair (c 3,d) to (d,c 3 ) and t t 3 t t t t t 3 t maps (d,c 3 ) to (e,c 3 ). Next we express a particular element of Mod(Σ g,n ) as a product of arbitrarily large number of positive Dehn twists. Proposition.. Let g and let x be a nonseparating simple closed curve on Σ g,n intersecting c 3 and dtransversely only once. Let T = (t t t 3 ) t t t 3 t in Mod(Σ g,n ). For any positive integer m, we have φ = t t 3 t t t t t 3 t t x t d t 3 t x = t m 3 t m e t t 3 t t t t t 3 t t x t d t 3 t x t m e t m 3 T m. In particular, for any positive integer m the element φ may be written as a product of + 0m positive Dehn twists about nonseparating simple closed curves. Proof. By the two-holed torus relation and by applying the braid relation twice, we get t d t e = (t t t 3 ) = (t t t 3 ) t t t t 3 t t 3 = (t t t 3 ) t t t t 3 t t 3 = (t t t 3 ) t t t 3 t t 3 t 3. Hence, we have (t t t 3 ) t t t 3 t = t d t 3 t et 3. By taking the mth power of both sides, we obtain T m = t m d t m 3 t m e t m 3 for any positive integer m. (Note that this equality is used in [3].) By using Lemma.3, this leads to t t 3 t t t t t 3 t t x t d t 3 t x = (t t 3 t t t t t 3 t t x t d t 3 t x )t m d t m 3 t m e t m 3 Tm = φt m d t m 3 t m e t m 3 Tm = t m φ(d) tm φ(3) φt m e t m 3 Tm = (t m 3 t m e φt m e t m 3 )Tm, where φ = t t 3 t t t t t 3 t t x t d t 3 t x. Since the conjugate of φ, t m 3 t m e φt m e t m 3 is a product of positive Dehn twists and T is a product of 0 positive Dehn twists (all about nonseparating curves), the proposition is proved. Proposition. gives a short counter example to two conjectures of Ozbagci and Stipsicz ([5], Conjecture.3.6 and Conjecture 5.3.5).

6 6 E. DALYAN, M. KORKMAZ AND M. PAMUK Corollary.5. The contact 3 manifold compatible with the open book whose monodromy is given by φ in Proposition. has Stein fillings with arbitrarily large Euler characteristics. 3. Surfaces with two boundary components We prove our main theorem in this section. In the proof, our strategy will be to look for the factorization of φ given in Lemma.3 in a factorization of a given element. Once we find φ in the factorization as a subword, as in Proposition. it will give us a factorization consisting of an arbitrarily large number of positive Dehn twists. 3.. Proof of the Main Theorem. Suppose first that g =. Consider the surface Σ, of genus illustrated in Figure. By Lemma., we may write the product t t of the Dehn twists about the boundary parallel curves and as a product of 30 positive Dehn twists as () t t = (t t t 3 t t 5 ) 6. Using Lemma., we can rewrite Equation as t t = (t t t 3 t t 5 ) 6 = (t t t 3 t ) 5 t 5 t t 3 t t t t t 3 t t 5 = t t t 3 t (t t t 3 t ) t 5 t t 3 t t t t t 3 t t 5 = t t t 3 t (t t t 3 ) t t 3 t t t 5 t t 3 t t t t t 3 t t 5. Now applying the two holed torus relation (t t t 3 ) = t d t e, a special case of Lemma., we write (3) t t = t t t 3 t t d t e t t 3 t t t 5 t t 3 t t t t t 3 t t 5 = t 5 t t t 3 t t d t e t t 3 t t t 5 (t t 3 t t t t t 3 t ). Reordering the terms by conjugation, we may write () t t = D 9 (t t 3 t t t t t 3 t )t t d t 3, where D 9 is a product of nine positive Dehn twists. More precisely, D 9 = (ft 5 t t t 3 f )(ht e t h )t t t 5 = t f(c5 )t f(c )t f(c )t f(c3 )t h(e) t h(c )t t t 5 for f = (t t d t 3 ) and h = t 3. Here we use the fact that the Dehn twists t i are central in the mapping class group. Multiplying both sides of the equality () with t gives t t t = D 9 t t 3 t t t t t 3 t t t d t 3 t. Since c is a simple closed curve intersecting c 3 and d transversely once, it follows now from Proposition. that t t t may be written as a product of +0m positive Dehn twists for any integer m. The Dehn twists t and t are central in Mod(Σ, ). Since the curve c is nonseparating and since any two Dehn twists about nonseparating curves

7 LONG FACTORIZATIONS IN MAPPING CLASS GROUPS 7 areconjugate, it follows thatt t t a may bewrittenas aproductof+0m positive Dehn twists. This proves part (i) of the Main Theorem. d b g g+ e c Figure. The curve labeled i on Σ g, represents c i. Suppose now that g 3 and that Σ g, is the surface in Figure. In the group Mod(Σ g, ), using Lemma. we may write t t = (t t t g+ ) g+ = (t t t 3 t t 5 ) 6 t K, where K is a product of positive Dehn twists. In fact, K is a product of (g +)(g +) 3 positive Dehn twists all are about nonseparating curves. Since (t t t 3 t t 5 ) 6 = t b t c, we may write t t = t b t c t K. By part (i), the right hand side of this equality may be written as a product of (g+)(g+) 0+0m positive Dehn twists for any positive integer m. This proves (ii), finishing the proof of the theorem. Remark 3.. We want to emphasize that g = 3 is the smallest possible genus such that the the product of boundary parallel Dehn twists may be written as a product of arbitrarily large number of positive Dehn twists in the mappingclass group of Σ g,. In the case of genus, by capping off one of the boundary components of Σ,, one can immediately see that in Mod(Σ, ), for any nonseparatingsimple closed curve a, t t a can bewritten as a product of arbitrarily large number of positive Dehn twists about nonseparating curves. Now we want to point out that one cannot get rid of t a in the above factorization. Writing t as a product of arbitrarily large number of positive Dehn twists would imply the existence of genus Lefschetz fibrations over S with section of square and with arbitrarily large Euler characteristic, contradicting [7, Theorem.].

8 8 E. DALYAN, M. KORKMAZ AND M. PAMUK 3.. Proof of Corollary.3. We know that the product r t k t k = in Mod(Σ g, ) describes a genus-g Lefschetz fibration X g (r) S with two disjoint sections of self-intersection k. Moreover the Euler characteristic of X g (r) is given by i= t i χ(x(r)) = ( g)+r. Let g 3. For each positive integer m, let X m be the total space of the Lefschetz fibration given by the factorization of t t into the product of (g+)(g+)+0(m ) Dehn twists. The Euler characteristic of X m is χ(x m ) = ( g)+(g +)(g +)+0(m ). Let g =. It is easy to see that t t can be written as a product of arbitrarily large number of positive Dehn twists about nonseparating curves: By Equation (3), we have (5) t t = (t t t 3 t t d t e t t 3 t t t 5 t t 3 t t t t t 3 t t 5 ). It is then easy to see that we may write (6) t t = t t 3 t t t t t 3 t t t d t 3 t D, where D is a product of 8 Dehn twists. Hence, by Proposition., t t can be written as a product of 0+0m Dehn twists for any m. The total space X m of the corresponding Lefschetz fibration has the Euler characteristic χ(x m ) = 36+0m. The self-intersection number of each of the two sections is.. Surfaces with more boundary components Our aim in this section is to increase the number of boundary components and write certain elements in the mapping class group as a product of arbitrarily large number of Dehn twists. Our main tool is the relations obtained in []. Theorem.. Let g 3 and a be a nonseparating simple closed curve on the surface Σ g,6 of genus g with 6 boundary components. In the mapping class group Mod(Σ g,6 ), the multitwist t t t 3 t t 5 t 6 t a can be written as a product of arbitrarily large number of positive Dehn twists about nonseparating simple closed curves.

9 LONG FACTORIZATIONS IN MAPPING CLASS GROUPS 9 7 d 3 β g- g-3 g Figure 3. The curve labeled i is c i. Proof. Consider the eight-holed torus Σ,8 given in Figure 3 obtained by cutting Σ g,6 along 7 8. The eight holed torus relation given in [] says (7) t t t 8 = t t 5 t β t σ3 t σ6 t t β6 t σ t σ7 t 7 t β t σ5, where t β = t t β t, t β = t t β t and t β6 = t 6 t β t 6. Here, we wrote i+ for the curve i of Figure 8 in [], for 8, and the nonseparating curves σ i on Σ,8 are not drawn. By conjugating with appropriate elements, we may rewrite the equality(7) as (8) t t t 8 = t 5 t 7 D, where D is a product of 0 positive Dehn twists. By letting 6 = c g and by using Lemmas. and., we write t 5 t 7 = (t t t g ) g = (t t t g ) g (t g t t t g ) = (t t t g 3 ) g (t g t t t g )(t g t t t g ), where t i is the Dehn twist about the curve c i. By using Lemma. again, we get the equality (9) t 5 t 7 = t 7 t 8 (t g t t t g )(t g t t t g ). Now replace the product t 5 t 7 in (8) with the right hand side of (9) and cancel t 7 t 8 from both sides. The result is t t t 6 = (t g t t t t t g )(t g t t t t t g )D which may be rewritten as (0) t t t 6 = t t 3 t t t t t 3 t t t 3 t D. where D is a product of 8g 7 positive Dehn twists about nonseparating curves. Since the each Dehn twist on the right hand side of (0) commutes

10 0 E. DALYAN, M. KORKMAZ AND M. PAMUK with the Dehn twists on the left hand side, by multiplying both sides by t d we may write () t t t 6 t d = t t 3 t t t t t 3 t t t d t 3 t D = φd, where φ = t t 3 t t t t t 3 t t t d t 3 t. It follows now from Proposition. that, for any positive integer m, multitwist t t t 6 t d may be written as a product of 8g + 5+0m positive Dehn twists about nonseparating simple closed curves. Theorem.. Let a be a nonseparating simple closed curve on Σ, of genus with boundary components. In the mapping class group Mod(Σ, ), the multitwist t t t 3 t t a can be written as a product of arbitrarily large number of positive Dehn twists about nonseparating simple closed curves. Proof. To get a certain relation in the mapping class group on a torus with six holes, we use the technique of []. We start with the four-holed torus relation of [] (see Figure (a) for the curves): () t t t 3 t γ = (t β t t 3 t β t t 5 ) β 3 γ 6 β γ' (a) 3 σ 3 (b) σ σ ' Figure. Multiplying both sides of () with t σ t, we get (3) t t t 3 t γ t σ t = t β t t 3 t β t t 5 t β t t 3 t β t t 5 t σ t. Using the lantern relation t γ t σ t = t t 5 t 3 t 5, from Equation (3) we get t t t 3 t t 5 t 3 t 5 = t β t t 3 t β t t 5 t β t t 3 t β t t 5 t σ t = t 3 t β3 t t β t t 5 t β t t 3 t β t t σ t t 5, where β 3 = t 3 (β). Canceling t 3 t 5 from both sides gives us () t t t 3 t t 5 = t β3 t t β t t 5 t β t t 3 t β t t σ t.

11 LONG FACTORIZATIONS IN MAPPING CLASS GROUPS Next we are going to repeat the same procedure for the six-holed torus Σ,6 (see Figure (b)). By the equality (), we have t t t 3 t t γ = t β3 t t β t t 6 t β t t 3 t β t t σ t. Multiplying both sides with t σ t 5 and using the lantern relation give t γ t σ t 5 = t 5 t 6 t t 6 t t t 3 t t 5 t 6 t t 6 = t β3 t t β t t 6 t β t t 3 t β t t σ t t σ t 5 = t 6 t β36 t t β6 t t β t t 3 t β t t σ t σ t 5 t, where β 36 = t 6 (β 3 ) and β 6 = t 6 (β). Cancel t and t 6 from both sides of the equality to get or t t t 3 t t 5 t 6 = t β36 t t β6 t t β t t 3 t β t t σ t σ t 5, (5) t t t 3 t t 5 t 6 = t t 3 t β t t σ t σ t 5 t β36 t t β6 t t β. Now we glue to 3 to get a surfaceσ, of genus two with fourboundary components. We glue to 3 so that the curve c is closed. Let us set c = 3, c 3 =, c = β and = d. Write t t 3 = (t t t 3 ) = t t t t t 3 t (t t t 3 ) in the equality (5) and cancel t from both sides. The result can be written as (6) t t t 5 t 6 = t t t 3 t (t t t 3 ) t t 3 t σ t σ t 5 t β36 t d t β6 t 3 t = t t t t 3 t t t t 3 t t t 3 t t 3 t σ t σ t 5 t β36 t d t β6 t 3. Now multiply both sides of the equality (6) with t β36 and let It is clear that one can write φ = t t 3 t t t t t 3 t t β36 t d t 3 t β36. t t t 5 t 6 t β36 = φd, where D is a product of 9 positive Dehn twists all about nonseparating curves. We now apply Proposition. to conclude that t t t 5 t 6 t β36 is a product of 0m+ Dehn twists. This concludes the proof of the theorem. 5. A question The results of this paper prompt the following question: Question 5.. Let g and let n 3. In the mapping class group of the oriented surface Σ g,n, is it possible to write the multitwist t t t n as a product of positive Dehn twists about nonseparating simple closed curves? If yes, can it be written as a product of arbitrarily large number of such Dehn twists?

12 E. DALYAN, M. KORKMAZ AND M. PAMUK Note that in the case g =, the second author and Ozbagci [] proved that t t t n can be written as a product of positive Dehn twists about nonseparating simple closed curves for n 9, but it cannot be written if n 0. Moreover, whenevert t t n isaproductof positivedehn twists about nonseparating simple closed curves, the number of such Dehn twists must be for homological reasons. In the case g =, Onaran [3] showed that, in the mapping class group of Σ,n, the boundary multitwist t t t n can be written as a product of positive Dehn twists about nonseparating simple closed curves for n 8. In [8], Tanaka improved this result to n = g + for any g. References. S. Akbulut, B. Ozbagci On the topology of compact Stein surfaces, Int. Math. Res. Not. 00, no. 5, D. Auroux, Mapping class group factorizations and symplectic -manifolds: some open problems, Problems on mapping class groups and related topics, 3 3, Proc. Sympos. Pure Math., 7, Amer. Math. Soc., Providence, RI (006). 3. R. İ. Baykur, M. Korkmaz and N. Monden, Sections of surface bundles and Lefschetz fibrations, Trans. Amer. Math. Soc. 365, no., (03), R. İ. Baykur and J. Van Horn-Morris, Families of contact 3-manifolds with arbitrarily large stein fillings, arxiv:08.058v. 5. R. İ. Baykur and J. VanHorn-Morris, Topological complexity of symplectic -manifolds and Stein fillings, arxiv:.699v. 6. J.B. Etnyre, K. Honda, On symplectic cobordisms, Math. Ann. 33 (00), no., E. Giroux, Géométrie de contact: de la dimension trois vers les simensions supérieures,[contact geometry: from dimension three to higher dimensions], Proceedings of the International Congress of Mathematicians, Vol. II, Higher Education Press, Beijing, 00, A. Kaloti, Stein fillings of planar open books, arxiv:3.008v. 9. M. Korkmaz, Low-dimensional homology groups of mapping class groups: a survey, Proceedings of 8th Gökova Geometry-Topology Conference, Turkish J. Math. 6 no. (00), M. Korkmaz, Problems on homomorphisms of mapping class groups, Problems on mapping class groups and related topics, 8 89, Proc. Sympos. Pure Math., 7, Amer. Math. Soc., Providence, RI (006).. M. Korkmaz and B. Ozbagci, On sections of elliptic fibrations, Michigan Math. J. 56 (008), A. Loi, R. Piergallini Compact Stein surfaces with boundary as branched covers of B, Invent. Math. 3 (00), no., S. C. Onaran, On sections of genus two Lefschetz fibrations, Pacific J. Math. 8 (00), no., B. Ozbagci and A. I. Stipsicz, Contact 3-manifolds with infinitely many Stein fillings, Proc. Amer. Math. Soc. 3 (00), no. 5, B. Ozbagci and A. I. Stipsicz, Surgery on contact 3-manifolds and Stein surfaces, Bolyai Society Mathematical Studies, 3. Springer-Verlag, Berlin; Janos Bolyai Mathematical Society, Budapest, O. Plamenevskaya, On Legendrian Surgeries Between Lens Spaces, Journal of Symplectic Geometry, 0 (0), no., 65 8

13 LONG FACTORIZATIONS IN MAPPING CLASS GROUPS 3 7. I. Smith, Lefschetz pencils and divisors in moduli space, Geometry and Topology 5 (00), S. Tanaka, On sections of hyperelliptic Lefschetz fibrations, Algebr. Geom. Topol. (0), no., W. P. Thurston and H. E. Winkelnkemper, On the existence of contact forms, Proc. Amer. Math. Soc. 5 (975), B. Wajnryb, Relations in the mapping class group, Problems on mapping class groups and related topics, 5 0, Proc. Sympos. Pure Math., 7, Amer. Math. Soc., Providence, RI 006. (E.D.) Department of Mathematics, Hitit University, Çorum, Turkey (M.K., M.P.) Department of Mathematics, Middle East Technical University, Ankara, Turkey address: elifdalyan@hitit.edu.tr address: korkmaz@metu.edu.tr address: mpamuk@metu.edu.tr