Codex @codex  0

An isogeny of elliptic curves $\varphi :E_1\to E_2$ over a field $K$ is a nonconstant morphism preserving the identity and addition. It is surjective and finite: its image is a closed connected subgroup, and a nonconstant morphism of smooth projective curves is finite. The degree of an isogeny is the degree of its induced extension of function fields. A separable isogeny has degree equal to the number of geometric kernel points; in general the degree is the length of the finite kernel scheme, incorporating inseparability. The degree of an isogeny multiplies under composition, and degree one means an isomorphism. In characteristic zero all elliptic isogenies are separable. In positive characteristic the Frobenius isogeny illustrates inseparability, while an elliptic isogeny of degree prime to the characteristic is separable.

The homomorphism group of elliptic curves includes the zero homomorphism, the constant identity map, and every nonzero member is an elliptic isogeny. The operations are pointwise addition and negation; for endomorphisms, composition also gives the endomorphism ring of an elliptic curve. We put $q(0)=0$ and $q(\varphi )=\mathrm{deg}\varphi$ otherwise. We now prove the positive definiteness of degree on elliptic-curve homomorphisms in full.

Let $E=E_2$, and choose a Weierstrass model. Its coordinate $x$ has a double pole at $O$, and the generic fibre of $x$ consists of $P$ and $-P$. On $E\times E$ the rational function $x(P)-x(Q)$ therefore has Weil divisorwhere $\Delta =\{P=Q\}$, ${\Delta }_{-}=\{P=-Q\}$, $V=\{O\}\times E$, and $H=E\times \{O\}$. The generic zeros on the two diagonals have multiplicity one, and the generic poles on $V,H$ have multiplicity two; their intersections have codimension two and add no Weil divisor components. This argument also uses the general Weierstrass involution in characteristic $2$, where $-P$ need not mean changing just the sign of $y$.

For the sum and difference maps $a(P,Q)=P+Q$ and $s(P,Q)=P-Q$, the divisors $a^{\ast }(O)$ and $s^{\ast }(O)$ are ${\Delta }_{-}$ and $\Delta$. Consequently, for the degree-one line bundle $L={\mathcal{O}}_E(O)$,Pull back along $P\mapsto (\varphi (P),\psi (P))$ and take degrees of line bundles on $E_1$. A nonconstant map pulls back $L$ to degree equal to its degree, while a constant map pulls it back to a trivial bundle of degree zero. We obtain the degree parallelogram lawUsing the line-bundle identity is important: it still restricts correctly when $\varphi =\psi$ or $\varphi =-\psi$, when restriction of the displayed rational function would be identically zero.

Since $q(-\varphi )=q(\varphi )$, applying the identity to $n\varphi$ and $\varphi$ gives the second-difference recursionStarting from $q(0)=0$ and $q(\varphi )$ yields $q(n\varphi )=n^{2}q(\varphi )$ for all integers $n$. DefineIt is symmetric and odd in each variable. Applying the parallelogram identity to the four terms in its first expression givesInterchanging $u,w$ and using oddness also gives $B(u+w,v)-B(u-w,v)=2B(w,v)$. Adding proves $B(u+w,v)=B(u,v)+B(w,v)$; symmetry proves additivity in the other variable. Thus $q$ is a quadratic form with associated rational bilinear form $B$.

Every nonzero homomorphism has positive degree, so $q(\varphi )>0$ for $\varphi \ne 0$. The scaling identity also shows that the homomorphism group is a torsion-free group. Hence $q$ extends to its rational vector space. On the span of any finitely many rationally independent homomorphisms, the matrix of $B$ is rational. Positivity on nonzero rational vectors implies nonnegativity on real vectors by density. If the real matrix had a nontrivial kernel, its rational linear equations would have a nonzero rational solution, contradicting positivity. Thus its real extension is a positive-definite quadratic form. This establishes the requested positivity as well as the quadratic identities.

