Elliptic Functions - Serge Lang
Elliptic Functions - Serge Lang
Elliptic Functions - Serge Lang
Editorial Board
F. W. Gehring P. R. Halmos
Graduate Texts in Mathematics
Elliptic Functions
Second Edition
Springer-Verlag
New York Berlin Heidelberg
London Paris Tokyo
Serge Lang
Department of Mathematics
Yale University
New Haven, CT 06520
U.S.A.
Editorial Board
F. W. Gehring P. R. Halmos
Department of Mathematics Department of Mathematics
University of Michigan Santa Clara University
Ann Arbor, MI 48109 Santa Clara, CA 95053
U.S.A. U.S.A.
The first edition of this book was published by Addison-Wesley Publishing Company, Inc.,
Reading, MA, in 1973.
9 8 7 6 543 2 1
simplifications, e.g. to his reciprocity law at fixed points, and with another proof
for the theorem concerning the automorphisms of the modular function field).
I do not emphasize elliptic curves in characteristic p, except as they arise by
reduction from characteristic O. Thus I have omitted most of the theory proper
to characteristic p, especially the finer theory of supersingular invariants. The
reader should be warned, however, that this theory is important for the deeper
analysis of the arithmetic theory of elliptic curves. The two appendices should
help the reader get into the literature.
I thank Shimura for his patience in explaining to me some facts about his
research; Eli Donkar for his notes of a course which provided the basis for the
present book; Swinnerton-Dyer and Walter Hill for their careful reading of the
manuscript.
S. L.
November 1986
Contents
Chapter 2 Homomorphisms
Points of Finite Order 23
2 Isogenies 25
3 The Involution 28
Bibliography 321
Index . 325
Part One
General Theory
In this part we study elliptic curves, which can be defined by the Weierstrass
equation y2 = 4x 3 - g2X - g3' We shall see that their complex points form
a commutative group, which is complex analytically isomorphic to a complex
torus CjL, where L is a lattice in C. We study these curves in general, especially
those which are "generic". We consider their homomorphisms, isomorphisms,
and their points of finite order in general. We also relate such curves with
modular functions, and show how to parametrize isomorphism classes of curves
by points in the upper half plane modulo SL 2 (Z). We constantly interrelate the
transcendental parametrizations with the algebraic properties involved. Our
policy is to tell the reader what is true in arbitrary characteristic (due to Hasse),
and give the short proofs mostly only in characteristic 0, using the transcendental
parametrization.
1 Elliptic Functions
Fig. 1-1
Unless otherwise specified, we also assume that Im(wdwz) > 0, i.e. that wdwz
lies in the upper half plane ~ = {x + iy, y > O}. An elliptic function f (with
respect to L) is a meromorphic function on C which is L-periodic, i.e.
fez + w) = fez)
5
6 ELLIPTIC FUNCTIONS [1, §l]
f
Proof' We have
2ni L Res f = fez) dz = 0,
ap
this last equality being valid because of the periodicity, so the integrals on
opposite sides cancel each other.
a Fig. 1·2
Again, we can formulate Theorem 2 by saying that the sum of the orders of
the singular points of/ on the torus is equal to O.
Theorem 3. Hypotheses being as in Theorem 2, we have
L miai == 0 (mod L).
Proof This time, we take the integral
r
JoP Z
f'(z) -
fez) dz = 2nJ -1 L miai>
because
f'(z)
resa , z fez) = miai'
On the other hand we compute the integral over the boundary of the parellelo-
gram by taking it for two opposite sides at a time. One pair of such integrals
is equal to
"+Wl f'(z) f"+Wl +W2 f'(z)
f Z f( ) dz - z f( ) dz.
" Z "+W2 Z
for some integer k. The integral over the opposite pair of sides is done in the
same way, and our theorem is proved.
,f.J(z) = \
z
L [(Z
+ weL' -
1 )2 -
CO
~J,
CO
8 ELLIPTIC FUNCTIONS [1, §2]
where the sum is taken over the set of all non-zero periods, denoted by L'.
We have to show that this series converges uniformly on compact sets not
including the lattice points. For bounded z, staying away from the lattice points,
the expression in the brackets has the order of magnitude of l/lwl 3 • Hence it
suffices to prove:
1
Lemma. If A. > 2, then L I-I)' converges.
OJeL' W
Proof The partial sum for Iwi ;a; N can be decomposed into a sum for w
in the annulus at n, i.e. n - 1 ;a; Iwl ;a; n, and then a sum for 1 ;a; n ;a; N.
In each annulus the number of lattice points has the order of magnitude n.
Hence
1 oon 00 1
L
IOJI~N
Iwl). ~ L
1
n)' ~ L n).-l
1
The series expression for f.J shows that it is meromorphic, with a double
pole at each lattice point, and no other pole. It is also clear that f.J is even, i.e.
f.J(z) = f.J( - z)
(summing over the lattice points is the same as summing over their negatives).
We get f.J' by differentiating term by term,
a.J'(z) = -2 L(
weLZ-W
1 )3'
the sum being taken for all w E L. Note that f.J' is clearly periodic, and is odd, i.e.
f.J'( - z) = - f.J'(z).
From its periodicity, we conclude that there is a constant C such that
f.J(z + WI) = f.J(z) + C.
Let Z = -W1/2 (not a pole of f.J). We get
and since f.J is even, it follows that C = O. Hence f.J is itself periodic, something
which we could not see immediately from its series expansion.
It is clear that the set of all elliptic functions (with respect to a given lattice
L) forms a field, whose constant field is the complex numbers.
Theorem 4. The field of elliptic functions (with respect to L) is generated
by f.J and f.J •
[1, §2] THE WEIERSTRASS FUNCTION 9
Proof Iff is elliptic, we can write f as a sum of an even and an odd elliptic
function as usual, namely
Iff is odd, then the product 1&0 is even, so it will suffice to prove that C(f.J) is
I
the field of even elliptic functions, i.e. iffis even, thenfis a rational function of f.J.
Suppose that f is even and has a zero of order m at some point u. Then clearly
f also has a zero of the same order at - u because
j<kl(u) = (_l)kj<kl( -u).
Similarly for poles.
If u == -u (mod L), then the above assertion holds in the strong sense,
namely f has a zero (or pole) of even order at u.
Proof First note that u == - u (mod L) is equivalent to
2u == 0 (mod L).
On the torus, there are exactly four points with this property, represented by
o 001 002 001 + 002
, 2' 2' 2
in a period parallelogram. Iffis even, thenf' is odd, i.e.
f'(u) = -1'( -u).
Since u == - u (mod L) andf' is periodic, it follows thatf'(u) = 0, so thatfhas
a zero of order at least 2 at u. If u ¢ 0 (mod L), then the above argument shows
that the function
g(z) = f.J(z) - f.J(u)
has a zero of order at least 2 (hence exactly 2 by Theorem 2 and the fact that &0
has only one pole of order 2 on the torus). Thenf /g is even, elliptic, holomorphic
at u. Iff(u)/g(u) # 0 then orduf = 2. Iff(u)/g(u) = 0 thenflg again has a zero
of order at least 2 at u and we can repeat the argument. If u == 0 (mod L) we
use g = 1/f.J and argue similarly, thus proving thatfhas a zero of even order
at u.
so(z) - so(a) has a zero of order 2 at a if and only if 2a == 0 (mod L), and has
distinct zeros of order 1 at a and - a otherwise. Hence for all z =1= 0 (mod L)
the function
n [SO(z) -
i= 1
r
SO(uJr
has the same order at z as f This is also true at the origin because of Theorem 2
applied to f and the above product. The quotient of the above product by f is
then an elliptic function without zero or pole, hence a constant, thereby proving
Theorem 4.
Next, we obtain the power series development of SO and go' at the origin,
from which we shall get the algebraic relation holding between these two func-
tions. We do this by brute force.
SO(z) = 21
Z
+ L
WEL'
[ 21 ( 1
Q)
+ -z + (z)2
Q)
- +. . . -
Q)
)2 21 ]
Q)
= 2
1
+ L L 00
(m + 1) --
(z)m 21
z wEL'm=l Q) Q)
where
1
+ L
00
SO(z) = 2
Z
(2n + 1)S2n+zCL)z2n,
n=l
The preceding theorem shows that the points (p(z), p'(z» lie on the curve
defined by the equation
y2 = 4x 3 - 9z X - 93'
The cubic polynomial on the right-hand side has a discriminant given by
Ll = 9} - 279~.
We shall see in a moment that this discriminant does not vanish.
Let
i = 1,2,3,
Thus e l , ez, e3 are the roots of 4x 3 - 9zX - 93' Furthermore, p takes on the
value ei with multiplicity 2 and has only one pole of order 2 mod L, so that
e i #- ej for i #- j. This means that the three roots of the cubic polynomial are
distinct, and therefore
Ll = 9} - 279~ #- O.
12 ELLIPTIC FUNCTIONS [1, §3]
Fig. 1-3
If we fix U 1 , this can hold for only one value of U 2 . Let us assume that we do
not deal with this value. Then both U I , U 2 have multiplicity 1, and the third
zero lies at
U3 == -CUI + u 2 ) (mod L)
again by Theorem 3. So we also get
&;.>'(U3) = ag;.>(u3) + b.
The equation
4x 3 - g2X - g3 - (ax + b)2 = °
has three roots, counting multiplicities. They are 8;.>(U I ), g;'>(U2), P(U3), and the
left-hand side factors as
4(x - g;'>(UI»(X - gJ(u 2»(x - 8;J(U3»'
Comparing the coefficient of x 2 yields
a2
P(Ul) + g;.>(u 2) + P(U3) = 4'
But from our original equations for a and b, we have
a(g;.>(u 1 ) - gO(U2» = &;.>'(Ul) - p'(u 2)·
14 ELLIPTIC FUNCTIONS [1, §4]
Therefore from
we get
1_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ __ _ _
Fixing U 1 , the above formula is true for all but a finite number ofu2 i= U1 (mod L).
whence for all U z i= Ul (mod L) by analytic continuation.
For U 1 == U2 (mod L) we take the limit as Ul -> Uz and get
These give us the desired algebraic addition formulas. Note that the formulas
involve only g2, g3 as coefficients in the rational functions.
This is as far as we shall push the study of the &J-function in general, except
for a Fourier expansion formula in Chapter 4. For further information, the
reader is referred to Fricke [B2]. For instance one can get formulas for go(nz),
one can get a continued fraction expansion (done by Frobenius), etc. Classics
like Fricke still contain much information which has not yet reappeared in more
modern books, nor been made much use of, although history shows that every-
thing that has been discovered along those lines ultimately returns to the center
of the stage at some point.
1 1
Cj L ----+ Cf M
;.
[I, §4] ISOMORPHISM CLASSES OF ELLIPTIC CURVES 15
The top map is multiplication by rx, and the vertical maps are the canonical
homomorphisms.
Proof Locally near 0, ), can be expressed by a power series,
}(z) = aD + a1z + a2z2 + ... ,
and since a complex number near 0 represents uniquely its class mod L, it
follows from the formula
).(z + Zl) == i(z) + A(Z') (mod M)
that the congruence can actually be replaced by an equality. Hence we must have
}.(z) = a1z,
for z near O. But z/n for arbitrary z and large n is near 0, and from this one
concludes that for any z we must have
),(z) == a1z (mod M).
This proves our theorem.
For our purposes, if the reader is willing to exclude certain special cases, it
will always suffice to visualize an elliptic curve as a curve defined by the above
equation, with the addition law given by the rational formulas obtained from the
addition theorem of the p function. The origin is then the point at infinity.
If A is defined over k, we denote by Ak the set of points (x, y) on the curve with
x, y E k, together with infinity, and call it the group of k-rational points on the
curve. It is a group because the addition is rational, with coefficients in k.
If A, B are elliptic curves, one calls a homomorphism of A into B a group
homomorphism whose graph is algebraic in the product space. If A: A -+ B is
such a homomorphism, and the curves are defined over the complex numbers,
then A induces a complex analytic homomorphism also denoted by A,
A: Ae -+ Be,
viewing the groups of complex points on A and B as complex analytic groups.
Suppose that the curve~ are obtained from lattices Land M in e respectively,
i.e. we have maps
<{J: elL -+ Ae and I/!: C/M -+ Be
which are analytic isomorphisms. As we saw above, our homomorphism A is
then induced by a multiplication by a complex number.
Conversely, it can be shown that any complex analytic homomorphism
y: C/L -+ C/ M induces an algebraic one, i.e. there exists an algebraic homo-
morphism A which makes the following diagram commutative.
y
C/L~C/M
~
Ac
1 1~~ Be
These same formulas are valid in all characteristic # 2 or 3, and one can
give purely algebraic proofs. In other words:
Suppose that A, B are elliptic curves in arbitrary characteristic # 2, 3 and in
Weierstrass/orm, defined by the equations
y2 = 4X 3 - g2x - g3
and
y2 = 4x 3 - g;x _ g;
respectively. Let .Ie: A --+ B be an isomorphism, defined over a field k. Then
there exists c E k such that
and if the points (x, y) and (x', y') correspond under .Ie then
x' = c 2 x and
One can then define purely algebraically the invariant
g~
JA = g23 - 27 g32'
and using the above quoted result (proved in characteristic 0 by transcendental
18 ELLIPTIC FUNCTIONS [1, §4]
with
c3 C
J = -
c 3 - 27c 2 - C - 27 '
which we can solve for c, namely
27J
c=
J - l'
provided that J =1= 0, 1. The two cases corresponding to J = 0, 1 are then special,
and are associated with the values i, p in the upper half plane. From the algebraic
point of view, the above equation "parametrizes" universally all elliptic curves
(in characteristic =1= 2, 3) with J-invariant =1= 0, 1, i.e. such curves can be obtained
by specializing the generic equation.
[1, §5] ENDOMORPHISMS AND AUTOMORPHISMS 19
For the two special values, one can select a number of models, e.g.
yZ = 4x 3 - 3x, for J = I,
yZ = 4x 3 - I, for J = 0.
By a suitable normalization, one can define a function on an elliptic curve
closely related to the x-function, but which is invariant under isomorphisms.
Namely, if gzg3 #- 0, we define the first Weber function
hi _ gZg3
A - TXA·
Ix -c
- a -b
x - d
1=0,
whence we see that a is quadratic irrational over Q, and is in fact integral over Z.
Dividing aW2 by W2, we see that
a=cr+d,
where r = WdW2' Since Wi> W 2 span a lattice, their ratio cannot be real. If
a is not an integer, then c "# 0, and consequently
Q(r) = Q(a).
Furthermore, a is not real, i.e. a is imaginary quadratic.
The ring R of elements a E Q(r) such that aL c: L is a subring of the quad-
ratic field k = Q(r), and is in fact a subring of the ring of all algebraic integers
Ok in k. The units in R represent the automorphisms of CjL. It is well known and
very easy to prove that in imaginary quadratic field, the only units of Rare
roots of unity, and a quadratic field contains roots of unity other than ± 1 if
and only if
j-
k = Q(" -1) or k = Q(.J-3).
If R contains i = .J~, then R = Z[i] is the ring of all algebraic integers in k,
which must be Q(i). If R contains a cube root of unity p, then R = Z[p] is the
ring of all algebraic integers in k, which must be Q(.J - 3). The units in this ring
are the 6-th roots of unity, generated by - p.
We may view the Weber function as giving a mapping of A onto the pro-
jective line, and we shall now see that it represents the quotient of the elliptic
curve by its group of automorphisms.
Theorem 7. If an elliptic curve A (over the complex numbers) has only ± 1
. as its automorphisms, let the Weber function be given for a curve isomorphic
to A, in Weierstrass form, by the formula
g2g3
h(x,y) = ~x.
If p is the characteristic, and p/N, then the map may be inseparable, but is still
of degree N 2 , cf. [17]. This will be discussed later.
Let A be an elliptic curve defined over a field k and let K be an extension of k.
Let (f be an isomorphism of K, not necessarily identity on k. One defines A"
to be the curve obtained by applying (f to the coefficients of the equation defining
A. For instance, if A is defined by
y2 = 4x3 - 92 X - 93,
then A" is defined by
y2 = 4x 3 - 9ix - 9;.
If P, Q are points of A in K, then we have the formula
(P + Q)" = P" + Q".
The sum on the left refers to addition on A, and the sum on the right refers to
addition on A". This is obvious because the algebraic addition formula is given
by rational functions in the coordinates, with coefficients in k. Of course, if
P = (x, y), then P" = (x", y") is obtained by applying (f to the coordinates.
In particular, suppose that P is a point of finite order, so that NP = o.
Since 0 is rational over k, we see that for any isomorphism (f of Kover k we
have NP" = 0 also, whence P" is also a point of order N. Since the number of
points of order N is finite, it follows in particular that the points of AN are
algebraic over k (i.e. their coordinates are algebraic over k).
If P = (x, y), we let k(P) = k(x, y) be the extension of k obtained by ad-
joining the coordinates of P. Similarly, we let
k(AN)
be the compositum of all fields k(P) for P E AN. Of course, we view all points
of finite order as having coordinates in a fixed algebraic closure of k, which we
denote by ak or k a.
The above remarks show that the Galois group Gal(ka/k) operates as a
permutation group of AN. Consequently k(AN) is a normal extension of k, and
is Galois if N is not divisible by the characteristic of k. We call k(AN) the field of
N-divisioD points of A over k.
Furthermore, if (f is an automorphism of k(AN) over k, and if we let {fl' f 2 }
be a basis of AN over Z/NZ, then (f can be represented by a matrix
such that
the sum being a formal sum, and the inverse image being taken counting multi-
plicities which can be defined algebraically. However, don't worry about these
for the most part because in characteristic 0, or if N is not divisible by the
characteristic, then the multiplicities are I, and the Pi are simply all the points
in the set theoretic inverse image of Q by A. Over the complex numbers, they are
represented by 0(-1 MIL in the notation of the above paragraph. We call N the
degree of A, denoted by v(}.) or deg A.
Ifv().) = N, then there always exists a homomorphism
fl:B-+A
such that fl 0 }. = fl}. = NJ.
The analytic proof is obvious. Viewing }. as a homomorphism of CfL into
26 HOMOMORPHISMS [2, §2]
CfM, let L'jL be its kernel. Then L'jL has order Nand L' c ~L. Therefore we
have a canonical homomorphism
cj ~L !!. CfL
given by multiplication with N, and the composite
rxf--->J1orx
gives a homomorphism of Hom(A, B) into End(A), and this homomorphism
must be injective, for if J1rx = 0, then Nrx = AJ1rx = 0, whence rx = 0. This
proves our proposition.
[2, §2] ISOGENIES 27
is rational over k. Then we also take for granted that A/g is defined over k and
that the canonical homomorphism
).: A --+ A/g
is defined over k.
28 HOMOMORPHISMS [2, §3]
a = (; ~)
is in GL 2 (R), i.e. is a real non-singular matrix, and Im(z) > 0, then
az + b (ad - be) 1m (z)
Im---- =
ez + d lez + dl z
We denote by f) the upper half plane, i.e. the set of complex numbers z with
1m z > 0. If IX is a matrix as above, in GLi(R), (i.e. IX has positive determinant),
then we see that the element
a(z) = az + b
ez + d
also lies in f), and one verifies by brute force that the association
(a, z) f--> a(z) = az
defines an operation of GLi(R) on f), i.e. is associative, and the unit matrix
operates as the identity. In fact, all diagonal matrices aI (a E R) operate trivially,
29
30 THE MODULAR FUNCTION [3, § I]
T = (b D and S = G-1)o .
Then S, T generate r.
Proof. We illustrate D on Fig. 1.
-1 -! !
Fig, 3-1
On Fig. 1 we have indicated i and also the points where the vertical lines meet
the circle of radius 1. The left-hand point is
[3, §1] THE MODULAR GROUP 31
21[i/3 -1 + J~
p=e = 2 '
i.e. the cube root of unity.
Let f' be the subgroup of f generated by Sand T. Note that -1 = S2 lies
in f'. Given z E ~, iterating Ton z shows that the orbit of z under powers of T
contains an element whose real part lies in the interval [-1, 1]' The formula
giving the transformation of the imaginary part under f shows that the imaginary
parts in an orbit of f are bounded from above, and tend to 0 as max(lcl, Idl)
goes to infinity. In the orbit f'z we can therefore select an element w whose
imaginary part is maximal. If Iwl < 1 then Sw E f'z and has greater imaginary
part, so that Iwl ~ 1.
Next we prove that if z, z' E D are in the same orbit of f, then they arise
from the obvious situation: Either they lie on the vertical sides and are translates
by 1 or - 1 of each other, or they lie on the base arc and are transforms of each
other by S. We shall also prove that they are in the same orbit of f'.
w Fig. 3-2
If ex(z) = z', the arguments will also determine ex, which in particular will be seen
to lie in f'. Say 1m z' ~ 1m z, and z' = ex(z) where
ex = (~ !).
Multiplying ex by -1 if necessary, we may assume that c ~ O. From the formula
for imaginary parts, we see that
Icz + dl ~ 1.
Since 1m z ~ J3/2, we must have IcJ3/21 ~ 1 so c = 0 or 1.
If c = 0, then
1
ex= ( 0 1 =T,
b b)
and exz ED implies that b = ± 1, so we are in the obvious situation.
If c = 1, then d = 0 or d = ± 1. If d = 0, then
-1)o = ras, and 1
ex(z) = a - ; .
32 THE MODULAR FUNCTION [3, §2]
In this case Izl = 1, whence Sz also lies in D on the are, and so z must be at the
end points, i.e. z = p or z = Sp. It is then clear that a = ± 1. If d = ± 1, then
Iz + dl ~ 1, and again obviously we have z = p or z = Sp. Say z = p. If
d = 1, then
a = (7 a ~ 1) ,
and a(p) = p or a(p) = p + 1. Saya(p) = p + 1. Then
. 1
a(p) = rasp = a - - - = p + 1.
p + 1
But -l/(p + 1) = p, so that a = 1, and a = -TST, so we are in one of the
"obvious" cases. The other possible cases are treated similarly.
We have therefore shown that every orbit of the group generated by S, T
has a representative in D, and also that if z, z' lie in D and z' = az with a E r,
then in fact a E r', and the situation is an "obvious" one.
To show that S, T generate r, let a E r, and take an element z in the interior
of D. There exists a' E r' such that a'az ED. By the above, and since z is not
on the boundary of D, it follows that a'az = z. Again since z is not on the
boundary, it follows that a' a = ± I, whence a lies in r', and our theorem is proved.
Remark. We also have that S2 = (ST)3 = I, and that {S}, {ST} are the
isotropy groups of i and p, respectively. For all points which are not in an orbit
of i or p, the isotropy group is ± I. This follows at once from the arguments used
to prove the theorem.
defines a holomorphic map from i)It to the punctured disc of radius e- 27tB ,
i.e. the disc from which the origin is deleted. Furthermore, if i)BIT denotes the
quotient space of i) B modulo translations by integers (essentially a cylinder),
then q induces an analytic isomorphism between i)BIT and this punctured disc
(trivial verification, since for z = x + iy, we have
e 27tiz = e27tixe-2ltY.)
L cnq"·
CD
f*(q) =
-N
and call this the q-expansion of f at infinity. The coefficients Cn are called the
Fourier coefficients of f If eN =I- 0, we call - N the order of f at infinity, and
denote it by voof For any z E f> we let the order of fat z be denoted by vJ
Let 91l be the field of merom orphic functions on f> and let
The sum is taken over all points P of the upper half plane mod r, not in the
orbit of p or i.
Proof We integrate I'lf along the contour of Fig. 3(a), but modified by
taking small arcs around the possible poles on the boundary, as on Fig. 3(b).
For simplicity we phrase the proof under the assumption that f has no pole or
34 THE MODULAR FUNCTION [3, §2]
zero on the edges other than at i or p, which are the most subtle possibilities.
f f .
We have
1.
-2
7rl
I'lf dz = -1.
27rl
d log J = L ResIdues
= L vp(f).
P*i.p
We shall now compute the integral over the top, sides, arcs around the corners,
arc around i, and the main arcs on the bottom circle.
A ,---+----,E
(a) (b)
Fig. 3-3
Under the q-change of variables, the top segment between E and A trans-
forms into the circle centered around the origin, clockwise. The integral over
the top therefore gives
-voc(f)·
The integral over the left vertical side downward, plus the integral over the
°
right vertical side upward yields by the periodicity off
The integral around p over the small arc is equal to
1
27rl.
fB' d log f.
B
As the radius of the small circle tends to 0, the integral of the holomorphic
°
terms tend to 0. Integrating over an arc tending to 71/3 in the clockwise direction,
and taking the limit as the radius tends to yields the value -m/6. We get a
similar contribution on the small circle around - p, whence the contributions
from these two small circles yield
-!Vp(j).
The same argument for the small arc around i shows that we get a con-
tribution of
-!vlf)·
There remains to compute the integrals over the main arcs
The map S transforms the arc B'C to the arc DC'. By definition,
f(Sz) = z2kf(z),
and
Since
f D 1'(w)
- - dw =
C' few)
fB '1'(SZ)
--dz
c f(Sz) ,
and
1 1'(Sz) 1'(z) 2k
~ f(Sz) = fez) + -; ,
we see that the integral over the second arc has one term which cancels the
integral over the first arc, plus another term which is
~
1 fC 2k
-dz
271i B' z
and approaches 2k/12 = k/6.
Putting all these contributions together proves our theorem.
Examples. They are constructed by using the following remark.
There is a bijection between functions of lattices, homogeneous of degree
- 2k, i.e. sati:,fying
G(}.L) = )._ 2k G(L), ). E C,). ::ft 0,
We shall actually get the q-expansion for Gk later, and see that Gk is holomorphic
at infinity, with the above value. Hence Gk is an automorphic form of weight 2k,
and non-vanishing at infinity.
[3, §2] AUTOMORPHIC FUNCTIONS OF DEGREE 2k 37
LI Mk
k=O
= C[gz, g3].
Proof Note that gz, g3 generate a subalgebra of our graded algebra. To
analyse Mk we shall apply the formula of Theorem 2, and observe that for
/E M k , / # 0, all the orders on the left-hand side are ~O. We now proceed
systematically.
k = O. The right-hand side is 0, so all the terms on the left are 0. If/EM 0
and / is not identically 0, then / has no zero on .5 or at infinity. The constants
are contained in Mo. Let c = /( (0). Then g = / - c vanishes at infinity, hence
is identically 0, so Mo = C.
k = 1. The right-hand side is 1/6. The left-hand side shows that this is
possible ifand only if/ = 0, so Ml = 0.
k = 2. We prove that M z = (gz) is the I-dimensional vector space gener-
ated by gz. Let / E M z , / # 0. The right-hand side of the basic formula is 1/3.
The only time this is compatible with the left-hand side is when all the terms on
°
the left are except for tVp(f), and we must have vp(f) = 1, while/has no other
zero. In particular, we have also proved:
gz has a zero only at p, and it is 0/ order 1.
For some constant c,/ - cgl has zero at infinity, and lies in M 1 , hence is identi-
cally zero, and/ = cgz, thus proving what we wanted.
k = 3. We prove that M3 = (g3)' The right-hand side of the basic formula
is 1/2, for/in M3J # 0. The only way this is possible is that v//) = 1, and/has
no other zero. In particular,
g3 has a zero only at i, and it is 0/ order 1.
The same argument as before shows that/ = cg3 for some constant c.
k = 4. We prove that M4 = (gD. The right-hand side of the formula for
°
/ E M 4, / # is 2/3, and hence vp(f) = 2, and / has no other zero. It follows
that / = cg~ as before.
38 THE MODULAR FUNCTION [3, §2)
and we see thatl = bA + cG 6 for some constant b. Inductively, the same tech-
nique shows that for k ~ 6,
The terms on the left are all ~ 0. This is possible if and only if the order of
) - c at some unique z in q~ is =/: 0. The multiplicity is 1 if z is not in the orbit
of p, i and otherwise, it is 2 at i and 3 at p. In any case, our theorem is proved.
We can view) as a function of lattices according to our general scheme
transforming functions of two variables into functions of one variable by
homogeneity. But since) is of weight 0, we see that for a lattice L = [WIo W2]
we can write
)(L) = )(T)
if WI, W 2 are selected such that wdwz = T lies in~. If L = ;,Mfor some complex
A =/:0 thenj(L) = j(M). Conversely, the fact thatj gives a bijection of q~ with
C can be stated in the homogeneous form, namely that the converse holds, i.e.:
Corollary 1. Let L, M be two lattices in C. Thenj(M) = j(L) if and only if
M, L are equivalent.
(1) n cos nz
sin nz
= !+
z n~l
00 [_1_ + -l-J
Z -+ n z n .
But
eiw _ e- iw
cosw = - - - - and sinw = - - - -
2 2
whence
1 . 2'
sin nz = 2i e- mz (e nIZ - 1).
We let
I q = qt = e2nit•
Then for, in the upper half plane f) we get
cos n, q + 1 2ni
(2)
sin n,
n - - = ni - - = ni
q - 1
+ - - = ni - 2ni
q - 1
L00
v= 0
qV.
43
44 FOURIER EXPANSIONS [4, §l]
= 2(2k) q;/v,
m=lv=l (2k-1)!
We let
(Jk(n) = L elk.
din
Proposition 1. We have
y (2nifk 00
(4) GkCr) = 2i,(2k) + 2(2k _ I)! n~1 (J2k-l(n)q~.
1
(6) g3 = 140G 3 = (2n)6 2 3 3 3 (1 - 504Y)
where
L (J3(n)qn L
00 00
X = and Y = (Js(n)qn.
n=1 n= 1
We have also used the standard values
n4
(4) = - and
90
We then get
1
(7) t.. = (2n)12 26 3 3 [(1 + 240X)3 - (1 - 504Y)2J.
We have to show that 5X + 7 Y == 0 mod 4 and mod 3. For this it suffices that
Ld 3 == Ld S mod 4 and mod 3.
din di"
But for all d, we already have d 3 == d S , so our contention holds.
where the coefficients d are integers. From this we now see that the expansion
ll
(9) j = 12 3 ~ = - + anqn
~ q n=O
(10)
8,)(z;r) = 1+ ~ [1 + (z - mr 11)2
-
(mr
1+ ] 11?
1 1 qz 00 00
M(Z' r)
2rri)20v , = 12
+ (1 _ qz)2 + ~ ~ nqmt n(qzn + qz- n)
( i.J i.J
m= 1 n= 1
00 00
-2 L L nq~n.
m=ln=l
Differentiating yields
Using the splitting as in (12) or looking at these again directly, one sees that
these second formulas are valid for all Z E C once r is fixed.
The formulas for g2 and g3 found in the preceding section can be put in a
similar form, say abbreviating q = qt.
[4, §2] EXPANSION FOR THE WEIERSTRASS FUNCTION 47
Proposition 4.
1 1[ n 3 qn ]
+ 240 n~l
if)
1 1[ n 5qn ]
+
if)
From the expansions for g2' g3 and the Weierstrass function, we get trivially
the expansion for the Weber function.
Proposition 5. Let
f 7 5 gz(r)g3(r)
;o(z, r) = -2 3 ~WSJ(z; r, 1).
Let L = [2nir, 2ni]. Then from our knowledge how g;), fiJ', g2, g3 transform
under isomorphisms in Chapter 1, §4 we see that the above expressions in fact
give
and g;)'(z, L).
Thus if we let
and
then the elliptic curve
y2 = 4x 3 - g2 x - g3
is parametrized by the functions having the second expansions. Furthermore,
since the map
Z f-+ (1, &;)(z), &;)'(z))
z =
m=l m. "=0 n.
we get a recursion formula for the Bernoulli numbers, namely
Bo B1 Bn - 1 {I if n = 1
n!O!+(,!-I)!1!+"'+l!(n-l)!= 0 if n>1.
We get Bo = I,
2Bl + Bo = 0, whence Bl = -1/2,
3B2 + 3Bl + Bo = 0, whence B2 = 1/6,
and so forth.
From the identity
_z_
eZ - 1
+~
2
= ~(eZ +
2 eZ - 1
1) = ~ ez / 2 + e- z / 2
2 ez / 2 - e z/2'
we see that the above function is even, and hence has only even terms in its
power series expansion. This implies that, except for Bl> the odd Bernoulli
numbers are equal to O. The first few Bernoulli numbers are then:
1 1 1
B4 = - 30 B6 = 42 Bs = - 30
5 691 7
BlO = 66 Bll = - 20730 B14 = 6.
We have
z ez / 2 + e- z / 2 00 B 2n 2n
:2 e"/2 - e z/2 = "~o (2n)! z
Replace z by 2niz. We then see that
00 (2n)2n
nz cot nz = L (-1)" -( 2
n=O
)1 B 2nZ 2".
11 •
Comparing with our previous expansion for n cot nz, we see that
2n - 1n 2n
,(211) = (_1)n-1 (2n)! B 2n•
[4, §3] BERNOULLI NUMBERS 49
Bn = Dn(e% ~ 1)1.=0
= Dn( -log(1 - (1% - e%») I .
1- e %=0
Using the power series for the log, and differentiating term by term, we find that
Bn =
"+1
L 1
-D"(1 - e%t- 1
I =
"+1
L 1
-:Ak
k=1 k %=0 k=1 k
where
Then
1)
whence
P_l (_
.LC-IY P . i' if r > 0
A, = :~ Hl(P ~ 1) _1
{
if r = 0.
If r = 0, we get the contribution -1 (mod Z). If r > 0, then our value for Ap
is the same as
Dr(l - ezy-t=o,
which yields 0. This proves von Staudt's theorem.
5 The Modular Equation
W~ = elw i
w~ = e2 w Z ,
and e1lez. Since (a, b, c, d) = I, it follows that e1 1. This means that there
exist elements 'I, 'I' E r such that
yay
, ('O
=
I 0)n '
and we see that L1: = rar. This also proves that r operates transitively on the
eosets as desired.
We now want to obtain a simple set of representatives for the left co sets of
r in L1:.
Given a E L1: as above, we can always find 'I E r such that
'I = (: :,)
works.
Suppose now that a is triangular, i.e.
Since
In general, we have
I/I(n) = 11 n (1 + ~)P .
pIn
I/I(n) = L -d q>(e)
dIn e
where e = (d, n/d).
The function 1/1 is multiplicative (in the sense of elementary number theory),
i.e. ifn = n1 n2 with nl> n2 relatively prime, then
This reduces our study of 1/1 to the case when n = p' is a prime power.
For d = I, e = I, we get a contribution of 1 in the sum for I/I(p'). For d = pr
and e = 1, we get a contribution of p'. Hence
Thus the study of j 0 I'J. for rational matrices I'J. is reduced to the study of j 0 I'J.
for integral I'J.. Also, for any integral I'J. we can factor out the greatest common
divisor of its components, and therefore we can always consider primitive I'J..
Let
{I'J.J (i = 1, ... , tfJ(n»
be representatives of the right cosets of ,1:
for r. Then the functions j 0 l'J. i are
permuted transitively by the operation of r, where as usual, r operates on a
functionfby
fHfoy.
Let
<l>n(X) = n (X -
"'(n)
i; 1
j 0 l'J.i),
in the qr-expansion of j, and one sees that the resulting expansion is a power
series in qlld, whence each function f 0 rJ.i grows at most like a power of qat
infinity.
Furthermore, the coefficients of ql/d in the expansion of j 0 rJ.i lie in Z[(d],
where (d = e 2ni / d • In fact, if
1
j = - + P(q),
q
where P is a power series with integer coefficients, and if
rJ. = (~ ~),
then
. _ 1
(1) } 0 IX - a/dyb + P(q aid(d)·
b
q "d
By Theorem 2 we conclude that the coefficients of<Dn(X) are polynomials in
j, whose coefficients are in Z[CJ Furthermore, we may view all these functions
as embedded in the power series field
Q«(n)«ql/n».
If k is any field and X a variable, and if (J is an automorphism of k, then (J
extends to an automorphism of the power series field k«X» by
L cmxm L c~xm. M
extends to the power series field Q«(n)« q1 I n», and we see from (1) that this
automorphism permutes the functions j 0 rJ.i. Consequently the coefficients of
<Dn(X) are invariant under all such automorphisms (J" r E (Z/NZ)*. Hence their
q-expansions lie in Z«q».
By Theorem 2 we now conclude that the coefficients of <Dn(X) are in ZU],
i.e. are polynomials in j with integer coefficients. Thus we may view <Dn(X) as
a polynomial in the two independent variables X and j, and we write it as
<Dn(X) = <Dn(X,j) E Z[X,j].
We call this the modular polynomial of order n.
Theorem 3.
i) The polynomial <DnCX,j) is irreducible over C(j), and has degree !fJ(n).
ii) We have <Dn(X,j) = <D.(j, X).
iii) If n is not a square, then <Dn(j,j) is a polynomial in j of degree> 1 and
with leading coefficient 1.
Proof The first assertion comes from the fact that r permutes the functions
j 0 (Xi (i = 1, ... , !fJ(n» transitively, and acts as a group of automorphisms on the
field C(j, j 0 (X I, . . . , j 0 (XoJ;(n).
56 THE MODULAR EQUATION [5, §2J
Next, we prove the symmetry of (ii). One of the matrices (Xi can be taken as
(~ ~).
Hencej o! is a root of<I>n(X,j), i.e.
n
<I>iKr/n),j(t» = 0, for allt.
Hence
<I>n{j(r),j(m» = 0, for allt,
or in other words,
<I>n(j,j on) = 0.
So jon is a root of <I>n(j, X), but it is also a root of <I>nCX,j), corresponding to
the matrix
(~ ~).
Since <I>n(X,j) is irreducible, we conclude that
<I>n(X,j) divides <I>ij, X),
i.e.
<I>nCj, X) = g(X,j)<I>n(X,j)
for some polynomial g(t,j) E Z[t,j], by the Gauss lemma. It follows that
<I>nCj, X) = g(X,j)g(j, X)<I>n(j, X),
whence
g(X, j)g(j, X) = 1,
and g(X,j) is constant, = ± 1. If g(X,j) = -1, then
<I>n(j,j) = -<I>n(j,j),
and hence j must be a root of <I>n(X). But <I>n(X) is irreducible over Q(j), so this
is impossible, andg(X,j) = 1. This proves (ii).
To prove (iii), assume that n is not a square, so that if
is primitive, and z = IY.Z. Hence j(z) is a root of the polynomial r.f>.(X, X) which
lies in Z[X] and has leading coefficient I according to Theorem 3, whence j(z)
is an algebraic integer. We have Q(z) = Q(T:), and T: = UZ + v with rational
u, v, i.e. T: = f3z with some primitive f3 E Mt (Z). Since j 0 f3 is integral over Z[j]
by Theorem 3, it follows thatj(f3z) = jeT:) is integral over Zfj(z)], and therefore
jeT:) is also an algebraic integer, as was to be shown.
for any prime number p. Stronger results will be derived later by other techniques
and the reader can skip the present arguments.
58 THE MODULAR EQUATION [5, §3]
ai = (6 ~) , i = 0, ... , p- 1
lnd
ap
- (p° ~) .
-
For a modular function!, we shall writef*(q) for its q-expansion, and similarly
for a ql/N-expansion. Such an expansion is a power series in ql/N. If it has
coefficients in a ring Z[(p] where (p is a primitive p-th root of unity, we shall
write congruences
f*(q) == g*(q) (mod 1 - 0
to mean that all the coefficients of f*(q) - g*(q) in the ql/N-expansion lie in the
ideal generated by I - ( in Z[(].
Making the given substitutions in the q-expansion for j 0 ai' we find at
once that
(j 0 ap)*(q) == j*(q)P (modp)
and
(j 0 aJ*(q) == j*(q)l/ p (mod I - O.
Observe that 1 - ( is a prime element at the prime dividingp in Z[(p]. Therefore
we conclude that
cJ>iX,j*(q» == (X - j*(q)P)(XP - j*(q» (mod 1 - 0,
in the sense that the power series in q which are the coefficients of the poly-
nomials in t on both sides of this congruence satisfy the desired congruence. Let
cJ>p(X,j) - (X - jP)(XP - j) = L
t/Jv(J)XV
where t/Jv(j) E Z[j]. Then t/JJj*(q» has coefficients divisibly by 1 - (, hence by
p because these coefficients are ordinary integers. This proves the desired con-
gruence relation.
1 1
Be ~ Ae
.l.
[5, §3] RELATIONS WITH ISOGENIES 59
where the top homomorphism is the canonical one. Its kernel is the finite group
LIM. LetL = [r, 1]. Then
M = [ar + b, cr + d]
with some matrix
in M{(Z). Hence
jB = j(Y.!) = j(M) and jA = j(r) = j(L).
In particular, we see thatj(ctr) is a root of the polynomial
<pn(X,j(r» E Z[j(r), X].
Evaluating functions at r in fact shows that for any special value of r E ~, the
roots of <Pn(X,j(r» are precisely the values
j(rxir), i = 1, ... , lj;(n).
A sublattice M of L is called primitive if when we express a Z-basis of M in
terms of Z-basis of L, by a matrix rx in M 2 (Z), then rx is primitive. It is immedi-
ately verified that M is primitive in L if and only if the factor group LIM is
cyclic (using the elementary divisor theorem). Thus the primitive sublattices of
L correspond to the isogenies with a cyclic kernel, whose order is precisely
the determinant of rx, or equivalently the index (L : M).
For any given value of r E ~, we see that the roots of
<pn(X,j(r»
are exactly the j-invariants of all the elliptic curves B which admit a cyclic
isogeny
(~ ~) == 1 (mod N),
in other words
a == d == 1 (mod N) ande == b == °
(mod N).
We call r N the congruence subgroup of level N. By SL 2 (Zj NZ) we shall mean the
group of matrices with components in the ring ZjNZ having determinant 1 in
ZjNZ. Reducing SL 2 (Z) mod N maps SL 2 (Z) into SL 2 (ZjNZ), and the kernel by
definition is r N' Actually one has an exact sequence
0-+ rN -+ SLz(Z) -+ SL 2 (ZjNZ) -+ 0,
and the surjectivity on the right is proved as follows.
Let
ex = (~ ~).
61
62 HIGHER LEVELS [6, §2]
(a +NXN y:)
has determinant 1. Let ad = 1 + rN. Our problem amounts to solving
r + dx - yN = 0,
which we can do since (d, N) = 1. This proves the surjectivity.
By a simple counting argument, one sees that the order of SL 2 (Z/ NZ) is
piN
Nn(1 - -;).
P
3
(~ ~)
with dE (Z/NZ)*. Thus GN ::;:0 (Z/NZ)*. Then
GLiZ/NZ) = GN • SL 2 (Z/NZ) = SL 2 (Z/NZ) . GN •
Indeed, any matrix in GLiZ/NZ) can be multiplied, say on the left, by a suitable
element of GN , so that the product has determinant 1 in Z/NZ. The product
decomposition is clearly unique. Furthermore, we have an exact sequence
defines a holomorphic map from i)B (the set of rEi) with 1m r > B) onto a
punctured disc, and is defined on i) modulo the translation by N. Since the
matrix
(~ ~)
[6, §2] THE FIELD OF MODULAR FUNCTIONS OVER C 63
Proof Let fE F I • e . For some polynomial P(j) the function fP(j) is holo-
morphic on ~. (For instance, if fhas a pole at zo, thenf(J - j(zo))m has no pole
at Zo for high m, and the number of possible poles in a fundamental domain is
bounded sincefis meromorphic at infinity.) Suppose thatfhas no pole on~,
and has a pole of order n at infinity. Using the fact thatj has a pole of order 1
at infinity, we see that there exists a constant c such that f - cj" has a pole of
order ;5.n - I at infinity. Consequently by induction, we can find a polynomial
inj such thatf - PolU) has no pole on ~ and no pole at infinity. Thenf - Pol(j)
lies in the space of automorphic functions of weight 0, i.e. the constants, and
this concludes the proofthatfE C(j).
We shall now find generators for F N •e . Let
so that WE C and r E ~. This is called the first Weber function. Having fixed the
integer N > I, for Y, S E Z and not both divisible by N, let
Since r N operates trivially, we may view the finite group rjr N as operating on
FN,c, the kernel containing ± 1.
We are essentially in a situation of Galois theory, with a group r;r N
operating on the field FN,c, with fixed field FN,c'
Theorem 2. We have
F N,C = F I ,dlr,.)all r,S = C(j, Ir,.)all r,s'
Furthermore, the Galois group of FN,c over FI,c is precisely
r; ± r N = SLz(Zj NZ)j ± 1.
Proof Let E be the subfield of FN,c generated over C(j) by all fr,s' Since
r permutes the fr,s it follows that r;r N acts as a finite group of automorphisms
of E. Note that ± 1 acts trivially, because the &J-function is an even function.
We shall now prove that any element y E r which acts trivially on E must lie
in ± r N' We consider the effect of y on the two functions fl.o and fO,l' Since
p(u) = p(v) if and only if u ==
v (mod L), we see that ify leavesJ(l,O) andJ(o,l)
fixed, then
1(1,0) 0 Y = I(± 1,0) and 1(0,1) 0 Y = I(O,±I)'
From this one sees at once that
the product being taken over all (r, s) mod N (we could also take the product
over those (r, s) such that (r, s, N) = 1). We obtain a polynomial in X, whose
coefficients are invariant under r, because r permutes the 1.,$' Hence these
coefficients are modular functions of levell, holomorphic on f,. Furthermore,
their Fourier coefficients are in the field Q(CN)'
By Theorem 2 of Chapter 5, it follows that these coefficients are poly-
nomials inj with coefficients in Q(CN), and hence the functions I." are algebraic
over Q(j).
Let QN = Q(C N), and let
FN = Q(j, fr,.)alI r,s'
We shall call FN the modular function field of level N over Q, and omit the
reference to Q in a discussion when the context makes it clear.
From the function theory of the preceding section, we already know that
its Galois group contains
SL 2 (Z/NZ)/±"l = r/±rN'
Theorem 3. The Galois group of FN/Q(j) is precisely
GL 2 (Z/ NZ)/ ± 1.
The algebraic closure of Q in FN is QN = Q(CN)' If rx E GL 2 (Z/ NZ), then the
automorphism induced by rx on QN is given by the determinant, i.e. if u(rx)
is the automorphism given by rx on FN , then
u(oc)C = Cdel ".
The Galois group of FN over QN(j) is SL 2 (Z/NZ)/± 1.
Proof We shall prove Gal(GN/Fl) contains the group
with q = qt. This power series is therefore contained in the power series field
QN«ql/N».
If k is any field and X a variable, then any automorphism u of k extends to the
power series field k«X» by the mapping
[6, §3] THE FIELD OF MODULAR FUNCTIONS OVER Q 67
If dE (Z/ NZ)* we let (Jd be the automorphism of QN«ql/N» obtained in the above
manner, from the automorphism of QN such that 'N!--+ ,~. Then g2, g3,j are
fixed since their q-expansions are in Q«q». On the other hand, we see from the
q-expansions of the Weber function that
(J d: f,i r) !--+ f"saC r).
In other words (Jd defines an element of Gal(FN/Q(j», and (Jd is represented by
the matrix
(~ ~).
Hence GN is contained in Gal(FNIQ(j». It follows now at once that
Gal(F,'1/Q(j» = GL 2 (Z/ NZ)/ ± 1.
Furthermore, from the way we defined (Jd' and the decomposition of an element
in GL 2 (Z/NZ) as a product from an element in GN and an element in SL 2 (Z/NZ),
we see that the effect of an element in GL 2 (Z/ NZ) on the roots of unity is given by
the determinant of the matrix.
Finally, let k be the algebraic closure of Q in F N , so that k = C n FN • Then
Gal(FNlk(j) ;:;:; Gal(FN,clC(j» ;:;:; SL 2 (Z/NZ)/± 1.
Hence
[k(j): Q(j)] = [k: Q] = order of (Z/NZ)* = [Q('N): Q].
Since FN C QN«ql/N» it follows that k c QN' and we get equality by the fact
that k and QN have the same dimension over Q. This settles the Galois group
of FN/Q(j).
________ FN,c
FN I
I ________ C(j)
k(j) I
I __________ c
k
j-invariant is j(r), say in Weierstrass form with coordinates (x, y). Let h be the
first Weber function, so that
h( x, Y) -- _2 7 35 gZg3
/l. x,
and let q>: e/L -+ Ac be the analytic parametrization given by the Weierstrass
functions. Let P 1 = q>(w1/N) and P z = q>(wz/N). Then
h(P1) = f(1.olr) and h(P2 ) = f(o.1)(-c).
In general,
f. .•(-c) = h(rP1 + sP2 )·
Therefore the field FN(-c) is none other than the field
Q(j(-c), h(AN»
of x-coordinates of division points of order Non A<. Its Galois group is a sub-
group of GLz(Z/ NZ)/ ± 1, as we saw in Chapter 2.
Corollary 1. Let j be transcendental over Q. Let A be an elliptic curve
with invariant j, defined over Q(j). Let
KN = QU, AN)·
i) The Galois group ofKN over Q(j) is isomorphic to the full group GLz(Z/ NZ)
in its representation on AN :::::; (Z/NZ)2.
ii) The algebraic closure ofQ in KN is Q«(N).
iii) The Galois group of KN over Q«(N,j) is SL 2(Z/NZ).
Proof Let G = Gal(KN/Q(j». By the result for FN we see that
G· {±1} = GL 2(Z/NZ).
Let
y=G -~),
so that y E SL 2(Z/ NZ) and y2 = - 1. Then y or -y lies in G, and hence - 1 E G,
whence G = GL2(Z/ NZ). This proves the first assertion, and the argument also
proves the following lemma.
Lemma. Let G be a subgroup ofGL 2(Z/NZ) [resp. SL 2(Z/NZ)] which maps
onto GLz(Z/ NZ)/ ± 1 [resp. onto SLz(Z/ NZ)/ ± 1] under the canonical
homomorphism. Then G = GLz(Z/NZ) [resp. G = SLiZ/NZ)].
naturally isomorphic with the Galois group of C(J, AN) over C(j) (assuming that
j is transcendental over C, i.e. making the constant field extension to C from k).
Using Theorem 2 of the preceding section we conclude that
G I · {±I} = SL 2(Z/NZ).
By the lemma, it follows that G I = SL 2 (Z/NZ). Hence the order of the Galois
group of k(j) over Q(j) is exactly the order of (Z/ NZ)*, by the exact sequence at
the end of § I. This implies that
[k: Q] = order of (Z/ NZ)*,
and since k contains the N-th roots of unity, we conclude that k = Q«(N)'
thereby proving both (ii) and (iii), and concluding the proof of the corollary.
Let k be an algebraically closed field of characteristic 0 and let jo be trans-
cendental over k. Let us assume that the cardinality of k is at most that of C.
We can then embed k into C, and even in such a way that C has infinite degree
of transcendence over k. Let A be an elliptic curve defined over k(Jo), with
invariantjo. Taking a suitable isomorphism of k(Jo) over k, we may assume that
jo is transcendental over C. Select rEt) such thatj(r) is transcendental over k.
Let F",k = kFN be the compositum of the modular function field over Q with
k. The map fl---+ fer) induces an isomorphism of FN,k with a subfield FN,k(r) of
C. There is also an isomorphism of k(Jo) with k(j(r», sending jo on j(r), and
transforming A on an elliptic curve At defined over k(j(r», having invariantj(r).
Thus we have isomorphisms
k(jo, AN) ~ k(j(r), A~),
and
k(jo, h(AN» ~ k(j(r), h(A~» ~ FN,k'
Having assumed that io is transcendental over C, it follows that C is linearly
disjoint from the algebraic closure of k(Jo) over k. Making the constant field
extension from k to C, we see that
C(Jo, h(AN» ~ FN.C •
Corollary 2. Let k be an algebraically closed field of characteristic 0 and
let j be transcendental over k. Let A be an elliptic curve with invariant i,
defined over k(j). The Galois group of k(j, AN) over kU) is isomorphic to
SLzCZ/ NZ) in its representation on A N ~ (Z/ NZ)2.
Proof There exists a subfield ko of k which is finitely generated over the
rationals, such that A is defined over ko(j), and such that ko is algebraically
closed in ko(J, AN)' i.e. ko is the constant field of ko(J, AN)' We may then replace
k by the algebraic closure of ko, and therefore we may assume that k has finite
transcendence degree over Q. We may then also assume that k is contained in
the complex numbers, and we may identify i withj(r) for some value r such that
i(r) is transcendental over k. Letting cp: CjL -+ Ac be an analytic parametriza-
tion, we let PI = cp( w 1/N) and P 2 = cp(W2/ N) as usual. Let G be the Galois
70 HIGHER LEVELS [6, §3]
For each (r, s) we therefore have (r, s)a = ±(r, s)f3. Taking (r, s) to be (1,0)
and (0, 1), respectively, shows that f3 = ± IX or
_ (-ac d
f3-±
-b)'
Say f3 = (
-a
c -!) . Take (r, s) = (1, 1). We see that
(a + c,b + d) == (-a + c, -b + d) (modN),
whence 2a == 0 (mod N) and 2b == 0 (mod N). If N = 2, then 1 == - 1 (mod 2)
and GL 2 (Zj NZ) = SL 2 (Z/ NZ), so we may assume N > 2. If N is odd, then
a == b == 0 (mod N), which is impossible. If N is even, then a == b == 0 (mod Nj2),
which is also impossible. Hence f3 = ± IX, and we have proved that
G c: SLAZ/ NZ).
The lemma shows that G = SL 2 (Z/NZ), and proves our corollary.
The main part of the argument was to show that Galois group of C(j, AN)
over C(j) is contained in SLAZ/ NZ). One can use a quite different approach,
based on a canonical skew-symmetric non-degenerate pairing
AN x AN ..... liN'
[6, §3] THE FIELD OF MODULAR FUNCTIONS OVER Q 71
where /IN is the group of N-th roots of unity, due to Wei I on abelian varieties.
Cf. my book on abelian varieties, and Shimura's book [BI2], where Shimura
actually selects this approach to the question. Hence it seemed worthwhile to
describe the other way in the present book. An analytic description of this
pairing will be given in Chapter 18. The pairing is compatible with the action of
the Galois group, i.e.
<(JP, aQ) = <P, Q)".
From this it is immediate that if r:t. is the matrix representing a in its action on
AN relative to a basis of AN over Z/NZ, then
('!v = (~etll.
Consequently, over the complex numbers, we see right away that the image of
the Galois group in GL 2 (Z/NZ) is in fact contained in SL 2 (Z/NZ).
The proofs in this section are classical. Weber [B 16], §63, knew the structure
of the Galois group of the division points of order N, both over the complex
numbers and over the rationals, especially that the roots of unity came up as
the new constants. Fricke [B2], Vol. Two, lA, gave precisely the same arguments
we have chosen here, through the automorphism on roots of unity acting on the
coefficients of the q-expansion.
Shimura in [38] gave new birth to these questions, and to the study of the
modular function field, using these arguments. It was of considerable help for
the present-day generations to have Shimura's paper available, rather than plow
through Weber or Fricke, whom we had to learn to read all over again.
The analogous results in characteristic p were given by Igusa [22], [25], who
even works integrally over Z[j]. He gives different arguments, based on ramifica-
tion theory, and finds the unipotent elements in the Galois group over the com-
plex numbers to see that it is all of SL 2 (Z/NZ). We shall recover this ramification
theory later, when we discuss the Tate parametrization.
One of the reasons why it is still hard to read Weber is that he uses extensively
the Jacobi elliptic functions, rather than the Weierstrass function more or less
exclusively, as we have done.
Actually, there is some point in using the same functions Weber uses, or
similar ones, constructed out of theta functions, because their values are special
algebraic numbers, which are units when suitably normalized, and in this sense
Weber knew perfectly well what he was doing (cf. [BI6], §I57). We shall consider
this type of question in the last part of the book, since it is much more subtle
than the general question of generating class fields any old way by values of
modular functions of some level.
In this book we are exclusively concerned with congruence subgroups of
r = SL 2 (Z), i.e. subgroups which contain some r N. It is known that there are
infinitely many subgroups of finite index which are not congruence subgroups.
One can factor the upper half plane 5 by these to obtain coverings of the
72 HIGHER LEVELS [6, §4]
is
[6, §4] SUBFIELDS OF THE MODULAR FUNCTION FIELD 73
Although Fricke [B2], Vol. Two, 1.4 also gives some discussion of subfie1ds
of the modular function fields, his discussion is not so clear (to me), and I
follow Shimura [38], [BI2].
In selecting r such that j( r) is transcendental, we could always pick r trans-
cendental itself (for trivial cardinality reasons, the set of algebraic values of
jon i) is denumerable). In particular, an elliptic curve At with transcendental
j(r) always has a trivial ring of endomorphisms, i.e. End(At) ~ Z.
The first case we consider is that ofj(Nr), which is the invariant of an elliptic
curve with lattice
[Nr, 1] '" [r, ~J.
Let r = wt/w 2 and let L = [WI' W2] be the lattice of At. Put as before
and
(~ ~)
leaves j(Nr) fixed if and only if it maps (P 2) into itself. But
{(~ ~) E GL (Z/NZ)}! ± 1.
2
(~ ~)
74 HIGHER LEVELS [6, §4]
such that
(l,0)(~ ~) = (±1,0).
This immediately implies the corollary.
Corollary 2. Thefield of Corollary I is a maximal subfield of FN consisting
of functions whose Fourier coefficients in the ql/N-expansion are rational.
Proof Clear.
Theorem 6. The Galois group of FN over the jield Q(j,j 0 a)all a, with
a E Mt (Z) and det \J. = N, is the diagonal group
leavesj 0 rx fixed for all rx, then it leavesj () rx fixed for the special rx corresponding
to the factor curves A/(P 1 ), A/(P2 ) and A/(P 1 + P 2 ). The matrix
(~ ~)
must map each one of the vectors (1, 0), (0, 1), (1, 1) into a scalar multiple of
itself, and from this one sees at once that the mtrix must be diagonal, thus
proving the theorem.
One usually denotes by r o(N) the group of elements rE r = SL 2 (Z)
consisting of matrices
r= (~ ~)
with c == °(mod N).
Theorem 7. The jixedjield of FN by ro(N) is thejield QU,j c N, (v).
Proof This is immediate from Theorem 5, the fact that elements of SL 2 (Z)
leave the constants fixed, and that the group of Theorem 5 is the product
ro(N)G N ,
where G N consists of the matrices
(~ ~), dE (Z/NZ)*.
7 Automorphisms of the
Modular Function Field
and so taking the projective limit can be done "component wise" with respect
to the primes. The projective limit of the rings Zjprz as r -+ CI) is simply the
ring of p-adic integers Zp. Let Z; be the group of p-adic units (invertible elements
in Zp). Then we see that
lim GL 2 (ZjNZ)
j;
= n GL (Zp),
p
2
where GLz(Zp) is the group of matrices with components in ZP' having their
determinants in Z;. We abbreviate
GL 2 (Zp) = Up
and let
U = n Up n GL (Zp)'
p
=
p
2
where the prime on the product means restricted product: For almost all p the
75
76 AUTOMORPHISMS OF THE MODULAR FUNCTION FIELD [7, §l]
with p-adic component in Q!, and almost all components in Z;. Using the prime
factorization of an integer, one sees at once that
AQ = Q+(R+ X 0 Z;),
p
n
For any field k it is easy to see that SL 2 (k) is generated by the elements
W(a)W(-I) = (~ a~1)'
thereby proving our assertion about SL 2 (/().
Now given 0( E SLiAf), let p be a prime where O(p is not p-integral. Write
0( as a product
for the finite number of primes where IX is not integral, and thus obtain an element
x E SLz(Q) such that
as desired.
To handle GL z we multiply an element IX E GLz(A f) by an element fJ of the
form
so that fJlX E SLz(Af ). Approximating the idele s = ( ... , sp ... ) at a finite number
of p by a positive rational number, we can find a rational matrix
y = G~), I'E Q+
such that yet E SLiAf)U. This reduces our problem to the preceding one, and
proves our theorem.
whence an isomorphism
Q2/Z2 -> QLt/L t.
The group QLt/Lt is the torsion subgroup of CjLt' and its image under CPt
consists of the points of finite order on A. We shall also denote by cP the homo-
morphism of Q2 /Z2 -> A obtained by the composition of mappings
Q2/Z2 -> QLt/L t -> A.
We see that our analytic representation gives us a coordinate system for the
points of finite order on A. If a E Q2 and a denotes the class of a in Q2 /Z2, we
also write
cp(a) = (p(a).
h( x, y ) = _2 7 35 gzg3
Ll x,
Theorem 3. Let rEi) be such that j(r) is transcendental over Q, and let
A be an elliptic curve such that jA = j(r), and defined over Q(j(r». Let
cp: CjLt -> Ac be an analytic parametrization of A. Let U be as in §1. Then
[7, §2] OPERATION OF THE RATIONAL ADELES 79
for each u E U there is an automorphism (J(u) of the field of all division points
on A such that
<p( at(U) = <p( au),
and the map u f-> (J(u) is an isomorphism of U onto the Galois group of the
field of all division points over Q(j(T».
Proof This is a reformulation of Theorem 2, and Theorem 3 of the preced-
ing chapter, taking into account the projective limits.
In particular we get the formula
first for the Fricke functions la, where a has exact denominator N, and then for
any f E FN since the functionsfa generate F N.
Q2/Z2~ At
«-11 1~-1
Q2jZ2 ~ QLa(t)/La(r) ~ Aa(t)
ll«
alp.(T) = (a(T»)
1 '
whence
p.
-l(T)1 __a l(a(T»)
~ l'
[7, §2] OPERA nON OF THE RA nONAL ADELES 81
p-'l
CfL~(t) ~ A~(t)
1 A«
Then '"
1l- 1(a 1 , a 2 )G) = (a 1, a Z)Il- 1 G) = (a l, az)a-1(air »),
and therefore the square on the left is commutative. This proves the lemma.
Since A~(t) has invariant j(a(r», we can always select A~(t) defined over
Q(j(a(r»). A way of doing this is to take the elliptic curve with transcendental
invariantj to be defined by
yZ = 4x 3 - gx - g,
such that g/(g - 27) = j/12 3 • If we select A~Ct) defined over Q(j(a(r»), then any
automorphism of F(r) over F1(r), for instance a(u), can be applied to A~(tJ.
Theorem 5. (Shimura) Let u, v E U and let a, f3 E GLi(Q) be such that
au = vf3. Assume that j(r) is transcendental over Q, and that At (resp. A~Cr» is
defined over QU(r» [resp. over Q(j(a(r»)]. Then a(u)A~Ct) has invariant
j(f3(r». Select AP(t) = a(u)A~(r). Let }'«' Ap be the isogenies which make the
diagram in the lemma commutative. Then
A~Cu) = ± Ap.
Proof We first prove that independently of how we choose AP(r), the two
isogenies
and
have the same kernel.
The kernel of A~ is cp(Z 2 a/Z 2). Hence
Ker A~(u) = (Ker A«)"cu) = cp(ZZajZ2)'1(u)
= cp(Z 2 au/Z 2 ) (see below)
= cp(Z2vf3/Z 2 )
= cp(Z 2 f3/Z 2 )
= Ker J.p.
This proves the first assertion, except that we must explain the notation
Z2 au jZ2.
We recall that
QZ/Z2 = II Q;/Z;,
p
82 AUTOMORPHISMS OF THE MODULAR FUNCTION FIELD [7, §2]
and since exup = vp[3, we have Z~exup = Z~v[3p = Z~[3. From these remarks,
the notation makes sense, and the equalities in the above proof are valid.
The two isogenies ).~(u) and I'll having the same kernel shows that their
images are isomorphic, and hence have the same j-invariant, so that the first
assertion of our theorem is valid. We may then choose AP(r) = a(u)A,(r). Both
;.~(u) and ).p then map Ar on the same image, and have the same kernel, so they
differ by an automorphism of the image. Since we selected r such that j(r) is
transcendental, we know that the only possible automorphisms are ± 1. This
proves Theorem 5.
We can now return to Theorem 4, and verify the relation of Theorem 4
for the functionsj andla.
First, we have
and
j(r)"'(V)"'(P) = )(r)".(/I) = j([3(r)).
The two expressions on the right are equal by Theorem 5, so our relation is
proved for the j function.
Next, we consider a E Q2 and b = aex- 1. Then:
({Jib)",(·)rr(ll) = ((J.(r)(b)",(u)
= ({) (aex-I)".(u)
" .(r)
= u..«({Jr(a))"(u)
= ),~(U)«({Jr(a)"'(Il)
±Ap 0 ({Jiau)
±({J{J(r)(aup-l)
±({JII(riaex-1 v)
± ({J{J(ri bv).
Taking the h-coordinate yields
fb(r:L(r»)"'(Il) = fbv([3(r)
which means that
(oa 0)
a '
a E Q*,
simply by using the results of the preceding chapter. We leave this as an exercise.
Theorem 6. (Shimura) The Sequence
0-> Q* -> GLzCAf ) -> Aut(F) -> 0
is exact, in other words, every automorphism of F is of the form au (i.e.
(J(rx)(J(u»for some rx E GLi(Q) and u E U.
Proof The proof which we shall give for the surjectivity now differs from
Shimura's arguments, and is based on a different principle.
Let (J be an automorphism of F. If (Jj = j, then (J E (J( U) and we are done.
We shall reduce our proof to this case.
First we may assume that (J leaves the roots of unity fixed, because we can
compose (J with some (J(u) to achieve this. It then suffices to prove that we can
compose (J with some (J(rx) so as to fixj. Since (J is now assumed to leave the roots
of unity fixed, it may be extended to an automorphism of the modular function
field Fe over C, leaving the constants fixed.
Let A be an elliptic curve having invariant j, defined over eej), say by the
standard Weierstrass equation. We identify the modular function field of level
N over C with eej, h(AN»' The field
Fg:~ = eej, h(A(p»)
In this chapter we assume that the reader is acquainted with the ordinary
ideal theory in number fields. Cf. for instance [B7]. The first two sections should
be read as technical background for Chapter 10, §2. On the other hand, although
we strive for some completeness, once the reader sees the first results that the
proper o-lattices form a multiplicative group, he can wait to read the other
results until he needs them, as they are slightly technical. They are all classical,
known to Dedekind, except possibly for the fact that a proper o-lattice is locally
principal, which seems to have been first pointed out by Ihara [26]. The localiza-
tion technique will be used heavily for the idelic formulation of the complex
multiplication, as in Shimura [BI2].
k = Q(r). We let ).1--+ J.' be the non-trivial automorphism of k. Let r satisfy the
quadratic equation
At 2 + Bt + C =0
with integers A, B, C which are relatively prime and A > O. Let the discriminant
be
D = B2 - 4AC,
so that
t=
-B +.JD .
2A
We clearly have
(1) B == D (mod 2).
Theorem 1. Notation as above, let
0-
_[1 ,
D +2.JPl
-J = [1' B +2 .JD] .
Hence [1, B +2.JD] is contained in the order of [t, 1]. To prove the converse,
we prove another basic result first.
Theorem 2. Let L' = [t /, 1] where r' is the conjugate oft, and let 0 be as in
Theorem 1. Then
Proof We have
I-
B - D -B + yD
2
I I I
[ -B-.JD ]
LI.:=[tt,t,r,l]= 4A2' 2A 2A ,1
= ~[c B A B + .JD]
A ' " 2
as was to be shown.
[8, § I] LATTICES IN QUADRATIC FIELDS 91
If a, c are proper o-ideals, we define cia to mean that there exists an o-ideal
b such that bc = a. Multiplying by c- 1 shows that b is necessarily a proper
o-ideal. Furthermore, as usual, one sees that this condition is equivalent with the
condition a c c. An irreducible proper o-ideal p is a proper o-ideal i= 0 which
cannot be factored p = ab, with proper o-ideals a, b such that a i= p and b i= p.
[We shall see later as a result of Theorem 4, that an irreducible proper o-ideal p
prime to the conductor, is a prime ideal.]
Proof Note that 0 is a sublattice of Ok' whence of finite index. Let c > 0
be the unique positive integer such that
o ( l Zz = Zcz.
We contend this c does it. Indeed, let ). E 0, ;, = m + nz. Then
nz = A - m E 0 (l Zz,
whence cln, and ), E Z + Zcz. This proves the theorem.
c a + aokc
c a + ao c a.
This proves our first assertion.
ii) Let 0 be an ok-ideal such that a + COk = Ok' Then we prove that
(0 n O)Ok = a. We have:
o = Ok n 0 = (a + COk) n 0
c (a n 0) + COk c O.
Hence a n 0 is prime to c. Now
o = ao = a«o n 0) + CO k) c 0k(a n 0) + ca.
But ac con 0, so a c (a n O)Ok' The converse inclusion is obvious, thus
proving (ii).
iii) We prove that an o-ideal a prime to C is proper. Suppose A E k and
Aa c o. Then
}.O = i.(a + co k ) = ).0 + ).co k c a + CO k = o.
Since 1 E 0, we get A E O.
iv) In (i) and (ii) we got the desired bijection. It preserves multiplication,
for let a o• bo be o-ideals prime to c, where
an °
00 = and bo = b n 0,
with ok-ideals a, b prime to c. Then aob o is prime to c, and
oob o = (aoboo k) n 0 = (ob) n o.
This proves our theorem.
[8, §1] LATTICES IN QUADRATIC FIELDS 93
Remark. The above arguments work for any number field, with an order 0,
defining the conductor c to be the largest ideal of 0 which is also an ok-ideal.
).L + mo = o.
Proof Suppose that we start with a lattice of the form L = [r, I], such that
r satisfies the equation
Ar2 + Br + C = 0,
L = 1[
A A, -B+../D]
2 '" [ A, -B+../D]
2 .
- [A , -B +2 ../DJ .
a -
art + b
r = .
crl +d
The equation for such r j is
where
I Go ~ Ik(e)/PZ(e). I
Note that Pz(e) contains the ideals which are principal and generated by an
[8, §1] LATTICES IN QUADRATIC FIELDS 95
element == 1 (mod c), the monoid of such ideals being denoted by PI (c). So we
have a tower
Ik(c) :::J Pz(c) :::J PI(C).
From this we can easily determine the order of the group Go.
Theorem 7. The order of the group Go is equal to
h =
o
h~c
(ot : 0*)
0(1 - (~)!)
pic P P ,
where h is the class number of k, c is the conductor of 0, 0: and 0* are the
groups of units in Ok and 0, respectively, and (~) is the usual symbol, equal
to 1 if P splits completely in k, - 1 if p remains prime, and 0 if p ramifies in k.
Proof We shall give the same argument as in Fueter and Weber, §98. The
theorem is very classical. We know from general algebraic number theory that
the order of the generalized ideal class group Ik(c)/PI(c) is given by
h = Iup(co k )
c (ot:UJ'
where <p is the Euler function, and Uc consists of those units in Ok which are
congruent to 1 mod COk. See for instance my Algebraic Number Theory, Chapter
VI, §l, Theorem 1. It follows that
h = he
o (Pz(c): PI(e))
Suppose first for simplicity that ± 1 are the only units of Ok. We have a map
(Z/eZ)* ~ PZ(c)/PI(c),
given by a H class of aO k modulo PI (c), whose kernel is ± 1, of order 2 if c > 2.
Suppose that p is a prime number and pm divides c exactly. The p-contribution
to (Z/cZ)* is pm( 1 - ~). Suppose that psplits completely in k. Then POk = PP'
and odp, Ok/P' have order p. Hence the p-contribution to <p(co k ) is the
pm(l + D,
which is the desired factor. If POk = p2, then the same type of argument again
shows that we get the right contribution to our factor. Finally, when Ok contains
i or p, one argues the same way, which we safely leave to the reader.
ordp(x - I) ~ ordp c
for all primes p of Ok such that pic, then we can write IX = Ply, where
P, y == I (mod* cO k ), P, y E Ok.
[If d is a posItIve rational denominator for x, prime to c, we can select d 1
having the same divisibility as d for pte, and d 1 == 1 (mod c) by the Chinese
remainder theorem. Then dIIX E Ok and djx == 1 (mod CO k).] If 0, b are proper
o-ideals such that !XU = b, then po = yb.
Corollary. There is only a finite number of imaginary quadratic r E ~
inequivalent under the modular group, such that j(r) lies in a given number
field K.
Proof One knows that the class number of a quadratic imaginary field k
goes to infinity with the discriminant, in fact
log h(D) '" log IDlt
by a theorem of Siegel. Thereforej(ok) has degree tending to infinity as 00. IDI-4
For any order 0 of Ok' we see from Theorem 7 that the class number of 0 also
tends to infinity with the conductor, and j(o) has degree equal to this class
number over k (proved later, complex multiplication). This proves our corollary.
Note that Theorem 7 gives very explicitly the rate at which the degree of
j(o) goes to infinity as a function of the conductor, once the absolute class
number is known. The Riemann Hypothesis would give an explicit and very
good inequality for the absolute class number in terms of the discriminant, but
at the moment, one has to go through various contorsions to prove Siegel's
theorem because of the lack of a proof for RH. See for instance [B7], Chapter 13,
§4, and Chapter 16, and [BI5].
[8, §l] LATTICES IN QUADRATIC FIELDS 97
Localization
Finally we consider localization at a prime number p. Let Sp be the set of
positive integers not divisible by p. We define the localization of a lattice L at
p to be
L(p) = S;IL.
For the rest of this section, in order to simplify the notation, we shaIl write Lp
instead of L(p). When we consider completions in the next section, we shall use
Lp to denote the completion of L(p).
If L, M are lattices, then we have trivially
S;I(L II M) = S;IL II S;IM.
The inclusion c is clear. Conversely, if an element can be written as x/m = yin
with x E L, Y E M, and mn not divisible by p, then my = nx lies in L II M, and
our element is equal to nx/mn, as desired.
As usual, LM consists of all sums
LXiYi
with Xi ELand Yi E M. It is an additive subgroup of k, finitely generated over Z,
whence it is a lattice. We have
(LM)p = LpMp.
Theorem 8. Let L, M be lattices in k. If Lp c Mp for all primes p, then
LcM.
Proof Let x E L. Then we can write x = Yp/np with Yp E M and an integer
np prime to p, so that npx E M. The family of np's is relatively prime, so there
exists mp E Z such that
It follows that
as was to be shown.
The theorem shows that to prove that two lattices are equal, it suffices to
do so locally for each p. A similar argument as in the theorem shows that
L = () Lp.
p
§2. COMPLETIONS
Let k be a number field, and let L be a lattice in k. For a prime number p
we let Zp be the ring of p-adic integers, and
Lp = Zp ® L, also written ZpL.
We let L(p) = S; 1 L be the localization of L at p as defined in the previous
section. Then Lp can be viewed as the completion of L(p), and there is a natural
injection
Indeed, any x E k lies in 0k.(p) for almost all p, so we have a map of k into the
direct sum of the kp/Lp- The above isomorphism essentially gives the p-primary
decomposition of the torsion group k/L.
Recall that the ideles J k of k can be defined as the restricted product
k*R x n' k*
p
p
100 RESULTS FROM ALGEBRAIC NUMBER THEORY [8, §2]
so that
k/sa ~ Il kl'/s"a".
Let c be an ideal of Ok (and so contained in
" Ok)' Then cIa ::l a, and
ela/a
is a finite subgroup of k/a. Furthermore, k/a is the union of such finite subgroups
taken for c tending to infinity (ideals being ordered by divisibility). Let PI, ... , Pm
be the prime ideals dividing c or entering in the factorization of a. By localizing
Ok at these primes, we obtain a Dedekind ring 0' having only a finite number of
prime ideals, and hence a principal ring. Then co' = (c) for some element c and
ao' = (a). We have an isomorphism
ela/a ~ (cla)/(a)
[8, §3] DECOMPOSITION GROUP AND FROBENIUS AUTOMORPHISM 101
where (x) is the ideal generated by x in 0'. Let x E 0' be such that xao' = ao'.
Let u E c1a/a. Then xu is defined in the natural way by multiplication by x,
and we have xu = u for all u E c1a/a if and only if
x == 1 (mod* c).
This follows at once from the definitions. The congruence mod* means ordinary
congruence in the local ring for each prime power component of c.
N~(x) = n
(JEG
(JX
(JHif
f(X) = nm
i; 1
(X - xJ
splits into linear factors in S. Since
leX) = n (X - x;)
and all the Xi lie in S, it follows thatlsplits into linear factors in S. We observe
that f (x) = 0 implies 1 (x) = O. Hence S is normal over R, and
[R(x) : R] ~ [K(x): K] ~ [L: K].
104 RESULTS FROM ALGEBRAIC NUMBER THEORY [8, §3)
If the inertia group of \.P is trivial, i.e. I, then we say that \.P is unramified
over p. If every prime \.P over p is unramified, then we say that p is unramified
in L.
Let again p be a maximal ideal of R, and let L be a finite Galois extension of
K, of degree N, with S the integral closure of R in L. We shaH say that p splits
completely in L if there exist exactly N different primes of L lying above p.
Then p splits completely in L if and only if G'U = 1 because G permutes the
primes \'pjp transitively.
When LjK is abelian, then we have the foHowing characterization of the
fixed field of the decomposition group.
Corollary 2. Let LjK be abelian with group G. Let p be a prime of K, let
\.p be a prime of L lying above p, and let G'U be its decomposition group. Let
E be thefixedfield ofG'U. Then E is the maximal subfield of L containing k in
which p splits completely.
Proof Let
r
G = U1 O'iG'U
i=
By what we have just seen, there exists a coset O'T'U of T~ in G'll which induces
if on the residue class field extension. Any element of this coset wiH be caHed
106 RESULTS FROM ALGEBRAIC NUMBER THEORY [8, §3]
a Frobenius automorphism of'lJ, and will be denoted by ('lJ, L/K). If the inertia
group T'I,l is trivial, then ('lJ, L/ K) is uniquely determined as an element of the
decomposition group G'I,l.
If.Q is another prime lying above p, and I] EGis such that 1]'lJ = .0, then
the decomposition group of.Q is given by
Go = Gq'l,l = I]G'I,l'l-l.
Similarly for the inertia group, and for a Frobenius automorphism,
(1]'lJ, L/K) = 'l('lJ, L/K)'l-l.
This is immediately verified from the definitions. Furthermore, if T'I,l is trivial,
we see that ('lJ, L/ K) = 1 if and only if p splits completely, meaning that G'I,l = l.
If L/K is abelian, and if the inertia group T'I,l is trivial for one of the 'lJlp
(and hence for all 'lJlp), it follows that to each p in K we are able to associate
a uniquely determined element of G, lying in G'l1 (the same for all 'lJlp), which
we denote by
(T = (p,L/K),
and call the Artin automorphism of pin G. It is characterized by the congruence
(TX == xNp (mod 'lJ), XES.
By using Zorn's lemma, one can easily extend the above results to infinite
Galois algebraic extensions L/K. Propositions 1 through 4 are valid in this case,
and we therefore also get a Frobenius automorphism ('lJ, L/K), well-defined
modulo the inertia group T'I,l.
Consider the finite Galois case, not necessarily abelian, and let
(T'I,l = ('lJ, L/K)
be the Frobenius automorphism of'lJ. We assume that 'lJ is unramified, so (T'I,l
is well defined as an element of G'I,l. Suppose that S is given by generators over R,
S = R[x j , ••• , xn].
Let r be an element of the Galois group G such that
rXj == xfp (mod 'lJ)
for all i = I, ... , n. Suppose also that 'lJ does not divide the discriminant of
any Xi' i.e. does not divide the non-zero differences
in Gal(K/k). Let e be an ideal of Ok' sufficiently highly divisible by all the primes
of k which ramify in K, and let Ik(e) be the group of fractional ideals prime to e.
We can extend the map p 1--+ (p, K/k) to Ik(e) by multiplicativity, and then get
a homomorphism called the Artin map,
Ik(e) --> Gal(K/k)
which can be proved to be surjective.
Let PI(e) be the subgroup of Ik(e) consisting of those principal ideals (:x),
where
:x == I (mod* c).
This means that a == I (mod 111~(P», where 1111' is the maximal ideal of the local
ring 01' at p, for pic, and rep) is the order of cat p. Let m(e) denote the group
generated by the norms of all prime ideals of K, relatively prime to e. Then the
kernel of the Artin map is precisely
PI (e )m( c),
and this is Artin's reciprocity law.
This can also be formulated in terms of ideles. An idele s is an element of
the restricted product
or k~
of the multiplicative groups of the completions kv, at all absolute values of k,
extending the ordinary absolute value on Q, or the p-adic absolute value on Q,
such that Iplp = I/p. The non-archimedean absolute values of k correspond
then to the prime ideals of Ok. The restriction in the product means that we take
elements
s = ( ... , Sp, . . . )
such that Sp is a p-unit for almost all (all but a finite number of) primes p.
We define the Artin symbol for ideles (s, K/k) as follows. We select a E k such
that the idele as having p-component asp, is such that asp is very close to 1 at
all p ramified in K. (Close to I is determined by the same type of congruence
that defines PI (c).) We then define the ideal
(as) = 0 pm(p)
p
108 RESULTS FROM ALGEBRAIC NUMBER THEORY [8, §4]
where m(l') is the order of C(SI' at l'. The symbol (s, K/k) is defined to be
(s, K/k) = «C(s), K/k).
This symbol is well defined, and gives a homomorphism of the idele group J k
onto Gal(K/k), whose kernel is generated by k*, embedded on the diagonal
in the ideles, and the group of norms of ideles from K, i.e. the kernel is
k*NKlkA;.
The norm is defined in a natural way, which is irrelevant for us here.
If K' ::) K::) k are abelian extensions, then the restriction of (s, K'/k) to K
is exactly (s, K/k). This consistency allows us to define (s, k) in the Galois group
of kab over k, i.e. the Galois group of the maximal abelian extension of k.
Given a prime l', we can consider the values of the Artin map at ideles
( ... , 1, 1, sl', 1, 1, ... )
with component 1 except at l'. These values lie in the decomposition group of
a prime ~ lying above l', and give an injective homomorphism of k~ onto a
dense subgroup of this decomposition group. The mapping is surjective for
every finite abelian extension. This local fact will not be needed, except for one
application, and the reader may disregard it until he needs it.
Over the rational numbers, it is easy to describe what's going on in element-
ary terms. Consider a cyclotomic extension Qn = Q«(n) where (n is a primitive
n-th root of unity. The ideals of Z are all principal. We get the Artin map
as follows. If a E Z and a > 0, and a is prime to n, then «a), Qn/Q) is that
automorphism (J such that
(~ = (~.
of I(c)/PJ(c) always has such a density, and that this density is equal to l/he
(where he is the order of I(c)/Pj(c)). Let S, Tbe sets of primes in k. Let us write
S -< T if there exists a set Z of primes of Dirichlet density 0, contained in S,
such that S - Z c T. Thus S is contained in T except for a set of primes of
density 0.
Let K/k be a Galois extension and let SKlk be the set of primes of k which
split completely in K. If L ::::J K is another Galois extension of k, then trivially,
SL/k c SKlk. If
For some purposes (i.e. for our construction of abelian extensions in Chapter
10, §l) this characterization suffices. Later, when we analyze the nature of the
Artin automorphism in terms of its effect on the values of certain analytic
functions, such a characterization is of course insufficient, and one must know
some of the other statements of class field theory as well to understand fully
what's going on.
9 Reduction of Elliptic Curves
We can give a heuristic motivation for the fact that the reduction of a
homomorphism is also a homomorphism. Let r be the graph of A. Then
rcA x Band pr1r = A. If reduction is to preserve the operations of algebraic
geometry, we must have pr1r = A. Also f has to be connected (being a de-
formation of r), whence f is also the graph of a mapping from A into B.
Considering the intersection
r· (A x Q)
with a general point Q of B, and the fact that the degree of this cycle (i.e. the
number of points in it, counting multiplicities) is the degree of A, we see that
reduction being compatible with intersection implies that A and A have the same
degree.
°
Suppose that the characteristic of the residue class field is not 2 or 3, and
that j E 0 but j t=. or 1728 mod m. We can find an elliptic curve defined by
the equation
y2 = 4x 3 - ex - c,
having the given invariant j, and non-degenerate reduction mod m, by solving
linearly
27j
c=---
j - 1728'
and we see that this gives a "universal" parametrization for such curves. For
the other two cases, we can always take
y2 = 4x 3 _ x and y2 = 4x 3 - 1.
Let A be an elliptic curve in characteristic 0, defined over the local ring 0,
and with non-degenerate reduction. Let 9 be a finite subgroup of A. Then A/g
has many models. Its invariant is integral over Z[jA), and therefore integral over
0, because jA E o. We can therefore find a model B for A/g defined over an
integral extension S of 0, and having non-degenerate reduction at every maximal
ideal of S lying above m, by writing down the usual simple equations as in
Chapter I, §4 (and assuming for our purposes that the characteristic of o/m is
=;6 2, 3, although one can also give normalized equations valid in these cases.)
integral closure S of 0 in K(A N), and let the bar, w t-+ iV, denote reduction
mod lJJl,jor WE S. Then:
i) The ideal m is unramified in K(AN)'
ii) For any u E G'lJI and P E AN we have
uP = (jP.
iii) If u E G and uP = P for all P E AN, then u = 1.
Proof The formula of (ii) holds by the definition of the effect (j on the
~esidueclass field extension. Since the map P t-+ P is an injection on AN, we
conclude from the hypotheses of (iii) that uP = P, whence u = 1 because the
coordinates of points in AN generate K(AN)' Note: In (iii), we do not assume
that u is necessarily in G'lJI. This is useful in applications. The fact that m is
unramified in K(AN) follows from (iii).
Corollary. Let A have invariant j EO, and such that j =f. 0, 12 3 , and the
characteristic ofojm is =f. 2,3. Let h be theftrst Weber function, i.e. g2g3Xjfl.
If u EGis such that
uh(P) = h(P)
for all P E AN, then u is the identity on K(h(AN»'
Proof We have uh(P) = h(Q) for some point Q E AN' By hypothesis, we get
h(P) = h(Q), li(P) = lie Q),
i.e.
where li is the Weber function of the reduced curve A. This means that Q = ±F
(because the x-coordinates of Q and P are the same), whence Q = ±P. Hence
h(Q) = h(P), so that
uh(P) = h(P).
This being true for all P E AN, we conclude that u = 1 on K(h(AN»'
Next we deal with the two exceptional cases, and we shall take values in
characteristic zero.
We shall see later that Jt and )J - 1 are modular functions of level 6,
essentially from the product expansion for fl, which shows that flt and flt are
holomorphic on the upper half plane. This means in terms of points of finite
order that the field FN is ramified of order 3 over J = 0, and ramified of order 2
over J = 1 if 61N. See Chapter 18, §5. From this, we shall prove it is true for all
N, and we shall determine the decomposition group.
[9, §3] COVERINGS OF LEVEL N 115
No other ramification than the above can occur (for finite values of j),
because we can define an elliptic curve by the equation
. y2 = 4X 3 - 3VJx - .JJ - 1,
which has obviously non-degenerate reduction over J 1--+ 1 and J 1--+ O. Theorem 1
shows that the extension by the coordinates of the points of order N over
Q(W,.JJ - 1) is then unramified, except at infinity.
The ramification at infinity will become clear in Chapter 15, using a different
parametrization for the points of the elliptic curve.
As before, we call
3
g2 2 and g3 3
aX aX
the second and third Weber functions respectively, defined for an elliptic curve
in Weierstrass form by the above formulas. We let FN be the field of modular
functions of level N, identified with the field Q(j, h(A N», where A is an elliptic
curve with invariantj, and h is the first Weber function.
Theorem 1. ThefieldFN(forN> 1) is ramified over Q(j)atj = 123 , with
ramification index 2. Let h be the second Weber function. Let rol be a maximal
ideal of the integral closure of Q[j] in FN lying above the ideal (j - 123 ), and
let the bar denote reduction mod rol. Let T'JR be the inertia group. An element
u E Gal(FN/Q(j» is such that
uh(P) = h(P)
for all PEA N, if and only if u lies in T 'JR.
Proof Take N sufficiently large first (with respect to divisibility) to insure
that FN is ramified at j = 12 3 • We can represent u by a matrix operating on AN'
If uh(P) = h(P) for all P E AN, then we must have in the analytic representation
for all integers r, s not both 0 (mod N), and a, b, c, d are the components of the
matrix representing u. Putting r, s equal to 0, 1 respectively, one sees that this
can be so if and only if the matrix represents mUltiplication by ± 1, ±i. In the
case of i, the matrix is
(~ -~).
Since ± 1 operates trivially on F N , we see that only ± i yields a possible non-
trivial automorphism of FN • We know that there is a non-trivial inertia group
T'JR, whence its generator is necessarily represented by such a matrix. Now for
any nlN, the same matrix operating on An represents the restriction of u to Fn>
and operates non-trivially, so that we must also have ramification of order 2 in
116 REDUCTION OF ELLIPTIC CURVES [9, §3]
Fn. Given n, we can always find N divisible by n so that we can argue as above.
This proves our theorem.
Theorem 3, The field FN (for N> 1) is ramified over Q(j) at j = with
ramification index 3. Let h be the third Weber function. Let 9Jl be a maximal
°
ideal of the integral closure of Q[j] in FN lying above the ideal (j), and let
the bar denote reduction mod 9Jl. Let T'JJI be the inertia group of 9Jl. An
element (J E Gal(FN/Q(j) is such that
(Jh(P) = h(P)
for all P E AN if and only if (J lies in T IDl •
Proof The proof is completely analogous, except that this time (J is
represented by the matrix corresponding to multiplication by p or p2, where
p = e 21ti /3, e.g.
-1)
°.
We stated Theorem 2 and Theorem 3 in terms of points of finite order.
We can also state them in terms of modular functions.
Theorem 2', Let FN be the field of modular functions of level N> 1. Let
z be equivalent to i under the modular group in 5. Let
fa~,,) = g~(,)
L\(,) ,\'J 2(a(')1 ;" 1)
be the second Fricke functions, with a E (Q2/Z2)N, a #- 0. If (J E Gal(FN/Fl)
is such that
((J/a)(z) = /a(z)
for all a E (Q2/Z2)N, a #- 0, then
((Jf)(z) = fez)
for all functions f E FN which are defined at z. The group of such (J is cyclic
of order 2, and consists of those elements represented by matrices y E SL 2(Z)
such that yz = z.
Theorem 3', Let FN be as above, and let z be equivalent to p under the
modular group in 5. Let
faCt) = ~g;p3(aG}', 1)
be the third Fricke functions with a E (Q2/Z2)N, a #- 0. If (J E Gal(FN/Fl) is
such that
((J/a)(z) = fa(z)
for all a E (Q2/Z2)N' a #- 0, then
((Jf)(z) = fez)
[9, §4) REDUCTION OF DIFFERENTIAL FORMS 117
for all functions f E FN which are defined at z. The group of such (J is cyclic
of order 3, and consists of those elements represented by matrices Y E SLz(Z)
such that yz = z.
be a rational map of V onto another curve, and suppO$e that f is not constant.
Then k o( W) is contained in k o( V), and a differential form on W pulls back to a
differential form on V. If
w = zdx
koex)
koexp)
we conclude that [koex p, yP) : koex P)] = [koex, y) : koex)], and that
[koex, y) : koex p, yP)] = p.
The subfield koex p, yP) is the function field of a curve denoted by V(p) and we
have a purely inseparable rational map
Trp: V-t V(P),
called the Frobenius map. Similarly, if q = p' is a power of p, we get a rational
map Trq of degree q, purely inseparable, sending
ex,
y) 1-+ ex q, yq).
Suppose that ko is perfect, so that kg = ko. Then raising to the q-th power
gives an isomorphism of koex, y) onto koexq, yq). It follows that there is precisely
one subfield of koex, y) over which koex, y) is purely inseparable of degree q,
and that is koexq, yq).
If V = A is an elliptic curve, the map 77: q is a homomorphism of elliptic
curves.
Let
A: A - t B
be an isogeny, defined over a field ko' It can be shown that the space of differ-
ential forms on A (or on B) defined over ko, and of the first kind (i.e., without
pole), is I-dimensional over ko. Consequently if W B is a non-zero differential
form of the first kind on B, we conclude that
A*W B = CWA,
where C E ko. Furthermore A is separable if and only if C # O.
Actually we want the dependence of c on A, so let us write
A*W B = C)'WA'
those homomorphisms defined over ko, into the constant field. Observe that
C = C A is independent of the choice of differential form W B 0, because any *
other form of the first kind on B is a constant multiple of W B. A similar remark
applies to W A- Thus ), I-> c). is a well-defined representation.
Let <p: CjL -+ Ac be an analytic representation. Let a be a complex number
such that aL c L, and ).: A -+ A an endomorphism of A making the following
diagram commutative.
C -+ Ac
at tA
C -+ Ac
for all a E k.
Proof We can find a differential form of the first kind defined over k o.
Let (1 be an automorphism of Cover k ok. Then oJ" = w, whence
w 0 A= w0 ;: = cwo
In particular,
wo}.=o
if and only if ;: is not separable. This is the case when, for instance, ;: is the
Frobenius endomorphism TC q for some q = pro
If an elliptic curve A is defined over K, and if we have a family of discrete
valuations of K such that an element of K has only a finite number of zeros
and poles in this family, then given a non-zero differential form on A, for all
but a finite number of the discrete valuation rings in the family, the reduction
of A is non-degenerate, and the differential form reducesto a non-zero differential
form on A. In all the sequel, we shall use reduction mostly in this case, omitting
a finite set of bad primes. The family of all valuation rings in a number field
K gives an example of such a family.
We already mentioned that it may have more endomorphisms than A.
It is important in certain cases to know when an endomorphism of it is the
reduction of an element in End(A). If (A, e) is normalized, then we define
8: k ~ End(it)
by
8(cx) = e(cx).
[9, §4] REDUCTION OF DIFFERENTIAL FORMS 121
j(p-Ia), then there exists an isogeny ),: A ~ B such that the following diagram
is commutative,
Cja - - + Ae
1
Cjp-Ia ~
lA
Be
and the left vertical map is the canonical map arising from the inclusion a c p-Ia.
Let 0 be an ideal prime to p and such that po = (iX) is principal. Then our diagram
becomes
1 1
C - - - Cja ---Ae
can A
Cjp-Ia-»-B c
J.1can
]1'
C - - - Cja - - + Ae
with some isogeny fl: B ~ A which makes the diagram commutative. On the
left we have multiplication by IX. We compute degrees:
V(A) = (p-Ia: a) = (Ok: p) = Np = p
V(fl) = (a: oa) = No prime to p.
We contend that A (reduction mod 1l3) is purely inseparable. Let w be a differ-
ential form of the first kind on B, say w = dx/y. Then
w 0 fl 0 ). = iXW,
whence
W 0 ji 0 A= aw = 0,
1 1c
Cja~Ac
can A
Cjp-1a ...... A
where the map on the left is the canonical one and ). is an isogeny such that
A is purely inseparable of degree p. We also have, by the definition of cr, that
AU = np(A) = A(p).
Indeed, if A is defined by
and
(1) eon 0 0(1') = 0(1')" 0 eon.
126 COMPLEX MULTIPLICATION [10, §1]
C/a~Ac
can! !;.
C/p-la -+ A~
'"
and such that if the bar denotes reduction with respect to some prime ~
extending p in kUA), then A = np-
Theorem 2. Let A be an elliptic curve whose ring of endomorphisms is the
ring of algebraic integers Ok in an imaginary quadratic field k, and A is defined
over kUA)' Let h be the Weber function on A, giving the quotient of A by its
group of automorphisms. Then kUA, h(AN» is the ray class field of k with
conductor N.
Proof Let K be the smallest Galois extension of k containing jA = j(a)
and all coordinates h(AN)' We take a prime p of k of degree 1 as before, omitting
only a finite number of them, e.g. those which ramify in K, all piN and pia,
and all p where we might have bad reduction of A and its conjugates. We can
now take the elliptic curve B = A" to have invariant j'A where a = all! is the
Frobenius automorphism of some prime ~ in Klying above p. The bar reduction
will again be with respect to ~.
If t E AN, then
At = Al = n(t) = at,
[10, §1] GENERATION OF CLASS FIELDS, DEURING'S APPROACH 127
1 1u~
(kja)N ---+ AN
(3) can
(kjp -Ia}" ~ AN
t/J
We shall prove that p splits completely in K if and only if p = (:x) with some
ex such that ex == 1 (mod* No k ).
E Ok
Suppose first that p = (ex) with :x E k. Then p splits completely in kUA) and
hence AU = A. Following the left vertical arrow in Lemma 1 by multiplication
with ex, we get a commutative diagram with an analytic representation 1jJ' of
<p
1 1u~=u
(kja)N ---+ AN
can
1
(4) (k/p-Ia)N ~ AN
a t/J lid
(kja)N ---+ AN
t/J'
If:x == 1 (mod* No k ), then the composite vertical map on the left is the identity.
Furthermore, 1jJ' differs from cp by an automorphism of A. It follows that (J~ acts
as the identity on the Weber coordinates h(t) for all t E AN, and hence (J~ = 1
on K = k(h h(AN»'
Conversely, suppose that p splits completely in K, and in particular splits
completely in kUA)' Then by class field theory, p = (ex) is principal, and A" = A
in Lemma 1. We obtain the same two-storied diagram (4) above, using multiplica-
tion by ex. For the Weber function h we have hu = h because h can be defined
over kUA)' For any element u E (kja)N we get:
h(cp(u» = h(cp(u»U = h"(cp(u)U)
= h(cp(uy)
= h(IjJ'(exu» (by the commutative diagram)
= h(cp(exu».
Observe that kja is an ok-module, and by localizing one sees that (kja)N is
principal, generated by an element Uo , say. Our final equality above implies
that there exists a root of unity, such that
128 COMPLEX MULTIPLICATION [lO,§I]
(the h-coordinates of the two points r.p(uo) and r.p(auo) being equal, the two
points differ by an automorphism of A). We change the generator a of p by
the inverse of this root of unity. We then get
auo = uo,
and hence au = u for all u E (k/a)N because any u can be written as AUo for some
A E Ok' and aA commutes. It follows that IY. == I (mod No k).
By class field theory, we now conclude that K is the ray class field of k with
conductor N. (Cf. Theorem 9 of Chapter VIII, §4 in my Algebraic Number
Theory.) This proves Theorem 2.
Corollary. Let FN be the field 01 modular lunctions 01 level N, and let k
be an imaginary quadratic field. Let kFN be the composite field. Let a be an
ok-ideal, a = [zJ> Z2] and z = ZdZ2 E f). Then the field kFN(z) generated over
k by all values I (z), with IE FN , and I defined at z, is the ray class field over
k with conductor N.
Proof Let 9Jl be the kernel of the place/~ I(z) for/E kFN • Let
G = Gal(kFN/k(j)),
and let G'J)! be the decomposition group. From general decomposition group
theory we know that the induced group G'J)! is the Galois group of the residue
class field extension. We also know by Theorem 2 that the residue class field
contains the above mentioned ray class field. Let (J E G'J)! be such that ii is the
identity on this ray class field. In particular, ii is the identity on all elements
liz) and j(z),w here la are the Fricke functions (a E (Q2/Z2)N, a i= 0). By
Theorems 2' and 3' of Chapter 9, §3 we conclude that q lies in the inertia group,
whence ii is the identity on the residue class field. This means that the residue
class field is precisely the stated ray class field, and concludes the proof.
As is well known, Kronecker started the whole business of complex multi-
plication, and Weber gave a first systematization of the results known at the
time. They were considerably incomplete, for instance the so-called Kronecker
congruence relation of Theorem I was known only in a weaker form, namely
<I>P(X) == (XP - j)(X - jP) (mod p)
actually proved by Weber (Acta Mathematica 6, 1885, p. 390). Hasse proved
it in the form we stated it [19], and also obtained all the abelian extensions of
k from values of the Weber function. Weber himself needed some quadratic
extensions in addition. Fricke [B2] and Fueter [B5] gave treatments before that
which are still of some interest, for the special cases which they discuss, and for
the analytic methods.
The Institute Seminar [BI7] is also a convenient reference for a quick
introduction to some basic results, using the analytic approach, and some useful
chapters on computational aspects.
[10, §2] IDELIC FORMULATION FOR ARBITRARY LATTICES 129
1
klo --+Ae
s- 1 1 a
kjs-lu ....... A~
'"
Proof Our first task is to reduce the theorem to the case when 0 is an ideal
of Ok. Let b be an ideal of Ok contained in o. Let ~: C/b ....... Be be an analytic
130 COMPLEX MULTIPLICATION [10, §2]
Fig. 10-1
commutative. This can be done by checking that the kernels of the two bottom
maps are the same. It then follows that'" makes the back face commutative,
and this solves our problem for o.
Observe that the above reduction shows that if we can solve our problem
for one elliptic curve A ~ C/o, then we can solve it for any other elliptic curve
A' isomorphic to A. Of course, a simpler direct argument can also be given
in this case.
We now assume that 0 is an ideal of Ok' A positive integer m will be said to
be freezing for A if any automorphism of A which leaves Am fixed (pointwise)
must be the identity. Since A has only a finite number of automorphisms,
there always exists such an integer. Let N be a positive integer such that miN.
We shall prove that there exists",: C/S-IO -4 A'C such that the desired diagram
commutes on (k/O)N' i.e. such that the following diagram commutes.
tp
(k/O)N ~AN
.-11 10'
(k/S-10)N -4 A~
exists a prime p which splits completely in k, that is (p) = pp', p "# p', such
that p is unramified in K, and for some IPlp in K, the finite number of elliptic
curves under consideration have good reduction mod IP. We also take p prime
to N and to tl. Finally we require that (J = (Jv on K.
By the Kronecker congruence relation we have j(p-ltl) = j(aY, and the
first part of the proof of Theorem 2 shows that we have a commutative diagram
(3) which is almost the one we want, except that we have to relate p-1a and
s-la.
Let C = ( ... , 1, 1, Cp , 1, 1, ... ) be an idele with component 1 except at p,
and with component C p at p having order 1 at p, so that we have
(s, k) = (c, k) = (p, k)
on the maximal abelian subfield of Kover k, which we denote by (Kjk)ab.
Then we have
C = sf3b,
with some element 13 E k and some idele b == 1 (mod* N), i.e. b has unit com-
ponent outside N and its components at primes dividing N satisfy the desired
congruence. Since S-l tl = f3p -l tl we get a commutative diagram
if'
1 1
Cja - - Ac
can A
AC
1 ~1
Cjp-1tl--+
p id
Cj S - 1tl --+ AC
~1
with some analytic representation t/J 1, and the lower left vertical map being
multiplication by 13.
As we saw in the proof of Theorem 2, we can choose the map;' so that
.A: = 1r and hence on the points of order N, }, has the same effect as (J. So we get
a commutative diagram
if'
(k/tl)N - - AN
pl lu
(k/S-1tl)N --+ AN
~1
and there remains but to prove that multiplication by 13 on the points of period
N on the left is the same as multiplication by S-l, i.e. that if U E (kjtl)N, then
f3u = S-lU. This has to be checked locally for each prime q of k (since we work
with an ideal tl of Ok' we can use q-components.) If q "# p then cq = 1 and
Sq 1 = f3 qbq. Since bq == 1 (mod No q ), we see that bquq = uq, and what we want
132 COMPLEX MULTIPLICA TION [10, §3]
Theorem 4. For any lattice a in k the number j(a) lies in kab, and/or any
idele s we have
j(s-la) = j(a)lS,k).
Proof Take first s = 1 and let 0' be any automorphism of C which is the
identity on k ab . Then Theorem 3 shows that
j(a) = j(a)",
whence j(a) lies in kab' The formula of our theorem then expresses the fact that
if A ~ C/a, then A" ~ C/s-Ia, which is also contained in the statement of
Theorem 3.
Remark. For any proper o-lattice a and any isomorphism 0' of Q(j(a» over Q,
O'j(a) = j(b) for some proper o-lattice b.
Proof Let A ~ C/a. Then End(A) ~ 0, and consequently End(A") ~ 0
also. If b is a lattice such that C/b ~ (A!1)c, then it follows that 0 is the set of
complex numbers a such that ab c b. Hence b is also a proper o-lattice. We
also have
such that
(Jbj(a) = j(b-Ia).
Furthermore (Jb is the restriction of (b, k) to k(j(o)), so that we have the
formula
j(aYb,k) = j(b - l a ).
Proof We know from Theorem 4 of Chapter 8, §1 that any proper o-lattice
b is locally principal, say b p = spop. Let s be the idele whose p-component is
sp. Then b-1a = s-Ia, and Corollary 1 implies all our assertions, except the last
one. To prove it, let s be an idele such that sp = 1 for all primes dividing the
conductor of 0, and such that
spop = bp
for all other primes. Since bp = (bok)p at all primes dividing b (because such
primes do not divide the conductor), it follows that
so = b a n d SOk = bo k •
Our formula is now a special case of Theorem 4. The fact that the values of j
on proper o-lattice classes are conjugate over Q was already mentioned in the
remark preceding our theorem.
Remark 1. Let L' denote the complex conjugate of a lattice L in k, and w' the
complex conjugate of a complex number w. From the original series forg 2
and g3 we see that for any lattice Lin k we have
g2(L') = giL)' and g3(L') = g3(L)"
whence
j(L') = j(L)'.
Since 0 = 0' for any order 0, we conclude that j(o) is real. We have seen that
all the conjugates ofj(o) over Q are the same as the conjugates ofj(o) over k.
Hence we also find that Q(j(o)) is the real subfield of k(j(o)).
134 COMPLEX MULTIPLICATION [10, §3]
I j(a)' = j(a- 1 ). I
We now conclude that the field K is Galois over Q, and we shall prove that for
any automorphism 0' E Gal(KjQ) we have the formula
To see this, we have for any proper o-ideal b, and any proper o-ideal a such
that 0' = 0'0'
pO'p-lj(b) = pO'j(b- 1 ) = pj(a-1b- 1) = j(ab) = O'a-1j(b).
This proves what we wanted.
Since p is not the identity on k, it follows that the Galois group of k(j(o))
over Q is a group extension of Gal(k(j(o)jk) by a group of order 2, and that the
structure of the Galois group over Q is completely determined by the Galois
group over k and the formula giving the commutation rule between 0' and the
complex conjugation.
Theorem6. Let 0 c: 0' be two ordersofk. Then
k(j(o)) ::) k(j(o')).
Proof We have to show that an automorphism 0' of kab leavingj(o) fixed
also leavesj(o') fixed. Write 0' = (s, k) for some idele s. Then so = exo for some
ex E k. Changing s by ex-I we may assume without loss of generality that 0' = (s, k)
with so = o. But then for any prime number p, we have 00' = 0', opo~ = o~ and
spo~ = o~, whence so' = 0'. The commutative diagram of Theorem 3 shows
that (s, k) leaves j(o') fixed, as desired.
As in Shimura, we can now give a criterion in terms of ideles for the Galois
group leaving a point of order N fixed.
Theorem 7. Let A be an elliptic curve such that ({J: Cfa -+ Ac is an analytic
representation for some lattice a in k. Let h be the Weber function associated
with A. Let s be an idele of k. Then (s, k) is the identity on k(j(a)), h«({J(u))
for some point u E kja if and only if s E k* Va,u, where Va,u is the subgroup of
ideles b such that
ba = a and bu = u.
Proof First consider the case where we deal only with k(j(a)). Let Va be
[10, §3] SINGULAR VALUES OF MODULAR FUNCTIONS 135
We recall that normalized means that for any differential form w of the first
kind of A, we have
w 0 (J(p) = pw, P E k.
Such a differential form can always be selected to be defined over K.
Deuring's theorem asserts that we can select the generator J.I. = J.I.(p) in such a
way that the endomorphism O(J.I.) reduces to the Frobenius endomorphism of A,
and that the values J.I.(p) are the values of a Hecke character. For the proof of
Deuring's theorem, we shall use the following idelized version as in Shimura,
who also gives a generalization to abelian varieties [BI2], 7.8.
As usual, we denote by Ator the set of torsion points of A. We let K(p) be
the residue class field of K at p.
Theorem 8. Assume that k c K. Let s be an idele of K. Let
cp: C/o -+ Ac
be an analytic parametrization of A. Then K(A tor) is abelian over K, and there
is a unique element J.I.(s) E k, making the following diagram commutative.
<P
1 1(.
klo~Ator
p(.)N!:(S-l) K)
klo~Ator
<P
1-
1
1 1"
kit-to -+ A tor
'"
138 COMPLEX MULTIPLICATION [10, §4]
Again, since A<r-= A, it follows that (-10 = ao for some a E k. The map if; is
determined up to an automorphism of A. Changing if; by a unit in End(A)
corresponds to changing a by a root of unity in k, and we may thus get the
diagram with cp at the bottom, and p(s)Nf(s-l) on the left with some pes) in k,
which is uniquely determined since cp and (J are isomorphisms. Suppose that the
restriction of (J to the maximal abelian subfield of K(A tor ) is the identity. Then
we could have taken s = 1 and pes) = 1. Since (J is determined by its effect on
A(or, it follows that (J = id, and therefore K(AtOl) is abelian over K. This proves
Theorem 8.
xes) = N~(S-l)<XJ'
so that X is continuous on the archimedean part of the ideles. On the other hand,
suppose that sp is very close to 1 at all p dividing 0 in Theorem 8. Then Nf(s-l)
is also close to 1, and
This proves that the kernel of X contains an open subgroup of the finite part
of the ideles of K, and therefore that X is continuous, whence a Hecke character.
Let p be a prime of K at which A has non-degenerate reduction. By
Theorem 1 of Chapter 9, §3 we know that p is unramified in K(AN) for p{' N. Let
s be an idele all of whose components are equal to 1, except for the p-component,
where ordps p = 1. Note that N:(S-l)w = I, and hence Xes) = pes). Then 8(p(s»
is an endomorphism of A, and we shall prove that its reduction mod p is the
Frobenius endomorphism of A, which we denote by
np=n:A-+A.
Let t be a prime number not divisible by p. Since the t-component of sis 1, we
conclude that multiplication by p(S)Nf(s-l) on the group of t-primary elements
ktlO t is the same as multiplication by pes). Since 8 is normalized, it follows that
the following diagram is commutative.
<P
1
C -----+ Ac
fI(S) 10 (fI(S»
C -----+ Ac
<P
Let A(t) be the group of t-primary points on A, i.e. the image of ktla t under <po
Then the commutative diagram of Theorem 8 shows that for any point P E A(t)
and (J = (s, K) we have
8(,LI(S)) P = pa = n(P).
Therefore 8(,LI(s» = n, because these two endomorphisms have the same
value on A(t).
If up is a unit in kp and s~ = upsp' then from the above, we conclude that
8(p(s'» and 8(p(s» have the same reduction, namely n, and therefore that
8(p(u p ) = id. Since reduction mod p is injective on End(A), it follows that
,LI(up ) = 1, and hence that XA is unramified at p. This proves our theorem.
Remark. Deuring also proved that when A does not have good reduction at p,
then the character ramifies. Today, one can use a result of Serre-Tate [27] to
deduce this property at once from the t-adic representations discussed later in
Chapter 13. Indeed, the Serre-Tate result asserts that if t is a prime number not
divisible by p, and if p is unramified in the extension K(A({) generated over K
by the points of t-power order on A, then A has a model over K with non-
degenerate reduction at p. Let (kla)(t) be the group of t-power torsion points
in kla. By definitions, and the lemma applied to an idele sp having components
equal to 1 except at p, we have a commutative diagram
1 1
(kjaytl-----+ A(t)
fI(Sp) (sp.K),
(kjaytl-----+ A(t)
140 COMPLEX MULTIPLICATION [10, §4]
We see that the right-hand side depends only on the order of sp at p if and only
if .u(sp) depends only on the order of sp at p, i.e. if and only if the Hecke character
is unramified at p. The Serre-Tate criterion shows that this occurs if and only if
A has non-degenerate reduction at p.
Next we consider the case when k is not contained in the field of definition
of A, again as in Deuring [13], (iv).
Theorem 10. Let A be defined over a number field Ko not containing k.
Let K = Kok. Let Po' be a prime of Ko where A has non-degenerate reduction.
Then Po is unramified in K. Let
p: (1---+ ('
be the automorphism of Kover K o, and let p, p' be the primes of K above Po.
Let pep) = IA.R(P), and similarly for p'. Then
.uCp)' = ,u(p').
Let 7[0 = 7[po be the Frobenius endomorphism of the reduction /t(po) over
K(po). Let qo = Npo·
Case 1. Po remains prime in K, so p = p'. Then 7[0 is not rational. We
hare
7[6 = 7[p and 7[0 = ±.J-qo.
Case 2. Po splits completely ill K, so P #- p'. Then 7[0 = 7[p' Furthermore,
._--_..._-- ---
no = O(fl(P)) alld n~ = O(.u(p')).
Proof By the remark at the beginning of this section, we know that there
exists an endomorphism ex of A defined over K but not over K o, so that ex P #- 'X.
Suppose that Po ramifies in K. The effect of p on the residue class field is trivial,
and consequently reducing mod p yields
pC!. = Ct.,
contradicting the injectivity of the reduction map on End(A). This proves that
Vo is unramified in K.
We shall prove that
llCp), = Il(p').
Let t be a prime number relatively prime to Po. Let A(t) be the torsion points of
A whose order is a power of t. Similarly for (kla)(!). Both p and p' are unramified
in K(A({J). From the definitions and the lemma, we have a commutative diagram
<P
1 1
(k/llyr)~ A(r)
I'(P) (p.R)
(k/llyt)~ A(t)
<P
and a similar one for p'. This means that O(Jl(p)) = (p, K) on K(A(t)). Since
p' = pp, we get similarly that
OC.u(p')) = (pp, K) = pep, K)p-l
[10, §4] THE FROBENIUS ENDOMORPHISM 141
Deuring had a rather hard time proving this in [13], (iv), and even comments
that this is the "wesentliche Schwierigkeit" of his paper, as distinct from the
rather formal arguments reproduced above for Theorem 10.
Theorems 9 and 10 were proved by Deuring to describe the zeta function
of the elliptic curve as a Hecke L-function. We carry out the formalism.
Let F be a finite field with q elements and let A be an elliptic curve defined
over F. Let N be the number of rational points of A in F. Let
n: A -+ A
142 COMPLEX MULTIPLICATION [10, §4]
where the Euler product is taken over all primes p of A, rational over F, and the
sum is taken over all positive divisors (cycles) a on A, rational over F. As
already mentioned in Chapter 2, Hasse had determined the roots of the zeta
function in this case as the eigenvalues of the Frobenius mapping. [This was
generalized by Wei! to arbitrary curves and abelian varieties, as is well known.]
Let again A be an elliptic curve defined over the number field K or Ko as
in the previous considerations. We define its zeta function, again following
Hasse, by the prod uct
(A, K, s) = n Z(A(p), K(p), Np-'),
p
taken over all p where A has non-degenerate reduction. Then according to the
above definitions, Theorem 9 implies that
The function (K is the Dedekind zeta function associated with the number field
K, and L(s, X) is the Hecke L-function
n (1 -
p
X(p)Np-S)-1
with an integral matrix Ct. = Ct.!'- and we see that p is 'primitive if and only if
(a, b, c, d) = I. Two elements of 0 will be said to be o-equivalent if their quotient
is a unit in o.
Theorem 11. Let z E ~ be imaginary quadratic and let 0 be the order of
L z = [z, I]. Then the multiplicity of z as a root of<l>meX, X) is equal to the
number of primitive o-equivalence classes of elements p E 0 such that Np = m.
Proof Let {Ct.;} (i = I, ... , ljJ(m)) be representatives for the left co sets of
L'l! with respect to r. It is clear thatj(z) is a root of<l>meX,
X) if and only if
j(z) = j(Ct.iZ)
for some Ct. i, and this is the case if and only if there exists,), E r such that }'Ct.iz = z.
Without loss of generality, we may assume that if Ct.iZ and Z lie in the same orbit
of SLzCZ), then they are equal (multiply a representative Ct. i by a suitable element
of SL 2 (Z).
144 COMPLEX MULTIPLICATION [10, APP.]
Using the notation before the theorem, we see that the association
J1 f-> CX Il
induces a bijection of the primitive o-equivalence classes of elements J1 EO such
that NJ1 = m, and those representatives CXj such that ajz = z. We are therefore
reduced to proving that the number r of such representatives is precisely the
multiplicity ofj(z) in <l>m(X, X), i.e. that<l>m(X, X) is exactly divisible by (X - j(z»'.
It will suffice to prove that
· <l>m{j(r),j(r» -/. 0
I1m. . r""" ,00
, .... z ()(r) - )(z»
We know that all the numbers j(6,) (6, E Go) are conjugate over Q. Hence
Ho(X) has integral coefficients, and is irreducible over Q. Let rem, 0) be the
number of primitive o-equivalence classes of elements J1 E 0 such that NJ1 = m.
Then Theorem 8 shows that for a suitable constant Cm , we have
<I>m(X, X) = Cm n Ho(xy(m,o).
o
Counting up the degrees will yield the relation we are looking for. We make
some more remarks concerning the degree of <l>m(X, X) since the discussion in
Chapter 5, §2 was kept brief for the limited purposes we had in mind then.
[10, APP.] A RELA nON OF KRONECKER 145
We have
nU -
ofJ(m)
CbmU,j) = j 0 IXJ
i= 1
N = 2 L ~ qJ(e) + qJ(.jm),
aim e
a>v'm
taking the sum over all orders 0, where ho is the number of elements in Go.
o
= [D + .j75 1J
2"
IDI (for given m) such that rem, D) > 0. The answer is given by the following
theorem.
Theorem 13. Let m > 1. The largest values of IDI with rem, D) > are
those for which D is equal to -4m and -,4m + 1. The corresponding values
°
ofr(m, D) are
D D+/15
fl = -'2 + 2 .
is an integer, while the other term has coefficient 1. This shows that
rem, -4m + 1) = 2,
with the two inequivalent primitive solutions
1 + JJj
and
1- JJj
2 2
for NJl = m.
11 Shimura's Reciprocity Law
So we have an embedding
qz = q: k* -> GLiCQ)
satisfying the above property. We note that z is a fixed point of q(k*). By con-
tinuity, we can extend q to an embedding
qz.P = qp: k; -> GL 2 CQp),
aG) = atz + a z·
Locally, we have
Note that
j(Z)(S-',k) = j(a(z),
so that we can select
A~(z) = (AZ)".
We contend that multiplication by u on the far left makes the diagram
commutative. This is trivially verified using our previous computation.
Therefore, if <(Jz: CfL z ~ Ac is our usual parametrization of A z, we obtain,
for some automorphism e,
«Jz(aYs-1,k) = eO «Ja(z)(au),
if q(s) = ua. Taking the Weber function, rewriting this in terms of the notation
fa wherefa is the Fricke function, and recalling that q(s) = WY., we have
Thus we have proved our theorem for the special functions fa, j. Observe that
we can take the Weber functions of anyone of the three types, and these rela-
tions still hold.
Next we prove that the relation of the theorem holds true for all elements
of F. Let S be the integral closure of the ring R = k[j] in F. Since j 0 (:J. is integral
over k[j], it follows that (J maps S on a ring which is integral over k[j c C(l,
whence (J induces an automorphism of S. We let m be the maximal ideal in
k[j], and 931 the maximal ideal in S, which are the kernels of the homomorphism
fl-+ J = f(z).
If p is an automorphism of S which maps 931 onto 9Jl, i.e. p lies in the iso-
tropy group of 931, then p induces an automorphism of the residue class field,
denoted by
p: S~ S.
We identify S as the set of all elementsJ,fE S.
152 SHIMURA'S RECIPROCITY LAW [ll,§l]
In his proof of the reciprocity law, as given in [B12], Shimura gave the
arguments showing that the relation holds for j and the functions fa. To extend
this to all elements of F, he then went through a fairly elaborate discussion,
even using the parametrizations of the models of the function fields FN over Q
from the upper half-plane. The difficulty concerning such a step had arisen
before, in every treatment of complex multiplication. We have avoided the
difficulty by a more direct usage of the formalism of decomposition groups,
which follows the usual formalism of Galois extensions.
It is worthwhile also to describe the inertia group in the full group of auto-
morphisms.
Theorem 2. Let z E S be imaginary quadratic, and let k = Q(z). Let 9)1
be the kernel of the place fl--+ fez) = J in the modular function field F. Let
[11, §2] APPLICATION TO QUOTIENTS OF MODULAR FORCES 153
rx = (; ~),
we let f.1 = cz + d, and identify f.1 with the idele having f.1. on each component.
Then a(qz(f.1.)) = Ct., and our assertion follows.
fer) fG),
=
154 SHIMURA'S RECIPROCITY LAW [11, §2]
her) = f(rxG)).
gG)
Then h is a modular function of level N. Furthermore:
i) h isfixed under the group :x-I r:x n r.
ii) Letting U = n GL 2 (Zp) as before, h is fixed under
:x-I U:x n U.
Proof Let yErN' i.e. yE rand y = I + Nf3 for some integral matrix 13.
Then
rxyrx-- = I + N:xf3rx-
1 1
f(rx(~)) f(rxyrx-lrx(~))
her) = gG) gG) = h(yr),
It suffices to prove that hp is fixed under c5(a- 1 Va n V)c5- 1, i.e. under 13- 1Vf3 n V,
because c5a- 1 = f3-1y-1, and y-1 Vy = V. Thus it suffices to prove our assertion
for
he,) = f(f3,) = f(nn)
gee) g(,) ,
which we have to show is invariant under 13- 1Vf3 n V, where
Then
13-1 up f3 = ( a p bp/m).
mcp dp
This lies in Vp if and only if bp = mb~ for some p-adic unit b~. Consequently,
we have proved:
Lemma. If
Proof Since h has rational Fourier coefficients, it is fixed under the auto-
morphisms of F represented by matrices of the form
G~), de (ZjmZ)*.
Hence
q/s;; 1) = upl1,
with some upEGL2(Zp) = Up. Hence up = 11- 1 for pIN, and q(S-l) = UI1. Note
that multiplication on the right by the element up E GLiZp) yields an
automorphism of Z;. and hence we have an isomorphism
Z2jZ2 rx ;:::: II Z;jZ;rxu p.
There exists a sublattice M of Z2 such that Mp = Z~rxup for all p, and then
Z2jZ2 x ;:::: Z2jM.
By elementary divisor theory, there exists Y E r such that Z2 X}' = M, or in other
words
and
(z)
Z 2pal] 1 = Z2pal]CI. - 1 (z)
CI. 1 = ap = b p- 1 ap
using the definition of a. On the other hand, if P{ N, then:xp = ap and Z;a = Z;,
n
so that
Let K = k(j(o), 110(0)). Let S be a finite set of primes containing all primes
dividing N, all primes dividing the conductor of 0, and all primes which may
ramify in K. Assume that b is also prime to S. We apply the above relation to
b, and select s such that sp = I for all pES. Then
Suppose that (s, k) leaves j(o) fixed. The Kronecker congruence relation tells
us that
j(oys,k) = j(o)fb,k) = j(b- I ).
Consequently b = ;.0 is principal, and the above formula shows that 110(0) is
also kept fixed by (s, k). It follows that 110(0) lies in k(j(o)).
If we start with a proper o-ideal b which is prime to the conductor of 0
(and hence contains only prime factors in k which are unramified in k(j(o)),
then there exists .Ie E k such that ;.b is an o-ideal prime to S, by Theorem 5 of
Chapter 8, §I. On k(j(o)) the two symbols (b, k) and (),b, k) have the same
effect. This reduces our theorem to the case already treated, and concludes
the proof.
Corollary. The values ~(ao)/~(o) lie in k(j(o)), and we have
(~(~(oao)))(b,k) _
-
~(ab -
~(b -
1)
1) .
Proof Takef = 9 = (2n)-12~ in Theorem 6.
12 The Function A(at)/A(t)
We consider the special case when 11. = (; ~} so that rx(z) = mz, and
o = [mz, 1]
is the order with conductor m. If b is a proper o-ideal prime to m, we recall the
notation of Chapter 10, §3, where (b, k) = (b k , k), bk = bo k , and (bb k) is the
Artin automorphism.
Theorem 1. The value ~(O)/~(Ok) lie in k(j(o)), and for any proper o-ideal
b prime to the conductor m of 0, we have
( ~(a))(b.k) = ~(b-la)
~(ak) ~(b Iak)
161
162 THE FUNCTION ~(IXr)/~(r) [12, §I]
(1)
Proof The reality assertion is clear, because from the original series, say
for gz and g3, and any lattice Lin k, with complex conjugate L', we have
gzCL') = g2(L), and g3(L') = g3(L)"
whence ~(L') = ~(L)' and j(L') = j(L)'. Since 0' = 0, the reality assertion
follows, and so does the corollary, because Q(J(o» is the maximal real subfield
of k(j)o».
[12, §2] PRIME FACTORIZATION OF ITS VALUES 163
For any y E SL 2 (Z) we have CPya = CPa, so the value of cP depends only on the
left coset of Ct., which we may assume primitive. We may then also assume that
Ct. is in triangular form
(2)
as in Chapter 5, §l. Then
( ) = I 11 2 d - 12 L\( Ct.! )
CPa! ex L\(!) .
Actually if one analyses the proofs of Theorem 2, one finds that they are
valid in the more general context of a quotient of automorphic functions having
the same weight, under the following conditions.
Theorem 3. Let f, g be automorphic functions of the same weight -m with
respect to SL 2 (Z). Assume that:
i) both f, g have Fourier coefficients in Z.
ii) bothf, g are holomorphic on i> and g is not zero anywhere on i>.
iii) the function g has a q-expansion of the form
g = qV(l + qB(q»
where v is some integer, and B(q) is a power series in q with integer coefficients.
Then the function
We cancel a numerator and denominator, and use '1.'1.' = Irtllz with the homo-
geneity of ~, of degree - 12, to get
~G)
Knowing that (,OaCz) is an algebraic integer proves our theorem.
We use the following notation. If ~ is an algebraic integer, and a is some
ok-ideal, we write
~ ~ a
to mean that ~OK = aOK in some large number field K. Similarly, if ~ 1, ~2
are algebraic numbers, we write
to mean that ~t!~z is a unit. We then say that ~1' ~2 are associated.
Let 0 be an order in k and let a, b be proper o-ideals. Let b = [ZI' zz] and let
:x E Mi(Z) be such that
is a basis of abo We denote by Na the index (0: a), and it is clear (say from
elementary divisors) that Na = 1'1.1. Thus we use the notation
12 ~Cab)
(,OaCb) = (,O~(z) = Na ~(b).
Nb 12 ~(b)~
IA(oW
is a unit.
Proof Let
(b) = Nb 6 IACb)1
e IACo)I'
For any I. E k, I, =I 0 we see that cUb) = c(b), i.e. c(b) depends only on the class
of the ideal b. We can always find some ). such that ),b is equal to a prime p of
degree 1, i.e.
(p) = pp'
with p =I p', and p is a prime number not dividing the conductor. (We are using
here the existence of primes in generalized arithmetic progressions from class
field theory. The theorem for Ok' combined with Theorem 5 of Chapter 8, §l
gives us what we want.) Replacing b by such a prime ideal p, and taking the
product of the expression in Theorem 5 with its conjugate yields the corollary.
n
p+l
i=1
<Pai = (_l)P-Ip12.
i = 0, .. .,p - 1
Hence we get the q-expansions for the <pai from the q-expansions as given in (3).
The leading term of <pai for i = 0, ... , p - 1 is
[12, §2] PRIME FACTORIZATION OF ITS VALUES 167
The leading term of ({lap is pI2qP-l. From this it follows that the product has a
q-expansion beginning with the constant
,! + 2+ ... + P p 12 = ( _ 1)r 1 p 1 2.
Since this product is a modular function having no pole at infinity, it is constant,
thereby proving our theorem.
Corollary. Let 0 be a proper o-ideal, and let p be a prime number, prime
to the conductor, and splitting completely in k, so that po = pp', p # p'.
Let 0 = [z 1, Z2] and let P, P' be matrices of determinant p such that
and
are bases of po and p'o respectively. If r:t E Mi(Z) has determinant p and r:t
does not lie in the orbit of P or P' under SL 2(Z), then ({la(z) is a unit, where
Z = zl/z2'
Proof The contributions to the product in Theorem 6 coming from the
two terms ({lp(o) and ({lp'(o) arising from Theorem 5 will already contribute pl2
to the factorization of the product. Since there can be no other prime factor
contribution by Theorem 6, we conclude that all other terms in the product
must be units, because they are all algebraic integers by Theorem 3,
To find the values of ({la(z) in general, one can use an inductive procedure.
For suppose r:t = {Jy, with {J, y E Mi(Z), Then for any lattice L = [ZI' Z2] with
Z = zdzz E 5 we have
in other words
with a matrix P such that IFI = p, So in principle, the values of ({l, are reduced to
computing values ({lp where P has prime determinant.
168 THE FUNCTION A(<XT)/A(T) [12, §3)
(~~)
n.
<Xi = for i = 0, .. .,p - 1
<Xp = (~
If f is a function on the upper half-plane, we write f *(q) for its powers series in
q (or ql/P = e2nir/p). We agree that
f*(q) == ° (mod p)
means that all coefficients of the power series lie in p. We also write a congruence
mod p, or 1 - (, where' is a primitive p-th root of unity, to mean that the
coefficients lie in the ideal generated by these elements.
We consider the polynomial in two variables
P ~
F(X, Y) = L (X - j 0 <x;)(Y - CPa)' .. (Y - CPa)' .. (Y - CPa)
i=O
the factor Y - cpa; being omitted from the product on the right. The above
polynomial has coefficients which are functions on ~, modular of level p.
The permutation induced by j 0 <Xi t--> j 0 <XiY for YE r is the same as cpa; t--> CPm.
Hence F(X, Y) has coefficients which are invariant under r. Furthermore, if
(d,p) = 1, the automorphism ad on roots of unity such that ad' = ,d
has the
effect
and
for i = 0, ... , p - 1 (mod p), while leaving j 0 <Xp and cpa p fixed. Therefore the
coefficients of F(X, Y) are modular functions invariant under r, and with rational
Fourier coefficients. We may therefore write
F(X, Y) = F(X, Y,j) E Z[X, Y,j]
as a polynomial in X, Y,j with integer coefficients.
[12, §3] ANALYTIC PROOF FOR CONGRUENCE RELATION OF j 169
Observe that if
f*(q) = A(q) E Z«q»
is a power series in q with coefficients in Z, then for i = 0, ... , p - 1 we have
(fo riJ*(q) = A(ql/P(i)
(mod 1 - O.
On the other hand
(f 0 rip)*(q) = A(qP) == A(q)P (mod p).
Here ( is a primitive p-th root of unity, and the congruences mean that all
coefficients are divisible by I - ( in the ring of algebraic integers in K, taken
sufficiently large to contain the p-th roots of unity. Applying this to the first p
terms, and to the functions j and (2n:)-12~, we conclude that these first p terms
are all congruent to each other mod I - (.
The last term involves (X - j*(q)P) as a factor. If we substitute jP for X,
then this factor becomes == 0 (mod p). Therefore
F(j*(q)P, Y,j*(q» == 0 (mod I - 0,
i.e. this expression lies in (I - OZ[(]«ql/P»[Y]. Since the Fourier coefficients
are integers, we conclude that
F(j*(q)P, Y,j*(q» == 0 (mod p).
Therefore
F(jP, Y, j) E'pZ[ Y,}].
Let a = [z[) Z2], with Z = ZI/Z2 E~. Since (a: pa) and (a: p'a) have indexp,
we can find two of the matrices ri i , say P and such that r,
and
are bases of pa and p'a respectively. Substitute j(a) for j and qJp'(z) for Y.
We find that
F(j(a)p, qJp.(z),j(a» == 0 (mod p).
On the other hand, in the original sum defining F(X, Y), all the terms become
equal to 0 except one, and we find
(j(ay - j(p'a» n
(li =1= p'
(qJp,(z) - qJo,(z» == 0 (mod p).
From the preceding section, we know that qJp'(z) ~ p12. We also know that
qJOi(Z) is a unit for rii i= P or r.
This proves our theorem.
Deuring [Bl] observed that this now follows trivially. Indeed, disregard the
finite number of primes dividing all differences j(a v) - j( a'l) and the differences
of their conjugates, if av represent the different proper o-ideal classes. By general
properties of the Frobenius automorphism (cf. the end of Chapter 8, §3) we
see that the precise equality
(J'1lj(a) = j(p'a)
does hold for any 'l3 dividing p in K. Since multiplication of proper o-ideal
classes is abelian, it follows that the map
'l3 ~ (J'1l
is a homomorphism from the free abelian group generated by almost all primes
into the Galois group of the smallest Galois extension of k containing j(a).
Using now theorems concerning the existence of primes with given Frobenius
element, one concludes that this extension is abelian, and that the proper
o-ideal class group is isomorphic to the Galois group under the map induced
both by the Frobenius element on almost all primes, and also by the property
(J[Jjj(fX) = j($-lfX)
for proper o-ideal classes fX and $.
13 The l-adic and p-adic
Representations of Deuring
with d i E Z( and 111 i E Z. It suffices to prove that {1m i for all i. The endomorphism
J. = m[;,[ + ... + m/r = -(d).j + ... + d/ r)
lies in End(A). Acting on A, we see that I. kills At. Hence I. factors through tb,
i.e. A = t'Y. for some 'Y. E End(A). But ;'1>' .. , I. r generate a space Q}j + .. , + QAr
over Q, and
(Qi. j + ... + Ql. r ) n End(A)
is a lattice of rank I' in this subspace. Without loss of generality, it suffices to
prove that a basis of this lattice is linearly independent over Z(, i.e. we can
assume that )'[' ... , ;'r themselves form a basis of this lattice. But then it follows
that 'Y.lies in ZJ. j + ... + Z;,,, whence tlmi for all i, as desired.
on Q(a) (where ).' is the endomorphism such that )).' = \'U)6 as discussed in
Chapter 2) defines an automorphism of Q(CI.), and is not the identity, for other-
wise
[13, §2] REPRESENTATIONS IN CHARACTERISTIC P 175
for all ), E Z[ex] which is patently false. Hence ). 1--* 1.' is the non-trivial auto-
morphism of Q(ex). Furthermore Q(ex) must be imaginary (in any embedding
in C) because
NQ(a)/Q(A) = U ' = v(A) > °
for all ), E Z[ex], Ie =F 0.
Theorem 4. Let A be defined over the finite field with q elements, and let
7rqbe its Frobenius endomorphism. If 7r q E Z, then Tp = 0. So if Tp =1= 0,
then 7r q is a non-trivial endomorphism.
Proof Let q = pro We know that 7rq has degree q. If 7r q = ni5, then
q = v(7r q ) = n\
whence n = pm for some integer m. But 7rq is purely inseparable, and therefore
p m i5 has kernel 0, whence Tp = 0.
T heore m 5. Let A be an elliptic curve over afinite field F of characteristic p,
and assume Tp(A) =1= 0. Then:
i) End(A)Q = k is a quadratic imaginary field, and End(A) = 0 is an order
in k.
ii) The prime p does not divide the conductor c of o.
iii) The prime p splits completely in k.
Proof Theorem 4 shows that there exists a non-trivial endomorphism of
A, namely 7r q • The representation of End(A)Q on Vp (or of End(A) on Tp) is
faithful, and therefore gives rise to an embedding of End(A) in Zp, which shows
that End(A) = 0 is commutative. It follows that End(A) has dimension 2 over Z,
whence End(A)Q = k is a quadratic field. Since k admits an embedding in Qp,
it follows that p splits completely in k. There remains only to prove that p does
not divide the conductor c of o. We know that 0 = Z + CO k . There is an integer
m such that
7r q = m + crx and 7r~ = m + crx '
Proof Since nn' = qE>, in the unique factorization in 0 (with primes not
dividing the conductor), only divisors of p can occur as divisors of nand n'.
Since p does not divide n (because n is purely inseparable, and pE> has a non-
trivial kernel), it follows that there is a positive integer m such that, after
permuting p and p' if necessary, we get
and
Therefore nn'o = pdO, and m = d. Since the curve is not supersingular, the
only automorphisms are ±E> (according to the tabulation of Appendix 1),
and n is uniquely determined up to ± 1. This proves our corollary.
whence j A = j~2. We are using the fact in characteristic p that j A is the invariant
of isomorphism classes of elliptic curves.
In particular, we see that j A E F p2 must lie in the field with p2 elements if
TP(A) = 0, and there is only a finite number of isomorphism classes of elliptic
curves A in characteristic p such that Tp(A) = O.
Corollary. Assume that A is supersingular, with invariant j, and that A
is defined over F P(j) = F. Then for p i' 2, 3 we have:
n; = -pE> if j E Fp
np2 = ±pE> if j ¢ Fr
Proof Suppose first that F = F p' i.e. that j E F p' Let n = n p' Since pE> and
n 2 have the same degree p2, it follows that they differ by an automorphism of A.
Since p i' 2, 3 and the curve is supersingular, it follows from Appendix 1
that the only automorphisms of A are ± E>, whence n 2 = - pE>, and the first
formula is proved.
Secondly, suppose that j is of degree 2, so F = Fp(j) = Fp2, and q = p2.
Then rrq and pE> have the same degree p2, so that they differ by an automorphism
of A. Again by Appendix 1, it follows that in the supersingular case the only
possible automorphisms are ± E>, whence rr = ±pE>. The second formula is then
obvious.
[13, §2] REPRESENTATIONS IN CHARACTERISTIC P 177
the images in B of ar+ l , ••• , ar+s under the canonical map. We have an endo-
morphism of B,
).; B ~ BI(b l , ••• , bs );:::: B
of degree PI ... p,. Let
).Ok = ql ... qm
be the prime factorization in Ok' Then
v().) = n.' = Nql ... Nqm = PI ... p,.
Hence the prime ideals qj must be the prime ideals of Ok dividing PI, ... , Ps
and must occur to the first power. Since Pi remains prime in k for all i, it follows
that Nqj is the square of a rational prime, a contradiction which proves the
theorem.
Theorem 8. Let TP(A) = 0, and let D be the division algebra End(A)Q.
Then D splits at all primes t i= p.
Proof If t i= p, then D is represented as a ring of endomorphisms of
Vt(A), in a way which we know is the tensor product with Q(, and VAA) has
dimension 2 over Qt. Hence locally at t, we must have Qt ® D ;:::: M 2(Qt).
For the reader who knows the Hasse theorem on simple algebra, we now
see that D ramifies at p and also at infinity (i.e. becomes the ordinary quaternion
algebra over R) because the sum of its invariants is equal to 0, and D cannot
split everywhere, otherwise D is a matrix algebra globally, which is not the case.
Theorem 9. IfTp(A) = 0, then End(A) is a maximal order in End(A)Q.
Proof We shall omit this proof, which the reader can look up in Deuring
[4], and which depends on a counting argument, considering left ideals. The
result will not be used in this book.
For the further properties of supersingular invariants, we refer the reader
to Deuring's basic paper [4], and more recently to Manin's fairly comprehensive
°
survey [30]. Observe that in characteristic p, if the group of automorphisms
of an elliptic curve has order> 2, then j = or 12 3 (as you can verify from the
tables in the Appendix). If the curve is supers in gular in addition, then we neces-
sarily have j = 0. Connections with the Hasse invariant are discussed in an
appendix.
But
for all (In, and by Lemma we conclude that y = ny' for some y' E End(B).
Therefore
).:x).~1 = y' E End(B),
thus proving our theorem in the present case p{v(),).
Next we have a result which will be used to deal with the remaining case,
but is of interest in itself, so we state it separately as a theorem.
Theorem 11. Let ).: A -> B be an isogeny and v(/.) = pro The map
a 1---+ ).a).~l
'~1
)
,aA =
I
p p,R
with some p E End(8). Then
,h~. ~ 1 = 1
p
AaA' = ~ p,
p
a
so that
where rx(P) is the image of rx under the automorphism C f-+ c P of the universal
domain. Hence we find
rrrxrr- 1 = rx(p) E End(nA),
whence en:xn- J e 1 E End(B), thereby proving Theorem II.
where A(f) denotes the group of points of A whose order is a power of t, in the
given algebraic closure "Q. Consequently we have an isomorphism
Tt(A) ~ TtCA).
If we want to specify the "l3 in the notation, we also write
A = AC"l3).
On the other hand, we only have a homomorphism
Tp(A) -> Tp(A).
182 THE t-ADIC AND p-ADIC REPRESENTATIONS OF DEURING [13, §4]
elliptic curve isogenous to if. By changing A with an isogeny over some number
field, we may assume without loss of generality that we have a normalized
embedding
0: k ~ End(A)Q
such that O(Ok) = End(A). Let m be a positive integer such that pm and p'm are
principal, say
and
Then J1.J1.' = pm. Note that J1.' ¢ p, and since 0 is a normalized embedding, it
follows that O(J1.') is separable because the reduction of J1.' w (for a differential
form of first kind w) mod ~ is not 0. Since O(J1.') has degree a power of p, so
does its reduction mod ~, and hence if has a non-trivial point of order p, thus
proving that if is not supersingular.
On the other hand, if p does not spilt completely in k, we know from
Theorem 9 of Chapter 10, §4 that there is some element J1. E Ok such that O(J1.)
reduces to a Frobenius endomorphism. Since POk = pm, with only one prime p,
and since J1.J1.' is equal to a power of p, it follows that J1.' differs from J1. by a unit
in Ok' and that O(J1.)O(J1.') = qb, where q is a power of p. This implies that qb is
purely inseparable, whence if is supersingular.
Let us assume now that p splits completely in k, and that quite generally
End(A) ~ 0, where 0 is an order in k with conductor c = p' co, and p,f'co. We
want to determine End(if).
We know from general reduction theory that the reduction map
End(A) ~ End(if)
puts some limitation on how much more there is in End(A), for we know that
End(A)Q is an imaginary quadratic field. Hence at least we get an isomorphism
End(A)Q ~ End(A)Q
induced by reduction.
Now suppose that p does not divide the conductor of 0 = End(A). We have
an isomorphism
TtCA) ~ Tt(A)
for every prime t # p, and we use Lemma I of §3, which tells us that End(A)
and End(A) have the same localizations at t. On the other hand, 0k,(P) = o(p)
if p does not divide the conductor, and therefore o(p) is integrally closed, hence
must coincide with the localization at p of End(A). This proves that
End(A) ~ End(A)
because they have the same localizations at all primes.
If p divides the conductor, the argument is similar. We see that End(A) and
End(A) have the same localizations at t # p. Theorem 5 of §2 tells us that p
does not divide the conductor of End(A). This proves our theorem.
Let / be the set of all invariants jA of elliptic curves A over the complex
numbers with non-trivial endomorph isms. If j E / , we let k j be the quadratic
imaginary field isomorphic to the endomorphism algebra corresponding to the
given invariant. We know that / is contained in the integral closure of Z in
the field of algebraic numbers, and we denote this integral closure by az.
For each prime number p we let / p be the set of j E / such that p splits
completely in kj' and p does not divide the conductor of the ring OJ of endo-
morphisms of an elliptic curve A with invariant j. We shall sometimes use
Ihara's notation, and write
G)=l
if P splits completely in the field k and does not divide the conductor of the
order 0 in k.
Let '13 be a place of aQ, lying above p. We get a map
/p -t aFp
denoted by the usual bar,
jH-],
into the set of singular (and not supersingular) invariants in characteristic p,
according to Theorem 12. One of Deuring's major results is:
Theorem 13. The map /p - t aFp is a bijection of /p with the set of singular
invariants in characteristic p.
184 THE [-ADIC AND P-ADIC REPRESENTA nONS OF DEURING [13, §5]
We can also assume that 1X0 is cyclic, for otherwise, factor out any multiple
of the identity. Let n = v(lXo). Let A(j) be an elliptic curve with transcendental
invariantj over Q. Let Zit ... , Zop(n) be the cyclic subgroups of A(j), of order n.
Let
A.;: A(j) -+ A(j;)
be a homomorphism with kernel Z;. i = I, ... , tfJ(n). Let R be the integral
closure of
Z[j,jl' .. . ,jop(n)]
in a suitable finite extension of Q(j).
Let} E QFp be the invariant of Ao. There exists a homomorphism
ZU] -+ QFp
whose kernel contains p and sendingj on}. We can extend this homomorphism
to R, say R -+ R, because all the j; are integral over Z[j]. We can select models
for the A(j;) so that they have non-degene·rate reduction at the local ring of the
homomorphism
R -+ R.
Without loss of generality, we can select Ao = AU) = A since they have the
same invariantj. For one of the indices i, say i = 1, the kernel ZI of Al will be
the kernel of 1X0. Therefore
A ~ AIZ 1 ~ A(h).
Let 9.11 be the kernel of the homomorphism R -+ R. We have the inclusions
R ::::> 9)1 ::::> (p,j - jl).
Let qR be a minimal prime containing (j - j!). Then qR is of dimension
(geometrically speaking, qR defines a component of the hypersurface j = .it).
Then qR n Z = {O}, for if q E qR is a rational prime, then qR contains q and
j - j!, whence would be of dimension 2, which is impossible.
Let q be an extension of qR to a prime ideal in the integral closure R of R Q
We have an isogeny
A.q: Aq -+ A(jl)q,
whose kernel is Z!q, and therefore Aq admits an endomorphism IX whose kernel
is Zlq. Reducing further mod 9)1, we conclude that A has the endomorphism
ex whose kernel is Z It which is the same kernel as 1X0.
If A = Ao has no automorphisms other than ± 1, we have now completed
the proof, because two endomorphisms with the same kernel differ by ± 1.
186 THE t-ADIC AND P-ADIC REPRESENTATIONS OF DEURING [13, §5]
This suffices for our purposes of lifting singular, i.e. not supersingular,
invariants. Indeed, in characteristic> 0, if an elliptic curve admits automorphisms
other than ± 1, then one sees from Appendix 1 that either the characteristic
is # 2, 3 and the curve is not supersingular, and is definable by an ordinary
equation,
or
whence the ring of endomorphisms obviously lifts; or the characteristic is 2 or
3, in which case the curve is necessarily supersingular, and actually j = O!
So, for our purposes, we are done.
Observe the compatibility of the present situation with the general system
of Theorem 12, say. If A is an elliptic curve over a number field with ring of
endomorphisms Z[i], then its reduction mod 2 or 3 must be supersingular,
because 2 ramifies in Q(i) and 3 remains prime in Q(i). Similarly, if A admits
Z[p] as endomorphisms, then its reduction mod 2 or 3 must be supersingular,
because 3 ramifies in Q(p) and 2 remains prime in Q(p).
14 Ihara's Theory
One can reduce the modular function field mod p and obtain an infinite
extension of Fp(J), with j transcendental over Fp. Igusa determined the Galois
group [22], pointing out that it has the same SL 2 part as in characteristic zero,
and that the part acting on the roots of unity is just that generated by the
Frobenius element, i.e. those matrices having determinant a power of p. Ihara
had the idea of lifting back singular values j of j in the algebraic closure aF p by
the Deuring lifting, and to represent the Frobenius automorphism in the de-
composition group of the modular function field in characteristic p by an
element of the isotropy group of the point Z E t) such that j(z) = j, with a
suitable place of the algebraic numbers, denoted also by a bar. This led him
to deep conjectures concerning non-abelian extensions of the rational field
F p(J), for which we refer to his original treatise [86].
However, as pointed out in [28], one can use some of lhara's ideas in the
context of extensions of Z[j] in characteristic 0, also allowing for the possibility
of studying extensions of number fields generated by coordinates of point of
finite order on elliptic curves without complex multiplication. The ideas used by
lhara for his proofs could be extended to this context, and we shall follow
here the exposition of [28].
The elements of ,Ip are values j(z), such that the order 0 of [z, I] has con-
ductor not divisible by p, and p splits completely in the imaginary quadratic
field k = Q(z). We shall abbreviate these two conditions by (ojp) = 1.
The association
j(z) 1-+ j(z)
gives a bijection between ,Ip and the set of singular invariants in QFp , by Theorem
13 of the preceding chapter. A point z E f) such that j(z) =} will be called a
Deuring representative of} in f).
We consider such a point z, let the order 0 be as above. We let
p = ~ n 0,
Theorem 2. Let z be in the upper half plane, let 0 be the order of [z, 11,
and assume (ojp) = 1. Then there exist two elements Ct, a' of M~ such that M~
is a disjoint union of two direct products
Mf = {a} x pN x T u {a ' } x pN x T,
where {Ct}, {Ct'} are the positive powers of a, a ' respectively, pN consists of all
powers of p with natural numbers, and T is isomorphic to the group of units
in the order 0 of[z, 1].
[14, §IJ DEURING REPRESENTATIVES 189
Proof Let the notation be as in Theorem I. Let pD = {lO. Then there exists
a unique matrix rx in MP such that
and :x(z) = z, i.e. z is a fixed point of rx. Let L z = [z, 1], and let A z be, as in
complex multiplication, an elliptic curve whose j-invariant is j(z), and having
non-degenerate reduction mod~. We identify k = Q(z) as End(A Z)Q in the
normalized way. Let
({Jz: Q2 -.. QLz!L z -.. A Z
be our usual coordinatization, as in Chapter 7, §2. By the lemma of Chapter 7,
§2, if
so that {I = cz + d, then there exists an isogeny t.: Aa(z) -.. A Z such that the
following diagram is commutative.
Q2 -.. QLa(z) -.. Aa(z)
at t p
Q2 -.. QL z -.. AZ
In other words,
),O({Ja(z)(a) = ((Jz(arx).
In the present case, rx(z) = z. Reducing mod ~, we obtain
A ({Jz(a) = ((Jz(a:x).
Furthermore, since Ii E p, it follows that)' is purely inseparable. Hence I differs
from the Frobenius map 1tpD by an a.utomorphism e of A =, and consequently
we get the relation
q,/arx) = e ({Jz(a)p D •
The matrix rx has infinite period modulo pN x T (T = torsion) because {I does
not lie in po (not divisible by the conjugate p').
Let {J E M~. Dividing out a positive power of p, we may assume that {J is
primitive. Then
with some P lEO, because z is a fixed point of {J. But {II ¢ po. Hence if p' is the
conjugate of p, then
or
190 lHARA'S THEORY [14, §2]
for some positive integer m. Since D is the period of p in the proper ideal class
group of 0, we must have Dim. Hence
j11 = j1m/D, or j11 = j1'm/D"
where' is a unit of o. Hence f3 = (J,m/Dy, where y has finite period, and corresponds
to a unit of 0, or f3 = (J,'m/Dy, where (J,' relates to j1' as (J, relates to fl. This proves
Theorem 2.
Observe that the distinction between (J, and (J,' was due to the determination
of p as ~ n o. We call (J, a p-generator of M~. It is well-defined modulo T, and
is characterized as being that matrix such that if D is the period of p in the proper
ideal class group of 0, and pD = flO, then
having p-component equal to 1, and all other components equal to fl. For any
prime t =!= p, the embedding qt(s) in GL 2(Zt) is simply the matrix (J, itself. By
Shimura's reciprocity law in Chapter 11, we know that for any function f E F
defined at z, we have
f(Z)<.-l,k) = f"(z),
where a = a(q(s)). Note that ('J, = Ut. So the right-hand side of the above relation
[14, §3] SPECIAL SITUATIONS 191
gives us the desired effect on functions. As for the left-hand side, (S-I, k) is the
same automorphism as (r, k) where r is the idele
r = ( ... ,1, I,ll, I, I, ... )
with f.1 in the p-component and 1 everywhere else. Now one knows by local class
field theory (cf. Algebraic Number Theory, Chapter XI, §4) that (r, k) lies in the
decomposition group of ~\ and has precisely the effect N~, kab/k), modulo the
inertia group of~~. Consequently we find that
r(z) = f(zt,
because p has order D at p. This proves our theorem.
.J = }(z).
192 IHARA'S THEORY [14, §3]
Let F(z) be the field of all valuesf(z) withf E F,f defined at z. The Galois group
of F(z) over Q(j(z)) is a factor group of the decomposition group of the place
ft-> fez).
Let 9Jl z be the maximal ideal in R which is the kernel of the map
ft-> fez).
We can find a Deuring representative z' for j, and we let 9Jl z ' be the kernel of
the map
ft-> fez')
in R. Both Wl z and Wlz' lie above 11l, and the Frobenius automorphisms
(WlZ' F/Fd and (Wlz" F/Ft )
are conjugate to each other (as are the ideals Wl z and IDlzJ We can then apply
Theorem 3 to z' to get a description of the Frobenius automorphism in F(z).
Thus We obtain a correspondence from certain non-abelian extensions of
Q(j(z)) to abelian extensions ofQ(z',j(z')). In some sense, the study of the non-
abelian Frobenius automorphism can be thrown back to the study of an abelian
one, which, however, varies with p. Thus it becomes a major problem to deter-
mine the distribution laws of this variation with p, having fixed z. This concerns
both the distribution of z~ and of the values j(z~). For instance, one may start
with a given integer jo E Z, such that an elliptic curve with invariantjo does not
have complex mUltiplication. One then asks for the distribution of values j(z;)
z;
with Deuring representatives such that
j(z~) == jo (mod p),
and jo (mod p) is not supersingular. One can conjecture that the set of p for
which jo (mod p) has a given quadratic imaginary field k as algebra of endo-
morphisms must have density 0, but is infinite. Hale Trotter and I have made
extensive computations about this problem, and a more precise discussion will
appear, with the data, in a forthcoming joint paper [Frobenius Distributions in
GL 2 -extensions, Springer Lecture Notes 504, 1976]. For supersingular reduc-
tion, Serre has proved that the density is 0, cf. [35J, 3.4 and 4.3.
One can also recall a problem which I had encountered many years ago,
for abelian class field theory over finitely generated rings over Z, namely describe
an appropriate equivalence among the maximal ideals to determine which ones
have the same Artin symbol in an abelian extension. It turns out here that we
are studying a non-abelian situation of Kronecker dimension 2, i.e. a situation
where both p and j vary, not only with fixed j, variable p as in ordinary complex
multiplication, or fixed p, variable j, as in Ihara's work. In this way, complex
multiplication seems to have a much wider range of applicability than thought
of previously, since it affects the most general non-abelian situation.
Part Three
Elliptic Curves with
Non-Integral Invariants
The preceding part studied elliptic curves with singular invariants, having
complex mUltiplication from an imaginary quadratic field. We now study a
case, which is both special and generic, of elliptic curves with invariant which
is not integral at a given place, and find that there is a very convenient way to
parametrize them, as shown by Tate, over a field with a non-archimedean
valuation. Actually, as pointed out in [28], one also can work over complete
local rings such that if j is the invariant of the curve, then 1Ii lies in the maximal
ideal, and this allows us to treat the generic case as well, since we can always
send a transcendendentalj to infinity.
For the higher dimensional theory, the reader is referred to:
H . MORIKAWA, "On theta functions and abelian varieties over valuation
fields of rank one," I and lI, Nagoya Math. Jour. 20 (1962), pp. 1-27 and
231-250.
D. MUMFORD, "An analytic construction of degenerating curves over
complete local rings," Compositio M atll. 24, Fasc. 2, (J 972), pp. 129-174.
15 The Tate Parametrization
1[
g2 = 12 1 + 240 n~l
00 /1 3qn ]
1 _ qn
1[ /15 qn ]
g 3 = 3 -1
6
+ 504 L 00
n~ll-q
--n
1
j = ~ + 744 + ...
q
1 qrnw nqn
+ L----mz - L --n
00 •
x(w) = - 2
12 rnEZ (l - q w) n= 1 1 - q
q ln w(1 + qlnW)
y(W) = L
inEZ
(1 _
q
In
W
)3
The denominators involving the primes 2, 3 are a slight blemish on these series,
and so we make a transformation which gets rid of them.
First we get rid of the 4 in 4x 3 by letting y f-+ yj2. Next we get rid of the 1/12
by letting x f-+ x - Ij12. Finally we make a translation on y, to give us new
variables X, Y whose relations to the original x, yare
X = x- A, y = i + Kx - i;)'
Then the Weierstrass equation is transformed into the Tate equation
y2 _ XY = X 3 - h 2 X - h3
197
198 THE TATE PARAMETRIZATION [15, §1]
where
00 q"
112 = 5 L
"= I 1 - q
"
5n 3 + 7n5
113 = L':', ~-----;;
qn
"=1 12 1- q
(IX) X(W) = L
nEZ
q"W
(1 - q"W)2
- 2 ~
n= I 1 _ qn
f
(q n W)2 nq"
L (1 L
00
(1 Y) Yew) = n 3 - --n'
"EZ - q 11') "= I 1- q
By expanding the square of the geometric series, one sees that the last term can
be rewritten in the form
00 nqn CI) q"
L
"~I 1 _ qn n= I 1 - q
(----,,-)2·
which shows, by comparison with the geometric series Lq", that the convergence
is absolute for all 11' E k* and is uniform for 11' in an annulus
o< /'1 ~ 111'1 ~ 1'2'
(4X)
1 nqn
L
00 n -n
= -I + --new +w ...:.. 2)
w+ w - 2 n= 1 1 - q
for Iql < Iwl < Iql-I.
Similar to (2X) we have the analogous expression for the other coordinate,
namely for all WE k* we have
w2 q 2n w2 q"w-I qn ]
+ - - .
00 [
(2Y) Yew) = -.- - - ~
(1 - W)3 n":l -<1 - qnW)3 (1 - qnW-? (1 _ q")2
Trivial rearrangements of the defining series show that Y satisfies the functional
equation
(3 Y) Y(qw) = Yew) and Y(W-I) + Yew) = - X(w).
The series giving h2 and h3 converge, because the coefficients are integers,
so of absolute value ~ 1.
As usual, we let
A = 113 + h~ + 72h)13 - 432h5 + 64h~
= q - 24q2 + 252q 3 + .. "
the polynomial in h2' h3 being simply obtained from the formal relation
j =
q
! (1 + 744q + 196884q2 + ... )
as expected. The Tate equation defines an elliptic curve, called the Tate
curve.
Theorem 1. Let qZ be the infinite cyclic group generated by q in k*. Let
A be the Tate curve. Let
<pew) = (X(w), Yew»~ if w rt qZ
<pew) = 0 if w EqZ,
where 0 is the origin (point at infinity) on A. The map <p is a homomorphism of
k* into Ak with kernel qZ.
200 THE TATE PARAMETRIZATION [IS, §1]
IfwEqZ then X(w) and Yew) lie in k, so cp(w)+O. Hence the kernel of <p is
qZ. Tate has also shown that <p maps k* onto A k. For this and a description of
the function field in terms of the functional equation, we refer to the exposition
of Roquette [B8].
Theorem 2. Let A(q) be the Tate curve corresponding to a choice of q E k
with Iql < 1. For any positive integer N, the curves A(q) and A(qN) are iso-
genous.
Proof Let ct>N(T,j) = 0 be the modular equation of order N. Write j(q) for
the q-expansion of j. Then from the complex theory we know that we have a
formal power series relation
ct>N(j(qN),j(q» = O.
Hence this relation is valid for q E k* and Iql < I. This proves the theorem in
characteristic 0 by Theorem 5 of Chapter 5, §3. Actually the theorem is valid
in general, and we again refer to Roquette's exposition for this.
It was convenient to give the above proof here, but of course it is also natural
to see the theorem from the general theory. The groupqZ plays the role ofa lattice,
and in this analogy, any sublattice gives rise to an isogeny in a natural way.
Suppose given an element j E k* such that Ijl > 1. Then the formal q-
expansion for the modular function can be inverted, to give
q =} + f(}) ,
where fis a power series with coefficients in Z. Hence we can define q in k* and
get a Tate curve having the given invariant, chosen to be non-integral.
202 THE TATE PARAMETRIZATION [15, §2]
q = ~ + Ie)
where f is the power series at the end of the last section. Conversely, given q E m
the seriesj(q) converges in R.
We can always find a discrete valuation on K which induces the topology
on R such that the powers of m form a fundamental system of neighborhoods
of O. For instance if R is regular, for any element a E R we define
ord a
to be the largest exponent r such that a Em', and extend the order function to
the quotient field so as to make it a homomorphism. In general, we use the
Cohen structure theorem, which states that a ring R as above is always a finite
module over a subring R o, satisfying the same conditions, and in addition
regular. We can then put a discrete valuation on the quotient field of Ro as
above, and extend it to the quotient field of R. It serves our purposes. Such a
valuation will be called admissible.
Alternatively, one could also use the procedure known by geometers as
blowing up the point corresponding to m in spec(R), and one way of doing it
is to take generators m = (a], ... , am). For at least one of the a;, say a], the ideal
is not the unit ideal in R[a 2 /a] , ... , am/a]]. Let S be the integral closure of
R[a 2 /a], ... , as/a]] in K, and let p be a minimal prime ideal containing the ideal
Sa,. Then a i -> 0 under the canonical homomorphism S -> Sip. The local ring
Sv is a discrete valuation ring whose maximal ideal induces 1lt in R.
Geometrically, the above construction amounts to the following. We have
a morphism spec(S) -> spec(R), and we intersect S with the hypersurface
a, = O. Then all components of this intersection have dimension dim spec(S) - 1,
and since S is integrally closed, these components are non-singular divisors on
spec(S). One of them lies above the point in spec(R), thus giving rise to the
discrete valuation. Cf. Zariski, A simple analytical proof of a fundamental
property of birational transformations, Proc. Nat. Acad. Sci. USA (1949),
pp.62-66.
For a formal reference to the commutative algebra used above, you can
always look up Grothendieck's EGA, Chapter IV, 7.8.3 and 7.8.6. The point
[15, §2] ELLIPTIC CURVES OVER A COMPLETE LOCAL RING 203
is that starting with a certain type of ring called excellent, and including Z,
a field, or a complete Noetherian local ring, then the rings obtained by taking
completions, localizing, taking finitely generated extension rings, or taking
integral closure, will have all desirable properties. For instance, we used the fact
that the integral closure of R[b J , • • • , bml is finite over this ring (b i = aja J ). We
shall continue to assume such basic results from commutative algebra. For
another reference, the reader can look up Matsumura's Commutative Algebra,
Benjamin, Reading, Mass. 1970, Chapter XIII.
Let A be an elliptic curve defined over K, with invariantj = j(q). Let Dq = qZ.
We denote by D~!N the subgroup of K* consisting of all elements whose N-th
power lies in D q • This subgroup is generated by the N-th roots of unity, and any
N-th root of q, say ql/N. The factor group
D~/N/Dq
is isomorphic to a direct product of cyclic groups of order N, generated respec-
tively by a primitive (" and ql/N mod qZ, if the characteristic of K does not divide
N.
Theorem 3. Let A have invariant j(q) as above, and q lie in the maximal
ideal m of R. Let RN be the integral closure of R in KN = K«(N' ql/N). Then
the Tate mapping defined by the same formulas, as in Theorem 1 converges in
RN and induces a homomorphism of D~!N into AN' If N is prime to the charac-
teristic of K, it induces a Galois isomorphism of D~!N/ Dq onto AN, and
K(AN) = K«(N' ql/N).
Proof Let w = (qs/N where ( is an N-th root of unity, and s is an integer.
The series giving X(w) and Yew) in the preceding section are seen to converge
in R", and even in R[(N, ql!N], to yield elements in K«('1, ql/N). Formulas (2X)
and (2 Y) exhibit the desired convergence. Note that a finite number of terms
are rational functions in q, w, but that all but a finite number of terms lie in the
maximal ideal of R N , and tend to 0. We then see that the mapping is a homo-
morphism of D~/N either by repeating the arguments of Theorem 1, or by re-
ducing the present situation to the preceding one by means of a discrete valuation
vas constructed above. We get an injective homomorphism of DV'" / Dq into AN'
If N is not divisible by the characteristic of K, the homomorphism must be
surjective since AN has order N 2 •
Let G be the Galois group of K(AN) over K. Then G operates in a manner
compatible with the Tate parametrization, i.e. that for a E G we have
X(aw) = X(w)'" and Y(aw) = Y(w)"
if w E D~JN. This is clear by continuity. It is then clear that
K(AN) = K«(N, ql/N),
thereby proving our theorem.
204 THE TATE PARAMETRIZATION [15, §2]
Let cp = (X, Y) be the Tate mapping, and let PI = CP«(N), P z = cp(qI/N). Then
the above element in the Galois group is represented by the matrix
GD·
On the other hand, suppose for simplicity that P{ N. Then ('I generates an
unramified extension of Zp[[ql/N]], whose Galois group is generated by the
Frobenius automorphism such that
(~ ~).
The full Galois group Gal(KN/KI) is the subgroup of GL 2 (Z/NZ) generated by
the above two elements (when P{ N). When pIN, then the root of unity ramifies,
but the group is again easily determined, since KN over the quotient field of
ZA[ql IN]] has the same Galois group as Qp«(';) over Qp.
Observe that taking the union of all fields KN yields a field which we denote
by K. The group of all matrices
but of course only an injection of Tp(A) into Tp(B). Indeed, if A is defined over
K and (J E G K , then for any point a of A in the algebraic closure of K, we have
Remark 1. We observe that all the results will be such that they allow us to
pass to open subgroups of the Galois group over the field K. Thus whenever
we want to prove an isogeny theorem, it suffices to do it over a finite extension
of K, which we select at our convenience. We can also do it over a finitely
generated extension, because the Galois group of a Galois extension does not
change when we lift this extension over a purely transcendental extension of K.
C~), n.
and pz = p. Thus P induces a local isomorphism of SLz(Zp) into itself. We look
at its effect on the Lie algebra. Let X = (~ ~), Y = and H = (~ -
we may assume that p sends H into a scalar multiple of H. Looking at the above
brackets shows that this scalar is ± I, and another conjugation reduces us to the
case when p leaves H fixed. Again looking at the effect of p on the brackets
we conclude that p sends X into aX and Y into bY, and then that b = a~l.
Conjugation by (~ ~~1) then returns aX to X and bY to Y. Hence the effect
of p on the Lie algebra is inner. It follows that it is locally given by a conjuga-
tion on the group.
Corollary. Let A, A' be elliptic curves over K, and assume that K(A(P»)
and K(A'(P») have an intersection which is of infinite degree over K. Assume
that the representations of Gal(K(A(P»)/K) on Tp(A) and Gal(K(A'(P»)/K) on
Tp(A') map the Galois groups onto open subgroups of SL 2 (Zp)' Then there
is afinite extension E of K such that
E(A(P») = E(A'(p»),
and Theorem 1 applies.
Proof Since the Lie algebra of SL 2 (Zp) is simple, there exists an open
subgroup W of Gal(K(A(P»)/K) having the following properties:
i) W has no finite subgroup other than I.
ii) Any closed normal non-trivial subgroup of W is also open, and hence
of finite index.
Let Kl be the fixed field of W. We consider the inclusion of fields:
Kl c K1(A(p») n K 1 (A'(p») c K1(A(P»).
The intermediate field is of infinite degree over K 1 , and is the fixed field of a
closed normal subgroup of W. By the above two properties, it must be equal
to K1(A(P»). Arguing the same way with respect to A', i.e. selecting an open
subgroup W' in a similar way, we can find a finite extension K2 of K such that
KiA(p») = Kz{A'(P»).
Let q, q' be elements of m and let A = A(q) and A' = A(q') be the elliptic
curves as in the Tate parametrization, defined over K. Let Dq = qZ. We know
that there is an isomorphism
D~/pnlDq ;::::, An'
Actually, the elliptic curve will be irrelevant for this section, and one could
phrase all the statements completely in terms of the Kummer extensions
K(D:IP"), letting the above;::::, be an equality.
As in Kummer theory, if Z E D:IP" then zp" lies in D q , and there is an
integer c such that
We can now prove Lemma I. Suppose the sequence (3) splits. There is a
G-subspace Wof ViA) which is mapped isomorphicaliy onto Qp. Let
W T = W (] Tp(A).
The image of W T in Zp is pNZp for some N ~ O. But then it follows immediately
that pN x = 0, contradicting the fact that x has infinite order.
Lemma 3. Let Roo be the integral closure of R in
Koo = K(f1(Pl, ql/p"') = K(A(p»).
Let 9Jl be the maximal ideal of R<X) lying above m. Let I be the inertia group
of9Jl in Gal(Koo/K). Then I is offinite index in Gal(K",,/K).
Proof Let v be an admissible discrete valuation on K. We denote an exten-
sion of this valuation to K<X) by the same letter. Let Iv be the inertia group for this
extended valuation. It will suffice to prove that Iv is of finite index in Gal(Koo/K),
because I:::> Iv' Without loss of generality, we may therefore assume that R
is a discrete valuation ring. Let Kv be the completion of K at v, and let L be the
210 THE ISOGENY THEOREMS [16, §2]
with components In Zp- There exists some positive integer r such that the
equation
x P' - q = 0
has no root in L(pCP». For otherwise, we obtain
L(!~(P» = L(p(P\ qljp~) = L(A(p»,
and the Galois group of L(A(P» over L is abelian, which means that the above
matrices must be diagonal, whence the representation is reducible, contradicting
Lemma 1, applied to the field L, with its discrete valuation ring. By an elementary
irreducibility criterion, or even Kummer Theory, this implies that the degree of
L(p(P>, q 1 jp")
over L(fl(P» satisfies an inequality of the same kind as above, i.e. it is at least
equal to cpo for some constant c. Hence there is a constant c such that for all n,
[L(A.) : L] ~ Cp2'.
[16, §3] THE LOCAL ISOGENY THEOREMS 211
Since the Galois groups of K(An) over K and L(An) over L have an order of
magnitude at most equal to c'p2n for some constant c', it follows that
Gal(L(A<P»/L)
is of finite index in Gal(K(A<P»/K). Since L is maximal unramified, it follows
that L(A<P» is totally ramified over L, thereby proving our lemma.
- -
Using again our discrete valuation v, we get a homomorphism
lim Hl(G, Pn) = lim K*/K*pn -t Zp,
212 THE ISOGENY THEOREMS [16, §3]
and we have seen that the image of x is v(q) and the image of x' is v(q'). Hence
rv(q) = sv(q').
It will now suffice to prove that
0( = qV(q')/q,v(q)
is a root of unity.
We look at the image of 0( in lim K*/K*pn. This image is
v(q')x - v(q)x',
and multiplying by s, we find 0 by using the above relations. Hence the image
of 0( in lim K* / K*pn is O.
~
We are thus reduced to proving that the kernel of the canonical map
K* -+ lim K* / K*pn
is finite. If an element 0: lies in the kernel, then 0( must be a pn-th power in K for
all n. If 0: does -not lie in R, then 1/0: does not generate the unit ideal in R[1/o:],
for otherwise 0: would be integral over R, whence in R, a contradiction. A
minimal prime over the ideal (1/0() in the integral closure of R[l/a] would give
rise to a discrete valuation where a has a pole, and hence could not be a pn-power
for large n. So 0: lies in R. Similarly, 0( cannot lie in m, otherwise 1/0: does not
lie in R. Hence a is a unit in R. Since the residue class field is finite, and R is
complete, there is a finite subgroup k* in R representing the non-zero elements
of R/m, and the group of units U of R is isomorphic to a product
U ~ k* X U1,
where U 1 consists of the units congruent to 1 mod m. If w E m, then (1 + w)pn
lies in 1 + mO. From this it is clear that a must lie in k*. This concludes the proof
of Theorem 2.
Remark 1. Having proved that two integral powers of q and q' are equal, it is
then also true that the curves are isogenous over K. This follows from the
general Tate theory viewing qZ and q'Z as "lattices".
Remark 2. In higher dimensions, one can define the analogue of the "multi-
plicative" parametrization given here for certain abelian varieties. However,
Ribet has given an example where the corresponding local isogeny theorem is
false in dimension 2, over an ordinary p-adic field. There remains the problem
of determining if it is true for "generic" abelian varieties.
Theorem 3. Let R be a complete Noetherian local ring, without divisors of
zero, integrally closed, with maximal ideal m, and quotient field K of character-
istic O. Assume that R/m is finite. Let A be an elliptic curve defined over K,
[16, §4] SUPERSINGULAR REDUCTION 213
with invariant j E R, and let A' be defined over K, with invariant / such that
11/ E 111. Then the representations of G K on Vp(A) and Vp(A') for any prime
p are not isomorphic.
Proof Passing to a finite extension of K and the integral closure of R in
this extension if necessary, we may assume that A has non-degenerate reduction
mod 11t. Furthermore, A' becomes isomorphic over a finite extension of K to
the curve having the Tate parametrization in terms of q', and hence again
without loss of generality, we may assume that A' is the Tate curve. We now
distinguish two cases.
The reduction A of A mod 111 has a point of order p in the algebraic closure
of the residue class field R = Rim. Then K(A(Pl) contains an infinite unramified
part, corresponding to the infinite residue class field extension
R(A(Pl).
On the other hand, by Lemma 3, we know that K(A'(Pl) is almost totally ramified,
in the sense of that lemma. Hence A and A' cannot be isogenous. (If p i= charac-
teristic of RI11t, then all of K(A( Pl) is unramified, and the argument works even
more strongly.)
The reduction A of A mod m is supersingular, i.e. has no point of order p,
so that A(Pl = 0. In that case, we use an admissible discrete valuation v. The
representation of GK on Vp(A') is triangular, and has in particular an invariant
subspace of dimension I, corresponding to Vil1). On the other hand, Serre has
proved that the representation of G K on Vp(A) is irreducible, [36], p. 128, Prop. 8.
[For the convenience of the reader, we shall reproduce the proof in §4.] Hence
these representations cannot be isomorphic, and the curves are not isogenous,
as was to be proved.
Remark. The assumption that the residue class field is finite can be weakened
to finitely generated over the prime field, since it is known that for such field k,
the extension k(A(Pl) of k has an infinite separable part if A is not supersingular.
However, we shall not use this in the sequel.
°
of generality that K is complete. We let be the ring of integers in the algebraic
closure of K, and we let In be the maximal ideal of 0. We assume that o/m has
characteristic p.
Suppose that A has non-degenerate reduction mod m K • We want to find
an appropriate parametrization of the points of A(P) which will exhibit their
ramification properties. This is done by studying the formal law defined by A
over OK' (Cf. Serre's Lie Algebras and Lie Groups, Chapter 4 and Appendix 1, §3.)
Assume for simplicity that the characteristic of the residue class field is =I: 2, 3
and that A is in Weierstrass form,
y2 = x 3 + bx + c, b, c E OK'
with non-degenerate reduction. The origin is represented by the point at infinity.
Let (Xl' YI) be a point in AK which is in the kernel of the reduction map. Then
X), YI cannot lie in OK'
It is clear by comparing poles that
with some positive integer m, units u I , VI, where 11: is an element of order 1 at
the discrete valuation of K. Let
X 1
t =- and s = -.
y y
The correspondence (x, y) H (t, s) changes the Weierstrass model into the curve
defined by
The kernel of the reduction map is then represented by points in the (s, t) plane,
with coordinates in m, and the origin of AK has coordinates (0,0) in the (s, t)
plane. Observe that t is a local uniformizing parameter at the origin of A.
[The only use we have made of the assumption that the characteristic of o/m is
=I: 2,3 is to give this explicit parameter. Except for this, all the arguments which
follow hold quite generally. The p-adic analytic study of the points on an elliptic
curve was originated by E. Lutz, "Sur l'equation y2 = x 3 - Ax - B sur les
corps p-adiques," J. reine angew. Math. 177 (1937), p. 204.]
Let z be the point with affine coordinates (x, y) on A, and write t = t(z).
It is easily shown by an explicit computation that multiplication by p on A is
represented by a power series with coefficients in OK' In other words,
t(pz) = f(t) = pt + a2t2 + a3 t3 + .. "
with a) = p, and an E OK for all n. [In general, the formal group law is defined
by a power series in two variables,
t(z + z') = F(t(z), t(z'»,
andfis obtained by iterating F, p times, setting z = z'.] See Appendix 1, §3.
[16, §4] SUPERSINGULAR REDUCTION 215
We cannot have Iln+ll ~ Itnl, because the right-hand side would then have an
absolute value < Itnl. Furthermore, the absolute value of the right-hand side
is at most
max{lplltn+lI,ltn+lI Z},
and its absolute value must be the same as Itnl. This shows that
Itn+ll ~ pltnl or Itn+ll ~ Itnlt.
From this we conclude that Itnl -> 1 as n -> 00.
If Itnl is sufficiently close to "1, then the term ut~+I on the right-hand side has
216 THE ISOGENY THEOREMS [16, §5]
absolute value strictly greater than any other term, because lad < 1 for
I ;;;; i ;;;; h - 1. We must therefore have
Itnl = lut~+ 11 = Itn+ tlh.
Thus from a certain no on, the ramification index at the n-th step increases at
least by a factor of h ~ p2. This proves our theorem.
The 0 re m 5. Let A be an elliptic curve defined over a field K of characteristic
0, complete with respect to a discrete valuation, and with non-degenerate
reduction .4, which we assume supersingular. Then Vp(A) is GK-irreducible.
Proof Let w = (WI' W2, .•• ) E Tp(A) and suppose that WI :f. 0. It suffices
to prove that there exists a E GK such that aw does not lie in the I-dimensional
module over Zp generated by w, because then wand aw form a basis of ViA)
over Qp, whence Vp(A) is GK-irreducible. We use Theorem 4, and need only that
[K(w n} : K] ~ Cp2n.
Suppose that aw is a p-adic multiple of w for all a E GK. Take n large. Then for
all a E GK , the point aWn is an integral multiple of wn, and there are at most pn
such multiples. This contradicts the degree inequality above, and proves that
Vp(A) is irreducible, as desired.
At the time this book is written, the isogeny theorem in general over number
fields is not known.
[16, §5] THE GLOBAL ISOGENY THEOREMS 217
Next we deal with the generic case. Deligne [2] proved it over the complex
numbers by using Hodge structures. I showed [28a] that the Serre arguments for
p-adic fields hold also in this case by working over Z[1/)] as follows.
Theorem 7. Let A, A' be elliptic curves over a field K, finitely generated
over the rationals. Assume that they have transcendental i-invariants. Let p
be a prime number, and assume that VP(A) and Vp(A') are GK-isomorphic.
Then the curves are isogenous.
Proof It is trivial that),j' must be algebraically dependent. Hence K can
be selected to be a finite extension of Q(J, 1'), of transcendence degree lover Q.
Next we prove that l' is integral over Z[j] and vice versa. Suppose this is
not the case. There exists a homomorphism of Z[)] which extends to Z[j, 1/)']
sending 1/)' to O. Let R be the integral closure of Z[j, 1/)'] in K. Extend the
homomorphism to R. By composing our homomorphism with another one if
necessary, we may assume that our homomorphism takes on its values in a finite
field. Let m be the kernel in R. The completion Rm has no divisors of 0 by EGA,
Chapter IV, 7.8.3 and 7.8.6. The Galois representations being isomorphic on
GK , they are isomorphic with respect to any closed subgroup, in particular the.
subgroup arising from the extension Km(A(P» = Km(A'(P», where Km is the
quotient field of Rm. This is a contradiction in view of Theorem 3. Hence l'
is integral over Z[j].
(For the reference to commutative algebra, the reader can also look up
Matsumura's book on the subject, W. A. Benjamin, Reading, Mass., 1970,
Chapter XIII.)
Consider the ring Z[I/), 1/)']. We contend that the ideal generated by
p, 1/), 1/1' is not the unit ideal. Let 0 be the local ring in Q(j) of the homo-
morphism of Z[I/j] which sends p and 1/) to O. Any place of Q(j) over this
homomorphism must send 1/)' to O. Otherwise, suppose 1/1' goes to a finite
element c #- O. Then)' goes to l/c, and) goes to infinity, which we have already
seen is impossible. Similarly, 1/1' cannot go to infinity. This proves our contention.
Let R be the integral <.:Iosure of Z[l/), 1/)'] in K and let m be a maximal ideal
of R containing p, I/), 1/)'. We now argue as in the first part of the proof, with
Rm, reducing our problem to the local case, and cite Theorem 2 to conclude
the proof.
Theorem 8. Let K be a finitely generated field over an algebraically closed
field k of characteristic O. Let A, A' be elliptic curves defined over K, with
invariants),1' which are transcendental over k. Assume that Vp(A) and ViA')
are GK-isomorphic. Then the elliptic curves are isogenous.
Proof As in Theorem 7, the invariants),)' must be algebraically dependent
over k, and we can assume K finite over k(j,1'). Without loss of generality, we
can assume that A is defined by a Weierstrass equation
218 THE ISOGENY THEOREMS [16, §5]
y2 = 4x 3 - gx - g,
and that A' is defined by
y2 = 4x 3 - g'x - g',
after replacing K with a finite extension if necessary. Then keg) = kU) and
kU') = keg'). There exists a function field Ko with constant field ko, such that ko
is contained in k, is finitely generated over Q, Ko is a finite extension of koU, j'),
and K is obtained from Ko by extending the constants from ko to k. The picture
is as follows.
Ko
~f
k(j, j')
I~I
ko(~,j'~ k
ko
The only new constants introduced over Q by the points A( p) are the p-power
roots of unity (Chapter 6, §3). Let k I be the constant field of Ko(A( P», i.e. the
algebraic closure of ko in Ko(A( PI). Let Kl = k I Ko be the corresponding con-
stant field extension. We must then have
K 1(A(p» = K 1 (A'(p».
Indeed, if we make the constant field extension to k, the two fields
Kj(A(P» and K 1 (A'(p»
become equal. Let
E = K 1(A(p» n Kj(A'(P».
tively, that is this image is open in SL 2 (Zp) under both representations. The
center of S maps onto open subgroups of the diagonal groups, formed with
units in Zp. An open subgroup W of the center, not containing - 1, is then such
that W n S = 1, whence S x W is open in G.
The representations of Won ViA) and ViA') give rise to two characters
ifi, ifi' of W into the group of p-adic units, such that if a E W, then the matrix
representation of a on TiA) is a diagonal matrix
( ifi(a)
o
0)
ifi(a) ,
and similarly for a' . The effect of a on a p-power root of unity ( has been
shown to be
a(e) = (detl'(a).
This implies that ifi(a 2) = ifi'(a 2 ) for all a E W. Since (W: W2) is finite, passing
to an open subgroup of W is necessary, we may assume without loss of generality
that ifi = ifi' on W.
By hypothesis, we know that there is a Qp-isomorphism
h: ViA) -> Vp(A')
which is also an S-isomorphism. Since Wacts on ViA) and ViA') as the same
group of p-adic multiplications, it follows that h is also a W-isomorphism, in
other words, h is a G-isomorphism for the group G = S x W. The fixed field
of G is a finite extension of Ko, finitely generated over the rationals, and we are
therefore reduced to the situation of Theorem 7, thus concluding the proof of
Theorem 8.
A result of Serre states that the hypotheses of Theorem 9 are satisfied in the
case of number fields, for elliptic curves without complex multiplication.
In each one of the cases of Theorems 7 and 8, the curves are actually
isogenous over the given field K. This comes from an easy additional argument,
as in Serre, namely:
Theorem 10. Let A, A' be elliptic curves defined over afield K of character-
istic O. Assume that ViA) and ViA') are GK-isomorphic, and that the images
220 THE ISOGENY THEOREMS [16, §5]
In the generic case, we know from function theory that the image of the
Galois group G K (when K is finitely generated over Q) in End( V) contains an
open subgroup of SL 2 (Zp)' In the next chapter, this will be proved over number
fields for curves with invariant which is not p-integral, so that our remark
applies to this case too. As mentioned before, the proof when j is integral over
Z (and A has no complex multiplication) is harder and won't be given in this
book.
17 Division Points over
Number Fields
We know from Chapter 2, §l that over any field K, the Galois group of the
field obtained by adjoining to K all coordinates of points of finite order on an
elliptic curve A defined over K is representable as a closed subgroup of the
product
Then let
, -4
g2 = C gz and
so that~' = C-12~. It follows that the curve A' defined by
yz = 4x 3 - g'zx - g~
is K-isomorphic to A, and has non-degenerate reduction at all v outside S. We
can still change A' by changing the coefficients with a factor b E o~ so that
~' 1--+ b12~' = ~". Therefore A is K-isomorphic to an elliptic curve A" with
coefficients in Os and discriminant defined in OUO~12. Thus we can insure that~"
lies among a finite set of representatives F of this factor group of S-units.
But according to the theorem of Siegel (extended by Mahler and Lang,
cf. my Diophantine Geometry) for rEF, the equation
U3 - 27V 2 = r
has only a finite number of solutions in Os. This proves Shafarevic's theorem.
[17, §l] A THEOREM OF SHAFAREVIC 223
The proof is the same as the above, because we only used the unique factor-
ization in R, the finite generation of the group of units (also known, cf. DG),
and the finiteness of the number of points in R, of a curve U 3 - 27 V 2 = r, an
extension of Siegel's theorem which is also known (loc. cit.).
The importance of Theorem 1 for what follows lies in the fact that we can
combine it with a known result:
If A is an elliptic curve over a field K with nondegenerate reduction at a
discrete valuation ring 0 of K, and if B is an elliptic curve over K isogenous
to A over K, then B has good reduction at o.
This theorem was proved by Koizumi-Shimura [27], and Serre-Tate [37] for
abelian varieties. I don't know a convenient (perhaps computational) proof for
elliptic curves, although it is quite plausible. For instance, it is obvious that B
has good reduction at the valuation ring in a finite extension, which could easily
be taken of degree 4 or 6.
We shall now give an alternate proof for the Shafarevic theorem.
Lemma 1. Let K be a number field, let S be afinite set of primes in K, and
let d be a positive integer. There is only a finite number of extensions of K of
degree ~ d, unramified outside S.
Proof By taking a sufficiently large set of prime numbers, including all
those divisible by primes in S, and those which ramify in K, we see that any
extension of K satisfying the hypotheses as stated in the lemma will give rise to
an extension of the rationals satisfying similar hypotheses. Thus we may assume
that K = Q. It will therefore suffice to prove that the Galois extensions of Q
of bounded degree, unramified outside a finite set of primes S, are finite in
number. For each prime PES, let Ep be the smallest Galois extension of Qp
224 DIVISION POINTS OVER NUMBER FIELDS [17, §1]
are distinct, and are equal to 0'10:, • . . , O'n'y. respectively, where O'v is the auto-
morphism on the residue class field extension determined by O'v. Hence the
embeddings 0'1, •.• , O'n are distinct. This implies that the smallest field of
definition for· 0: containing Kp is unramified over Kp.
Using Lemma 1, we conclude that there is a finite extension E of K, which
we may assume Galois, such that any two elliptic curves A, B over K, with good
reduction outside S, having the same invariant jo, become isomorphic over E.
If 0:: A -> B is an isomorphism over E, then
0' E Gal(EjK)
is a function of Gal(EjK) into Aut(A), and the set of such functions is finite.
If we fix A, and consider elliptic curves B 1 , B2 having the same associated
function as above, say by isomorphisms
o::A->BI and f3:A->B2'
then B J , B2 are isomorphic over K. Indeed, let }, = f30:-1. From 0:- 1 0:<1 = f3- 1 f3<1
we see that l<1 = )., so}. is an isomorphism defined over K. This proves our lemma.
[17, §2] THE IRREDUCIBILITY THEOREM 225
The advantage of the above proof over the previous one is that it exhibits
better the connection of the theorem with the moduli scheme, which in our case
is spec(RN)' A similar proof could be given for higher dimensional abelian
varieties if one knew the finiteness of integral points on the higher dimensional
moduli schemes.
~A
226 DIVISION POINTS OVER NUMBER FIELDS [17, §3]
where V.' = vU), and the endomorphism is ),' 0 ;:::, 0 lX. This contradicts the
hypothesis that A has no complex mUltiplication. Theorem 1 (the theorem of
Shafarevic), together with the remarks at the end of §I, now show that there can
only be a finite number of Wp -as above, in other words, only a finite number of
primes p such that Ap is reducible.
The proof of (ii) is similar, except that we work vertically. Suppose that
Vp(A) is not irreducible. Then there is a G-irreducible I-dimensional subspace
over Qp, and therefore after multiplying a generator for this subspace with a
suitable p-adic integer, we get a G-invariant I-dimensional Zp-subspace Z of
TiA). Let Zn be the projection of Z in Apn. Then the order of Zn goes to infinity
with n, and each Zn is cyclic, invariant under G. We form A/Zn = Bn as before,
defined over K, and with good reduction by the assumed result mentioned above.
The curves Bn cannot be isomorphic, for if Bm ;:::, Bn, say Zm c Zn' then we have
a sequence of isogenies
~ can
A/Zn -+ A/Zm -+ A/Zn,
whose composite has cyclic kernel, whence is a complex multiplication, contrary
to hypothesis. This proves Theorem 2, again in view of the theorem ofShafarevic.
We note that the local extension Kp(At) has a local group which acts on At,
which we know is Galois-isomorphic to
Dl/tjD
q q'
under the Tate parametrization, as in Chapter 15, §2. Here, Dq is the cyclic
group generated by q, and q = neu has order e > 0 at p, and can be expressed
as the above product with some unit u in Kv' For all t not dividing e, the field
KpC(to ql/t)
(~ ~).
On the other hand, At is a vector space of dimension 2 over F r , and is
irreducible for almost all t by Theorem 2. Since (J leaves a I-dimensional sub-
space of At fixed (corresponding to (I), there exists some r E Gal(K(At)jK) which
moves that subspace to another. Then (J' = rar- 1 leaves the other subspace
fixed. If we select for basis eigenvectors of (J and (J' respectively, then (J and (J'
have matrices of the form
and
We also know that the roots of unity lie in K(A(), and hence for almost all t,
we get a subgroup (ZjfZ)* as a factor group of the Galois group. This implies
that Gal(K(A{)jK) must be the whole group
GL 2 (ZjfZ),
as desired.
Step 2. For all t, the Galois group oj K(A(I» over K contains an open sub-
group oJGL 2 (ZJ.
Proof We first consider the matter locally over K". As r goes to infinity,
qlW generates an extension of arbitrarily high degree over the field generated
by all [V-th roots of unity over KI' (notation as in Chapter 16, and justification
by Lemma 1 of Chapter 16, §2 concerning the non-split exact sequence
o -+ Vp(/l) -+ V/A) -+ Qp -+ 0
locally, for t = p.) For t #- p, the extension by ['-th roots of unity is unramified,
and so our assertion is even more trivial.
Hence there is an automorphism a of the algebraic closure of KI' leaving KI'
and all t' -th roots of unity fixed, such that the matrix of a has the form
with some a#-O in Zt. By the irreducibility Theorem 2 (ii), there exists globally
an element, in Gal(K(A({)jK) which moves the I-dimensional subspace of Vp
left invariant by a, and ,ac l leaves another subspace invariant. In a suitable
basis, we conclude that there exist automorphisms in the global Galois group
Gal(K(A(t»jK) represented by the matrices
and G~).
Hence the closure of the subgroup generated by these matrices contains the
analytic subgroups
and
number field has a Galois group open in Zj. From this it follows at once that
Gal(K(A(t)jK) is open in GL2(Z{),
Step 3. Given a positive integer N, let A(N) be the group of points of order
divisible by prime powers only for primes dividing N. Then the Galois group
of K(A(N» over K contains an open subgroup of
n
tiN
GL 2 (Zr)·
Proof Again, we do the SL 2 part first. For each tiN, a suitably small open
subgroup W t of SL 2 (Zt) is a pro-t-group (it is a subgroup of those elements
= 1 (mod t». The field K(A(N» is the composite of the fields K(A(t) for tiN,
and passing to a finite extension E of K (corresponding to an open subgroup of
the Galois group) we know that E(A(N» is the composite of the fields E(A(t» for
tiN. Taking E sufficiently large, we see that E(A(t» is a union of Galois extensions
over E, finite, of degree a power of t. Hence for different t, these extensions are
linearly disjoint, thus proving our assertion.
Again, using the roots of unity takes care of the GL 2 part.
Then
det s = 1 + tea + d) (mod t2),
and therefore a +d = tr(u) =0 (mod t).
230 DIVISION POINTS OVER NUMBER FIELDS [17, §4)
and the last matrix in the sum can be written as a scalar times
Then we have
(l + [Ul) ... + tUn) == s (mod (2).
(1
Let Sj = I + !Ui' Then det Sj = 1 + [ tr(u j) + t2 det(u j) = 1. We see that our
Sis a product of the Si, and we are reduced to studying each Si separately.
Suppose therefore that
S = 1 + tu,
with u 2 = 0, tr(u) = O. We want to show that there exists X2 E H such that
X2 == S (mod ( 2 ).
We can combine the lemma with the result of the preceding section, and
find:
[17, §5] END OF THE PROOF 231
Step 4. Let A(t) be the group of points of t-power order on A, defined over
a number field K, and with a non-integral invariant at some prime p. Then
Gal(K(A(t»)/K) contains SL 2 (Zt)for almost all t.
Let G = Gal(K(Ator)/K). Then we have a closed embedding of G in the
product of all GL 2 (Zr). For each t we have the determinant GL 2 (Zt) -+ Z:,
which extends to the product over all t componentwise, and induces a homo-
morphism of G onto a subgroup of n
Z:, denoted by Z, with kernel W. Note
that Z is open in the product because all the roots of unity lie in K(A tor ). Thus
we have a pair of exact sequences
0-+ W -+ G -+ Z -+0
! ! !
o -+ n
(
SLzCZt) -+ n GLzCZt) -+ n Z: -+ O.
t t
Furthermore we know from our above results that there is a finite set F of
primes such that the projection of G on
n GL (Zt)
(eF
2
We use the exact sequences of the last section. We know that Sp occurs in
G for almost all p, by projecting on the p-factors. We want to conclude that G
contains the factor
rp = C... , 1, 1, SL 2 (Zp), I, 1, ...)
for almost all p. We show first that Sp occurs in G n r p' Let
Up = ( ... ,1,1, GL 2 (Zp), I, 1, ... ).
We have an injection
Gj(G n Up) ~ (n Ut)jUp'
I
But Sp does not occur in any GL 2 (Zt), for I =I p and p > 5. Hence Sp does not
occur in GjCG n Up), so Sp occurs in G n Up, whence it occurs in G n r p'
which is closed in r p , and projects into PSLiZjpZ) = SL 2 CZ/pZ)j± 1. Let Hp
be its image. We contend that Hp = PSLAZjpZ). Ifnot, Hp is a proper subgroup,
so Sp occurs in the kernel of the projection, i.e. in
{u E SL 2 (Zp), u == 1 (modp)}.
This is impossible because this group is solvable, while Sp is simple.
We have therefore shown that G n rp projects onto SL 2 (ZjpZ), whence
G n rp = SL 2 (Zp) for p large by the lemma of §4, combined with our preceding
results. This finishes Step 5.
We now conclude that G contains finite products
(... ,1, J, SL 2 (Ztl)' SLz(Zt,), ... , SL 2 (Zt m ), 1, 1, ... )
for Ii sufficiently large. Since G is closed in n GLz(Zt), it follows that there is a
finite set S of primes such that G contains
n SL (ZI).
t¢S
2
s
and G the projection into the complementary product
nGL (Zt).
t¢S
2
Let
Hs = Gn n GLiZt)
teS
and H~ = Gn n GL (Zt),
(fS
2
rES
Since K(A tor) contains all roots of unity, it follows that the determinant map
n
sends G onto an open subgroup of Z1, necessarily of finite index. By Step 6,
t
we know that the kernel contains an open subgroup of n SL (Zt), also of finite
t
2
index. From the commutative exact sequences at the end of §4, it follows that
G is of finite index in
n
GL 2 (Zt),
t
and must therefore be open because G is closed in this product. This concludes
the proof.
Part Four
Theta Functions and
Kronecker Limit Formulas
This last part enters into the multiplicative theory of the elliptic functions,
and its connection with L-series. Chapters J8 and 19 are immediate continuations
of Chapters 1 and 4, and could have been treated much earlier, with the obvious
exception of the arithmetic application of Shimura's reciprocity law to the
special values of the Siegel function. We deal first with the analytic construction
of modular functions by "multiplicative" means, and then study the special
values at imaginary quadratic numbers.
The reader can read the first Kronecker limit formula independently of
the other chapters, and immediately in connection with Chapter 18. He can then
read the chapter on the fundamental theta function in connection with the second
Kronecker limit formula. The treatment of these limit formulas follows Siegel's
exposition [815]. A complete account, including relations to L-series, and real
quadratic fields, is also given in Meyer's book [88].
18 Product Expansions
O'(z) = z n (1 - ~)eZ!ro+t(Z!ro)2.
WEL' W
Here L' means the lattice from which 0 is deleted, i.e. we are taking the product
over the non-zero periods. We note that 0' also depends on L, and so we write
O'(z, L), which is homogeneous of degree 1, namely
239
240 PRODUCT EXPANSIONS [18, §I]
-- - + 2ZJ .
weL'
(1 ZOJ OJ OJ
Z Z -
It is clear that the sum on the right converges absolutely and uniformly for z in
a compact set not containing any lattice point, and hence integrating and ex-
ponentiating shows that the infinite product for (1(z) also converges absolutely
and uniformly in such a region. Differentiating ,(z) term by term shows that
CCz) = - SO(z) =-
Z
12 - L [ (Z
weL' -
1
OJ)
2 - ~J
OJ
.
Also from the product and sum expressions, we see at once that both (1 and
, are oddfunctions, i.e.
(1( -z) = -(1(z) and
The series defining ,(z, L) shows that it is homogenous of degree -I, that is
1
(..1.z, ..1.L) = -.; (z, L).
A
as one verifies directly from the similar relation for (. Observe that the lattice
should strictly be in the notation, so that in full, the above relations should read
Remark. For those who like to connect with other ideas, the map
(z, t) J--+ (1, SO(z), SO'(z), t - SO(z))
[18, §I] THE SIGMA AND ZETA FUNCTIONS 241
a(z + w) = lj;(w)e~(w)(z+w!2)
a(z)
where
Ij;(w) = 1 if w/2 E L
Ij;(w) = -1 if w/2¢L.
Proof We have
d a(z + w)
-log ) = I1(W).
dz a(z
Hence
a(z + w)
log ) = I1(W)Z + c(w),
a(z
whence exponentiating yields
a(z + w) = a(z)e~(w)z+C(w),
which shows that a is a theta function. We write the quotient as in the statement
of the theorem, thereby defining Ij;(w), and it is then easy to determine Ij;(w) as
follows.
Suppose that w/2 is not a period. Set z = -w/2 in the above relation. We
see at once that Ij;(w) = -1 because a is odd. On the other hand, consider
a(z + 2w) a(z + 2w) a(z + w)
a(z) a(z + w) a(z)
Using the functional equation twice and comparing the two sides, we see that
1j;(2w) = Ij;(W)2. In particular, if w/2
E L, then
Ij;(w) = Ij;(W/2)2.
Dividing by 2 until we get some element of the lattice which is not equal to
twice a period, we conclude at once that Ij;(w) = (_1)2n = 1.
The numbers 111 and 112 are called basic quasi periods of (.
Legendre Relation. We have
112Wl - 111Wz = 2ni.
Proof We integrate around a fundamental parallelogram P, just as we did
for the p-function:
242 PRODUCT EXPANSIONS [18,§1]
Fig. 18·1
JoP
r (z) dz = 2ni L residues of (
= 2ni
as desired.
Next, we show how the sigma function can be used to factorize elliptic
functions. We know that the sum of the zeros and poles of an elliptic function
must be congruent to zero modulo the lattice. Selecting suitable representatives
of these zeros and poles, we can always make the sum equal to O.
For any a E C we have
Proof The function 8O(z) - 8O(a) has zeros at a and -a, and has a double
pole at O. Hence
( ) ( ) a(z + a)a(z - a)
80 z - 80 a = C a 2 (z)
for some constant C. Multiply by Z2 and let z ...... O. Then a 2(z)/z2 tends to 1 and
Z28O(Z) tends to 1. Hence we get the value C = -1/a 2(a), thus proving our
theorem.
I f«g» = g«(f» I
provided of course that the expressions are defined, i.e. the divisors of f and 9
have no point in common. This fact holds on arbitrary curves (Weil, 1940), and
a suitably formulated generalization holds on arbitrary varieties (Lang, 1958).
In the case of elliptic curves, the relation is obvious if we make use of the sigma
function. Indeed, if
and
where ai' bj are complex numbers corresponding to points on the torus, such
that L mia i = L njbj = 0, then
fez) = c n O'(z -
i
air,
obtain an analytic expression for this root of unity, which will automatically
show that the pairing is non-degenerate.
The symbol <a, b) is independent of the linear equivalence classes of a and
b respectively. We let a, b be complex numbers representing the points Sea) and
S(b) respectively, so that
Na = W and Nb = W'
are periods. To compute <a, b) we may then take a and b to be the divisors
a = (u + a) - (u) and b = (v + b) - (v),
where u, v are sufficiently general. Again letting
Na = (I) and Nb = (g),
we see that the factorization of/ and g in terms of the sigma functions is given by:
g(b) e~(w')w/N
Let us select w = Wl and w' = w 2 , and use the Legendre relation. We find
for the special divisors aI, a 2 such that S(al) is represented by the complex
number wdN and S(a 2 ) is represented by the complex number W2/N. Expressing
wand w' as linear combinations of WI, W2 with integer coefficients, we see at
once that our pairing <a,
b) is non-degenerate, This proves everything we
wanted.
i.e. let
qJ(Z) = e"Z2+ bza(z),
such that qJ has period 1: (we shall see afterwards how qJ behaves under translation
by 1). This is a trivial problem in solving for a and b. We let
a = -111(1) and b = ire.
Computing qJ(z + 1:)/qJ(z), and using the functional equation for 0', yields the
first part of the next theorem.
Theorem3. Let
qJ(z; 1:,1) = qJ(z) = e-t~z' qt a(z; 1:),
where 11 = 11(1)( = l1zfor the lattice [1:, 1]), and qz = e21tiz • Then
Then
[18, §2] A NORMALIZATION AND THE q-PRODUCT FOR THE a-FUNCTION 247
and
1
qJ(z + WI; WI' W2) = - - - qJ(z; WI' w 2 )·
qzjro 2
Remark. In the relation between qJ and a, observe that a is homogeneous of
degree 1, and that the exponential factors in front are homogeneous of degree 0
(that is the products I12W2 and zlw2)' In particular, qJ is homogeneous of degree
1, that is:
We want product expansions for a(z) and qJ(z), which are entire, with zeros
of order I at the lattice points of [r, 1]. Let qt = e2nit and qz = e 2niz •
Theorem 4. Let qJ(z) be as in Theorem 3. Then
qJ(z; r) = (2ni)-I(qz - 1) fI
n=1
(1 - q~qz)(l - q~/qz)
(1 - q~)2
and
(Again we put 11 = 11(1) = 112 with respect to the lattice [r, I].)
Proof Let g(z) be the expression on the right-hand side, which we want
to be equal to qJ(z). It is clear that 9 has period 1, just like qJ, that is
g(z + 1) = g(z).
Let us compute g(z + r). Substituting z + r for z in the terms of the product,
we essentially get all these terms back, except that the product of terms involving
q~qz starts with n = 2, and the product of terms involvingq~/qz starts with n = O.
Taking these into account, together with the transformation of qz - 1 into
qzqt - 1 arising from the term in front of the product, we find that 9 satisfies
the same functional equation as qJ, namely
1
g(z + r) = - - g(z).
qz
Therefore qJIg has a period lattice [T, 1]. On the other hand, our product ex-
pansion for 9 shows that 9 has exactly the same zeros, of order I, as a (and
hence qJ). Therefore qJlg is constant. Letting z -+ 0 immediately shows that the
constant is 1, thus proving our theorem.
Again for the record, we give the homogeneous form of Theorem 4.
248 PRODUCT EXPANSIONS [18, §3]
Theorem 4'. Let L = [WI' W2], and let cp(z: WI' W2) be as in Theorem 3'.
Then
Remark. In all our q-expansions, we emphasize that the power of 2rri occurs
with precisely minus the homogeneity degree of the function involved. Thus we
have (2rri)-1 in the q-product for (1, while we have for instance (2rrOZ in the
q-expansion for p, in Chapter 4, and say (2ni)4 in the q-expansion for 92'
(1) \, z) =
Y( '12Z
+' qz + 1 + 2 rrl. ~
TCI - - - '-' [q~/qz - q~qzn ]
qz - 1 n~ 1 1 - qr/qz 1 - qrqz
where '12 = '12(-r, 1). On the other hand, going back to the additive expression
for ( obtained from the logarithmic derivative of the Weierstrass product
for (1, we get the power series expansion of ( at the origin,
1 3 5
(2) (Z) = - - S4Z - S6Z -'"
Z
where
1
Sm = L
WEL'
m'
W
~ = L - {a}.
whose power series expansion at the origin is immediate from Taylor's formula,
and yields
.qz + 1 [ 1 nz (nz)3 2(nz)5 ]
1t/---=n----------,,· .
qz - 1 nz 3 45 45 ·21
To get a power series in z for the sum in (1), let q = qt and w = qz for simplicity.
Then for Iql < Iwl < Iql-I we have
f [1 -qn/~q /w _ 1 -qnwnq w] f
n= I
= ~ [(qn)m _ (qnw)m] ,
n= I m= 1 W
(2)
(2ni)2[
1h(r, 1) = - - -1
12
+ 24 L 1- nqn]
OCJ
n= 1
t-n .
- qt
Similarly, comparing the coefficients of Z3 and Z5 would yield the same expansions
for g2 and g3 that we found in Chapter 4.
Differentiating (1) with respect to z also gives us another derivation of the
q-expansion for &o(z; r) found in Chapter 4. Observe that one needs here the
intermediate step giving us 'h in (2). There is no need to write these expansions
again, as they have been tabulated previously.
~ = (2ni)12 qt n (1 -
00
n=l
q~)24.
where
250 PRODUCT EXPANSIONS [18, §4J
We shall actually find q-products for the differences e i - ek' and even their
square roots.
We continue to work with our normalized lattice [T, 1]. Then by Theorem 2,
We use the functional equation of the sigma function in Theorem 1 on each one
of the numerators of the expressions on the right hand side. For instance,
aC ; 1) a(' ; 1_1)
= = - e-~(1)1< a(' ; 1),
and similarly for the other cases. We also use the fact that a is an odd function.
Then our expressions for the differences of the ek become:
Remark 1. Each expression on the right is a perfect square, which shows that
the square roots .j ek - ei are holomorphic on f,.
[18, §4] THE q-PRODUCT FOR ~ 251
Po = n (I -
00
.. =1
q") PI = n (1 - q"-t)
00
,,=1
n (1 + q") = n (l + q"-t)
00 00
P2 = P3
11=1 ,,=1
Then:
Eft
Ef3
Ett
Since PO P 1 P 2 P 3 = Po trivially, we see that·
P 1P 2 P 3 = 1.
It then follows that the product expansion for !:J. is the desired one. However,
we shall do it directly again below.
Remark 3. Having given the differences of the ek in terms of the go-function,
we see that these differences are modular forms of appropriate weight. The
classical literature went overboard on this. To read Weber, just to find the
q-product expansion of ~, one has to plow through all the formalism of these
differences and the names given to the numerators and denominators occurring
on the right in E 21, E23, E31 (they are theta functions with various indices).
Of course, these modular forms of low level are very useful in other applications,
and provide computational data which should not be· disregarded, but should
be tabulated in its proper place.
Let us now multiply together all the expressions Eik. We get cancellations,
giving us
which will cause all the transcendental terms in the exponent to cancel. It
comes out neatly, and we won't clutter up the page with it.
For the product, let
n (1 -
00
= n (1 + qn)(1 -
00
n=1
q2n+1)(1 + qn)(1 _ q2n-1).
n (1 -
00
2 P5
PP o = - - ,
1- q
so that (miracle)
1
P=1-q!!
n (1 -
00
n=1
qn)24.
You can work out the rational function in q which must appear in front, and
you will find that all the terms cancel out except the desired q = q•. The power
of 2rri must be 12, and is 12 (corresponding to the homogeneity degree of A).
This gives us our desired q-product for A.
I1(r) = q;/24 n (1 -
00
n=1
q~),
n
l/(r + 1) = e21ti/241](r)
1]( - = ) - ir 1](r),
where the square root is the obviously normalized one for rEi), taking positive
values on the positive real axis.
Proof The first relation is trivial from the q-product. As for the second,
we know that A, viewed as a function of two variables, i.e.
We can now recover a fact used in our analysis of ramification in the modular
function field. We have the definition of J,
J = g~/A.
We want to see that its cube root exists as a modular function of level 3. Since
g2 is homogeneous of degree - 4 as a function of two variables, we find that
g2( -1/r) = r4g ir).
On the other hand, from Theorem 6 we get
1]8( -I/r) = r 41]8(r).
Furthermore,
1]8( r + 1) = e21ti / 3 1]8( r) and
254 PRODUCT EXPANSIONS [18, §6]
Hence we obtain the transformation rule for J't under the modular group.
Theorem 7. Let J't = 92/1]8. Then
Jt( r + 1) = e2nij3 J+( r) and J+( -1/r) = Jt( r).
Similarly,
Theorem 8. Letf = .jJ - 1 = 2793!IJ12. Then
fer + 1) = -fer) and f( -I/r) = fer).
Corollary. The functions Jt and .jJ - 1 are modular functions of level 3
and 2 respectively.
Proof Let r = SLz(Z) as usual, and let 9 = J't, f = .jJ - 1. We have a
representation of r on the space generated by f, 9 over C, which is abelian,
with characters of order 3 and 2 respectively. However, letting S, T be the
mappings
S(r) = -1/r and T(,) = r + 1,
we know that S, T generate the modular group, and so do S, ST which have
order 2, 3 respectively. The abelianized modular group can therefore have order
at most 6, and has order 6 since we just found the appropriate representation
for it. Let r 3 and r 2 be the congruence subgroups of level 3 and 2 respectively.
Then r / ± r 3 has order 12 and r;r 2 has order 6. Also, r; ± r 3 has a normal
subgroup whose factor group is cyclic of order 3, and r;r 2 has a normal sub-
group whose factor group has order 2. In this way we obtain another representa-
tion of r into a cyclic group of order 6, whose kernel must be the same as that
of the previous one, because the abelianized modular group has order at most
6. This proves that r 3 and r 2 leavef and 9 fixed, as was to be shown.
and
generate r(2), and that a fundamental domain for r(2) consists of the shaded
region in the next figure. The mapping S2 carries the semicircle on the left onto
the semicircle on the right.
Fig. 18-2
The homogeneity properties of the quasi periods of the Weierstrass zeta function,
and of the a-function, show that the above ratio is homogeneous of degree 0,
and that our notation as a function of't' is legitimate. Indeed, in the relations
Eik' the exponential factor is homogeneous of degree 0, and each factor involving
0' is homogeneous of degree 2, so that we get homogeneity of degree ° when
taking the quotient.
It is now verified by direct computation that the six transformations of G6
transform the function A into the following six functions.
256 PRODUCT EXPANSIONS [18, §6]
e Z - e3 I e3 - e j A- I e j - ez
}o = - - -
e j - e3 1 -A e2 - e j A e 3 - ez
1 e j - e3 }o e3 - ez ez - e j
- I -A=
A ez - e3 A- I e j - ez e3 - e j
This yields a faithful representation of G6 on those six functions, and the fixed
field consists of rational functions in j, with rational coefficients. The function
}, generates the modular function field of level 2, which we denoted by F z . We
shall expressJ(r) as a rational function of A(r), namely we shall prove:
(AZ-A+I)3
I j(r) = 2 8 'Z(" I)Z
I Ii. Ii.-
(Recall that j(r) = 12 3 J(r) is the normalization whose q-expansion starts with
l/q.)
To derive the above rational expression as in Ford's Automorphic Functions,
consider the rational function
The point A = ° lies above j = 00, and is ramified of order 2. One can see
°
directly (and thus confirm the general fact) that Q(A) is ramified over Q(J) = Q(j)
of order 3 over j = and of order 2 over j = 12 3 , i.e. J = 1. A direct computation
shows that the j-invariant of the above curve is precisely j, for A =I 0, 1. As
Igusa points out, the same parametrization is valid for all characteristics =I 2.
One can look at the function X from another point of view, namely as the
analogue of a "Minkowski" unit in the function field. It can be generalized as
follows. For an integer N > 1, let
AN(T) = ty(wz/N) - ty(w 3 /N) .
ty(wt/N) - ty(w 3 /N)
The expression on the right is homogeneous of degree 0, and hence gives rise
to a function of T E ~, modular of level N. The function AN obviously has no
zero or pole on ~. It would be interesting to determine the part of the unit
group it generates in the integral closure of ZU] in the modular function field
of level N, and to investigate its special values at imaginary quadratic points,
to see if they generate the ray class fields.
[Added in the Second Edition: The study of the unit group of such functions
was carried out in Kubert-Lang. See the series of papers in Math. Annalen, and
"Modular Units", Springer-Verlag, 1981.J
19 The Siegel Functions and
Klein Forms
h(Wl) = heW)
W2
where
MFI. AEC*.
Given a modular form h, the composite functions h 0: with 0: E SLz(Z) are called
0
Let l1(z, L) be the Weierstrass eta function as in Chapter 18, § 1. Define the Klein
forms
fez, L) = e-~(z,L)z/Z O"(z, L).
We also write
fez, L) = faCW).
Then the Klein forms satisfy the following properties. First, they are homo-
geneous of degree 1:
This is obvious from the homogeneity property of the sigma function and the
Weierstrass zeta function. The next property is also clear.
K 1. If 0: = (: : ) is in SLiZ), then
fa(O:W) = faa(W).
Then we find:
K2.
where B(a, h) has absolute value 1, and is given explicitly hy
B(a, h) = (_1)b 1 b2 +b 1 +b2 e-Z7ti(bla2-b2all!Z.
a- 1
ar + cs = r + ( - - r +-- s N
C)
N N '
K3.
( a- I C )(b d- I )
_ C ) - -(-1) -N'+N s + 1 N'+N-- s +!
Ba ( a)
27ti(br 2 +(d-ajrs-cs2 j2N2
- B a - e .
The proof is immediate, by considering the cases when r, s are both even, or
one of them is odd, or both are odd, and using ad - bc = 1, so that for instance,
not both c, d are even.
262 THE SIEGEL FUNCTIONS AND KLEIN FORMS [19, §2]
11 = 1
n=1
(1 - q~qz)(l - q~/qz)'
The next theorem is immediate from the formalism of the Klein forms.
Remark. Because the Dedekind function 1](r) is not a function of lattices, but
depends on the choice of a basis, we could not define the Siegel functions in
terms of a lattice. However, if we take the 12-th powers, then we may define for
any complex number z, the functions
[19, §2] THE SIEGEL FUNCTIONS 263
Also from the formalism of the Klein forms and the fact that the Siegel
functions have weight 0, we find:
S 2. !f ex is in SLiZ), then
U == G~)o: (mod N)
with some positive integer d satisfying d == det gp (mod N) for all piN, and
ex E SLiZ). Then on F N we have
(J(u) = (Jd(J(a),
264 THE SIEGEL FUNCTIONS AND KLEIN FORMS [19, §3]
Proof. We shall use Shimura's reciprocity law, cf. [Sh], and Chapter 11, §1,
Theorem 1.
[19,§3J SPECIAL VALUES OF THE SIEGEL FUNCTIONS 265
Let e E C and let a E C' be such that Na, Ne are relatively prime to Nf. Then
by definition,
f(C) = f(1, fe-I) and f(CC') = f(l, fe-la-I).
Let fe- 1 = [Zl,Z2Jwith z = zdzz in the upper half plane as usual. Let
a E Mat; (Z) be an integral matrix with positive determinant such that
are bases of (fe-Ia -1 )p, it follows that there exists up E GLz(Zp) such that
qz.iS;I) = upa- 1,
We let u = (up) E n GLz(Zp), so that
qz(S-I) = ua,
Then
= fau( a - 1 (z))
= faaCct-l(z))
I
[because for p NT, we have 1 = upa- \ so up = ct and au = aaJ
= f(l, fe-la-I)
= f(CC'),
266 THE SJEGEL FUNCTIONS AND KLEIN FORMS [19, §3J
This shows that f(CYs,k) = f(CC), and hence that f(C)(S,K) depends only on
O'(C), Hence fCC) lies in K(f), and we know that Cs, k) = O'(C) on K(f), This
concludes the proof of the theorem,
Then
f«tr Z2)ZI - (tr ZI)Z2' a) = fCC),
where C is the complex conjugate of C,
Proof, We need a lemma,
2z - 2x = 2yJD.
Hence we have only to show that 2y = Na. But
DCa) = Na 2 D(o) = Na 2 ·D,
and
For the theorem, observe that b = oJD. Then we just substitute the
expression of the lemma in the left-hand side of the formula to be proved, and we
find the value
as was to be shown.
20 The Kronecker Limit
Formulas
Differentiating under the integral sign shows that J is eX! and tends rapidly
to zero at infinity (it is in fact in the Schwartz space but we won't need this).
Proof Let
g(x) = L f(x
kEZ
+ k).
fl fl
On the other hand, interchanging a sum and an integral, we get
L: fl
o n 0
= f(x + n) e- 2nim(x+n) dx
f:
n 0
§2. EXAMPLES
The function hex) = e- nx2 is self dual, i.e. h = h. One merely has to differ-
entiate under the integral sign and integrate by parts to see that
h'(Y) = - 2rryfi(y).
It follows that
fi(y) = C e- ny2
for some construct C. Using the standard integral fiCO) shows that C = 1.
Letfbe in the Schwartz space, and let g(x) = f(x + e) for some constant c.
Then
g(y) = e hicy ley).
This just comes from changing variables in the integral defining g.
Similarly, let g(x) = f (bx) where b > O. Then
~
g(y) = ,/ L(Y)b .
Again this comes from a trivial change of variables in the integral.
If we let
OCt) = e- nn21 L:
ne:Z
[20, §2] EXAMPLES 269
res) = f 0
oo
e -I tS
dt
t'
and also recall the invariance of the integral with respect to multiplicative
translations, that is
CO foo f(t)-dt
f o feat) -dtt o =
t
if a > °and/is absolutely integrable. Select a = rrn. Then let
Under the integral on the right we have essentially the theta function, except
for its term with n = 0.
Let
L e -nn",
00
cp(t) =
n=1
F(s) = f oo
o
/s/2
dt
cp(t)-
t
= f OO dt
t s / 2 cp(t) - +
foo
dt
t- s / 2 cp(1/t)-.
1 t i t
The functional equation of the theta function immediately implies that
rr- s / 2 r (-2s)(s) = ~- -
s- 1
1 + fOCi cp(t)[t-"2 + t'-=-'2 - ] dt
1
-
s i t
-.
270 THE KRONECKER LIMIT FORMULAS [20, §3]
The right-hand integral is absolutely convergent for all s, and this whole ex-
pression is invariant under s H 1 - s, so we obtain the analytic continuation
and functional equation of the zeta function, following Riemann's original proof.
The argument is typical of all proofs of functional equations, and of ex-
pressions for functions of zeta type, especially those which we shall give for the
Kronecker limit formula in a moment.
o t
In general, this integral cannot be changed any further, and we note that
K4.
K5.
[20, §3] THE FUNCTION Ks(x) 271
whence
K6.
g(x) = K1-(x) =
2
fro
0
e-x(t+ lit) tt dt .
t
Let t ~ t/x. Then
1 fOCJ ( +
g(x) = -Jx ° e- t x t 21) ,dt
t' -t .
Let hex) = -Jx g(x). We can differentiate hex) under the integral sign to get
h'(x) = -2x f ro
2
e-(t+x 2I t) t-t - .
dt
t
Let t ~ t- 1 , use the invariance of the integral under this transformation, and
then let t ~ t/x. We then find that
h'(x) = - 2h(x),
whence
hex) = Ce- 2x
for some constant C. We can let x = 0 in the integral for hex) (but not in the
integral for g(x)!) to evaluate C, which comes out as ret) = This proves K5. -In.
It is also useful to have an estimate for Ks(x), namely:
K7. Let Xo > 0 and (jo ;::;; (j ;::;; (jl' There is a number C(xo, (jo, (jl) = C
such that if x ~ xo, then
K,,(x) ;::;; C e- 2x •
f ro
o
= fIls + f8 + fOCi.
0 1/8 8
The middle integral obviously gives an estimate of the type Ce- 2x • To estimate
the first integral, note that if t ;::;; 1/8, then
1 1
-:2~4+-.
t - 2t
Hence
f /8 e- x (t+l/t-2) t" dt e- 2x fIlS e- xo (t+1/2t) t"-
dt
l
-::::;
° t - ° t
which is of the desired type. The integral to infinity is estimated in the same way,
to conclude the proof.
272 THE KRONECKER LIMIT FORMULAS [20, §3]
K8. I _
OO
00 (u 2
1
+
d j- r(s - t)
1)s u = ...; n - r(s) for Re(s) > t.
Proof. Consider
r(s) I
oo (2
1
1)" du =
Ioo Ioo e- t
(2
1
1)' t S
dt
duo
-00 u + -00 0 u + -
t
Let t H (u 2 + I)t and use the invariance of the integral with respect to dr/t,
relative to multiplicative translations. The formula K8 drops out.
The above formula allows us to find the first term of the expansion of the
right-hand side at s = 1, which will be needed. There are of course alternate
proofs for this (using the functional equation of the gamma function), but it
does no harm to get it in the spirit of the present section. Putting s = 1 in the
integral ofK8 yields the value 7t because 1/(u 2 + I) integrates to the arctangent.
To get the coefficient of s - 1 in the expansion, we differentiate under the
integral sign with respect to s, and we must evaluate the integral
oo log (u 2 + 1) d
I -00 U
2
+1
u.
g(x) = Ioo o
log (U 2 X 2
u
2
+
+ 1)
1 du
so that g(O) = O. Differentiating under the integral sign and using a trivial
partial fraction decomposition yields
rw
r(s - t) -
= .jn(l - (s - 1) log 4 + ...).
Finally in questions related to the second Kronecker limit formula it is
sometimes useful to know the next identity.
Proof Again as in K8, write down the integral for res), interchange the
order of integration, let t H (u 2 + l)t and use the fact that e- x2 /2 is self-dual for
the Fourier transform normalized as
f:oo !(x)e-iXYdx.
Then let t H xt. The desired formula drops out.
m,n mr
+ n 12s ' Re(s) > 1,
the sum being taken for all integers (m, n) #- (0, 0).
We want to get its constant term in the expansion at s = 1. We shall derive
an analytic expression for E(r, s) which will exhibit a simple pole at s = 1 with
residue n, and will show that otherwise it is hoi om orphic in the complex plane.
From this expression, we shall be able to read off the first two terms.
Kronecker first limit formula. Let qt = e 2tti" and let
l1(r) = q;/24 n (1 -
n; 1
00
q~).
m;l 0 n t
= I + II.
274 THE KRONECKER LIMIT FORMULAS [20, §4]
We now apply the Poisson summation formula on the sum over all n E Z under
the integral, yielding
L e-n(n+_~m)2t =
n
4L
-y t n
e2nixmn e- nn2 / t .
The square root of t in the denominators will combine with t S to give (S-1.
We now split the sum over n into two parts, with n = and n i= 0. When n = 0,
we essentially get a zeta expression, so that the corresponding term in the right-
°
hand side of (4.1) is
m= l o t
= 2n-(s--l:) y-2(S-t) r(S - tK(2s - 1).
(4.3)
L n;<O
L e2nixmn KS_-l:(~nym, ~nint).
00
= 2
m= 1
Looking at q,;,n + q-;mn (arising from positive and negative values of n), and using
formula K6, we find that
1
L -- Re L
00
(4.5) IIn;<o at s = 1 IS = 4
m=lmy n=1
4
--L
OC!
log II - q~t
y n= 1
Remark. The formula can be generalized to arbitrary number fields, the case
treated above corresponding to the rational numbers. One uses the sum over
pairs of integers of that field. For each real absolute value, one takes a copy
of the upper half plane. It was unknown until very recently what to do for the
complex absolute values, but as shown in Asai [1] one merely has to take the
quaternion upper half plane in this case. The quaternion upper half plane can
be represented as the set of matrices
-u)z'
where z is a complex number, z' its conjugate, and u > O. You then end up with
a mUltiple integral of K-functions, which does not collapse to an exponential
function, and yields a function analogous to 10gl'1(r)l. Asai discusses precisely
several aspects of the analogy. However, the connection with abelian functions
and moduli remains to be worked out.
276 THE KRONECKER LIMIT FORMULAS [20, §5]
for r = x + iy in the upper half plane. The series converges for Re(s) > 1.
Second limit formula. The junction Eu.v(r, s) can be continued to an entire
junction oj s, and one has
Eu.vCr, 1) = -2n log Ig-v.uCr)l,
where gu,v is the Siegel junction,
gu,vC r ) = _q(1/ 2 )B,(u) e 2 "iv(u-l)/2
n=1
n
,y~\
(1 - qnqz)(l - qnjqz),
and B2(U) = u2 - U+ i.
Proof. We follow Siegel [B14]. We shall not need any property of gu,v other
than its definition as the above product. We carry out the proof first for the
values
and O<v<1.
The extension to the general case will be done afterwards.
As in the first formula, we split off the sum taken for m = 0, so that,
abbreviating E~,v(r, s) by E(r, s), we get
e "inV . . 1
L ----ys + L L
2
y-SE(r, s) = eZnllnll eZn,"v 2s'
n*O Inl m*O n Imr + nl
At s = I, the first sum is a standard Fourier series,
L
n*O
e
Inl
2ni
: = 2n2(u 2 _ u
V
+ !) .
6
The second term is dealt with by using the Gamma integral, and is equal to
-n L S
e2nimll foo L eZninv e-ntlmt+nI2 t S -dt •
res) m*O 0 n t
-log(l-r)=
m=l In
L = L + L
m*0 m=l m=-l
which therefore yields
Next, we consider the four sums separately, arising from the cases
n > 0, n < 0, m > 0, m < 0.
Consider first the case with n > ° and m > 0. Summing over m yields
fe
m=l
2ni [u-vx+nx+iy(n-v)]m = L
m=lm
~ e2ni(u-vt+nt)m = -log (1 - q~qz)'
One of the other cases will contribute the complex conjugate of the above
expression, and the two other cases will contribute the factors of type (1 - q~/qz)
and their complex conjugates. This accounts for the big double product in the
q-product, and concludes the proof.
° We still have to make the appropriate remarks when u, v do not lie between
and 1. In that case, we note that the series defining Eu,vCr, s) is obviously
periodic in u and v. On the other hand, from the definition of gu.V< r) as a product,
we see that the right-hand side of the formula is obviously periodic in u. A short
computation again using the product definition shows that it is also periodic in
v. This takes care of the general case,
21 The First Limit Formula
and L-series
1
(s, (i) = ~ Na s
taking the sum over all ideals a in the class. We can define Na to be the unique
positive integer which generates aa', where a' is the conjugate ideal to a. (Refer
back to Chapter 8, §1, to see that this makes sense.) Fix some ideal b in the
inverse class (i - 1. Then ab = (eo) is principal, and the association
a 1-+ eo
gives a bijection between the ideals in (i and equivalence classes of elements of
b. (Two elements of k are called o-equivalent if their quotient is a unit in 0.) In
what we do later, b will only enter homogeneously of degree 0, so we assume
right away for convenience that b = [t', 1]. Any ideal is always equivalent to an
ideal of this type. Then we can rewrite the zeta function in the form
Nbs 1
(s, (i) = -
W
L N):s'
~eb ..
where the sum is taken over all pairs of integers (m, n) =F 0, 0).
279
280 THE FIRST LIMIT FORMULA AND L-SERIES [21, §l]
Note that NaNb = N,o, so that the b really appears only as the usual
convenient means of making ideals principal.
The discriminant of b is given by
1( 2)S, yS
(1) (s, 6,) =-
W v;-jd ~ I
m,n rnr
+ n 12s
where we see appearing the Eisenstein series for which we know the Kronecker
limit formula. Here d is the absolute value of the discriminant of o.
It will be slightly more convenient to deal with A than with 1'/, and we note
that the absolute value signs in the Kronecker limit formula anyhow eliminate
the ambiguity of the possible roots of unity. As in Chapter 12, define
g(b) = (2n)-12Nb 6IA(b)1 = (2n)-1ZN([r, 1])6IA(r)l.
This function is an invariant of the equivalence class of b, because considering
).b instead of b, we see that 1).1 12 comes out of the norm sign, and 1).1- 12 comes
out of the IAI. SO we can write
g(b) = g($),
(
2
Jd
)S-1 =l+(s-I)log Jd+""
2
and we find the expression for (s, 6,) which we wanted, suitably normalized,
namely
with the product taken over all prime ideals. Let 1 be the trivial character. If
X #- 1, then taking the sum of X( <l) over all <l yields O. Hence the terms
independent of the class (i.e. the polar term involving the residue, and the
universal constants) will disappear after taking the sum, leaving us with
n(1 - _1) = n (1 _ »)
~Ip N~s all X
X(l'
Nl's'
whose proof we reproduce for the convenience of the reader. Let
u = Nl's.
Then N~ = (Nl')1 and so our relation amounts to
(1 - uly = n (1 -
x
X(l')u),
if l'OK = ~l ••• ~r. The cyclic group generated by l' in G has order f by
'I
definition of the Frobenius automorphism. Let l/I 1, ••• , l/II be the distinct
characters of this cyclic group. If is a primitive f-th root of unity, then we
can make these characters correspond to
l/I,(l') = G·
Let Xl' ... , Xr be the characters of G/{l'}, i.e. the characters of G which are trivial
on l'. Then the products xlLl/I, constitute all of the character group of G. Hence
nx
(1 - X(p)u) = n
1-1
,=0
(1 - 'Jut = (1 - uly,
Both sides have a simple pole at s = 1. The residues must therefore be equal.
One knows from elementary analytic number theory that the residues are given
by the expressions
and
PK = Pk n (3wy'd
X*l
-nfJ L X(G.) log g(G.-l»).
Ii
We observe that since the residue of the zeta function is not 0, it follows that
for any non-trivial character X of G, the sum
is also :f. O.
In the next section, we shall do some elementary algebra involving the
Frobenius determinant to transform some more the final product in Theorem 3.
The above results are essentially due to Fueter [14], who gets the class
number relation implicit in the above, when we substitute the values for the
residues of the zeta function. Our exposition follows Siegel [BI4], and [BI5],
§27.3.
add the last n - I rows ·to the first. Then all elements of the new first row are
equal to 1:/(a~1) = 1:
1 (a). Factoring this out yields
1 1 1
[1:
aeG
/(a)]
Recall that a 1 is chosen to be I. Subtract the first column from each one of the
other columns. You get the first statement of the theorem.
On the other hand, the function 1 can be selected so that the elements
{f(a)}, a E G, are algebraically independent over Q, and therefore the factoriza-
tion given in this first statement for the determinant is applicable in the poly-
nomial ring generated over Z by the variables I(a). Combining the first statement
with Theorem 5 yields the second relation where the product is taken only
over X #- 1.
is our previous invariant of the class (1, defined with any ideal Q in the class.
Then
[21, §2] THE FROBENIUS DETERMINANT 285
with
g«i$-l) = Nb- 6 IA(ab-1)1 .
g«i) IA(a)1
Recall the Corollary of Theorem 5, Chapter 12, §2 which asserts that the above
number is a unit. The product occurring in Theorem 3 can then be interpreted
as a regulator of a system of units. [For the computation of the index of the
group of inch units in all units, see Kubert-Lang's "Modular Units", Chapter 9,
§2.]
22 The Second Limit Formula
and L-series
Let y be a fixed element of k such that yfb is an ideal prime to f. Thus yb has
exact denominator f.
Proof The map x f-> XA permutes the residue classes olf, and hence our
assertion is obvious. (Note that X = X-I.)
G3. Let Xbea proper character modulo f. Jf:1. E 0 is not prime to f, then Ty(X, rx) = O.
If:1. is prime to f, then
ITix, rx)1 = ~Nf.
Proof Suppose that ef. is not prime to f, and write
(rx)=cg, f=fl9
where 9 is the greatest common divisor of (rx) and f. Since X is proper, there exist
elements A, J1 E 0 prime to f, with A == J1 (mod f I) such that X(A) i= X(J1). Then
Tix, rx),) = i(A)T,(X, rx) and T/X, rxJ1) = X(J1)Ty(X, rx).
But since rx), == rxJl (mod f), we have Tr(xrx):y) == Tr(xrxJ1Y) (mod Z), whence
T;CX, rx).) = Ty(X, (J.Jl). This is a contradiction, which proves the first assertion.
As for the second, for an arbitrary Z EO representing a residue class mod f,
we have
T(X
y'
z)' T(X
Y'
z) = 1....
'\' X(x)X-(Y') e2niTr«x-y)ZY),
x"v mod f
prime to f
and the left side is 0 if z is not prime to f. We sum over z in o/f. Then from the
left-hand side, we get the value
<p(f)/Ty(X, IW = <p(f)/T/X, rx)iZ
where <p(f) is the Euler function, i.e. the order of (o!f)*. On the right-hand side,
we consider the sum over z as the inner sum. If x == y (mod f), then each
exponential has the value I, and hence the sum over z, taken for x == y (mod f),
gives a contribution of
<p(f)Nf,
since Nf is the order of o/f. On the other hand, for the sum taken over x ¥ y
(mod n,we apply Gl to see that we get O. This proves G3.
We define
x(a)
Li(s, X) = L
(n,f)=l
-NS
a
•
290 THE SECOND LIMIT FORMULA AND L-SERIES [22, §2]
Let {a} be the elements of the ordinary ideal class group liP = G. For each
ordinary ideal class a, let ba be an ideal in a-I, prime to f. Then for each
a E a prime to f, the ideal aba = (~Q) is principal, and the association
aH (~Q)
is a bijection between elements of a prime to f, and non-zero principal subideals
ofba prime to f. We can write
1 Nb a
Na N~a
Let ba(f) be the set of non-zero elements of ba prime to f. Then
1 X(~)
-L NbaX(ba) L
s _
(1) Lls, X) = -Ys
W a ~Eb (f) N ..
a
where w is the number of roots of unity in o. We follow Siegel [BI4] in finding
an appropriate transformation of this expression. The map which to each element
of 0 associates its principal ideal induces an injection
(olf)* --> 1(f)IP1(f),
and a character of G f therefore induces a character of (olf)*. The value X(~)
in the above expression for the L-series can be therefore viewed either as the
value of X on the principal ideal (0, or the value of X on the residue class of ~ in
(o/f)* .
Lemma 1. Let X be a proper character ofG f • Then
w y X,
L X(ba)X(z)Nba ~Eba
TC 1) La tE(Ojf)' L N~ s
[22, §2] AN EXPRESSION FOR THE L-SERIES 291
We now observe that the products baz represent all the elements R of
I(f)/P1(f) = Gf
exactly w/w f times. One sees this by considering the sequence of subgroups
I(f)/P1(f) ;:) P(f)/P1(f) ;:) Z/Zl(f)
where Z is the group of roots of unity in 0, and Z 1 (f) the subgroup of those
which are == 1 (mod f).
We multiply our expression for the L-series by Nz s and divide by Nz s ,
to form N(z~)s. The elements z~ then range over the ideal zb a , as z ranges over
(o/f)* and ~ ranges over ba, always considering non-zero elements, of course.
It is now clear that the expression which we obtain for the L-series is equal to
that stated in the lemma.
and let
r R = ZdZ2 = X + iy, y> 0.
The elements A E bb-1f- can be written mZ 1 + nZ2 with (m, n) # (0,0). As
1
usual, we have the discriminants
Since NA = NZ21mrR + n12, we obtain from the definition of Chapter 20, §5:
(3)
-2S L e2ni(mu+nv) y
s
It does not seem to be known if the invariant gf(R) generates the ray class
field modulo f. The difficulty lies in the fact that the above theorem applies to
a proper character X, whereas one needs an analogous statement for a non-
trivial character. Precisely, one has the following formal result, due to
Ramachandra.
Theorem 3. For each ruy class R modulo f, suppose given an element 'P(R)
in the ray class modulo f, satisfying the conditions:
[22, §2] AN EXPRESSION FOR THE L-SERIES 293
i) 'P(R)<1(S) = 'P(RS), for all S E G f , and where (J(S) is the Artin auto-
morphism.
ii) For any non-trivial character X ofG f , we have
L X(R) log I'P(R)I :f O.
REGf
Algebraic Formulas in
Arbitrary Characteristic
(1.3)
299
300 ALGEBRAIC FORMULAS [APP. 1, §1]
(l.9)
~ = fJ(u) C4 = 12g 2 A= g~ - 27g~
217 = gJ'(u) C6 = 216g 3 j = 1728J,
d~
and w = - = du (see below).
217
Some of the first facts to be proved are summarized by the following
theorems:
Theorem 1. The plane cubic curve (1.1) is smooth (and hence defines an
abelian variety A of dimension one over K with the point 0 at irifinity as origin)
if and only if A i= 0, in which case the differential of first kind w we started
with is given by
dx dx
(UO) w = =- =
2y + atx + a 3 Fy
where
(1.11 )
is the equation of the curve.
Theorem 2. Let A and A' be two abelian varieties of dimension one over
K, given by equations of the form (1.1), and let j and j' be their "invariants".
Then A and A' are isomorphic over some extension field of K if and only if
°
j = j', in which case they are isomorphic over a separable extension of degree
dividing 24, and indeed of degree 2, ifj i= or 1728.
Theorem 3. For each j E K, there exists an abelian variety A of dimension
one over K with invariant j. Indeed if j i= 0 or 1728, such as A is given by
the equation
2 3 36 1
(1.12) y + xy = x - j _ 1728 x - j _ 1728 '
for which
c4 -c --- J - and
/
- 6 - j _ 1728 A = (j _ 1728? .
[APP. 1, §2] CANONICAL FORMS 301
These theorems, and indeed more precise versions of them than we have
bothered to state, can be proved by straightforward computations, once one
analyzes the most general allowable coordinate change in (1.1). This is done as
follows. Suppose A and A' are abelian varieties of dimension one over K,
given by equations y2 + alxy + ... and y'2 + a1xly' + ..., and suppose
f: A ~ A is an isomorphism defined over K. Then there are elements U E K*
I
and
(2.2) ~ = -16(4a1 + 27ag).
Since any curve of the form (1.1) is smooth at the infinite point 0, such a curve
is smooth everywhere if and only if the polynomials F, Fx , and Fy have no
common zero. In the case of an equation of the form (2.1) with p =1= 2, this
condition amounts to the non-existence of a common root of the polynomials
G(X) = x 3 + a 4x + a 6' and G'(X) = 3x 2 + a4, and since ~ = 16· discr. G(X),
the condition in this case is just ~ =1= 0, as claimed in Theorem 1.
Let A and A' be given by equations of the form (2.1) with the same invariant
j = j'. The isomorphisms/; A' ~ A are given simply by
(2.3)
Now suppose p = 3. In this case (and more generally if p =1= 2) we can always
write A in the form
(2.4) y2 = x 3 + a2 x2 + a4x + a6 = G(x), say,
dx
W=
y
Using the fact that p = 3, we find
(2.5) b 4 = -a4,
C6 = -ai,
Here again ~ is the discriminant of G(X), up to an invertible factor, so ~ =1= 0
is the condition for smoothness.
Suppose A and A' of form (2.4) withj = j'.
Suppose j =1= 0 (i.e., a2 =1= 0). Then we can make the term in x disappear,
getting the reduced form
(2.6)
[APP. 1, §2] CANONICAL FORMS 303
where u 2 a 2 = a2' Hence A' ~ A if and only if a2 /a2 E (K*)2, and the auto-
morphisms of A correspond to u = ± 1.
Suppose j = 0 (i.e., a 2 = 0). Reduced form:
dy
(2.8) ~ = -a~, W=-.
a4
Isomorphisms:
(2.9) x 0/= U 2X ' + r,
with
Hence A and A' are isomorphic if and only if (a 4/a4) E (K*)4 and (a 4/a 4)+a6 - a6
is of the form r2 + ra4. This is always so over a separable extension of degree
dividing 12. The automorphisms of A are given by the pairs (u, r) such that:
and u = ±l,
(2.10)
or r3 + a4r + 2a6 = ° and u = ± i,
where i 2 = -1. Over the separable closure of K, they form a group of order 12,
the twisted product of C 4 (cyclic group of order 4) and C 3 with C 3 the normal
subgroup acted on by elements of C4 in the unique non-trivial way-conjugation
of C 3 by a generator of C 4 is the map carrying elements of C 3 into their inverses.
A typical curve of this type is y2 = x 3 - x, the automorphisms being given
°
by u4 = 1, r3 - r = (i.e., r E F 3 ) in this case.
Last case,p = 2. Here we have ua1 = a 1 (see 1.14) and C4 = b~ = (see (1.2) at
and (1.3». Hence we have j = o<=;> a 1 = 0, and separate cases accordingly.
Suppose a 1 ¥- 0 (i.e., j ¥- 0). Then choosing suitably r, s, and t, we can achieve
a1 = 1, a 3 = 0, a 4 = 0. Hence A is given by an equation of the form
dx
(2.11) with W=-,
x
and
1
j =-.
a6
Fx = y + x 2,
and Fy = x have their only common zero at x = y = 0, and this
°
is on the curve if and only if a6 = ~ = 0. Hence ~ ¥- is condition for smooth-
ness.
Isomorphisms:
x 0/= x', y 0/= y' + sx'
304 ALGEBRAIC FORMULAS [APP. §3]
with
(2.12)
Two curves A and A' with the same j are isomorphic if and only if az - a2
is of the form S2 - s, which is true over a separable extension of K of degree ~ 2.
The group of automorphisms of A has two elements, corresponding to s = 0, 1.
A typical curve is y2 + xy = x 3 + (1 fj).
Suppose a l = 0 (i.e., j = 0). Choosing r suitably we can arrange that a z = 0,
so A is given by
dx
(2.13) with 0) =-,
a3
and
j = O.
because
OJ dxJdz - 2z- 3 + .. .
dz 2y + alx + a3 _ 2z 3 + .. .
dyJdz - 3z- 4 + .. ,
_ 3z 4 + '"
has coefficients in Z[t, aj, ... , a6], but also in Z[!, aj, ... , a 6 ].
FinaIIy,ifP 3 = PI + P 2 andP i = (Zi' w;),thenwecanexpressz3 = F(z1> z 2)
as a formal power series in Zl and Z2' with coefficients in Z[a l , ... , a6]' The
expansion begins
(3.6) F(zl' Z2) = ZI + Z2 - a 1 z 1 z 2 - a 2(zi z2 + ZI Z n
- 2a3(ziz2 + zlzD + (a l a2 - 3a3)ziz~ + ....
This is the "formal group on one parameter" associated with A.
For each integer n ~ I we have, formally,
(3.7) z(nP) = ifJiz(P» ,
where the series ifJn are defined inductively by
(3.8) ifJn+1(z) = F(z, ifJn(z».
306 EXERCISE
EXERCISE
°
Let p = char (K) be arbitrary, let j E K with j # or 1728, and let A j denote
the abelian variety of dimension lover K given by the equation (1.12), i.e.,
36 1
Y 2 + xy - x 3 - X - --,--=-0-
j - 1728 j - 1728
Show that for each separable quadratic extension L of K there exists an abelian
variety A j.L of dimension one over K such that A j.L is isomorphic to A j
over L, but not over K, and A j.L is uniquely determined up to isomorphism
by j and L. Show also that (denoting by A(K) the group of points on A
rational over K) we have
A j.L(K) = {P E A j(L)loP = - P},
where (J is the non-trivial automorphism of L/K, (and where
-P = (x, -y - alx - a3) if P = (x,y».
Appendix 2
The Trace of Frobenius and
the Differential of First Kind
W = cvi v --=- ,
v= 1 t
The above proof is due to Tate, and generalizes to formal groups. The
reader will find another proof using the Weierstrass normal form in Manin [30].
§2. DUALITY
Let K be the function field of an elliptic curve in characteristic p, over an
algebraically closed constant field k o. Let {P} range over the points of A in
ko (or in other words, the places of Kover k o). We let Kp denote the completion
at P. An adele ~ of K is an element of the cartesian product IlKp , such that the
component ~p is P-integral for almost all P. The group of adeles is denoted by A.
There is a pairing between differential forms of K and adeles, given by
(w, ~) H <w, 0 = Lp resp(~pw).
[APP. 2, §3] THE TATE TRACE 309
w = cvtV - ,
v= 1 t
normalized so that C1 = I. Then for any adele ~, we have
<w, ~p> = c~<w, Op.
Proof We assume that the reader is acquainted with Weil's proof of the
Riemann-Roch theorem (given in the books on algebraic functions by Artin,
Chevalley, or Lang). We let A(O) be the group of integral adeles (i.e. adeles ~
such that ~p is P-integral for all P). Weil's proof of the Riemann-Roch theorem
shows among other things that
[A : A(O) + K] = 1,
where the brackets mean dimension of the factor space A/(A(O) + K) over the
constant field k o. Therefore the adele
'1 = (... ,0, lit, 0, ... )
having 0 at all components except Q, where '1Q = lit, generates this factor
space. Since w is of the first kind, both sides of the formula in the theorem are
equal to 0 when ~ lies in A(O) + K. Furthermore, both sides are p-power linear
with respect to constants. Hence it suffices to prove the formula when ~ = '1.
But in this case, the formula is obvious.
whence
p-l
y= L Sx(yx P- 1- i).
i=O
dx I
w = df + gP-x I
I n~
~
rfol -
w = cnx n - ,
n= 1 ;x:
with Cn E k o. Then C1 :f. 0, and if we normalize w so that C1 = 1, then
Cw = CpW.
Proof By C6 we know that Cw = cw for some constant c. On the other
hand, the Cartier operator is clearly continuous for the topology induced on
K by the discrete valuation arising from the place, and consequently by C4 and
C5 we find
n dx
L
_
Cw = cnpx - .
x
This yields cC I = cpo We cannot have c[ = 0, for otherwise the differential of
first kind would have a zero at the place, whence would have a zero at every
place since it is invariant under translations. This proves our theorem.
There remains for us to prove the lemma. Let u, v be elements of a ring (not
necessarily commutative), of characteristic p. We let L = L(u) and R = R(u)
be left and right multiplication by u respectively. Then Land R commute, and
p-l
(L - Ry-l = L i!w- i ,
i=O
as one sees by using the geometric series formally on (L - RY/(L - R), say.
If t is a new variable, we have
p-l
(tu + v)P = tPu P + v P + L
i=1
ci(u, v)t i ,
In the ring of endomorph isms of K (as additive group), substitute u = L(w) and
u = D. From the formula
[L(w) + D, L(z)] = L(Dz),
we see that
(Ad(tL(w) + D»P-I(L(w» = L(DP-1 W ),
and in particular that this expression is independent of t. This implies that
c/L(w), D) = 0, for i > 1.
Finally, putting t = 1, we obtain for u = L(w), u = D,
(u + u)p = uP + uP + cl(u, v),
and we have just seen that e 1(u, v) = L(DP-1 W ). This proves the lemma, and
thus also concludes the proof of the theorem.
Let A be an eIliptic curve defined over the prime field Fp. If A and its
Frobenius endomorphism are obtained by reduction mod p as in §l, then we
now see that cp = i p ' and hence the residue class of j~ can be determined from
the local expansion of w at any point. If one wishes to avoid reduction mod p,
one can use the discussion of Hasse invariants in the next section instead. In
any case, we see that for A defined over F p , we have
Cw = w 0 7['
In other words, we can normalize the differential of first kind so that it is fixed
by the Cartier operator. We now see that the two cases of Theorem 4 correspond
to the singular and supersingular cases respectively, i.e. the differential of first
kind (suitably normalized) is logarithmic or exact according as the elliptic curve
is singular or supersingular.
w = cvtV - ,
v= 1 t
normalized such that c 1 = 1. Let - a be the residue of the Hasse function y
as above, with respect to the parameter t. Then a = cpo
[APP. 2, §5] THE HASSE INY ARIANT 317
Then U :::> g:JK, and the unramified extensions of K are precisely those obtained
by adjoining gJ-th roots of elements of U to K. (In fact, Uj gJK is dual to the
318 THE TRACE OF FROBENIUS [APP. 2, §5)
Hence z - tJX has a lower order pole at Q than z. Again inductively, we can
finally achieve that z E Sf(pQ). This proves our theorem.
Theorem 7. The following conditions are equivalent:
i) The space Sf(pQ) n soKQ is equal to the constantjield.
ii) There exists no cyclic unramified extension of K of degree p.
iii) The Hasse invariant at Q is equal to O.
[APP. 2, §5] THE HASSE INVARIANT 319
ARTICLES
[1] T. ASAI, "On a certain function analogous to Iogl'1(z)I," Nagoya Math. J. 40
(1970), pp. 193-211.
[2] P. DELIGNE, "Hodge Structures," Publication IHES, 1971.
[3] - - , "Varietes abeliennes ordinaires sur un corps fini," Invent. Math. 8 (1969),
pp. 238-243.
[4] M.DEURING, "Die Typen der Multiplikatorenringe elliptischer Funktionenkorper,"
Abh. Math. Sem. Hamb. (1941), pp. 197-272.
[5] - - , "Teilbarkeitseigenschaften der singularen Moduln der elliptischen Funk-
tionen und die Diskriminante der Klassengleichung," Commentarii Math. Helv.
19 (1946), pp. 74-82.
[6] - - , "Die Struktur der elliptischen Funktionenkorper und die Klassenkorper der
imaginiiren quadratischen Zahlkorper," Math. Ann. 124 (1952), pp. 393-426.
[7] - - , "Die Anzahl der Typen von Maximalordnungen einer definiten Quatern-
ionenalgebra mit primer Grundzahl," Jahrsbericht Deutschen Math. Ver. 54
(1944), pp.24--4!.
[8] - - , "Invarianten und Normalformen elliptischer Funktionenkorper," Math.
Zeitschr. 47 (1941), pp. 47-56.
[9] - - , "Zur Theorie der Moduln algebraischer Funktionenkorper, Math. Zeitschr.
46 (1940), pp. 34--46.
[10] - - , "Zur Theorie der elliptischen Funktionenkorper," Hamb. Abh. 15 (1942),
pp.211-26!.
[II] - - , "Algebraische Begrundung der komplexen Multiplikation," Hamb. Abh.
16 (1946), pp. 32-47.
[12] - - , "Reduktion algebraischer Funktionenkorper nach Primdivisoren des
Konstantenkorpers," Math. Zeitschr. 47 (1942), pp. 643-654.
[13] - - , "Die Zetafunktion einer algebraischen Kurve vom Geschlechte Eins,"
four papers in Nachrichten Akad. Wiss. Gottingen:
i) 1953, pp. 85-94.
ii) 1955, pp. 13-42.
iii) 1956, pp. 37-76.
iv) 1957, pp. 55-80.
BIBLIOGRAPHY 323