2.10. Homogeneous spaces 63 (7) (δ1 = −1, δ2 = 2). The space C(−1, 2) has a rational point (X, Y, Z) = (4,3,5), which maps to P = (−16, −120) on E(Q) via Eq. (2.12). P is a point of infinite order. (8) ((δ1, δ2) = (1,17), (34,1), or (−34,34)). These are the pairs that correspond to (−1,2) · γ, with γ = (−1,34), (−34,2) or (34,17). Therefore, the corresponding spaces C(δ1,δ2) must have rational points that map to P + T1, P + T2 and P + T1 + T2, respectively. (9) (δ1 = −2, δ2 = 2). The space C(−2, 2) has a rational point (X, Y, Z) = (1,4,3), which maps to Q = (−2, −48) on E(Q) via Eq. (2.12). Q is a point of infinite order. (10) ((δ1, δ2) = (2,17), (17,1), or (−17,34)). These are the pairs that correspond to (−2,2) · γ, with γ = (−1,34), (−34,2) or (34,17). Therefore, the corresponding spaces C(δ1,δ2) must have rational points that map to Q + T1, Q + T2 and Q + T1 + T2, respectively. (11) ((δ1, δ2) = (2,1), and (−2,34), (−17,2), or (17,17)). Since (−1,2) and (−2,2) correspond to P and Q, respectively, then (−1,2) · (−2,2) = (2,1) corresponds to P + Q. The other pairs correspond to (−2,2) · γ, with γ = (−1,34), (−34,2) or (34,17). Therefore, the corresponding spaces C(δ1,δ2) must have rational points that map to P + Q + T1, P + Q + T2 and P + Q + T1 + T2, respectively. (12) (δ1 = 1, δ2 = 2). The space C(1, 2) does not have ratio- nal points (see Exercise 2.12.21). In fact, it does not have solutions in Q2, the field of 2-adic numbers. (13) ((δ1, δ2) = (2,2), (17,2), (34,2), (−1,1), (−2,1), (−17,1), (−34,1), (−1,17), (−2,17), (−17,17), (−34,17), (1,34), (2,34), (17,34), (34,34)). The corresponding spaces C(δ1,δ2) do not have rational points. For instance, suppose C(2, 2) had a point. Then (2,2,1) would be in the image of δ. Since (2,1,2) is in the image of δ (we already saw above that C(2, 1) has a point), then (2,1,2) · (2,2,1) = (1,2,2) would also be in the image of δ, but we just saw (in the pre- vious item) that (1,2,2) is not in the image of δ. Therefore,
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.