Effective generation of right-angled Artin groups in mapping class groups (Q2230969)

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.