An abelian surface is a two-dimensional abelian variety. It contains no rational curve: a morphism from to an abelian variety is constant. Consequently every abelian surface is a minimal algebraic surface.
Let be a smooth connected ample curve in an abelian surface . Translate its chosen basepoint to zero and apply the universal property of the Jacobian variety. The image of is a closed connected algebraic subgroup containing the translated curve. If it had dimension one, that curve would be the subgroup itself; a distinct coset is disjoint and numerically equivalent, forcing . This contradicts ampleness, so the homomorphism is surjective.

Articles by others on the same topic (0)

There are currently no matching articles.