arxiv:math/ v1 [math.gt] 9 Jul 2003

Transcription

1 LOW-DIMENSIONAL HOMOLOGY GROUPS OF MAPPING CLASS GROUPS: A SURVEY arxiv:math/ v1 [math.gt] 9 Jul 2003 MUSTAFA KORKMAZ Abstract. In this survey paper, we give a complete list of known results on the first an the secon homology groups of surface mapping class groups. Some known results on higher (co)homology are also mentione. 1. Introuction Let Σ n g,r be a connecte orientable surface of genus g with r bounary components an n punctures. The mapping class group of Σ n g,r may be efine in ifferent ways. For our purpose, it is efine as the group of the isotopy classes of orientation-preserving iffeomorphisms Σ n g,r Σn g,r. The iffeomorphisms an the isotopies are assume to fix each puncture an the points on the bounary. We enote the mapping class group of Σ n g,r by Γ n g,r. Here, we see the punctures on the surface as istinguishe points. If r an/or n is zero, then we omit it from the notation. We write Σ for the surface Σ n g,r when we o not want to emphasize g,r,n. The theory of mapping class groups plays a central role in low-imensional topology. When r = 0 an 2g + n 3, the mapping class group Γ n g acts properly iscontinuously on the Teichmüller space which is homeomorphic to some Eucliean space an the stabilizer of each point is finite. The quotient of the Teichmüller space by the action of the mapping class group is the mouli space of complex curves. Recent evelopments in low-imensional topology mae the algebraic structure of the mapping class group more important. The examples of such evelopments are the theory of Lefschetz fibrations an the Stein fillability of contact 3-manifols. Questions about the structure of these can be state purely as an algebraic problem in the mapping class group, but in this paper we o not aress such problems. The purpose of this survey paper is to give a list of complete known results on the homology groups of the mapping class groups in imensions one an two. There is no new result in the paper, but there are some new proofs. For example, although the first homology group of the mapping class group in genus one case is known, it seems that it oes not appear in the literature. Another example is that we give another proof of the fact that Dehn twists about nonseparating simple close curves are not enough to generate the mapping class group of a surface of genus one with r 2 1

2 2 KORKMAZ bounary components (cf. Corollary 5.2 below), as oppose to the higher genus case. We shall mainly be intereste in orientable surfaces. The first an the secon homology groups of the mapping class group have been known for more than twenty years. We will give the complete list of the first homologies an we calculate them. An elementary proof of the secon homology of the mapping class group was recently given by the author an Stipsicz in [30]. This proof is base on the presentation of the mapping class group an is sketche in Section 6. We then outline some known results for higher imensional (co)homology. Finally, in the last section, we give the first homology groups of the mapping class groups of nonorientable surfaces. 2. Dehn twists an relations among them Let Σ be an oriente surface an let a be a simple close curve on it. We always assume that the curves are unoriente. Cutting the surface Σ along a, twisting one of the sies by 360 egrees to the right an gluing back gives a self-iffeomorphism of the surface Σ (cf. Fig. 1 (a)). Let us enote this iffeomorphism by t a. In general, a iffeomorphism an its isotopy class will be enote by the same letter, so that t a also represents an element of Γ n g,r. Accoringly, a simple close curve an its isotopy class are enote by the same letter. It can easily be seen that the mapping class t a epens only on the isotopy class of a. The mapping class t a is calle the (right) Dehn twist about a. From the efinition of a Dehn twist it is easy to see that if f : Σ Σ is a iffeomorphism an a a simple close curve on Σ, then there is the equality (1) ft a f 1 = t f(a). We note that we use the functional notation for the composition of functions, so that (fg)(x) = f(g(x)) The brai relations. Suppose that a an b are two isjoint simple close curves on a surface Σ. Since the support of the Dehn twist t a can be chosen to be isjoint from b, we have t a (b) = b. Thus by (1), we get (2) t a t b = t a t b t 1 a t a = t ta(b)t a = t b t a. a t a b t b (a) t b (a) t a b a ( a) ( b) Figure 1. The Dehn twist t a, an the proof of t a t b (a) = b.

