arxiv: v1 [math.at] 30 Mar 2017

Transcript

1 A TWISTED FIRST HOMOLOGY GROUP OF THE GOERITZ GROUP OF S 3 AKIRA KANADA arxiv: v1 [math.at] 30 Mar 2017 Abstract. Given a genus-g Heegaard splitting of a 3-sphere, the genus-g Goeritz group E g is defined to be the group of the isotopy classes of orientation preserving homeomorphism of the 3-sphere that preserve the splitting. In this paper, we determine the twisted first (co)homology group of the genus-2 Goeritz group of 3-sphere. 1. Introduction Mapping class group. Let H g be a 3-dimensional handlebody of genus g, and Σ g be the boundary surface H g. We denote by M g the mapping class group of Σ g, the group of isotopy classes of orientation preserving homeomorphisms of Σ g. Dehn [2] proved that M g is generated by finitely many Dehn twists. Furthermore Lickorish [19, 20] proved that 3g 1 Dehn twists generate M g. Humphries [16] found that 2g + 1 Dehn twists generate M g. We denote by H g the handlebody mapping class group, the subgroup of mapping class group M g of boundary surface H g defined by isotopy classes of those orientation preserving homeomorphisms of H g which can be extended to homeomorphisms of H g. It turns out that H g can be identified with the group of isotopy classes of orientation preserving homeomorphisms of H g. A finite presentation of the handlebody mapping class group H g was obtained by Wajnryb [1]. Goeritz group. Let H g and H g be 3-dimensional handlebodies, and M = H g H g be a Heegaard splitting of a closed orientable 3-manifold M. Let M g be the mapping class group of the boundary surface H g = Σ g. The group of mapping classes [f] M g such that there is an orientation preserving self-homeomorphism F of (M, H g ) satisfying [F Hg ] = [f] is called the genus-g Goeritz group of M = H g H g. When a manifold M admits a unique Heegaard splitting of genus g up to isotopy, we can define the genus-g Goeritz group of the manifold without mentioning a specific splitting. For example, the 3-sphere, S 1 S 2 and lens spaces are known to be such manifolds from [6], [4] and [5]. In studying Goeritz groups, finding their generating sets or presentations has been an interesting problem. However the generating sets or the presentation of those groups have been obtained only for a few manifolds with their splittings of small genera. A finite presentation of the genus-2 Goeritz group of 3-sphere was obtained [3]. In an arbitrary genus, first Powell [8] and then Hirose [17] claimed that they have found a finite generating set for the genus-g Goeritz group of 3-sphere, though serious gaps in both arguments were found by Scharlemann. Establishing the existence of such generating sets appears to be an open problem. In addition, finite presentations of the genus-2 Goeritz groups of each lens spaces L(p, 1) were obtained [12], other lens spaces were obtained [15] and the genus-2 Heegaard splittings of non-prime 3-manifolds were obtained [14]. Recently a finite presentation of the genus-2 Goeritz group of S 1 S 2 was obtained [13]. 1

2 2 AKIRA KANADA Homology of mapping class group. Computing homology of mapping class groups is interesting topic of studying mapping class groups. Harer [9] determined the second homology group of mapping class group M g : H 2 (M g ; Z) = Z if g 4. In fact, Harer proved a more general theorem for surfaces with multiple boundary components and arbitrarily many punctures. In twisted case, Morita [18] determined the first homology group with coefficients in the first integral homology group of the surface: H 1 (M g ; H 1 (Σ g )) = Z/(2g 2)Z if g 2. Recently Ishida and Sato [7] computed the twisted first homology groups of the handlebody mapping class group H g with coefficients in the first integral homology group of the boundary surface Σ g : Z/(2g 2)Z if g 4, H 1 (H g ; H 1 (Σ g )) = Z/2Z Z/4Z if g = 3, (Z/2Z) 2 if g = 2. Goeritz group of S 3. Let H g and H g be 3-dimensional handlebodies, and S 3 = H g H g be the Heegaard splitting of the 3-sphere S 3. Waldhausen [6] proved that a genus-g Heegaard splitting of S 3 is unique up to isotopy. Let M g be the mapping class group of the boundary surface H g = Σ g. The group of mapping classes [f] M g such that there is an orientation preserving self-homeomorphism F of (S 3, H g ) satisfying [F Hg ] = [f] is denoted by E g. It is called the genus-g Goeritz group of the 3-sphere. Twisted homology group of E 2. In this paper, we compute the twisted first homology group of E 2 with coefficients in the first integral homology group of the Heegaard surface Σ 2. The following is the main theorem in this paper. Theorem 1.1. H 1 (E 2 ; H 1 (Σ 2 )) = (Z/2Z) 2. A finite presentation of the genus-2 Goeritz group of the 3-sphere was obtained from the works of [3]. For the higher genus Goeritz groups of the 3-sphere, it is conjectured that all of them are finitely presented however it is still known to be an open problem.

