2.10. Homogeneous spaces 61 or, equivalently, one can subtract both equations to get C(δ1,δ2) : e1 − e2 = δ2Y 2 − δ1X2, e3 − e2 = δ2Y 2 − δ1δ2Z2. The space C(δ1,δ2) is the intersection of two conics, and it may have rational points or not. If (δ1,δ2,δ3) is in the image of δ, however, then the space C(δ1,δ2) must have a rational point i.e., there are X, Y, Z ∈ Q that satisfy the equations of C(δ1,δ2). Moreover, if X0,Y0,Z0 ∈ Q are the coordinates of a point in C(δ1,δ2), then P = (e1 + δ1X0, 2 δ1δ2X0Y0Z0) (2.12) is a rational point on E(Q) such that δ(P ) = (δ1,δ2,δ3). The spaces C(δ1,δ2) are called homogeneous spaces and are extremely helpful when we try to calculate the Mordell-Weil group of an elliptic curve. We record our findings in the form of a proposition, for later use: Proposition 2.10.3. Let E/Q be an elliptic curve with Weierstrass equation y2 = (x−e1)(x−e2)(x−e3), with ei ∈ Z and e1+e2+e3 = 0. Let δ : E(Q)/2E(Q) → ΓΔ be the injection given by Corollary 2.9.7, and let δ(E) := δ(E(Q)/2E(Q)) be the image of δ in ΓΔ. Then: (1) If (δ1,δ2,δ3) ∈ δ(E), then the space C(δ1,δ2) has a point (X0,Y0,Z0) with rational coordinates, X0,Y0,Z0 ∈ Q. (2) Conversely, if C(δ1,δ2) has a rational point (X0,Y0,Z0), then E(Q) has a rational point P = (e1 + δ1X0, 2 δ1δ2X0Y0Z0). (3) Since δ is a homomorphism and δ(E) is the image of δ, it follows that δ(E) is a subgroup of ΓΔ. In particular: • If (δ1,δ2,δ3) and (δ 1 , δ 2 , δ 3 ) are elements of the image, then their product (δ1 · δ 1 , δ2 · δ 2 , δ3 · δ 3 ) is also in the image • If (δ1,δ2,δ3) ∈ δ(E) but (δ 1 , δ 2 , δ 3 ) ∈ ΓΔ is not in the image, then their product (δ1 · δ 1 , δ2 · δ 2 , δ3 · δ 3 ) is not in the image δ(E) • If C(δ1,δ2) and C(δ1,δ2) have rational points, then C(δ1 · δ1, δ2 · δ2) also has a rational point
Purchased from American Mathematical Society for the exclusive use of nofirst nolast (email unknown) Copyright 2011 American Mathematical Society. Duplication prohibited. Please report unauthorized use to cust-serv@ams.org. Thank You! Your purchase supports the AMS' mission, programs, and services for the mathematical community.