3 HOMOLOGY GROUPS OF MAPPING CLASS GROUPS: A SURVEY 3 Suppose that two simple close curves a an b intersect transversely at only one point. It can easily be shown that t a t b (a) = b (cf. Fig. 1 (b)). Hence, (3) t a t b t a = t a t b t a t 1 b t 1 a t a t b = t tat b (a)t a t b = t b t a t b The two-hole torus relation. Suppose that a, b, c are three nonseparating simple close curves on a surface Σ such that a is isjoint from c, an b intersects a an c transversely at one point (cf. Fig. 2 (a)). A regular neighborhoo of a b c is a torus with two bounary components, say an e. Then the Dehn twists about these simple close curves satisfy the relation (4) (t a t b t c ) 4 = t t e. For a proof of this, see [25], Lemma 2.8. We call it the two-hole torus relation. In fact, it follows from the brai relations that the three Dehn twists t a,t b,t c on the left han sie of this relation can be taken in any orer a b c e ( a) ( b) Figure 2. The circles of the two-hole torus an the lantern relations The lantern relation. Consier a sphere X with four holes embee in a surface Σ in such a way that the bounary circles of X are the simple close curves 0, 1, 2 an 3 on Σ (cf. Fig. 2 (b)). There are three circles 12, 13 an 23 on X such that there is the relation (5) t 0 t 1 t 2 t 3 = t 12 t 13 t 23. This relation is calle the lantern relation. It was first iscovere by Dehn [10] an reiscovere an mae popular by Johnson [24]. The two-hole torus an the lantern relations can be prove easily: Choose a set of arcs iviing the supporting subsurface into a isc an show that the actions on this set of arcs of the iffeomorphisms on the two sies are equal up to homotopy.

4 4 KORKMAZ 3. Generating the mapping class group The search of the algebraic structures of the mapping class group was initiate by the work of Dehn [10]. He prove that that the mapping class group of a close orientable surface is generate by finitely many (Dehn) twists about nonseparating simple close curves. In [31, 33], Lickorish reprouce this result; he prove that the mapping class group Γ g can be generate by 3g 1 Dehn twists, all of which are about nonseparating simple close curves. In [19], Humphries reuce this number to 2g + 1: The mapping class group Γ g of a close orientable surface Σ g of genus g is generate by Dehn twists about 2g + 1 simple close curves a 0,a 1,...,a 2g of Fig. 3. In the figure, we glue a isc to the bounary component of the surface to get the close surface Σ g. Humphries also showe that the number 2g + 1 is minimal; the mapping class group of a close orientable surface of genus g 2 cannot be generate by 2g (or less) Dehn twists. For any generating set the situation is ifferent of course; Γ g is generate by two elements. This result is ue to Wajnryb [45]. This is the least number of generators, because Γ g is not commutative g-1 2g Figure 3. The label n represents the circle a n. Let Σ n g be an orientable surface of genus g with n punctures. Let n 1 an let us fix a puncture x. By forgetting the puncture x, every iffeomorphism Σ n g Σ n g inuces a iffeomorphism Σg n 1 Σg n 1. This gives an epimorphism Γ n g Γn 1 g whose kernel is isomorphic to the funamental group of Σg n 1 at the base point x (cf. [2]). Therefore, we have a short exact sequence (6) 1 π 1 (Σg n 1 ) Γ n g Γn 1 g 1. Now let Σ n g,r be an orientable surface of genus g with r bounary components an n punctures. Assume that r 1. Let P be one of the bounary components. By gluing a isc D with one puncture along P, we get a surface Σ n+1 g,r 1 of genus g with r 1 bounary components an n + 1 punctures. A iffeomorphism Σ n g,r Σn g,r extens to a iffeomorphism Σn+1 g,r 1 Σn+1 g,r 1 by efining the extension to be the ientity on D. This way we get an epimorphism Γ n g,r Γ n+1 g,r 1. Note that a Dehn twist on Σn g,r along a simple close curve parallel to P gives a iffeomorphism Σ n+1 g,r 1 Σn+1 g,r 1 isotopic

