Effective generation of right-angled Artin groups in mapping class groups

From MaRDI portal
Publication:2230969



Abstract: We show that given a collection , ldots , of pure mapping classes on a surface S, there is an explicit constant N, depending only on X, such that their Nth powers , ldots , generate the expected right-angled Artin subgroup of MCG(S). Moreover, we show that these subgroups are undistorted.


Let \(S\) denote a finite-type orientable surface with \(\chi(S) < 0\). Let \(\Gamma\) be a finite simplicial graph with vertex set \(V(\Gamma)\) and edge set \(E(\Gamma)\). The right-angled Artin group on \(\Gamma\) has a presentation \[ A(\Gamma) = \left\langle v_i \in V(\Gamma) \mid [v_i,v_j]=1 \, \Leftrightarrow \, (v_i,v_j) \in E(\Gamma)\right\rangle. \] Let \(MCG(S)\) denote the mapping class group of \(S\). Let \(C\) be a multi-curve on \(S\). If a mapping class of \(MCG(S)\) is either pseudo-Anosov or else fixes \(C\) component-wise and restricts to either a pseudo-Anosov mapping class or the identity on \(S \setminus C\), then it is said to be pure. In this paper, the author aims to make Koberda's Theorem ([\textit{T. Koberda}, Geom. Funct. Anal. 22, No. 6, 1541--1590 (2012; Zbl 1282.37024)]) useful and stronger. To say more explicitly, the author shows the following theorem: Let \(\{f_1 , f_2 , \dots, f_m \}\) denote an irredundant collection of pure mapping classes supported on connected subsurfaces \(S_1, S_2, \dots, S_m \subseteq S\). There is an explicit constant \(N=N(\{f_i\})\), depending only on certain geometric data extracted from the given family of mapping classes, such that for all \(n \geq N\), \(H = \left\langle f_{1}^{n}, \dots, f_{m}^{n} \right\rangle \cong A(\Gamma)\), where \(\Gamma\) is the co-intersection graph of the subsurfaces \(\{S_i\}\). Moreover, by increasing \(N\) in a controlled way, it can be guaranteed that \(H\) is undistorted in the mapping class group of \(S\). Furthermore, the constant \(N\) is explicitly computed in the paper. Finally, the author shows that each \(h \in H\) is pseudo-Anosov on its support. Here, \(H\) is as in the theorem above.











This page was built for publication: Effective generation of right-angled Artin groups in mapping class groups

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