Algebraic surfaces with \(p_g =q =1\), \(K^2 =4\) and genus 3 Albanese fibration (Q1728402)

Let \(S\) be a smooth minimal surface of general type with geometric genus and irregularity \(p_g=q=1\). For these surfaces the Albanese map is a fibration. Denote by \(g\) the genus of a general fibre. The cases \(K^2=2\) and \(3\) are well understood (see [\textit{F. Catanese}, ``On a class of surfaces of general type'', in: Algebraic surfaces. Heidelberg: Springer. 267--284 (2010)] and [\textit{E. Horikawa}, J. Fac. Sci., Univ. Tokyo, Sect. I A 28, 745--755 (1981; Zbl 0505.14028)]), in particular \(g\leq K^2\) for these cases. The case \(K^2=4, g=2\) and such that the direct image of the bicanonical sheaf under the Albanese morphism is a direct sum of line bundles has also been classified (see [\textit{R. Pignatelli}, Atti Accad. Naz. Lincei, Cl. Sci. Fis. Mat. Nat., IX. Ser., Rend. Lincei, Mat. Appl. 20, No. 3, 207--226 (2009; Zbl 1181.14044)]). In this paper under review the case \(K^2=4, g=3\) is considered. Assuming that the index of the paracanonical system is \(\iota=2\) and that a general Albanese fibre is hyperelliptic, it is shown that such family of surfaces split in two families of dimensions 3 and 4, and moreover these are contained in irreducible components of \(\mathcal M_{1,1}^{4,3}\) (the Gieseker moduli space of surfaces with \(p_g=q=1, K^2=4, g=3\)) of dimensions 4 and 5, respectively.