On the Jacobian of a hyperplane section of a surface

From MaRDI portal





[For the entire collection see Zbl 0744.00029.] The following theorem is proved: Let \(S\) be a complex smooth projective surface and let \(L\) be a linear system which defines a birational map from \(S\) onto its image \(F\); assume that \(F\) is not a scroll, nor has rational hyperplane sections. Then, the ring of endomorphisms of the Jacobian of the normalization of a general member of \(| L|\) is isomorphic to \(\mathbb Z \times \text{End}(\text{Alb}(S))\). In particular, if \(S\) is regular, the Jacobian of the normalization of a general member of \(| L|\) is simple. To prove this theorem, one reduces immediately to the case where \(| L|\) has no base point. A general member \(C\) of \(| L|\) is then smooth, and its Jacobian is isogenous to the product of \(\text{Alb}(S)\) and the identity component \(K(C,S)\) of the kernel of the surjective morphism \(\text{Alb}(C) \to \text{Alb}(S)\). One proves then that \(\text{End}(K(C,S))\) is isomorphic to \(\mathbb{Z}\) by degenerating to an irreducible curve in \(| L|\) with a single node. The fact that there are no nonzero homomorphisms from \(K(C,S)\) to \(\text{Alb}(S)\) then follows easily. It should be mentioned that the results of this article are entirely contained in an article by \textit{S. Mori} [cf. Jap. J. Math., New Ser. 2, 109--130 (1976; Zbl 0339.14016)] who deals with the same problems in a more general setting and in all characteristics, with similar methods. However, the reader interested only in the characteristic zero case will probably find the article under review more easily accessible.











This page was built for publication: On the Jacobian of a hyperplane section of a surface

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4027689)