We exhibit a finitely generated group $\M$ whose rational homology is isomorphic to the rational stable homology of the mapping class group. It is defined as a mapping class group associated to a surface $\su$ of infinite genus, and contains all the pure mapping class groups of compact surfaces of genus $g$ with $n$ boundary components, for any $g\geq 0$ and $n>0$. We construct a representation of $\M$ into the restricted symplectic group ${\rm Sp_{res}}({\cal H}_r)$ of the real Hilbert space generated by the homology classes of non-separating circles on $\su$, which generalizes the classical symplectic representation of the mapping class groups. Moreover, we show that the first universal Chern class in $H^2(\M,\Z)$ is the pull-back of the Pressley-Segal class on the restricted linear group ${\rm GL_{res}}({\cal H})$ via the inclusion ${\rm Sp_{res}}({\cal H}_r)\subset {\rm GL_{res}}({\cal H})$.
In this paper, we calculate the p-torsion of the Farrell cohomology for low genus pure mapping class groups with punctures, where p is an odd prime. Here, `low genus' means g=1,2,3; and `pure mapping class groups with punctures' means the mapping class groups with any number of punctures, where the punctures are not allowed to be permuted. These calculations use our previous results about the periodicity of pure mapping class groups with punctures, as well as other cohomological tools. The low genus cases are interesting because we know that the high genus cases can be reduced to the low genus…
We prove that the first integral cohomology of pure mapping class groups of infinite type genus one surfaces is trivial. For genus zero surfaces we prove that not every homomorphism to $\mathbb{Z}$ factors through a sphere with finitely many punctures. In fact we get an uncountable family of such maps.
We report on the computation of the integral homology of the mapping class group of genus g surfaces with one boundary curve and m punctures, when 2g + m is smaller than 6. In particular, it includes the genus 2 case with no or one puncture.
In this note we give presentations of all finite subgroups of the mapping class group of a closed surface of genus 2 by the Humphries generators up to conjugacy.
We prove that the hyperelliptic mapping class group of a nonorientable surface of genus $g\geq 4$ has a faithful linear representation of dimension $g^2-1$ over $\mathbb{R}$.
We prove that for genus $g=3,4$, the extended mapping class group $\text{Mod}^{\pm}(S_g)$ can be generated by two elements of finite orders. But for $g=1$, $\text{Mod}^{\pm}(S_1)$ cannot be generated by two elements of finite orders.
We determine the first homology group with coefficients in $H_1(N;\mathbb{Z})$ for the mapping class group of a non-orientable surface $N$ of genus three with two boundary components.
The manifold which admits a genus-$2$ reducible Heegaard splitting is one of the $3$-sphere, $\mathbb{S}^2 \times \mathbb{S}^1$, lens spaces and their connected sums. For each of those manifolds except most lens spaces, the mapping class group of the genus-$2$ splitting was shown to be finitely presented. In this work, we study the remaining generic lens spaces, and show that the mapping class group of the genus-$2$ Heegaard splitting is finitely presented for any lens space by giving its explicit presentation. As an application, we show that the fundamental groups of the spaces of the genus-$…
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 …
In this paper we apply the theory of finitely generated FI-modules developed by Church, Ellenberg and Farb to certain sequences of rational cohomology groups. Our main examples are the cohomology of the moduli space of n-pointed curves, the cohomology of the pure mapping class group of surfaces and some manifolds of higher dimension, and the cohomology of classifying spaces of some diffeomorphism groups. We introduce the notion of FI[G]-module and use it to strengthen and give new context to results on representation stability discussed by the author in a previous paper. Moreover, we prove tha…
Finite presentations for the mapping class group M(F) are known for arbitrary orientable compact surface F. If F is non-orientable, then such presentations are known only when F has genus at most 3 and few boundary components. In this paper we obtain finite presentation for the mapping class group of the closed non-orientable surface of genus 4 from its action on the so called ordered complex of curves.
Let Mod_g be the mapping class group of a genus g >= 2 surface. The group Mod_g has virtual cohomological dimension 4g-5. In this note we use a theorem of Broaddus and the combinatorics of chord diagrams to prove that H^{4g-5}(Mod_g; Q) = 0.
The aim of this paper is to introduce a group containing the mapping class groups of all genus zero surfaces. Roughly speaking, such a group is intended to be a discrete analogue of the diffeomorphism group of the circle. One defines indeed a {\it universal mapping class group of genus zero}, denoted $\B$. The latter is a nontrivial extension of the Thompson group $V$ (acting on the Cantor set) by an inductive limit of pure mapping class groups of all genus zero surfaces. We prove that $\B$ is a finitely presented group, and give an explicit presentation of it.
In this paper we conjecture the stability and vanishing of a large piece of the unstable rational cohomology of SL_n Z, of mapping class groups, and of Aut(F_n).
We study the topology of a space parametrizing stable tropical curves of genus g with volume 1, showing that its reduced rational homology is canonically identified with both the top weight cohomology of M_g and also with the genus g part of the homology of Kontsevich's graph complex. Using a theorem of Willwacher relating this graph complex to the Grothendieck-Teichmueller Lie algebra, we deduce that H^{4g-6}(M_g;Q) is nonzero for g=3, g=5, and g at least 7. This disproves a recent conjecture of Church, Farb, and Putman as well as an older, more general conjecture of Kontsevich. We also give …
A complex of incompressible surfaces in a handlebody is constructed so that it contains, as a subcomplex, the complex of curves of the boundary of the handlebody. For genus 2 handlebodies, the group of automorphisms of this complex is used to characterize the mapping class group of the handlebody. In particular, it is shown that all automorphisms of the complex of incompressible surfaces are geometric, that is, induced by a homeomorphism of the handlebody.
In this paper we prove that finite index subgroups of genus 3 mapping class and Torelli groups that contain the group generated by Dehn twists on bounding simple closed curves are not Kahler. These results are deduced from explicit presentations of the unipotent (aka, Malcev) completion of genus 3 Torelli groups and of the relative completions of genus 3 mapping class groups. The main results follow from the fact that these presentations are not quadratic. To complete the picture, we compute presentations of completed Torelli and mapping class in genera > 3; they are quadratic. We also show th…
According to seminal work of Kontsevich, the unstable homology of the mapping class group of a surface can be computed via the homology of a certain lie algebra. In a recent paper, S. Morita analyzed the abelianization of this lie algebra, thereby constructing a series of candidates for unstable classes in the homology of the mapping class group. In the current paper, we show that these cycles are all nontrivial, representing degree 4k+1 homology classes in the homology of the mapping class group of a genus one surface with 4k+1 punctures.
In this article, we construct a crystallization of the mapping torus of some (PL) homeomorphisms $f:M \to M$ for a certain class of PL-manifolds $M$. These yield upper bounds for gem-complexity and regular genus of a large class of PL-manifolds. The bound for the regular genus is sharp for the mapping torus of some (PL) homeomorphisms $f:M \to M$, where $M$ is $\mathbb{RP}^2$, $\mathbb{RP}^2\#\mathbb{RP}^2$, $\mathbb{S}^1\times \mathbb{S}^1$, $\mathbb{RP}^3$, $\mathbb{S}^{2} \times \mathbb{S}^1$, $\mathbb{S}^{\hspace{.2mm}2} \mbox{$\times \hspace{-2.6mm}_{-}$} \, \mathbb{S}^{\hspace{.1mm}1}$ o…
Floer cohomology is computed for certain elements of the mapping class group of a surface $Σ$ of genus $g>1$ which are compositions of positive and negative dehn twists along some loops in $Σ$. The computations cover a certain class of pseudo-Anasov maps.
Using the existence of certain symplectic submanifolds in symplectic 4-manifolds, we prove an estimate from above for the number of singular fibers with separating vanishing cycles in minimal Lefschetz fibrations over surfaces of positive genus. This estimate is then used to deduce that mapping class groups are not uniformly perfect, and that the map from their second bounded cohomology to ordinary cohomology is not injective.
The rational cohomology ring of A_3, the moduli space of abelian 3-folds is computed. This is isomorphic to the the rational cohomology ring of the group Sp_3(Z) of 6x6 integral symplectic matrices. The main ingredients in the computation are (1) Looijenga's computation of the rational cohomology ring of M_3, the moduli space of smooth projective curves of genus 3, and (2) the stratified Morse theory of Goresky and MacPherson, which we use to compute the homology of the jacobian locus (in the rank 3 Siegel upper half plane), or equivalently of the extended Torelli group in genus 3. In the revi…
We prove that the minimal nontrivial finite quotient group of the mapping class group M_g of a closed orientable surface of genus g is the symplectic group PSp(2g,Z_2), for g = 3 and 4 (this might remain true, however, for arbitrary genus g > 2). We discuss also some results for arbitrary genus g.
Let $Σ_{g,b}$ denote a closed oriented surface genus $g$ with $b$ punctures and let $Mod_{g,b}$ denote its mapping class group. Luo proved that if the genus is at least 3, the group $Mod_{g,b}$ is generated by involutions. He also asked if there exists a universal upper bound, independent of genus and the number of punctures, for the number of torsion elements/involutions needed to generate $Mod_{g,b}$. Brendle and Farb gave a partial answer in the case of closed surfaces and surfaces with one puncture, by describing a generating set consisting of 7 involutions. Our main result generalizes the…
We show that finite index subgroups of the handlebody group are rigid in their ambient mapping class group: any injective map of a finite index subgroup of the genus $g$ handlebody group into the genus $g$ mapping class group is conjugation by a mapping class group element. On the other hand, we construct an injection of the genus $g$ handlebody group into a genus $h>g$ mapping class group which is not conjugate into a handlebody group.
We construct the first known examples of nontrivial, normal, all pseudo-Anosov subgroups of mapping class groups of surfaces. Specifically, we construct such subgroups for the closed genus two surface and for the sphere with five or more punctures. Using the branched covering of the genus two surface over the sphere and results of Birman and Hilden, we prove that a reducible mapping class of the genus two surface projects to a reducible mapping class on the sphere with six punctures. The construction introduces "Brunnian" mapping classes of the sphere, which are analogous to Brunnian links.
Every surface bundle with genus $g$ fiber has a canonical Heegaard splitting of genus $2g+1$. We classify the mapping class groups of such Heegaard splittings in the case when the surface bundle has a sufficiently complicated monodromy map.
Let $M$ be an orientable, irreducible $3$-manifold admitting a weakly reducible genus three Heegaard splitting as a minimal genus Heegaard splitting. In this article, we prove that if $[f]$, $[g]\in Mod(M)$ give the same correspondence between two isotopy classes of generalized Heegaard splittings consisting of two Heegaard splittings of genus two, say $[\mathbf{H}]\to[\mathbf{H}']$, then there exists a representative $h$ of the difference $[h]=[g]\cdot[f]^{-1}$ such that (i) $h$ preserves a suitably chosen embedding of the Heegaard surface $F'$ obtained by amalgamation from $\mathbf{H}'$ whic…
Twenty years ago, Mumford initiated the systematic study of the cohomology ring of moduli spaces of Riemann surfaces. Around the same time, Harer proved that the homology of the mapping class groups of oriented surfaces is independent of the genus in low degrees, increasing with the genus. The (co)homology of mapping class groups thus stabelizes. At least rationally, the mapping class groups have the same (co)homology as the corresponding moduli spaces. This prompted Mumford to conjecture that the stable rational cohomology of moduli spaces is generated by certain tautological classes that he …
We show that every subgroup of the mapping class group MCG(S) of a compact surface S is either virtually abelian or it has infinite dimensional second bounded cohomology. As an application, we give another proof of the Farb-Kaimanovich-Masur rigidity theorem that states that MCG(S) does not contain a higher rank lattice as a subgroup.
In this work we compute the first integral cohomology of the pure mapping class group of a non-orientable surface of infinite topological type and genus at least 3. To this purpose, we also prove several other results already known for orientable surfaces such as the existence of an Alexander method, the fact that the mapping class group is isomorphic to the automorphism group of the curve graph along with the topological rigidity of the curve graph, and the structure of the pure mapping class group as both a Polish group and a semi-direct product.
The mapping class group of a Heegaard splitting is the group of connected components in the set of automorphisms of the ambient manifold that map the Heegaard surface onto itself. For the genus three Heegaard splitting of the 3-torus, we find an eight element generating set for this group. Six of these generators induce generating elements of the mapping class group of the 3-torus and the remaining two are isotopy trivial in the 3-torus.
We show that the mapping class group of any closed connected orientable surface of genus at least five is generated by only two commutators, and if the genus is three or four, by three commutators.
We construct integral bases for the SO(3)-TQFT-modules of surfaces in genus one and two at roots of unity of prime order and show that the corresponding mapping class group representations preserve a unimodular Hermitian form over a ring of algebraic integers. For higher genus surfaces the Hermitian form sometimes must be non-unimodular. In one such case, genus 3 and p=5, we still give an explicit basis.
This article is about the graph genus of certain well studied graphs in surface theory: the curve, pants and flip graphs. We study both the genus of these graphs and the genus of their quotients by the mapping class group. The full graphs, except for in some low complexity cases, all have infinite genus. The curve graph once quotiented by the mapping class group has the genus of a complete graph so its genus is well known by a theorem of Ringel and Youngs. For the other two graphs we are able to identify the precise growth rate of the graph genus in terms of the genus of the underlying surface…
We prove that in genus bigger than $2$, the mapping class group action on $\mathrm{Aff}(\mathbb{C})$-characters is ergodic. This implies that almost every representation $π_1 S \longrightarrow \mathrm{Aff}(\mathbb{C})$ is the holonomy of a branched affine structure on $S$, where $S$ is a closed orientable surface of genus $g \geq 2$.
We show that the mapping class group of a closed oriented surface of genus at least three is generated by 3 elements of order 3 and by 4 elements of order 4. Note that the mapping class group cannot be generated by finitely many torsion elements of same order if genus is equal to one or two.
Given an oriented surface of positive genus with finitely many punctures, we classify the finite orbits of the mapping class group action on the moduli space of semisimple complex special linear two dimensional representations of the fundamental group of the surface. For surfaces of genus at least two, such orbits correspond to homomorphisms with finite image. For genus one, they correspond to the finite or special dihedral representations. We also obtain an analogous result for bounded orbits in the moduli space.
We prove a well known conjecture of Nikolai Ivanov which states that if $X$ is a surface of genus $\geq 3$ (with any number of punctures and boundary components), $\rm{Mod}(X)$ is the mapping class group of $X$, and $K < \rm{Mod}(X)$ is a finite-index subgroup, then $K$ does not virtually surject to $\mathbb{Z}$. As a corollary of this we get that $H_1(Z; \mathbb{Q}) = 0$ whenever $Z$ is a finite cover of $\mathcal{M}_{g,n}$, the moduli space of complex algebraic curves of genus $g\geq 3$ with $n$ marked points.
