The first homology group of the mapping class group of a nonorientable surface with twisted coefficients (Q471491): Difference between revisions

The article under review proves the following result: Let \(N_{g,s}\) be a non-orientable surface of genus \(g \geq 3\) with \(s \leq 1\) boundary components, then \[ H_1(\mathcal{M}(N_{g,s});H_1(N_{g,s};\mathbb{Z})) \cong \mathbb{Z}_2 \oplus \mathbb{Z}_2 \oplus \mathbb{Z}_2, \text{if } g \in \{3,4,5,6\}, \] and \[ H_1(\mathcal{M}(N_{g,s});H_1(N_{g,s};\mathbb{Z})) \cong \mathbb{Z}_2 \oplus \mathbb{Z}_2, \text{if } g \geq 7. \] Here \(\mathcal{M}(N_{g,s})\) denotes the mapping class group of the smooth, non-orientable, compact surface of genus \(g\) with \(s\) boundary components. The proof uses (in a slightly modified form, see [\textit{M. Stukow}, J. Pure Appl. Algebra 218, No. 12, 2226--2239 (2014; Zbl 1301.57015)]) a simple presentation for the mapping class group \(\mathcal{M}(N_{g,s})\) with \(g+s > 3\) and \(s \in \{0,1\}\) which has been obtained by \textit{L. Paris} and \textit{B. Szepietowski} [Bull. Soc. Math. Fr. 143, No. 3, 503--566 (2015; Zbl 1419.57005)].