arXiv:1601.06096v1 [math.GT] 22 Jan 2016 Abstract. Let N g denote a - - PDF document

ROOTS OF CROSSCAP SLIDES AND CROSSCAP TRANSPOSITIONS

ANNA PARLAK MICHA L STUKOW

• Abstract. Let Ng denote a closed nonorientable surface of genus g. For

g ≥ 2 the mapping class group M(Ng) is generated by Dehn twists and

• ne 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 Ng,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(Ng,n) consists of isotopy classes of self–homeomorphisms of Ng fixing boundary components pointwise. By abuse of notation we identify a homeomorphism with its isotopy class. In the case of orientable surface Sg the mapping class group M(Sg) is generated by Dehn twists [1]. Lickorish proved that Dehn twists alone do not generate M(Ng). 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(Ng) 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 Sg 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(Ng) when g ≥ 5.

• 2. Preliminaries

2.1. Crosscap transpositions and crosscap slides. Let N = Ng 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

• ne–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

arXiv:1601.06096v1 [math.GT] 22 Jan 2016

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 Ng as a connected sum of g projective planes (Figure 3). Let us enumerate the crosscaps from 1 to g.

α1 α2 μ1 μ2 μ3 μ5 α3 α5

Figure 3. Nonorientable surface Ng. 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

• ai = tαi for i = 1, . . . , g − 1
• ui = Uµi+1,αi for i = 1, . . . , g − 1
• yi = Yµi+1,αi = aiui 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(Ng) is given in [4, 5]. Among others, the following relations hold in M(Ng):

• uiuj = ujui for i, j = 1, . . . , g − 1, |i − j| > 1
• uiui+1ui = ui+1uiui+1 for i, j = 1, . . . , g − 2
• (u1 . . . ug−1)g = 1
• aiuj = ujai and hence yiuj = ujyi for i, j = 1, . . . , g − 1, |i − j| > 1
• (u2

1u2 . . . ug−1)g−1 = 1

The last equality is the consequence of the first three relations, because (u2

1u2 . . . ug−1)g−1 = (u1 . . . ug−1)g.

Note that (u1 . . . ug−1)g = (u2

1u2 . . . ug−1)g−1 = t∂Ng,1 in M(Ng,1), hence

(u1 . . . ug−1)g is nontrivial in M(Ng,1).

• 3. Roots of crosscap slides and crosscap transpositions

Let Ng be a nonorientable surface of genus g ≥ 5. Let δ be a curve in Ng with two crosscaps, numbered 1 and 2, on one side and g − 2 crosscaps

• n the other, numbered from 3 to g. The curve δ splits the surface Ng into

two subsurfaces N2,1 and Ng−2,1 each of which has δ as a boundary. Then u2

1 = y2 1 = tδ. Note that u1 and y1 commute with each of the elements

u3, . . . ug−1. Proposition 3.1. Every crosscap slide and crosscap transposition in M(Ng), 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 in the counterclockwise direction from 4 to g. Then (u2

3u4 . . . ug−1)g−3 = tδ.

Let p, q ∈ Z be such that 2p + q(g − 3) = 1. u2

1 = (u2 3u4 . . . ug−1)g−3

u2p

1 = (u2 3u4 . . . ug−1)p(g−3)

u1 = ((u2

3u4 . . . ug−1)puq 1)g−3.

Analogously, y1 = ((u2

3u4 . . . ug−1)pyq 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 (u3 . . . ug−1)g−2 = tδ. Let r, s ∈ Z be such that 2r+s(g−2) = 1. u2

1 = (u3 . . . ug−1)g−2

u2r

1 = (u3 . . . ug−1)r(g−2)

u1 = ((u3 . . . ug−1)rus

1)g−2

Analogously, y1 = ((u3 . . . ug−1)rys

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 M(N2), because M(N2) = a1, y1|a2

1 = y2 1 = (a1y1)2 = 1 = a1, u1| a2 1 =

u2

1 = (a1u1)2 = 1 ∼

= Z2 ⊕ Z2 [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