Past exam of the mathematics course of the University of Cambridge / 2014 / iii / Paper 22 / 1

For the first algebraic curve, a hyperbola, use the line $y=1+tx$ through $(0,1)$. Substitution and cancellation of the known intersection give $x((1-t^2)x-2t)=0$. Thus a rational parametrization of an algebraic curve isThe identity $y^2-x^2=1$ follows immediately. Away from $(0,1)$ its inverse is $t=(y-1)/x$; the exceptional point is recovered at $t=0$. The other point with $x=0$, namely $(0,-1)$, corresponds to $t=\infty$, while $t=\pm 1$ gives the points at infinity on the projective closure. This explains the exceptional parameters rather than discarding them.

For the second algebraic curve, the rational parametrization of an algebraic curvehas inverse $t=y/x$ where $x\ne 0$, and $t=0$ gives the cusp. Indeed, if $x\ne 0$ and $y^2=x^3$, then $(y/x{)}^2=x$ and $(y/x{)}^3=y$. Both curves admit rational parametrizations, although the second has a singular point.

Here is an elementary polynomial pencil with four square members argument. Suppose first that $u,v$ are linearly dependent. Their coprimality of polynomials then forces both to be constant. Otherwise write the four distinct members as $L_j={\alpha }_{j}u+{\beta }_{j}v=s_j^2$. They are nonzero and pairwise coprime polynomials: a common nonconstant factor of two members would divide both $u$ and $v$.

Put $d=\max (\mathrm{deg}u,\mathrm{deg}v)>0$. At most one member of the pencil has degree of a polynomial smaller than $d$, since cancellation of its leading coefficient determines a unique projective pair. Choose a member $L_k$ of minimal degree $e$ and any independent member $L_l$ of degree $d$. The polynomialis nonzero: otherwise the rational function $L_k/L_l$ would have zero derivative, hence would be constant in characteristic zero. Its degree is at most $d+e-1$; if both members have degree zero the original $d>0$ assumption has already failed.

Replacing this pair by any other independent pair changes $W$ only by a nonzero scalar. Since $L_j=s_j^2$, each $s_j$ divides $W$. The pairwise coprimality of polynomials therefore gives ${\prod }_j{s}_j\mid W$. But three members have degree $d$, soa contradiction. Consequently $u$ and $v$ are constant. The possibility that a member is zero was already covered by linear dependence.

To apply this to an elliptic curve, complete the square in its Weierstrass equation of an elliptic curve and work over $\mathbb{C}$. Nonsingularity gives three distinct roots $e_1,e_2,e_3$, so the equation becomes $y^2={\prod }_{j=1}^3(x-e_j)$. A nonconstant rational parametrization of an algebraic curve would have $x=u/v$ with coprime polynomials. Clearing denominators givesThe four factors are pairwise coprime polynomials. A rational function whose square is a polynomial is itself a polynomial, by comparing numerator and denominator in lowest terms. Unique factorization, and the fact that every nonzero complex constant has a square root, make each of these four factors a square in $\mathbb{C}[t]$. They correspond to four distinct projective pairs. The result just proved forces $u,v$ to be constant, and the equation then forces $y$ to be constant as well. This proves the nonparametrizability of an elliptic curve.

Let $C$ be the projective cubic of a Weierstrass equation of an elliptic curve, allowing its elliptic-curve discriminant to vanish, and let $O=[0:1:0]$. Use only the smooth locus of a variety $C_{\mathrm{sm}}(K)$: the singular point, if present, is excluded. For $P,Q$, intersect their chord with $C$, using the tangent if $P=Q$ and counting intersection multiplicity. If the third intersection is $R$, define $P+Q=-R$, wherein general Weierstrass equation of an elliptic curve coordinates. The line through $R$ and $O$ gives this reflection. A vertical chord gives $P+(-P)=O$, and the tangent at $O$ meets $C$ three times at $O$, so $O$ is the identity. The construction is symmetric in $P,Q$. It stays in the nonsingular locus: a line through a singular point has intersection multiplicity at least two there, and therefore cannot also contain two smooth intersections counted with multiplicity.

For the nonsingular case, prove associativity by transporting a known abelian group law. The Abel-Jacobi map of a genus-one curveis bijective over an algebraic closure. Indeed, the Riemann-Roch theorem in genus one says that every divisor class of degree one has a unique effective representative consisting of one point: existence follows from $\ell (D)=1$, and uniqueness follows because two distinct representatives would produce a degree-one map to the projective line, impossible for a genus one curve. Subtracting $O$ gives the claimed bijection.

Any line section represents the same divisor class as $3O$, including tangencies. Thus $P+Q+R\sim 3O$ as divisors on an algebraic curve, while the vertical line gives $R+(-R)+O\sim 3O$. HenceAddition in the Picard group is associative, soThe chord-and-tangent group law is defined over $K$, so the group operation restricts to the $K$-rational points.

For completeness, a singular Weierstrass equation of an elliptic curve produces the smooth-locus group of a singular Weierstrass cubic, not an elliptic curve. Over an algebraic closure, its normalization of an algebraic curve is the projective line; deleting the two preimages of a nodal crossing gives the multiplicative algebraic group, while deleting the single preimage of a cusp gives the additive group. For example, on $y^2=x^3$, the coordinate $u=x/y$, with $u(O)=0$, makes the smooth-locus law addition. On $y^2=x^2(x+1)$ in characteristic different from two, put $t=y/x$ and $z=(t+1)/(t-1)$, with $z(O)=1$; the chord relation gives $z(P)z(Q)z(R)=1$, so the group law is multiplication of $z$. A nonsplit node gives the corresponding form of the multiplicative algebraic group over $K$. These descriptions also establish the singular-case group laws.