<< стр. 3(всего 3)СОДЕРЖАНИЕ
в€’1 g
= П†2 П†2 (П†в€’1 ОёП†1 )g (P ) (since Оёg = Оё)
2
в€’1
= (П†2 ОёП†1 )g (P ) + Tg (by (8.20))
2

= g(П†в€’1 ОёП†1 )(g в€’1 P ) + Tg
2
(by (8.19))
2
= g(g в€’1 P + P0 ) + Tg
2
(by (8.23))
2
= P + gP0 + Tg .

В© 2008 by Taylor & Francis Group, LLC
249
SECTION 8.9 GALOIS COHOMOLOGY

Therefore,
1 2
Tg в€’ Tg = П„П†1 (g) в€’ П„П†2 (g) = gP0 в€’ P0 .
Conversely, suppose there exists P1 such that

П„П†1 (g) в€’ П„П†2 (g) = gP1 в€’ P1 . (8.25)

Deп¬Ѓne Оё : C1 в†’ C2 by

Оё(Q) = П†2 (П†в€’1 (Q) + P1 ).
1

Clearly, Оё satisп¬Ѓes (8.23). We need to show that Оё is deп¬Ѓned over Q. If
Q в€€ C(Q), then

Оёg (Q) = gОё(g в€’1 Q) (by (8.19))
= gП†2 П†в€’1 (g в€’1 Q) + P1
1
= П†g ((П†g )в€’1 (Q) + gP1 )
2 1
= П†2 (П†2 П†2 )((П†g )в€’1 (Q) + gP1 )
в€’1 g
1
g в€’1 2
= П†2 (П†1 ) (Q) + gP1 + Tg (by (8.24))
= П†2 П†в€’1 (Q) в€’ Tg (g) + gP1 + Tg
1 2
(by (8.22))
1
= П†2 (П†в€’1 (Q) + P1 ) (by (8.25))
1
= Оё(Q).

Therefore, Оё is deп¬Ѓned over Q, so the pairs (C1 , П†1 ) and (C2 , П†2 ) are equivalent.

Proposition 8.33 says that we have a map

equivalence classes of pairs (C, П†) в†’ H 1 (G, E(Q)).

It can be shown that this is a bijection (see ). The most important
property for us is the following.

PROPOSITION 8.34
Let П„П† correspond to the pair (C, П†). Then П„П† в€€ B(G, E(Q)) (= coboundaries)
if and only if C has a rational point (that is, a point with coordinates in Q).

Let P в€€ E(Q). Then
PROOF

gP + Tg = П†в€’1 П†g (gP ) = П†в€’1 (gП†(P ))

and
P = П†в€’1 (П†(P )).
Therefore,
Tg = P в€’ gP в‡ђв‡’ gП†(P ) = П†(P ).

В© 2008 by Taylor & Francis Group, LLC
250 CHAPTER 8 ELLIPTIC CURVES OVER Q

If C has a rational point Q, choose P such that П†(P ) = Q. Then gQ = Q for
all g implies that
Tg = g(в€’P ) в€’ (в€’P )
for all g в€€ G. Conversely, if Tg = g(в€’P ) в€’ (в€’P ) for all g then gП†(P ) = П†(P )
for all g в€€ G, so П†(P ) is a rational point.

Propositions 8.33 and 8.34 give us a reinterpretation in terms of cohomol-
ogy groups of the fundamental question of when certain curves have rational
points.

Example 8.12
Consider the curve C1,p,p from Section 8.8. It was given by the equations

x = u2
x в€’ 2p = pv 2
x + 2p = pw2 .

These were rewritten as

w2 в€’ v 2 = 4, u2 в€’ pv 2 = 2p.

The method of Section 2.5.4 changes this to

C : s2 = 2p(t4 + 6t2 + 1).

Finally, the transformation
в€љ
2t2 (x в€’ p) x2 + 4px в€’ 4p2
2p (x + 2p)
в€љ
, s = в€’ 2p +
t= = 2p
x(x в€’ 2p)
y 2p

