Algebraic surfaces containing a smooth curve of genus q(S) as an ample divisor (Q799745)

Let S be a smooth complex projective surface and A a smooth curve contained in it as an ample divisor. For which pairs (S,A) is \(h^{1,0}(A)=h^{1,0}(S)?\) As it is known, if A is a hyperplane section in some projective embedding of S, then (S,A) is one of the following pairs: (i) (\({\mathbb{P}}^ 2,line)\), \(({\mathbb{P}}^ 2,conic)\), \(({\mathbb{P}}^ 1\)-bundle, section). In this paper the following theorem is proved. If either \(h^{2,0}(S)\leq 1\) or \(A^ 2\geq h^{1,0}(S)-1,\) then (S,A) is either as in (i) or one of the following: (ii) (J(C),C), where C is a smooth curve of genus two embedded in its jacobian J(C), (iii) S is J(C) blown-up at a point \(p\in C\) and A is the proper transform of C. The assumption on \(A^ 2\) cannot be dropped as the following example (which extends (iii)) shows: \(S=\Gamma^{(2)}=\) the symmetric product of a smooth curve \(\Gamma\) of genus \(p\geq 3\), \(A=\) the image of one of the factors of \(\Gamma \times\Gamma \). The paper also contains a partial answer to the higher dimensional version of the above question.