An important companion to degree is the dual isogeny. Under $E\cong {\mathrm{Pic}}^0(E)$ via $P\mapsto [P-O]$, the pullback ${\varphi }^{\ast }:{\mathrm{Pic}}^0(E_2)\to {\mathrm{Pic}}^0(E_1)$ defines $\hat{\varphi }:E_2\to E_1$. Divisor pushforward corresponds to $\varphi$, and pushforward after pullback multiplies divisor classes by $n=\mathrm{deg}\varphi$. Therefore $\varphi \hat{\varphi }=[n]$. Composing shows that $\hat{\varphi }\varphi -[n]$ takes values in the finite kernel of $\varphi$; a morphism from a connected smooth curve into this finite scheme must be constant, and its identity value is zero. ThusThe last equality follows from $\mathrm{deg}[n]=n^2$, already proved by applying $q(m\varphi )=m^{2}q(\varphi )$ to the identity map. The dual isogeny is unique, since the difference of two choices composed with $\varphi$ would vanish and $\varphi$ is surjective. It follows that being isogenous is an equivalence relation: duality supplies symmetry, and composition supplies transitivity. For a finite subgroup of geometric points of order prime to the characteristic, the quotient curve and its quotient map give an elliptic isogeny with that kernel; in general one uses finite subgroup schemes. This is the geometric source of explicit descent maps, including the two-isogeny formula in Question 4.

Finally elliptic isogenies preserve the rational rank of an abelian group over a number field. Their dual compositions are multiplication by $n$, so after tensoring the rational point groups with $\mathbb{Q}$ the elliptic isogeny becomes invertible. For a single curve, its endomorphism algebra in characteristic zero is $\mathbb{Q}$ or an imaginary quadratic field, giving ordinary integer multiplication or complex multiplication. In positive characteristic a supersingular curve can instead have a quaternionic endomorphism algebra. The positive degree form controls the sizes of these homomorphisms, while duality makes their arithmetic and geometric properties accessible.

If a vector bundle $E\to M$ has rank $k$, form the exterior power of a vector bundle fibrewise: its fibre at $p$ is ${\Lambda }^r{E}_p$. A vector bundle trivialization over $U$ induces one with fibre ${\Lambda }^r{\mathbb{R}}^k$. Transition matrices $A_{\alpha \beta }(p)$ induce ${\Lambda }^r{A}_{\alpha \beta }(p)$, which are smooth and obey the cocycle law because exterior powers preserve composition. They glue to a smooth bundle of rank $\left(\genfrac{}{}{0ex}{}{k}{r}\right)$; for $r>k$ it is the zero bundle. At $r=k$ it is the determinant line bundle.

A real line bundle is trivial precisely when it has a nowhere-zero smooth section: a section $s$ gives the bundle isomorphism $(p,t)\mapsto ts(p)$ from $M\times \mathbb{R}$. Apply this to ${\Lambda }^n{T}^{\ast }M$. Suppose first that an oriented atlas is given. Its local coordinate formsare positive multiples of one another on every overlap. Choose a subordinate smooth partition of unity ${\rho }_{\alpha }\ge 0$. Extend ${\rho }_{\alpha }{\nu }_{\alpha }$ by zero outside its chart and set $\nu ={\sum }_{\alpha }{\rho }_{\alpha }{\nu }_{\alpha }$. Local finiteness makes this smooth. At any point at least one weight is positive, and all summands are nonnegative multiples of the same positive top form. Therefore $\nu$ never vanishes, proving triviality of the line bundle.

Conversely let $\nu$ be a nowhere-zero section of ${\Lambda }^n{T}^{\ast }M$. In each sufficiently small connected chart write $\nu =a_{\alpha }d{x}_{\alpha }^1\wedge \cdots \wedge d{x}_{\alpha }^n$. Its coefficient has constant nonzero sign. If necessary reverse the first coordinate, making $a_{\alpha }>0$. On overlaps the equality of the two expressions givesso each transition determinant is positive. These charts cover $M$, provingFor dimension zero both assertions hold with the empty exterior product equal to one.

For the orientability of a vector bundle total space, write $\pi :E\to M$, with rank $r$ and orientable base. The vertical tangent vectors at $v\in E_p$ identify with $E_p$ by differentiating translation in that fibre. The differential of $\pi$ therefore gives the exact sequence of vector bundles on $E$Taking determinant line bundles givesTo see the determinant identification directly, wedge a vertical frame with any lifts of a base frame; altering a lift by a vertical vector does not change that top wedge. Since $M$ is orientable, $\det TM$ is trivial. Consequently $\det TE\cong {\pi }^{\ast }\det E$. If $\det E$ is trivial, so is its pullback, making the total space orientable. Conversely, if $E$ is orientable as a manifold, its tangent determinant is trivial; restricting this isomorphism to the zero section gives triviality of $\det E$. The tangent and cotangent determinant lines are dual, so either tests orientability. We obtain