(use the formulas of Section 2.5.3, plus a minor change of variables) changes
the equation to
E : y 2 = x(x в€’ 2p)(x + 2p).
We want to relate the curve C1,p,p from Section 8.8 to a cohomology class in
H 1 (G, E(Q)). The map

П†: E в†’C
(x, y) в†’ (t, s)

gives a map from E to C. Since the equations for E and C have coeп¬ѓcients
in Q, these curves are deп¬Ѓned over Q. However, П† is not deп¬Ѓned over Q.
A short computation shows that

(x, y) + (в€’2p, 0) = (x1 , y1 )

В© 2008 by Taylor & Francis Group, LLC
251
SECTION 8.9 GALOIS COHOMOLOGY

on E, where
в€’8p2 y
2p в€’ x
x1 = 2p , y1 = .
(x + 2p)2
2p + x
Another calculation shows that

П†(x1 , y1 ) = (в€’t, в€’s).
в€љ в€љ
Let g в€€ G be such that g( 2p) = в€’ 2p. Then П†g is the transformation
в€љ в€љ
obtained by changing 2p to в€’ 2p in the formulas for П†. Therefore,

П†g (x, y) = (в€’t, в€’s) = П†(x1 , y1 ).

We obtain
П†в€’1 П†g (x, y) = (x, y) + (в€’2p, 0).
в€љ
в€љ
Now suppose g в€€ G satisп¬Ѓes g 2p = + 2p. Then П†g = П†, so

П†в€’1 П†g (x, y) = (x, y).

Putting everything together, we see that the pair (C, П†) is of the type con-
sidered above. We obtain an element of H 1 (G, E) that can be regarded as
an element of H 1 (G, E(Q)). The cocycle П„П† is given by
в€љ в€љ
в€ћ if g 2p в€љ + 2p в€љ
=
П„П† (g) = Tg =
(в€’2p, 0) if g 2p = в€’ 2p

The cohomology class of П„П† is nontrivial in H 1 (G, E(Q)), and hence also in
H 1 (G, E), because C has no rational points. Note that П„П† is a homomor-
phism from G to E. This corresponds to the fact that G acts trivially on
E in the present case, so H 1 (G, E) =в€љ
Hom(G, E). The kernel of П„ is
the subgroup of G of index 2 that п¬Ѓxes Q( 2p).

In general, if E is given by y 2 = (x в€’ e1 )(x в€’ e2 )(x в€’ e3 ) with e1 , e2 , e3 в€€ Q,
then a 2-descent yields curves Ca,b,c , as in Section 8.2. These curves yield
elements of H 1 (G, E). The curves that have rational points give cocycles
in Z(G, E(Q)) that are coboundaries. We also saw in the descent procedure
that a rational point on a curve Ca,b,c comes from a rational point on E. This
discussion is summarized by the exact sequence

0 в†’ E(Q)/2E(Q) в†’ H 1 (G, E) в†’ H 1 (G, E(Q)) в†’ 0.

All of the preceding applies when Q is replaced by a p-adic п¬Ѓeld Qp with
p в‰¤ в€ћ. We have an exact sequence

0 в†’ E(Qp )/2E(Qp ) в†’ H 1 (Gp , E) в†’ H 1 (Gp , E(Qp )) в†’ 0,

where
Gp = Gal(Qp /Qp ).

В© 2008 by Taylor & Francis Group, LLC
252 CHAPTER 8 ELLIPTIC CURVES OVER Q

The group Gp can be regarded as a subgroup of G. Recall that cocycles in
Z(G, E) are maps from G to E with certain properties. Such maps may
be restricted to Gp to obtain elements of Z(Gp , E). A curve Ca,b,c yields an
element of H 1 (G, E). This yields an element of H 1 (Gp , E) that becomes
trivial in H 1 (Gp , E(Qp )) if and only if Ca,b,c has a p-adic point.
In Section 8.7, we deп¬Ѓned S2 to be those triples (a, b, c) such that Ca,b,c
has a p-adic point for all p в‰¤ в€ћ. This means that S2 is the set of triples
(a, b, c) such that the corresponding cohomology class in H 1 (G, E) becomes
trivial in H 1 (Gp , E(Qp )) for all p в‰¤ в€ћ. Moreover, 2 is S2 modulo those
triples coming from points in E(Q). All of this can be expressed in terms
of cohomology. We can also replace 2 by an arbitrary n в‰Ґ 1. Deп¬Ѓne the
Shafarevich-Tate group to be
вЋ› вЋћ