3 A TWISTED FIRST HOMOLOGY GROUP OF THE GOERITZ GROUP OF S 3 3 Let Σ g be a compact connected orientable surface of genus g 1 and α 1,..., α g, β 1,..., β g be oriented simple closed curves as in Figure 1. We denote their homology classes in H 1 (Σ g ) by x 1 = [α 1 ], x 2 = [α 2 ],..., x g = [α g ], y 1 = [β 1 ], y 2 = [β 2 ],..., y g = [β g ]. The basis {x 1,..., x g, y 1,..., y g } of H A induces an isomorphism H A A 2g. For v A 2g, we denote its projection to the i-th coordinate of A 2g by v i for i = 1, 2,..., 2g. α 1 α 2 α g 1 2 g β 1 β 2 β g Figure 1 : Surface Σ g and simple closed curves α 1,..., α g, β 1,..., β g. Akbas gave following presentation for E 2 in [3]. Theorem 1.2 ([3]). The group E 2 has four generators [α], [β], [γ] and [δ], and the following relations: (P1) [α] 2 = [β] 2 = [δ] 3 = [αγ] 2 = 0. (P2) [αδα] = [δ] and [αβα] = [β]. (P3) [γβγ] = [αβ] and [δ] = [γδ 2 γ]. (i) α: (ii) β: π π (iii) γ: π (iv) δ: 2π 3 Figure 2 : Generators of E 2.

4 4 AKIRA KANADA We define δ as follows. Consider the genus-two handlebody as a regular neighborhood of a sphere, centered at the origin, with three holes. The homeomorphism δ is a 2π/3 rotation of the handlebody about the vertical z-axis. See Figure 2. Scharlemann [11] showed that the group E 2 is generated by isotopy classes [α], [β], [γ] and [δ]. Correspondence of homology classes of (iv) and the others are as follows: < y 1 y 2 < < x 1 > x 1 x 2 > x2 > y 1 + y 2 2. Twisted cohomology group of E 2 We denote by A the ring Z or Z/nZ for an integer n 2, and set H A = H 1 (Σ g ; A). For a group G and a left G-module N, a map d : G N is called a crossed homomorphism if it satisfies d(gg ) = d(g) + gd(g ) for g, g G. Now let Z 1 (E g ; H A ) be the set of all crossed homomorphisms d : E g H A. Namely Z 1 (E g ; H A ) = {d : E g H A ; d(φψ) = d(φ) + φd(ψ), φ, ψ E g }. Let π : H A Z 1 (E g ; H A ) be the homomorphism defined by for u H A. Then as is well known we have π(u)(φ) = φu u H 1 (E g ; H A ) = Z 1 (E g ; H A )/ Im π (cf. K.S. Brown [10]). We consider the case g = 2. Then we have the homomorphism E 2 Aut(H 1 (Σ 2 ; Z)) induced by the action of the group E 2 on H 1 (Σ 2 ; Z). The action of α, β, γ, and δ is as follows: α : α (x i ) = x i and α (y i ) = y i (i = 1, 2). β : β (x 1 ) = x 1, β (x 2 ) = x 2, β (y 1 ) = y 1, β (y 2 ) = y 2. γ : γ (x 1 ) = x 2, γ (x 2 ) = x 1,γ (y 1 ) = y 2, γ (y 2 ) = y 1. δ : δ (x 1 ) = x 1 + x 2, δ (x 2 ) = x 1, δ (y 1 ) = y 2, δ (y 2 ) = y 1 y 2. For a group G and a left G-module N, the coinvariant N G is quotient module of N by the subgroup {gn n g G, n N}.