5 HOMOLOGY GROUPS OF MAPPING CLASS GROUPS: A SURVEY 5 to the ientity. Essentially, this is the only vanishing mapping class uner the map Γ n g,r Γn+1 g,r 1. More precisely, we have the short exact sequence (7) 1 Z Γ n g,r Γ n+1 g,r 1 1, where Z is the subgroup of Γ n g,r generate by the Dehn twist along a simple close curve parallel to P. It follows from the escription of the homomorphisms in the short exact sequences (6) an (7), an the fact that the mapping class group Γ g is generate by Dehn twists about finitely many nonseparating simple close curves, the group Γ n g,r is generate by Dehn twists along finitely many nonseparating simple close curves an the Dehn twist along a simple close curve parallel to each bounary component. Suppose that the genus of the surface Σ n g,r is at least 2. The four-hole sphere X of the lantern relation can be embee in the surface Σ n g,r in such a way that one of the bounary components of X is a given bounary component of Σ n g,r an all other six curves of the lantern relation are nonseparating on Σ n g,r. We conclue from this that Theorem 3.1. If g 2 then the mapping class group Γ n g,r is generate by Dehn twists about finitely many nonseparating simple close curves. We note that this theorem oes not hol for g = 1 an r 2. See Corollary 5.2 in Section 5 below. Dehn twists about bounary parallel simple close curves are neee in this case. In the case that g = 0, there is no nonseparating simple close curve. 4. Presenting the mapping class groups Γ g an Γ g,1 The mapping class groups are finitely presente. The presentation of Γ 2 was first obtaine by Birman an Hilen [5]. For g 3, this fact was first prove by McCool [35] using combinatorial group theory without giving an actual presentation. A geometric proof of this was given by Hatcher an Thurston [18], again without an explicit presentation. Their proof use the connecteness an the simple connecteness of a certain complex forme by so calle cut systems. Harer [14] moifie the Hatcher-Thurston complex of cut systems in orer to calculate the secon homology groups of mapping class groups of orientable surfaces of genus g 5. Using this moifie complex, simple presentations of the mapping class groups Γ g,1 an Γ g were finally obtaine by Wajnryb [44]. Minor errors in [44] were correcte in [6]. The proof of Hatcher an Thurston is very complicate. In [46], Wajnryb gave an elementary proof of the presentations of Γ g,1 an Γ g. This proof oes not use the results of Hatcher-Thurston an Harer. It turns out that all the relations neee to present the mapping class groups are those given in Section 2, which were obtaine by Dehn [10]. We now give the Wajnryb presentations of Γ g,1 an Γ g. So suppose that n = 0 an r 1. As a moel for Σ g,r, consier the surface in Fig. 3. On

6 6 KORKMAZ the surface Σ g,r, consier the simple close curves a 0,a 1,...,a 2g illustrate in Fig. 3. Let F be the nonabelian free group freely generate by x 0,x 1,...,x 2g. For x,y F, let [x,y] enote the commutator xyx 1 y 1. In the group F, we efine some wors as follows. Let A ij = [x i,x j ] if the curve a i is isjoint from the curve a j in Fig. 3, an let B 0 = x 0 x 4 x 0 x 1 4 x 1 0 x 1 4, B i = x i x i+1 x i x 1 i+1 x 1 i x 1 i+1 for i = 1,2,...,2g 1. Let us also efine the wors C = (x 1 x 2 x 3 ) 4 x 1 0 (x 4x 3 x 2 x 2 1x 2 x 3 x 4 )x 1 0 (x 4x 3 x 2 x 2 1x 2 x 3 x 4 ) 1 an where an D = x 1 x 3 x 5 wx 0 w 1 x 1 0 t 1 2 x 1 0 t 2(t 2 t 1 ) 1 x 1 0 (t 2t 1 ), t 1 = x 2 x 1 x 3 x 2, t 2 = x 4 x 3 x 5 x 4, w = x 6 x 5 x 4 x 3 x 2 (t 2 x 6 x 5 ) 1 x 0 (t 2 x 6 x 5 )(x 4 x 3 x 2 x 1 ) 1. In the group F, we efine one more element E to be where E = [x 2g+1,x 2g x 2g 1 x 3 x 2 x 2 1 x 2x 3 x 2g 1 x 2g ], x 2g+1 = (u g 1 u g 2 u 1 )x 1 (u g 1 u g 2 u 1 ) 1, u 1 = (x 1 x 2 x 3 x 4 ) 1 v 1 x 4 x 3 x 2, u i = (x 2i 1 x 2i x 2i+1 x 2i+2 ) 1 v i x 2i+2 x 2i+1 x 2i for i = 2,...,g 1, v 1 = (x 4 x 3 x 2 x 2 1x 2 x 3 x 4 )x 0 (x 4 x 3 x 2 x 2 1x 2 x 3 x 4 ) 1, v i = (w i w i 1 ) 1 v i 1 (w i w i 1 ) for i = 2,...,g 1, w i = x 2i x 2i+1 x 2i 1 x 2i for i = 1,2,...,g 1. We woul like to note that if we efine a homomorphism from F to Γ g or Γ g,1 by x i t ai, then the relation C maps to a two-hole torus relation an D maps to a lantern relation such that all seven simple close curves in the relation are nonseparating. A ij an B i map to the brai relations. Let us enote by R 1 the normal subgroup of F normally generate by the elements A ij,b 0,B 1,...,B 2g 1,C an D, an let R 0 enote the normal subgroup of F normally generate by R 1 an E. The Wajnryb presentation of the mapping class groups Γ g an Γ g,1 can be summarize as the next theorem.

