A finite presentation for the automorphism group of the first homology of a non-orientable surface over \(\mathbb Z_2\) preserving the \(\mod 2\) intersection form (Q2800401)

Let \(\mathrm{Aut}(H_{1}(N_g;{\mathbb Z}_{2}),\cdot)\) be the group of automorphisms on the first homology group with \({\mathbb Z}_{2}\) coefficients of a closed nonorientable surface \(N_{g}\) preserving the mod 2 intersection form. In this paper, the authors obtain a finite presentation for \(\mathrm{Aut}(H_{1}(N_g;{\mathbb Z}_{2}),\cdot).\) As an application they calculate the second homology group of \(\mathrm{Aut}(H_{1}(N_g;{\mathbb Z}_{2}),\cdot).\)NEWLINENEWLINETheorem 1.2. For \(g \geq 9\) or \(g = 7,\) the second homology group of \(\mathrm{Aut}(H_{1}(N_g;{\mathbb Z}_{2}),\cdot)\) is trivial.NEWLINENEWLINETheorem 1.2 was shown by Michael R. Stein for odd \(g\).