The geometry of right-angled Artin subgroups of mapping class groups

From MaRDI portal



Abstract: We describe sufficient conditions which guarantee that a finite set of mapping classes generate a right-angled Artin group quasi-isometrically embedded in the mapping class group. Moreover, under these conditions, the orbit map to Teichmuller space is a quasi-isometric embedding for both of the standard metrics. As a consequence, we produce infinitely many genus h surfaces (for any h at least 2) in the moduli space of genus g surfaces (for any g at least 3) for which the universal covers are quasi-isometrically embedded in the Teichmuller space.


Let \(S\) be a surface, \(\mathrm{Mod}(S)\) its mapping class group, and \(\mathcal{T}(S)\) its Teichmüller space. Let \(\Gamma\) be a graph with vertex set \(\{ s_1, \dots, s_n \}\) and \(\mathbb{X} = \{ X_1, \dots, X_n\}\) a collection of nonannular essential subsurfaces \(X_1, \dots, X_n\) of \(S\) such that \(X_i \cap X_j = \emptyset\) if and only if \(\{s_i,s_j\}\) is an edge of \(\Gamma\), and if \(X_i \cap X_j \not= \emptyset\) then \(X_i \not\subseteq X_j\) and \(X_i \not\supseteq X_j\). The right-angled Artin group \(G(\Gamma)\) associated to \(\Gamma\) is presented by \(G(\Gamma) = \langle s_1, \dots, s_n \, | \, [s_i,s_j]=1\) if \(\{ s_i, s_j \}\) is an edge of \(\Gamma \rangle\). Let \(f_i\) be an element of \(\mathrm{Mod}(S)\) which is supported on \(X_i\) and whose restriction on \(X_i\) is pseudo-Anosov. Then \(f_i\) acts on the complex of curves \(\mathcal{C}(X_i)\), and we define \(\tau_{X_i} (f_i) = \underset k \rightarrow \infty {\lim} d_{X_i}(\alpha, f^k(\alpha))/k,\) where \(\alpha\) is any curve in \(X\), and \(d_{X_i}\) is the distance in \(\mathcal{C}(X_i)\). The main theorem (Theorem 2.2) of this paper is, under the above condition, there exists a constant \(C > 0\) such that if \(\tau_{X_i}(f_i) \geq C\) for all \(i=1, \dots, n\), then the homomorphism \(\phi: G(\Gamma) \rightarrow \mathrm{Mod}(\Gamma)\) defined by \(\phi (s_i) = f_i\) is a quasi-isometric embedding, and the orbit map \(G(\Gamma) \to \mathcal{T}(S)\) is a quasi-isometric embedding for the Teichmüller metric and the Weil-Petersson metric. Furthermore, a condition on \(\sigma \in G(\Gamma)\) such that \(\phi(\sigma)\) is pseudo-Anosov is given (Theorem 6.1), and it is shown that, when the genus of \(S\) is at least \(3\), there are infinitely many nonconjugate genus \(h (\geq 2)\) surface subgroups of \(\mathrm{Mod}(S)\), each of which acts cocompactly on some quasi-isometrically embedded hyperbolic plane in the Teichmüller space \(\mathcal{T}(S)\) (Corollary 1.3).




Cited in
(54)








This page was built for publication: The geometry of right-angled Artin subgroups of mapping class groups

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