7 HOMOLOGY GROUPS OF MAPPING CLASS GROUPS: A SURVEY 7 Theorem 4.1 ([46], Theorems 1 an 2). Let g 2. Then there are two short exact sequences (8) an (9) 1 R 1 F φ 1 Γ g,1 1 1 R 0 F φ 0 Γ g 1, where φ i (x j ) is the Dehn twist t aj about the curve a j. Remark 4.1. If g = 2 then the relation D is not supporte in the surface. In this case, one shoul omit the element D from the efinition of R 0 an R 1. Notice that the presentation of Γ 2,1 in Theorem 2 in [46] is slightly ifferent but equivalent to the presentation above. A finite presentation of the mapping class group Γ g,r is obtaine by Gervais in [13]. 5. The first homology Recall that for a iscrete group G, the first homology group H 1 (G; Z) of G with integral coefficients is isomorphic to the erive quotient G/[G, G], where [G,G] is the subgroup of G generate by all commutators [x,y] for x,y G. Here, [x,y] = xyx 1 y 1. From the presentation of the mapping class group Γ g given in Theorem 4.1, the group H 1 (Γ g ; Z) can be compute easily; it is isomorphic to Z 10 if g = 2 an 0 if g 3. The fact that H 1 (Γ 2 ; Z) is isomorphic to Z 10 was first prove by Mumfor [40] an that H 1 (Γ g ; Z) = 0 for g 3 by Powell [42]. We prove this result for g 3 without appealing to the presentation. We also etermine the first homology groups for arbitrary r an n, which is well known. If a an b are two nonseparating simple close curves on a surface Σ n g,r, then by the classification of surfaces there is a iffeomorphism f : Σ n g,r Σ n g,r such that f(a) = b. Thus, by (1), we have that t b = ft a f 1. This can also be written as t b = [f,t a ]t a. Therefore, t a an t b represent the same class τ in H 1 (Γ n g,r; Z). Since the mapping class group Γ n g,r is generate by Dehn twists about nonseparating simple close curves for g 2, it follows that the group H 1 (Γ n g,r; Z) is cyclic an is generate by τ. Suppose that g 3. The four-hole sphere X of the lantern relation can be embee in Σ n g,r such that all seven curves involve in the lantern relation become nonseparating on Σ n g,r (cf. Fig. 4). This gives us the relation 4τ = 3τ in H 1 (Γ n g,r ; Z). Hence, H 1(Γ n g,r ; Z) is trivial. Suppose now that g = 2. The two-hole torus of the two-hole torus relation can be embee in Σ n 2,r so that all five curves in the relation becomes nonseparating on Σ n 2,r. This gives us 12τ = 2τ, i.e. 10τ = 0. On the other han, since there is an epimorphism Γ n 2,r Γ 2, it follows that H 1 (Γ n 2,r ) = Z 10.

8 8 KORKMAZ Figure 4. An embeing of the lantern with all curves nonseparating. Although we usually eal with the surfaces of genus at least two, we woul like to mention the first homology groups in the genus one case as well. Consier a torus Σ n 1,r with n punctures an r bounary components, P 1,P 2,...,P r. For each i = 1,2,...,r, let i be a simple close curve parallel to P i. The mapping class group Γ 1 is generate by the Dehn twists about two (automatically nonseparating) simple close curves intersecting transversely at one point. It can be prove by the exact sequences (6) an (7) that the mapping class group Σ n 1,r is generate by Dehn twists about finitely many nonseparating simple close curves an r Dehn twists about 1, 2,..., r. By the use of the lantern relation, it can be shown that we may omit any one of i, say n. It will follow from the following computation of the first homology of Γ n 1,r that in fact no more i may be omitte. By the argument in the case of higher genus, any two Dehn twists about nonseparating simple close curves are conjugate. Hence, they represent the same class τ in H 1 (Γ n 1,r ; Z). Assume first that r = 0. The group Γ 1 is isomorphic to SL(2, Z). Hence, H 1 (Γ 1 ; Z) is isomorphic to Z 12 an is generate by τ. Since Γ n 1 is generate by Dehn twists about nonseparating simple close curves, the homology group H 1 (Γ n 1 ; Z) is cyclic an generate by τ. It was shown in Theorem 3.4 in [28] that 12τ = 0. On the other han, the surjective homomorphism Γ n 1 Γ 1 obtaine by forgetting the punctures inuces a surjective homomorphism between the first homology groups, mapping τ to the generator of H 1 (Γ 1 ; Z). It follows that H 1 (Γ n 1 ; Z) is isomorphic to Z 12. The group Γ 1 1 is also isomorphic to SL(2, Z). Let a an b be two simple close curve on Σ 1,1 intersecting each other transversely at one point. By examining the short exact sequence 1 Z Γ 1,1 Γ it can be shown easily that Γ 1,1 has a presentation with generator t a,t b an with a unique relation t a t b t a = t b t a t b. That is, Γ 1,1 is isomorphic to the brai group on three strings. Hence, by abelianizing this presentation, we see that H 1 (Γ 1,1 ; Z) is isomorphic to Z. Assume now that r 1. Since Γ n 1,r is generate by Dehn twists about nonseparating simple close curves an the curves 1, 2,..., r 1, the group

