Linearity of some low-complexity mapping class groups

DOI10.1515/FORUM-2019-0184MaRDI QIDQ2309628zbMATH OpenOpenAlexWikidataFDO

Authors Ignat Soroko

Publication date 1 April 2020

Published in Forum Mathematicum (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1903.12567

zbMATH Keywords

linearitymapping class grouppresentation

Mathematics Subject Classification ID

2-dimensional topology (including mapping class groups of surfaces, Teichmüller theory, curve complexes, etc.) (57K20) Topological methods in group theory (57M07)

Abstract: By analyzing known presentations of the pure mapping groups of orientable surfaces of genus $g$ with $b$ boundary components and $n$ punctures, we show that these groups are isomorphic to some groups related to the braid groups and the Artin group of type $D_4$ in the cases when $g=0$ with $b$ and $n$ arbitrary, and when $g=1$ and $b+n$ is at most $3$. As a corollary, we conclude that the pure mapping class groups are linear in these cases.

Review text

Let \(S_{g,b,n}\) denote the orientable surface of genus \(g\) with \(b\) boundary components and \(n\) punctures. Let \(PMod_{g,b,n}\) denote the pure mapping class group of orientation-preserving diffeomorphisms of \(S_{g,b,n}\) identical on the boundary and not permuting punctures, up to the isotopies identical on the boundary and not permuting punctures. In the paper under review, the author examines the lower genus cases, these are \(g=0\), \(b>1\) and \(g=1\), \(n+b \leq 3\). The author starts with the \(g=0\) case and provides a simple proof for the description of the group \(PMod_{0,b,n}\) when \(b>1\), using the capping homomorphism lemma [\textit{B. Farb} and \textit{D. Margalit}, A primer on mapping class groups. Princeton, NJ: Princeton University Press (2011; Zbl 1245.57002)]. For the \(g=1\) case, he begins with analyzing the presentation of \(PMod_{1,3,0}\) that Gervais obtained [\textit{S. Gervais}, Topology 40, No. 4, 703--725 (2001; Zbl 0992.57013)] and sees that it is isomorphic to \(A(D_4) \times \mathbb{Z}^3\) modulo a star relation. Then reducing one generator using the relations of the presentation, he obtains that \(PMod_{1,3,0}\) is isomorphic to \(A(D_4) \times \mathbb{Z}^2\). Applying the capping homomorphism lemma several times, he shows that \(PMod_{1,2,1}\), \(PMod_{1,1,2}\), and \(PMod_{1,0,3}\) are isomorphic to \(A(D_4) \times \mathbb{Z}\), \(A(D_4)\), \(A(D_4)/ Z(A(D_4)) \), respectively. Then using similar arguments, he shows that \(PMod_{1,2,0}\), \(PMod_{1,1,1}\), \(PMod_{1,0,2}\) are isomorphic to \(B_4 \times \mathbb{Z}\), \(B_4 \), \(B_4 / Z(B_4) \) respectively. A representation of a group is a homomorphism from the group into a group of matrices. A representation is faithful if it is one-to-one. A group is linear if it has a faithful representation. Using the isomorphic groups he obtained for the desciption of \(PMod_{0,b,n}\) when \(b>1\), and of \(PMod_{1,b,n}\) when \(n+b \leq 3\), the author concludes that in these cases, \(PMod_{g,b,n}\) is linear, giving an answer to the linearity problem [\textit{J. S. Birman}, Proc. Sympos. Pure Math. 74, 133--149 (2006; Zbl 1304.57033)] for these lower genus cases. Finally, as another application, he gives a negative answer to a question by \textit{H. Hamidi-Tehrani} [Algebr. Geom. Topol. 2, 1155--1178 (2002; Zbl 1023.57001)], asking whether a subgroup of \(PMod_{1,2,0}\) generated by a certain combination of Dehn twists is free of rank 2.

Recommendations

• Mapping class groups of nonorientable surfaces
• Outer automorphisms of mapping class groups of nonorientable surfaces
• The unstable integral homology of the mapping class groups of a surface with boundary
• Schur-type invariants of branched G-covers of surfaces
• On a universal mapping class group of genus zero
• scientific article; zbMATH DE number 66519
• Generating mapping class groups of nonorientable surfaces with boundary
• The mapping class group of a punctured surface is generated by three elements
• A presentation for the mapping class group of a nonorientable surface
• Automorphism groups of punctured surfaces

Cites work

• A finite presentation of the mapping class group of a punctured surface
• Artin-Gruppen und Coxeter-Gruppen
• Braid groups are linear
• Braid groups are linear
• Groups generated by positive multi-twists and the fake lantern problem
• scientific article; zbMATH DE number 1032970 (Why is no real title available?)
• scientific article; zbMATH DE number 3411305 (Why is no real title available?)
• Linearity of Artin groups of finite type.
• On the linearity of Artin braid groups.
• Presentations for the punctured mapping class groups in terms of Artin groups
• The second homology group of the mapping class group of an orientable surface
• The topology of 3-manifolds, Heegaard distance and the mapping class group of a 2-manifold

Cited in

(7)

• The compatibility of the filtration of mapping class groups of two surfaces pasted along the boundaries
• Artin groups of types \(F_4\) and \(H_4\) are not commensurable with that of type \(D_4\)
• Property \(R_\infty\) for some spherical and affine Artin-Tits groups
• On visualization of the linearity problem for mapping class groups of surfaces
• On the linearity of certain mapping class groups
• Mapping class groups are linear
• Low‐dimensional linear representations of mapping class groups

This page was built for publication: Linearity of some low-complexity mapping class groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2309628)