= Ker вЋќH 1 (G, E(Q)) в†’ H 1 (Gp , E(Qp ))вЋ
pв‰¤в€ћ

and deп¬Ѓne the n-Selmer group to be
вЋ› вЋћ

Sn = Ker вЋќH 1 (Gp , E[n]) в†’ H 1 (Gp , E(Qp ))вЋ  .
pв‰¤в€ћ

The Shafarevich-Tate group can be thought of as consisting of equivalence
classes of pairs (C, П†) such that C has a p-adic point for all p в‰¤ в€ћ. This
group is nontrivial if there exists such a C that has no rational points. In
Section 8.8, we gave an example of such a curve. The n-Selmer group Sn can
be regarded as the generalization to n-descents of the curves Ca,b,c that arise
in 2-descents. It is straightforward to use the deп¬Ѓnitions to deduce the basic
descent sequence

0 в†’ E(Q)/nE(Q) в†’ Sn в†’ [n] в†’ 0,

where [n] is the n-torsion in . When one is doing descent, the goal is to
obtain information about E(Q)/nE(Q). However, the calculations take place
in Sn . The group [n] is the obstruction to transferring information back to
E(Q)/nE(Q).
The group Sn depends on n. It is п¬Ѓnite (we proved this in the case where n =
2 and E вЉ† E(Q)). The group is independent of n. Its n-torsion [n] is
п¬Ѓnite since it is the quotient of the п¬Ѓnite group Sn . It was conjectured by Tate
and Shafarevich in the early 1960s that is п¬Ѓnite; this is still unproved in
general. The п¬Ѓrst examples where was proved п¬Ѓnite were given by Rubin
in 1986 (for all CM curves over Q with analytic rank 0; see Section 14.2) and
by Kolyvagin in 1987 (for all elliptic curves over Q with analytic rank 0 or 1).
No other examples over Q are known.

В© 2008 by Taylor & Francis Group, LLC
253
EXERCISES

Exercises
8.1 Show that each of the following elliptic curves has the stated torsion
group.
y2 = x3 в€’ 2; 0
(a)
y2 = x3 + 8; Z2
(b)
y2 = x3 + 4; Z3
(c)
y2 = x3 + 4x; Z4
(d)
y2 = x3 в€’ 432x + 8208; Z5
(e)
y2 = x3 + 1; Z6
(f)
y2 = x3 в€’ 1323x + 6395814; Z7
(g)
y2 = x3 в€’ 44091x + 3304854; Z8
(h)
y2 = x3 в€’ 219x + 1654; Z9
(i)
y2 = x3 в€’ 58347x + 3954150; Z10
(j)
y2 = x3 в€’ 33339627x + 73697852646; Z12
(k)
y2 = x3 в€’ x; Z2 вЉ• Z2
(l)
y2 = x3 в€’ 12987x в€’ 263466; Z4 вЉ• Z2
(m)
y2 = x3 в€’ 24003x + 1296702; Z6 вЉ• Z2
(n)
y2 = x3 в€’ 1386747x + 368636886; Z8 вЉ• Z2
(o)
Parameterizations of elliptic curves with given torsion groups can be
found in .
8.2 Let E be an elliptic curve over Q given by an equation of the form
y 2 = x3 + Cx2 + Ax + B, with A, B, C в€€ Z.
(a) Modify the proof of Theorem 8.1 to obtain a homomorphism
О»r : Er /E3r в€’в†’ Zp2r
(see [68, pp. 51-52]).
(b) Show that (x, y) в€€ E(Q) is a torsion point, then x, y в€€ Z.
8.3 (a) Show that the map О»r , applied to the curve y 2 = x3 , is the map of
Theorem 2.30 divided by pr and reduced mod p4r .
(b) Consider the map О»r of Exercise 8.2, applied to the curve E : y 2 =
x3 + ax2 . Let П€ be as in Theorem 2.31. The map О»r П€ в€’1 gives a
map
y + О±x x
в†’ pв€’r (mod p2r ).
y в€’ О±x y
Use the Taylor series for log((1 + t)/(1 в€’ t)) to show that the map
(2О±)О»r П€ в€’1 is pв€’r times the logarithm map, reduced mod p2r .

