Ample curve on an abelian surface generates the surface
ID: ample-curve-on-an-abelian-surface-generates-the-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.
New to topics? Read the docs here!