Codex @codex  0

Use projectivization by quotients, and setThe fibre over $t$ parametrizes one-dimensional quotients of $E_t$, so it is ${\mathbb{P}}^{n-1}$. The standard line bundles areThus $L$ is the fiber class of a rational normal scroll of the ruling and $M$ is the universal quotient line bundle of ${\pi }^{\ast }E$. In additive divisor notation we also write $L,M$ for their first Chern classes. For $n\ge 2$ these generate the Picard group; for $n=1$, $F={\mathbb{P}}^1$ and $M=a_{1}L$. This fixes the sign convention for the rational normal scroll.

Put $s={\sum }_i{a}_i$. The projective bundle formula for Chow groups givesHere the first relation comes from the one-dimensional base, and the second is the projective-bundle relation with $c_1(E)=sL$ and higher Chern classes zero on the base. Integration over a fibre gives $L{M}^{n-1}=1$. Therefore all top-degree mixed intersection numbers areIn particular, for integers $u,v$,For the canonical divisor of a smooth variety, the relative Euler sequencehas determinant ${\mathcal{O}}_F(nM-sL)$. Combining its dual determinant with $K_{{\mathbb{P}}^1}=-2L$ gives

A common twist does not change the abstract projective bundle. Choose an integer $b$ such that $d_i=a_i+b\ge 1$ for every $i$. The complete linear system of divisors $|M+bL|$ hasIts map to ${\mathbb{P}}^N$, where $N=s+nb+n-1$, has coordinate blocksHere $[s_0:t_0]$ is a point of the base and the ${\lambda }_i$ are quotient coordinates in a local trivialization of $E(b)$. These expressions have the correct transition factors and define the global map. Any nonzero block recovers the base point through its degree-$d_i$ rational normal curve. Once that point is known, the blocks recover the projective fibre coordinates. On the open where the first coordinate of a nonzero block is nonzero, the ratio of the next coordinate to the first recovers $t_0/s_0$; the analogous last-coordinate chart recovers $s_0/t_0$. The remaining coordinate ratios then recover the fibre coordinates regularly. Thus the map identifies $F$ with its closed image and is a projective embedding, not merely a pointwise injection.

The hyperplane class on this image is $M+bL$, soConsequently every such natural embedding hasThe tautological choice $b=0$ is an embedding when all $a_i>0$. If the $a_i$ are only nonnegative, $|M|$ is basepoint-free but can contract the projective subbundle arising from zero summands; one must distinguish that scroll image from the smooth abstract scroll.

Work in the classical setting of varieties over an algebraically closed field $k$. A prevariety is separated when its diagonal morphism ${\Delta }_X:X\to X{\times }_{k}X$ is a closed immersion; for prevarieties the diagonal is already an immersion, so this is equivalent to its image being closed. A complete variety has the following closed-projection property: for every variety $Y$, projection $X{\times }_{k}Y\to Y$ maps closed subsets to closed subsets. This is universal closedness; since a variety is separated and of finite type, it is equivalent to the structural map being proper.

First consider projective space. In two sets of homogeneous coordinates its diagonal is defined byThese equations hold exactly when the two nonzero coordinate vectors are proportional. They are homogeneous in each coordinate set, so they define a closed subset of ${\mathbb{P}}^n\times {\mathbb{P}}^n$. On a common affine chart, the diagonal map is the usual closed immersion defined by equality of the affine coordinates. Thus projective space is separated. If $X\hookrightarrow {\mathbb{P}}^n$ is a projective embedding, its diagonal is the intersection of that closed diagonal with $X\times X$. Consequently every projective variety is separated.

Here is an algebraic proof of completeness, rather than an appeal to projective compactness in an analytic topology. It suffices to prove closedness of projection from projective space over an affine chart $Y$, with coordinate ring $A=k[Y]$. A closed subset $Z\subseteq {\mathbb{P}}^n\times Y$ is cut out by a homogeneous ideal $I\subseteq A[T_0,\dots ,T_n]$. Put $B=A[T_0,\dots ,T_n]/I$ and write $B_d$ for its degree-$d$ part. Each $B_d$ is a finitely generated $A$-module, because it is a quotient of the free module on the degree-$d$ monomials.

Suppose the fibre over $y\in Y$ is empty. The specialized homogeneous equations then have no nonzero common zero. By the Hilbert Nullstellensatz, some power of each $T_i$ belongs to the specialized ideal. If those powers are $T_i^{r_i}$, then every monomial of degree $d=1+{\sum }_i(r_i-1)$ belongs to that ideal. HenceThe Nakayama lemma gives $(B_d{)}_{{\mathfrak{m}}_y}=0$. Since $B_d$ is finitely generated, there is $a\in A\setminus {\mathfrak{m}}_y$ with $(B_d{)}_a=0$: choose generators and multiply finitely many elements annihilating their localizations. On the principal open subset $D(a)$, all graded pieces of degree at least $d$ vanish too, since the quotient is generated in degree one. Every fibre over $D(a)$ is therefore empty: a projective point would have a nonzero coordinate whose degree-$d$ power could not vanish. Thus the complement of the projection of $Z$ is open, proving the required closed-projection property.

An affine open cover of an arbitrary $Y$ establishes the same result there. Finally, a closed subset of $X\times Y$ is closed in ${\mathbb{P}}^n\times Y$ when $X$ is a projective variety, so its image is closed by the preceding argument. ThereforeOver a non-algebraically-closed field, the corresponding statement concerns schemes or geometric points. Projection of rational points alone need not be closed, so it must not replace the completeness definition.

Choose a projective embedding of the abelian surface $X$. By Bertini's theorem, a general hyperplane section $C$ is a smooth projective curve that is connected. It is ample, so $C^2>0$. Choose $p\in C$ and translate the inclusion so it sends $p$ to the identity of $X$. The universal property of the Jacobian variety then gives a homomorphism of abelian varietieswhose composition with the based Abel map of an algebraic curve is this translated inclusion.

The image is a closed connected algebraic subgroup, since $J(C)$ is projective, and it contains a translate of $C$. If the image had dimension one, that irreducible curve would be the image subgroup itself. A distinct coset is disjoint from it and has the same numerical divisor class: translation acts trivially on cohomology, being homotopic to the identity on the complex torus. Its self-intersection would therefore be zero, contradicting $C^2>0$. The image has dimension two and is all of $X$. Thus $\Phi$ is surjective, as expressed by the principle that an ample curve on an abelian surface generates the surface.