The mapping class group of a genus two surface is linear

From MaRDI portal



Abstract: In this paper we construct a faithful representation of the mapping class group of the genus two surface into a group of matrices over the complex numbers. Our starting point is the Lawrence-Krammer representation of the braid group B_n, which was shown to be faithful by Bigelow and Krammer. We obtain a faithful representation of the mapping class group of the n-punctured sphere by using the close relationship between this group and B_{n-1}. We then extend this to a faithful representation of the mapping class group of the genus two surface, using Birman and Hilden's result that this group is a Z_2 central extension of the mapping class group of the 6-punctured sphere. The resulting representation has dimension sixty-four and will be described explicitly. In closing we will remark on subgroups of mapping class groups which can be shown to be linear using similar techniques.


A group is called linear if there is a faithful representation i.e., an injective group homomorphism into the group of invertible matrices over some commutative ring. \textit{S. J. Bigelow} [J. Am. Math. Soc. 14, No. 2, 471-486 (2001; Zbl 0988.20021)] and independently \textit{D. Krammer} [Braid groups are linear, Ann. Math (2) 155, No.~1, 131-156 (2002)] showed that a representation of the braid groups constructed by Lawrence is faithful. The braid group on \(k\) strands can be defined as the mapping class group of a \(k\)-punctured disk. The question arises whether other mapping class groups are linear.NEWLINENEWLINENEWLINEThe authors show that the mapping class groups of punctured spheres are linear. These groups are quotients of braid groups by a central \(Z\). The representations for the latter is easily adapted.NEWLINENEWLINENEWLINEThe hyperelliptic mapping class group of a closed genus \(g\) surface is an extension of the mapping class group of the sphere with \(2g + 2\) punctures by the hyperelliptic involution. The involution can be detected by the standard symplectic representation, and hence hyperelliptic mapping class groups are linear. For genus 2, as is well known, the hyperelliptic mapping class group is the full mapping class group. Hence the result of the title. NEWLINENEWLINENEWLINEThe results and methods of the paper are the same as those in [\textit{M. Korkmaz}, Turk. J. Math. 24, No.~4, 367-371 (2000; Zbl 0965.57013)], albeit there is an improvement on the dimensions of the representations.




Cited in
(30)








This page was built for publication: The mapping class group of a genus two surface is linear

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