Extending hyperelliptic \(K3\) surfaces, and Godeaux surfaces with \(\pi_1=\mathbb{Z}/2\) (Q2820983)

A \textit{numerical Godeaux surface} is a smooth minimal complex algebraic surface of general type with geometric genus \(p_g=0\) and self-intersection of the canonical divisor \(K^2=1\). Its cyclic torsion group is of order at most 5, and the moduli spaces for torsion \(\mathbb Z/5\), \(\mathbb Z/4\) and \(\mathbb Z/3\) were given, see [\textit{M. Reid}, J. Fac. Sci., Univ. Tokyo, Sect. I A 25, 75--92 (1978; Zbl 0399.14025)]. These spaces are irreducible, unirational and of dimension 8, the expected dimension. But for torsion \(\mathbb Z/2\) only families of dimension at most 4 were constructed, see [\textit{R. Barlow}, Duke Math. J. 51, 889--904 (1984; Zbl 0576.14038)] and [\textit{C. Werner}, Trans. Am. Math. Soc. 349, No. 4, 1515--1525 (1997; Zbl 0952.14030)]. In this paper an 8-dimensional family of numerical Godeaux surfaces with topological fundamental group \(\mathbb Z/2\) is obtained. These surfaces are constructed as \(\mathbb Z/2\)-quotients of regular surfaces with \(p_g=1\) and \(K^2=2\) which are weighted complete intersections inside a certain Fano 6-fold.