ROOTS OF CROSSCAP SLIDES AND CROSSCAP TRANSPOSITIONS ANNA PARLAK MICHA� L STUKOW arXiv:1601.06096v1 [math.GT] 22 Jan 2016 Abstract. Let N g denote a closed nonorientable surface of genus g . For g ≥ 2 the mapping class group M ( N g ) is generated by Dehn twists and one crosscap slide ( Y –homeomorphism) or by Dehn twists and a crosscap transposition. Margalit and Schleimer observed that Dehn twists have nontrivial roots. We construct roots of crosscap slides and crosscap transpositions. 1. Introduction Let N g,n be a closed, connected, nonorientable surface of genus g with n boundary components. If n = 0 we omit it in notation. The mapping class group M ( N g,n ) consists of isotopy classes of self–homeomorphisms of N g fixing boundary components pointwise. By abuse of notation we identify a homeomorphism with its isotopy class. In the case of orientable surface S g the mapping class group M ( S g ) is generated by Dehn twists [1]. Lickorish proved that Dehn twists alone do not generate M ( N g ). This group is generated by Dehn twists and one Y –homeomorphism [2] (it is also known under the name of a crosscap slide which we will use in this paper). A presentation for M ( N g ) using these generators was obtained by Stukow [5]. This presentation was derived from the presentation given by Paris and Szepietowski [4], which used Dehn twists and g − 1 crosscap transpositions as generators. Margalit and Schleimer showed that every Dehn twist in the mapping class group of a closed, connected, orientable surface S g of genus g ≥ 2 has a nontrivial root [3]. The goal of this paper is to construct roots of crosscap slides and crosscap transpositions in M ( N g ) when g ≥ 5. 2. Preliminaries 2.1. Crosscap transpositions and crosscap slides. Let N = N g be a nonorientable surface of genus g ≥ 2. Let α and µ be two simple closed curves in N intersecting in one point, such that α is two–sided and µ is one–sided. A regular neighborhood of µ ∪ α is homeomorphic to the Klein bottle with a hole. We denote it by K . 2000 Mathematics Subject Classification. Primary 57N05; Secondary 20F38, 57M99. Key words and phrases. Mapping class group, nonorientable surface, Y –homeomorphism, crosscap slide, crosscap transposition, roots. 1
2 ANNA PARLAK MICHA� L STUKOW By t α we denote a Dehn twist about α . We indicate the direction of this twist by arrows on the two sides of the curve α (see Figure 1). We represent crosscaps as shaded disks. In Figure 1 there is a homeomor- phism of K which interchanges two crosscaps keeping the boundary of K fixed. It may be extended by the identity to a homeomorphism of N which we call a crosscap transposition and denote by U µ,α [4]. μ U μ , α α ∂ K Figure 1. Crosscap transposition. In Figure 2 a crosscap slide Y µ,α is shown. We define it to be a composition Y µ,α = t α U µ,α [4]. Note that Y 2 µ,α = t ∂K and U 2 µ,α = t ∂K [6]. μ Y μ , α α ∂ K Figure 2. Crosscap slide. 2.2. Notation. We represent N g as a connected sum of g projective planes (Figure 3). Let us enumerate the crosscaps from 1 to g . μ 1 μ 2 μ 3 μ 5 α 1 α 3 α 5 α 2 Figure 3. Nonorientable surface N g . For the rest of the paper we take the following notation:
ROOTS OF CROSSCAP SLIDES AND CROSSCAP TRANSPOSITIONS 3 • for i = 1 , . . . , g we denote by µ i a one–sided simple closed curve passing once through the crosscap labelled with i • for i = 1 , . . . , g − 1 we denote by α i a two–sided simple closed curve passing once through each of the crosscaps labelled with i and i + 1 • a i = t α i for i = 1 , . . . , g − 1 • u i = U µ i +1 ,α i for i = 1 , . . . , g − 1 • y i = Y µ i +1 ,α i = a i u i for i = 1 , . . . , g − 1 2.3. Relations in the mapping class group of a nonorientable sur- face of genus g ≥ 5. A full presentation for M ( N g ) is given in [4, 5]. Among others, the following relations hold in M ( N g ): • u i u j = u j u i for i, j = 1 , . . . , g − 1 , | i − j | > 1 • u i u i +1 u i = u i +1 u i u i +1 for i, j = 1 , . . . , g − 2 • ( u 1 . . . u g − 1 ) g = 1 • a i u j = u j a i and hence y i u j = u j y i for i, j = 1 , . . . , g − 1 , | i − j | > 1 1 u 2 . . . u g − 1 ) g − 1 = 1 • ( u 2 The last equality is the consequence of the first three relations, because 1 u 2 . . . u g − 1 ) g − 1 = ( u 1 . . . u g − 1 ) g . ( u 2 Note that ( u 1 . . . u g − 1 ) g = ( u 2 1 u 2 . . . u g − 1 ) g − 1 = t ∂N g, 1 in M ( N g, 1 ), hence ( u 1 . . . u g − 1 ) g is nontrivial in M ( N g, 1 ). 3. Roots of crosscap slides and crosscap transpositions Let N g be a nonorientable surface of genus g ≥ 5. Let δ be a curve in N g with two crosscaps, numbered 1 and 2, on one side and g − 2 crosscaps on the other, numbered from 3 to g . The curve δ splits the surface N g into two subsurfaces N 2 , 1 and N g − 2 , 1 each of which has δ as a boundary. Then u 2 1 = y 2 1 = t δ . Note that u 1 and y 1 commute with each of the elements u 3 , . . . u g − 1 . Proposition 3.1. Every crosscap slide and crosscap transposition in M ( N g ) , g ≥ 5 , has a nontrivial root. 3.1. Surfaces of even genus. If g is even, we arrange remaining g − 2 crosscaps in such a way that one of them, numbered with 3, is in the middle and the other crosscaps are located around the central one. We number them 3 u 4 . . . u g − 1 ) g − 3 = t δ . in the counterclockwise direction from 4 to g . Then ( u 2 Let p, q ∈ Z be such that 2 p + q ( g − 3) = 1. u 2 1 = ( u 2 3 u 4 . . . u g − 1 ) g − 3 u 2 p 1 = ( u 2 3 u 4 . . . u g − 1 ) p ( g − 3) u 1 = (( u 2 3 u 4 . . . u g − 1 ) p u q 1 ) g − 3 . 3 u 4 . . . u g − 1 ) p y q Analogously, y 1 = (( u 2 1 ) g − 3 .
4 ANNA PARLAK MICHA� L STUKOW 3.2. Surfaces of odd genus. If g is odd, we arrange remaining g − 2 crosscaps in a circle. We number them in the counterclockwise direction from 3 to g . Then ( u 3 . . . u g − 1 ) g − 2 = t δ . Let r, s ∈ Z be such that 2 r + s ( g − 2) = 1. u 2 1 = ( u 3 . . . u g − 1 ) g − 2 u 2 r 1 = ( u 3 . . . u g − 1 ) r ( g − 2) u 1 = (( u 3 . . . u g − 1 ) r u s 1 ) g − 2 Analogously, y 1 = (( u 3 . . . u g − 1 ) r y s 1 ) g − 2 . Remark 3.2 . In both even and odd case, using similar ideas, it is possible to construct more roots if g − 2 or g − 3 has nontrivial odd divisors. Remark 3.3 . Crosscap slides and a crosscap transpositions are primitive in 1 = ( a 1 y 1 ) 2 = 1 � = � a 1 , u 1 | a 2 M ( N 2 ), because M ( N 2 ) = � a 1 , y 1 | a 2 1 = y 2 1 = 1 = ( a 1 u 1 ) 2 = 1 � ∼ u 2 = Z 2 ⊕ Z 2 [2] References [1] W. B. R. Lickorish. A representation of orientable combinatorial 3-manifolds. Ann. of Math. , 76:531–540, 1962. [2] W. B. R. Lickorish. Homeomorphisms of non–orientable two–manifolds. Math. Proc. Cambridge Philos. Soc. , 59:307–317, 1963. [3] D. Margalit and S. Schleimer. Dehn twists have roots. Geom. Topol. , 13(3):1495–1497, 2009. [4] L. Paris and B. Szepietowski. A presentation for the mapping class group of a nonori- entable surface. Bull. Soc. Math. France. , 143:503–566, 2015. [5] M. Stukow. A finite presentation for the mapping class group of a nonorientable sur- face with Dehn twists and one crosscap slide as generators. J. Pure Appl. Algebra , 218(12):2226–2239, 2014. [6] B. Szepietowski. The mapping class group of a nonorientable surface is generated by three elements and by four involutions. Geom. Dedicata , 117:1–9, 2006. Institute of Mathematics, University of Gda´ nsk, Wita Stwosza 57, 80-952 Gda´ nsk, Poland E-mail address : anna.parlak@gmail.com, trojkat@mat.ug.edu.pl
Recommend
More recommend