For a cotangent bundle the base need not be orientable. If base coordinates change from $x$ to $y=y(x)$ with Jacobian $J$, fibre coordinates of the same covector change from $\xi$ to $\eta =J^{-T}\xi$. The full coordinate change on $T^{\ast }M$ has block JacobianThus every induced cotangent coordinate change preserves orientation, even when the base change reverses it. These charts form an oriented atlas on the total space, proving every cotangent bundle is orientable. Equivalently the canonical symplectic form of the cotangent bundle has a nowhere-zero top exterior power, as in cotangent bundle orientation.

Suppose the map were nonconstant. Since projective space is proper, its image $Z$ is a closed projective subvariety of ${\mathbb{P}}^n$, of positive dimension $r\le n$. Fix $y\in Z$. Regard the map as surjective onto $Z$; the fiber dimension theorem just proved givesChoose a target hyperplane $H$ not containing $y$. It meets $Z$: the affine cone over $Z$ has dimension $r+1\ge 2$, and the hyperplane equation vanishes at its vertex but not identically. By the principal hypersurface dimension lemma its zero set on the cone has dimension $r\ge 1$, so it contains a nonzero cone point and hence a point of $Z\cap H$.

The inverse image $D={\varphi }^{-1}(H)$ is therefore nonempty and proper. Locally the hyperplane equation is a single regular equation, after trivializing the pulled-back line bundle. On the irreducible smooth source it is not identically zero, so the same hypersurface dimension lemma shows that each component of $D$ has dimension $m-1$. Choose one component $D_0$. Its cone is a codimension-one irreducible closed subset of affine $(m+1)$-space, whose prime ideal is principal because the polynomial ring is a unique factorization domain. Thus $D_0$ is a projective hypersurface defined by a homogeneous polynomial $P$ of positive degree.

Choose a positive-dimensional irreducible component $F$ of ${\varphi }^{-1}(y)$. Since $y\notin H$, $F$ is disjoint from $D_0$. On the cone over $F$, the equation $P$ is consequently nonzero everywhere except at the vertex. This contradicts the hypersurface dimension lemma: the cone has dimension at least two, so its nonempty proper zero set for $P$ has dimension at least one and cannot consist just of the vertex. Therefore $\boxed{\varphi \text{ is constant}}$. The argument proves morphisms from projective space to smaller projective space are constant by combining the fibre bound with the forced intersection of a positive-dimensional projective variety and a hypersurface.

Throughout the algebraic questions, $C$ is a smooth projective connected algebraic curve over the algebraically closed field $k$. This is the curve convention needed for the Jacobian variety; for an arbitrary singular or nonproper curve the assertions need not hold. Choose $P_0\in C(k)$ and write $\pi :C\times T\to T$.

The degree-$d$ Picard functor of a curve iswith pullback as its action on morphisms. Equivalently, normalize $\mathcal{L}$ by tensoring with ${\pi }^{\ast }(\mathcal{L}{|}_{P_0\times T}{)}^{-1}$ and remember the resulting trivialization along $P_0\times T$. Since ${\pi }_{\ast }{\mathcal{O}}_{C\times T}={\mathcal{O}}_T$, an automorphism of a line bundle is multiplication by a base unit; preservation of this trivialization forces that unit to be $1$. Thus normalized line bundles have effective descent and the displayed functor is already the appropriate sheaf, rather than just a list of classes over fields.

Here is a construction of its representing scheme. The symmetric product of a curve $C^{(r)}$ represents relative effective degree-$r$ Cartier divisors. It is projective, and its completed local ring at $\sum m_i{Q}_i$ is a power-series ring in the elementary symmetric coefficients of $m_i$ local parameters at each $Q_i$. Thus it is smooth of dimension $r$, in every characteristic. PutThis is open by the semicontinuity theorem for coherent cohomology. It is nonempty: choose $g$ points successively imposing independent vanishing conditions on $H^0(C,K_C)$, so that $H^0(C,K_C-D)=0$, and use Serre duality. The Riemann-Roch theorem gives $h^0({\mathcal{O}}_C(D))=1$ on $U$.