В© 2008 by Taylor & Francis Group, LLC
254 CHAPTER 8 ELLIPTIC CURVES OVER Q

8.4 Let E be given by y 2 = x3 + Ax + B with A, B в€€ Z. Let P = (x, y) be
a point on E.

(a) Let 2P = (x2 , y2 ). Show that

y 2 4x2 (3x2 + 4A) в€’ 3x2 + 5Ax + 27B = 4A3 + 27B 2 .

(b) Show that if both P and 2P have coordinates in Z, then y 2 divides
4A3 + 27B 2 . This gives another way to п¬Ѓnish the proof of the
Lutz-Nagell theorem.

8.5 Let E be the elliptic curve over Q given by y 2 + xy = x3 + x2 в€’ 11x.
Show that the point
11 11
,в€’
P=
4 8
is a point of order 2. This shows that the integrality part of Theorem 8.7
not hold for generalized Weierstrass equations. However, since changing
from generalized Weierstrass form to the form in Exercise 8.2 aп¬Ђects
only powers of 2 in the denominators, only the prime 2 can occur in the
denominators of torsion points in generalized Weierstrass form.

8.6 Show that the Mordell-Weil group E(Q) of the elliptic curve y 2 = x3 в€’x
is isomorphic to Z2 вЉ• Z2 .

8.7 Suppose E(Q) is generated by one point Q of inп¬Ѓnite order. Suppose
we take R1 = 3Q, which generates E(Q)/2E(Q). Show that the process
with P0 = Q and
Pi = Rji + 2Pi+1 ,
as in Section 8.3, never terminates. This shows that a set of represen-
tatives of E(Q)/2E(Q) does not necessarily generate E(Q).

8.8 Show that there is a set of representatives of E(Q)/2E(Q) that gener-
ates E(Q). (Hint: This mostly follows from the Mordell-Weil theorem.
However, it does not handle the odd order torsion. Use Corollary 3.13
to show that the odd order torsion in E(Q) is cyclic. In the set of rep-
resentatives, use a generator of this cyclic group for the representative
of the trivial coset.)

8.9 Let E be an elliptic curve deп¬Ѓned over Q and let n be a positive integer.
Assume that E[n] вЉ† E(Q). Let P в€€ E(Q) and let Q в€€ E(Q) be such
that nQ = P . Deп¬Ѓne a map ОґP : Gal(Q/Q) в†’ E[n] by ОґP (Пѓ) = ПѓQв€’Q.

(a) Let Пѓ в€€ Gal(Q/Q). Show that ПѓQ в€’ Q в€€ E[n].
(b) Show that ОґP is a cocycle in Z(G, E[n]).

В© 2008 by Taylor & Francis Group, LLC
255
EXERCISES

(c) Suppose we choose Q with nQ = P , and thus obtain a cocycle
ОґP . Show that ОґP в€’ ОґP is a coboundary.
(d) Suppose that ОґP (Пѓ) is a coboundary. Show that there exists Q в€€
E(Q) such that nQ = P .

This shows that we have an injection E(Q)/nE(Q) в†’ H 1 (G, E[n]).
This is the map of Equation 8.18.

В© 2008 by Taylor & Francis Group, LLC
В© 2008 by Taylor & Francis Group, LLC

 << стр. 3(всего 3)СОДЕРЖАНИЕ