A normal generating set for the Torelli group of a compact non-orientable surface (Q1663790): Difference between revisions

Let \(\mathcal M(N_g^b)\) denote the mapping class group of \(N_g^b \), the non-orientable surface of genus \(g\) with \(b\) boundary components, and \(\mathcal I(N_g^b)\) the Torelli group of \(N_g^b\). The main purpose of the manuscript under consideration is to provide an explicit normal generator set for \(\mathcal I(N_g^b)\) in \(\mathcal M(N_g^b)\) (not a generating set). In the introduction, the authors give a brief and clear description of the known results of this question for orientable compact surfaces. In Section 2 a description of the known results, related to this question, for the mapping class group \(\mathcal M(N_g^b) \) follows. Then the author considers the Torelli group of \(N_g^b\). Let \(\alpha\), \(\beta\), \(\beta'\), \(\delta_i\), \(\rho_i\), \(\sigma_{ij}\), \(t_{\tilde \sigma_{ij}}\) and \(\gamma\) be certain simple closed curves on \(N_g^b\). The main result is: Theorem 1.1: Let \(g\geq 5\) and \(b\geq 0\). In \(\mathcal M(N_g^b)\), \(\mathcal I(N_g^b)\) is normally generated by \(t_\alpha\), \(t_\beta t_{\beta'}^{-1}\), \(t_{\delta_i}\), \(t_{\rho_i}\), \(t_{\sigma_{ij}}\) and \(t_{\tilde \sigma_{ij}}\) for \(1\leq i \;j \leq b-1\) with \(i<j\). In \(\mathcal M(N_4^b)\), \(\mathcal I(N_4^b)\) is normally generated by \(t_\alpha\), \(t_\alpha t_{\beta'}^{-1}\), \(t_{\delta_i}\), \(t_{\rho_i}\), \(t_{\sigma_{ij}}\), \(t_{\tilde \sigma_{ij}}\) and \(t_\gamma\) for \(1\leq i \;j \leq b-1\) with \(i< j\). Here \(t_c\) means the Dehn twist about \(c\). The proof is not short. To prove, normal generating sets of various groups are constructed related to the \textit{exact sequence of Birman} and one uses the cap homomorphisms, the pushing homomorphism and the forgetful homomorphism. The result extends the result of \textit{S. Hirose} and the author [Fundam. Math. 238, No. 1, 29--51 (2017; Zbl 1378.57003)], for \(N_g\), the non-orientable closed surface of genus \(g\).