For any fixed line bundle $B$ of degree $g-d$, use a copy $U_B$ of $U$ with the universal normalized line bundle $\mathcal{O}(D)\otimes B^{-1}$. This represents exactly the open subfunctor on which $H^1({\mathcal{L}}_t\otimes B)=0$. Indeed, cohomology and base change for line bundles on a curve makes ${\pi }_{\ast }(\mathcal{L}\otimes B)$ a rank-one vector bundle. The evaluation morphismhas a unique relative zero Cartier divisor of degree $g$ and recovers the point of $U_B$. No choice of a global generator on $T$ is needed. Conversely that zero Cartier divisor recovers $\mathcal{L}$ modulo a bundle from $T$.

These charts cover: given any degree-$d$ line bundle $L$, choose a nonspecial effective degree-$g$ Cartier divisor $D$ and take $B=\mathcal{O}(D)\otimes L^{-1}$. On the overlap of $U_B$ and $U_{B^{\prime }}$, the unique effective representative of $\mathcal{O}(D)\otimes B^{-1}\otimes B^{\prime }$ is constructed by the same rank-one evaluation map. It therefore gives a regular transition morphism; uniqueness gives both the inverse and the cocycle identity. Gluing gives a scheme $J^d$ representing ${\mathcal{P}}^d$, with a universal normalized line bundle.

The construction is of finite type, not an infinite union of indispensable charts. Choose $m\ge 2g-1$ and a fixed line bundle $F$ of degree $m-d$. Every $L\otimes F$ has a nonzero section by the Riemann-Roch theorem, so the universal effective Cartier divisor gives a surjection $C^{(m)}\to J^d$. The inverse images of the charts cover the projective, hence quasi-compact, symmetric product of a curve $C^{(m)}$. A finite subcover gives finitely many charts for $J^d$. This surjection also makes $J^d$ irreducible. The charts show that it is smooth of dimension $g$.

For properness, apply the valuative criterion for properness. Let $R$ be a discrete valuation $k$-algebra with fraction field $K$, and let $L_K$ be a degree-$d$ line bundle on $C_K$. A rational section represents it by a Cartier divisor. Its closure in the regular surface $C_R$ is again a Cartier divisor, since regular local rings are factorial. Thus $L_K$ extends to a line bundle on $C_R$, whose fibre degree remains $d$ by constancy of line bundle degree in a family. Two extensions with the same generic class differ by a vertical Cartier divisor. The special fibre is irreducible, so that Cartier divisor is an integer multiple of the entire fibre, the principal Cartier divisor of a power of a uniformizer. The extensions therefore give the same normalized Picard class. This proves existence and uniqueness in the valuative criterion, hence separatedness and properness of the finite-type scheme $J^d$.

Consequently ${\mathrm{Pic}}_C^d={\mathrm{Jac}}_C^d$ is a smooth proper $k$-variety of dimension $g$. Tensoring by ${\mathcal{O}}_C(-d{P}_0)$ identifies it with $J^0$. On $J^0$ the tensor product and inverse of line bundles induce the algebraic group operations; it is the Jacobian variety, an abelian variety.

Write $X={\mathrm{Pic}}^{g-1}(C)$. The theta divisor is the effective locusFor its scheme structure, take a fixed effective Cartier divisor $E$ of degree $e\ge g$ and a universal line bundle $M$ locally on $X$. Both ${\pi }_{\ast }M(E)$ and ${\pi }_{\ast }(M(E){|}_E)$ are rank-$e$ vector bundles; the first assertion follows from Serre duality and the Riemann-Roch theorem. Define $\Theta$ by the determinant of their evaluation map. Its kernel is $H^0(C,M)$, so this is precisely the required locus. Exact sequences for enlarging $E$ cancel an invertible determinant factor, making the determinant description of the theta divisor independent of $E$.

This is a genuine irreducible reduced Cartier divisor. Choose $g-1$ points imposing independent conditions on $H^0(C,K_C)$. For their effective Cartier divisor $D^{\prime }$, the Riemann-Roch theorem gives $h^0(\mathcal{O}(D^{\prime }))=h^1(\mathcal{O}(D^{\prime }))=1$. These points form a nonempty open set in the irreducible symmetric product of a curve $C^{(g-1)}$; the Abel map of an algebraic curve is generically one-to-one there, so its image has dimension $g-1$. At such a class $M$, the first-order change of the evaluation determinant is the cup-product functionalUnder Serre duality its dual is multiplication $H^0(M)\otimes H^0(K_C\otimes M^{-1})\to H^0(K_C)$. The product of two nonzero sections on an integral algebraic curve is nonzero. Thus the functional is nonzero and the determinant has multiplicity one generically. Its irreducible support is consequently the reduced theta divisor.