9 HOMOLOGY GROUPS OF MAPPING CLASS GROUPS: A SURVEY 9 H 1 (Γ n 1,r ; Z) is generate by τ,δ 1,δ 2,...,δ r 1, where δ i is the class in H 1 (Γ n 1,r ; Z) of the Dehn twist about i. We prove that τ,δ 1,δ 2,...,δ r 1 are linearly inepenent. Let n 0 τ+n 1 δ 1 + n 2 δ n r 1 δ r 1 = 0 with n i Z. Gluing a isc to each P i for i r 1 an forgetting the punctures gives rise to an epimorphism H 1 (Γ n 1,r ; Z) H 1 (Γ 1,1 ; Z). Uner this map, τ is mappe to the generator of H 1 (Γ 1,1 ; Z) an all δ i to zero. Hence, n 0 = 0. Similarly, gluing a isc to each bounary component but P i an forgetting the punctures inuces an epimorphism H 1 (Γ n 1,r ; Z) H 1(Γ 1,1 ; Z) mapping δ i to 12τ an each δ j, j i, to 0, where τ is the generator of H 1 (Γ 1,1 ; Z). This shows that n i = 0 for each i = 1,2,...,r 1. We conclue that H 1 (Γ n 1,r ; Z) is isomorphic to Zr. We collect the results of this section in the next theorem. Theorem 5.1. Let g 1. The first homology group H 1 (Γ n g,r ; Z) of the mapping class group is isomorphic to Z 12 if (g,r) = (1,0), Z r if g = 1,r 1, Z 10 if g = 2 an 0 if g 3. Corollary 5.2. Let r 2. The mapping class group Γ n 1,r cannot be generate by Dehn twists about nonseparating simple close curves. We note that this corollary was prove by Gervais in [12] by a ifferent argument. 6. The secon homology The secon homology group of the mapping class group Γ n g,r for g 5 was first compute by Harer in [14]. His proof relies on the simple connecteness of a complex obtaine by moifying the Hatcher-Thurston complex [18]. But this proof is extremely complicate to unerstan. The computation of H 2 (Γ g ; Z) in [14] was incorrect an it was correcte later. See, for examle, [15] or [38]. In [41], Pitsch gave a simple proof of H 2 (Γ g,1 ; Z) = Z for g 4. His metho use the presentation of the mapping class group Γ g,1 an the following theorem of Hopf (cf. [7]): Given a short exact sequence of groups where F is free, then (10) 1 R F G 1, H 2 (G; Z) = R [F,F]. [R,F] In [30], Stipsicz an the author extene Pitsch s proof to H 2 (Γ g ; Z) = Z for g 4. Then the homology stabilization theorem of Harer [15] an a use of the Hochschil-Serre spectral sequence for group extensions enable us to give a new proof of Harer s theorem on the secon homology of mapping class groups, by extening it to the g = 4 case. We now outline the proof of H 2 (Γ g ; Z) = Z for g 4.

