A note on a family of surfaces with \(p_g=q=2\) and \(K^2=7\) (Q2162470)

In the recent past, many auothors have worked on the classification of irregular surfaces (i.e. surfaces \(S\) with \(q(S)>0\)) and, in particular, of irregular surfaces of general type with \(\chi(\mathcal{O}_S)=1\). By Debarre's inequality, it is known that for these surfaces \(p_g(S)\leq 4\) holds and the cases \(p_g(S)=3\) and \(p_g(S)=4\) have been completely classified. On the other hand, the case \(p_g(S)=2\) has only been partially studied. In the present article, the authors consider a family of surfaces of general type with \(p_g(S)=q(S)=2\) and \(K_S^2=7\), whose existence was originally established in [\textit{C. Rito}, Asian J. Math. 22, No. 6, 1117--1126 (2018; Zbl 1428.14070)]. These surfaces are obtained as a double cover of a \((1,2)\)-polarized non-simple Abelian surface \(A\) which is constructed as a bidouble cover of a rational surface with very explicit branch divisors. They give a slightly different construction of these surfaces, and they use them to prove that the Gieseker moduli space \(\mathcal{M}_{2,2,7}^{\text{can}}\) contains three pairwise disjoint open subsets which are irreducible, generically smooth and of dimension \(2\). In order to prove the main result, they study the relations between deformations of a divisor \(D\) in a smooth surface \(B\), elements of \(T_pB\) (where \(p\) is a smooth point of \(D\)) and deformations of the blow-up of \(B\) in \(p\).