Escolar Documentos
Profissional Documentos
Cultura Documentos
Jean-Pierre Serre
Lectures on the
Mordell-Weil
Theorem
Third Edition
Jean-Pierre Serre
Lectures on the
Mordell-Weil Theorem
Asped~f
Ivbthematia
Vol. E 5:
Vol. E 6:
Vol. E 9:
Vol. E 10: A. J. Tromba (Ed.): Seminar of New Results in Nonlinear Partial Differential
Equations *
Vol. E 15: J.-P. Serre: lectures on the Mordell-Weil Theorem
Vol. E 16: K. Iwasaki/H. Kimura/S. Shimomura/M. Yoshida: From Gauss to Painleve
Vol. E 17: K. Diederich lEd.): Complex Analysis
Vol. E 18: W. W. J. Hulsbergen: Conjectures in Arithmetic Algebraic Geometry
Vol. E 19: R. Rocke: lectures on Nonlinear Evolution Equations
Vol. E 20:
Vol. E 21:
Vol. E 22:
D.
Vol. E 25: A. Tikhomirov/A. Tyurin (Eds.): Algebraic Geometry and its Applications
Vol. E 26:
Vol. E 27:
Vol. E 28:
Vol. E 29:
Vol. E 30:
Bonn
Jean-Pierre Serre
Lectures on the
Mordell-Weil Theorem
Translated and edited by Martin Brown
from notes by Michel Waldschmidt
3rd edition
II
Vleweg
Foreword
M.L.Brown
I.-P. Serre
VII
CONTENTS
1. Summary.
1.1. Heights.
1.2. The Mordell-Weil theorem and Mordell's conjecture.
1.3. Integral points on algebraic curves. Siegel's theorem.
1.4. Baker's method.
1.5. Hilbert's irreducibility theorem. Sieves.
1
3
3
4
5
5
2. Heights.
2.1. The product formula.
2.2. Heights on P m(K).
2.3. Properties of heights.
2.4. Northcott's finiteness theorem.
2.5. Quantitative form of Northcott's theorem.
'2.6. Height associated to a morphism <p: X -+ P n
2.7. The group Pic(X).
2.8. Heights and line bundles.
2.9. he = 0(1) {:} c is of finite order (number fields).
2.10. Positivity of the height.
2.11. Divisors algebraically equivalent to zero.
2.12. Example-exercise:, projective plane blo~ up at a point.
7
7
10
13
16
17
19
20
22
24
24
25
26
3. Normalised heights.
3.1. Neron-Tate normalisation.
3.2. Abelian varieties.
3.3. Quadraticity of he on abelian varieties.
3.4. Quality and Poincare divisors.
3.5. Example: elliptic curves.
3.6. Exercises on elliptic curves.
3.7. Applications to properties of heights.
3.8. Non-degeneracy.
3.9. Structure of A(K): a preliminary result.
3.10. Back to 2.11 (c algebraically equivalent to zero).
3.11. Back to 2.9 (torsion c).
29
29
31
35
36
39
40
41
'42
43
44
46
VIII
Contents
49
49
50
51
53
53
55
5. Mordell's conjectUre.
5.1. Chabauty's theorem.
5.2. The Manin-Demjanenko theorem.
5.3. First application: Fermat quartics (Demjanenko).
5.4. Second application: modular curves Xo(pn) (Manin).
5.5. The generalised Mordell conjecture.
5.6. Mumford's theorem; preliminaries.
5.7. Application to heights: Mumford's inequality.
58
58
62
66
67
73
74
77
81
81
83
87
7. Siegel's method.
7.1. Quasi-integral sets.
7.2. Approximation of real numbers.
7.3. The approximation theorem on abelian varieties.
7.4. Application to curves of genus ~ 1.
7.5. Proof of Siegel's theorem.
7.6. Application to P(J(n.
7.7. Effectivity.
94
94
8. Bal(er's method.
8.1. Reduction theorems.
8.2. Lower bounds for 'B{3i log (ri.
8.3. Application to P l - {O, 1,00}.
8.4. Applications to other curves.
8.5. Applications to elliptic curves with good reduction outside
a given finite set of places.
89
90
95
98
101
102
105
106
108
108
110
112
114
118
Contents
IX
121
121
122
123
127
129
130
132
137
137
138
144
145
147
147
149
152
152
154
158
161
163
163
164
166
167
177
172
177
179
183
186
Contents
196
197
Bibliography.
200
Index.
210
188
188
190
191
192
194
1
1. SUMMARY
The aim of this course is the study of rational and integral points on
algebraic varieties, especially on curves or abelian varieties. Before the
end of the last century only special cases had been considered. The first
general results are found, around 1890, in the work of Hurwitz and Hilbert
[HH] where they introduced the, nowadays natural, viewpoint of algebraic
geometry: if X and XI are two birationally equivalent algebraic curves
over Q in P 2 , their rational points correspond. Hence the importance of
birational invariants, in particular the genus. They studied especially the
case of genus zero:
Theorem. A curve of genus zero is isomorphic to a conic. If it has a
rational point over Q, then it is isomorphic to PI, and thus has an infinite
number of rational points over Q.
The principle of the proof is the following. As the genus is zero, the
canonical divisor has degree -2. Changing the sign, one obtains a divisor of
degree 2. The correspondence between divisors and morphisms to projective
space provides a morphism X -+ P 2 whose image is of degree 2, hence is a
comc.
Around 1901, Poincare [P] took up this question again, apparently unaware of the work of Hurwitz and Hilbert. He gave another treatment of the
case 9 = o. When 9 = 1 (elliptic case), he made use of the affine structure
of the set of rational points. His paper is not very clear. Still, one can credit
him with descent arguments (3-descents, while his successors used mostly
2-descents), and with the following conjecture (proved by Mordell [M] in
1922):
Theorem. The group of rational points on an elliptic curve is finitely generated.
In the same paper Mordell stated his famous conjecture [now proved
by Faltings]:
Mordell's Conjecture. A curve of genus
tional points.
(n+1)
N n +1
The logarithmic height of P is h(P) = log H(P) (which is approximately the number of digits required to write the coordinates of P). If
4> : X -+ P n is a morphism, we define on X(Q): H<p(x) = H(4)(x)) ,
h<p(x) = h(4)(x)). If X is a projective variety, one associates to 4>: X -+ P n
the divisor class c<p E Pic(X) of the inverse image of a hyperplane section
of P n. Then h<p depends only on c<p up to 0(1) (where 0(1) denotes a
bounded function). Let c E Pic(X)j there are two morphisms 4> and .,p such
that c = c<p - c,p. We put he = h<p - h"" , which is defined up to 0(1). Then
there are properties ofthe type he+el = he+hel +0(1). If moreover X is an
abelian variety, there is the Neron normalisation of the height he: to every
c E Pic(X) is associated a well-defined function he. For simplicity, suppose
that c is symmetric, that is to say [-l]c = c, where [-1] is the morphism
x 1-+ -x on X. The Neron function is characterised by
-
he(nx)
= n 2-he(x),
for
x E X(Q)
and
n E Z.
(In fact, this holds over X(Q).) This function he is a quadratic form. There
is also a decomposition of he into local components.
3
1.2. The Mordell-Weil theorem and Mordell's conjecture.
The proof of the Mordell-Weil theorem divides into two steps.
The weak Mordell- Weil Theorem. Let A be an abelian variety defined
over Q, r = A( Q) the group of rational points on A, and n an integer ~ l.
Then r /nr is a finite group.
The proof goes as follows. Suppose that Y -+ X is a finite etale covering
of a projective variety X, where Y and X are defined over Q. Let m be
the degree of the covering. For each x E X(Q) we choose a lifting y E Y.
Let Ky be the field of rationality of y. Evidently, [Ky : Q] ~ m. Further,
one can show (Chevalley-Weil [CW]) that Ky is unramified outside a finite
set of prime numbers PI, ... , Ph, (depending only on X, Y and the covering
map). But, by a theorem of Hermite, there are up to isomorphism only
finitely many number fields of given discriminant and given degree. Thus
the fields Ky are finite in number, and there is a number field K for which
all rational points of X can be lifted to points of Y (K) (that is to say, the
image of Y (K) contains X (Q. One applies this to Y = X = A and to the
morphism A -+ A of multiplication by n. The finiteness of r / nr follows
easily.
The second part of the proof of the Mordell-Wei! theorem is a descent
argument using heights. Select an integer n ~ 2. Let Xi be representatives
of the classes of r modulo nr. One shows that there is an integer r such
that the points of r satisfying h( x) ~ r generate r: choosing r large, if
hex) > r one has that x = ny+xi with y E rand hey) < h(x)/2 ; the proof
then proceeds by induction.
As for Mordell's conjecture, it has been the subject of work of (a)
Chabauty [Ch], (b) Demjanenko [D], and Manin [Mal], (c) Mumford [Mull.
[and (d) Faltings [F]].
(a) Let X be an algebraic curve of genus ~ I and J its jacobian. Suppose
that the genus of X is strictly larger than the rank of J(Q). Then X(Q) is
finite (Chabauty [Ch]).
(b) Let Xo EX. Let A be an abelian variety over Q. Suppose that
rank Hom(X, A)
11UIDfordproved,
n-+oo
h(xn)
The proof uses Roth's theorem combined with the 11ordell-Weil thearem.
The application to curves can be made in the following way:
5
Theorem. Let X be a curve of genus ~ 1 over Q, f a non-constant rational
function on X, and Xl, X2, an infinite number of distinct rational points.
Put f(Xi) = ai/bi , i = 1,2 ... , where, for i ~ 1 , ai and bi are coprime
integers. Then,
as
i-+oo
For the proof, one embeds X in its jacobian and applies the theorem
above.
1.4. Baker's Method.
Ax+Bz=C.
Expressing x, z in terms of a base of the group of units, one then uses
Baker's theorem on lower bounds for linear forms in logarithms and obtains
a finiteness result.
Other cases can be reduced to this by means of coverings; for example
curves of genus 1 or curves of genus 2 with a pair of points invariant by
the involution removed. Moreover the proof is effective (whereas Siegel's is
not).
1.5. Hilbert's Irreducibility Theorem. Sieves.
Let C be an irreducible algebraic curve over Q, and let C -+ PI be a
morphism of degree n ~ 2. Then "few" rational points of P I lift to rational
points of C, and indeed, "most" points give extensions of degree n.
Equivalently, if X is the variable of PI and F(T, X) = 0 is the equation
of C, of degree n in T and irreducible over Q(X), there are "many" X E Q
for which F(T, x) is irreducible over Q.
The rational points of PI with H(P) ~ N which lift to rational points
on C may be counted. Out of a total number rv cN2 rational points of
height ~ N, the number of those which lift is
~N2/n ~
N,
g=O
~ (logN)P, if g=1 (Neron)
~ loglogN, if g?2 (Mumford)
[~ 1, if g?2 (Faltings).]
if
if
=0
as desired.
Hilbert's theorem may be applied to construct field extensions ofQ
with given Galois group, such as Sn or An [or sporadic simple groups].
7
2. HEIGHTS
References: [L2] and [L6].
2.1. The product formula.
Let K be a field and MK a family of absolute values x H lxl v (where
lxl v is a real number ~ 0) satisfying the following three properties:
1. All v E MK, except for a finite number, are ultrametric:
and put
IIxli oo = Ixl =
8
valuation ring. We write Vw : K* -+ Z , where vw(l) is the order of
W,and
I/lw = c-vw(f),
(I E K*).
on
As each
(I) = Lvw(l)W,
w
we get
K*.
We may thus obtain different product formulae for the same field K
(for example, take a quadric surface in 3-dimensional space with different
choices of C).
c. Finite field extensions.
Let K be a field with a product formula, and let L be a finite extension
of K of degree [L: K] = d. Each v E MK is known to extend to a finite
number ofabsolute values w of L; call ML the set of such extensions. Using
ML, a product formula for L is obtained in the following way:
Write Kv for the completion of Kat v. Then Lv = LK Kv is a semilocal algebra of degree dover Kv; hence it is a product of local algebras
(1)
II IIxll w = IINL/K(X)W/
wlv
If x E K*, we get
II IIxll
(2)
wlv
nWEML
IIxli v
IIxll w =
Proof of (1).
NL/K(X) =
II NLw/K.,(xw).
wlv
Let Xw be the image of Xw by the projection w ~ Lw. We have a JordanHolder series of w (considered as a module over itself) of length dw/dw ,
with factor modules isomorphic to Lwo We deduce
'* (2).
10
Number fields.
Let K be a number field of degree dover Q. Let v be a place of K.
We have defined above the normalised absolute value IIxll v .
Another way to define it is the following: for x E K, the homothety
y 1-+ xy transforms the additive Haar measure on Kv to a multiple of itself
and the multiplier Ixlv,Haar is related to IIxllv by:
-+
R, then
-+
C, then
We have:
if v is ultrametric,
if v is archimedean.
2.2. Heights on Pm(K).
Let K be a field with a product formula. By 2.1 example (c), every
subfield L of an algebraic closure K of K, and or" finite type over K, has a
product formula.
Let x E Pn(K), x = (xo, ... ,x n ), with Xi E K not all zero. We put
= H(xo, ... , x n ),
for all A E K*j this defines H on Pn(K). Finally, we have H(x) ~ 1 for all
x E Pn(K), for if Xo =I 0, for example, then H(x) ~ TIv IIxoliv ~ 1.
11
HL(X) =
II
O. If L is a finite extension of
s~p IIXiliw.
wEML
Then
HL(X) = HJ(x),
for
x E Pn(K).
and all
wlv.
Therefore
wlv
H(x) = l/N(g,)l/d
II
s~p IIxillv.
vEMK,oo
c. Function jields.
Let K = key) be the function field of a projective normal k-variety V.
An element x = (xo, ... , xn) E P n{K) can be considered as a rational map
of V to P n
12
(the set .6. of points of V where x is not defined has co dimension ~ 2).
Thus x is a morphism of V - .6. to P n with co dim .6. ~ 2.
Let H be a general hyperplane of P n (not containing the image of x)
and let x*(H) be the inverse image of Hj x*(H) is a divisor on V -.6., thus
its Zariski closure is a divisor on V.
Let C be the curve chosen to define the product formula on K, cf. 2.1,
example b).
Formula.
hex) = C.x*(H)
Taking j = 0:
But
Do
=L
and
C.Do =
W.vw(Do),
L (C.W)vw(Do).
w
L (WC)vw(xo) = C.(xo) = 0,
W
whence
-C.Do =
L (W.C)i~fvw(xi)
W
13
= -hex),
which proves the formula.
2.3. Properties of heights.
1. If x has coordinates Xi and y has coordinates Yj, let x Y be the point
with coordinates Xi.Yj. Then:
H(x y)
= H(x).H(y).
2. For x = (xo, ... , x n ) and m ~ 1, let x(m) be the point whose projective coordinates are all the monomials of degree m in the Xi, and xm (x~, ... , x~). Then:
3.
H(4Y(x
IINllooH(c)H(x)m
where c and N are defined in the following way. Each 4Yi is a linear combination of monomials in X o, . .. , Xn of degree mj c is the sequence of coefficients
of all the 4Yi considered as a point in projective space; N is the maximum
number of monomials appearing in anyone of the 4Yij finally
IINlloo =
II
IINliv
vEMoo
IINiloo = N).
H(4Y(x
= O((H(xm)
for
x E Pn(K).
h(4Y(x
hex)
+ 0(1),
14
Proposition. There is a constant C depending only on F such that if
x E Pn(K) satisfies F(x) = 0, then
(If F(x)
Proof
Let x" be the point whose coordinates are all the monomials of degree
min Xo, ... ,Xn , with the exception of x~. As F(x) = 0, x~ is a linear
combination of other monomials, thus the map x" 1-+ x( m) is linear, and
h(x") = h(X(m-l)
+ hex').
x~,
and c
Geometric interpretation.
The map x 1-+ x' defines a morphism of P n - {e} to P n-l, with e =
(0, ... ,0,1); this is the central projection from the point e.
More generally, if A is a linear subvariety of P n of dimension A, one
has (on selecting some coordinates) a projection tr: P n - A -+ P n - A- 1
Proposition. If X
A, then
h(tr(x
= hex) + 0(1),
15
Proof.
Induction on A. The case ), = 0 is the previous proposition. It is only
necessary to check that if X is a closed sub-variety of P n, not meeting A,
then the image of X is closed in P n-A-l. This follows from the fact that a
projective variety is complete, thus its image by a morphism is closed.
We may also see this more concretely. It suffices to consider a projection
whose centre is a point (A = 0). Let F, Fa be the equations defining X, with
F(O, . .. ,0,1) i= O. One wishes to find the equations Gf3(xo, ... , xn-d = 0
of the projection, that is to say, to eliminate Xn from the equations Fa. Let
us write
F(x) = x~ + al(xO, ... , Xn_l)X~-l + ... ,
F(x)
= II(x n -
i=l
II L taFa(XO, ... , Xn
i=l
-!,
(i) =
L taGa(xo, . .. ,Xn-l).
a
One checks that the G a give the equations of the projection. (If there is a
single Fa, the resultant of F and Fa is then obtained.)
Proposition. Let 4>0, ... , 4>r be homogeneous polynomials of degree m
which are not simultaneously zero on K. Then
h(4)(x))
= mh(x) + 0(1),
for x E P n(K).
Proof
Let i : P n - t PM be defined by i(x) = x(m), where M +1 is the number
of monomials of degree m. There is a linear projection, defined outside the
closed subvariety of its centre .6., 7r : PM - .6. - t P r such that 7r 0 i = 4>.
i
--t
P M -.6.
= hey) + 0(1).
As
16
Exercise. (Alternative proof.) Use Hilbert's Nullstellensatz to show that
there is an integer A for which x A is the image of x(A-m) 0cjJ(x) by a linear
transformation. Hence
mh(x)
S h(cjJ(x + 0(1),
For x = (xo, ... , x n ) E Pn(Q), the degree of x is the degree of the field
i,j S n,xj #- O.
generated by the xi/Xj,
Corollary. If K is a. finite extension of Q, there are only finitely many
points ofPn(K) of height S X.
o,... ,
xo, ... ,
H(7r(!f..
s CIT H(xO)d
Using a), this shows that the 7r(!f..) are finite in number. Each fibre has at
most d! elements, whence the finiteness of the x's.
Exercise. Derive part (b) of this proof by introducing variables To, ... , Tn,
and considering the polynomial
d
II .LTi(J'o(xi) = .L ca(x)Ta.
0=1 i=O
17
Then
Ca
Conclude as above.
2.5. Quantitative form of Northcott '8 theorem.
where
cn =(
2rl (21!y2
..jl:l.
if d = 1, n = 2,
otherwise.
n R r
) wn .
(As usual, rl is the number of real places, r2 the number of complex places,
r = rl + r2 - 1 the rank of the group of units, d = [K : Q], w the number of roots of unity in K, R the regulator, l:l. the absolute value of the
discriminant, and h is the class number).
Remark. The error term is probably not best possible for (n, d)
Sketch of proof.
Let x = (xo, ... ,Xn-l) E Pn-I(K). Let ~x be the ideal generated by
the Xi. For ~ an ideal of K, let Nx(~) be the number of points of height
:5 X with class(~) = class(~). Schanuel proves the more precise estimate:
Nx(~)
Recall that if ~ =
~,
= 1/(K(n)Cn X nd +O(-).
we have
H(x) = N(~)-l/d
II
vEMK,oo
Xi
E ~, such
Let Nx(~) be the number of (Xl, ... ,Xn ) E ~n, modulo this equivalence
relation, with Hoo(x) :5 XN(~)l/d.
18
Theorem. Nx(g)
= cnxnd + OK,n(X nd - l ).
Since N (g) depends only on the class of g, which takes only finitely
many values, the O-constant can be chosen to be independent of g.
a. Computation of Nx(g).
Let KR = K R (product of the archimedian completions of K). In
K R X .. x K R (n times) we count the points of the lattice g x ... x g. For
this we take a fundamental domain E of K R modulo the units. For each
v E MK,oo let i(v) be such that IIxi(v)riv = sUPi IIxdlv. We then have a
point (Xi(v) E IT Kv' Define a domain Dx of Kit by the 3 conditions:
(1) (Xi(v) E E,
(2) Hoo(x) :5 XN(g)I/d,
(3) IIXjllv :5 IIxi(v)lIv for all j and all v.
Notice that
Nx(g) = ~NX(Nb)-l/d(gb).
b
Nx(g)
= L J.t(b)N~(Nb)-l/d(gb),
b
'" ~J.t(b)Cnxnd(Nb)-n
b
19
'" CnXndLJ.L(b)(Nb)-n.
b
= ~ J.L(b)(Nb)-s.
-:-(q-=--l-:-)(-K-:-(n-:-)
+ 0 (q(n-l)d) ,
H(x) = H((x)),
h(x)
= logH(x) = h((x)).
+ h).
Proof.
We view X as embedded in P n (by ) with coordinates Xo, ... , x n .
20
a) Special case: there are homogeneous polynomials 'l/Jo, ... , 'l/Jm of the
same degree, not simultaneously zero on X, such that
'I/J(x)
= (AO,""
An),
'I/J
where the
= (l,h,,fm),
where the 'l/Ji are homogeneous of the same degree and 'l/Jo(x) = 1. So
'I/J = ('l/Jo, ... , 'l/Jm) in a neighbourhood of x, and the result follows from a).
Ci,
f* : Pic(Y) -+ Pic(X).
21
Suppose now that X is a normal variety (in fact, normality is unnecessary here, [G, Ch.IV, 21.6]). A (Weil) divisor on X is a linear combination,
with integral coefficients, of irreducible sub-varieties of co dimension 1:
D=2:'.:: n w. W .
(J)
= (J)o -
(J)oo
= 2:'.:: vw(J).W.
w
Cl(X).
22
if the divisor D has class c, then the complete linear system IDI has no base
points: that is to say, for all x EX, there is D' linearly equivalent to D
with D' ~ 0 and x SuppeD').
An element c E Pic(X), which is generated by its global sections, is
very ample if the corresponding morphism ifJ : X -T P n is an immersion.
We say that c is ample if there is an integer m > 0 such that mc is very
ample, in which case mc is very ample for all sufficiently large m.
2.8. Heights and line bundles
Let K be a field with a product formula, V a projective algebraic
variety over K, and Pic(V) the group of classes of line bundles on V.
Let H be the quotient of the vector space of real-valued functions on
V (K) by the space of bounded functions on V (K). It will be convenient to
choose representatives of elements of H and to write that formulae are true
modulo 0(1), that is to say up to the addition of a bounded function.
Theorem. There is a unique map c 1-+ he of Pic(V) to H such that,
1 ) h e+e, = he + h~ + 0(1) for all c,c' E Pic(V).
2 ) If c corresponds to a morphism ifJ : V -T P n, then he = h</> + 0(1).
Proof
Uniqueness. It suffices to prove the following result: every c E Pic(V) is
of the form c</> - c.p where ifJ, 'I/J are immersions.
Let ifJl : V -T P n be an immersion, and let C</>l = ifJi Cl.
a. If m is sufficiently large, c' = c+mc</>l is generated by its global sections.
This is a general result on sheaves twisted by 0(1).
b. As c' is generated by its global sections, it corresponds to a morphism
V -T Pm. We embed Pm X P n in a P N by the tensor product (Segre
embedding). Then, c' + C</>l corresponds to an immersion V -T Pm X P n -T
P N, thus c' + C</>l is very ample.
c. We write c</> = C + (m + l)c</>p c.p = (m + l)c</>p where ifJ and 'I/J are
immersions. Then c = c</> - c.p.
Existence.
a. We check that if C</>l = C</>2' then h</>l = h</>2 + 0(1). We consider for this
the complete linear system, i.e. the vector space r = HO (V, E) of all the
global sections of the line bundle E associated to C</>l' The ifJi correspond
23
to bases of sub-vector spaces of r. We have already seen that a change of
basis or of subspace does not change ht/>.
b. We write C E Pic(V) in the form C = ct/> - c.p, and we would be able
to put he = ht/> - h.p if we could verify that C = ct/>, - 4' => ht/>, - h.p' =
ht/> - h.p + 0(1). But as Ct/> + C.p' = Ct/>, + C.p one has ht/>.p' = ht/>'.p + 0(1),
from a), thus ht/> + h.p' = ht/>' + h.p + 0(1).
Exercise. Give another proof of the existence using the following lemma of
Mumford: Pic(V) is presented by its generators ct/>, for morphisms <p : X -+
P n, and the relations:
1) If i : P n -+ P n+ I is a linear embedding, then ct/> = Cit/>.
2) ct/>.p = ct/> + c.p.
Functoriality. Let f
Then
:V
-+
he = he'
f + 0(1).
(In general this is not an equality, there is an extra factor, as we shall see
later (3.2).) Let CI E Pic(Vt), C2 E Pic(V2), and C = CI +C2 E Pic(Vi X V2)'
For Xi E Vi(K), (i = 1,2), we have
Examples.
1). To any morphism f : P n X Pm -+ P N we associate a pair of integers
(db d2 ) (corresponding to the degrees of f expressed in terms of multihomogeneous polynomials). Here there is no extra factor: Pic(P N) = Z,
Pic(P n x Pm) = Z x Z, and we get
24
We cannot apply the preceding formula to the composition law S
Ex E --+ E, for S*Cl does not belong to PieCE) EB Pic(E). But one can take
the morphism Ex E --+ E x E, (x, y) I-t (x + y, x - V). The inverse image
of Cl 1 + 1 Cl is 2(Cl 1 + 1 Cl), as one can see, either geometrically or
by analysis, from formulae for p(u + v).p(u - v) , or for the 4 Jacobi theta
functions: Oi(U+V).Oi(U-V) is an homogeneous polynomial of degree (2,2)
in the OJ(u),Oj(v) , i,j E {1,2,3,4} (see e.g. [Wh] p.456, exerc. 8, and p.
488, exerc. 3). For the associated height on E x E we deduce formulae of
the type (cf. 3.3, 3.6)
+ 2h(y) + 0(1).
h(dx)
2.9. he = 0(1)
{:>
I-t
dx , and C
= d2 h(x) + 0(1).
25
Let So, ... , Sn be a basis of the global sections of E'
we have
rev,
26
+ Cl is ample.
This can be proved using the Nakai-Moishezon criterion (see [H, Ch. V,
Th. 1.10], for the case of surfaces, and [K], for the general case): a positive
divisor D is ample if and only if for all irreducible sub-varieties .6. one has
D6.6. >
where 6 is the dimension of 6. (in the case of a surface, these
conditions become D2 > 0, and D.C > for all irreducible curves C on the
surface).
We now prove the theorem on Ihcl. As C E Pic(V), we have nc E
Pic(V) for all n E Z ; therefore nc + Cl is ample and nhc + hc! is positive
modulo 0(1). One bounds hc from above by choosing n < -1/ , and one
bounds -hc from above by choosing n > 1/.
We have thus shown hc(x) = o(hc! (x, as hc! (x) -+ 00. Neron's theory
gives a more precise statement:
(x,y,z)
I-t
(x,y).
xv - yu
= 0.
27
O.
c = aD + beD - L)
I'V
The number N(X) ofx E V(Q) such that He(x) $ X is:::::: X"Y, where
"I = max(2/a, 2/b).
(The symbol :::::: means that, for large enough X, the ratios of the two
numbers lies between Cl and C2 with Ci positive. A more precise result
cannot be expected since he is defined only up to the addition of a bounded
function.)
(a) Show that the number of x E L(Q) with He(x) $ X is :::::: X2/b.
[Note that c.L = b, then apply Schanuel's theorem to L.)
(b) Show that the number of x E ~(Q) with He(x) $ X is::::::
that N(X) > X"Y.
x 2 /a.
Deduce
i- (0,0,1)
28
We normalise, as usual, a point (x,y,z) E P2(Q) so that X,y,z E Z
and gcd( x, y, z) = 1. We may then select the heights in (c) to be
I~I),
I:
y-2b/a.
(f) Show that the sum in (e) has the upper bound
X2/a
""'
L....J
Y$Xl/(Cl+b)
+ X 3 /(a+b) ,
x 2 /a log X ,
29
3. NORMALISED HEIGHTS
3.1. Neron-Tate normalisation.
Lemma. (Tate). Let S be a set and 7r : S --+ S a map. Let f be a realvalued function on S such that f 0 7r = >.f + 0 (1) , with >. > 1. Then there
is a unique function 1 on S such that
(a) l=f+O(l)
(b)
10 7r = >.1
and we have
We shall show (a) in the following more precise form: if c is such that
If(7rx) - >.f(x)1 ~ c , then
Ij(x) - f(x)1 ~
n=l
f=9
Uniqueness. If 9 = f
1 = O.
Thus if f
= 9 + 0(1), then
9 = 1, and 9 = g, thus 9 = j.
Exercise. (Alternative proof) Let E be the Banach space of bounded realvalued functions on S equipped with the sup norm. Show that the operator
A: E --+ E, f 1-+ f 0 7r is such that IIAII ~ 1 and hence that 1- (l/>.)A is
invertible. If 4> satisfies
(1- (l/>.)A)4> = - f
+ (l/>.)f 0 7r,
30
show that} = /
Functoriality of /.
Let (7 : 8 -+ 8 ' be a map, and let 'If : 8 -+ 8, 'If' : 8' -+ 8' be such that
'If' 0 (7 = (70 'If. Let f' : 8' -+ R have /' 0 'If' = A/' +0(1), and let / = /' 0 (7.
1~
8
8'
,.1'
R
= l' 0
(7.
Commutativity property.
Let 8, 'If, /, A be as in Tate's lemma (in particular, A > 1). Let 'lfa be
endomorphisms of 8 commuting with 'If, and Aa real numbers, such that
Then
} 0
'lfa
= AaT
1~
8
1~
~
8.
31
logarithmic height.
exp
O---+Z---+Ohol---+hol---+ O
The HO terms provide the exact sequence of groups 0 -+ Z -+ C -+
C* -+ 0, because global holomorphic functions on connected projective
varieties are constant. We have then the exact sequence
0-+ H 1(A, Z)
-+
H1(A, Ohol)
-+
H1(A, 0hol)
-+
H2(A, Z)
-+ ...
32
represented by the image of D under x 1-+ -x. We say that c is symmetric
if c = d, antisymmetric if c = -c/o The symmetry [-1] acts trivially on the
Neron-Severi group NS(A) and induces the natural symmetry c 1-+ -c on
PicO(A).
8123(X, y, z)
= x + y + z,
= x + y, 823(X, y, z) = y + z, 813(X, y, z) = x + z,
81(X,y,Z) = x, 82(X,y,Z) = y, 83(X,y,Z) = z.
812(X, y, z)
Proof
Let
By symmetry and the theorem of the cube, it suffices to show that u is zero
on 0 x A x A. As 8123(0, y, z) = y + z = 823(0, y, z), on 0 x A x A we have
8123 = 823, and also 812 = 82,813 = 83, 81 = O. Whence the theorem.
Functions of degree ~ 2 between abelian groups.
If G 1 and G 2 are two abelian groups and F : G 1 --+- G 2 is a map such
that F(O) = 0, one says that
a) F is of degree ~ 1 if F(x + y) - F(x) - F(y) = O.
b) F is of degree ~ 2 if FI(x, y) = F(x+y) - F(x) - F(y) is additive in x
and y, or equivalently, if the second difference F2(x, y, z) = F(x + y +
z) - F(x + y) - F(x + z) - F(y + z) + F(x) + F(y) + F(z) is zero.
Hom(X,A)
--+-
Pic(X),
1-+
j*c,
33
has degree
2.
Proof.
We deduce this from the preceding theorem by a simple functoriality
argument. Let, Ii : X -+ A, i = 1,2,3, be three morphisms, and
f = (h,h,fa): X
-+
A x A x A.
Take as before
We have
j*(J
Since (J
[-l]*c:
-+
G a function of degree
34
= 0, therefore F
= 0,
E Pic(A):
q.
35
Theorem. (Neron-Tate). Let A be an abelian variety over K. There is a
unique function c I-t he on Pic(A) with values in the space of real valued
functions on A(K) such. that,
1) he (X) = he(!) + 0(1).:
_
2) Additivity: hCl +C'l = hCl + hw
3) Functoriality: for all endomorphisms > : A -+ A, we have
= [2]. From
the corollary above, we know that >* c = 4c. There is then a unique hc
satisfying 1) and hc(2x) = 4hc(x). The uniqueness of hc follows from this
and 2),3).
If > is any endomorphism, then >* c is symmetric, and the commutativity lemma (3.1) applied to the diagram,
1) Suppose that c is symmetric. Consider the homothety >
A ~ A
14>
14>
~
(hc+c'
+ he-cl )/2.
3.3. Quadraticity of
hc on abelian varieties.
Proof
Let
~2hc(x, y, z)
36
We must show that !:lile = O. Let 8123,812, 8}, ... : A x A x A ---. A be
the seven morphisms given in 3.2. By the functorial property of normalised
heights, we have
and similarly for th~ other terms in !:l2he' ~s q =_8i23C- L: 812c+ L: 8ic_= 0
(3.2), we deduce h q = O. By additivity, h q = hSr23e - L: hS~2e + L: hsre,
whence the theorem.
Let Be(x, y) be the bilinear form associated to he:
Be(-x,-y) = -Be(x,V),
therefore Be = 0 and he is additive.
If c is symmetric, he is a quadratic function:
Hence:
Theorem. Let A be an abelian variety, c E Pic(A). Then:
1). If c is symmetric, the normalised height he is quadratic on A(K).
2). If cis antisymmetric, he is Z-linear (additive).
In general, the difference, f(x) = he(x) - !Be(x,x) is additive. It remains to explain how this additive part can be computed from the quadratic
part. For this we recall some properties of the dual abelian variety.
3.4. Duality and Poincare divisors.
Let A be an abelian variety. The dual abelian variety A' has the following properties (which characterise it, up to isomorphism in characteristic
zero, and up to purely inseparable isogeny in characteristic p).
37
P = P' = [-l]*P.
We associate to P E Pic(A x A') the normalised height
A'(K).
hp
on A(K) x
= Bpx,O),(y,O,
therefore hp(x, y) is additive in x, y. We then have a canonical bilinear
form on A(K) X A'(K).
We now use pro~erty b). To y E A'(K) (i.e. y E Pic(A corresponds
the canonical height h y
38
Lemma. Let A be an abelian variety, C E Pic(A), a E A(K), Ta the
translation x I-t x + a, and Ca = Tac = T~ac. Then
Since
he,. (x) = he(x - a)
+ 0(1) =
he(x)
2 and
that is to say
hy(x)
from the lemma with a
Whence the theorem.
= (0, -y).
But hp(x, 0)
B(x, y),
39
Theorem. Hx,y E A(K), we have
Proof
Remark. If one knows hp on A(K) x A'(K), one can reconstruct all the
canonical heights associated to the elements of Pic( A). For if c is symmetric,
we have from the last theorem
1-
1-
+ '2hp(x, c -
c').
40
every element of Pic( E) is a sum of a symmetric and an antisymmetric
element.
There are three interesting choiees of ample divisors: CI = (0), C2 =
2(0), C3 = 3(0). By the additivity, we have hCi = ihct) (i = 1,2,3).
The ample divisor CI corresponds to a generator of Z in PieCE). The
linear system corresponding to (0) is just (0).
The linear system corresponding to C2 has no fixed points (C2 is generated by its global sections); it consists of pairs of opposite points on the
elliptic curve. In the Weierstrass embedding y2 = 4x 3 - 92X - 93, c2 corresponds to E -+ PI given by (x, y) 1-+ (1, x). Thus H 2(P) = H(I, x).
The divisor C3 has no fixed points and is very ample. In the Weierstrass
embedding, H3(P) = H(l,x,y). We have
1
h C1 (P) = 2 logH2 (1, x) +0(1)
= 31ogH3(I,x,y) +0(1).
Explicit bounds for the 0(1) can be given (see [MZ] for C4 = 4(0); [Z]).
(x,y)
1-+
-+
E xE
(x + y,x - y).
41
[In the Weierstrass embedding E - t P 2, P ~ (1, x( P), y( P)), the
function F(P,Q) = x(P) - x(Q) on E x E has divisor /}. + /}._ - 2{(0) x
E+E x (O)}, where /}. is the diagonal x = y and /}._ is the divisor x+y = 0.]
(We have already seen this formula (2.8, Example 2) without the
tilde's but with an O(l)-term; for normalised heights there is no 0(1).)
A function on a group which satisfies this property is necessarily
quadratic:
(2). Let E be an abelian group, R an abelian group in which 2 is invertible,
and h : E - t R a map such that hex + y) + hex - y) = 2h(x) + 2h(y).
Show that the function B(x,y) = hex + y) - hex) - hey) is Z-bilinear and
symmetric, and hex) = ~B(x,x).
[The second difference C(x, y, z) (see 3.3) of h equals B(x + y, z) B(x, z) - B(y, z) which is an odd function of x and is symmetric in x, y, z;
but h is even so that C( -x, -y, -z) = C(x, y, z), hence C = 0.]
(3). If ..\ is an endomorphism of E, show that
(4). Let a, x E E(K); identify a with class((a) - (0)) in PicO(E2. Show that
ha(x) = -B(a,x), where B is the bilinear form associated to he.
3.7. Applications to properties of heights.
Torsion. Let V = A( K) j A( K)tors where A( K)tors is the torsion subgroup
of A( K) (as we are over an ~lgebraically closed field, A is divisible). Plainly,
V is a Q-vector space and he factors through V:
x E A(K).
Proof
By 2.10, there is C E R such that
42
3.8. Non-degeneracy.
Theorem. Suppose that A is defined over Q. If c is ample, the quadratic
part of he is a positive non-degenerate form on V = A(Q)/A(Q)torsWe write he = Qe + L e, where Qe, Le are, respectively, quadratic and
linear on V. We extend these to VR = R V.
Let V be a vector space over Q, F a real valued quadratic form on V .
We shall say that F is non-degenerate if for all finite dimensional sub-spaces
V' of V, F considered as a quadratic form on
is non-degenerate in the
usual sense (non-zero discriminant).
If F is positive, this is equivalent to VR having no non-zero isotropic
vectors (but such a condition for V itself is insufficient; for example, in 2
dimensions with coordinates (x, y), the form (x - 1ry)2 is positive, has no
non-zero isotropic vector over Q but acquires some after tensoring with R).
Va
43
Proof
Let F be the torsion subgroup of A(K), L = A(K)/F, and VK = QL.
1) F is finite.
We select c to be symmetric and very ample. We have hc(x) = 0 if
x E F. Northcott's theorem (2.4) implies that the number of such x is
bounded, thus the order of F is finite.
[We may also prove the finiteness of F by a p-adic argument. Let Kv
be the completion of K for v above the prime number p, then F c A(Kv).
Now, A(Kv) is a compact p-adic Lie group, hence has an open subgroup U
which is torsion free. Since F embeds into A(Kv)/U, F is finite.]
Each of these two arguments show a little more: if d is a given integer,
the elements of A( K)tors of degree ::; dover K form a finite set.
2) L is free over Z.
Lemma. If V' is a finite dimensional Q-subspace of V K, tben L'
is a lattice of V' (i.e. is isomorpbic to zdim V' ).
= L n V'
Proof
The positive definite quadratic form h~ = hclv",- on vt is such that for
all M, {A E L', h~()") ::; M} is finite. Therefore L' is discrete in vt. As
V' = Q L', we have the lemma.
We then construct a basis of L in the following way If V has finite
dimension, then the lemma shows that L is free. If not, dim V = ~o (V is
at most countable); let vi, ... , V n , ... be a basis of V. Let Vn be the subspace
with basis (Vi, ... , V n ). From the lemma, L n Vn is free for all n. Suppose
that one has constructed a basis El, ... , En of L n Vn . We shall complete this
to a basis of L n Vn+1' The image of L n Vn+1 -+ Vn+1/Vn ~ Q is finitely
44
generated hence isomorphic to Z; let n+l E LnVn + 1 be such that its image
is a generator. Then I, , n, ... is a basis of L.
Complement.
Let red) be the number of torsion points of A(K) of degree ~ d. Then:
a) By Northcott's theorem, red) is finite and can be effectively bounded.
b) If A is an elliptic curve without complex multiplication, we have red) ~
d3 / 2 , as d -+ 00. Indeed, one knows that the Galois group is "large" and
transforms one torsion point to all other torsion points of the same order
(up to a finite factor). The number of points of order 6 is essentially 62 ,
and the number of points of degree ~ d is
62 ~ d3 / 2
6~dl/2
red) ~
4>(~).
It can be shown that the Dirichlet series Ea=F o 4>(~) - 8 can be continued to
an analytic function for Re( s) ;::: 0 with a si~ple pole at s = 1. One deduces
using the Wiener-Ikehara Tauberian theorem that E4>(~9 4>(~) ""' C~.
45
But hc' (x) is a quadratic form, and we have seen that hc' (x) ~ 0 as c' is
ample and symmetric. The Cauchy-Schwarz inequality implies
therefore
As c' is ample, we have
whence the result.
1/2) .
hc = 0 ( 1 + hcll
46
3.11. Back to 2.9 (torsion c).
Theorem. Let V be a non-singular projective variety over a number field
K. Let c E Pic(V). If Ihel = 0(1) on V(K), then c is an element of finite
order in Pic(V).
The proof will show that there is an integer dv = d, depending only
on V, such that if Ihel = 0(1) on the points P E V(K) of degree ~ dover
K, then c is torsion. For an elliptic curve, d = 2 suffices.
Proof
l)Special case when V is a curve.
We have an exact sequence
--+
J(K)
--+
degr~e
Pic(V)
</>g : vg
=V
x ... x V
1-+
--+
'L:(Vi)
i
47
Lemma. Let f : X - t Y be a surjective morphism of algebraic varieties
over K. There is an integer df such that for all fields K' with K :J K' :J K
any point P E Y(K') can be lifted to X over an extension of K' of degree
~ df
[This is clear if X is finite over Y, by taking d to be the degree of
the covering. We reduce to this case by divissage. By induction, Y may
be assumed to be irreducible and of dimension n. We then select in X a
subvariety X' of dimension n for which the morphism X' - t Y is surjective
and finite outside a subvariety Y' of Y of dimension < n. On Y', one uses
the induction hypothesis.]
We apply this lemma to <pg : vg - t J. There is d 1 such that all points
of J(K) lift to points of degree ~ d1 . Let y~l), ... , y~g) be in V(Kn) with
[Kn : K] ~ d 1 such that
L <p(y~
9
= Xn
j=l
But he,J(x n ) - t
00,
2) General case.
Let V be a non-singular projective variety of any dimension. We have
a homomorphism (see 3.2) Pic (V) - t NS(V) ~ ZO EEl (finite group). We
first show that c has trivial image in ZO, i.e. is homologous to 0, up to
torsion.
There are a finite number of curves Gi C V (in fact, 6 curves suffice)
defined over K ,such that if c E Pic(V} induces an element of degree 0 on
each Gi, then c is homologically equivalent to zero, up to torsion. In terms
of divisors, the cohomology class, with coefficients in Q, of a divisor D is
zero if its intersection number with each Gi is zero.
As we have assumed that he is bounded, we may apply the above: on
each curve he is bounded, therefore c is homologically equivalent to zero,
up to torsion. Replacing c by a non-zero multiple, we may then suppose
that c E Pico (V) .
We now select a curve G on V which is a non-singular plane section
(that is, if dim V = n, take a section by a linear variety of co dimension n-l
48
in general position). The restriction map PicO(V) --+ Pic(C) is known to
be injective (it is enough to know that its kernel is finite, which is easy).
From 1), c is of finite order in Pico (C), thus is of finite order in Pico (V).
49
If nK ~ 2, one has IdKI ~ (J3)nK (there are better results, for example, nK > 20 =? IdKI > lOn K (Odlyzko, thus if the discriminant is
bounded, the degree is also bounded.
Sketch of proof
Assume for simplicity that K is totally real (the general case is similar,
see e.g. [L6]). Let n = n K. The integers OK of the field K form a lattice in
Rn. Applying Minkowski's theorem, there is a constant C (depending only
on the discriminant) and a non-zero element x E OK such that if xl, "',Xn
are the conjugates of x, then one has
The integer x generates the field K and the coefficients of its minimum
polynomial are bounded by a function of the discriminant. Therefore, there
are only finitely many such x, and such fields K, up to isomorphism.
II
pES
with
6p
:::;
n -1 + nlog(n)/log(p),
50
4.2. The Chevalley-Wei! theorem.
Spec Os = Spec 0 - S,
and
UOs = K.
From [G, IV,8], all algebraic constructions over K can be made over some
Os for S sufficiently large. Hence, there are finite etale morphisms 'Irs:
Ys ~ Xs of projective Os-schemes which induce 'Ir by the base change
s ~ K. Select such a suitable S.
Let 0' be the ring of integers of K'. From the viewpoint of schemes,
P E X(K') corresponds to a morphism Spec(K') ~ X which, as X is
projective, provides a morphism P : Spec(O~KI) ~ Xs, where SKI is the
set of places of K' lying over S. Base changing 'Irs by the morphism P,
we obtain a scheme A, finite and etale over Spec(O~K/)' which provides
Q E Y(K"):
SpecO~K I
Ys
p
--+
1~s
Xs
The theorem can be refined and stated for an arbitrary field: the discriminant of the extension K" / K' divides a fixed element of K (see, e.g.
[L6], Chapter 2, Theorem 8.1.). Over a number field, these are equivalent,
because of Hermite's theorem (4.1).
51
4.3. Mordell-Weil theorem.
Theorem. (Weak Mordell-Weil theorem.) Let K be a number field, A an
abelian variety over K, and r = A(K). Then r /nr is finite for all integers
n 2: l.
Proof. (Under the hypothesis that the n-torsion points of A be K-rational.)
Let An be the kernel of the map 'Jr : x f-+ nx on A. From the ChevalleyWeil theorem (4.2), applied to the covering 'Jr, if P E A(K) then there is
Q E A(K'), where [K' : K] ::; d(= n 2dim A) such that nQ = P, and K' /K is
unramified outside a finite number of places. By Hermite's theorem (4.1),
the corresponding fields K' are finite in number; let L be a finite Galois
extension of K containing all the K'. Let G be the Galois group of L / K.
We shall embed r/nr in Hom(G,An):
If PEr, there is Q E A(L), with P = nQ. Let s E G; we have
P= sP= nsQ,
therefore
n(sQ - Q) = 0,
whence
sQ - Q E An.
As Q is unique, up to addition by an element of An, and as the elements
of An are rational over K (by hypothesis), sQ - Q is independent of the
choice of Q. For PEr and s E G we put (P)(s) = sQ - Q. For s, t E G,
we have
stQ - Q = s(tQ - Q) + sQ - Q
= (tQ - Q)
+ (sQ -
Q),
52
H}(K, An} denote the subgroup of HI(K, An) made up of the elements
which are "unramified outside S". One then proves that:
a) H}(K, An) is finite (by Hermite's theorem);
b) (r /nr) is contained in H1(K, An) if S is large enough (e.g. if S
contains all places dividing n, and all places where A has bad reduction.
This shows that r /nr is finite.
In the proof above, we have assumed that the points of An are rational
over K so that Hl(K, An) can then be identified with Hom(Gal(K/K),An)
and one can dispense with the cohomologicallanguage.]
Non-abelian generalisation. The above theorem could be reformulated by
saying that, if 7r : B ~ A is an isogeny of abelian varieties, then Coker{ 7r :
B(K) ~ A(K)} is finite. There is a similar statement for algebraic groups
(not necessarily commutative), with A(K) and B(K) replaced by suitable
"S-arithmetic" groups. The proof is basically the same. See e.g. Borel
[Bor] and Honda [Ho].
53
4.4 The classical descent.
,i
such
Proof
For each real number D > 0, we denote by r D the subgroup of r
generated by the elements, E r with 1,1 :::; D. We wish to show that
r 2C = r; as Urn?:l r mC = r, it suffices to check by induction on m that
r mC C r(m-l)C,
for
m:2: 3.
= nx +'i.
Then
thus
r(m-l)C.
54
where
= r tors EB ZP,
w is the order ofrtors ,
B(x, y)
[If the element of the group Pic(A) attached to <p is symmetric, we may
replace O(X(P-l)/2) by O(Xp/2- p/(P+l).]
Corollary. N(X) '" CXp/2, as X
--+ 00,
with
= cpwj..,fi5.
Proof of theorem.
For p = 0 we have N(X) = w for X sufficiently large. We now suppose
that p ~ l.
It suffices to prove the same estimate for the number R(X) of'}' E r for
which he'}') ~ X. Indeed, hand h differ by a bounded quantity: Ih-hl ~ a,
therefore
R(x - a) ~ N(X) ~ R(X + a).
R, we have
+ O(Xp/2-1) + O(X(p-l)/2)
CXp/2 + O(X(p-l)/2),
h(L:: ni"}'i) ~ X.
i=l
55
h is a positive definite quadratic form plus a linear term in the "Ii. Let
Nquad be the number of "I for which the quadratic part hquad of h is ::; X.
But
Then
Nquad(X
- bX 1/2 )::; N(X)
::; Nquad(X
+ bX 1/2 ),
=?
(2), if d
1.]
56
X . X
X X
Z/nZ)
Hom(Gal(K/K),JLn).
X X
K* /K*n,
[Here 4>j(-y) is the value (mod K*n) of 4>j at "I in case the divisor of 4>j
does not go through "I; in case it does, one just replaces 4>j by 4>jf n , with
a suitable f E K A, so that this does not happen.]
From this point of view, the proof of the weak Mordell-Weil theorem
reduced to saying that the image of "I 1-+ 4>j('Y) is a finite subgroup of
K* / K*n for each j.
as
r /2r -+ K* / K*2
K* / K*2 ,
57
Lemma. If g:J is a prime ideal of J( not dividing (el - e2)(e2 - e3)(e3 - ed,
then
vp(x - el) == 0 (mod 2) and vp(x - e2) == 0 (mod 2),
for any (x, y) E f.
Proof.
Put mi = vp(x - ei), i = 1,2,3. Since (x - ed(x - e2)(x - e3) is a
square, we have ml + m2 + m3 == 0 (mod 2). To prove that mi == 0 (mod
2) for all i we distinguish two cases:
a) x is not g:J-integral. If vp(x) = -m, then mi = -m for i = 1,2,3, hence
3m == 0 (mod 2) and mi == 0 (mod 2).
b) If x is g:J-integral, at most one of the mi can be f: 0 (otherwise, one of
the ei - ej would be divisible by g:J). Hence the result by using again
ml + m2 + m3 == 0 (mod 2).
Exercise.
Let E be an elliptic curve over C given in standard Weierstrass form
= y'g:J( u) -
ei, Yi
= -U + ....
The field generated by YI, Y2, Y3 over C (g:J( u), g:J' (u)) is the function field of
2-division of E, i.e. C(g:J(u/2) , g:J'(u/2)). Check this by using the relations
(d. [Wh]):
g:J(u/2) = g:J(u) + YIY2 + Y2Y3 + Y3Yl,
1 '( U/2)
2"g:J
= g:J'()
U -
(2
YIY2
2
2
2
2
2) ,
+ YlY3
+ Y2Yl
+ Y2Y3
+ Y3Yl
+ Y3Y2
and
Yi
= _g:J/(U)-I(g:J(u/2) -
58
5. MORDELL'S CONJECTURE
The conjecture is the following [it has now been proved by Faltings,
see [F,FW,Sz]].
(M) If G is a curve over a number field K, and if the genus of G is 2: 2,
then the set G(K) of points of G rational over K is finite.
It is no restriction to assume that the curve is projective and nonsingular, for this changes only a finite number of points.
We shall give three partial results on this conjecture. The first two
(Chabauty [Ch] and Demjanenko and Manin [Mal]) prove the finiteness
of G(K) under certain hypotheses, the third (Mumford [Mul]) shows that
G(K) is "sparse".
-+
1-+
= Jac(G)
CI((P) - (Po)).
G c J,
G(K)
= Gn J(K).
59
Theorem. (M)
=}
(M').
G ~ J
1 ./
A
and by hypothesis, the map J ~ A is surjective; therefore the tangent map
is surjective, and the differential forms of A embed in those of J. As </> gives
an isomorphism between the space H(J, 0) of diffetential forms of J and
the space HO(G, O~) of those on G, the lemma follows.
[This lemma can also be proved by noting that the product map G x
... x G ~ A is surjective, if sufficiently many factors are taken; if We is the
restriction of w to G, then the inverse image of w is We 1 + ... + 1 we.]
Proof of Chabauty's theorem.
1). First reduction. It suffices to prove the theorem when L is finitely
generated over Q. Indeed, the group r is finitely generated and everything
is defined over a finitely generated extension of Q.
2). We now embed L in a finite extension of Qp (this is possible, see the
appendix at the end of this section).
60
3) We may thus assume that L is a finite extension of Qp; hence L is a locally
compact field and A( L) is a compact analytic group over L of dimension
d = dim A. Such a group is locally isomorphic to its Lie algebra: there is
an open subgroup U of A( L) isomorphic, as a Lie group, to 0 LX ... X 0 L
(d factors), where OL is the ring of integers of L.
[This can be proved as in the complex case by taking a basis of the
differential forms of the first kind, and integrating them locally; assuming
that 0 E C, one obtains the coordinates Xi =
Wi which give a local
isomorphism between A(L) and its Lie algebra.
Another method is to use the logarithm map
J:
61
Appendix. Embedding a field finitely generated over Q in Qp.
Proposition. For all p E P(L o), except finitely many, the field L embeds
in Qp.
Proof of proposition.
Recall that V is affine. Let A = Lo [V] be its affine coordinate ring. A
point P E V(Qp) defines a homomorphism A - t Qp, and we say that P
is generic if this homomorphism is injective. We have to prove that such
generic points exist.
62
Va
Proof One may reduce to the case of curves; from a theorem of Weil, the
number of points on a non-singular projective curve is ~ q + 1 - 2gJfj,
where q = N(p) and 9 is the genus (see also the Lang-Weil theorem 13.3).
Thus for q sufficiently large, it has at least one point.
Given a smooth point over K(p), Hensel's lemma provides a smooth
point of V over the completion 6", of the local ring of 0 Lo at p. So the
variety V has a point over the completion L o,,,, of Lo at p. For the p of
degree 1, we have L o,,,, = Qp.
5.2. The Manin-Demjanenko theorem.
Let C be a projective non-singular absolutely irreducible variety over
a number field K. Let A be an abelian variety over K, and lb"" 1m
morphisms from C to A defined over K.
We make two hypotheses:
i).
63
Theorem 2.([Mal]). Under these hypotheses, if m
G(K) is finite.
-t
Pic(C),
is quadratic (3.2).
If I =1= 0, deg f*CA > O. On HQ = Q 0 H, this quadratic form is
rational valued and positive except at 0 hence non-degenerate. When one
extends the scalars to R, it remains positive definite.
[This form can be interpreted as a canonical height. A morphism I :
C - t A is a point of A with values in the function field Kc of G; as we have
chosen a projective embedding of G, we have a product formula (cf. 2.2),
and the natural height on A(Kc) is deg (J*q); it is also the canonical
height since it is quadratic.]
64
1/12 =
deg (rCA),
lal 2 =hCA(a),
If
if
E H,
aEA(K).
-I- 00.
Let us use the hypothesis that NS(C) has rank 1. The image of Cc E
Pic(C) is a basis of Q NS(C) ~ Q. We may thus write in Q Pic(C)
(1)
rCA = )..(f)cc +
In particular, if d
C, we have
class in
= deg(cc)
Q PicO(C),
where
)..(f) E Q.
(2)
For P E C(K), let us compare h(P), the natural height given by the
chosen embedding C -I- PN, and I/(P)1 2 We have
I/(P)1 2 =
65
This then gives:
E H, we have
If(PiW ~
!:.III2 , a s
~
h(Pi )
d
. -+ 00.
1) <PpJf)
It remains to show that <pp; is injective for large i. This follows from
the following lemma.
Lemma 3. Let W i ,W2 be two Euclidean spaces, A a lattice in Wi, and <Pi
a sequence of linear maps Wi -+ W 2 such that for all I, 9 E A with f i= 0
<Pi(g).<Pi(h) -+ g.h,
as
-+
00.
-+ 00
66
In the next two sections, we give two applications one to quartic curves
(due to Demjanenko [D]), the other to modular curves Xo (pn) (due to Manin
[Mal]).
with
[This can be seen as follows. Let C(3 be the curve of genus 1 defined by
ax 4
+ by 2 z 2 + cz 4 =
\
O.
One has a natural map (X,Y,Z) 1-+ (XZ,y2,Z2) from C to C(3, hence a
morphism 4>(3 : J(C) --+ Jac(C(3). By using the formulae in Weil [W4], one
checks that Jac(C(3) ~ E(3. One defines similarly maps 4>01 : J(C) --+ EOt
and 4>.., : J(C) --+ E.., and one checks that they give an isogeny J(C) --+
EOt x E(3 X E.." with kernel of type (2,2,2).]
Assume now that a = b = 1, so that a = /3 = 4c. We have rank
~ 2; hence the Manin-Demjanenko theorem applies with
m = 2 (5.2, Theorem 2) and gives:
Hom(Jac(C),EOt)
has K -rank
has finitely many rational points over K (which can be found effectively).
67
Remark.
I have not been able to find any concrete example, over K = Q, where
the theorem above applies in a non-trivial way. [The finiteness of C(K) is
trivial if C(Kv) is empty for some completion Kv of K, or if one of the two
elliptic curves Eo" E-p with a = 4c, 'Y = 4/c2 has rank 0.] In all cases I have
tried, either C(Kv) is empty for some v, or rank Ea is even.
[Note that even with the help of Faltings' theorem one still does not
know how to find the rational points on a quartic such as x4 + y4 = 17z4;
are there others than the eight obvious ones (1,2,1), ... ?]
Exercise. Let c be a positive integer not divisible by the 4'th power of a
prime. Show that there are p-adic points on the curve
68
plane by
ro(N) = {(:
~)
the curve Xo(N) is obtained by adding the "cusps". The genus of this curve
tends to infinity with N.
which, from the analytic viewpoint, comes from ro(pm) being a subgroup
of ro(pn). This map may be described another way: to a pair (E, Cm),
where C m is a cyclic group of order pm, is associated (E, Cn), where Cn
is the cyclic subgroup of Cm of order pn. Thus if Xo(pn) has only a finite
number of rational points, the same holds for Xo (pm) for m ~ n.
More generally, for 0 ~ i ~ m - n there is an arrow fi : Xo(pm) - t
Xo(pn) given by
(E, Cm) t-+ (E/Ci , Cn+i/Ci ).
From the analytic point of view, fi (z) = pi z.
Let np be the least integer n such that the genus of Xo(pn) is at least
1, and let A be the jacobian of Xo(pnp).
[Valuesofnp : n2 = 5, n3 = 3, ns = 3, n7 = 2, nll = 1, n13 = 2, np = 1
for p ~ 17.]
For each m ~ n p , one then has a collection of morphisms, again denoted
by h:
h : Xo(pm) - t A, 0 ~ i ~ m - np'
cNqNpi+(pi_l)dq
+ ... ;
69
the exponents are distinct for the different values of i; thus the orders of
the zero of the It w are distinct, whence the lemma.
From the lemma, the Ii are linearly independent over Z. Let PK be the
rank of A(K). If n ~ np + Pl(, then the number of Ii is m - np + 1 > PK,
and the Manin-Demjanenko theorem applies, which proves theorem 1.
Theorem 2. For given p and K, choose n = n(p, K) as in theorem 1. Then
there are only finitely many elliptic curves over K (up to K-isomorphism)
which have a K-rational point of order pn (where n = n(p, K).
Proof
Note first that pn ~ 4, since otherwise Xo(pn) would be a projective
line.
Let E be an elliptic curve over K having a K -rational point P of order
pn. Let C be the cyclic subgroup generated by P. From theorem 1, there
are only a finite number of pairs (E, C) up to K-isomorphism. Given two
pairs (E, P) and (E', P'), there is at most one isomorphism from (E, P)
to (E', PI) over K (because pn ~ 4). By Galois, such an isomorphism is
defined over K. Theorem 2 follows easily.
Corollary. There is an integer m(p, K) = m such that no elliptic curve
over K contains a point of order pm.
Proof
From theorem 2, it suffices to take pm strictly larger than the orders
of the p-torsion points of a finite set of elliptic curves.
Conjecture.("Theorem" of Demjanenko). Let K be a number field. The
order of the torsion group of an elliptic curve over K is bounded by a
constant depending only on K (and even only on [K : Q]).
Mazur [Mz2] has proved this for K = Q with an explicit list of possible
orders: 1, 2, 3, ... , 10, 12, 16 (those for which the corresponding modular curve
has genus zero).
IA(Q)torsl $ C
where C depends only on dim A.]
70
Vp(E) = Qp Tp(E).
The group Gal(i?IK) acts on Vp(E).
Theorem. If the action of Gal( K I K) on Vp is reducible to triangular form:
(~
representations of degree 1:
IV]).]
Proof.
Assume Vp(E) has a 1-dimensional subspace stable under Gal(KIK).
Intersecting this space with Tp(E), gives a Zp-subspace r of Tp(E), of rank
1, which is a direct factor as a Zp-module and is stable under Gal(K I K).
The image C n of r in Tp(E)lpnTp(E) = Ep .. (K) is cyclic of order pn,
and stable under Gal(K I K). Let Pn E Xo(pn) be the point of Xo(pn)
corresponding to the pair (E, Cn).
From theorem 1, if m is large then Xo(pm) has only finitely many Krational points. The points corresponding to (EICi , Cm+dCi ) are therefore
finite in number; in particular, there is i < j such that E' = E I Ci is
isomorphic to EICj = E'ICj_i ( where Cj_i is a cyclic subgroup of order
j - i of E'). We consider the projection E' --t E'ICj_i:
E' --t E'ICj_i = EICj ~ EICi = E'.
We then have an endomorphism of E' whose kernel is the cyclic subgroup
Cj-i' Hence E' has complex multiplication.
For another proof of this theorem, see [Se3, Ch.IV] as well as 8.5.
[This is now a special case of Faltings' theorems.]
71
2) => 3). As r c SL 2 (Z), we have a covering H/r -+ H/SL 2 (Z) = PI {oo}; it is known that this is unramified outside 0, 1728, and 00; changing
coordinates gives a covering which is unramified outside 0,1 and 00.
3) => 2). Let r l = SL2(Z) and r 2 = (rI' r l ), the commutator subgroup
of r I . It is known that r 2 has index 12 in rI, that it is a free non-abelian
group of rank 2, and that
H/r 2 ~ PI - {a,b,c},
where a, b, c are three distinct points of PI (which we may choose to be
0,1,00). Hence r 2 is 7r1(PI- {a,b,c}), and every finite (connected, nonempty) covering of PI - {a, b, c} is of the form H/r, with r c r 2 and
[r2 : r] < 00, hence [r 1 : r] < 00.
-+
PI
72
b) Proof of theorem B.
If 8 c PI (Q) is a finite set, and : PI
- t P I is a non-constant
morphism, let 84> denote the union of (8) and the set of critical values of
. We begin with,
d -_ A dz
+ B (z dz
-- ,
- 1)
= Aj(A+B).
84>
where 8' consists of z E Q such that ' (z) = 0, hence of elements of degree
:::; n - 1. As the points of ( 8) have degree :::; n and the number of those of
73
degree exactly n is ::; p - 1, the induction process works and the theorem
follows.
Remark. Manin and Drinfeld ([Dr], [Ma3]) have proved that for a congruence subgroup of SL2 (Z), the cusps on the corresponding curve generate a
finite group in the jacobian. Belyi's theorem shows that this becomes false
for arbitrary subgroups of finite index.
5.5. The generalised Mordell conjecture.
74
(3) G is an abelian variety and
[R2]).]
8 =
<p(cg- 1 )
= (L<P(Pi);Pi
C}.
i=l
a'
= -K + (2g - 2)a.
where K is the canonical class. [If one regards 8 as inside J g - 1 , then [-1]*8
is just 8 - K.]
The proof of (1) uses the Riemann-Roch theorem, cf. [W3].
It is convenient to choose a such that (2g-2)a rv K. Since the canonical
class has degree 2g - 2, and an abelian variety is divisible, this is possible
75
= PicO(C),
let
4>:_c(8') = -c + gao
An additivity argument shows that it suffices to prove this for a generic
We look for the x such that 4>a(x) + c E 8', that is to say
C.
g-1
Or again
g-1
(x)
4>*8 =
gao
This shows that 8 intersects C in a divisor of degree 9 and that the canonical
height he on J induces on C a height equal to 2/=2hK + 0(1).
76
P2(X,y)=y,
8(X,y)=x+y.
(3)
P =
p~8
+ p~8 -
8*8.
That is to say, Pl/ J x {x} = x E Pic( J), since J is identified with its dual
via if>e. As P l induces 0 on {c} x J, this implies P = Pl.
The morphism if> x if> sends C x C to J x J. The inverse image of P is
given by the formula
(4)
77
Now, by symmetry it suffices to restrict (4) to a vertical. Let Xo E C,
and let f : C - t J x J:
f:C-tCxC-tJxJ
X l-+ (x,xo)
As P
l-+
(rP(x),rP(xo)).
f* P
78
Proof
On J x J, the Poincare divisor P defines a normalised height and we
have
hp(x, y) = -2x.y
from the last theorem of 3.4 with c = e, (with our conventions <Pe(y)
We use (4) of 5.6 : on C x C, we have
= y).
2x.y = ha(x)
~
+ ha(y) + hp(x,
y)
h.t:.(x,y)+O(I)
~
0(1).
Take M2
= y'1OM1 .
Then
cos 0
But
7r
cos 6" =
3
- 4
Ml
< - +-
85
.
IxF <
- -4 + -10 = 100
0.86 ...
therefore 0 > i.
[Note that if 9 ~ 3 one even obtains 0 ~
f.J
79
We call a point x E C(K) "large" if
Ixi =
h(x)I/2 > M 2.
The space VR has infinite dimension. It is easily seen that the points
x E C(f() where f( is a number field lie in a finite dimensional subspace of
VR.
For an angle 8 with < 8 < 1f/2, denote by N(n,8) the maximum
number of points Xl, ... ,XN in the unit sphere of the Euclidean space Rn
whose mutual angles are ~ (). For e = 1f/3, there is a sphere packing
interpretation: N (n, 1f /3) is the maximum number of mutually disjoint unit
spheres tangential externally to a given unit sphere ("kissing number").
N(1,1f/3)
= 2;
N(2,1f/3)
= 6;
N(3,1f/3)
= 12,
N(4,1f/3)
= 24 or 25.
Odlyzko and Sloane have shown that N(8,1f/3) = 240, and N(24,1f/3) =
196560. For n = 16, it is only known that
4320 ::; N(16, 1f/3) ::; 8313.
We use the following rough bound.
Theorem. N(n,
i") ::; 5n .
Proof.
Let Xl, ... , XN, with N = N(n, i"), be points of the unit sphere of Rn,
n ~ 1, whose mutual angles are ~ i". We remark that the spheres with
centres Xj and of radius i do not intersect.
For this, it suffices to see that sin ::z > i; indeed, we have
.
SIn -
1f
12
1 sin i"
2 cos 12
---7r-
1 1
4 cos 12
---7r-
1
4
> -.
The unit sphere having a volume v, say, the spheres of radius ~ have
volume (~)nv and are all contained in a sphere of radius 5/4, and of volume
(5/4)N v. Thus N.(i)n v < (5/4)nv and therefore N < 5n .
80
Theorem. Let PK = rank J(K). Then the number of large points x of
C(K) such that Ixl ::; A (with A ~ M 2 ) is
log 2
Indeed, let n be such that 2n M2 ::; A < 2n +1 M 2. If x, y are distinct points of C(K), such that Ixl and Iyl belong to the same interval
(2i M 2 , 2i+1 M 2 ), 0 ::; j ::; n, the corollary above shows that the angle Ox,y
between these points is ~ tr/6; consequently, the number of such points is
::; 5PK , by the previous theorem. Since there are n + 1 intervals, the total
number of large points with Ixl ::; A is
+ const., as A
-+ 00.
h(f) =
1/12 =
A deg I
The constant morphisms (which are finite in number) are the f's of degree
zero. If I is a non-constant point, III i= 0, the composites with the Frobenius
are:
endomorphisms
tr;
Then deg In =
~ logA.
qn deg I,
In
of height ::; A is
81
6. LOCAL CALCULATION OF NORMALISED HEIGHTS
Neron [N4] has shown that the canonical height over a number field can
be broken as a sum of local heights. This leads to the question of calculating
these local heights both for the prime numbers and for the infinite primes.
Tate [T2] has made this theory explicit for the case of elliptic curves in
two letters to Serre; the first letter has been reproduced by Lang [L5] and
taken up again by Zimmer [Z].
We only sketch the results; for complete proofs the reader should look
at [N4] or [L5].
6.1. Bounded sets.
82
Here are some elementary properties of bounded sets:(1) Let f : V --+ W be a morphism of K-varieties. If Be V(K) is bounded
then feB) is bounded in W(K).
(2) Let V be a closed subvariety of W and Be V(K). Then B is bounded
in V(K) {:} B is bounded in W(K).
(3) Let f : V --+ W be a proper morphism of quasi-projective varieties. If
Be W(K) is bounded then f-l(B) is bounded in V(K).
(4) Let V be an affine variety, W a closed subvariety of V and V' = V - W.
Let <Po be a finite set of generators of the ideal defining W. Then
Be V'(K) is bounded in V'(K) if and only if
a) B is bounded in V(K),
and
b) info I/I<Pol is bounded on B.
(5) Let V be a closed subvariety of P n and W a closed subvariety of V
defined by homogeneous equations <Po(xo, ... , xn) = 0 of degree do and
V' = V - W. If x E V(K), <Po i= 0, put
83
follows from a compactness argument. In the general case, use a theorem
of Greenberg [Gr] according to which an a K-scheme of finite type has an
a K-point if and only if it has an a K / '!rna K-point for every n ;::: 1.]
6.2. Local heights.
Let V, J< be as above.
-t
R,
),(x) - v(</J(x,
84
Proposition. Local heights exist.
t=
LUiXi,
i=O
85
extend by 0 at the zeros of the section and which is not defined at the
poles). A function A satisfying the definition is
A(X)
= -logls(x)l.
which makes sense except if all the Qi(X) are zero, that is to say outside of
Supp D. To check that A is associated to D, we must show that if D = (<fJ),
then A(X) - v(<fJ(x is regular.
But if D = (<fJ), we have Qi = Pi<fJ, and the ideal generated by the Pi
is 1: L-i RiPi = 1; that the function infi v(~) is regular is then a simple
exerCIse.
5) Projective case. We embed the variety V in P n with homogeneous coordinates (xo, ... , x n ). The positive divisor D is defined by an homogeneous ideal
d, generated by a system of homogeneous elements (Po), with degPo = do.
We then put
One checks that multiplying the Xi by a constant leaves A(X) invariant and
that A(X) is defined outside Supp D.
That A is associated to the divisor D is seen by examining each open
affine Xi 1= 0; the change to affine coordinates recovers the formula of the
affine case.
86
and smooth over OK, with absolutely irreducible fibres, and denote by V
the variety over K derived from this scheme (i.e. V is the generic fibre of
V).
~D
generic point
closed point
87
with respect to Ui n UiI n .. .Ujk
(3) Show that the cohomology groups Hk(U, S) are zero for k ~ 1, where
S is the sheaf of strongly continuous functions.
(If (fio ... ik) is a k-cocycle, show that it is the coboundary of 9i l ...ik
defined by
9i l ... ik(X) = fiil ...ik(X), where i = i(x).)
(4) Use the vanishing of HI(U, S) to give another proof of the existence of
local heights.
In particular, if D is a positive divisor on V such that D = (fi) on each
Ui (Ji E Ai), show that AD can be taken to be
AD(X)
= v(fi(x)),
where i
= i(x).
-t
R,
We may suppose that the class of Din Pic (A) is symmetric (resp. antisymmetric). Under the map x I-t 2x on A, D becomes (cf.3.2 Corollary)
2* D
= rD + (),
with r = 4 (resp. 2)
f.t(2x)
where t(x) is strongly continuous on A(K) (the two local heights f.t(2x) and
rfl(x) + v((x are associated to 2*D and rD + (), respectively). From
88
a general fact on Banach spaces (cf. 3.1, Exercise) there is a strongly
continuous function 'fJ such that
+ v(4)(x)).
, E r,
O(x) = IO(x)leR(x)
satisfies O(x+,)
We then put
= O(x).
A(X) = v(O(x.
89
It is defined outside D
where for each x all except finitely many terms of the sum are zero.
We only sketch the proof; for a more complete account see [L6, Chapterll].
The abelian variety has good reduction at almost all places. For such
places, extending the divisor so that it has no component on the special
fibre gives a canonical AD,v. We have AD,v(X) = 0 for almost all v. For the
finite number of bad reduction places v, we choose any AD,v, and we must
show that the formula is correct up to the addition of a constant.
Let x E A( K); select cp such that the divisor D' = D + (cp) does not go
through x, and let AD',v be the unique normalised local height such that
AD',v = AD,v
+ v(cp),
Put
v
h'(x)
=L
v
cpo
In particular, if x
nvAD,v(X),
t/ Supp D.
t/
Supp D, one
90
By changing one of the AD,v, it may be assumed that h'(O) = O.
Then one checks:
a) hI is a global height relative to D (i.e. it is a "he" attached to the class
c of D, cf. 2.8),
b) h'(2x) = 4h' (x) if D is symmetric (resp. h'(2x) = 2h' (x) if D is
antisymmetric) .
The theorem follows.
6.S. Elliptic curves.
Let E be an elliptic curve over a local field K and D a divisor on E.
To define a local height A associated to D, by translation and additivity we
may reduce to the case where D = (0). The function A will be continuous
except at 0, and bounded outside every neighbourhood of O. Further, if z
is a local coordinate at 0,
A(P) - v(z(P))
-t
const.,
as P
-t
O.
We shall completely normalise A. There are two ways of doing this, both
suggested by Tate.
First normalisation. Select a differential form of the first kind w =I- 0 on E
and choose z such that w = dz+(terms of higher degree) about O. We then
demand that,
A(P) - v(z(P)) - t 0, as P - t O.
This depends only on w, not on z. The corresponding local height will be
denoted Aw.
Second normalisation. Choose w as above; let .6. be the discriminant of the
corresponding Weierstrass equation. Put
1
91
1. Non-archimedean calculations; there are two cases:
- Curves with good reduction. In this case one has A( P) = 0 if the
reduction P of Pis i 6, and A(P) = v(z(P)) if P = 6, where z = x/y
is a local parameter normalised with respect to the differential form.
- Tate curves, with multiplicative bad reduction.
These curves are dealt with by means of theta functions. In the Tate
model, the curve is expressed as E = Gm/qZ with 0 < Iql < 1. The function
O(t)
= (1 -
IT (1 - qnt)(l - qnc
00
t)
1)
n=l
O(qt)
= -~O(t).
t
we have v(.6..)
As
= v(O(t)) + i(a2 -
a + 6)v(q).
i)
cr(z)
= z IT (1 w:;tO
Then
Z.
- )e w
W
+1 .2
2"-;;;T.
92
we take
One has
)"w(P + Q)
+ )"w(P -
Q) = 2)"w(P) + 2)..w(Q)
)..w(2P) = 4)"w(P)
+ v(x(P) -
x(Q,
)..(P + Q)
+ )..(P -
)..(2P)
Q)
6v(~),
4v(~).
and define Z by
93
that is to say
The formula
>.(P) =
2 log Ix(P)1 + 8 L
1
00
n=O
1
4 n log IZ(2n P)I
has been proved by Tate (see [T2] and [Z]) in the case when K = R and all
real points on the curve satisfy x > O. In this case Z is a rational function
without zeros or poles on the real points, thus its absolute value is bounded
above and below. Then log IZ(2n P)I is bounded in absolute value and the
series converges rapidly.
In the general case, Z has zeros and poles, and 2n P can approach a
singular point. Nevertheless, one conjectures that this formula (*) remains
valid [it has been proved by Masser [Mas] in the case of complex multiplication using elliptic analogues of Baker's theorem].
94
7. SIEGEL'S METHOD
In the next two chapters we study integral points on curves, first with
Siegel's (ineffective) method and second with Baker's effective method of
linear forms in logarithms.
7.1. Quasi-integral sets.
As =
{a E K; lal v
95
(ii) There is an A-scheme X of finite type such that,
(1) X = X XA K,
(2) every point x of M extends to an A-valued point of X.
(iii) There is an affine A-scheme X of finite type satisfying (1) and (2).
To show that (i) :::> (iii), we choose an immersion, multiply the coordinates by a common denominator, and take the A-subalgebra generated by
these.
To check that (ii) :::> (i), we take f E Ax; then there is a E A, a =1= 0,
such that af extends to X; then the values of af at integral points are
integers.
The implication (iii):::>(ii) is trivial.
We now assume that X is an affine absolutely irreducible curve over
K. We complete the normalisation of X and we then obtain the unique
96
distance to the nearest integer). In other words, there is p E Z such that
Iqa - pi:::; I/Q. Therefore, la - p/ql :::; q~ :::; ~.
As q~ -+ as Q -+ 00 we obtain then infinitely many such Pn/ qn'
One can improve this statement and replace l/q~ by 1/...(5q!, using
continued fractions, and show that ...(5 is the best constant (see [HW, Theorems 193,194]).
: :;
Proof. We can limit ourselves to the segment [0,1]. For integers P and q
with
P:::; q, q> 0, we denote by Ip,q the interval
Ip
1
[-p
-,
+
-]
n [0,1].
q q6 q
q6
Let Q be an integer
q>Q,05p5q
Ip,q'
Let a E [0,1] and a IQ, then a is not approachable to within 1/q6. But
97
For K = Q and v the archimedean absolute value, this is Roth's theorem. There is a more general statement using several places v and the
product Ilv la v - wnl v (cf. [L2] ,[L6], [Schml], [Schm2] ,[Mi]). For the proof
of Roth's theorem and its variants, we refer to Lang (loc. cit.).
1{12 - ql ~
10-6
q2.955 '
2 y3 = k has
98
7.3. The approximation theorem on abelian varieties.
The argument above is insufficient for equations such as y2 - X 3 = k.
Siegel's method consists of refining the approximation theorem on abelian
varieties.
Let V be an algebraic variety over K, immersed in projective space
P N. Let K v be a completion of K. We are interested in the approximation
of algebraic points 0:' E V(Kv) by Wn E V(K), with Wn --t 0:' in the v-adic
topology.
To define a distance on the variety V at the point 0:', we choose a
neighbourhood U of 0:' with coordinates Zl, ... , ZN taking the value 0 at 0:',
and we define
d (
v 0:',
>
2, there
--t 0:' and
--t 0:',
then log d (1
0:', Wn
) = o(logH(wn)) .
),
99
for a suitable C (cf. [Ber]; it is not known whether C can be taken equal
to 1). Moreover the constants involved are effective, provided a set of
generators of the Mordell-Weil group of V over K(a) has been found.
= mw~ + Jr.
-t
00,
Then
> 2.
100
effective, one could dispense with Roth's theorem by using the abelian analogue of Baker's lower bounds for linear forms in logarithms, see Remark 2)
above.
On the other hand, for the applications to the finiteness of integral
points, work of Robinson-Roquette [Rob], and McIntyre [Mac] allows one
to suppress the ineffectivity due to the Mordell-Weil theorem. They use a
strong form of Roth's theorem, with several places, which allows the passage
to a finite extension field (cf. 7.7). One can also obtain an algorithm
giving the integral points on a curve, by assuming known a function M(a, 6)
(6) 2) such that all solutions wE V(K) of
101
"Siegel recourt, il est vrai, au theoreme final de ma these, mais une
analyse detaillee du memoire montre que c'est inutile, et que Ie theoreme
des extensions non ramifiees sufE.t a la demonstration: de sorte que les
resultats de Siegel sont independants de la methode de descente infinie. 11
en est de meme, naturellement, des beaux resultats de Mahler, qui etendent
notablement ceux de Siegel, au moins pour Ie genre 1."]
1.
Theorem. We have
-+
\
A,
.h
WIt
00
\
A
</>
by
< O.
</>,
we have
102
- 1,
Iim log IPnl n-+oo log Iqnl
where Zn = Pn/qn = (Pn ), Pn E X(Q). Therefore, the ratio ofthe number
of digits in the numerators and denominators of rational points tends to 1,
which is more precise than the finiteness of the number of integral points.
7.5. Proof of Siegel's theorem.
Let X be a curve of genus 2: 1 defined over a number field K, a nonconstant rational function on X defined over K, Pn a sequence of distinct
points of X(K), v a place of K. We have proved that (7.4)
log IZnlv
(1)
logH(zn)
--t,
where Zn = (Pn ).
We shall deduce the following result: if 8 is a finite set of places of K
containing the archimedian places 8 00 , and if As is the ring of 8-integers
of K, then there are only finitely many n such that (Pn ) = Zn E As.
If not, by taking a subsequence, we have Zn E As for all n, that is
to say, IZnlw ~ 1 for w 8 and for all n. But the height H(z) has been
defined as
H(z) =
sup(l,lzlv),
II
vEMK
where the
Z EAs
II sup(l, Izlv),
vES
and
logH(z)
=L
vES
By applying this to
Zn
we get
--t 00.
Thus for
103
Corollary. If X is an affine curve defined over K of genus 2: 1, every set
of K -rational points of X which is quasi-integral relative to As is finite.
It remains to treat the case of curves of genus 0 with m points at
infinity, m 2: 3. By making an extension of scalars, we can assume that
these points are rational. We shall reduce to the case of 3 points at infinity.
If : X ~ Y is a morphism of affine varieties, over K, and if L: C
X(K) is quasi-integral relative to As, then (L:) is also quasi-integral. In
particular, if we remove one point Q from X, we have a morphism X {Q} --t X. If QI, ... ,Qm are the m points at infinity of X, by considering
the morphism X - {QI, ... , Qm} --t X - {Q1. Q2, Q3} we are reduced to the
case of 3 points at infinity.
When m = 3 we can assume that X = PI - {O, 1, 00 }. The affine ring
of PI - {oo} is K[T], and the affine ring of X is K[T, l/T, l/(T - 1)] =
K[T, l/T(T -1)]. If we write t = T, x = l/T, y = 1- T, z = 1/(1- T) we
obtain another presentation of the affine ring of X, with generators t, x, y, z
and relations
(2)
tx
= 1, yz = 1, y + t = 1.
As.
= D-1a,a E As,
1
and t
= D- 1(3,f3
therefore
E As,
(3)
Au+Bv
= C,
104
where A,B,C are given non-zero integers in As and the unknowns u,v are
units of As.
Siegel's theorem in this particular case states that there are only a
finite number of u, v E
satisfying such an equation.
[In particular the equation u + v = 1 defining exceptional units is of
this type.]
There axe several ways to complete the proof. Here is Siegel's method
which consists of reducing to a curve of higher genus.
We suppose that there axe infinitely many solutions (un, v n) of equation
(3). We know that the group r of S-units is finitely generated. Let m be an
integer ~ 3; then r /r m is finite. By taking a subsequence we can assume
that
As
Remarks.
1). On Siegel's proof.
In 1929, Siegel had only a weaker form of the approximation theorem of
Roth (1955): in place of the exponent 2 + , Siegel had the exponent 2yn,
where n is the degree of Q(a) over Q. But in the proof, the field Q(a)
may have to be extended (one writes a = rna' + 7r, where a' is algebraic
over Q (a. In the case of genus 1, enough is gained from the height to
compensate this degree increase. This is not true for genus ~ 2 and Siegel
then had to use simultaneous approximations. But all this part of Siegel's
proof can now be elided, thanks to Roth's theorem.
2). S-integral points.
Siegel proved his theorem for the usual integral points (S = Soo). In
1933, Mahler extended this result to S-integral points, but only in the case
of genus 1 (because of the above difficulties) and over the rationals Q. He
used his p-adic analogue of Siegel's approximation theorem.
105
In 1955, Roth proved his theorem with the exponent 2 + E for an archimedian valuation. In 1958, Ridout treated the case of an arbitrary valuation. Some generalisations were given by Lang [L 7] and LeVeque [Le]
around 1960. Lang showed that Roth's theorem could be extended, under
reasonable hypotheses, to any field equipped with a product formula, in
particular to function fields in characteristic O.
(If <P is a formal power series in one variable T over G, there is a
sequence f n I gn of rational functions, where f n ,gn are polynomials of degree
~ d n , such that <p - fnlgn begins with terms in T2dn.. But if <p is algebraic
over G(T), and if K, is a real number> 2, the analogue of Roth's theorem
is that there is no sequence with <p - f nl gn = O(Tl<d n ). Such results had
already been obtained by Fenna [Fe] and Uchiyama [U] between 1956 and
1960.)
Siegel's theorem is then valid for all rings (of characteristic 0) of finite
type over Z.
Roth's theorem for function fields does not extend directly to characteristic p (consider <p = T + TP + Tp2 ... which is a root of the Artin-Schreier
polynomial XP - X + T = 0). It would be interesting to know the analogue in characteristic p of Roth's theorem and of Siegel's theorem. The
only counterexamples known arise from the analogue of Mordell's conjecture over functions fields and are obtained by composing a constant map
with the Frobenius endomorphism (d. 5.7). Further, it would be interesting to combine Siegel's arguments with those of Mumford saying that the
rational points are widely spaced (5.7).
i= 0, 1,
+ 2 has
a prime
First proof
If not, there is a sequence (nd of integers tending to infinity, and an
integer M such that If(ni)1 > 1 for all i, and all the prime factors of f(ni)
are bounded by M. If S is the set of prime numbers ~ M, the 1I f (ni) are
S-integers. But Q[T, II f(T)] is the affine algebra of the variety obtained by
removing the zeros of f from the affine line; this variety is an affine curve
106
of genus 0, where the point at infinity and at least two other points (the
zeros of 1) have been removed. From Siegel's theorem, the set of S-integral
points is finite.
Second proof.
As Siegel did not have the finiteness theorem for arbitrary S, he proceeded differently. If the f(ni) involve only the prime numbers PI, "',Pm,
we can write
f(ni) = p~l ...p~m.
P(f(n
~f
loglogn.
7.7. Effectivity.
The above exposition is based on a version of Roth's theorem for a
single absolute value. Here is a statement for a finite number of places.
Let S be a finite set of places, and let Wn be a sequence of elements
of K, with H(w n ) ---t 00. For each v E S we suppose given Cv E K v , Cv
algebraic over K. If 8 is a real number> 2, then one cannot have
II IW
vES
n -
107
v E S, and if 6
V(K) with
This is true by Roth's theorem if 6> 2 (by projecting onto a line). On the
other hand, to prove this formula J( can be replaced by a finite extension
L, under the condition that S be replaced by the set of places of Labove
those of S: indeed, for A E K v, we have
108
8. BAKER'S METHOD
Baker's method does not actually prove Siegel's theorem in full generality, but in every case where it applies, it is effective.
fm
E Ax. As is finite,
+ 91!m-l + ... + 9m =
f is
0,
~A,
Then
Thus for u E E, D feu) is an element of K integral over A. As A is integrally
closed, we have D f( u) E A.
Consequences. a). To study quasi-integral sets, we may assume that the
curve is non-singular (use the normalisation map which is finite).
109
b). Let X be a non-singular affine curve, X its projective completion,
and X= = X-X. From the Riemann-Roch theorem, there is a function
1 : X - t PI whose set of poles is Xoo; then 11x gives a finite morphism
X - t PI - {oo}, and a subset 'B of XCI<) is quasi-integral if and only if
its image is quasi-integral. Thus finiteness theorems can be reformulated in
terms of functions on the curve.
Assertion 2) only gives us information on the points of Y which are
liftable to X over I<. We need more.
We first show that there is b.. E A, b.. i= such that if a E 'By, then
I1-1(a is an extension of I< unramified outside b...
(If for example we take X and Y to be the affine line, and the morphism
1 to be z f-t z2, then 1 is finite and etale outside 0, but is not etale at 0, and
the field I via) , a E A can be ramified anywhere. But if we take X and
Y to be the affine line with removed, and 1 : z f-t Z2, then 1 is finite and
etale, and an integral point is a unit a of I< and then I via) is unramified
outside the divisors of 2.)
The proof of the existence of b.. is the same as that of the Chevalley-Weil
theorem (which assumes that the varieties are projective and the morphisms
are everywhere etale; here the morphisms can be ramified at infinity cf.
4.2).
For b.. E A, b.. i= 0, we consider the ring ALl = A[i]. By elementary
arguments of algebraic geometry (d. [G, IV,8]) one can find affine schemes
X, Y of finite type over a suitable ALl such that
XA
I< = X, Y
XA
I< = Y,
110
Exercise. Let > : X ~ Y be a finite etale surjective morphism of nonsingular affine curves over a field of characteristic o. Then X is exceptional
(that is, of genus 0 with at most two points at infinity) if and only if Y is
exceptional.
[Note that the finite unramified coverings of PI - {O, oo} are given by
z 1-+ zn, n E Z.]
(FX,K).
L:,Bi log ai, where Q'i and ,Bi are algebraic numbers. When the numbers ,Bi
are ordinary integers (we denote these by bi) this is equivalent to bounding
(IT Q'~i) - 1 from below.
l11
and the heights of the ai. Baker uses the following notion of height:
Let a be an algebraic number of degree d( a) = d; we can write a
minimal equation of a in the form
Put Ai
([d1~);2])
= sup(4,A(ai, 1 :$ i:$ n.
=f: 1, then
112
f= 1, then
n
As
As
L,
As
As
1: A*s/J.L = L
'-+
Risi.
113
L log lulw = 0,
wEB
As
As we have
Iwhere
Cl
> 0 and
C2
Bv
1
-b(u)
,
Au - 1 w < CIC2
and we have
As Au + Bv = C
gives
I1b~ -b
rb~-br O! -
11 w > l/b( u .
)C3
114
This method gives an effective bound for the solutions of Au+Bv = C,
knowing Ell . , Er . On the other hand, one can also find effectively a system
of generators El, ... , Er of L, with an explicit bound for the absolute values
of the Ei ([Gy], [Si2]).
X
(x, y)
-+
1-+
= y/x.
As at least 3 points have been removed from PI, we obtain the result we
want.
[When Baker applies his theorem to the effective approximation of an
algebraic number a by rational numbers p/q, he selects two conjugates a'
and d' , constructs a morphism to PI -{a, d, a"}, and changes the variables
to send the 3 points to 0, 1,00. He thus reduces the problem to an equation
Au+Bv=C.
115
This method gives a bound for the absolute values of x, y. For example,
over Z, one has a bound
x:
~ PI - {oo,el,e2,e3},
where I(x) = (x - el)(x - e2)(x - ea). As the finiteness result is true for
PI - {oo,et,e2,ea}, it is then true for X.
Reductions of this type are quite old. They have been used by Siegel,
Chabauty, Kubert, Lang and others.
where
roots.
116
./
Consider the normal projective curve Z, whose function field is the
composite of the function fields of E and X; if x, yare variables for X, and
t, x variables for E, then x, y, t are variables for Z. We denote by Zoo the
points of Z above 00 E PI, and by X oo , Eoo those of X, E:
Z
E
'\.
./
'\.
PI
./
The finiteness theorem is true for E - E oo , therefore by the first reduction it is true for Z - Zoo. To apply the second reduction, it suffices to check
that the arrow Z -+ X is proper and etale. By base change it is clearly
proper. To see that it is etale, we use the fact that E -+ PI is ramified
only at al, a2, a3, and 00, and X -+ PI is ramified at aI, a2, a3 and these
ramifications cancel each other (Abhyankar's lemma). Equivalently, to pass
to E we extract the square root of (x -al)(x -(2)(x- (3); to pass to X we
extract the square root of (x - ad ... (x - am); thus for Z -+ X it suffices to
extract the square root of (x - (4) .. '(X - am), which gives no ramification
at aI,a2,a3. Thus the finiteness theorem is true for X.
The first case not treated by Baker's method is an hyperelliptic curve
of genus ~ 2 with Xoo = {P} and P =1= uP. For example, we take y2 = f(x)
with f of degree 6 and add one of the two points at infinity. Siegel's theorem
gives the finiteness of integral points, but whether it can be made effective
is unclear.
117
Case 4. Superelliptic equations.
a =1=
f3,g(a)
=1=
O,g(f3)
=1=
3, and
o.
Z(t,x,y)
(t, x) E
,/
x (x,y)
Z -+ X is etale outside
n 10
).
118
where the ai are v-integers, and the discriminant is invertible at v. Reduction modulo v then gives an elliptic curve.
Theorem. Let K be a number field and S a finite set of places of K. Then
up to isomorphism, there are only a finite number of elliptic curves over K
with good reduction outside S and these can be found effectively.
First proof.
We can assume that S contains the prime divisors of 2. Let E be an
elliptic curve having good reduction outside S. Let K' be the field obtained
by adjoining to K the points of order 2 of E (if we write the equation of
E as y2 = f(x), K' is obtained by adjoining the roots of f to K). Then
the extension K' / K is unramified outside S. By Hermite's theorem and by
malcing a finite extension of K, we may assume that the points of order 2
are in the field K. In other words, the curve can be written in the Legendre
form
y2 = x(x - 1)(x - >.).
119
Thus the set of these A is finite and can be found effectively by Baker's
method (cf. 8.3).
Second proof
We may enlarge S so that it contains the divisors of 2 and 3, and that
As is principal. One checks that the equation of the curve can then be
written as
y2 = x 3 + Ax + B,
where the discriminant b.. = -4A3 - 27B2 belongs to As. As b.. is defined
modulo the 12th powers, this leads to a finite number of equations 4x 3 +
27y2 = const (see [Se3, IV.1.4] for more details), to which one applies Case
2 of 8.4.
Problem. What are the elliptic curves over Q with good reduction outside
II? (Those with conductor 11 are known, but not those with conductor
11 2 , as far as I know.)
Corollary. Let E be an elliptic curve defined over K. There are only
finitely many elliptic curves E' over K, up to isomorphism, which are Kisogenous to E.
To see this, we take S so large that E has good reduction outside S.
By a general property of abelian varieties, the same holds for E'. From the
previous theorem, the E' are finite in number.
It would be interesting to have an explicit bound for this number (for
K = Q, M. Kenku [Kel] has shown that 8 is the precise bound).
Remark. The above corollary can be used (see [Se3, Ch.IV, 2.1]) to give
another proof of the irreducibility theorem (5.4) that if E does not have
complex multiplication then the action of Gal( f( / K) on the Tate module
Vi(E) is irreducible.
Exercise. (Kubert-Lang). Let Xl(n) be the modular curve which classifies
pairs (E, P) where E is an elliptic curve and P a point of order n on E.
Assume n ;::: 6. Construct a non-constant morphism
by
x(P) - x(3P) ,
120
where x is the "x-coordinate" on E. Show that <p takes values in PI {O, 1,00} and deduce from that the effective finiteness of quasi-integral sets
on XI{n).
121
9. HILBERT'S IRREDUCIBILITY THEOREM
Hilbert's irreducibility theorem has quite a large number of proofs,
based on different principles; some give precise estimates for the number of
integers that one seeks. There are several applications: the construction of
elliptic curves over Q having rank ~ 9 and the construction of extensions
of Q with Galois groups Sn, An, ...
= kn.
n be
a subset of P n (k) or of
R.]
122
t;
is thin of type 2, and we obtain all of them thus (modulo type 1). [If we
take an irreducible variety as in the definition of type 2, its function field
is a finite separable extension of k(T), and we choose for F a generator of
that extension.]
9.2. Specialisation of Galois groups.
We shall see that specialisation outside a thin set preserves the irreducibility of a polynomial and the structure of its Galois group.
For the first statement, we assume that X is irreducible over k, of
dimension n, and 7r : X ~ P n is dominating.
7r- 1
In terms of polynomials, this means that if F(X; T I , ... , Tn) is an irreducible polynomial over k(T), then for all t = (tI, ... , t n ) 0, F(X, t) is
irreducible over k. More precisely, it follows from Proposition 2 below that
F(X, t) has the same Galois group as F(X, T) outside a thin set.
123
For the second statement, start again with 11" : X -+ P n with X irreducible, and consider a finite group G acting faithfully on X such that X/G
is identified by the projection 11" with an open subscheme U of P n . We take
U small enough so that 11" is etale. Let u be a rational point of U and select
a closed point x of the scheme X above u. Up to conjugation, the subgroup
G z of G which stabilises x, depends only on u. The extension k(x)/k is
Galois with Galois group Gz .
Proposition 2. There is a thin set
Proof of Proposition 2.
Let {Hi} be the subgroups of G different from G (one can restrict
oneself to maximal subgroups). Define Xi = X/Hi; this is a variety which
projects onto X/G, thus generically on P n, and the degree of the projection
is [G: Hi] > 1. The union n of the images of the (X/Hi)(k) is a thin set.
Proposition 2 follows.
Proof of Proposition 1.
It suffices to embed the field extension corresponding to X
Galois extension, and to use proposition 2.
-+
P n in a
124
and write the unique monic equation having these 3 roots (the cubic resolvent). The condition relative to D4 is that the cubic resolvent has no root
in k.
The cubic resolvent has the same discriminant as the initial equation,
because
XIX2
+ X3X4 -
XIX3 -
X2 X 4
= (Xl -
X4)(X2 -
X3).
Therefore if the roots Xi of F are distinct, the roots of the cubic resolvent are
distinct. (We then see that the above thin set is the smallest appropriate.)
4). d = 5, the Galois group of F(X; T) being 8 s .
The maximal subgroups of 8 s are As, 8 4 (the stabiliser of one letter),
8 2 x 8 3 , and H 2o the normaliser of a Sylow 5-subgroup, of index 6.
The conditions on As and 8 4 require that F and the equation t 2 = .6.
have no root in k.
The condition relative to 8 2 X 8 3 means that the polynomial F(X, t)
does not decompose as a product of a quadratic factor and a cubic factor.
If Xl, . ,Xs are the roots (assumed distinct, since .6. =F 0), we write the
equation of degree 10 whose roots are the Xi + xj, (i =1= j). We then take t
outside the thin set for which this equation has a root.
The group H 2o can be described as
{X
1-+
ax + bj bE Zj5Z, a E (Zj5Z)*},
125
if 8 5 is realised as the group of permutations of Z/5Z. A Sylow 5-subgroup
of 8 5 corresponds to a pentagonal arrangement
(the signs + correspond to the sides of the convex polygon, the signs correspond to the sides of the pentagonal star). As this expression is antiinvariant under the permutations of H 2o we divide it by
d= II(xi-Xj),
i<j
and write the equation of degree 6 (the sextic resolvent) whose 6 roots are
u/d and the 5 other analogous expressions.
a =
Proof of theorem.
If G is contained in some H 2o , then the corresponding a is in the ground
field.
Conversely, suppose that one of the a is in k and that G is not contained
in any H 2o As G is transitive, its order is divisible by 5, and the number
of its Sylow 5-subgroups is == 1 mod 5. Therefore all the Sylow 5-subgroups
126
of 8 5 (there are 6 of them) are contained in G; hence G contains A 5 But
A5 permutes transitively the a's; the a's are thus conjugate over k. By
hypothesis one of them is in k. Therefore
We have
al
= d{XIX2 + X2 X 3 + X3 X 4 + X4 X 5 + X5 X l (XIX3
+ X3 X 5 + X5 X 2 + X2 X 4 + x4xd}.
We permute 1 and 2 and use the fact that d is anti-invariant. This gives
(XIX2
that is to say
Similarly, we have:
l.e.
(2X4 -
As the
Xi
Xl -
X5)(X2 -
X3)
therefore
X4
= X3,
which contradicts
~ =1=
o.
= o.
127
9.4. Further properties of thin sets.
Plane sections.
L E U(k).
XL
Pn
128
= (3-1 (1f(X(k).
-+
X = Rkt/kXl
An
-+
Let us now
1
= Rkl/kAn
If cfJ is the projection of Z on An, we have 0 = cfJ( Z (k )). Hence to prove that
o is thin, it is enough to check that the k-morphism cfJ : Z -+ An does not
have any rational section. But if 8 : An -+ Z were such a section, it would
give a rational map a 0 8 : An -+ X, which, by the universal property of
X (extended to rational maps) would give a kl-rational map 81 : An -+ Xl
129
which would be a rational section of 11"1, contrary to the hypotheses. This
concludes the proof.
ti = O.
As 2i is a square in Q(i), these factors over Q(i) are simply z2 - itl and
z2 + it1'
130
The converse does not always hold ([FJ], Ex. 12.17).
-5). For every field I<, the field IT) is hilbertian. Indeed, let n be a thin
set in IT). Then the intersection of n with the set of polynoinials aT + b
of degree 1 with coefficients in I< is contained in a closed subset i= I< x K
for the Zariski topology on K x I< (this result follows directly from Bertini's
theorem (see [Ro])). Hence n cannot be equal to K(T).
Therefore, if k is hilbertian, every finitely generated extension of k is
hilbertian.
For more examples of hilbertian fields see [FJ, ChapterI2].
9.6. The irreducibility theorem: elementary proof.
Hilbert's Theorem. The field Q is hilbertian.
Hence number fields, and more generally finitely generated extensions
of Q, are hilbertian.
Proof.
Here is a variant of Lang's proof [L2, Ch. VIII] which is itself a variant
of Hilbert's proof. We consider a thin set in the affine line A 1 (Q) = Q,
and we examine its intersection with Z, say n. For B > 0, let WB be the
number of wEn with Iwl $ B. We prove the theorem in the following
refined form.
Theorem. We have
WB
> O.
The proof will give and 0 effectively. (We shall see in 9.7 that can
be taken to be
We may assume that we have a curve X which is absolutely irreducible,
and a finite morphism X -+ Al of degree ~ 2, and that the points of n
lift to rational points of X. We may complete X to a projective curve X
above PI, and we write Xoo = X-X. The points of n lift to rational
points of X which form a quasi-integral set. In the affine ring of X, take
a function which is not in the affine ring of Al (that is to say, which is
not a polynomial). We take a branch of the curve X in a neighbourhood of
infinity and take the corresponding Puiseux expansion of :
!.)
(x)
= Lc~x\).
-t
-oo,c~ E R;
131
Theorem. Let
</>(t) =
CAt", (CA E R, A E Q)
A.... -oo
> o.
Proof.
There is an integer n ~ 1 such that all the exponents of the series for
the n - l'st derivative </>(n-l)(t) are < 0, and this series is not identically
zero. In particular
</>(n-l)(t) '" clt-I-' , as t -+
00,
with J.t
> 0, Cl
i= o.
The idea of the proof is to show that n points of 0", cannot be too
close; more precisely
Lemma. There are two constants a > 0, C > 0 such that if t is sulIiciently
large, the interval [t, t + eta] contains at most n - 1 points of 0",.
Let tl < ... < tn be sufficiently large elements in 0"" and Yi = </>(ti).
We construct the interpolation polynomial P of degree n - 1 such that
P(ti) = Yi; this is given explicitly by the Lagrange formula
peT) =
Yj nl<i<n,i~j(~
j=l nl~i~n,i~j(tJ
=t~)
t.)
E [tl' t n ]
= p(n-I)(~).
L nI9~n,i~j(ti
Yj
.
- tj)
n
j=l
II
I~i<j~n
(ti - tj)1
< (tn
- tl)n(n-l)/2.
132
On the other hand, as tl is sufficiently large, we have
1/z n(n-l)/2
i.e.
whence
1 2: etf, with a = 2j.t/n(n - 1), and e = e;2/n(n-l).
We deduce from this lemma an upper bound for the number of points
of ~l,/> between 1 and B in the following way. We put = 1/(1 + a) > O.
Cut [l,B] into [l,Be] and [B",B], then decompose [Bt:,B] into O(B/BOlt:)
equal intervals of length < eBOlt:; in each of these small intervals there are
at most 0(1) points of 04>, thus in [1, B] there are at most O(Be + B1-0lt:)
points of 04>, which gives O(B") since = 1/(1 + a). As a > 0, we have
< l.
The estimate O(Bl-t:) for WB shows that the complement of a thin set
of Z contains infinitely many prime numbers, infinitely many sums of two
squares etc.
9.7. Thin sets in PI: upper bounds.
We continue the study of thin sets by showing that over a number field
these sets are "small". We consider only the case of 1 variable; for the
general case see chapter 13.
Let K be a number field of degree dover Q. Let X be an irreducible
algebraic curve over K. Consider a morphism 1r : X --t P 1 of finite degree
{) 2: 2. We wish to show that 1r(X(K is small in a suitable sense in
P 1 (K) = K U {oo }. We do this by two different methods.
First method.
We count the rational points of bounded height. For B 2: 2, denote by
N(B) the number of t E Pl(K) with H(t) S; B, and Nx(B) the number of
t E 1r(X(K with H(t) S; B.
With our normalisation of the height, Schanuel's theorem (2.5) gives
us: N(B) rv eB 2d , for some e > O. For example, over Q we have d = 1,
e= 12/1r2.
133
--t
00.
Proof.
This is a simple exercise on heights. We may assume that the curve
X is smooth and projective (this only changes a finite number of points).
We then have a covering map 7r : X --t P l which gives a height on X:
H(x) = HpI (7r(x. This is the height on X associated to 7r* D where D is
the ample line bundle 0(1) on Pl. Thus up to a bounded factor, Nx(B)
is the number of x E X(K) with H(x) ~ B.
There are essentially 3 cases to consider.
Case 0: X has genus O.
If X has no rational point, we have Nx(B) = O. If X(K) =f 0 then X
is a projective line. Let 4> : X --t P l be an isomorphism. The divisor 7r* D
has degree equal to the degree 8 of 7r and the associated height is equivalent
to the 8-th power of the height on P l :
2.
Nx(B):;::: (logB)p/2,
(cf.4.5).
Case 2: X has genus ~ 2.
We have seen by Mumford's theorem (5.7) that
Nx(B) = O(1oglogB).
[Mordell's conjecture gives Nx(B) = 0(1).]
The theorem is therefore proved.
Note that only in the case of genus 0 does Nx(B) increase as a power
of B and in this case the result is effective.
It ought not to be difficult to prove an effective upper bound of the
form O( (log B)A) in the case of genus ~ 1. For elliptic curves, we do not
134
know how to compute p effectively, but we know how to bound it. One uses
then a lower bound for hex) when h is the Neron normalised height and x
is a non-torsion rational point (d. [Ma2]). For genus ~ 2, one can bound
Nx(B) just by working in the jacobian.
Second method.
We count the number of integral points, as in Hilbert's proof (we would
also be able to count the S-integral points).
Let A be the ring of integers of K. For a E A, we write lIall = sup 100ai
where 0" runs over the the embeddings of K in C. An equivalent norm is
obtained by writing A ~ Zd and imposing a norm on Rd. The number
NCB) of a E A with lIali =5 B satisfies
N(B) ~ Bd.
Let 0 be a thin set, 0 C A. We define
lIall =5 B.
= O(B d/ 2).
135
Nn(B)
= O(B d / m ),
with m ~ 2.
Nn{B) = O({logB)A).
The theorem follows from this.
The above relation between integral points and Hilbert's theorem had
already been pointed out by Siegel in his first paper [Sil].
S -integral points.
We take the ground field to be Q. Take
finite set of prime numbers.
We write
Q'
Qa,S = {t E Qi t -
Q'
PI
PIPI
136
Theorem. Let n be a thin set in Q and S a nnite set of primes. For a
outside a nnite set, n n Qo:,s is nnite.
Proof
We may assume that n is contained in 7r(X(Q)), where 7r, X are as
above. We choose a such that 7r- 1 (a) has at least two elements (for example, we take a different from the ramification points, since the degree of 7r
is ~ 2). We take Xoo = 7r- 1(00 U {a}). Then Xoo has at least 3 points.
From the Siegel-Mahler-Lang theorem, every quasi-integral set with respect
to Zs over Xaff = X - Xoo is finite, hence the theorem.
137
10. CONSTRUCTION OF GALOIS EXTENSIONS
138
xn + TlX n - l
+ '"
+Tn = 0,
which has Galois group Sn over K(Tb ... , Tn). Hence if K is hilbertian, it
has infinitely many disjoint extensions with Galois group Sn.
A more interesting example is that given in Hilbert's original paper
[Hi], namely:
139
tben tbere are inJi.nitely many linearly disjoint extensions of K witb Galois
group Sn.
For example over Q, xn - X - t = 0 has Galois group Sn for all t
outside a thin set, in particular for infinitely many prime numbers t.
We shall need a lemma on finite groups.
IFII = .. , = IFkl ~ 2.
140
Let u = (Xl X p ) be a cycle of prime order p belonging to G. Let us
show that UFi = Fi for all i. Indeed, if i l is an index such that UFil =1= F il ,
define i 2 , .. , ip by UFik = Fik+l' (1 ~ k < p) and since p is prime, the indices
ib i 2 , , ip are distinct. Let x and y be two distinct elements of Fi l ; the
orbits under {I, u, ... , u p - l } of x and y are distinct, and of order p, which
is impossible for a cycle.
From hypothesis (iii), we have UFi
Fi for all u E G and all i, which
contradicts the fact that the Pi are permuted transitively by G with k ~ 2.
Hence case (b) is impossible and this concludes the proof of the induction
step.
)H
K(X)
if
K(T)
The homogeneous space G / H may be identified with the set of roots of the
equation f(X) - T = O.
We use a lemma on coverings of the projective line. Over a field of
characteristic 0 (that we may assume is algebraically closed; we may even
assume that it is C), we consider a Galois covering 1f : X ---4 PI, with X
irreducible. Let G be the Galois group.
Lemma 2. Let Q E Pl. The inertia groups of the points x E X for which
1f(x)
=1=
141
Lemma 3. If a Galois covering X
Q, then it has degree 1.
This is clear over C, because 7rl(PI - {Q}) = {1} (the affine line is
simply connected).
[More generally, Riemann's existence theorem allows one to describe
the Galois coverings of P l (over C, or over any algebraically closed field
of characteristic 0) which are unramified outside a given set of points
{QI, ... , Qm}: the Galois group G of such a covering can be generated by m
elements O"I, ... , O"m (which are generators of some inertia subgroups above
the Qi's), with the relation O"I"'O"m = 1.
Conversely, any finite group G with such generators can be obtained
in this way. This follows from the structure of the fundamental group of a
sphere with m punctures.]
We can now complete the proof of the theorem.
The zeros of f' are 131, ... ,13n-l. Hence the covering X ~ PI, corresponding to the field extension FjK(T), is unramified outside Q = 00 and
1(131), ... , 1(13n-l). Using the fact that the 1(13i) are distinct, one sees that
the inertia subgroups G p of G at a point P above one of the 13i is cyclic
of order 2 and generated by a transposition. Since G is generated by such
subgroups, lemma 1 shows that G is equal to Bn.
Theorem. If n
5, the equation
xn -
142
Proof of theorem.
Consider the curve X attached to
of PI, with Galois group 8 n
If t belongs to nf,A' then either t is equal to one of the fUji) (in which
case f(X) - T has a double root) or t can be lifted to a rational point of
some XIH where H is a subgroup of 8 n distinct from 8 n . The subgroup
8 n - 1 (and its conjugates) corresponds to An f(K). We have to show that
the others only give a finite set. This follows (via Siegel's theorem) from
the following lemma.
2g - 2 = -2m + (n -l)p+
L(;. -1),
i=1
'
143
i) If h = 1, we have m = nidI, and as m 2': n this implies d l = 1, m =
n, whence m = n = 6, and p is a non-inner automorphism S6 --t S6.
This automorphism transforms a transposition (ab) to a product of three
transpositions: (ab)(cd)(ef). We have thus p = 3, and the equation m =
(n - l)p + 1 is violated.
.
ii) If h = 2, we have m = nidI + nld2 , whence m :S 2n. As m = (n - l)p
this gives p :S 2n/(n - 1) < 3, whence p = 1 or 2. If p = 1 we have
m = n -1 < n, impossible. Therefore p = 2 and m = 2(n -1). But then d l
and d2 are not both equal to 1: one of them is 2': 2, and nidI + nld2 :S ~n.
Whence 2(n - 1) = m :S ~n and n :S 4.
Remark. For n = 4 and H = D 4 , the dihedral group of order 8, one finds
that XI H has genus 0 and there are two points at infinity. This corresponds
with the above notation to m = 3, P = 1, h = 2, d 1 = 2, d2 = 4. In this
case Sn --t Sm is not faithful.
Exercises. 1) Give an algebraic proof of lemma 3, by using Hurwitz' formula for the genus of a ramified covering. Show that the results holds in
characteristic p > 0 provided the covering is tamely ramified at Q.
2) Let E be a finite set with n 2': 1 elements and G a subgroup of SE. Define
a relation R on E X E by
144
Conclude that, if / is irreducible, then G = Sn and the An extension of
Q( discr(f)) thus obtained is unramified.
4) Let n ~ 2. Using the fact (proved by E. Selmer, Math. Scand. (1956),
287-302) that
X -1 is irreducible over Q, show that its Galois group
is Sn (use exercise 3). Give a direct proof for n = 2,3,4,5.
xn -
where h = n/2 -1. Assume that the f3i E K are distinct and non-zero, and
the g(f3i) are distinct and non-zero.
Theorem. For generic t (thus also for tin K outside a thin set) the Galois
group of the equation g(X) + (_1)n/2t 2 = 0 is An.
For n odd, Hilbert's paper gives a similar equation also leading to the
alternating group An.
Proof
We begin by showing that the Galois group of F(X) = g(X) -T is Sn.
The proof is the same as before; the inertia groups over the f3i are generated
by cycles of order 3, and at 0 by a transposition. Then G is generated by
these elements, and as G is transitive we obtain G = Sn. Hence the Galois
extension OF generated over k(T) by the roots of F(X) has Galois group
Sn.
We now factorise F(X) = g(X) - T in the algebraic closure:
n
F(X) = II (X - O'i),
i=l
Eliminating X between F and its derivative, one finds the classical formula
II Fbj),
n-l
discr F = nn(_lt(n-l)/2
j=l
145
where 11, ... , In-1 are the roots of F'. Here
+ xy = x
36
- t _ 1728 x - t _ 1728
For all n, the Galois group G E,n over Q(t) is the group GL(2, Z/nZ).
Indeed, we remark first that the image 6 E,n in GL(2, Z/nZ)/(I) is
canonical (independent of the choice of E with j = t). The function field
of the curve which classifies the n-division points is the field of modular
functions of level n with coefficients in the cyclotomic field Q( V'l). The
theory of modular functions implies 6 E,n = GL(2, Z/nZ)/(I). Finally, if
H is a subgroup of GL(2, Z/nZ) such that H.(I) = GL(2, Z/nZ), then
= GL(2, Z/nZ).
(1
= (~ ~1)
146
curve, K n,t that of the corresponding curve E t :
Kn
t
GL2 (Z/nZ)
)SL2 (z/nZ)
Q( v'i)(t)
= (Z/nZ)*
)GL 1 (Z/nZ)
Q(t)
We have
= SL 2 (Z/nZ),
Let us now search for Galois extensions of Q with Galois group the
simple group PSL2 (F p), where p is a prime ~ 5.
If, instead of Q, we were interested in Q(
147
be the canonical involution of MN (which permutes i and iN)' Call MN,p
the "twisted form" of MN relative to LpjQ, i.e. the subfield of Lp Q9 MN,p
fixed by a Q9 w, where a is the involution of Lp. (This field has a modular
interpretation in terms of N-isogenies of a curve E onto its a-conjugate
E(T.) Using this modular interpretation, Shih shows:
a) if (~) = -1, there is a regular Galois extension of MN,p with Galois
group PSLz(F p)j
b) if N =2,3, or 7, MN,p is a pure transcendental extension of Q (i.e. it
corresponds to a curve of genus 0 which has a rational point).
For more details, see Shih, loco cit.
This applies in particular to p = 7, where PSLz(F p) has order 168 and
is isomorphic to SL3(Fz). In that case, another construction of a regular
extension of Q(T) with that Galois group has been given by LaMacchia
([LaM], see also [MM])j an especially interesting extension of Q obtained
in this way is the field of roots of x 7 - 7x + 3 = O.
10.5. Noether's method.
Here is a tentative method suggested by Emmy Noether for constructing extensions with given Galois group G. We make G operate faithfully
on a finite set E. We consider the field Q(Tx, x E E) where Tx are indeterminates indexed by E, and make G operate by Tx I-t T(TX for a E G. Let
KG be the field of invariants. If KG is a purely transcendental extension of
Q, the group G can be realised as a Galois group by 10.1.
The simplest try consists of choosing E = G, and making G operate on
itself by translation. But Swan has shown that even for cyclic extensions,
KG may not be pure. The first example of Swan was G = Zj47Z. Lenstra
has analysed this question and his simpler example is Z/8Z [Len].
[It thus appears that Noether's method does not work, at least in the
crude form described above. Nonetheless, one can hope that the field KG,
without being pure, still has enough good properties for some form of the
irreducibility theorem to apply, cf. Ekedahl [E)j see also [Se7).]
If we take G = An operating on n letters, KG is the field generated by
the elementary symmetric functions al,'" ,an and by the square root of
the discriminant. For n = 2,3,4,5, KG is a purely transcendental extension
of Q (see [Mae] for the case n = 5). One would like to know what happens
for other values of n.
10.6. Infinite Galois extensions.
We now extend Hilbert's irreducibility theorem to some infinite Galois
148
extensions. We need first an auxiliary result on profinite groups.
Proposition. Let G be a profinite group. The following properties are
equivalent:
(i) There is an open normal subgroup U of G such that H.U =f. G for every
closed normal subgroup H of G with H =f. G.
(ii) The Frattini subgroup 4>( G) of G is open.
(iii) The prime numbers dividing the order of G are finite in number, and
the Sylow subgroups of G are (topologically) finitely generated.
(iv) There is an open normal subgroup N of G with N = I1 PE P N p, where
P is a finite set of primes, and each Np is a finitely generated pro-p-group.
...-
Proof
The equivalence (i) {:} (ii) is clear; so is the implication (iv) =?- (iii).
Note that if P is a pro-p-group, 4>(P) = (P.p)cl.pp is the intersection of
the kernels of the continuous homomorphisms P -+ ZjpZ; hence 4>(P) is
open if and only if P is (topologically) finitely generated.
Let us now assume (iii) and prove (i). Let Pl, ... , Ph be Sylow subgroups
of G corresponding to the primes Pi, ... ,Ph dividing the order of G. By
assumption, 4>(Pi ) is open in Pi. Hence there is a normal open subgroup U
of G such that Un p.. C 4>(Pi ) for all i. We show that U has property (i).
Note first that the Sylow subgroups are conjugate and that U is invariant
under conjugation, thus the property un Pi C 4>(P") is satisfied for all the
Sylow Pi-subgroups.
Let H be a closed subgroup such that H.U = G. Let Hb ... , Hh be
Sylow subgroups of H for the different primes Pb ... ,Ph. We can select
the Pi so that Hi C Pi. As H maps onto GjU, Hi maps onto a Sylow
pi-subgroup of GjU, thus the images of Hi and Pi in GjU coincide:
Pi = HdU n Pi).
149
It remains to prove that (ii) :::} (iv). Since N = <p( G) is pro-nilpotent
([Hup], p.270, Satz 3.6), it can be written as a direct product N = TIpEP N p ,
where the Np are pro-p-groups. By assumption N is open in G; if S is a finite
set of elements generating G and N, then S generates G (topologically); this
shows that G, and hence N and the N p , are finitely generated. If p is a
prime which does not divide [G : N], then p does not divide the order of N
(see [Hup], p.270, Satz 3.8); this shows that Np = 1 for almost all p, and
concludes the proof.
J(
such that G t
=G
for all t E K - O.
Proof
Let N = <p(G) be the Frattini subgroup of G and let FN IK(T) be the
corresponding extension of J( (T). The Galois group of FN I K (T) is GIN,
which is finite by assumption. By Proposition 2 of 9.2, there is a thin set
o of K such that, if t 0 US, the decomposition group (G / N)t is equal
to GIN. For such a t we have Gt.N = G, hence G t = G since N is the
Frattini subgroup of G.
Exercise. Use the theorem above to construct extensions of Q with Galois
group GL 2 (Zl) for any given 1.
[10.7. Recent results.
There has been much progress in the 1980's towards realising a given
group as a Galois group over Q, or over Q(T). For a detailed exposition
(resp. a resume), see Matzat's book [Mat] (resp. the Bourbaki report [Se5]).
150
One of the main results concerns groups having a rigid family of rational conjugacy classes. Let us define "rational" and "rigid":
A conjugacy class C of a finite group G is called rational if the following
equivalent properties hold:
(a) every character of G takes rational values on C;
(b) if g E C, one has gm E G for every integer m which is prime to the
order of g.
Let now C l l ... , Ck be conjugacy classes of G. Assume G has trivial
centre. Define P = P( C l , ... , Ck) as the set of all (g1, ... , gk) E C l X ... X Gk
such that gl ... gk = 1i define P' as the subset of P made of those (gl, ... , gk) E
P which generate G. The group G acts by conjugation on P and P': an
element 9 E G transforms (g1, ... , gk) into (gglg-1, ... , ggkg- 1 ). One says
that (Ct, ... , C k) is rigid if P' =1= 0 and G acts transitively on P' (i.e. P' /G
has one element).
Note that G acts freely on P'. Hence the rigidity property is equivalent
to IP'I = IGI, and it implies IPI ~ IGI. (This is useful, because IPI can be
computed from the character table of G:
k
151
shows that the covering so obtained is unique, up to unique isomorphism;
by descent theory this implies that its field of definition can be lowered from
C to Q.)
The condition that G contains a rigid rational family of conjugacy
classes is rather restrictive. It can be weakend in several ways (see [Mat],
[Se5], [Se7]). Using the variants so obtained, the property GalT has been
proved(l) for the following groups:
An,Sn;
PSL3(Fp ),p == 1(mod4);
PSp4(Fp ),p 2: 3,p == 2,3(mod5)
G 2 (Fp ),p 2: 5;
All the sporadic groups (Mu, M 12, J 1, ... ), except M 23 .
Explicit equations have been given for some groups: PSL2(F7),
PSL2(Fu), PSL2(F13), SL 2(Fg), M 12
As for groups with non-trivial centre, one may mention An = 2.An
(non-trivial extension of An by a group of order 2): It has been proved
by N. Vila (see e. g. [Mat], Kap IV, 6) that An has property GalT when
n == 0, l(mod 8); the general case was handled later by Mestre [Me2]. Mestre
has also shown (unpublished) that 6.A6 and 6.A7 have property GalT.
(1) In some cases, the proof assumes the classification of finite simple
groups.
152
11. CONSTRUCTION OF ELLIPTIC CURVES
OF LARGE RANK
11.1. Neron's specialisation theorem.
Let k be a number field and A an abelian variety over K = k(Tb ... , Tn)
where the Ti are indeterminates over k. By a theorem of Neron ([Nl]), A(K)
is a finitely generated group.
Theorem. (Neron). There is an abelian variety At over k, of the same
dimension as A, such that
rankAt(k) ? rankA(K).
The variety At is obtained by "specialising" A. This is done as follows:
since K is the function field of P n and A is defined over K, A comes from
some abelian scheme Au over a non-empty open subset U of P n' Let
s}, ... , Sn E A(K) generate A(K). One can view the s/s as rational sections
of the abelian scheme 'Jr : Au --+ U. By replacing U by a smaller open set,
one can also assume that the Si are morphisms [in fact, such a replacement
is not necessary: since U is smooth, the Si can be proved to be everywhere
regular on U]. Hence if t is any rational point of U and S E A(K), set)
is a well defined rational point of At = 'Jr-l(t). The map S 1-+ set) is a
homomorphism 4>t : A(K) --+ At(k).
The precise form of Neron's theorem is:
Theorem. The set oft E U(k) for which 4>t is not injective is thin.
Therefore outside a thin set, rank At(k) ? rank A(K).
We shall use the following criterion on abelian groups.
153
Let x E I. We have (x) = 0 E nN, therefore, from (2), x E nM.
We write x = ny, with y E M. Then n(y) = (x) = 0, that is to say
(y) E N n . From (4), there is z E Mn with (z) = (y). Since nz = 0, we
have x = n(y - z). But y - z E I, therefore x E nI.
Proof of Neron's theorem.
We use the criterion for y : A(K) -+ At(k), with an arbitrary choice
of n ~ 2. Condition (1) is known. Condition (3) follows from a general
fact on abelian schemes: if s is a section of order exactly n, set) is also of
order n provided that the residue characteristic at t does not divide n - but
here we are in characteristic o. (The n-division points give a sub-scheme
An etale over U. A section of this scheme which is non-zero at the generic
point is non-zero elsewhere.)
To check condition (4), we have to prove that there are no more ndivision points in At than in A. Take the subscheme An which is the kernel
of multiplication by n : A -+ A. As it is etale over the base U, we can
decompose it into a disjoint sum of irreducible subschemes
as desired.
To check condition (2), we have to show that, for t outside a suitable
thin set, the map
A(K)jnA(K)
-+
At(k)jnAt(k)
154
Remarks.
1) The set of t E U(k) such that A(K) -+ At(k) is not injective is in fact
finite (and not merely thin) if dim U= 1. This result is due.to Silverman,
see e.g. [L6] , Chap. 12, 2. The proof is a generalisation of that of ManinDemjanenko given in 5.2.
2) Neron's theorem can be extended to algebraic groups which are extensions of abelian varieties by groups of multiplicative type. More precisely,
if G is such a group, defined over K, and r is a finitely generated subgroup
of G(K), then r "specialises injectively" in Gt(k) for all t outside a thin
set. [Let f' be the set of I E G(K) such that there exists m ~ 1 with
m1 E r. An elementary argument shows that f' is finitely generated. One
then applies to f' the same proof as above for A(K).]
This applies in particular to the multiplicative group G m (but not to
the additive group G a ).
3) Very little is known about specialising non-commutative groups (even
matrix groups).
For instance, let
(L=ni~+mD;Lni+3m=O}, inPic(C),
i=l
i=1
155
has rank 9, that is to say that the ~ are linearly independent modulo the
section by a line.
To do so, let kc be the field of definition of C in P2 (Le. the extension
of Q generated by the nine ratios of the coefficients of an equation of C);
put m = tr.degQkc and n = tr.degk c Q(Pl, ... , P9 ). We have m ~ 9, n ~ 9
and m + n = 18, hence m = n = 9. This shows that C is "the generic"
cubic, and that the Pi'S are generically independent over k c . Hence, any
linear equivalence 2:;=1 miPi + mD '" 0 implies 2:;=1 mixi + mD '" 0 for
all Xi E C, which is possible only if m1 = ... = m9 = m = O.
Now it is clear from Neron's -theorem (1l.1) that if we specialise
P1 , .. , P9 outside a thin set we obtain a curve of rank ~ 9.
We give two complements.
156
From Hasse's theorem, the number Np of points of Ep over F p satisfies
x=
y=
1
3
2
2
3
2
4
1
5
1
00
00
x=
y=
1 2 3
0 0 1
4
3
6
2
7
5
8 9
0 1
10
1
00
00
157
If we blow up the projective plane P 2 at PI, ... , P6 we obtain a cubic
surface S of P 3 in which the ~ are blown up to lines D i , (i = 1, ... ,6),
and the plane cubics passing through PI, ... , P6 become plane sections of S;
those we consider correspond to planes passing through P7 and Ps , and Po
is the third point of intersection of the line P7 Ps with the surface S.
Let P9 be a generic point of the plane. We shall show that PI, ... , P9 are
independent modulo D on the elliptic curve C going through Po, PI, ... , P9
We denote by E the surface obtained by blowing up the points
Po, ... , Ps . Let L i , i = 0, ... ,8 be the lines of E corresponding to the ~; let M
be a line of P 2 not passing through the Pi and let M be the corresponding
curve of E. The elementary theory of blowing up (cf. [H), Chapter 5 3)
shows that the Picard group of E (which is here equal to the Neron-Severi
group) is the free abelian group with basis {Lo,LI, ... ,Ls,M} (thus of rank
10).
The linear system on P 2 , defined by the cubics passing through
Po, ... ,Ps , defines a morphism 1r : E -I- PI; the fibres of 1r are the strict
transforms of the cubics passing through the Pi; the hypotheses on Po, ... , Ps
insure that these cubics are irreducible. If T is a generic point of PI and
CT = 1r- I (T) is the generic fibre at T, consider the restriction homomorphism
Pic(E) -I- Pic( CT ).
We have an obvious element in its kernel: the class of a special fibre (note
that all the fibres are linearly equivalent). On the basis {L o, ... , Ls, M} this
class is that of 3M - E~=o Li [indeed, this is the strict transform of a cubic
pasing through Po, ... ,Ps; the total transform would be '" 3M, but in the
strict transform, the lines Li due to the blowing up are removed].
As the fibres (even special fibres) are irreducible, one knows that the
kernel of Pic(E) -I- Pic( CT) is generated by the class of a fibre, i.e. here by
s
3M - Ei=oLi.
We conclude from this that the classes of M and the Li (i = 1, .... ,8)
in Pic(CT) are linearly independent over Z. The interpretation of these
classes is clear: that of M is the linear section (denoted by D) of the cubic
CT and that of Li is Pi (1 ~ i ~ 8) modulo the multiples of D.
Now let P9 be generic in P 2 and take the cubic passing through P9 (and
Po, ... , Ps ). This is the same thing as taking a generic CT and a generic point
P9 on CT. If we have
9
158
then, as Pg is generic and I:~=I niPi - mD is fixed, we have ng = O. As
PI, ... ,Ps are linearly independent modulo D we have ni = 0 (1 SiS 8)
and m = 0, therefore PI, ... , Pg are linearly independent as claimed.
By Neron's theorem, this shows that Pg can be specialised so that the
rank of the corresponding curve is ~ 9.
Exercise. Show that the construction in this section (resp. in the next)
gives an infinite number of curves over Q, with distinct j invariants, of
rank ~ 9 (resp. ~ 10).
11.3. Elliptic curves of rank ~ 10 over Q.
We start again from a pencil L of cubics passing through 8 general
points PI, ... , P s . We select 2 of these points, say PI, P2, and lines D I , D2
passing through PI and P 2 , respectively (and not passing through any other
point Pd. Each cubic C E L cuts DI in PI and 2 other points; this defines
an involution on D I , and similarly for D 2 These involutions will be denoted
R 1-+ R', resp. S 1-+ S'.
D.
r
,/
,/
PI
and r is the fibre product of DI and D2 over L, hence a (ramified) covering
of L of type (2,2).
Since DI is a genus zero covering of degree 2 of L, it is ramified in
two points ar,/3I of L (which correspond to cubics in L tangent to Dt).
Similarly, D2 is ramified in two points a2, /32 of L.
159
There are now three possibilities:
1) {O'I,/h} and {0'2,,B2} are disjoint. In that case r has genus 1 (and is
non-singular).
2) {O'I,,Bl} and {0'2,J32} have exactly one point in common, say 0'1 = 0'2.
In that case r has genus 0 (and has one double point, above 0'1, which
corresponds to a cubic C E L tangent to both Dl and D 2 ).
3) {ab,Bd = {0'2,,B2}. In that case r decomposes into 2 curves of genus
o (over a suitable extension of the ground field).
The favourable case is case 2). Indeed, r can then be chosen to reparametrise the pencil L: to (R, S) E r we associate the corresponding
cubic C R,S. On the generic member of this family, we now have 10 points:
PI, ... , P s , R, S. If these can be proved to be independent (modulo the section D by a line, as in 11.2), Neron's theorem will give us elliptic curves
of rank ~ 10 over Q.
In resume, there are two conditions to be checked:
a) that case 2) occurs;
b) that PI, ... , P s , R, S are independent on the generic CR,S.
We now show how this can be done. The construction is essentially
that of Neron [N1] except for the use of generic data instead of rational
data.
160
Lemma. The 10 points R, S, QI, Q2, Pa, .. " P8 are independent on C modulo a line section.
Consider a relation
mR + nS + qlQl + q2Q2
+ LPiPi
i=S
tv
(mod D),
161
with m,n,ql,q2,Pi E Z.
Let R' be the third point of intersection of Dl with C. The point
(R', S), the image of (R, S) by an involution, is a generic point of V. Therefore
s
mR' + nS + qlQ1 + q2Q2 + LPiPi rv 0 (mod D).
i=3
But R, R' ,Q1 are collinear:
R+R' + Q1
rv
0 (mod D).
Whence
s
2nS + (2ql - m)Ql + 2q2Q2 + 2 LPiPi
i=3
rv
0 (mod D).
But S, Q1, Q2, P3, ... , Ps are generic independent points of Q. [Indeed, the
field K = Q(Qt, Q2,P3, ... , Ps ) has transcendence degree 16 by assumption,
and one easily checks that tr.degKK(D2 ) = 1 and tr.degK(D2)K(D2 ,S) =
1.] This implies that S, Q1, Q2, P3, ... , Ps are independent (mod D), hence:
162
general). Neron only gives hints about all this, but a detailed account can
be found in [Fr]j see also [To].
Questions.
1) Can one construct elliptic curves over Q of arbitcarily high rank?
Neron's methods give examples of rank ~ 11. Since then, 11 has been
successively improved to 12 (Mestre, 1982), 14 (Mestre [Mel], 1987), 15
(Mestre, 1992), 17 (Nagao, 1992), 18 (Tunnell, 1992), 19 (Fermigier, 1992)
and 21 (Nagao-Kouya, 1994).
2) Is there a bound for the rank of an elliptic curve over Q(T) with non
constant j invariant? Examples are known with rank 2:: 12 (Mestre [Me3],
1991), and with rank 2:: 13 (Nagao, 1994).
3) A different question is the Variation with the ground field of the
rank of a fixed elliptic curve. For instance, Honda has conjectured ([Ho],
misprinted on p. 98) that for an abelian variety A over a number field k
there is a constant C = C(A,k) such that
rankA(k') ::; C[k' : k],
163
12. THE LARGE SIEVE
Let A be a thin set in zn, and AN the intersection of A with the ball
of diameter N centred at the origin. When n = 1 we have seen in 9.7 (as a
consequence of Siegel's theorem) that IANI = O{NI/2) when N ~ 00. To
prove a similar result when n 2: 2 one needs a different method, based on
the large sieve inequality (cf. [Co]).
The present chapter contains a proof of this inequality (after [Bom1]
and [Hun. Applications to thin sets are given in the next chapter.
12.1. Statement of the main theorem.
Let K be a number field, d = [K : Q], OK the ring of integers of K,
and A a torsion free OK-module of finite type with rank n over OK. We
select a norm 1.1 on AR = R A.
[A typical example is K = Q, OK = Z, A = zn, and for x =
(XI, ... , xn) E zn we take Ixi = sup IXil.]
We consider a subset X of A. We impose bounds on the the "size"
of X both from the archimedian and non-archimedian viewpoints. More
precisely, let N and Q be real numbers, N 2: 1, Q > 0; for every prime
ideal p of OK, let wp be a real number in [0,1]. We assume that:
1) The set X is contained in a ball of diameter N: there is Xo E AR such
that Ix - xol < N/2 for all x E X.
2) For every p with Np ~ Q, the image Xp of X in A/Ap by reduction
modulo p is such that
wp
L(Q) =
"11
L..J
1-w
wp
!! pi!!
164
the sum being over all ideals g of 0 K without square factors and of norm
5: Q.
Ixi
zn,
Ix
L: X>.
>'EX
165
We say that an element of the product G I X X G m is primitive if no
component is zero; we can then write the latter sum of the lemma in the
form
II(x)12.
zEG, z primitive
Proof.
By induction on m.
a) m
= 1, G = GI .
We have
x
and by the Cauchy-Schwarz inequality
11(0)1 2 ~
(L la xl L
2)
xEG-!h
~ IGI(1 - WI)
~ (1- WI)
laxl2
II(x)12.
zEG
Therefore
L
zEG,z~O
hence
L
zEG,z~O
II(x)12.
II(x)12,
166
We finally divide by Wl to obtain the result (if Wl = 0, the lemma is trivial).
b) General case.
For Xm E Gm, we define Ix ..(xb,xm-l) = I(xl, ... ,xm). Then IX m
is a function on G l X ... X G m - l to which we can apply the induction
hypothesis:
m-l
i=l
1:
iw)llxm(0)1 2.
t
Hence we have
m-l
I/(x)12~(II l:iw'>
xEG, x primitive
i=l
xmEGm,xm:;cO
We then apply part (a) of the proof to the function 1(0, ... ,0, Xm) on Gm:
x ... EGm,xm:;CO
Ak/A'.
167
Theorem. (Davenport-Halberstam, see [Bom1]'[Hu],[Mo]). Let A be a free
abelian group of rank m, and let TA be the dual torus. Select norms on AR
and on Aft. There is a constant c, depending on the chosen norms, such
that if 6 > 0, and Xl, . , Xr E TA are 6-spaced in the sense that
L I/(Xi)1
~ csup(N, 6- 1 )mll/ll~
i=l
2) The L2-norm
is:
t-+
inf
y ...... 31
IIyll
I/(xdl 2 ~
>.ex
168
b) We now assume that 6 ~ 1/2. Let 4> be a continuous complex-valued
function on Rm which is zero for It I 2: 6/2. Extending 4> by periodicity,
we can consider it as a function on the torus T; the coefficient of X>. in its
Fourier expansion is then
C>.(4))
= f
We now assume:
(t) IC>.(4)) I 2: 1 for all A E X.
Lemma 1. We have E~=1If(xi)12 ~ 114>lgII/II~.
Proof. Consider the function
'"' c>.(J)
g= ~ -(A..)X>'.
>'EX
C>.
0/
c>.(g) =
CA(f)
{ c A (4))
I(x) =
if A E X
if A ~ X
4> * g,
where
* is the convolution
Let Bi be the ball of centre Xi and radius 6/2. As 4>(x - t) = 0 for !Ix - til
8/2, we have
I(Xi)
therefore
= f
JB.
>
169
But the Bi are pairwise disjoint, hence we have
r
Finally, as
>.ex
Ic>.{g)1 2 ::;
>.ex
IC>.(fW = II!II~,
<b{X) = {2COS7rX
for
for
and
+00
1I<b1l~ =
Proof.
We have
~(y)
-00
1/2
1<b(xW dx = 2.
-1/2
<b(y) =
A
1 cos 7ry
2 cos( 7rx) cos(27rxy) dx = - 1
2
-1/2
7r 4" - Y
11/2
-1/2
170
The lemma follows.
In the general case of m variables, we can then construct the function
> in the following way. Put M = sup(N, 8- 1). Let >'0 E R m be the centre
of a box of diameter ~ N containing X. For x = (x(1), ... , x(m E Rm, put
II ~(M xCi,
m
i=1
where ~ is as above .
.) If Ixl > 8/2, we have > = o.
Indeed, Ixl > 8/2 implies that there is i such that Ix Ci ) I > 8/2, hence
Mlx(i)1 > M8/2 > 1/2; therefore ~(Mx(i = 0 and >(x) = o.
.) The L2-norm of > is:
.) The absolute value of the Fourier transform of > is ~ 1 in the box with
centre >'0 and diameter N.
As multiplication by X>'o just translates the Fourier transform, it suffices to see that the absolute value of the Fourier transform of the function
x ~ Mm n~1 <I>(Mx(i is ~ 1 on the box with centre 0 and diameter N.
The value of this Fourier transform at the point (y(1) , ... , y(m is
II ~(y(i) /M).
m
i=1
If
ly(i)1 ~ N/2,
171
We consider two numbers N ~ 1 and f> $ 1, and we seek the best
possible constant ~ = ~(N, f for which
r
L I/(Xi)1
$ ~(N, fI1/I1~
i=l
=L
I(x)
Cje- 211'ij z.
j=jo
For arbitrary N and f>, the exact value of ~ is not known, but one has good
bounds for it.
+ f>-1.
Le
L
O(x) =
2 11'inz,
for some L ~ l.
n=O
We may take
f(Xj) = 0(0) = L + 1
r
L If(xj)12 = (L + 1)2M
j=l
and
1I/11~ = L
+ 1,
172
therefore
L 1/(Xj)12 = (N + 8-1),,/,,~
r
j=l
for some explicit value of c (they give c = 1/12, but this can be improved
to c = 5/8).
Therefore f:1(N,8) is known reasonably well when N8 is small. For
N8 ~ 1, Selberg's bound remains the most useful, see [Boml], [Mo].
1.
q.x
173
and
Aa = KR EB .,. EB KR,
where K R = R K is the product of the archimedian completions of K.
We define an absolute value on KR by putting
Ixl =
sup 100xi
a
for x E K,
where 0' runs over the embeddings K -+ C, and one extends this to KR by
continuity.
t:'
ror x -- ( X (1) , , x (n E A'R, we take
Ixl =
sup 100(x(iI.
O',i
Cl
We take a q-division point t and a q'-division point t' with t =1= t', Nq ~ Q
and N q' ~ Q. Then x = t - t' is a q7l-division point and N qq' ~ Q2. Write
x = (x(l), .. ,x(n where x(i) E K.The condition
-
qq' x
c A' =
Q1 EB ... EB Qn
means that
qq'X{i) C Qi'
Let i be such that x(i)
=1=
(1 ~ i ~ n).
O. Then
N(qq'x(i ~ N(Qi);
therefore
a
and
whence the lemma.
We return to the hypotheses of the large sieve (12.1): given
A, T, Q, N, {w",} the set X is contained in a ball of diameter N ~ 1, and its
image X", in A/~A satisfies
IX",I ~
(1 - w",)[A : ~A],
~ Q.
174
L(Q) =
'"
~
II 1-w'
wp
Nq:5Q
pI!
! squ;re-free
T[9:]'
N!:5Q
From the above lemma, the set TQ is <5-spaced, with <5 = cdQ 2 / d The
Davenport-Halberstam theorem (12.3) then gives
If(x)12 ~ c2sup(Nnd,<5-nd)lIfll~
zETq
C3 = C2 sup(l, c1nd ).
We say that a q-division point x is primitive if the conditions q'lq and
q' =1= q imply q' x =1= 0: Each point x E T Q is primitive for a unique q,-namely
its allnihilator {a E OK, ax = OJ.
We restrict ourselves to ideals q without square factors: 9: = Pl ... Ph,
where the Pi are pairwise distinct prime ideals. In this case
with
zETq
N!:5Q
zET[q)
squa.re-free z primitive
175
We shall now apply the lemma on finite groups of 12.2 to show that
I/(x)12?:: 1/(0)12
primitive xET[11
II 1 : :
1"11
I"
-t
AI'1A.
As the spectrum of 1 on T is X, it follows that the spectrum of the restriction of 1 to T[ID is contained in the image Xq of X under the homomorphism
A - t AI'1A = TI plq AI pA. Taking account O"f the given upper bounds of the
IXpl, we may then apply 12.2 and obtain the above inequality. By summation over '1 this gives
I/(x)12?:: 1/(0)12
II 1 : :
N1$Q
1"11
1 square-free
xETq
I"
1-
dividing by
Example. If K = Q, A = zn, d = 1, with the usual norm sup lXii, the proof
above of the large sieve gives the constant c = 2n :
176
Remark.
We can give a lower bound for L(Q) in which the sum runs over all
ideals (and not only over the square-free ideals ~ of bounded norm); for this
we define
W! =
w~(p) for ~ =
pn(p)
II
II
pI!
and
L'(Q) =
wi
N!~Q
We have
L(Q) 2 L'(Q).
L'(Q) =
li pl!
p; as
I:
I:
N!~Q
Nq'~Q
! square-free
it suffices to check
-A.' =!
w!',
177
1. If M is a subset of OK we define
M(X)
= 0(x(n-l/2)d(logXp).
Cohen only proved this result with 'Y = 1, but made precise the 0 as
a function of the coefficients of equations defining M [CoJ. The proof gives
a uniform bound for the number of points of M in every box of diameter
X. Note that we gain a factor of X-d/2(logX)"l' over the trivial bound
o(xnd): the set of x = (Xl, ... , xn) of OK with Xl a square shows that this
improvement is essentially optimum.
2) Number of integral points on affine varieties.
Let N be an integer ~ 1, and V an irreducible algebraic variety of
dimension n in affine space AN over K. Let VeX) be the number of points
X E V with xCi) E OK, and !xl ~ X. We suppose that V is not linear, i.e.
that deg V ~ 2.
178
Theorem 2. VeX) = o(x<n-l/2)d(log xyr) with 'Y
< 1.
Question. Can this bound be improved to o(xnd(log X)C) for some c? The
factor (log X)C is inevitable as the quadric xy = zt in P 3 shows.
Exercise. What about quadrics in n-space, n
31
179
x is a square}
x + 1 is a square}
x(x + 1) is a square}.
Let M = MI U M2 U M3. Show that, for every prime ideal p, the map
M -+ PI(kp) is surjective.
13.2. Proof of theorem 1.
Let M C OK be a thin set. An easy redution allows us to assume that
M = OK n 1r(Z(K)), where Z is an irreducible affine variety of dimension
180
n, and 7r is a finite morphism of degree 2: 2, 7r : Z --+ An. Furthermore,
one can replace this by a finite morphism of schemes of finite type over OK
such that
We then say that such a thin set M is primitive.
Let p be a prime ideal of OJ(. Let Mp be the image of M under
reduction modulo p in kp x ... x kp = An(kp).
Theorem 5. There is a finite Galois extension K7r:/ K and a constant
with 0 < C7r < 1 such that if p splits completely in K 7r then
C 7r
oF
where
L(Q)
II 1- w
wp
=
N!!SQ
pi!!
!! square-free
and
l-w
= IMpl.
Npn
'Y
< 1.
'
181
Lemma 1. We have L(Q)
QjlogQ.
To see this, we only keep the prime ideals in the sum defining L(Q):
This is bounded below by the prime ideals which split (completely) in Kp;
for these by theorem 5 we have wp ~ , with > 0, for Np sufficiently large;
hence:
1.
L(Q) ~
no~Np~Q
p splits in [("
1rv
Np~Q
-.!L
[K7r : K] logQ'
P splits in [("
whence lemma 1.
To improve this estimate and get an exponent 'Y
L(Q) ~
< 1, we write
c!!.'
N.!!~Q
where
if g is squarefree and all pig split completely in K 7r ,
otherwise.
We introduce the function
then
182
As
Q ~ c!!.
I(s) =
II(1 + cI'>Np-S)
I'>
where
cl'> = { 1-0W p
cl'>
C1I"
Write
c= -
c~
-1> O.
1/ 2,
cI'> >
- c'I'> and Ic - c'I'> I ~
.,., NVlIf'
for all p which split completely in K1I"' We introduce the functions
II(s) =
II
I'> splits in
and
h(s) =
II
I'> splits in
for Re s
K"
K"
183
where gl(8) = exp(h 1(8), hI converges for Re 8 > 1/2 and (K,.. (8) is the
zeta function of the number field K 11'. Hence
1,
for 8 in a neighbourhood of 1.
Q
D al,n '"" c /I (10 Q)I-)..'
'"
n<Q
with
/I
C'
= rCA)"
o
Z
K(O)
111'
T
Al K(T)
184
H(
Un
!
Uz
U
The field of constants of Un is K 1r ; in other words, Un is absolutely
irreducible over K 1r .
UZ,p = Uz(Kp) in Up
185
elements, with c < 1. We shall even obtain c ~ 1-1/r!, where r = [Uz : U],
as above.
We change nothing by replacing K by K 1r . We may therefore suppose
that K = K 1r ; then Un is absolutely irreducible over K, and the lemma
above gives
H(
Un,p
!
UZ,p
Up
As Un and Uz are etale over U, the group G acts freely on Un,p' We
decompose UZ,p as the image of Un,p and its complement. We count the
number of elements of UZ,p up to O(Ngall-1/2). The image of Un,p in UZ,p
is represented by the H -orbits and hence has cardinality
r1li N gall, and
then the complement has cardinality (1 - r1li)N gall. Therefore the image
IblNgall, and hence the image of UZ,p in
of Un,p in Up has cardinality
Up has cardinality at most
r-.I
r-.I
r-.I
with
IGI = riHI.
As r ~ 2 and
r - 1
>
rlHI -
_1_
rlHI - IGI -
r!'
186
if p == -1 mod 3, all the elements of F p are cubes, and the image mod
p has p elements (such p's are of no use for the sieve).
Pn(K).
1.
IXj I~ cH{x),
for all j.
Pn(K) with Xi E OK, the divisor class of the ideal generated by these
coordinates ~ = (Xo, ... ,xn ) depends only on x (and not on the chosen coordinates). We then take integral ideals f!1' ... ,!lIt representing the different
classes; by applying a homothety, we may assume that xo, ... , Xn generate
one of the ideals f!i' (I ~ i ~ h). We may then write (see 2.2(b
H(x) =
=
with d = [K : Q],
Ci
Ci
Ci
II .sup
v arch J=O, .. ,n
II .
SUp
v arch J=O, ... ,n
IIxjllv
IXjl~,,/d,
= l/N(f!i)l/d, and
N _{I if
v 2 if
Therefore
H(x)
= Ci
V
V
isreal
is complex
II
v arch
hv(x),
187
Lemma. There is a constant CK > 1, depending only on K, such that
for every family hv (v runs over the set E of arcmmedean places of K) of
numbers> 0, there is a a unit of K and a real number t > 0 with
L:Nv = d.
- 0, the image of x
whence theorem 3.
= 0(x(n+l-l/2)d(logXP),
188
< 0,
-d = 3,4,7,8,11,19,43,67,163.
Denote by d the discriminant of such a quadratic field Kd, d < 0, and h( d) the class
number of Kd, that is to say the number of elements of the group Cl(Rd) = Pic(Rd), where
Rd is the ring of integers of K d.
Tables show that h( d) tends to infinity as d -+ -00. Gauss posed the problem of
proving this (and of proving that only the nine above have h = 1).
In 1913, Gronwall showed that if Ld (the L-function attached to the primitive character
of (Z/dZ)* of order 2) has no zero between 1 and 1 - a/log Idl, (a is a given positive
constant), then
h(d) :::;
7r- I
if d
< -4.
In 1934-35, Mordell and Deuring showed that ifthe Riemann Hypothesis (for the usual
zeta function) is false, then h( d) -+ 00 with Idl [The idea is that if h( d) is small then Ld
has a zero near 1; but the existence of a zero for one Ld function entails the non-existence
of zeros for the others; hence if the Ld have such zeros then ( has none.)
Later, Heilbronn showed the same result without assuming the Riemann Hypothesis.
In 1935, Siegel proved
> 0,
2log Idl
His proof is ineffective (it uses two values of d not satisfying the desired inequality).
Heilbronn and Linfoot refined this and showed that there is at most one value of d
with Idl > 163 and h( d) = 1. Landau showed more: given h, there is an explicit constant
189
c(h) such that h(d) $ h entails Idl $ c(h) except for at most one value of d. One can
choose c( h) = 2100h2 (log 13h)2. In his thesis in 1966, Stark proved that if there is a tenth
imaginary quadratic field having class number 1, its discriminant d lO satisfies
FUrther progress came from modular functions. In 1952, Heegner [He] published
a paper proving h(d) = 1 => -d E {3,4,7,8,1l,19,43,67,163} and hence solving the
problem of the "tenth imaginary quadratic field". But his proof was not detailed enough
to be entirely convincing (and indeed was not accepted at the time). In 1967, Stark gave a
complete proof, apparently different (there are no explicit modular functions) but in fact
substantially equivalent.
Also in 1967, Baker, by means of his explicit lower bounds for linear forms in logarithms, showed that h(d) = 1 => Idl < 10500 (Indeed, Gel 'fond and Linnik had proved in
1948 that, if h(d) 1, then a certain expression of the form I/h log al + fh log a2 +fJ310g a31
is very small cf. [Ba] and A.7 below.)
The problem of h(d) = 2 was resolved between 1972 and 1975 by Baker, Stark,
Montgomery-Weinberger. By a variant of the method of Gel'fond and Linnik, they obtained an effective but very large bound for Idl : Idl < 101100 , and to descend to Idl $ 427
required more hard work.
In 1976, D. Goldfeld [Dol] showed that, if a certain L-function has a zero of order
~ 3 at s
1 (as it should, by the Birch and Swinnerton-Dyer conjecture), then h(d) -+ 00
with Idl, in an effective way.
[The desired property of this L-function has now been proved by Gross-Zagier [GZ],
thus settling the whole problem. For instance,
Exerci.se. Let Xd be the quadratic character mod Idl associated with the imaginary
quadratic field Kd. One has
Xd(X)
IT Idl
= -Xd(Y)
if x == -Y (mod Idl).
that
7r- 1 IdI 1 / 2
f: Xd~n).
n=l
Show that
"
n=j
Iljl $
(modldl).n~l
Xd(n)
. 1
- n - = Xd(J)(-:- J
190
(ii) Show that 2:1:S i <D/2 Ifj ::; log D for every integer D 2: l.
(iii) Deduce from (i) and (ii) that h(d) ::; 7r- 1 IdI 1 / 2 Iog 14
Wd ==
Vd/2
{ (1 +
Vd)/2
if d
if d
== 0 (mod 4)
== 1 (mod 4)
The elements of order 2 of Pic(Rd) are easily determined. They exist if and only if dis
divisible by two distinct prime factors. Thus h( d) is odd if and only if d == -4, or d == -8,
or d == -p with p prime and p == 3 (mod 4).
The fields Q(i), Q( H) and Q( A) have class numbers equal to 1. We assume
from now on that p is a prime number> 3 with p == 3 (mod 4).
Proposition. The following properties are equivalent:
(i) h( -p) == 1,
(ii) (~)
[<
p/4.
VPf3.
t( VPf3 -
Example3. Let us use (iv)' to find those p, 3 < p < 75, such that h( -p) == 1. Let
m == (p + 1)/4. For p < 75, we have
1) < 2, and condition (ivy becomes that
m and m + 2 are prime. As m < 18, this gives m == 3,5,11,17 whence p == 11,19,43,67.
To prove that h(-163) == I, it suffices to check that x 2+x+41 is prime for x == 0,1,2,3
(which gives 41,43,47, and 53). From (iv), this property remains true for x == 4, ... ,39 (as
noticed by Euler, Mem. Acad. Sci. Berlin, 1772).
We can also use (iii) to check that h(.,.-l1) == 1: in the interval [l,5J, the quadratic
residues are 1,3,4,5 and the only quadratic non-residue is 2; thus Rll == 4, Nll == 1 and
Rll - N n == 3.
t( VPf3) -
=}
(ii). For d
==
-p, we have
(1;)
Kd/Q. Consequently, if (~) == 1, then the ideal (I) decomposes in Kd : (I) == p.p', with
1 = Np == Np'. If further h( -p) = I, there is a E Rd with P == (a), and Na == 1. We
write a = x + Y A with x,Y E
have y i- 0 and I 2: py2 2: p/4.
(ii)
=}
(ii)' is clear.
tZ.
Thus N(a) = x 2
+ py2 == I.
As I is not a square we
VPf3
191
one computes the value of the L series E(~)n- at s = 1, see e.g. [BSh], V.4). Hence
h(-p) = 1 {:} Rp - Np 3.
(ii) :::} (iv). We write m = (p + 1)/4, and Jp(X) = X2 + X + m. For 0 :5 x :5 m - 2 we
have 2:5 Jp(X) < m 2 (if p > 3). If, for such an integer x, Jp(x) were not prime, it would
be divisible by a prime number 1 < m. Thus, x 2 + x + m == 0 (mod 1), and the discriminant
1 - 4m
-p would be a square modulo 1; therefore (T) = 1, whence (~) = 1, which
contradicts (ii).
(iv) :::} (iv), is obvious.
(ivy:::} (iiy. If (ii)' were false, there would be a prime number 1<
with (~) 1. We
have I =1= 2 (otherwise p == 7 (mod 8) and the values of Jp(X) are even, which contradicts
(iv)'). Therefore (T) = 1, and the congruence x 2 + x + m == 0 (mod I) has two solutions
whose sum is 1- 1 mod I. We can then choose a solution x with 0 :5 x :5 (I - 1)/2.
Then Jp(x) is divisible by I and Jp(x) ~ m = ~ > I; therefore, Jp(x) is not prime. As
x :5
1), this contradicts (iv)'.
The equivalence between the properties (i) to (iv)' is therefore proved.
-IP13
t< -IP13 -
Suppose that p == 3 (mod 4) and h( -p) = 1. From condition (ii) we deduce that
for p > 7, (;) = -1, that is to say p == 3 (mod 8),
for p > 11, (=!) (~) -1, that is to say p == 1 (mod 3),
for p > 19, (=f) = (~) = -1, that is to say p == 2 or 3 (mod 5).
that is to say with a basis (1, JWd) over Z, where J is an integer ~ 1 called the conductor.
If J > 1, Rd,/ is not a normal (i.e. integrally closed) ring (its normalisation is Rd). The
number of elements of Pic( Rd,!) is denoted by h( dj2).
We are interested in the (d,!) with J ~ 2 for which h(dj2) 1. For this we use the
localization exact sequence
Rd =
Examples.
1) d = -7 and J = 2. In Q(v'-'i), we have (2) = pp, and (Rd/JRd) = F; x F; = (1),
therefore IPk(Rd,!)1 = IPic(Rd)1 = 1.
2) d = -11, J = 2. Then (2) is inert in Q(V-ll), F4: is cyclic of order 3, therefore
h(-1l.22 ) is equal to 3.
d - -3
= 1 {:} { d ;: -4
d = -7
and
and
and
J = 2 or 3
J= 2
J = 2.
192
,=P/3
j _ 26 3 3
0
24 3353
_2 15 3.53
2 6 33
233311 3
_3 353
3 35 3173
26 5 3
_2 15
_2 15 33
_2 18 3353
_2153353113
_ 218 3 35323 3 293
_2 6 33
24 33112
-3.2611223 2
0
2336 72
-7.3 6
387.19 2
2772
-11.2 6 72
-19.3626
-43.2 6 3872
-67.2636 72312
-163.2636721121921272
223
2.3.11
-3.5
3.5.17
225
_2 5
-253
-26 3.5
-253.5.11
-263.5.23.29
The most interesting case is that or" Q( r-PJ with p > 11. We take E s:;; C/ Rd where
+ FP)/2, d = -po Then we have
and
j =
193
(where 11.11 is the distance from the nearest integer) one would obtain directly the finiteness
of the p such that h( -p) = 1. The preceding inequality gives
106
Ilognp -1I"ylP15 e2 '1f"/p' where np
but
= 1 + [e'lf../P],
-1.00028...
-10.0000028...
-55.000000092...
-6670.000000000006...
for
for
for
for
p= 19
p=43
p=67
p= 163
Integrality of j.
= 1, as j
E Q, we then have j E Z.
First proof.
We choose r E Rd,! whose norm is a prime number 1. We then have an isogeny
r : E ~ E whose kernel is cyclic of order l. But the invariants j ,j/ of two elliptic curves
related by an isogeny of degree 1 satisfy a relation
F,(j,j')
= 0,
where F, is a symmetric polynomial over Z with highest degree term jlj/I. Here j = j'
and
F,(j,j) = j21 +
21-1
2: aiji = 0,
(ai E Z),
i=O
194
2). Baker's method is applied to bound the integral points of the modular curve, hence
bounding p.
3). One obtains a linear form in logarithms for which Baker's lower bound applies. This
method is closely related to the two preceding, and also to the "limit formula" of Kronecker.
Modular curves associated with Cartan subgroups and their normalisers.
Let N be an integer> 1, and X(N) the modular curve which classifies elliptic curves
with a basis of points of order N, see e.g. [DeRa). The field of functions of X(N) is the
field of modular functions of level N rational over Q( VI) cf. [Shm); its field of constants
is Q( VI). The group GN = G~(Z/NZ) acts on X(N), the quotient being the j-line
X(I)
= Pl.
IT H is a subgroup of GN, we write X H for the modular curve X(N)/H; its points
over a field K correspond to elliptic curves E over K such that Gal(K/K) acts on the
N-division points of E via H, see [DeRaJ, IV-3. IT det: H --. (Z/NZ)* is surjective, XH is
absolutely irreducible over Q.
The subgroups H we are interested in are essentially the Carlan subgroups of G N and
some subgroups of their normalisers. More precisely:
Let A be a free commutative etale Z/NZ-algebra of rank 2: if pIN, A/pA is either
Fp x Fp (called the "split" case) or Fp2 (the "non-split" case at p).
Given an arbitrary decomposition of the primes piN into "split" and "non-split" types,
then up to isomorphism there is a unique corresponding such algebra A. In the case where
A is non-split at p for all pIN, we say more briefly that A is "non-split".
Let A * be the multiplicative group of invertible elements of Aj then A * operates on
A, and as A ~ (Z/NZ)2, A* embeds in AutZ/NZ(A) ~ GL2(Z/NZ). The image of A* is
a Cartan subgroup C of GL2(Z/NZ).
As A is an algebra of rank 2, it has a unique automorphism u of order 2, which induces
the natural involution on each A/pA; for all a, a + ua E Z/NZ. Let C = C U uC be the
subgroup of GL 2(Z/NZ) generated by C and u.
Let X Xc and X
Xc be the corresponding curves. As C has index 2 in C, we
have a quadratic covering X --. X.
Let now E be an elliptic curve with complex multiplication by the ring R, and suppose
that N is prime to the discriminant of R. Then the algebra A = R/N R is etale, thus defines
195
a C and a C. Let K be a field over which E is defined, and suppose that Vd 'I K. Let
EN be the kernel of multiplication by N in E(K); this is a free R/NR-module of rank
1. If s E Gal(K/K) is trivial on K(Vd), then the action of s on EN commutes with that
of R/N R, hence is defined by an element of the Cartan subgroup C = (R/ N R)*. If s
is non-trivial on K(Vd), its action on EN comes from an element of C - C. This a.llows
us to attach to E a K-rational point of X, which does not lift to a point of X over K,
but which lifts over K( ..;d). In other words, we obtain two points of X conjugate under
Gal(K( Vd)/ K).
We now take the case which interests us: K = Q, R = R_p and h( -p) = 1. Recall
that every prime number 1< p/4 is inert in Q( FP). In particular if p is large with respect
to N, then C and C are of non-split type.
We then obtain rational points on suitable modular curves X. These points are integral
points in the following sense:
First, by removing the cusps from a modular curve XH, one obtains an affine curve
x;f, which is finite over the j-line Al:
By taking the normalisation of A~, one then obtains an affine scheme X';iffz over Z. A
rational point x of XH is then ca.lled integral if it has the following equiva.le~t properties:
a) j (x) is integral,
b) x is an integral point of the scheme X;f.z.
The points XE E X(Q) constructed above have property a) by A.4: they are indeed
integral.
The case where N is prime.
Assume N = I is a prime number ;?: 5 and consider the curve X corresponding to the
normaliser C of the non-split Cartan subgroup C.
Since C h,as order [2 -1, it has index 1(1-1) in GL2(Z/IZ), thus X -+ P l has degree
1f.1- 1) and X -+ P l has degree I(l - 1)/2. The number of geometric cusps of X (resp.
X) is 1-1 (resp. (1-1)/2). All these cusps have ramification index l. The 1- 1 cusps of
X are conjugate over Gal(Q(~)/Q) and the (1-1)/2 cusps of X are conjugate over the
maximal real subfield of the cyclotomic field Q( ~).
l!y working out the ramification above j = 0,1128 one obtains a formula for the genus
9 of X (in the non-split case):
if I == 1 mod 12
if 1==5 mod 12
if 1== 7 mod 12
if 1== 11 mod 12
Note that, already for I = 7 and I = 11, the number of integral points of X is finite
(and effectively so by Baker's method, once explicit equations for X have been found).
This is enough to give, by method 2, that the set of p's with h( -p) 1 can be effectively
bounded.
196
A.6. Examples.
In what follows, p is a prime number> 3 with h( -p) = 1; we denote by jp the
j-invariant of an elliptic curve with CM by R_p i.e.
(For a model of this curve with good reduction outside p, see [Gr}, p.80.) We have jp E Z
d. A.4. By using the modular curves X associated to N = 2,3, ... we will obtain further
properties of jp (and hence of p).
N = 2. The group GL2 (Z/2Z) is isomorphic to S3. The non-split Carlan subgroup C is
the cyclic subgroup of order 3, and C ~ S3, therefore X = PI and X is a 2-sheeted covering
of Pl' By looking at its ramification, and at the cusps, one can see that X -+ X = PI is
the quadratic extension associated to ..jj - 1728.
Theorem. H h( -p) = 1 and p == 3 (mod 8), tben jp - 17:?.8 = _py2 witb y E Z.
(Indeed, the corresponding point of X is rational over Q(..;=p).) This can also be
checked using the classical formulae
= 3.
As
l' = _e"vP/3(1
+ O(e-1I'v'p,
X and Y have order of magnitude the exponential of vp '" P/6. This alone should be
enough to imply a bound for p [it would if even a weak form of the ABC-conjecture" were
true}.
-+
X,
one finds
197
As jp -1728 = _py2, and jp = ..y3, putting tI = y/24z we have
A priori
tI
=
=
19
3
tI
E Z and
43
67
9 21
tI
is divisible by 3:
163
231
N 5. The curve j( has genus 0 and 2 cusps rational over Q( v'5). An explicit parametrisation of it is given in [Si4]. The corresponding integral points can be identified with the
units of Q( v'5).
= 6. The equation"Y =
for N
= 6.
N = 7. One has 9 = 0, and there are 3 cusps, conjugate over the real cyclotomic subfield
of Q( 0) (cubic field).
One finds that h( -p) = 1, and (V) = -1, gives an exceptional unit of that field. See
[Ke2]. There are analogous results for N = 9.
N = 12. One again finds a curve of genus 0 with 2 cusps which are rational over Q( V3).
One can either use the method of approximating e'lfVP, or pass to level 24.
N = 15. This is the level used by Siegel [Si4]. An elliptic curve is obtained, with a finite
number of integral points.
N
24. An elliptic curve is obtained. This is the level considered in effect by Heegner
[He].
198
Classical formulae provide another method for constructing 1/>. For instance, in case
N is a prime 1 == 1 (mod 4), one looks at the action of the Cartan subgroup e on the
projective line PI(F,).
The cyclic group e/F; acts freely and transitively on PI(F,)j its unique subgroup of
index 2 has two orbits A and B. To each x E PI(F,), let us associate the modular form
tJ.", defined by
tJ. oo = tJ.(lz),
tJ.i(Z) = tJ.(z; \
i E Z/IZ,
can be shown to have the required properties. (One can sometimes use TJ = tJ.I/24 instead
of tJ. e.g. for 1 = 5, cf. [Si4]j this gives a smaller order at infinity.)
From the existence of 1/>, one deduces a bound for the p for which h( -p) = 1 in the
following way. We may assume that p is sufficiently large so that we are in the non-split
case (every prime divisor 1 of N is < p/4). To p is associated an integral point xp of X.
The image I/>(xp) of xp belongs to a quasi-integral subset of PI - {O,oo}. More concretely,
we can write
where Ep is a unit, and c belongs to a fixed set, independent of p. Let EN > 1 be a
fundamental unit of Q( ...IN). It suffices to consider a sequence of p for which I/>(xp) -+ +00,
thus Ep = E';{ where np is a sequence of integers tending to +00. Let us look at the size
of I/>(xp).
As I/> and j are related by a polynomial equation we have a Puiseux expansion
we obtain
where v is a rational number> O. Then
199
This had been seen by Gel'fond and Linnik in a different manner. They looked at the
extensions
Q(.../N,~
r ""
r
Q(FNP)
Q(.../N)
Q(A)
""
and considered the L-function attached to the character X of the imaginary quadratic field
Q( A) corresponding to its quadratic extension Q( .../N, FP). We have
(1)
L(s,X)
where XN (resp.
Q( FNP'J/Q.
= L(S,XN)L(s,X-Np),
= L(l,XN).L(l,X-Np).
The numbers L(I, XN) and L(I, X-Np) are logfN and h( -Np), up to elementary factors.
As for L(I, X), one computes it using Kronecker's limit formula applied to the expansion
L(I, X)
=~
where
Fp ( x, y )
p+l 2
= x 2 + xy + -4Y .
One finds that L(I, X) is essentially log <fo(xp). Using (1), this gives the expression of <fo(xp)
as C';r as above (and gives the values of c and np). For more details see e.g. [Si3].
Baker chose N = 21; then t = tN = H5 + V2i) and one finds
32
Ih(-21p)10gN - -
1r
21
Note that these linear forms in logarithms have algebraic numbers as coefficients (for
example H-iv'P), so that Baker's method does apply, and gives an effective bound for p.
Remarks. 1) Note the connection between logarithms of units and values of L-functions
at s = 1! It has been the starting point of Stark's conjectures, cf. [StJ and [T3J.
2) It is not known how to solve the class number 2 problem by methods of integral points
on modular curves. But this problem can be attacked via linear forms in logarithms in the
following way.
Suppose h( -d) = 2. The difficult case is that where d = PI]J2, with PI and P2 large
prime numbers, PI == 1 (mod 4), ]J2 == 3 (mod 4). One knows that the corresponding
j-invariant belongs to Q(y'Pl). Then <fo(Xd) is essentially a unit in Q(.../N,y'Pl). Only 2
of the 3 fundamental units of this biquadratic field are involved, namely tN and Npt. By
working this out, Baker obtains [Ba, p.53J:
Ih( -21d) log EN
As t21pt is a fairly large algebraic number, one must use delicate lower bounds to be able
to conclude.
200
Bibliography.
[A] S. ARAKELOV - Intersection theory of divisors on an arithmetic surface
(in Russian), Izv. Akad. Nauk SSSR 8 (1974), 1167-1180.
[Ba] A. BAKER - Transcendental number theory, Cambridge Univ. Press,
Cambridge, 1975.
[Be] G. V. BELYI - On the Galois extensions of the maximal cyclotomic field
(In Russian), Izv. Akad. Nauk. SSSR 43 (1979), 267-276.
[Ber] D. BERTRAND - Lemmes de zeros et nombres transcendants,
Seminaire Bourbaki 1985-86, expose 652 (Asterisque 145-146, S. M. F. 1987,
21-44).
[BM] A. BAKER and D.W. MASSER (edit.) - Transcendence Theory:
Advances and Applications, Acad. Press, London, 1977.
[Bo] F.A. BOGOMOLOV - Sur l'algebricite des representations l-adiques,
C.R. Acad. Sci. Paris, serie A, 290 (1980), 701-703.
[Boml] E. BOMBIERI - Le grand crible dans La theorie analytique des nombres, Asterisque 18 (1974), 2nd ed. (1987).
[Bom2] E. BOMBIERI - On exponential sums over finite fields II, Invent.
Math. 47 (1978), 20-39.
[Bor] A. BOREL - Some finiteness properties of adele groups over number
fields, 1.H.E.S. Publ. Math. 16 (1963), 5-30 (= Oe., II, no. 60, p.329-354).
[BSD] B.J. BIRCH and H.P.F. SWINNERTON-DYER - Notes on elliptic
curves, I, J. Crelle 212 (1963), 7-25; II, ibid., 218 (1965), 79-108.
[BSh] Z. BOREVICH and 1. SHAFAREVICH - Number Theory, Acad.
Press, New York, 1966.
[Cal J.W.S. CASSELS - Diophantine equations with special reference to
elliptic curves, J. London Math. Soc. 41 (1966), 193-29l.
[Ch] C. CHABAUTY - Sur les points rationnels des courbes algebriques,
C.R.Acad. Sci. Paris 212 (1941), 882-885.
[CN] K. CHANDRASEKHARAN and R. NARASIMHAN - Functional
equations with multiple gamma factors and the average order of-arithmetical
functions, Ann. of Math. 76 (1962), 93-136.
[Co] S.D. COHEN - The distribution of Galois groups and Hilbert's irreducibility theorem, Proc. London Math. Soc. 43 (1981), 227-250.
201
[Col] R. COLEMAN - Effective Chabauty, Duke Math. J. 52 (1985), 765770.
[Cu] G.V. CHUDNOVSKY - Formules d'Hermite pour les approximants de
Pade de logarithmes et des fonctions binomes, et mesures d'irrationalite, C.
R. Acad. Sci. Paris, Ser. A, 288 (1979), 965-967.
[CW] C. CHEVALLEY and A. WElL - Un theoreme d'arithmetique sur
les courbes algebriques, C.R. Acad. Sci. Paris 195 (1932), 570-572. (= A.
Weil,Oe., I [1932c]).
202
[G] A. GROTHENDIECK - Elements de Geometrie Algebrique (written
with the collaboration of J. Dieudonne), I.H.E.S. Publ. Math. 1960-67.
[GH] P. GRIFFITHS and J. HARRIS - Principles of Algebraic Geometry,
Wiley, 1978.
[Go1] D. GOLDFELD - The class numbers of quadratic fields and the conjectures of Birch and Swinnerton-Dyer, Ann. Sci. Norm. Sup. Pis a 3
(1976), 623-663.
[Go2] D. GOLDFELD - Gauss' class number problem for imaginary
quadratic fields, Bull. AMS 13 (1985), 23-37.
[Gr] M. GREENBERG - Rational points in Henselian discrete valuation
rings, I.H.E.S. Pub!. Math. 31 (1966), 56-64.
[Gy) K. GYORY - Resultats effectifs sur la representation des entiers par des
formes decomposables, Queen's Papers in Pure and Applied Math., no.56
(1980).
[GZ) B.H. GROSS and D.B. ZAGIER - Heegner points and derivatives of
L-series, Invent. Math. 84 (1986), 225-320.
[H] R. HARTSHORNE - Algebraic Geometry, GTM 52, Springer-Verlag,
1977.
[Ha] M. HARRIS - Systematic growth of Mordell-Weil groups of abelian
varieties in towers of number fields, Invent. Math. 51 (1979), 123-14l.
[He] K. HEEGNER - Diophantische Analysis und Modulfunktionen, Math.
Zeit. 56 (1952), 227-253.
[HH] D. HILBERT and A. HURWITZ - Uber die diophantischen Gleichungen vom Geschlecht Null, Acta Math. 14 (1891), 217-224. (= D. Hilbert,
'Ges. Abh., Bd. 2,258-263 = A. Hurwitz, Math. Werke, Bd.2, 116-121).
[Hi] D. HILBERT - Uber die Irreducibilitat ganzer rationaler Funktionen
mit ganzzahligen Koeffizienten, J. Crelle 110 (1892),104-129 (= Ges. Abh.,
II, 264-286).
[Hn1] M. HINDRY - Points de torsion sur les sous-varietes abeliennes, C.
R. Acad. Sci. Paris 304 (1987), Serie 1, 311-314.
[Hn2] M. HINDRY - Geometrie et hauteurs dans les groupes algebriques,
Universite de Paris VI, These, 1987.
203
[Ho] T. HONDA - Isogenies, rational points and section points of group
varieties, Jap. J. Math. 30 (1960), 84-101.
[Hu] M.N. HUXLEY - The large sieve inequality for algebraic number fields,
Mathematika 15 (1968), 178-187.
[Hup] B. HUPPERT - Endliche Gruppen I, Springer-Verlag, 1967.
[HW] G.H. HARDY and E.M. WRIGHT - An introduction to the theory of
numbers, 5th ed. Oxford Univ. Press, London 1979.
[Is] V.V. ISHANOV - The semi-direct imbedding problem with a nilpotent
kernel, Izv. Akad. Nauk SSSR 40 (1976), 3-25 (= Math. USSR Izv. 10
(1976), 1-23).
[K] S. KLEIMAN - Toward a numerical theory of ampleness, Amer. J.
Math. 84 (1966), 293-344.
[Kel] M.A. KENKU - On the number of Q-isomorphism classes of elliptic
curves in each Q-isogeny class, J. Number Theory 15 (1982), 199-202.
[Ke2] M.A. KENKU - A note on the integral points of a modular curve of
level 7, Mathematika 32 (1985),45-48.
[KL] D. KUBERT and S. LANG - Modular Units, Springer-Verlag, Heidelberg 1981.
[Ll] S. LANG - Abelian Varieties, Interscience Publ., New York, 1959.
[L2] S. LANG - Diophantine Geometry, Interscience PubL, New York, 1962.
[L3] S. LANG - Les formes bilineaires de Neron et Tate, Sem. Bourbaki
1963/64, expose 274, Benjamin Publ., New York, 1966.
[L4] S. LANG - Division points on curves, Ann. Mat. Pura Appl. IV, 70
(1965), 229-234.
[L5] S. LANG - Elliptic Curves-Diophantine Analysis, Springer-Verlag, Heidelberg, 1978.
[L6J S. LANG - Fundamentals of Diophantine Geometry, Springer-Verlag,
Heidelberg; 1983.
[L7J S. LANG - Integral points on curves, LH.E.S. Publ. Math. 6 (1960),
27-43.
[La] E. LANDAU - Uber die Anzahl der Gitterpunkte in gewisser Bereichen,
Gott. Nach. (1912),687-771, and (1915), 209-243.
204
[LaM] S. LAMACCHIA - Polynomials with Galois group PSL(2, 7), Comm.
in Algebra 8 (1980), 983-992.
[Lau] M. LAURENT - Equations diophantiennes exponentielles, Invent.
Math. 78 (1984), 299-327.
[Len] H.W. LENSTRA, Jr. - Rational functions invariant under a finite
abelian group, Invent. Math. 25 (1974), 299-325.
[Lev] J. LEVEQUE - Rational points on curves of genus 1, J. Crelle 206
(1961), 45-52.
[Lg] M. LANGEVIN - Quelques applications de nouveaux n~sultats de van
der Poorten, Seminaire Delange-Pisot-Poitou 17 (1976), no. G12.
[LN] S. LANG and A. NERON - Rational points of abelian variants over
function fields, Amer. J. Math. 81 (1959), 95-118.
[LU] R.C. LYNDON and J.L. ULLMAN - Groups generated by two
parabolic linear fractional transformations, Canad. J. Math. 21 (1969),
1388-1403.
[LW] S. LANG and A. WElL - Number of points on varieties in finite fields,
Amer. J. Math. 76 (1954), 819-827 (= A. Weil, Oe., II, [1954f]).
[M] L.J. MORDELL - On the rational solutions of the indeterminate equations of the third and fourth degrees, Proc. Cambridge Phil. Soc. 21
(1922), 179-192.
[Mal] Y. MANIN - The p-torsion of elliptic curves is uniformly bounded (in
Russian), Izv. Akad. Nauk SSSR 33 (1969), 459-465 (= Math. USSR Izv.
3 (1969), 433-438).
[Ma2] Y. MANIN - Cyclotomic fields and modular curves (in Russian), Usp.
Mat. Nauk 26 (1971), 7-71 (= Russian Math. Surveys 26 (1971), 7-78).
[Ma3J Y. MANIN - Parabolic points and zeta functions of modular curves
(in Russian), Izv. Akad. Nauk SSSR 36 (1972), 19-66 (= Math. USSR Izv.
6 (1972), 19-64).
[Mae] T. MAEDA - Noether's problem for A5, J. of Algebra 125 (1989),
418-430.
[Masl] D.W. MASSER - Diophantine approximation and lattices with complex multiplication, Invent. Math. 45 (1978), 61-82.
205
[Mas2] D.W. MASSER - Small values of the quadratic part of the NeronTate height, Seminaire Delange Pisot Poitou, 1979-1980, Birkhauser-Verlag,
1981, 213-222.
[Mat] B.H. MATZAT - Konstruktive Galoistheorie, Lect. Notes in Math.
1284, Springer-Verlag, 1987.
[Mel] J-F. MESTRE - Formules explicites et minorations de conducteurs
de varietes algebriqu~s, Compo Math. 58 (1986), 209-232.
[Me2] J-F. MESTRE - Extensions regulieres de Q(T} de groupes de Galois
J. of Algebra 131 (1990), 483-495.
An,
206
[N3] A. NERON - Arithmetique et classes de diviseurs sur les varietes
algebriques, Proc. Int. Symp. Tokyo-Nikko, 1955, 139-154.
[N4] A. NERON - Quasi-fonctions et hauteurs sur les varietes abCliennes,
Ann. of Math. 32 (1965), 249-33l.
[Na] K. NAKATA - On some elliptic curves defined over Q of free rank 2: 9,
Manus. Math. 29 (1979), 183-194.
[No] D.G. NORTHCOTT - An inequality in the theory of arithmetic on
algebraic varieties, Proc. Cambridge Phil. Soc. 45 (1949), 502-509; A
further inequality ... , ibid., 510-518.
[Ne] J. NEUKIRCH - On solvable number fields, Invent. Math. 53 (1979),
135-164.
207
[Rob] A. ROBINSON and P. ROQUETTE - On the finiteness theorem of
Siegel and Mahler concerning Diophantine equations, J. Number Theory 7
(1975), 121-176.
[Ro] P. ROQUETTE - Non standard aspects of Hilbert's irreducibility theorem, Lect. Notes in Math. 498, Springer-Verlag, 1975, 231-275.
[Sch] S.H. SCHANUEL - Heights in number fields, Bull. Soc. Math. France
107 (1979), 433-449.
[Schi] A. SCHINZEL - On Hilbert's irreducibility theorem, Acta Arith. 16
(1965), 334-340.
[Schml] W.M. SCHMIDT - Approximation to algebraic numbers,
L'Ens. Math. 17 (1971) 187-253. (Monographie no. 19, 1972).
[Schm2] W.M. SCHMIDT - Diophantine Approximation, Lecture Notes in
Math. 785, Springer-Verlag, 1980.
[Schul 1. SCHUR -- Gleichungen ohne Affekt, Sitz. Preuss. Akad. Wiss.
1930, Physik.-Math. Klasse 443-449 (=Ges. Abh. III, 191-197).
[Se1] J-P. SERRE - Quelque applications du theoreme de densite de Chebotarev, Publ. Math LH.E.S. 54 (1981) 123-201 (=Oe. 125).
[Se2] J-P. SERRE - Quelque proprietes des groups algebriques commutatifs,
Asterisque 69-70 (1979), 191-202 (=Oe. 122).
[Se3] J-P. SERRE - Abelian l-adic representations and elliptic curves, Benjamin, New York 1968; 2nd edition, Addision-Wesley, 1989.
[Se4] J-P. SERRE - Divisibilite de certaines fonctions arithmetiques, L'Ens
Math. 22 (1976), 227-260 (=Oe. 108).
[Se5] J-P. SERRE - Groupes de Galois sur Q, Seminaire Bourbaki 1987/88,
expose 689 (Asterisque 161-162, SMF, 1988).
[Se6] J-P. SERRE - Proprietes galoisiennes des points d'ordre fini des courbes
elliptiques, invent. Math. 15 (1972), 259-231 (=Oe. 94).
[Se7] J-P. SERRE - Topics in Galois Theory, notes written by H. Darmon,
Jones and Bartlett Publ., Boston, 1992.
[Sh1] K-y. SHIH - On the construction of Galois extensions of function
fields and number fields, Math. Ann. 207 (1974), 99-120.
[Sh2J K-y. SHIH - p-division points on certain elliptic curves, Compo Math.
36 (1978), 113-129.
208
[Shaj I.R. SHAFAREVICH - Construction of fields of algebraic numbers
with given solvable Galois groups, Izv. Akad Nauk SSSR 19 (1954) 525578; AMS Transl. Series 2,4 (1956), 107-142. (=C. P. 139-191).
[Shm] G. SHIMURA - Introduction to the arithmetic theory of automorphic
functions, Publ. Math. Soc. Japan, voL 11, Princeton Univ. Press, 1971.
[Si1] C.L. SIEGEL - Uber einige Anwendungen diophantischer Approximationen, Abh. Pr. Akad. Wiss. (1929), no.1 (=Ges. Abh., I, 209-266).
[Si2] C.L. SIEGEL - Abschatzung von Einheiten, Gott. Nach. (1969),71-86
(= Ges. Abh., IV, 66-81.)
[Si3] C.L. SIEGEL - Lectures on advanced analytic number theory, Tata
Institute, Bombay 1965.
[Si4] C.L. SIEGEL - Zum Beweise des Starkschen Satzes, Invent. Math. 5
(1968), 180-191 (=Ges. Abh., IV, 41-52).
[Sk] T. SKOLEM - Diophantische Gleichungen, Springer-Verlag, 1938
(Chelsea Publ. Comp., New York, 1950).
[Sp] V.G. SPRINDZUK - Hilbert's irreducibility theorem and rational
points on algebraic curves, Soviet Math. Dokl. 20 (1979), 701-705.
[St] H. STARK - Values of L-functions at s = 1, I,II,III,IV; Adv. in Math.
7 (1971), 301-343; 17 (1975), 60-92; 22 (1976), 64-84; 35 (1980), 197-235.
[ST] J-P. SERRE and J. TATE - Good reduction of abelian varieties, Annals
of Math. 78 (1968), 492-517.
[Sw] H.P.F. SWINNERTON-DYER - Analytic theory of abelian varieties,
London Math. Soc. Lecture Notes 14, C.U.P. (1974).
[Sz] L. SZPIRO - Seminaire sur les pinceaux arithmetiques: La conjecture
de Mordell, Asterisque 127 (1985), S.M.F.
[T1] J. TATE - The arithmetic of elliptic curves, Invent. Math. 23 (1974),
179-206.
[T2] J. TATE - Quasifonctions locales, letters to J-P. Serre, 21 June 1968,
and 1st October 1979 (see [L5], [Z]).
[T3] J. TATE - Les conjectures de Stark sur les fonctions L d'Artin en
s = 0, Progress in Math. 47, Birkhauser-Verlag, Boston, 1984.
209
[Ta] T. TATUZAWA - On a theorem of Siegel, Jap. J. of Math. 21 (1951),
163-178.
[Ti] R. TIJDEMAN - Exponential diophantine equations, Proc.
Congress Math. Helsinki, Vol. 1 (1978), 381-387.
Inter.
[To] J . TOP - Neron's proof of the existence of elliptic curves over Q with
rank at least 11, preprint, Utrecht 1987.
[U] S. UCHIYAMA - On the Thue-Siegel-Roth theorem, III, Proc. Japan
Acad. 36 (1960), 1-2.
[Wa1] M. WALDSCHMIDT - Nombres transcendants et groupes algebriques,
Asterisque 69-70 (1979).
[Wa2] M. WALDSCHMIDT - A lower bound for linear forms in logarithms,
Acta. Arith. 37 (1980), 257-283.
[WI] A. WElL - L'arithmetique sur les courbes algebriques, Acta Math. 52
(1928), 281-315 ( = Oe., I, [1928]).
[W2] A. WElL - Sur un theoreme de Mordell, Bull. Sc. Math. 54 (1929),
182-191 ( =Oe., I, [1929]).
[W3] A. WElL - Varietis abeliennes et courbes algebriques, Hermann, Paris,
1948.
[W4] A. WElL - Remarques sur un memoire d'Hermite, Arch. d. Math. 5
(1954),197-202 (= Oe., II, [1954a]).
[Wh] E.T. WHITTAKER and G.N. WATSON - A course of modern analysis, 4th edition, C.U.P. (1969).
[Z] H.G. ZIMMER - Quasifunctions on elliptic curves over local fields,
J. Crelle 307/308 (1979), 221-246; Corrections, ibid. 343 (1983), 203-21l.
[Za] D. ZAGIER - L-series of elliptic curves, the Birch - Swinnerton- Dyer
conjecture, and the class number problem of Gauss, Notices AMS 31 (1984);
739-743.
210
INDEX
ABC conjecture
196
Abelian variety
2,31
- dual abelian variety
36-39,45
- elliptic curve (see Elliptic curve)
- approximation theorem on abelian varieties
4,95,98-101
- Mordell-Weil theorem (see Mordell-Weil theorem)
- normalised heights (see Height, normalised)
. . . . . . . . . . . . . . . . . . . . . 43-44,53-54,69
- torsion points
- points of bounded height . . . . . . . . . . . . . . . . .
53-55
- Manin-Demjanenko theorem (see Manin-Demjanenko theorem)
- generalised Mordell conjecture
73-74
- Poincare divisor
37,76,78
- Manin-Mumford conjecture
73-74
Abhyankar's lemma . . . . . .
116
Absolute values, satisfying a product formula
7-10
Albanese variety Alb(X) . .
45,62
Antisymmetric divisor class
.32
Approachable to within l/q6
.96
Approximation of real numbers
95-97
Approximation theorem on an abelian variety
98-101
- effectivity . . . . . . . . . . . . .
99-101, 106-107
- Thue-Siegel-Roth theorem (see Thue-Siegel-Roth theorem)
105
Artin-Schreier polynomial . . . . . . . . . . . . . . . . .
Baire's category theorem . . . . . . . . . . . . . . . . . . . . . . . . . 61
Baker's lower bounds for linear forms in logarithms 5,93,100,110-112,189,194,198-199
5,94,97,108-120
Baker's method (see also Integral points) .
- on pI - {O, 1, oo} . .
112-114
115,117
- on elliptic curves
115-116
- on hyperelliptic curves
- on superelliptic curves
117
. . 114
- on Thue curves
119-120
- on XI(n) . . . . . .
- on X(2) . . . . . .
. . 118
- elliptic curves with good reduction outside a given set of places
118-120
- effectivity.
5,111,114,115,117
Banach space
29,88
Belyi's theorem
70-73
Belyi-Fried-Matzat-Thompson theorem
. 150
Bertini's theorem . . . . . . . .
127,130
. . 189
Birch Swinnerton-Dyer conjecture. . .
. 26-27,157
Blowing up . . . . . . . . . . . .
Bombieri-Davenport large sieve constant
. 172
81-83
Bounded sets of points
Brauer group
. 100
211
Cartan subgroup . . .
- split and non-split
- normaliser of
Cartier divisor . .
Catalan equation .
Chabauty's theorem
Chebotarev density theorem
Chevalley-Weil theorem . .
Classification of finite simple groups
Class number of imaginary quadratic fields
- class number 1
- class number 2
Cohen's theorem
Complex multiplication, see Elliptic curve
Cube, theorem of the,
Cubic resolvent
. .. . .. . ... .
Curves
- elliptic, see Elliptic curve
- exceptional (Siegel's theorem)
- hyperelliptic . . . . . . .
- modular (see Modular curves)
- superelliptic
- Tate . . . . . . . . . . .
- Thue . . . . . . " . . . .
- Mordell's conjecture (see Mordell's conjecture)
- Chabauty's theorem (see Chabauty's theorem)
- Mumford's inequality (see Mumford's inequality)
- Mumford's theorem (see Mumford's theorem)
Cusps, on modular curves
Davenport-Halberstam theorem
Demjanenko- Manin theorem
Descent lemma (see also Mordell-Weil theorem)
Differential form
Dirac b"-function
Dirichlet series .
Divisor, on a variety
- support of
- algebraically equivalent to zero
- ample . . . . . . . . . . .
- class group . . . . . . . . .
- height associated to a (see also Height)
- Poincare divisor class . . . . . . .
- symmetric and antisymmetric divisor classes
- a -divisor , on a jacobian . . . . . . . . .
Effectivity
- of the Mordell-Weil theorem
194
194
194
. 83
117
3,58-62
. . 61
3,50,51,109
151
188-199
188-199
199
6,177
32,34,38,77
124
. . 94-95,110
. 115-116,142
117
. 91
114
68,71,73,118
166-172
3,58,62-67
. 3,53
59,68,90
166
44,181,182
. . . 21
. . . 21
25-26,44-45
. . . 22
. . 21
2,22-24
37,76
32
. .74
. . . . . . . . . . . . . . . . 52,99-100,107
212
- of the approximation theorem on an abelian variety
. . . . . . . 99-101
- of Siegel's theorem
5,100-101,106-107,116
- of Baker's method . . . . . . . .
5,111,114,115,117
- of Chabauty's theorem . . . . . .
. . . 60
- of the Manin-Demjanenko theorem
. . . 63
- effective construction of an elliptic curve EjQ of rank ~ 9
155-156
Embedding a field finitely generated over Q in Qp
61-62
Elliptic curve
............ .
- torsion points
. 69
........ .
- complex multiplication
44,70,93,119,191-194,196
- with good reduction outside a finite set of places
. . . . . . . 118-120
67,118,145-147,158,162,191-193
- j-invariant . . . . . . . . . . .
- local heights . . . . . . . . . . . .
90-93
- normalised heights (see also Height) . .
40-41,90-93
- integral points (see also Integral points)
97,115,117
- oflarge rank over Q . . . . . . . .
121,154-162
- explicit form of Mordell-Weil theorem
56-57
- Tate module . . . . . . . .
. 70,119
- conductor . . . . . . . . .
. . 119
Exceptional curve (Siegel's theorem)
94-95,110
104
Exceptional units
Fermat curve . .
Fermat quartics (Demjanenko's theorem)
Function fields . . . . . . . . . . . .
- number of points of bounded height in pn
- heights
.............. .
Functions of degree ::; 2 between abelian groups
Fundamental group
ro(N)
GalT
Galois cohomology
Galois group, construction of field extensions of Q with given -,
- Sn
..................... .
- An . . . . . . . . . . . . . . . . . . . . . .
- using elliptic curves: GL2(ZjnZ), PSL 2 (F p), SL 3 (F 2 )
- infinite
............... .
- finite simple
. . . . . . . . . . .
- with rigid family of rational conjugacy classes
- Belyi-Fried-Matzat-Thompson theorem
- Shih's theorem
- Noether's method . . .
- Schur's examples
Gel 'fond-Linnik-Baker method
Generalised Riemann Hypothesis (GRH)
Goldfeld's theorem
Grassmannian Gn,d . . . . . . . . .
110
66-67
7-8,19
. 19
11-13
32-34,38
141,150
. 68
138
51-52
6,121
138-144,145
144-145
145-147
147-149
151
149-150
150
146-147
147
145
197-199
188
189
127
213
Greenberg's theorem . . . . . . .
Gross-Zagier theorem . . . . . . .
Grothendieck-Deligne (Weil conjectures)
Hasse's theorem . . . . . .
Height
- of a rational point H(x)
- logarithmic height h( x )
- associated to a morphism h,,( x )
- associated to a line bundle h c ( x )
- elementary properties . . . . .
- functoriality of . . . . . . . .
- behaviour under change of coordinates
- change of height under projection . .
- normalised height h(x), hc(x) . . . .
- bilinear form Bc(x,y) associated to hc(x)
- non-degeneracy of normalised heights
- quadraticity of normalised heights on abelian varieties
- relation between quadratic and linear parts of hc ( x )
- local height (see Local heights)
- associated to a Poincare divisor . . . . . . . . .
- associated to a divisor algebraically equivalent to zero
- associated to a torsion divisor
- for number fields
- for function fields
- positivity
_ on pn . . . . .
- Northcott's finiteness theorem
- Schanuel's theorem
. . 83
188,189
184
156
2-6
2,11
19-20
2,22-28
10-16
. . 23
. . 13
13-16, 19-20
2,30-31,35-43,63,134
36,41
41-43
35-41
38-39
36-39
25-26,44-45
24,46-48
. . 11
11-13
24-25
10-13
16-17
17-19
Hensel's lemma
. . 62
Hermite's finiteness theorem
3,49-52,109
Hermitian structure on a line bundle
84-85
Hilbert's irreducibility theorem . . .
5-6,121,130,149
- hilbertian field (see also Hilbertian field)
129-130,137-138
- Q is hilbertian . . . . . . . . . . .
130-132
- thin sets (see Thin sets)
- specialisation of Galois groups (see also Galois groups)
122-126,137-138
- relation with integral points. . . . . . . . . . . .
. . . . . 135
- Neron's specialisation theorem, see Neron's specialisation theorem
129-130,137-138
Hilbertian field . . . . . . . . . . . . . . . . . . . . . . .
- finitely generated extensions of hilbertian fields are hilbertian
. . 130
Honda's conjecture . .
. . 162
Hurwitz' genus formula
142-143
Hyperelliptic curve
115-116
Integral points . .
- behaviour under morphisms .
4-6,94-95,97,100,102-106
. . . . . . 108-110,114
214
- quasi-integral sets . . . . . . . . .
94-95
94,104-105
- S-integral points . . . . . . . . .
- Siegel's theorem (see also Siegel's theorem)
95,102-104
- exceptional curves . . . . . . . . . . .
. 94-95,110
5,94,97,108-120
- Baker's method (see also Baker's method)
5,102-104,112-114
- on PI - {O, 1,00}
97,115,117
- on elliptic curves
- on hyperelliptic curves
. 5,115-116
117
- on superelliptic curves
114
- on Thue curves
119-120
- on XI(n)
- on X(2)
118
- of bounded height
6,115,117,177-178
118-120
- elliptic curves with good reduction outside a finite set of places
194-199
- on modular curves and the class number 1 problem
Intersection multiplicities
85-86
Inertia subgroup
140,143,150
Jacobian of a curve
- is principally polarised
- e divisor . . . . . .
- Poincare divisor class
1-2,5,46,58-59,66,73,98,101,134
46,76
74
76
Kissing number
Kronecker's limit formula
Kubert-Lang . .
Kummer theory
79
194,199
115,119-120,197
55-56
L-function . . .
Lang-Weil theorem
Large point
Large sieve inequality
- Bombieri-Davenport bound
- Selberg's bound . . . . .
- Davenport-Halberstam theorem
- improved inequalities
Legendre's equation of an elliptic curve
Lenstra's example
Lie group
Linear torus . .
Line bundle, generalities
- ample . . . . .
- generated by its global sections
- the Picard group Pic(X) .
Local heights
....... .
- as intersection multipicities
- normalisation on abelian varieties
- in terms of theta functions
188,189,198-199
. 6,62,184
79,80
. 6,163-164
172
171-172
166-172
170-172
118
147
60,149
. . 73
20-22
. . 22
21-22
20-22
83-93
85-86
87-89
88-89
215
- case of an abelian variety with good reduction
- relation with global heights . . . .
- Tate normalisation on elliptic curves
Locally compact field . . . . . . . . .
Logarithmic height (see also Height)
Lower bounds for linear forms in logarithms (see also Baker's method)
. 89
89-90
90-93
. 81
2,11
5,94,110-112
Manin-Demjanenko theorem . . . . . . . . . . . . .
........ .
- application to modular curves
- application to Fermat quartics ax4 + by4 + cz 4 = 0
- application to the Tate module of an elliptic curve
Manin-Mumford conjecture
Manin-Drinfeld theorem
Mazur's theorem
Modular curves
- cusps
- Belyi's theorem .
- Manin's theorem
- Manin-Drinfeld theorem
- associated to Cartan subgroups and their normalisers
58,62-66,154
67-69
66-67
73-74
. 76
73,197
. 69
X(N)
Xo(N)
X1(N)
Yo(N)
69,71,73,118,195-197
70-73
67-69
. 73
194-197
118,193
67-70,146
119-120
. . . 67
1,3-4,58-59,105,133
73-74
. . . . . . 80,105
Mordell's conjecture
- generalised .
- in characteristic p > 0
- Chabauty's theorem (see Chabauty's theorem)
- Mumford's theorem (see Mumford's theorem)
- Manin-Demjanenko theorem (see Manin-Demjanenko theorem)
- Manin-Mumford conjecture (see Manin-Mumford conjecture)
Mordell-Weil theorem
1,3-4,52,58,99,100
- classical descent
. . . . . 53
- explicit form
55-57
- effectivity
52,99-101,107
- for finitely generated ground fields
. . . 52
- weak Mordell-Weil theorem (see also Weak Mordell-Weil theorem)
3,51-52,99
Mordell-Weil group
43-44,51-53
- generators for
. . . 99
- rank . . . .
3,58-59,69
- torsion subgroup
43-44,54,69
Multiplicative function
182
Mumford's inequality
. . . 77
Mumford's lemma
. . . 23
Mumford's theorem .
3-4,58,74-80,105,133
- optimal for function fields
. . . . . . . . 80
NS(X), Neron-Severi group
26,31-32,47,62,64,157
216
Nakai-Moishezon criterion . . . .
26,27
. . 89
Neron model of an abelian variety
Neron's estimate . . . . . . .
53-55
Neron's specialisation theorem for abelian varieties
59,152-154
154
- Silverman's theorem . . . . . . . . . . .
154
- specialisation of extensions of abelian varieties
- specialisation of non-commutative groups
154
Neron's normalisation of local heights . . . . . . .
87-89
...........
25,31-32,47,62,64,157
Neron-Severi group NS(X)
Neron-Tate normalisation (see also Height - normalised)
. . . . . 2,29-31,35
................
. . . . .
147
Noether's method
Non-degeneracy of normalised heights (see also Height, Normalised height)
42-43
Normalised heights
2,30-31,34-48
- non-degeneracy
42-44
- positivity
. . 41
35-36
- quadrati city
- on elliptic curves
39-41
- normalised local heights
87-89,90-93
Northcott's finiteness theorem
16-17,44,46,53
- quantitative form (Schanuel's theorem)
. 17-19,132
Number of integral points of bounded height
- on an affine variety . . . . . . . .
177-178
6,134-136,163,177
- on a thin set . . . . . . . . . . .
Number of rational points of bounded height
- on an algebraic variety
178
.2,17-19
- on P n
- on a curve
5-6,80
53-55
- on an abelian variety
26-28
- on P 2 blown up at a point
5-6,132-134,178
- on a thin set . . . . . .
.44
Number of torsion points of bounded degree on an abelian variety.
Order of a ring of integers .
- conductor of an order
p-adic methods . . . . . .
- Chabauty's theorem .
P(n), the greatest prime factor of n
Partition of unity
...... .
Pell-Fermat equation x 2 - Dy2 = 1
Picard group Pic(X)
- PicO(X)
191
191
60,67
58-60
105-106
. . . 84
4,94,136
2,20-22,34-36,157
25,31
37,76,78
67-68,71
164
181
100
. 7-10,22
217
- function fields
- number fields
Profinite group . .
- Frattini subgroup
Puiseux expansion
Pure transcendental extension
Quadratic functors on projective varieties
Quadraticity of heights on abelian varieties (see also Height)
- on elliptic curves . . . . . . . . . . . .
Quasi-integral set of points (see also Integral point) . . . .
7-8
7-10,113
147-149
148-149
130-131,198
147,154,159
. . . 34
35-39,42
40-41
. 4-6,94
S-integers . . . .
102-105,112,134-136,141
S-units . . . . .
. . . . 103,112,
Schanuel's theorem
17-19,27-28,132,178
Selberg's bound, for the large sieve
171-172
Sextic resolvent . . . . . . . .
. . . . . . 125
Shih's theorem . . . . . . . . .
. . . . 146-147
Siegel's theorem (see also Integral points)
4-5,94-95,101-105,116,134,136,163
105-106
- application to P(J(n . . . . . .
- exceptional curve (see Exceptional curve)
- application to curves of genus ~ 1
101-102
- the case of curves of genus 0 . . . . .
102-104
- effectivity (see also Effectivity)
5,100-101,106-107,116
- approximation theorem on an abelian variety
. . . . . 98-101
- Thue-Siegel-Roth theorem . . . . . . .
4,95-100,104-105,107
Sieve, the large - (see also Large sieve inequality)
5-6,163-176
Sigma function of Weierstrass . . . . . . . .
. . . . . . 91
Silverman's theorem . . . . . . . . . . . .
. . . . . 154
Specialisation of Galois groups (see also Galois groups)
122-126,137-138
Specialisation of Mordell-Weil groups, Neron's theorem
59,152-154
Superelliptic curve . . . . .
117
Stark's conjectures . . . . .
199
Strongly continuous functions
. 83
Swan's example
147
Sylow subgroup
124,147-148
e, theta divisor
. . . . 74
218
. 38
70,119
. 91
91-93
29-30
44,183
88-89,91
4,95-100,104-105,107
95-97
105
114
121
121
121
128-129
127-128
122
5-6,132-136
.6,177-178
.6,177-178
179-180,183-186
43-44,53-54,68
44,69
. . . . 44
3,51-52,99
51-52
55-57
. 52
40,57,90,115,119,155
X(N) .
Xo(N) .
X}(N) .
118,193
67-70
119-120
Yo(N) .
. . . 67
182,188