Abstract
AbstractWe first state a condition ensuring that having a birational map onto the image is an open property for families of irreducible normal non uniruled varieties. We give then some criteria to ensure general birationality for a family of rational maps, via specializations. Among the applications is a new proof of the main result of Catanese and Cesarano (Electron Res Arch 29(6):4315–4325, 2021) that, for a general pair (A, X) of an (ample) Hypersurface X in an Abelian Variety A, the canonical map $$\Phi _X$$
Φ
X
of X is birational onto its image if the polarization given by X is not principal. The proof is also based on a careful study of the Theta divisors of the Jacobians of Hyperelliptic curves, and some related geometrical constructions. We investigate these here also in view of their beauty and of their independent interest, as they lead to a description of the rings of Hyperelliptic theta functions.
Publisher
Springer Science and Business Media LLC
Reference21 articles.
1. Andreotti, A.: On a theorem of Torelli. Am. J. Math. 80, 801–828 (1958)
2. Arbarello, E., Cornalba, M., Griffiths, P.A., Harris, J.: Geometry of algebraic curves. Volume I. Grundlehren der mathematischen Wissenschaften, 267. New York etc.: Springer-Verlag. XVI, p. 386 1985
3. Bombieri, E.: Canonical models of surfaces of general type. Publ. Math. Inst. Hautes Étud. Sci. 42, 171–219 (1972)
4. Canonaco, A.: The Beilinson complex and canonical rings of irregular surfaces. Mem. Am. Math. Soc. 862, 99 (2006)
5. Catanese, F.: On the moduli spaces of surfaces of general type. J. Differ. Geom. 19, 483–515 (1984)