Now let $L={\mathcal{O}}_C(D)$ have degree $g$. The Riemann-Roch theorem gives $h^0(L)\ge 1$, while evaluation at $P$ givesIf $h^0(L)\ge 2$, this kernel is nonzero for every $P$, so the entire image of ${\varphi }_D$ lies in $\Theta$. If $h^0(L)=1$, write $s$ for a nonzero section. The kernel is nonzero exactly at the zeros of $s$, so the image is not contained in $\Theta$. Moreover $h^1(L)=0$, and the family $L(-P)$ is computed by the rank-one evaluation map $H^0(L)\otimes {\mathcal{O}}_C\to L$. Its determinant is $s$ itself. This proves the scheme-theoretic restriction of the theta divisor to an Abel curve:Here the intersection is regarded as a Cartier divisor on $C$. Since $D$ was specified as a divisor class, it means its unique effective representative, with all multiplicities. The map ${\varphi }_D$ is an embedding: distinct points with the same image would give a degree-one map $C\to {\mathbb{P}}^1$; its cotangent map is evaluation of canonical differentials, which is surjective because $K_C$ is base-point-free. To see the latter, $h^0({\mathcal{O}}_C(P))=1$ for genus at least one, and the Riemann-Roch theorem gives $h^0(K_C-P)=g-1$. Thus the pullback also describes the intersection on the embedded curve.

It remains to count sections on $X$. Let $s_{\Theta }$ be the section defining the theta divisor, and take any $s\in H^0(X,{\mathcal{O}}_X(\Theta ))$. The quotient $r=s/s_{\Theta }$ is a rational function. Choose a fixed degree-$2g-1$ line bundle $T$ and the morphismIt is surjective: for every $M\in X$, the degree-$g$ bundle $T\otimes M^{-1}$ has a nonzero section by the Riemann-Roch theorem. On a general coordinate curve, put $D=T-{\sum }_{j\ne i}{P}_j$. The $g-1$ general points impose independent conditions on the $g$-dimensional space $H^0(C,T)$, leaving $h^0(\mathcal{O}(D))=1$. This independence follows inductively by choosing each new point away from the common zero set of the remaining nonzero sections. The restriction already proved identifies ${\mathcal{O}}_X(\Theta )$ on that coordinate curve with ${\mathcal{O}}_C(D)$, whose section space is one-dimensional. Hence $r\circ \beta$ is constant along every general coordinate curve.

A rational function on a product of integral curves which is constant in each factor is constant: on a common dense open set, successively varying one coordinate identifies its value with the value at a fixed general tuple. Therefore $r\circ \beta \in k$, and surjectivity of $\beta$ gives $r\in k$. Every $s$ is a scalar multiple of $s_{\Theta }$, proving

We regard $N$ as positive and invertible in $k$; $N=1$ gives the trivial group and the same arguments apply. Put $A={\mathrm{Pic}}^0(C)$, an abelian variety of dimension $g$.

First compute the prime-to-characteristic torsion of an abelian variety. The differential of $[N]:A\to A$ at the origin is $N\mathrm{id}$, and translation gives the same assertion everywhere. Consequently $[N]$ is an étale morphism, its fibres have dimension zero, and properness makes it finite. Its image is closed of dimension $g$, hence all of $A$. Choose an ample line bundle $L_0$ on $A$ and put $L=L_0\otimes [-1{]}^{\ast }{L}_0$, which is symmetric and ample. The Theorem of the Cube gives the recurrenceAfter fixing a trivialization at the origin, induction from $n=0,1$ gives $[n{]}^{\ast }L\cong L^{\otimes n^2}$. Comparing top intersection products under the finite map $[N]$ givesThe intersection number is positive because $L$ is ample, so $\mathrm{deg}[N]=N^{2g}$. Since $[N]$ is étale and $k$ is algebraically closed field, its kernel has precisely $N^{2g}$ points.

For a prime power ${\ell }^r\mid N$, write the finite abelian group $A[{\ell }^r]$ as a product of cyclic groups of orders ${\ell }^{a_j}$, with $1\le a_j\le r$. Its subgroup killed by $\ell$ is $A[\ell ]$, so the number of factors is $2g$. Its total order is ${\ell }^{2gr}$, so $\sum a_j=2gr$ forces every $a_j=r$. Combining the prime-power factors by the Chinese remainder theorem provesThe same reasoning works for the dual abelian variety $\hat{A}$, also of dimension $g$.