5 Lemma 2.1. A TWISTED FIRST HOMOLOGY GROUP OF THE GOERITZ GROUP OF S 3 5 H 1 (Σ 2 ) E2 = 0. Proof. Since we have α δ ( x 2 2 ) = x 1 x 2 and γ (x 1 ) = x 2, we obtain x 1 = x 2 = 0 H 1 (Σ 2 ) E2. And we have γ δ (y 2 1 ) = y 1 + y 2 and γ (y 1 ) = y 2. Hence we also obtain y 1 = y 2 = 0 H 1 (Σ 2 ) E2. Lemma 2.2. Let G i, H i and K be G-modules (i = 1, 2, 3), and let G 3 G 2 K G 1 0 and 0 H 1 K H 2 H 3 be exact sequences. If G 2 K H 2 is an isomorphism, then we have H 1 K G 1 is isomorphism. Proof. Now we have the following diagram. Set Φ = g 1 f 1 and Ψ = f 2 g 2. 0 G 3 g 3 G 2 H 2 g 2 f 2 K f 1 H 1 g 1 G 1 0 H 3 f 3... Note that g 2 is injective and f 2 is surjective if G 2 K H 2 is an isomorphism. Thus we have g 3 = 0 and f 3 = 0. Since Ψ is isomorphism, we have (Ψ 1 f 2 ) g 2 = id G2 and f 2 (g 2 Ψ 1 ) = id H2. Hence those exact sequences are split and we have H 1 H 2 K K : (h1, h 2 ) f 1 (h 1 ) + g 2 Ψ 1 (h 2 ), G 1 G 2 : A composition map H 1 H 2 K G 1 G 2 is k (g 1 (k), Ψ 1 f 2 (k)). (h 1, h 2 ) (g 1 (f 1 (h 1 ) + g 2 Ψ 1 (h 2 )), Ψ 1 f 2 (f 1 (h 1 ) + g 2 Ψ 1 (h 2 ))) = (g 1 f 1 (h 1 ) + g 1 g 2 Ψ 1 (h 2 ), Ψ 1 f 2 f 1 (h 1 ) + Ψ 1 f 2 g 2 Ψ 1 (h 2 )) = (Φ(h 1 ), Ψ 1 (h 2 )). Hence Ψ is an isomorphism.

6 6 AKIRA KANADA Lemma 2.3. In the case g = 2, we have H 1 (E 2 ; H A ) = {d Z 1 (E 2 ; H A ); d([δ]) 1 d([α]) 1 = d([γ]) 2 d([β]) 2 = d([γ]) 3 d([α]) 3 = d([β]) 4 d([δ]) 4 = 0}. Proof. Let f : Z 1 (E 2 ; H A ) A 4 be a homomorphism defined by f(d) = (d([δ]) 1 d([α]) 1, d([γ]) 2 d([β]) 2, d([γ]) 3 d([α]) 3, d([β]) 4 d([δ]) 4 ). Since we have αv v =( 2v 1, 2v 2, 2v 3, 2v 4 ), βv v =(0, 2v 2, 0, 2v 4 ), γv v =( v 1 v 2, v 1 v 2, v 3 v 4, v 3 v 4 ), δv v =( 2v 1 + v 2, v 1 v 2, v 3 + v 4, v 3 2v 4 ), the composition map f π : H A A 4 is written as f π(v) = (v 2, v 1 + v 2, v 3 v 4, v 3 ) for v H A. This map is an isomorphism. We have the following diagram. Ker f 0 0 H A π Z 1 (E 2 ; H A ) Coker π 0 By Lemma 2.2, we have = 0 A 4 f H 1 (E 2 ; H A ) = Z 1 (E 2 ; H A )/ Im π = Ker f. The group E 2 is generated by [α], [β], [γ], and [δ]. Therefore, all crossed homomorphisms d : E 2 H A are determined by the values d([α]), d([β]), d([γ]) and d([δ]). If d Z 1 (E 2, H A ), we can set d([α]) = ω 11 x 1 + ω 12 x 2 + ω 13 y 1 + ω 14 y 2, d([β]) = ω 21 x 1 + ω 22 x 2 + ω 23 y 1 + ω 24 y 2, d([γ]) = ω 31 x 1 + ω 32 x 2 + ω 33 y 1 + ω 34 y 2, d([δ]) = ω 41 x 1 + ω 42 x 2 + ω 43 y 1 + ω 44 y 2. Then we have H 1 (E 2 ; H A ) = {d Z 1 (E 2 ; H A ) ; ω 41 ω 11 = ω 32 ω 22 = ω 33 ω 13 = ω 24 ω 44 = 0}.