10 10 KORKMAZ Consier the short exact sequence (9). Recall that F in (9) is the free group generate freely by x 0,x 1,...,x 2g an R 0 is the normal subgroup of F normally generate by the elements A ij,b 0,B 1,...,B 2g 1,C,D an E. By Hopf s theorem, we have H 2 (Γ g ; Z) = R 0 [F,F]. [R 0,F] Hence, every element in H 2 (Γ g ; Z) has a representative of the form (11) AB n 0 0 Bn 1 1 Bn 2g 1 2g 1 Cn C D n D E n E, where A is a prouct of A ij. Note that each A ij an E represent elements of H 2 (Γ g ; Z) since they are containe in R 0 [F,F]. It was shown in [41] by the use of the lantern relation that each A ij represents the trivial class in H 2 (Γ g,1 ; Z) = (R 1 [F,F])/[R 1,F]. The same proof applies to show that the class of each A ij in H 2 (Γ g ; Z) is zero. The main reason for this is that since g 4, for any nonseparating simple close curve a on Σ g, the four-hole sphere of the lantern relation can be embee in Σ g a such that all seven curves of the relation are nonseparating on Σ g a. The main improvement in [30] after [41] is to show that E represents the zero element in H 2 (Γ g ; Z). The proof of this uses the brai relations an the two-hole torus relation. Therefore, we may elete A an E in (11). Note that an element of F is in the erive subgroup [F,F] of F if an only if the sum of the exponents of each generator x i is zero. Since the expression (11) must be in [F,F], by looking at the sum of the exponents of the generators x 2g,x 2g 1,...,x 6, one can see easily that n 2g 1,n 2g 2,...,n 5 must be zero. Then, by looking at the sums of the exponents of the other generators, it can be conclue that there must be an integer k such that n 0 = 18k,n 1 = 6k,n 2 = 2k,n 3 = 8k,n 4 = 10k,n C = k an n D = 10k. This says that H 2 (Γ g ; Z) is cyclic an is generate by the class of the element (12) B 18 0 B 6 1 B2 2 B8 3 B 10 4 CD 10. On the other han, for every g 3, the existence of a genus-g surface bunle with nonzero signature guarantees that H 2 (Γ g ; Z) contains an infinite cyclic subgroup (cf. [36]); the signature cocycle is of infinite orer. The universal coefficient theorem implies that H 2 (Γ g ; Z) contains an element of infinite orer. This shows that H 2 (Γ g ; Z) = Z for g 4. By omitting E from the above proof, the same argument also proves that H 2 (Γ g,1 ; Z) = Z for g 4. A special case of Harer s homology stability theorem in [15] says that for g 4 an r 1 the inclusion mapping Σ g,r Σ g,r+1 obtaine by gluing a isc with two bounary components to Σ g,r along one of the bounary components inuces an isomorphism H 2 (Γ g,r ; Z) H 2 (Γ g,r+1 ; Z). Also,

11 HOMOLOGY GROUPS OF MAPPING CLASS GROUPS: A SURVEY 11 an application of the Hochschil-Serre spectral sequence to (7) shows that H 2 (Γ n g,r ; Z) = H 2(Γg,r+1 n 1 ; Z) Z for g 3. We can summarize the results mentione above as follows. The etails of the proof may be foun in [30]. Theorem 6.1. If g 4 then H 2 (Γ n g,r ; Z) is isomorphic to Zn+1. The same metho above also proves that H 2 (Γ 2 ; Z) = H 2 (Γ 2,1 ; Z) is isomorphic to either 0 or Z 2, an the groups H 2 (Γ 3 ; Z) an H 2 (Γ 3,1 ; Z) are isomorphic to either Z or Z Z 2. By the work of Benson-Cohen [1], H 2 (Γ 2 ; Z 2 ) is isomorphic to Z 2 Z 2. It follows now from the universal coefficient theorem that H 2 (Γ 2 ; Z) is not trivial, hence Z 2. To the best knowlege of the author, the computations of H 2 (Γ n 2,r ; Z) in the remaining cases an H 2(Γ n 3,r ; Z) are still open. 7. Higher (co)homologies Here we will mention a few known results on the (co)homology group of the mapping class group. In Section 6, we appeale to a special case of the homology stability theorem of Harer. The original theorem asserts that in a given imension the homology group of the mapping class group of a surface of with bounary components oes not epen on the genus if the genus of the surface is sufficiently high. This result was improve by Ivanov in [20, 21]. In [21], Ivanov also prove a stabilization theorem for the homology with twiste coefficients of the mapping class groups of close surfaces. The thir homology group of Γ g,r with rational coefficients was compute by Harer in [16]. It turns out that H 3 (Γ g,r ; Q) = 0 for g 6. Let Q[z 2,z 4,z 6,...] enote the polynomial algebra of generators z 2n in imensions 2n for each positive integer n. Then there are classes y 2,y 4,y 6,... with y 2n H 2n (Γ g ; Q) such that the homomorphism of algebras Q[z 2,z 4,z 6,...] H (Γ g ; Q) given by z 2n y 2n is an injection in imensions less than g/3. This result was prove by Miller [37]. The entire mo-2 cohomology of Γ 2 is also known. Benson an Cohen [1] compute the Poincaré series for mo-2 cohomology to be (1 + t 2 + 2t 3 + t 4 + t 5 )/(1 t)(1 t 4 ) = 1 + t + 2t 2 + 4t 3 + 6t 4 + 7t Nonorientable surfaces In this last section, we outline the known results about the generators an the homology groups of the mapping class groups of nonorientable surfaces. So let S n g enote a nonorientable surface of genus g with n punctures. Recall that the genus of a close nonorientable surface is efine as the number of real projective planes in a connecte sum ecomposition. Let us efine