To define the Weil pairing for an abelian variety on two copies of $A[N]$, we first justify the required theta identification with $\hat{A}$. Identify $X={\mathrm{Pic}}^{g-1}(C)$ with an $A$-torsor and use ordinary translation $T_q(x)=x+q$. The Theorem of the square, a consequence of the Theorem of the Cube, makesa group homomorphism $A\to \hat{A}$. Fix the negative Abel map of an algebraic curve $j:C\to A$, $P\mapsto [P_0-P]$, and let $\rho :\hat{A}\to {\mathrm{Pic}}^0(C)=A$ be pullback by $j$. Pullback by a translate of $j$ gives the same map: algebraically trivial line bundles on an abelian variety are translation-invariant as Picard classes, by the Theorem of the square.

For any $q\in A$, choose a degree-$g$ class $D$ such that both $D$ and $D+q$ have one-dimensional section spaces. This is possible because the nonspecial degree-$g$ classes form a nonempty open subset of the irreducible Picard scheme of a curve, and its translate has a nonempty intersection with it. Since $T_q{\varphi }_D={\varphi }_{D+q}$, the restriction of the theta divisor to an Abel curve proved above givesEach ${\varphi }_D$ differs from $j$ by a translation. Thus $\rho \lambda ={\mathrm{id}}_A$. This equality on closed points is equality of morphisms, since $A$ is reduced and the target is separated. In particular $\lambda$ is a closed immersion, being a section of the separated morphism $\rho$. Its image has dimension $g=\dim \hat{A}$, so it is all of the reduced irreducible abelian variety $\hat{A}$. Therefore $\lambda$ is an isomorphism of schemes. This proves the needed theta autoduality of a Jacobian, including possible infinitesimal issues in positive characteristic.

Here is a definition of the Weil pairing for an abelian variety that also proves nondegeneracy. For $M\in \hat{A}[N]$, the Theorem of the Cube gives $[N{]}^{\ast }M\cong M^{\otimes N}\cong {\mathcal{O}}_A$. Choose a trivialization of $[N{]}^{\ast }M$. The finite étale cover $[N]:A\to A$ has deck group $G=A[N]$. Its natural descent action on $[N{]}^{\ast }M$ becomes multiplication by scalars under this trivialization: these scalars are constant because every invertible regular function on the proper connected abelian variety $A$ is constant. They form a characterwhose values lie in ${\mu }_N$, since $NP=0$ for every $P\in G$. Rescaling the trivialization changes none of these scalars. Translation gives multiplicativity in $P$, and tensor product gives ${\chi }_{M\otimes M^{\prime }}={\chi }_M{\chi }_{M^{\prime }}$. DefineThis fixes a convention for the Weil pairing for an abelian variety; reversing the convention for the descent action inverts all values and changes no nondegeneracy assertion.

If ${\chi }_M=1$, the trivialization is equivariant for the deck group. Descent then makes $M$ the trivial line bundle on the target. Thusis injective. The source and target both have $N^{2g}$ elements, since $k$ contains all $N$ distinct roots of unity and $A[N]\cong (\mathbb{Z}/N{)}^{2g}$. Hence it is an isomorphism. Characters of this group separate its points, so the Weil pairing for an abelian variety is nondegenerate in both variables. Composing with the isomorphism $\lambda$ proves the pairing on $A[N]$ is perfect.

Let $P$ now denote the degree-zero torsion line bundle represented by the point of $A[N]$, and put $L_P={\mathcal{O}}_C(2K_C)\otimes P$. Again the Riemann-Roch theorem gives $h^0(L_P)=n$ and $h^1(L_P)=0$. For translation, use ${\Theta }_P=\Theta +P$ as a translated subset. With ordinary $T_P(x)=x+P$, this is $T_{-P}^{\ast }\Theta$; the notation $t_P^{\ast }\Theta =\Theta +P$ therefore uses $t_P=T_{-P}$.