7 A TWISTED FIRST HOMOLOGY GROUP OF THE GOERITZ GROUP OF S relations of ω ij In this section we shall consider the case g = 2. We denote d([φ]) for φ E 2 simply by d(φ). Lemma 3.1. We have relations: { ω 11 + ω 12 = ω 31 + ω 32, ω 13 + ω 14 = ω 33 + ω 34. (1a) (1b) Proof. By the relations (αγ) 2 = 0 in (P1), we have d((αγ) 2 ) = 0. The equation d((αγ) 2 ) = d(αγ) + αγd(αγ) = d(α) + αd(α) + αγd(α) + αγαd(γ) = ω 11 x 1 + ω 12 x 2 + ω 13 y 1 + ω 14 y 2 + ( ω 31 x 1 ω 32 x 2 ω 33 y 1 ω 34 y 2 ) +ω 12 x 1 + ω 11 x 2 + ω 14 y 1 + ω 13 y 2 + ( ω 32 x 1 ω 31 x 2 ω 34 y 1 ω 33 y 2 ) = (ω 11 + ω 12 ω 31 ω 32 )x 1 + (ω 11 + ω 12 ω 31 ω 32 )x 2 +(ω 13 + ω 14 ω 33 ω 34 )y 1 + (ω 13 + ω 14 ω 33 ω 34 )y 2 = 0 holds. Hence, we obtain (1a) and (1b). Lemma 3.2. We have relations: 2ω 11 + ω 12 = 2ω 41, ω 11 + ω 12 = 2ω 42, ω 13 + ω 14 = 2ω 43, ω ω 14 = 2ω 44, (2a) (2b) (2c) (2d) Proof. By the relations αδα = δ in (P2), we have d(αδα) = d(δ) and d(αδα) = d(α) + αd(δ) + αδd(α) = ω 11 x 1 + ω 12 x 2 + ω 13 y 1 + ω 14 y 2 + ( ω 41 x 1 ω 42 x 2 ω 43 y 1 ω 44 y 2 ) +ω 11 (x 1 x 2 ) + ω 12 x 1 ω 13 y 2 + ω 14 (y 1 + y 2 ) = (2ω 11 ω 41 + ω 12 )x 1 + (ω 12 ω 42 ω 11 )x 2 +(ω 13 ω 43 + ω 14 )y 2 + (2ω 14 ω 44 ω 13 )y 2, d(δ) = ω 41 x 1 + ω 42 x 2 + ω 43 y 1 + ω 44 y 2. Comparing d(αδα) and d(δ), we obtain (2a) (2d). Lemma 3.3. We have relations: 2ω 21 = 2ω 23 = 0, 2ω 12 = 2ω 22, 2ω 14 = 2ω 24. (3a) (3b) (3c)

8 8 AKIRA KANADA Proof. By the relation αβα = β in (P2), we have d(αβα) = d(β) and d(αβα) = d(α) + αd(βα) = d(α) + αd(β) + αβd(α) = ω 11 x 1 + ω 12 x 2 + ω 13 y 1 + ω 14 y 2 ω 21 x 1 ω 22 x 2 ω 23 y 1 ω 24 y 2 ω 11 x 1 + ω 12 x 2 ω 13 y 1 + ω 14 y 2 = ω 21 x 1 + (2ω 12 ω 22 )x 2 ω 23 y 1 + (2ω 14 ω 24 )y 2, d(β) = ω 21 x 1 + ω 22 x 2 + ω 23 y 2 + ω 24 y 2. Comparing d(αβα) and d(β), we obtain (3a) (3c). Lemma 3.4. We have relations: ω 31 ω 32 ω 22 = ω 11 + ω 21, ω 32 + ω 31 ω 21 = ω 12 ω 22, ω 33 ω 34 ω 24 = ω 13 + ω 23, ω 34 + ω 33 ω 23 = ω 14 ω 24. (4a) (4b) (4c) (4d) Proof. By the relation γβγ = αβ in (P3), we have d(γβγ) = d(αγ) and d(γβγ) = d(γ) + γd(βγ) = d(γ) + γd(β) + γβd(γ) = ω 31 x 1 + ω 32 x 2 + ω 33 y 1 + ω 34 y 2 ω 21 x 2 ω 22 x 1 ω 23 y 2 ω 24 y 1 +ω 31 x 2 ω 32 x 1 + ω 33 y 2 ω 34 y 1 = (ω 31 ω 32 ω 22 )x 1 + (ω 31 + ω 32 ω 21 )x 2 +(ω 33 ω 34 ω 24 )y 1 + (ω 33 + ω 34 ω 23 )y 2, d(αβ) = d(α) + αd(β) = (ω 11 + ω 21 )x 1 + (ω 12 ω 22 )x 2 + (ω 13 ω 23 )y 1 + (ω 14 + ω 24 )y 2. Comparing d(γβγ) and d(αβ), we obtain (4a) (4d). Lemma 3.5. We have relations: { 2ω 31 + ω 32 = 2ω 41 + ω 42, (5a) ω 33 = ω 43. (5b)

9 A TWISTED FIRST HOMOLOGY GROUP OF THE GOERITZ GROUP OF S 3 9 Proof. By the relation γδ 2 γ = δ in (P3), we have d(γδ 2 γ) = d(δ) and d(γδ 2 γ) = d(γ) + γd(δ 2 γ) = d(γ) + γd(δ) + γδd(δ) + γδ 2 d(γ) = ω 31 x 1 + ω 32 x 2 + ω 33 y 1 + ω 34 y 2 ω 42 x 1 ω 41 x 2 ω 44 y 1 ω 43 y 2 ω 41 x 1 + (ω 41 + ω 42 )x 2 + ( ω 43 + ω 44 )y 1 + ω 44 y 2 +(ω 31 + ω 32 )x 1 ω 32 x 2 + ω 33 y 1 + (ω 33 ω 34 )y 2 = (2ω 31 ω 41 ω 42 + ω 32 )x 1 + ω 42 x 2 +(2ω 33 ω 43 )y 1 + (ω 33 + ω 44 ω 43 )y 2, d(δ) = ω 41 x 1 + ω 42 x 2 + ω 43 y 2 + ω 44 y 2. Comparing d(γδ 2 γ) and d(δ), we obtain (5a) and (5b). By Lemma 3.1, 3.2, 3.3, 3.4 and 3.5, we obtain the following equations. { 2ω 11 + ω 12 = 2ω 41, (2a) ω 11 + ω 12 = ω 31 + ω 32, (1a) ω 11 + ω 12 = 2ω 42, (2b) ω 13 + ω 14 = ω 33 + ω 34, (1b) ω 13 + ω 14 = 2ω 43, (2c) ω ω 14 = 2ω 44, (2d) 2ω 21 = 2ω 23 = 0, 2ω 12 = 2ω 22, 2ω 14 = 2ω 24, (3a) (3b) (3c) { 2ω 31 + ω 32 = 2ω 41 + ω 42, (5a) ω 33 = ω 43. (5b) ω 31 ω 32 ω 22 = ω 11 + ω 21, ω 31 + ω 32 ω 21 = ω 12 ω 22, ω 33 ω 34 ω 24 = ω 13 + ω 23, ω 34 + ω 33 ω 23 = ω 14 ω 24, (4a) (4b) (4b) (4b) 4. Calculation of cohomology In this section we prove that H 1 (E 2 ; H A ) = Hom((Z/2Z) 2, A). The universal coefficient theorem implies H 1 (E 2 ; H 1 (Σ 2 )) = (Z/2Z) 2. To determine the twisted first cohomology group of E 2, we solve equations (1a) (5b) and the condition d Ker f, i.e. ( ) ω 41 ω 11 = ω 32 ω 22 = ω 33 ω 13 = ω 24 ω 44 = 0. Lemma 4.1. We have a relation of Ker f : ω 12 = 0. Proof. Using (2a) and ω 11 = ω 41 by ( ), we obtain ω 12 = 0.

10 10 AKIRA KANADA Lemma 4.2. The elements ω 21, ω 22, ω 31, ω 32 and ω 42 have order 2 and ω 22 = ω 31 = ω 32 = ω 21 = ω 42. Proof. By (2a) and (2b), we have ω ω 12 = 2ω ω 42. By (5a) we have 2ω ω 42 = 2ω 31 + ω 32 + ω 42. Using these two equations and (1a), we have ω 12 = ω 31 + ω 42. Since ω 12 = 0, the equation holds. Using (2b) and Lemma 4.1, we obtain The equation holds. So we obtain We have ω 31 + ω 42 = 0 (4.2.1) ω ω 42 = 0. (4.2.2) ω 31 + ω 32 (1a) = ω 11 + ω 12 (Lem4.1) = ω 11 (4.2.2) = 2ω 42 (4.2.1) = 2ω 31 ω 31 ω 32 = 0. (4.2.3) ω 21 (4a) = ω 31 ω 32 ω 11 ω 22 (4.2.3) = ω 11 ω 22 ( ) = 2ω 22 ω 22 = 3ω 22 (3b) = ω 22 2ω 12 (Lem4.1) = ω 22. Here, ( ) is the equation ω 11 = 2ω 22. This equation is obtained as follows: ω 11 (4.2.2) = ω 42 (4.2.1) = 2ω 31 (4.2.3) = 2ω 32 ( ) = 2ω 22. By (3b) and Lemma4.1, we have 2ω 22 = 0. Hence we obtain 2ω 21 = 2ω 22 = 0. From the results of Lemma 4.2 and (4.2.2), we have Lemma 4.3. We have a relation: ω 11 ( ) = ω 41 = 0. ω 13 = ω 14 = ω 33 = ω 34 = ω 43 = 0.

11 A TWISTED FIRST HOMOLOGY GROUP OF THE GOERITZ GROUP OF S 3 11 Proof. By (5b) and ( ), we obtain ω 13 = ω 33 = ω 43 = ω 14. Using this equation and (1b), we have ω 14 = ω 34. So the equation ω 13 = ω 33 = ω 43 = ω 14 = ω 34 (4.3.1) holds. The equation 2ω 44 (2d) = 2ω 14 ω 13 (4.3.1) = ω 14 holds. Hence we have 4ω 44 = 2ω 14 (3c) = 2ω 24 ( ) = 2ω 44. So we obtain 2ω 44 = 0. Since the equation 2ω 44 = ω 14 holds, we complete the proof of Lemma 4.3. Lemma 4.4. The elements ω 23, ω 24 and ω 44 have order 2 and are equal to each other: ω 23 = ω 24 = ω 44, 2ω 23 = 0. Proof. By (3a), the element ω 23 have order 2. Since the equation ω 24 (4b) = ω 14 ω 33 ω 34 + ω 23 (Lem4.3) = ω 23 holds, we obtain ω 23 = ω 24 ( ) = ω 44. Proof of Theorem 1.1. From Lemmas 3,7, 4.1, 4.2, 4.3 and 4.4, we have d(α) = 0, d(β) = ω 22 ( x 1 + x 2 ) + ω 23 (y 1 + y 2 ), d(γ) = ω 22 (x 1 + x 2 ), d(δ) = ω 42 x 2 + ω 23 y 2, where ω 22 = ω 42 and 2ω 22 = 2ω 23 = 0. Hence it follows So we obtain H 1 (E 2 ; H A ) = Ker f = {(ω 22, ω 23 ) A 2 ; 2ω 22 = 2ω 23 = 0}. H 1 (E 2 ; H 1 (Σ 2 )) = (Z/2Z) 2. This isomorphism follows from the short exact sequence 0 Ext(H 0 (E 2 ; H 1 (Σ 2 )), A) H 1 (E 2 ; H A ) Hom(H 1 (E 2 ; H 1 (Σ 2 )), A) 0 since we have H 0 (E 2 ; H 1 (Σ 2 )) = H 1 (Σ 2 ) E2 = 0 by Lemma 2.1. we complete the proof of Theorem 1.1.

12 12 AKIRA KANADA References [1] Wajnryb, Bronistaw. Mapping class group of a handlebody. Fundamenta Mathematicae (1998): [2] M.Dehn. Die gruppe der abdildungsklassen. Acta Math. 69 (1938), [3] Akbas, Erol. A presentation for the automorphisms of the 3-sphere that preserve a genus two Heegaard splitting. Pacific Journal of Mathematics (2008): [4] Bonahon, Francis. Difféotopies des espaces lenticulaires. Topology 22.3 (1983): [5] Bonahon, Francis, and Jean-Pierre Otal. Scindements de Heegaard des espaces lenticulaires. Annales [6] Waldhausen, Friedhelm. Heegaard-Zerlegungen der 3-sphäre. Topology 7.2 (1968): [7] Tomohiko Ishida and Masatoshi Sato. A twisted first homology group of the handlebody mapping class group arxiv preprint arxiv: v1 (2015). [8] Powell, Jerome. Homeomorphisms of S 3 leaving a Heegaard surface invariant. Transactions of the American Mathematical Society (1980): [9] Harer, John. The second homology group of the mapping class group of an orientable surface. Inventiones Mathematicae 72.2 (1983): [10] Brown, Kenneth S. Cohomology of groups. Vol. 87. Springer Science & Business Media, [11] Scharlemann, Martin. Automorphisms of the 3-sphere that preserve a genus two Heegaard splitting. arxiv preprint math/ (2003). [12] Cho, Sangbum. Genus-two Goeritz groups of lens spaces. Pacific Journal of Mathematics (2013): [13] Cho, Sangbum, and Yuya Koda. The genus two Goeritz group of S 2 times S 1. arxiv preprint arxiv: (2013). [14] Cho, Sangbum, and Yuya Koda. The Goeritz groups of Heegaard splittings for 3-manifolds. [15] Cho, Sangbum, and Yuya Koda. Connected primitive disk complexes and genus two Goeritz groups of lens spaces. International Mathematics Research Notices (2016): rnv399. [16] Humphries, Stephen P. Generators for the mapping class group. Topology of low-dimensional manifolds. Springer Berlin Heidelberg, [17] Hirose, Susumu. Homeomorphisms of a 3-dimensional handlebody standardly embedded in S3. Proceedings of Knot 96 (1997): [18] Morita, Shigeyuki. Families of Jacobian manifolds and characteristic classes of surface bundles. I. Annales de l institut Fourier. Vol. 39. No Scientifiques de l École Normale Superieure. Vol. 16. No [19] Lickorish, WB Raymond. A representation of orientable combinatorial 3-manifolds. Annals of Mathematics (1962): [20] Lickorish, William Bernard Raymond. A finite set of generators for the homeotopy group of a 2-manifold. Mathematical Proceedings of the Cambridge Philosophical Society. Vol. 60. No. 04. Cambridge University Press, (Akira Kanada) Department of Mathematics, Tokyo Institute of Technology, Oh-okayama, Meguro, Tokyo , Japan address: kanada.a.aa@m.titech.ac.jp