12 12 KORKMAZ the mapping class group Γ n g as in the orientable case; iffeomorphisms an isotopies are require to fix each puncture. The mapping class group Γ 1 of the real projective plane is trivial an the group Γ 2 is isomorphic to Z 2 Z 2 (cf. [32]). Lickorish [32, 34] an Chillingworth [8] prove that if g 3 then Γ g is generate by a finite set consisting of Dehn twists about two-sie nonseparating simple close curves an a crosscap slie (or Y-homeomorphism). See also [4]. Using this result the author [25] compute H 1 (Γ g ; Z). This result was extene to the puncture cases in [27]. We note that the group Γ n g of this section is calle the pure mapping class group in [27] an enote by PM g,n. The first homology group of Γ n g with integer coefficients is as follows. Theorem 8.1 ([27]). Let g 7. Then the first homology group H 1 (Γ n g;z) of Γ n g is isomorphic to Z n+1 2. If we efine M n g as the group of the iffeomorphisms Sn g Sn g moulo the iffeomorphisms which are isotopic to the ientity by an isotopy fixing each puncture, then more is known. Let N + an N enote the set of positive integers an the set of nonnegative integers, respectively. Define a function k : N + N N by eclaring k(1,0) = 0, k(4,0) = 3, k(g,0) = 2 if g = 2,3,5,6, k(g,0) = 1 if g 7, k(g,1) = k(g,0)+1 an k(g,n) = k(g,0)+2 if n 2. Theorem 8.2 ([27]). The first homology group H 1 (M n g;z) of the mapping class group M n g of a nonorientable surface of genus g with n punctures is isomorphic to the irect sum of k(g,n) copies of Z 2. It is easy to see that the groups Γ n g an Mn g 1 Γ n g Mn g fit into a short exact sequence Sym(n) 1, where Sym(n) is the symmetric group on n letters. No higher homology groups of Γ n g or Mn g are known. Acknowlegements: The author wishes to thank the referee for his/her suggestions on the earlier version of the paper an Selman Akbulut for his encouragement to write such a survey paper. References [1] D. Benson an F. Cohen, The mo-2 cohomology of the mapping class group for a surface of genus 2, Mem. Amer. Math. Soc. 443 (1991), [2] J. S. Birman, Brais, links an mapping class groups, Annals of Mathematics Stuies, No. 82. Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, [3] J. S. Birman, The algebraic structure of surface mapping class groups, Discrete groups an automorphic functions (Proc. Conf., Cambrige, 1975), Acaemic Press, Lonon, [4] J. S. Birman, D. R. J. Chillingworth, On the homeotopy group of a non-orientable surface, Math. Proc. Camb. Phil. Soc. 71 (1972),