Let $s_P$ and $s_0$ be the evaluation determinants for the two chosen bases, interpreted as sections of $\det E_{L_P}$ and $\det E_L$. The kernel for the first determinant is $H^0(C,2K_C+P-\sum z_j)$. By Serre duality and the Riemann-Roch theorem its dimension is $h^0(C,\sum z_j-K_C-P)$. Thus the determinant vanishes along ${\alpha }^{\ast }{\Theta }_P$, including multiplicities by the same determinant-complex argument as in part (i). The quotient is a rational sectionwith zero-minus-pole Cartier divisor ${\alpha }^{\ast }({\Theta }_P-\Theta )$. The diagonal factors in the two determinants cancel.

Choose a trivialization $u:P^{\otimes N}\stackrel{\sim }{\to }{\mathcal{O}}_C$. This is possible because $P\in A[N]$. Taking the $N$th tensor power of $r$ and using ${⨂}_j{\mathrm{pr}}_j^{\ast }u$ produces a scalar rational function $R$ on $C^n$ withOn $X$, the Theorem of the square and $NP=0$ implyConsequently there is a rational function $f_P\in k(X{)}^{\times }$ with $\mathrm{div}(f_P)=N{\Theta }_P-N\Theta$. The map $\alpha$ is surjective, since every degree-$3g-3$ line bundle has a section by the Riemann-Roch theorem. The two rational functions ${\alpha }^{\ast }{f}_P$ and $R$ have the same Cartier divisor on the smooth projective connected product $C^n$; their quotient is an everywhere invertible regular function and hence a constant. Rescale $f_P$ to remove that constant. Away from the diagonals, ordinary evaluation giveswhere the $N$th power is interpreted with the chosen torsion trivialization. Equality as rational functions then extends from this dense open set to the whole product.

The torsion trivialization in a determinant quotient cannot be omitted if one uses raw meromorphic representatives. Explicitly, write $P={\mathcal{O}}_C(p)$ and choose $h$ with $\mathrm{div}(h)=Np$. If $r_{\mathrm{raw}}$ is the quotient of the evaluation matrices in these meromorphic frames, thenThus the displayed formula suppresses bundle trivializations; read as an unframed quotient of arbitrary meromorphic representatives, it needs precisely this extra product. Changes of bases or rescaling $u$ only change the allowable nonzero scalar normalization of $f_P$.

Put $n=3g-3$. To specify the Abel map of an algebraic curve into $X={\mathrm{Pic}}^{g-1}(C)$, useThe canonical-class twist is necessary: an untwisted sum has degree $3g-3$, rather than $g-1$. Let $L={\mathcal{O}}_C(2K_C)$. The Riemann-Roch theorem and Serre duality give $h^0(L)=n$ and $h^1(L)=0$.

On $C\times C^n$, write ${\Gamma }_i$ for the graph of the $i$th coordinate, $\mathcal{D}={\sum }_i{\Gamma }_i$, and $\pi$ for projection to $C^n$. The locally free sheaf $E_L={\pi }_{\ast }(L{|}_{\mathcal{D}})$ has rank $n$; at repeated points it records values and jets. Evaluation gives a morphism of rank-$n$ vector bundlesIts kernel at a tuple is $H^0(C,2K_C-\sum z_j)$. By the Riemann-Roch theorem, this space has the same dimension as $H^0(C,\sum z_j-K_C)$, since both line bundles have degree $g-1$. Thus its determinant vanishes exactly along ${\alpha }^{\ast }\Theta$. This is also an equality of Cartier divisors with multiplicities: the evaluation complex computes the sheaf cohomology of $L(-\mathcal{D})$; Serre duality identifies its determinant equation, up to an invertible factor, with the defining theta evaluation equation for $K_C\otimes L^{-1}(\mathcal{D})$.

To calculate the determinant line, set ${\mathcal{D}}_i={\Gamma }_1+\cdots +{\Gamma }_i$. Restriction to the extra graph givesProjection is exact on these finite relative divisors. On ${\Gamma }_i\cong C^n$, the first term is ${\mathrm{pr}}_i^{\ast }L\otimes \mathcal{O}(-{\sum }_{j<i}{\Delta }_{ij})$, where ${\Delta }_{ij}=\{z_i=z_j\}$. Taking determinants inductively yields the evaluation determinant on a product of curves:The determinant of the fixed space $H^0(C,L)$ contributes only a constant line. ThereforeThe diagonal subtraction is essential: ordinary evaluation determinants vanish when columns coincide, whereas restriction to a repeated-point Cartier divisor uses jets. The restriction exact sequences account for those factors in every characteristic.