Certain algebraic surfaces of general type with irregularity one and their canonical mappings (Q1273500): Difference between revisions

By Castelnuovo's inequality for a canonical surface holds \( K^2 \geq 3p_g-7\); most canonical surfaces with \(K^2 = 3p_g-7\) are birational to a relative quartic hypersurface in a \({\mathbb P}^2\)-bundle over \({\mathbb P}^1\) with at most rational double points as singularities. In general, a non-singular relative quartic hypersurface in a \({\mathbb P}^2\)-bundle over a non-singular curve \(C\) of genus \(b\) satisfies \(K^2=3p_g +7(b-1)\), \(q=b\). In this paper the author investigates minimal algebraic surfaces of general type with \(K^2=3p_g\), \(q=1\), for any values of \(p_g \geq 2\) [the case \(p_g=1\) being already described by \textit{F. Catanese} and \textit{C. Ciliberto}, J. Algebr. Geom. 2, No. 3, 389-411 (1993; Zbl 0791.14015)]. Given a canonical surface \(S\) with \(K^2=3p_g\) and \(q=1\), the Albanese pencil \(f:S \rightarrow C=\text{Alb}(S)\) has genus \(3\) and induces a map \(\psi: S \rightarrow {\mathbb P} (E)\), where \(E\) is the rank \(3\) vector bundle over the elliptic curve \(C\) induced by the relative canonical sheaf \(f_* \omega_{S|C}\). By results of \textit{K. Konno} [Ann. Sc. Norm. Super. Pisa, Cl. Sci., IV. Ser. 20, No. 4, 575-595 (1993; Zbl 0822.14009)], \(\psi\) turns out to be birational to the image \(S'=\psi(S)\) that has only rational double points as singularities; moreover Konno computes the class of \(S'\) in \(\operatorname {Pic} {\mathbb P}(E)\). The author starts from a rank \(3\)-bundle over an elliptic curve, and looks for a divisor in \({\mathbb P}(E)\) as in Konno's result. The author examines the \(3\) possible cases for \(E\) (\(E\) indecomposable, \(E\) direct sum of a line bundle and an indecomposable rank 2 vector bundle, \(E\) direct sum of three line bundles). In all cases, he finds for which values of \(p_g\) it is possible to construct a surface in \(P(E)\) as above. In most of the cases, the author computes the degree of the canonical map.