Cryptography Reference
In-Depth Information
is defined over
L
and has
j
-invariant equal to
j
L
. Therefore, for any
j
there
is an elliptic curve with
j
-invariant equal to
j
defined over the field generated
by
j
.
∈
THEOREM 1
0.16
Let
K
=
Q
(
√
−
D
)
be an imaginary quadraticfie d, let
O
K
be the ring of
algebraicintegers in
K
,and let
j
=
j
(
O
K
)
,where
O
K
is regarded as a lattice
in
C
.Let
E
be an elliptic curve defined over
K
(
j
)
with
j
-invariant equalto
j
.
1. A ssu m e
K
=
Q
(
i
)
,
Q
(
e
2
πi/
3
)
.Let
F
be the
fiel
d generated over
K
(
j
)
by
the
x
-co o rd inates of the torsion pointsin
E
(
Q
)
.Then
F/K
has abelian
Ga ois group, and every extension of
K
withabe ian G aloisgroupis
con tained in
F
.
2. If
K
=
Q
(
i
)
,the result of (1) holds w hen
F
isthe extension generated
by the squares of the
x
-co o rd inates of the torsion points.
3. If
K
=
Q
(
e
2
πi/
3
)
,the result of (1) holds w hen
F
isthe extension gen-
erated by the cubes of the
x
-co o rd inates of the torsion points.
O
K
)
is algebraic, by Proposition 10.4. The
j
-invariant determines the lattice for
the elliptic curve up to homothety (Corollary 9.20), so an elliptic curve with
invariant
j
(
O
K
) automatically has complex multiplication by
O
K
.
The
x
-coordinates of the torsion points are of the form
For a proof, see, for example, [111, p.
135] or [103].
Note that
j
(
℘
(
r
1
ω
1
+
r
2
ω
2
)
,
1
,r
2
∈
Q
,
where
℘
is the Weierstrass
℘
-function for the lattice for
E
. Therefore, the
abelian extensions of
K
are generated by
j
(
O
K
) and special values of the
function
℘
. This is very much the analogue of the Kronecker-Weber theorem.
There is much more that can be said on this subject. See, for example,
[111] and [70].
Exercises
10.1 Let
K
=
Q
(
√
d
)and
K
=
Q
(
√
d
) be quadratic fields. Let
β ∈ K
and
β
∈ K
and assume
β, β
∈
Q
. Suppose that
β
+
β
lies in a
quadratic fie
ld
. Show that
K
=
K
.(
Hint:
It suces to consider the
case
β
=
a
√
d
and
β
=
b
√
d
.Let
α
=
β
+
β
. Show that if
α
is a root
of
a
quadratic polyno
mia
l with coeci
e
nts in
Q
,thenwecansolvefor
√
d
,say,intermsof
√
d
and obtain
√
d ∈ K
.)
Search WWH ::
Custom Search