13 HOMOLOGY GROUPS OF MAPPING CLASS GROUPS: A SURVEY 13 [5] J. S. Birman, H. M. Hilen, On the mapping class groups of close surfaces as covering spaces, Avances in the theory of Riemann surfaces (Proc. Conf., Stony Brook, N.Y., 1969), Ann. of Math. Stuies, No. 66. Princeton Univ. Press, Princeton, N.J., [6] J. S. Birman, B. Wajnryb, Errata: Presentations of the mapping class group, Israel J. Math. 88 (1994), [7] K. S. Brown, Cohomology of groups, Grauate Texts in Mathematics 87, Springer- Verlag, New York-Berlin, [8] D. R. J. Chillingworth, A finite set of generators for the homeotopy group of a non-orientable surface, Math. Proc. Camb. Phil. Soc. 65 (1969), [9] F. R. Cohen, On the mapping class groups for puncture spheres, the hyperelliptic mapping class groups, SO(3), an spin c (3), American Journal of Mathematics 115 (1993), [10] M. Dehn, Die gruppe er abilungsklassen, Acta Math. 69 (1938), [11] H. Eno, M. Korkmaz, D. Kotschick, B. Ozbagci, A. Stipsicz, Commutators, Lefschetz fibrations an signatures of surface bunles, Topology, to appear. [12] S. Gervais, Presentation an central extensions of mapping class groups, Trans. Amer. Math. Soc. 348 (1996), [13] S. Gervais, A finite presentation of the mapping class group of a puncture surface, Topology 40 (2001), [14] J. L. Harer, The secon homology group of the mapping class group of an orientable surface, Inv. Math. 72 (1982), [15] J. L. Harer, Stability of the homology of the mapping class groups of orientable surfaces, Annals of Mathematics 121 (1985), [16] J. L. Harer, The thir homology group of the mouli space of curves, Duke Mathematical Journal 63 (1991), [17] J. L. Harer, The cohomology of the mouli space of curves, Theory of Mouli, , Lecture Notes in Math., 1337, Springer-Verlag, Berlin [18] A. Hatcher, W. Thurston, A presentation for the mapping class group of a close orientable surface, Topology 19 (1980), [19] S. Humphries, Generators for the mapping class group, Topology of low-imensional manifols (Proc. Secon Sussex Conf., Chelwoo Gate, 1977), 44 47, Lecture Notes in Math., 722, Springer-Verlag, Berlin, [20] N. V. Ivanov, Stabilization of the homology of Teichmüller moular groups, (Russian) Algebra i Analiz 1 (1989), ; translation in Leningra Math. J. 1 (1990), [21] N. V. Ivanov, On the homology stability for Teichmüller moular groups: close surfaces an twiste coefficients, Mapping class groups an mouli spaces of Riemann surfaces (Göttingen, 1991/Seattle, WA, 1991), , Contemp. Math., 150, Amer. Math. Soc., Provience, RI, [22] N. V. Ivanov, Mapping class groups, Hanbook of Geometric Topology, Elsevier, to appear. [23] N. V. Ivanov, J. D. McCarthy, On injective homomorphisms between Teichmüller moular groups. I, Invent. Math. 135 (1999), [24] D. L. Johnson, Homeomorphisms of a surface which act trivially on homology, Proc. Amer. Math. Soc. 75 (1979), [25] M. Korkmaz, First homology group of mapping class groups of nonorientable surfaces, Math. Proc. Camb. Phil. Soc. 123 (1998), [26] M. Korkmaz, Noncomplex smooth 4-manifols with Lefschetz fibrations, International Mathematics Research Notices 2001, [27] M. Korkmaz, Mapping class groups of nonorientable surfaces, Geometriae Deicata, to appear.

14 14 KORKMAZ [28] M. Korkmaz, J. D. McCarthy, Surface mapping class groups are ultrahopfian, Math. Proc. Camb. Phil. Soc. 129 (2000), [29] M. Korkmaz, B. Ozbagci, Minimal number of singular fibers in a Lefschetz fibration, Proc. Amer. Math. Soc. 129 (2001), [30] M. Korkmaz, A. I. Stipsicz, The secon homology groups of mapping class groups of orientable surfaces, Math. Proc. Camb. Phil. Soc., to appear. [31] W. B. R. Lickorish, A representation of orientable combinatorial 3-manifols, Annals of Mathematics 76 (1962), [32] W. B. R. Lickorish, Homeomorphisms of non-orientable 2-manifols, Math. Proc. Camb. Phil. Soc. 59 (1963), [33] W. B. R. Lickorish, A finite set of generators for the homeotopy group of a 2-manifol, Math. Proc. Camb. Phil. Soc. 60 (1964), [34] W. B. R. Lickorish, On the homeomorphisms of a non-orientable surface, Math. Proc. Camb. Phil. Soc. 61 (1965), [35] J. McCool, Some finitely presente subgroups of the automorphism group of a free group, J. Algebra 35 (1975), [36] W. Meyer, Die Signatur von Flächenbünlen, Math. Ann. 201 (1973), [37] E. Y. Miller, The homology of the mapping class group, J. Differential Geometry 24 (1986), [38] S. Morita, Families of Jacobian manifols an characteristic classes of surface bunles. I, Ann. Inst. Fourier (Grenoble) 39 (1989), [39] S. Morita, Structure of the mapping class group of surfaces: a survey an a prospect, Geometry an Topology Monographs, V. 2. (Proceeings of the Kirbyfest, 1999), [40] D. Mumfor, Abelian quotients of the Teichmüller moular group, J. Anal. Math. 18 (1967), [41] W. Pitsch, Un calcul élémentaire e H 2(M g,1,z) pour g 4, C. R. Aca. Sci. Paris, t. 329, Série I (1999), [42] J. Powell, Two theorems on the mapping class group of a surface, Proc. Amer. Math. Soc. 68 (1978), [43] A. I. Stipsicz, Surface bunles with nonvanishing signatures, preprint. [44] B. Wajnryb, A simple presentation of the mapping class group of an orientable surface, Israel J. Math. 45 (1983), [45] B. Wajnryb, Mapping class group of a surface is generate by two elements, Topology 35 (1996), [46] B. Wajnryb, An elementary approach to the mapping class group of a surface, Geometry an Topology 3 (1999), Department of Mathematics, Mile East Technical University, Ankara, Turkey aress: korkmaz@arf.math.metu.eu.tr