This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
: COROLLARY.
V = V, m V,,
such that V, has a basis xl, ... , xk for which x;P = xi, and such that x -* x(' is a nilpotent map on V,,. V, and V,, are called the semi-simple and nilpotent subspaces of V respectively, and in the case of Lie G, we have: (Lie G), = Lie Gt,, (Lie G) = Lie GZ 1.
Applications to Abelian Varieties. THz:oBz r 1. Let f: X -* Y be an isogeny of abelian varieties,
15.
with kernel K. Let f : Y -3 X be the dual map, with kernel K'. Then there is a canonical isomorphism of K' with the dual K of K. PRooF. If L is any line bundle on Y and x e X, then ¢f.L(a) ex represents the line bundle Tz (f *L) ® f*L-1, and since
Tx (f*L) ® (f*L)-1 °f*[TT*L ® L-1) it follows that
0"m =f(ida(f(x))),
ABELIAN VARIETIES
144
In particular. if of,L is the zero map, then OL must be the zero map too; i.e. f*L e Pic° Y L E Pic° X. It follows then that for any scheme S, we have natural isomorphisms: K'(S) = Ker [Hom (8, Y) --s Hom (S, X)]
line bundles on S x Y, trivial on
Ker
line bundles on
--- S x X, trivial
S x (0) = Ker
on
S x (0)
rline bundles on
line bundles on
R SxY
\SXX
)]
The last isomorphism is correct because if a line bindle on Sx Y becomes trivial on S x X, then it must also be trivial on S X (0). But now S x Y is the quotient of S x X for the free action of K. Thus according to the results in §12, there is a natural isomorphism:
line bundles
KerRonSx
Y
line bundles\
)-7'(onSxX
)
Liftings of the action of K on Sx X to actions
onSxXxA'
Now an action of K on S x.X x Al is defined by a morphism µ fitting into a diagram:
KxSxXxAll -
KxSxX
A0
where 1A0 is the translation action of K on X, with S thrown in. If a=Psop is the induced morphism from K x S x X x Al to A',
then in terms of T-valued points, the lifted action can be described as k:
(s, x, a) u - -s (s, x-l-k, A(k, 8, x, a)),
ALGEBRAIC THEORY VIA SCHEMES
145
k e K(T), s e S(T), x e X(T), at e A'(T). Since the action should be linear on A', A(k, s, x, a) = a.A(k, s, x, 1). Since X is a complete variety, for any scheme w, r(Ow,,,r)-_I'(d ), hence all morphisms W x X - A' factor through W. In particular, A does not depend on the factor x in X. Thus the action is given by k : (s, x, a) r--s (s, x + k, A(k, s, 0, 1). a).
To be an action, we need A(kl + k2, s, 0, 1) _ A(kl, s, 0, 1). A(k2, s, 0, 1)
A(0,8,0,1)=1. In other words, A is given by an S-homomorphism X: K x S +Gm. Conversely, any such X defines an action µ via
N(k,s,x,a) = (s,x+k,X(k,s).a). Therefore,
Liftings of the action of K on S x X 1
a Homs(K, Gm)
L to actions on S x I x Al Putting all this together, K' : K. DEFINITION. An isogeny f : X - Y of abelian varieties is said to be of height one if, denoting by k(Y) and k(X) the respective function fields, we have k(X)pc k(Y).
We shall show that f is of height one if and only if ker f is a group scheme of height one. In fact, assume f is of height one. Or,o is the integral closure of 0Y., in k(X) and &Y ,O is integrally closed. Therefore O',o = Or,o n k(Y) D {f9 I fe0r,o}, hence SJ12Y,0 D {fP I fe Ulr,o}. Since ker f z Spec (Or,o/ r.o Or o), this shows that kcr f
is of height one. Conversely, suppose K = ker f is of height one, and let R* be the bialgebra of K. Let U be any non-void affine open subset of X with coordinate ring A. The action of K on U is given by a homomorphism of R* into the algebra of differential operators on A, such that a set of generators of R* gets mapped into vector fields on U. The elements of -A invariant under the
146
ABELIAN VARIETIES
action of K therefore consist precisely of those elements of A which are killed by these derivations; in particular they contain ,All = {f" J f eA}. This proves that k(X )T' c k(Y).
For all abelian varieties X, there is a one-one correspondence between isogenies f : X - Y of height one (up to isomorphism) and sub p-Lie algebras of Lie X. THEOREM 2.
PROOF.
In fact, isogenies of height one are uniquely deter-
mined up to an isomorphism by their kernels, which are subgroupschemes of height one, or what is the same, subgroup-schemes of
the maximal height one subgroup-scheme X, = Spec(O1,o/Dl ) But by an earlier theorem, subgroup-schemes of X,, are in natural one-one correspondence with p-Lie subalgebras of Lie Xp = Lie X.
EXAMPLE. The above theorem enables us to give an example of an abelian variety X admitting an infinity of distinct isogenies
X - Y of height one. In fact, for every prime p > 0, there is an elliptic curve E, unique up to isogeny, such that the pch power map in Lie X is 0 (Deuring; of. §21). But if E is such a curve, and X = E x E, any 1-dimensional subspace of Lie X is stable for the pth power map, and hence defines an isogeny of height one. THE p-RA?T%.
Let X be an abelian variety of dimension g in characteristic p > 0, and n . = p'.m an integer > 0, r > 0, m > 1, (p, m) = 1. We want to analyze the structure of the finite group scheme X = ker n1. Now, X. and X , are subgroup schemes of X,,, and we have a homomorphism X. x X - X,,. This is, in fact, an isomorphism since X. is the (r, r)-part of X,,, and X is the product of the (r, 1), (1, r) and (1, I)-parts of X,,. As we saw in §6, X. is a discrete reduced group isomorphic to (Z/mZ)'4. Thus, it suffices
to study the structure of X ,,, which we rename G,,. Suppose now that (Ge)=ed = (Z/pZ)'. Since X is divisible, for any n > 1, we have an exact sequence 0 -+ Gyred -+ Gn+l,red
G,'.d -; 0,
ALGEBRAIC THEORY VIA SCHEMES
147
and one deduces by induction that for any n> 1, (O, )md = (ZJp"Z)'.
Now, by Theorem 1 of this section, G" is the kernel of (e)g, so
it follows that there is an integer s such that for any n > 0, (C,")nd = (Z/p"Z)s. Thus, the decomposition of G. into its pieces is as follows: G. = (Z/p" Z)' x (Z/p"Z)` x GO
_ (Z/p" Z)' x where G0 is local-local.
x G.0'
Since G. is of order p2" a, we deduce that
there is an integer t > 0 such that r + s + t = 2g, and Gn is of
order 0. We shall show that the integers r = r1, 8 = s$ and t = to are the same for isogenous abelian varieties. It suffices to prove this for r
and s, since r+s+t=2g. Further, since sa=rg, it even suffices to verify this for r. Let f: X Y be an isogeny, with kernel of order k. p", we have that the order of (X-),.d is at most Since f(X ") c k times that of (Yp"),"d, that is, p'K < k.pj'ry for all n, hence rd < r7. Now, ker f is a finite group scheme, hence is annihilated by an N > 0, which shows that ker Nx ker f. Therefore, Nr
f
a* Y -i. X. Thus, Y X is an isogeny, factorizes as X and ry < r1. This proves that r, 8 and t are isogeny invariant. In particular, since for any abelian variety X, X and X are isogenous, we deduce that rx = rg = ex. Thus, we have that
G. = (Z/p"Z)' x (p.,pY x Gr
with G.0 local-local of order p"`, 2r + t = 2g. In particular, we see
that r < g. The integer r is called the p-rank of X, and is an isogeny invariant.
Now, since px induces the 0-map on Lie algebras, we see that Lie X = Lie (ker pa) = Lie 0, = Lie (pa)' p Lie G. Since GO, is local-local, the pth power map on Lie G; is nilpotent, whereas Lie(pp)' admits a basis e1, ... , e, such that e? = e;. We thus see
ABELIAN VARIETIES
148
that the p-rank of X equals the dimension of the semi-simple part of Lie X with respect to the pth power map. The same result holds for Lie X, since X and X have the same p-rank. On the other hand, we have established a canonical isomorphism Lie X c H1(X, Ox). Let F: Ox -a Ox be the Frobenius homomorphism F(a) = a1', and denote the induced p-linear mapH1(X,0x)>H1(X, Ox) again by F. We shall establish that under the isomorphism Lie X ^_- H1(X, e'), the pth power map in Lie X goes over into F. It follows that the
p-rank of X is also the dimension of the semi-simple part of H1(X, 0.) with respect to the Frobenius map F. Thus, we need to prove THEOREM 3.
Under the natural isomorphism Lie X H1(X, Ox),
the p=n power operation in Lie X goes over into the Frobenius map in H1(X, OX).
PnooF. First we give a description of the pth power operation on vector fields on a scheme X, using the functor X, analogous to the one given for the Poisson bracket in §11. Let D be a vector
field, interpreted now as an automorphism of X x Spec A over Spec A, where A = ([2) , which is the identity on the closed fibre
X'
-XxSpecA.
Let M = k[E1,... , e9]/(E2,, ..., P2), and let 77j: A -s M be the k-algebra homomorphisms defined by -%(E) = E, and let O, _ Spec 71,: Spec M> Spec A. By base change using 0,, D induces an
automorphism D, of X x Spec M over Spec M, and hence D' = D1 oD2o... o Dy is an automorphism of X x Spec M over Spec M. Let s, (1 Spec M' be the natural morphism. We then assert that there is a unique automorphism
D" of X x Spec M' over Spec M' which induces D' on base extension to Spec If. Further, the only relations between s1, s, in
ALGEBRAIC THEORY VIA SCHEMES
149
M' = k[sl, s2,] are si = 0, ss = 0, so that we have a homomorphism 7) : M' a A, -7(sl) = 0, q(e) = e. Let = Spec 71: Spec A 3 Spec M'. We have defined the maps A Spec A 4
i
711
17
) MD M,
Spec M
)A
0
-- Spec A. Spec M' Then via 0, D" induces an automorphism D' of X x Spec A over
Spec A which on the closed fibre Xc X x Spec A is the identity. So D' may be thought of as a vector field on X. We assert that D' = D(P). To verify these assertions, we may assume X = Spec A. Then Di is obtained by the automorphism of M-algebras A®kM-+A®SM
determined by a u-- * a + (Da).e;, and D' by the automorphism of A®k M over M determined by
at --s (n(1+eD)I a= (1+sD+s2D2+...+s,D2')a. Our assertions can be read off from this.
Now suppose G is a group scheme and D a left invariant vector field, whose value at the identity is the tangent vector t e G(A).
Then the corresponding automorphism of G x Spec A is just translation by t, and Di is translation of G x Spec M by the image
of t under the morpbism G(A)
G(M). Hence D' is
P
translation by t' = lI G(71j) (t) e G(M). Now, t' is the image of an i=1
element t" a G(M') by the map G(M') - G(M). The homomorphism G(M): G(M') -->!Y(A) maps t" to t('). t
t'
t'
m
ci
m
t(P)
m
G(A) - - G(M) --- G(M') --- - G(A). Apply these remarks to the situation where X is an abelian variety and X its dual, with G = X. Then for any k-algebra R, G(B) is the group of all line bundles L on X x Spec B trivial on
150
ABELIAN VARIETIES
{0} x Spec R such that for any point Pe Spec B, LIX x {P} belongs
to Pie°X. One sees by definition that if the 1-cocycle {f;j}for a covering S2l of X with coefficients in the sheaf Og represent a cohomology class in H'(X, Ox), the corresponding tangent vector
t, eLieX c X(A) ; H1(X, OaxspecA) is represented by the 1-cocycle
{l + e f,j} for the same covering. Hence, the element of X(M) c H1(X, O%x SpeeM) we obtain is represented by the 1-cocycle 11 (1 -{-e, Ad = (1 -{- A sl + f sz -{-... -{- fps"). .ml
It
follows
that
gv) E Lie X c X(A) is represented by the 1-cocycle {1 + fy e}, and hence comes from the 1-cocycle {ff} for Ox.
Our first aim in this section is to prove the two following theorems. 16.
Cohomology of Line Bundles.
THE RIEMA,ne-Rocs THEOREM.
For all line bundles L on X, if
L x O1(D), we have X(L)
(D°)
g
X(L)2 = deg
where (DO) is the g -fold self-miersection number of D. THE VANISHING THEOREM.
If for a line bundle L on X,
K(L) is finite, there is a unique integer i = i(L), 0 < i(L) < g, such that H'(X, L) = (0) for p 0 i and H`(X, L) (0). Further, i(L"1) = g - i(L)If L1 and Lz are two line bundles on X such that L1® L21 e Pic°X, then X(Lj) = X(L2). In fact consider the line PROOFS.
(1)
bundle pi(L1)® P on X x X. Then the Euler characteristic of its restriction L. to X x {y}, (y e X), is independent of y. But Ll and Lz are both isomorphic to one of the Li's, so X(Li) =X(Lz). Next, if L is symmetric, nn(Lm) e L"'", so
X(L-') = X(nz Lm) = deg
nx.x(L"') = nz'.X(Lm)
(*)
ALGEBRAIC THEORY VIA SCHEMES
151
Since any L can be written L1® L2 where L1 is symmetric and Lc -POX, (*) holds for any line bundle L. Since X(P) is a polynomial in k, (*) shows that x(V) (for any L) is a homogeneous polynomial of degree g. Let X(Lk) = a(L)-
so that
L
a(L)
and we have only to establish that a(L) - DW
if L = 0(D). Assume this for the moment when L is very ample, and let L; (i = 1, 2) be very ample. Then P(n1, n2) = 9!
X(Li ®L2')
is a polynomial in n1 and n2. Since X(Ll" 0 L2"')=k°. X(LL` ® L?), P is homogeneous of degree g. If D; is the divisor corresponding to
L;, since Li' ® Lz is very ample for n1, n2 > 1, we see that P(n1, n2) _ ((n1.D1 + %D2)°) = ± (q) ni n '(D1 D2-') if n1, ns $
{°
> 1, and it follows that the same equality holds for all n1, n2 e Z, in particular for n1 = 1, n2 =-1. But now any line bundle L on X can be written as L® ® L2 1 with L, very ample. Thus, it only remains to show that a(L) = (DO) for L very ample. We can then choose sections a°, ... , an of L on X such that (i) o;
have no common zero, and (ii) the divisor of zeros of c ...., 0, intersect transversally at (Do) distinct points. Because of condition
(i), we get a morphism X-P° defined by xr- (Q°(x),..., ao(x)), and by (ii), the 0-cycle 0, ..., 0)) is of degree (Do), hence is of degree (D°). Hence, by the proposition intheappendixto §6, a(L) is (DO) times the leading coefficient of g! X(0ff(n)), i.e. a(L) = (IY).
Next, we have to show that X(L)2 = deg L. Suppose first that K(L) is finite. Then, by definition of OZ, we have
(la x d',)*P=m*L®pi L-10 p2L-1
on X x X. Arguing as in §8 and §13, we see that m*L pi L-1®p*2L-1 has higher direct images on the first factor concentrated on the finite set S(L). Therefore,
152
ABELIAN VARIETIES
(m*L®piL-1(& psL-1) = R'p,,*(m*L0p,L-1)®L-1 (m*L(& p2L-1).
It follows that 0
X(m*L ®piL-1®p*ZL. 1) =
(--1)'X(R`pl.*(m*L®piL-1 (-0
zL 1)) 1)X(R`p1,*(m*L®psL-1)) 1-0
X(m*L 0 piL-1)Since (m,p2) : X x X i X x X is an isomorphism, and (m,p2)*[piL®p2L-1] ®m*L®psL-1, we find X(m*L®p2L-1) =X(p*,L(gpzL-1) = X(L) X(L-1)
_ (-1)°- x(L)2.
Since X x X is the quotient of X x X by the free action of K(L), we deduce that (-1)D. deg OL = deg X((1x x #L)*P) = X (m*L ®
piL- 1(gpiL-1)
(-1)o.X(L)2.
Finally suppose K(L) is not finite. We can choose a finite sub-
group F c K(L) of arbitrarily large order f. The map 1 x ¢L:
XxX-XxX therefore factors as XxX -+XxXJF ->XxX so that m *L®pYL- 1 being the inverse image by 1Z x L of P®pl L, has'Euler characteristic divisible by f. Since this holds for arbitrarily large f, m*L(& p*2L-1 has Euler characteristic 0. But as before x(m*L®pQL-1) _ (- 1)9X(L)2. So X(L) = 0 and deg OL = 0
ALGEBRAIC THEORY VIA SCHEMES
153
This proves the Riemann-Roch theorem.
(2) We have the Cartesian diagram P2
P2
(i.e. the left top corner identifies itself to the fibre product of the
lower left and upper right corners), and m*L®p*L`
1®p2L-1
(1 x 9L)*(P). Since qL is flat, we have by Corollary 5, §5, that
0L(R4p2,*(P)) = -P,* ((lx SL)*(P))
R4pz,* (m*L®p*L-1®p2L-1) But we have seen in §13 that R9p2.*(P) _ (0) if q - g and Rope * (P)
is the residue field k(0) at 0 e k Hence, we deduce that RQpz*(m*L®piL-1®p2L-1)
(0) if q
g
(*)
OE(L) if q = g
Since K(L) is finite, by arguments which we used in (1), we may
replace m*L®p*L-1®p2L-1 by m*L®p*L- 1 in (*). Taking cohomologies, we get that dimIIQ(X x X, m*L® piL-1)
0 if q o g deg ¢,L if q =g
In this formula, we may as in (1) replace m*L®p*LJ 1 by p*2L0p*L-1, so using the Kenneth formula, we see that if hi(L) = dimH'(X,L), °
h(L) hq-'(L-1) _
0ifq&g
deg OL if q=g. Since all these h''s are non-riegative, it is easy to see that this can only hold if only one of the h'(L)'s is positive and only one of the h'(L-1)'s is positive, and that the sum of these two i's is g. ,_a
154
ABELIA1 VARIETIES
Raatexus. Consider the case k = C, S = V/U where V is a
g-dimensional complex vector space and U a lattice in V. Let L = L(H, x) be a line bundle on % and E = Im H so that E is a skew symmetric real bilinear form on V and E(U x U) c Z. We consider V as an oriented vector space by means of the complex structure. If ui, ... , u2, is a basis of U, we call det(E(v;, u3)) the determinant of E; this is independent of choice of basis for U and
is always positive. Further, we have seen that K(L) is finite if and only if E is non-degenerate, and that deg 0L = Order K(L) = order (U-L/ U),
where Ul = {x e V I E(x, u) a Z, y u e U}. Now, the elements d; defined by ,fi(x) = E(x, ut) form a basis of the dual, Hom(Ul, Z), of U', so that we have order (U11 U) = det(,A(ui )) = det (E(u;, ut) ).
Hence we obtain that I X(L) I = +v/ det(E(u;, u,)). Now, given any
skew symmetric matrix A of degree 2g, it is well known that there is a uniquely determined polynomial function pf(A), the Pfaffian of A, in the entries of A, such that pf(A)2 = det A and pf((Eo)) ; 1 where E. is the matrix
0 -1 Eo =
0
0
0
0
1
0 -1 1
0
0
0
Now, if S runs through SL(2g, C), pf(X'AX)2 = det X'AX = det A = pf(A)2 and since SL(2g, C) is connected, we deduce that
pf(%'AX) = pf(A) if I e SL(2g, Q. Now, two different bases ul, ... , u2, of U such that ul A ... A u., is positive differ by a matrix in SL(2g,R), so that for such ul, ..., um, pf(E(u;, ui)) is independent
of the choice of basis, i.e. it is determined by E, the lattice U
155
ALGEBRAIC THEORY VIA SCHEMES
and the orientation of V induced by the complex structure on V. We then assert that we have actually
X(L) =pf(E(v,,u;)) (') Since both sides extend to functions on Q ®ZPic X which on any finite-dimensional subspace is a polynomial function, we see that either X(L) = pf(E(u;, u,)) for all L or X(L) _ - pf(E(u;, u;))
for all L. If we show that for L ample, pf(E(u,, u,)) is positive, it would follow that only the first alternative can hold. But then. L = L(H, a) with H positive definite hermitian. Thus, we have only to show that if H is positive definite hermitian on a complex vector space V and u, u2, ..., u2, is any real basis with ul A ... A u2g
positive, pf(Im H(u;, %)) > 0. By our earlier remark, if this holds for one such basis, it holds for any other such. Thus we may use a R-basis u1, iu1, u2, ' U 2 1... , iu, where H(%, u3) = b.,. But now, the
matrix of ImH with respect to this basis equals Ee and the Pfaffian of this matrix is 1. This proves the assertion. THE INDEX OF LINE BUNDLES.
The purpose of the rest of this section is to prove that i(L) can be computed as follows.
Let L be an ample line bundle on an abelian variety X, and M a non-degenerate line bundles. Let P(t) be the polynomial defined by P(n) = X(L5(D M). Then P has all its g roots real and THEOREM.
the index of M equals the number of positive roots, counted with multiplicity, of P(t)-
The proof will he given in a series of steps. We make heavy use of the next lemma. Before stating the lemma, let us introduce k
some notations. For a = (al, ..., ak) e Zk, we write la I = E I a; I,
and if L1, ... , Lk are k-line bundles, we denote the line -bundle LT ®LL.®...®Lkkby V. t By definition, this means K(M) is finite.
156
ABELIAN VARIETIES
LEMMA.
Let % be a projective variety of dimension r and
L, ..., Lk line bundles on X. Then there is a constant c depending only on the Li such that
dimH'(La)
fori>0andaeZk. PxooF. We can easily reduce ourselves to the case when the Li are all very ample. In fact, choose a very ample Lk+i such that Li®Lk+1 are very ample for 1 < i < k, and put Lti = L® ® Lk+1, L,+1 = Lk+i Then there is a linear automorphism T of Zk+' such that for a = (a1, ..., ak+i) e Zk+', Li'® Lk+i' _ (L')Ta and a-' I a 1< I Ta I< a I a I for a suitable a> 0.
Thus we assume all Li (1 < i < k) very ample- We proceed by induction on the integer v = dim I + k. When v = 0, the assertion is trivial. Thus we may assume v > 0 and that the assertion holds for smaller values of v. If now k = 0, the assertion
is again clear. Thus suppose k > 0, and let L' be the system of line bundles f Lx, ... , Lk_1} and for a = (a1, ..., ak) a Zk, set a' = (ai, ... , ak_1) e Zk-'. Then the existence of a constant c for all
a e Zk with ak = 0 follows by induction hypothesis. For any µ E Z, we have an exact sequence
0 - L'a' ®Lkv
L" ®Lk+'
L' a ®I+1 IQ - 0
where H is a hyperplane section for the projective imbedding of X given by Lk. Suppose now that ak > 0. We have the exact sequence
Hi(L'a'®LkH'(L' from which we have
dimH'(L'a'(& L4+') - dimH'(L'° (& L,-),< dimH'(H, L'a'® Lt+' In)
dim Hi(L'a'(g L4k)
ALGEBRAIC THEORY VIA SCHEMES
157
Similarly, if at < 0, the exactness of
H'-1(H,U°"®Lk+1IH)-'-) HP(X,L' (&Lk)--)R'(X,L'a'(&Lk+i) gives, for 0 > µ > ax, the inequalities dim H'(L'°"®Lx) - dim H°(L"° ®Lx+1) < dim H{-1(H, L'°"®Lk}11H)
and summing over p with 0 > µ > a, we get as before the required inequality. STEP A.
Let L be any non-degenerate line bundle on an abelian
variety X and H a very ample line bundle on X, and let P be the polynomial in two variables defined by P(m, n) = X(Lm® R' ).
If P(l, t) : 0 for 0 < t < 1, then i(L) = i(L(9 H). PROOF. The following remark is essential to what follows.
If f : X --> Y is an isogeny of abelian varieties of degree prime to p and L a line bundle on Y with X(L) 0 0, i(f*(L)) =1(L), In fact, we know by Cor. to Prop. 3, §7 that L is a direct summand off*(f*(L)), andH1(X,f*(L))=H'(Y,f*(f*(L))), so that H'(L) =A (0) H'(f*(f*L)) 0 (0) . H'(f (L)) 0 (0). Also if Lo EPi.c°X, then
i(L) = i(L®L°). In fact, for some x e X, L®L° = TT L, hence Hi(L) 96 (0) . H{(T? L) 0 (0) u. H(L® L°) 0 (0). In particular, =L°'® L° with L° a Pic°X, we see that i(L°') =i(L) since
for any n > 0, with p ,f' n.
Suppose then that N is a large square prime to p. If i(L) 0 i(L(&H), then i(Y) = i(LN(&HN), so there is a least integer a in 0 0, where V is a hyperplane section of X for the imbedding given by H, gives us that
0-- H41(L" (9 H°) R' (L" (D H°I v) is exact so that
158
ABELIAN VARIETIES
dim H'=(V,LN® HaIv)>dimH''(LN®Ha) =IX(LN®Ha)I
1ba.Pall). But there is a lower bound
P(l,t)>o>0if0
If Ll and LQ are two line bundles on an abelian variety
and F(s, t) is the homogeneous polynomial defined by F(m, n) = X(L'1" ® LQ), and if F(t, 1 - t) : 0 for 0 < t < 1, then i(L1) . = i(L2). PROOF. Choose a very ample L. such that L1(& L3®LZ' is also very ample. Set f(a, b, c) = X(L4 (D LZ ® Li), so that f(a, b, 0) = F(a, b). Since F(t, 1 - t) # 0 for 0 < t < 1, by continuity, we can
choose a square N, prime to p, so large that for 0 < r < N - 1,
0< t< 1, f (N - r, r, t) = N°f (1 -
f(N-r-I+t,r+1--t,0=N°f 1
N'
IV (
0'
-I-1-t r-{-t t) -A 0. N
N
N1
The first equation coupled with Step A gives us that for 0 < r < N - 1, r an integer, i(Lf -'® L's) ='i(Lf'-'® L2(& L3)
and the second gives us that i(Li -'® Lz ® L3) = i(LN-'-' ® LQ+I )
for 0 < r < N - 1, r an integer. Taken together, we get that for r in the same range, i(LN-'® L2) = so that we obtain
i(Lfv-r-' ®Lrg+x),
i(L5) =i(LN) =i(L2) =i(L2)
ALGEBRAIC THEORY VIA SCHEMES
159
COROLLARY. If L is non-degenerate and n any integer > 0,
i(L) = i(L"). STEP C.
If L, L2, and L® ® L2 are non-degenerate, i(L1® L2) < i(L1) + i(L2).
PROOF.
Let v: X x X -> X be the morphism (x, y) ti x - y,
and set L = pl (L1) ®pz (L2). Then v-1 (0) is the diagonal of X x X,
and if we identify it with X, L I v-1(0) becomes isomorphic to L1 ® L2, which shows that L 1,-,W is non-degenerate for any x c- X
and has index i = i(L1(& L2). Hence, the direct images R'v(L) vanish for j < i, and by the Leray spectral sequence, H'(X x1, L) = 0 for p < i. But now, Hi(L1)+i(L1)(X xX,pi (L1)(&p2a(L2))=H+4)(X,L1)0 H`(-)(X, L2) 0,
so that i(L1) + i(L2) > i =i(Ll(g L2). STEP D.
Let Ll and L2 be non-degenerate line bundles on an
abelian variety X such that L1® L2 1 is ample. If f(m,n) = x(Lr(& Lz), suppose f(t, 1 - t) has a unique zero r in [0, 1] of multiplicity A. Then
0 < i(L2) - i(L1) < A. PROOF. By Step C, we have
i(L1) =i(L1(D L21® L2) < i(L1® Lz') +i(L2) =i(L1) which proves the first inequality.
Since f is homogeneous and i(L") = i(L) for n> 0, we may replace L1 and L2 by suitable powers to suppose L1® L2' very ample.
Let us denote by H, 112'..., respectively a hyperplane section of X, a hyperplane section of this section, etc. for the projective imbedding given by L1 ® L2 1.
Let N be any large integer, which we suppose coprime to the denominator of T if r is ratiunal. Then there is a unique integer
rwith 0 < r < N such that it and i(L,) = i2.
r- I
IV
-
ABELIAN VARIETIES
160
We first propose to show by induction on a that for k,< r - 1, 1= N - k, we have
Hp(H11,01®L')=(0)ifp
= i(L4) =i2
Suppose then that a > 0 and the above holds for a -1 instead of a. From the exact sequence 0 -+ L11 1+'111--l ---* L110 4 IHa-l -i Li ®Lq IH - 0 we get the exactness of
H'(140 LZ IHa-1) - Hp(L3 ®L2Iaa) -- Hn+l (14 10 's ' Iaa--1) and the assertion follows by induction hypothesis. But now, the exactness of
H'(Li-1® LZ+1 IH.-1) - H'(Li (9 L12 IH.-1) ---; H'(Li (D L12 Jr.) coupled with the above fact gives us that the map H" (A ®L2 Iga-1) -+. H9(Li® LZ IHa)
is injective for p < i2 - a. Taking p = i1, we deduce that
H''(g, U(9 L'2)---)
Li® L21H{.-h)
is injective. Thus we deduce that dimH'-(Ll® L2 I$ti1-t,)> dimH'1(Li(g L2)
if
=IX(14®L's)I=NO (N, By the first lemma, we therefore deduce that there is a constant c > 0 such that for all large N (prime to the denominator of r if r is rational), NoI If (N, N) or
If r
a
c
If (N'N IA N':-'1' Now, f(t, 1 - t) = (t - r)1g(t) where g is non-vanishing at r. Thus
for all large N as above, there is a c' > 0 such that
ALGEBRAIC THEORY VIA SCHEMES
r 1V
-
TI
<-
161
c' ,
or
I Nr -,I < If r were rational and N cop rime to the denominator q of z, we
for all r, so that we must have
must have 1 -rr - T) >
a 2 --al
q
< 1, hence i2
Ni of integers a co, the distance of Ni- ifrom the nearest 22 integer tends to -, so that we again deduce that - Z1 < 1, hence
i2< it +A. This completes the proof of Step D. PROOF OF T15E TKEOREM. We are given an ample L and a non-
degenerate M. Let P(n, m) = X(L® Mm) We must prove that
all the g zeroes of P(t,1)=0 are real, and that i(M) is the number of positive ones (t = 0 is not a zero, since M is nondegenerate). Choose a positive integer q so that the real zeroes t1, ..., tk of P(t, 1) are divided up as follows:
rl <...
i(R) = i(rk) < i(rk - 1) = i(rk-1) < i(rk_1- 1) _... (R> rk) .... = i(r2) < i(r2 - 1) = i(rl) < i(r1 - 1) = i(S), (S < r1 - 1) and
i(r,-1)-i(n)
162
ABELLAN VARIETIES
very very 9 = i (negative ) - i ( positive
k
= L
i(rt - 1) - t(Tl) J
k
Ai,
But EAI, the number of real zeroes of P(t, 1) = 0 is at most g, so equality holds everywhere, and i(0) = i(M) is just the sum of the A, 's for which the corresponding root tt is positive. Let V be a complex vector space of dimension g and U a lattice in it such that X = V f U is an abelian variety. Let L = L(H, «) be a non-degenerate line bundle on X, so that H is a nondegenerate hermitian form on V. Then i(L) equals the number of COROLLARY.
negative eigenvalues of H. PROOF.
Choose a basis ul, u2, ... , u2n of U over Z such that
ui A u2... A u2p defines the orientation of V. Let La = L(H0, ao)
be an ample line bundle on X, so that Ho is positive definite. We set E = Im H and Ee . = Im Ho. We then have
X(Lo(9 L)=pf(nE0±E) where Eo and E are considered as skew symmetric matrices, using the above basis of U. Now, if we use any other positively oriented real basis of V, the Pfaffian gets multiplied by a positive scalar.
Thus, if el,...,ep is a C-basis of P, we can utilize the basis el,ie1,e2i ie2,...,ep, ie9 to compute the sign of the above Pfaffian. Choose ei such that H,(ei, ej) = 5,;, and H(ei, e,) = A 5,,, Ai a R*. Then nEo + E has the matrix
-nn+AL
0
0
0
0
0
0
+ A2
0
i
0
ALGEBRAIC THEORY VIA SCHEMES
163
0
and the Pfaffian of this matrix is II(n+A,), (since its square is the determinant and it takes the value A1... Ao for n = 0, hence the value 1 if all A; = + 1). Thus, the index of L is the number of negative It,.
This corollary can also be deduced from the results of Andreotti and Grauert [A-G).
Very ample line bundles. The object of this section is to prove the following theorem. 17.
THEOREM. For any ample line bundle L on an abelian variety X,
L' is very ample, if n > 3. PROOF.
For simplicity, we shall prove L3 is very ample. If
n>3, the same proof works. Since dimes°(X, L)=X(L)>0, we can choose an effective divisor D such that &x(D) is isomorphic to the sheaf of sections of L. Further, D can be chosen so as not to have any multiple components, for if k.E occurs in D with E irreducible k
k
and k > 1, kE is linearly equivalent to Y- Ts (E) for Ex; = 0, T. i-I and for suitable choice of the x.;, the (E) are all distinct and 1
distinct from the other components of D.
Thus we assume D without multiple components. Note that for any x, y e X, T. *(D) -ATV (D) -FT*z_ (D) e 13D 1. We have now
to establish the following statements. (1) Given x0, x1 e X with x°:A x1i there is a D' c- 13D I such that x° a Supp D', x1 0 Supp D'. (2) Given any tangent vector t to X at x°, there is a D' e 13DI such that x° a Supp D' and t is not tangential to D' (i.e. if = 0 is a local equation of D' at x0, (t, do> # 0).
Since we are making these assertions for any ample L, it suffices to prove (1) and (2) for any ample L with x0 = 0, since the general case follows by applying the result to a translate of L.
Thus, if (1) were not true (with xo = 0), we would have that for any D as above and any x, y e X,
ABELLAN VARIETIES
164
06SuppD-x n-
a(SuppD - x) u (SuppD - y)
u (SuppD+x+y). Since we may clearly choose y such that x1 does not belong to the last two members, we deduce that x E Supp D implies x E Supp D
- x1, that is, Supp D = Supp D -xl. Since the divisor D has no multiple components, this means that TA(D) = D. In particular, x,, e S(L), hence x, has finite order. Let x, generate the finite group F. We then have an 6tale morphism ir: X -* X/F, and Dl = rr(Supp D) is a closed subset pure of codimension one in X/F,
which we may consider as a divisor with all components of multiplicity one. Since a is etale, 7r*(D1) is again a divisor with all components of multiplicity one and has the same support as D, so that D = sr*(D1) and L = a*(Ox/z,(D,)). But note that dim H°(X, L) = X(L) _ (Order F).X(0x1F(Di))
= (Order F).dim H°(X/F, Ox/F(D1)) > dim H°(X/F, Ox,F(Di)).
Since the set of all divisors D, such that L = a*(0x1F(D1)) fall into a finite set of linear equivalence classes, this proves that all sections 8 E T(L) either define multiple divisors, or lie in one of a finite number of lower-dimensional subspaces 7r*r(OS1F(D,)). This is a contradiction, so (1) holds.
Similarly, suppose (2) is not true for a non-zero tangent vector t at 0, and let T be the invariant vector field defined by t. If (2) is false for all the divisors Ts (D) + T, *(D) + T*z_ (D), it follows
immediately that for all x e Supp D, the vector T. is tangent to D at x. Since D has no multiple components, this is equivalent
to the property: V U c X open, V local equations = 0 for D on U, (*)
T(#) = a.4, some a e 01(U).
In terms of the k[cl/(e2)-valued automorphism of X defined by T, (*)
just says that the divisor D - a subscheme of X - is inv-
ALGEBRAIC THEORY VIA SCHEMES
165
ariant. This implies that the k[e]J(e2)-valued point of X defined by t is in the subgroup K(L) of points leaving L invariant. Now
in characteristic 0, all group schemes are reduced, so K(L) is finite and discrete and this cannot hold unless t = 0. On the other hand, in characteristic p, let H be the smallest subgroup of K(L) containing t; then H c X(-13 and will be determined by its Lie algebra which will be the span of t and its pth powers. It
is easy to see that D will be invariant under translations by all points of H. [In fact, if H = Spec(R), the action of H gives a homomorphism of R* into the ring of differential operators on .X, mapping elements of 4 into the corresponding invariant derivations. Since b generates R*, and the sheaf of ideals
Og(- D) is stable under 1) by (*), it is also stable under R*, hence we get a homomorphism R* -s Diff(OD), i.e. an action of H on D.] Let X' = X/H, D' = DJH. From the results of §12, we find that ir: X -,- X' is flat and surjective, that D' is a closed sub-
scheme of X' and D = if xg.X. Therefore if 5' is the sheaf of ideals of D',
Ox(- D) = ,?' ®Oz,Or. Since D is a divisor, Oa( - D) is a locally free sheaf, so by Part (B), Theorem 1, § 12, 5' is a locally free sheaf, i.e. D' is a divisor too. Now D = lr*(D'), so we compute, as before :
dim H°(X, L) = deg Tr.dimH°(X/H, Cxl,(D'))
> dimH°(X/H, Osta(D )).
Exactly as before, this implies that all sections a e P(L) either define multiple divisors, or lie in one of a finite set of proper subspaces --a contradiction.
CHAPTER IV Hom (X, X) AND THE l-ADIC REPRESENTATION 18.
Etale coverings. The main result is the following
THEOREM. (Serre-Lang.) If X is an abelian variety, Y a variety and f : Y -+ X is an !stale covering, then Y has a structure of abelian variety such that f becomes a separable isogeny.
PROOF.
Let P,,, be the graph of the multiplication m: X x X--)-
X in X x S x X, and r, the inverse image in Y x Y x Y of r_ by f x f x f. Since (1)1" P,,, is an Bale covering, (2) p12: Pm-+X X X is an isomorphism, (3) we have the commutative diagram r,
YxY
fxf
and (4) f x f is an. stale covering, p12: P' --> Y x Y is an stale covering too. Choose a point yo e Y such that f(yo) = 0, and let P be the connected component of P' containing (yo, yo, yo) (which belongs to P' since f(yo) = 0 and (0, 0, 0) a Pm). Then the restric-
tion p: r -> Y x Y of p12 is again an 6ta1e covering, so that the degree of p equals the number of points of any fibre of p. We want to show that p is an isomorphism, or equivalently that there is one
point of Y x Y whose inverse image in r is again a single point. Let ol, a2: Y -* P be defined by al(y) = (ye, y, y), a2(y) = (y, ym y) (Since a;(Y) c P' and (yo, yo, yo) a o,(Y), it follows that o (Y) C P.)
Then the restriction of p to a2(Y) is a bijection of a2(Y) onto Y x {yo}. It therefore suffices to establish that p-1(Y x {yo}) = a2(Y), or equivalently that if q: P - Y is the restriction to r of p2: Y x Y x Y -r Y, q-1(yo) = a2(Y). Since a2JY) is an irreducible component of q-'(yo), it suffices to show that q-'(y0) is irreducible. Now, r is-non-singular, being Male over Y x Y and hence X x X,
168
ABELI.9N VARIETIES
and since it is also connected, it is irreducible. Further, the morphism q: P i Y is smooth, being the composite of the etale mor-
phism P -> Y x Y and the projection Y X Y 2 Y. Finally a,: YAP is a section for q. Now the assertion that q- I (yo) is irreducible follows from the LEMMA.
Let f : X -3 Y be a proper smooth morphism of
irreducible varieties such that there is a section a: Y -X, f o a = ly. Then all fibres off are irreducible.
PaooF. We may assume Y = Spec A affine. Let B = P(X,Og), so that B is an A-algebra which is a domain since X is irreducible and a finite A-module since f is proper. The morphism f factorises h
as X g Spec(B) -± Y where Spec(B) is again an irreducible variety. But go a is a section of h, and since dim(Spec B) = dim Y, g o a is surjective, hence h is an isomorphism, and A =B.
Since f is smooth, its fibres are non-singular, and it suffices to show that they are connected. Let 0 - KO K, ... be a complex of free finitely generated A-modules giving the- direct images of Ox
universally, so that by the above, we have an exact sequence 0 A--)- KOOK,. Let y be any point of Y, 9Jl its maximal ideal in A. Since completion with respect to the P -adic topology is an exact functor, we have an exact sequence 0 -> A KO - K1, so
that!
ll m Ker [ K.
-' L l . But now, J
Ker [2"KO,1t"K,J = H°(f-'(y), Oaf°Oa)> so the natural map A
lim H°(f-'(y), oa' n Ox) is a ring
isomorphism. If f-'(y) were not connected, let f-'(y) = Z, u Z2, Zi closed,
Z, n Z2 = 0 and Zi 0 f-'(y). We can find a unique
f E H°(f -'(y), d X1Ft' Os) which reduces to 1 on Z, and 0 on ZS,
Hom(X,X) AND THE i-ADIC REPRESENTATION
169
and (f") defines an element f e lim Ho(01/ Q*Ox) = A with f8=f,
4-
and f 0 0 or 1. This is impossible since A is a local ring. The lemma is proved.
Returning to the proof of the theorem, we have shown that p1s: P -+ Y x Y is an isomorphism, so that v = ps o p121: Y X Y -}Y
is a morphism. Since, as we saw, r D a1(Y) and a2(Y), it follows that v(y, yo) = y = v(yo, y). Therefore, from the theorem proved in the Appendix to § 4, Y is an abelian variety with composition law v and zero element yo. Since f(yo) = 0, f is a homomorphism of abelian varieties. REnfAax.
If I is an abelian variety and f : Y -+ X is an
isogeny, then we can find an isogeny g: X -3- Y with fog=nz for
some n > 0. In fact, since kerf is a finite group scheme, it is killed by some integer n > 0, hence ker f g ker(ny). Since Y/ker f, it follows that n . factorizes as np = go f for a homomorphism g: X -i-- Y. But then fog = nr too, since for all x EX; x = f (y) for some y e Y, and therefore X
f-9(x) =f(9(f(y))) =f(ny) =nf(y) =nx: We can interpret our results in terms of the fundamental group 771(X). Recall, that if X is any non-singular variety, and xo eX is a base point, the group 771(X, xo) is constructed as followst: consider the set of all morphisms
YO
'--0
X0
together with a base point yo e Y lying over xo such that (1)
a finite group GF acts freely on Y and 1 YJG, and
(2)
Y is connected, hence Y is again a non-singular variety.
Given
two such
tFor details, cf. (021 pp. 60-61.
ABELIAN VARIETIES
170
f n
-A
X Xnxo
I
A
-
Yo C- Y .
recall that there is at most one morphism f : Y'--> Y' such that
A,
y{!
(i)
A"-
(ii)
f(Yo) =Y Y.
When f exists, there is a unique surjective homomorphism
p:(ir.(3r
such that f(u y) = p(a) f (y), all
e Qr., y e Y'. We order the
triples (Y, yo, or) by saying (Y', yo', ir')> (Y", yo, 7r) if such an f exists. Then the set of (Y, yo, ir)'s forms an inverse system, and we define
v,(X, xo) = lE lm Gr.
Now suppose X is an abelian variety and xo = 0. Then all such Y's are abelian varieties, and 0r is just the kernel of 17 acting on Y by translations. In particular, we see that irl(X) is abelian. To describe it more explicitly, it is convenient to break it up into the product of its l-primary piece for different primes 1. First suppose l = p. By the remark following the theorem, the set of etale coverings
X
l" 4- X
is cofinal in the set of all tale coverings Y -* X, #(Ker 7r) = l"', some m. Therefore, the l-adic component of r1(X) is the inverse limit of ker(la), or X.. This is called the l-adic Pate group of X. DEFRGTTION.
Tr(X) = lim Xr,,, where the inverse system is
Hom(X,X) AND THE l-ADIC REPRESENTATION
---*.xn+1
IX
171
4 Sin -...- 9Y%.
As an inverse limit of finite abelian 1-torsion groups, T1(X) has the structure of a module over the l-adic integers Z. Since X,, (ZJl"Z)10, it is easy to see that T=(X) m ZZ, as a Z, -module. Secondly suppose l =p. In this case, break up Ker(pg) = X°Pn x Mo
where XP°" is local and X' P. is reduced. Then by the remark
following the theorem, the set of etale coverings ir" in the diagrams
x
K
-
\1,
/.
Y"=SJ2;
-
is cofinal in the set of all btale coverings of X whose degree is a power of p. But Ker(7r") = Q7(X ,n) = %'p", so the p-adic component of vl(X) is again the p-adic discrete Tate group.
DErmmoN. T,(X) = lim XD" (the inverse system as before). TP(X) is a Z,-module and if r=p-rank of X, then clearly TP(X) (Z,)'. The full fundamental group is then given by vi(X) =
fJ Ti(X). Q primes i
Now suppose k = C, and X= VJU where, as usual, V is a complex vector space and U is a lattice. Then, in addition to the algebraic fundamental group as just defined, we have the usual topological fundamental group aitOP(X), which, as we saw in §1, is
canonically isomorphic to U. On the other hand, since
Xl".ln.UJUCVJU=X,
ABELIAN VARIETIES
172
it follows that T=(X)
lim ZK U/ U
with maps
U/U -L T. U/U,
T1(X) = lim U/l"U 1
with maps U/l" IU--> U/l"U. In other words, TT(X) is the l-adic completion of U = , (X), and
zr (X) _. jJ Tda') I
= lim U/n!U n
= full pro-finite completion of U
Structure of Hom(X, X). For two abelian varieties X and Y, we denote by Hom(X, Y) the group of homomorphisms of X into Y, and by End X the ring Hom(X, X). Further we shall put Hom°(X, Y) = Q ®ZHom(X, Y) and End°(X) _ Q®ZEndX(End°X is classically called the algebra of complex multiplications of X). Composition of homomorphisms extends to a unique Q-bilinear map Hom°(X, Y) x Hom°(Y, Z) -a Hom°(X, Z), so that we can 19.
form a category whose objects are abelian varieties, and morphisms from X to Y are elements of Hom°(X, Y), the so-called category
of "abelian varieties up to isogeny". We have seen that given any isogeny f : Y X, there is another isogeny g: X -+ Y such
that fg = n1, and this proves that in the new category, isogenies are isomorphisms. Thus in future, whenever we have an isogeny f : Y -* X, we shall denote by f-x its inverse in
Hom(%,X) AND THE 1-ADIC REPRESENTATION
173
Hom°(X, Y). It is also clear that we can give the following more fancy definition of Hom°(X, Y):
Hom°(X, Y) = lim Hom(X', Y).
(Iga) THEOREM 1. (Poinoare's complete reducibility theorem.) If X is an abelian variety and Y an abelian subvariety there is an abelian subvariety Z such that Y n Z is finite and Y + Z = S.
In other words, X is isogenous to Y x Z.
Let i: Y X be the inclusion, and i s X -+ Y its dual X - X is homomorphism. Let L be ample on X, so that an isogeny. We take Z to be the connected component of 0 of .E'(ker i). We then have dim Z = dim ker i > dim X - dim Y = dim X - dim Y. Further, by definition of i and ¢L, if z e Y, then Pxoor.
z e ly '(ker i) n Y
Ts L® L-1 l y is trivial z a K(L j.).
Since L l Y is ample, K(L I y) and hence Z n Y is finite.
This
means that the natural homomorphism Z x Y - X has finite kernel, and since dim(Z x Y) = dim Z + dim Y> dim X, it is also surjective.
REMAE$. Over the complex field, the complete reducibility theorem is very simple to prove. In fact, let X = V/U with V a
complex vector space and U a lattice, and H a positive finite hermitian form on V which is non-degenerate with E = Im H integral on U x U. Then any abelian subvariety Y of X is of the form V1/U n Vl where Vl is a complex subspace of V with V 1 n U a lattice in V1.
If V2 is the orthogonal complement of V
for H, then (a) V. is also the orthogonal complement of V for E, hence the. lattice U n V2 is of maximal rank in V2; and (b) Vl n V2 = (0) since H is positive definite. Thus, if Z = V2/V2 n U, Z is a complex subtorus of I such that Y n Z is finite. The restriction of H to V2 gives a Riemann form on V2, which shows that Z is an abelian subvariety.
ABELIAN VARIETIES
174
In fancy language, the theorem shows that the category of abelian varieties up to isogeny is a "semi-simple abelian category, all of whose objects have finite length". More concretely, we get the following corollaries by standard arguments. DEFINITION. An abelian variety is simple if it does not contain an abelian subvariety distinct from itself and zero. CoaoLLAnr 1. Any abelian variety X is isogenous to a product
X, x ... x Xkk where the X; are simple and not isogenous to each other. The isogeny type of the Xi and the integers n; are uniquely determined.
(Proof standard.) For X simple, the ring End°X is a division ring. For any abelian variety X, if X = X, x ... x Xkk, with X; simple and not isogenous, and A = End°X;, then ConoLLAnY 2.
End°(X) = Mnl(DI) ® ... E) Mnk(D,E).
(Here Mk(R) = ring of k x k matrices over R.) PnooF. For X simple, any non-zero endomorphism of X
is an isogeny, hence an invertible element in End°X, which proves the first assertion. As for the second, Hom(I 1, .i) = (0)
j, so End°X = p IEnd°(X;i). And End°(X,i) is clearly i-i the algebra of matrices of order n; on the division algebra D. We shall say that a function # defined on a vector space V is a polynomial function of degree n if restricted to any for i
finite-dimensional subspace, it is a polynomial function of degree n or, equivalently, if for any v°, v, a V, #(x°v° + xlvl) is a
polynomial in x° and xl of degree. n. Thus for instance, we have seen that X(L) extends to a homogeneous polynomial function of degree g on the vector space NS(X)®zQ. THEonnm 2.
The function 0 i -- deg 0 on End X extends to a
homogeneous polynomial function of degree 2g on End°$.
Hom(.,X) AND TB i-ADIC REPRESENTATION
175
Since for ¢ e End X and n e Z, deg no = deg n1. deg 0 = n'deg it suffices to show that for 0, 0 a End X, the function P(n) = deg (no + 0) is a polynomial function. If L is an ample PROOF.
line bundle, we have that deg (no + 0) = X ((n$ + )*(L) ) X(L)
Therefore it suffices to show that X((ns6+#)*(L)) is polynomial
in n. Putting L(") = (no + #)*(L) and applying Corollary 2 of the theorem of the cube to the three morphisms no + 0, 0, 0 respectively we get that L("+,>® L(.+2 1)0 L(")® (20) *L-1® #*L®'Q*L = 1,
from which it follows by induction on n that for suitable line bundles L1, L2, and L, on X, L("1 = L1'("-1)12®L2®L3.
Since x(L) is a polynomial function of L, X(L(")) is a polynomial in n. To go further and prove, in particular, that dimQHom°(X, Y)
it seems to be essential to use some entirely new method. If k = C, we can compute Hom(X, Y) very quickly like this.
is finite,
Let X1 = V1/U1, gX = dim X1, X2 = V1/U21 g, =dim X2, Vs complex vector spaces, U; lattices.
Then every algebraic homomorphism f : Xl -+ X2 lifts complex-analytic homomorphism f : V1
to a
V2. As is well known,
such f's are simply the complex linear maps from V1 to V2. Conversely a complex linear map L: Vl
V2 induces an analytic
homomorphism f : $1 i X2 if and only if L(U1) c U2, and by Chow's theorem (cf. §1) all analytic homomorphisms from $1 to X2 are algebraic.
ABELIAN VARIETIES
176
This proves :
Homtu (X1,X2)
L:V1- V2I L complex-linear, L(U1) c U2 }.
In particular, L is determined by its restriction to U1 so we get an injection T: Hom abelian (Xi, X2) -+ Homz(U1, Us). varie6iea
Since Ui is the topological fundamental group 1r(X;) (or the homology group H1(Xi)), the map T is just the functorial repre-
sentatio._ of maps between spaces via maps between al's (or Hr's). If we introduce bases, we have a faithful representation of Hom(X1, X2) by 2g1 x 2g2-integral matrices. In particular, Hom(X1, X2) is a free abelian group on at most 4g1g2 generators.
Even when the group field k is not C, an analog of the above method works. This consists in using the free Z1 module Ti(X) instead of the free Z-module U = vrl°j'(X). In fact T1(X) is just the i-primary component of the algebraic fundamental group irl(X), and when k = C, T1(X) is nothing but the l-adic completion of U. If X1 and X2 are two abelian varieties, every homomorphism f:X1 X 2 restricts to maps f : (X1)1n (X2)1" and hence it induces a map
T1(f): T1(Xi) - - T1(X2) The map f 1-- s'1'1(f) itself is a canonical homomorphism: T1: Homsbellan(X1, X2) a Homz1(T1(X1)1 Ts(X2)), va 1etea
known as the 1-adic representation. In fact, in terms of bases of T1(Xi) over Z1, this represents homomorphisms f by 2g1 x 2g2 matrices with coefficients in Z1. We now prove THEOREM 3.
For any pair of abelian varieties X and Y,
Hom(X, Y) is a finitely generated free abelian group, and the natural map Z1®zHom(X, Y) -+ Homzi(T,(X), T1(Y))
(*)
IIom(I,I) AND THE l-ADIC REPRESENTATION
177
induced by Tt: Hom(X, Y) -* Homyi(T1(X), T,(Y)) (l any prime 3-4 char k) is injective.
PROOF. Note that since Hom(X, Y) is torsion free, we have an inclusion Hom(X, Y) c Hom°(X, Y).
Step I. For any finitely generated subgroup M of Hom(X, Y),
Q M n Hom(X, Y) = {0 e Hom(X, Y) I no e M, some n : 0) is again finitely generated.
To prove this, choose isogenies f XX" -)- X and Y -> f Y1"J where Xi, Y; are simple abelian varieties. Then Hom(X, Y) gets
mapped injectively into n]om(Xi, Yf), so that it suffices to id
prove this result for X and Y simple. If X and Y are not isogenous, Hom(X, Y) = (0), so that we may assume that they
are; in this case using the injection Hom(X, Y) - End X induced by an isogeny Y a X, we are reduced to the case X = Y and X simple. By the earlier theorem, there is a homogeneous polynomial function P on End°X such that for 0 e End X, P(¢) = deg 0 e Z. Since any ¢ # 0 is an isogeny, P(o) > 1 if o e End X and o :A0. Now Q.M is a finite-dimensional space, and I P(¢) I < 1 is a neighborhood U of 0 in this space. Therefore U n End (X) = (0), so End X n Q.M is discrete in Q.M and hence is finitely generated.
Step II. For any l 9i p, the map (*) is injective.
In fact, it suffices to show, in view of Step I, that for any finitely generated (hence free) submodule M of Hom(X, Y) such that M = Q.M n Hom(X, Y), Zt ®zM
> Homz'(TT(X), TI(Y))
is injective. Let fl, ..., f, be a Z-base of M. If this map is not
injective, since the right side is Zt-free, we can find ai a Zl with at least one °c{ a unit such that E a; fi.i--+ 0. Hence we can find P
integers ni (1 < i < p) not all = 0 (mod 1) such that Tj(E -if) I
maps Ti(X) into lTT(Y):
By the very definition of T1(f), this
ABELIAN VARIETIES
178 9
means that
n; f. = f maps X1 into 0. But then, f factorizes as
X -+ X ) Y, g
9
m; f;.
and since g e Q.M n Hom(X, Y) = M,
Thus Enn f; = Mm, f;, and f1, ... , f, being a basis
of M, Z I n; for all i, a contradiction.
The theorem now follows. In fact, because of the injectivity of (*), Hom°(X, Y) is finite-dimensional over Q, and because of Step I, Hom(X, Y) is finitely generated, and being torsion free, it is also free. COROLLARY 1.
PRoop.
Hom(X, Y)
Z' with p < 4dim X.dim Y.
In fact, the rank of Hom(X, Y) is at most that of
Homzl(Tt(X), P (Y)) which is 4dim X.dim Y. COROLLARY 2.
For any abelian variety X, the group NS(X) _
PicX/Pic°X is free of finite rank (called the base number of X).
PRoo . In fact, the homomorphism L i-- 4 induces an injection of NS(X) into Hom(X, X). COROLLARY 3.
End°X is a finite-dimensional eemi8imple algebra
over Q.
Let A be a'finite-dimensional associative algebra over a field r, which, for simplicity, we assume to be infinite. By a trace form on A over P, we mean a r-linear form
S:A ->r such that S(XY) = S(YX) for X, Y e A. A norm form on A over r is a non-zero polynomial function
N: A--) r (i.e. in terms of a basis of A over r, N(a) can be written as a polynomial over r in the components of a) such that N(XY)== N(X).N(Y) for X,Y a A. The following lemma is well known, but we include a proof for the sake of completeness.
Hom(S,X) AND THE I.ADIC REPRESENTATION
179
Let A be a finite-dimensional associative simple algebra
LEMMA.
over a field r (assumed infinite) with center A, separable over r. There is a canonical norm form NO and a canonical trace form TO of A over A such that any norm form (resp, trace form) of A over r° is of the type (NmairoN°)k with k an integer > 0 (resp. oTr° where 0: A -r r is a r-linear form). If [A: A] = d2, NO is homogeneous of degree d.
Pnoor. When r = A is separably closed, A can be taken to be a matrix algebra MM(r). In this case, the elements %Y- YX span the vector subspace of matrices of zero trace, and any norm form gives rise to a rational homomorphism of algebraic groups GL(d) -> G.. This shows the validity of the lemma with Tr = matrix trace, N = matrix determinant.
In the general case, let f be the separable closure of r, o;: A P (1 < i < [A: r]) the various imbeddings of A in 1' over r, and P,;) the field r considered as a A-algebra through a,. We have an isomorphism of T' algebras
A®rr = A ®A(A(& rr) cf F1 A®A r;;r Denote the image of a e A® rP under this isomorphism by If N is any norm form on A over r, it extends to a norm form of
Aq rP over P, and defines a norm form N; on A® r1'(;) by the equation .N (e) =N(1, 1, ..., ¢,1, ..., 1). By what we have seen, Ns = (N°-)"; , where N° is the reduced norm of A®AF(o over r(r, so that we get
N(a) = H x(ma)) . We shall show that the norm a -+ II N°(#;(a))" of A ®rr over P comes from a norm of A over r by base extension if and only if all the n, are equal. Since I' is the separable closure of r, N comes from r if and only if for any automorphism a of r over r, we have N((1(9 a)a) = u(Na), that is to say,
180
ABELIAN VARIETIES
FT N (4i ((1®a)a))"i = o rT N0j(0i(a))"i
.
i Now, there is a permutation 7r of the integers from 1 to [A: P] such that a 0 of =a (i), and we have the commutative diagram ci
so that (since the second. vertical arrow is an isomorphism of simple algebras over the isomorphism a of separably closed base
fields) we get N>,,,()((10 a) (a))] = a N°(oi(a)), and on substitution, we see that we must have n (i) = n, for all i. Now, the jalois group of P over r acts transitively on the imbeddings over A in P, so that we must have all the ni equal.
Thus we see that we may take N°(a) =
in the
i lemma, and then N(e) = Nm, .(NN,A(a))" . The assertion about the trace is even simpler.
DEFINITION. NmArr o N° will be called the reduced norm of A over P and TrAfr o TO will be called the reduced trace of A over P.
We can now prove the following important TsEoREM 4. Let f be an endomorphism of an abelian variety, and T1(f) the induced endomorphiem of T7(X) (l:A characteristic). Then
deg f = det Ti(f ), hence
deg (n.1z -f) = P(n), where P(t) is the characteristic polynomial, det (t - TI(f)), Of TIM.
The polynomial P is manic of degree 2g, has rational integral coefficients, and P(f) = 0.
HOm(X,X) AND THE I-ADIC REPRESENTATION
181
PBooF. The functions f i o dog f and f det TI(f) both extend uniquely to norm forms N, and N2 respectively of degree 2g on the semi-simple QI-algebra QI®z End X, where QI is the quotient field of ZI. If j 1 denotes the l-adic absolute value, we assert that ! NIa I = ! N2a ! for all a e QI ®z End X. In fact, it
suffices to verify this by homogeneity for a eZI ®z End X, and by continuity for a e End X. Thus we have to show that the power of I dividing deg f equals the power of l dividing det T, (f). Now, the
power of I dividing deg f is the order of the kernel of XI - f- - XI for n large, or what is the same the order of the cokernel of this
map for n large. On passing to the limit, it is also the order of the cokernel of TI(f), which is 1, where v is the power of I occurring in det TI(f).
Now let QI®Z End X,= HAS
be the
decomposition
;m1
of
QI®z End X into a product of simple algebras. The norms N1 and N. go over into norms on 11A;, i.e. into power products Ni(al, ... ,
r
_;f N°(a5)"j (i = 1, 2),
where N° are. the norm forms on A, over QI of lowest degree, by the lemma. On taking ay =1 for j =A j 0, we deduce that = 1 for all ado a Ago. Since Nje is homogeneous !N;o(s ) of positive degree, we see (by multiplying oeo by 1) that vl;® = v,,,, and since this holds for all j0, N, = N2.
This proves the first statement of the theorem. The second follows on substituting n.11 - f for f and using TI(n.Ix- f) = n.1TI(x) - TI(f). Now P has to be monic of degree 2g and, since P(n) is an integer for all is, its coefficients are all rational.
Further, since End X is a finite Z-module, f is integral over Z, so j f and hence TI(f) satisfies a monic equation over Z. Hence all the eigenvalues of the matrix TI(f ). are algebraic integers, and
its characteristic polynomial has coefficients
which are algebraic integers. Since the coefficients are also
182
ABELXAN VARIETIES
rational, they are rational integers. Hence P(f) is a well-defined element of End X, and we have finally T1(P(f)) = P(T, f) = 0,
so that P(f) =0. The above polynomial P(t) (which belongs to Z[t] and is independent of 1) is called the characteristic polynomial of f. Its constant term and minus the coefficient of tf-1 are called the norm and trace respectively of f. DEFINITION.
By the lemma proved earlier, we see that if End°X = A, x ... X Ak where A. are simple algebras over Q, and we denote the components of an f e End°X in As by f, and the reduced norm of A; over Q and the reduced trace over Q by Nm° and Tr° respectively, we have k
Nmf=fl(Nrn°f)"i, 5
i=1 k
Trf = where n; are integers > 0.
:-1
n,Tr°f
COROLLARY. Let X be a simple abelian variety of dimension g, K the center of the algebra End°X, [K: Q] = e, [End°X: K] = d2. Then de divides 2g.
PROOF. We have Nm f = (Nm°f)" for some n. But Nm is a polynomial function of degree 2g, and Nm° is a polynomial function of degree de.
RErQARK. When the characteristic of k is zero, with assumptions as in the above corollary, one can say even that d2e divides 2g. In fact, we may assume (by the Lefschetz principle) that k is the complex field. Let X = VI U as usual. Then the division ring
End°X admits a faithful representation in the rational vector space iT®Q, so U®Q becomes a vector space over End°Y. Hence dimQ U® Q = 2g must be divisible by dimQ End°X = d2e.
This is definitely false in positive characteristic. In fact, for any characteristic p > 0, we shall see in §22 that there exists an
Hom(X,X) AND THE i-ADIC REPRESENTATION
183
elliptic curve X with p-rank 0 and that for such a curve, End°X is non-commutative of rank 4 with center Q. Thus, in this case, de = 2 = 2g. DEFINITION. A simple abe,lian variety X is of (CM)-type if de = 2g where d2 is the rank of End°X over its center If, e is the degree of K over Q and g the dimension of X.
Now, in a division algebra A of rank d2 over its center K it is well known that all maximal commutative subfields have degree d over K. Thus, a simple abelian variety X is of (CM)-type if and only if End°X admits a subfield of degree 2g (since in any case, de < 2g). Let l be a prime different from the characteristic of k, and let i" be the group of l"-th roots of unity in k*. We have homomorphisms µri}1 pi" given by e --) 1, and 20.
Riemann forms.
this makes {µi"} a projective system. Let us put Ml = lim Kr,. M1 has the structure of Zt module. Since evidently we can choose isomorphisms pr, = Z/l"Z such that the maps µI"+1 µr. go over
into the natural maps Z/l"*1Z -Z/l"Z the projective limit is (non canonically) isomorphic to the Z, itself.
Now, let n be any integer prime to the characteristic. We have set up a canonical isomorphism of ker ng with the dual of ker nx,
that is to say, we have defined a pairing which we will call Z.: X. x (X). -+ N, where p. is the group of n-th roots of unity in
P.
Recall the definition:
Take a e X. and A e (X)", and let A correspond to the line bundle L. Then L" is trivial, so n4L is trivial too and
L =All x X
( action of X. O"(a,z) = (X(u).Ct, z + u)
for a character X: X. - k*. Then e"(a,A) = X(a)-
ABELIAN VARIETIES
184
In other words, we take the canonical action of X,, on nx*L and carry it over to an action of g" on the trivial bundle, where it is
given by a character X. It is useful to have an alternate definition of i using divisors instead of line bundles. Let D be a divisor such that OX(D)=L. Since L" and nnL are trivial, there are rational functions f and g
on I such that
(f) = nD, (9) = n$1(D) Then
(naf) = n.ng1D = (9"), so for some constant a,
g"(x) = a.f(n.x), all x EX. It follows that [g(x)/g(x + a)]" = 1 for all x e %, i.e. g(x)/g(x + a) is a constant n-th root of unity, and we can prove g(x)
LEMMA.
a"(a,h) =
PnooF.
Let g(xg+)
9(x + a)
a)
= 77(a)- Consider the diagram of maps of
sheaves:
n* Ox(n$1D)<---
OAD)
mult. by g
Og.
It follows that for all affine open sets U c I, if V = nj'(U), then we get a diagram n$
r(U,O1(D))
' r(V, ex(nj'D)) < mult. by g
r(V,ox)
and this identifies r(U,O1(D)) with the subspace of r(V,O$) of functions f(x) such that
Hom(X,X) AND THE d-ADIC REPRESENTATION
f(x+u) g(x+u)
185
allu a Xp.
On the other hand, if we let M be the quotient of Al x X.by the action of X. 0.(a, x) =
x -- u),
then 17(U, M) is identified with the subspace of J'(V,Ox) of functions
f(x) such that #u(f(x), x) = (f(x + u), x + u), all u e X,,, i.e. f (x + u) = 77(u) . f (x), all u e X,,. This is the same condition as before, so M e O%(D), i.e., M L. Therefore 77 must equal X.
We want to pass to the'limit over n, by means of the Let in, n be two integers coprime to the characteristic, x e X,,,,,, y e (X)... We then have PROPOSITION.
en(mx, my) = (em' PROOF.
' y))'"
Let V be a complete variety, G a finite group
acting freely on V, H a normal subgroup of G, L a line bundle on VJG which becomes trivial when pulled back to V/H. Then we get an associated homomorphism X of G/H into k* as above. But now, L becomes trivial also when pulled back to V, and we thus get a homomorphism X' of G into k*. It is then clear that X' = X o rl where 77: G G/H is the natural homomorphism. Let us now apply this remark with V = X, G = X,,,,, and H
The quotients X -- X/G, X -+ X/H and XJH
X/G identify themselves to the maps (mn)g: X -- X, mg: X - X and nom: X i X respectively, and the natural homomorphism G a. G/H becomes m
Xm --0 X.. Hence, for any line bundle L on X such that n%(L) is trivial, and any x c- X.,,, we have by the above that e,.(mx, A) =
e the proposition follows.
A
e (X),,,,,,
ABELIAN VARIETIES
186
In particular, taking n = lk and m =1, we get the commutative diagram ek+i
X'-+j x gk+i. xI
l-th power
1,i
Xtk X X
plk
and hence by passage to the limit as k -+ oo, we get a
natural
pairing
el: TT(X) x TT(X) - - Mi.
One checks trivially that this pairing is Zt bilinear and nondegenerate. Further, if f: X -> Y is a homomorphism of abelian varieties, f its dual and T,(f) and Ti(f) are the homomorphisms induced on the Tate modules, we have for e e TI(X) and +1 e T1(Y), et(TT(f) (c), n) = ei(e, Ti(f) (n)). (I) This follows from a corresponding equation for e., which follows
readily after writing out the definitions. THE RIEMANN FORM OF A DIVISOR. DEFINIxION.
Let L be a line bundle on an abelian variety X, and
l a prime distinct from the characteristic of k. We then define the Biemann form EL of L to be the Z, -bilinear map EL: T=(X) x TT(X) - - M, given by EL(x, y) = et(x, T,(OL)(y)) THEOREM 1.
The Biemann form EL of any line bundle L is
skew-symmetric.
We will give a sheaf-theoretic proof of this in §23. Rather than chase through confusing diagrams, here is the proof in the language of divisors.
It suffices to prove that e (a, OL(a)) = 1, all a e X.. Let the divisor D represent L. If a e X,,, and g satisfies PROOF.
Hom(A,%) AND THE 1-ADIC REPRESENTATION
(g) = n%1(Ta-1D - D), then we must prove that g(x + a) -- g(x), all x e X. Choose b such
that nb = a, and let E = n,1D, so (g) = Tb-lE - E. Then
T;elE,
(T eg) =
and since E is invariant under T., n-1
n-1
Q T og l =
Tc1+1wE - Ti61E = 0
n-1
Therefore h(x) _ fJ g(x ,-- ib) is a constant, hence i-0 n-1
b(x+b)
_ g(x+b+ib) _ g(x+a) n-1 rl g(x + ib)
h(x)
g(x)
i-0
-j
Thus L d --s EL induces a map: NS(X) II def
Alternating 2-forms TI(X)
Pic(X)/Pic°(X) This is injective since EL = 0 to. ¢L = 0 since e1 is non-degenerate.
Now, if f: X - Y is a homomorphism of abelian varieties, and L is a line bundle on Y, then E'*L(x, y) =EL(TTf(x), Tif(y)), x, y e TIX. PBOOF.
(II)
Ef'L(x, y) = et(x, 4L y)
= el(x, Tlf o' L o T1f(y)) e1(T1f(x), OL(Tif(y)))
= EL(Tlf(x), T1f(y))
Next, we can compute EP, when P is tho Poincarg bundle on X x I. Identifying T1(X x X) with T1(X) x Ti(%), then
ABELIAN VARIETIES
188
(III) EP((x, 2), (y, 9)) = et(x, y) - ei(J, 2). Pnoor. By skew-symmetry and linearity, it suffices to show that EP((x, 0), (y, 0))=EP((0, x), (0, y)) = 0 and EP((x, 0), (0, y)) = e1(x, y). Using the functoriality property of E for the inclusion of X x (0)
in X x X and the triviality of the restriction of P to X X (0), it follows that EP((x, 0), (y, 0)) = 0; similarly EP((0, x), (0, y.)) = 0.
To prove the last assertion note that we have an isomorphism
xn
(X
X x Y which is given by the map of line bundles
Y)
L +--s (L I X x (0), L I (0) x Y) for L e Pic°(X x Y). In particular,
n..
taking Y =1, we have an identification of (X x X) with X x X. Now, for any (x, 2) e X x %, ¢P((x, x)) is given by the line bundle T, t,.^) P® P-1, and this is determined by the pair of bundles
(T*(x.x))' ®P^lIZx(o),P*(z.z)P®P-1I(o)xs) s (PISx{s)
Therefore ¢t,((x, x)) _ (x, i(x)), where is X -+ X is the natural homomorphism. Thus, we obtain EP((., 0), (0, y)) = e1((x, 0), (y, 0)) = e1(x, y).
Theorem 1 has the following partial converse. TBEos aM 2.
Let X be an abelian variety, and 0: X - . X a homo-
morphism. Then the bilinear form (x, y) H e1(x, 4) on T1(X) is skew-symmetric if and only if there is a line bundle L on x such that
20=OL Puoor. If 20 _ 4L, 2e1(x, 4.(y)) = e1(x, 4L(y)) is skew-symmetric by Theorem 1, hence so is e1(x, 4y). Conversely suppose this form
is skew-symmetric, and let L be the pull back of the Poincar6 bundle P by the homomorphism (1, 4.): X -* X x k. Then we claim that 20 = ¢L. It suffices, because of the non-degeneracy of e1, to show that 2e1(x, 4.y) = e1(x, cLy) for any x, y e T1(X). Now, we have
ei(x, 0,(y)) = EL(x, y)=EP((1, 4.)(x), (1, ¢)(y)) = e1(x, 4.'y) - ei(y, Ox) = 2ej(x, 4.y),
Hom(X,X) AND THE 1-ADIC REPRESENTATION
189
by formulas (II) and (III) and the skew-symmetry of et(x, ¢y).
REMARK. We shall see in §23 that if 2 = 0L for some line bundle L, we must have = L, for another line bundle L'. Thus, the above theorem would then give a necessary and sufficient condition for a homomorphism #: 8 -+% to be of the form OL. THE RoSATI INVOLUTION.
We fix an ample line bundle L on the abelian variety %, so
that 0L: % 1 is an isogeny. The Rosati involution on the algebra End°X with respect to L is the involution #'= e End° X. DEFINITION.
One has the following properties of this map. (1)
For 0, 0 e End°X, (a¢)' = ao', a e Q
+#)'=0'+"' (00)' = 0'¢' These are clear. (2)
Extend the homomorphism of rings Ti : End S - .
Endz1TT(X) to a homomorphism End°%-+EndQ,(Q`®7, Tl(X)) and
denote the extended map again by Ti. Then for any ¢ e End°%, Ta(¢') is the adjoint of TT(qS) for the non-degenerate bilinear form EL, that is, we have
EL(#x, i) =EL(x, 4'y)
In particular,
i.e.,
--s 4i' is an involution.
PROOF. We have EL(x, 0'y) =e'(x, Oi°# 1°#°0Ly) = et(x, # ° OLy)
_ e (fix, qLy)
=EL(#x, y) which proves the equation.
190
() (3)
ABELIAN VARIETIES
Identifyy Q®z NS(X) = Q ®z Pic with a subspace of Pic°X
Hom°(I, X) by the map M * , 0M. Then, udder the isomorphism Hom°(X, I) -+ End°X given by # --> z x -;P, the above subspace goes over into the subspace {+& E End°X I fir' = fir} of symmetric elements of End°X for the Rosati involution.
In fact, by the last theorem, an element :/i E End°X belongs to this subspace if and only if for = 0L o , we have e,(x, ¢y) = - et(y, Ox). But this means EL(x, &iy) = - EL(y, x), PROOF.
that is, EL(x, y) =EL(Oix, y) =EL(x, 'y), for all x, y e TT(X). The
result follows since EL is non-degenerate and
-- Tj(s)
is
faithful. THEOREM 3.
Let X be an abelian variety. Then there is a
generator
v e Homz1(A'Tt(I), M®o)
with the following property: for all divisors 1) l, ... , Do on X, let Li be the line bundles L1(Di) and let E; =ELi be their Riemann
forms. Then PROOF.
E,A ... AEp=(D1..... Do)-v. Since both the left and the right depend in a poly-
nomial fashion on the images of the L; in NS(X), this formula
results by polarization from the formula with Ll = ... = Lo, D1=....- Do. Using the fact that X(L) = (DY)/g!, we are reduced to proving (Ell"' = g!X(L)-v. and choose a basis for TA(X) over ZI. Fix an isomorphism Then t1 TI(X) becomes isomorphic to ZZ by using this basis, and so
that [EL]A0 becomes a scalar. Further, by using this basis, EL becomes a matrix. We assert that ([EL]"0)e = (det In fact, this equation remains invariant under change of basis for QI® T1(X), and it follows by a simple computation
on choosing a basis so that EL takes the standard form
Hom(X,X) AND THE l-ADIC REPRESENTATION
l-0
0!
191
0
0 01
0
(-0 )
0
0
0
Again since both sides of the equality of the theorem are polynomials in L, we are reduced to showing that X(L)2 = c. dot EL, where c is an l-adie unit. By the Riemann-Roch theorem this is equivalent to: deg 0L =c. det EL, where c is an d-adie unit. Now, EL(x, y) = e+(x, 0L(y)), and since er is a non-degenerate pairing over
Z1, we see that detEL =detT1(01) if we define the matrix representation of Tj(¢L) using a dual basis of T, (X)). Choose and fix an isogeny *: X
X. We then have that
deg 0- deg OL = deg(i° ¢L)
= det [T:(q)° dot
(TT(¢L)).
Thuss, to complete the proof of the theorem, we have only
to observe that deg/det Tr(#) is an l-adie unit, and this follows from the fact that the largest power of 1 dividing deg+(, is the order of the kernel, or equivalently cokernel, of 01 I : Xr, -+ X,. for n large and this is the same as the largest power of l dividing det TT(O). CoxoLLARY. Let X be a simple abelian variety of dimension g, and K c End °X a Q-subalgebra such that 0 = 4' for all ¢ e K.
Then [K: Q] divides g. PROOF.
Since
for O, Or e K, K is a subfield
of End° X. Further, since K consists of symmetric elements, it is contained in the image of Q ®y PicXlPic°X by the map M i-- + O
o Offi. Now X(M) depends only on the endomorphism
ABELE
192
VARIETIES
OL' o gym, and it extends to a homogeneous polynomial function
of degree g on the space of symmetric elements of End°S.
We assert that the restriction to K of the function X(M) X(L)
is a norm function on K. Now, it is easy to check that (since e ((ML)) is multiplicative is already polynomial), if its square e(M)
= deg ¢m (L) deg L deg Oa l o oAf, which is multiplicative in 0, l o ¢,.. Thus we get a on K, then it is multiplicative too. But
X2(M)
norm function of degree g on K, and K being a field of degree [K: Q], the corollary follows. 21.
Positivity of the Rosati involution.
TnEonnM 1. Let H be an ample divisor on an abelian variety, L = L1(H) the associated line bundle and 'the involution of End OX
given by L. Then for any 0 e End %, we have
Tr(##') = (
')
(H°- 1.0*(H))
where (,) denotes intersection numbers. In particular, 0& )Tr(¢. O') is a positive definite quadratic form on End°%.
Pxooa. The first assertion clearly implies the second, since for any effective divisor D and an ample divisor H, (H°-1. D) > 0. It suffices therefore to prove the first statement. Choose and fix bases for T1(X) and M. Applying Theorem 3 §19, we get
[El Y', = c - (RI), [E+L]AV-1 A V*(L)
= c . (Hn-1. 0*(H)). for some l-adic constant c. Therefore, A [E,6]"0 [EL]AO-1
= (H4-1.0*(H)) (E')
Since we have EO'(L) = ELo(o X 0), we are reduced to proving the equation
Hom(X,X) AND THE 1-ADIC REPRESENTATION
193
[BU]AI-1 A (V -(o Y' x #)) Lnu
where ¢' is the transpose of 0 with respect to E". This is purely a problem on linear algebra. We may utilize a basis el,e2, ... ,e20 of Qi® TT(X) such that EL(e2ti_1, e2:) = 1 and EL(ez:-1, ej) _ EL(e2j, ej) = 0 if j 2i or 2i - 1. Then the left side becomes (by definition of exterior multiplication)
i iv...,ip odd
r
;1
ELMeip), 0(eip+1))' ,,...,i,odd
(9-1)f ` i odd
=
1
00'(ej+j)) +EL(Y''Y'(ei), ei+1)
29 t odd
= 29 APPLICATION I.
STRItCTt7RE of End°,X FOR SDNPLE X.
We have seen that for a simple abelian variety 1, D = End°X
is a division algebra of finite rank over Q with an involution x i-a x' such that if x 0, Tr(xx') > 0 where the trace is the reduced trace over Q (or any positive multiple of it). We shall now give the classification, due to Albert, of all pairs (D,') where D is a division algebra of finite rank n over Q and
x, -r x' is an involution such that TrD,Q(xx) > 0 for x e D, x
0. We shall consistently use the following notations. The
center of D will be denoted by K, and K° _ {x e K I x' x} is the set of elements of K fixed by the involution. We put [D: K] = d1 [K: Q] = e and [K°:Q] = eo (so that n = e32 and e = e° ore = 2e°
according as the involution is trivial on K or not). Without further mention, we make use of the fact that the restriction of TrD/Q to any simple subalgebra of R®Q D is a positive multiple of the reduced trace over R of this subalgebra.
194
ABELIAN VARIETIES
i < r1) be the set of distinct STEP I. Now, let a,: K0 real imbeddings of Ko, and a,l+i : Ko -> C (1 <j< r2) a set of complex imbeddings such that any non-real complex imbedding of KO in C is either a certain a,;+s or a complex conjugate of some ax}j. Thus, r, + 2r2 = ea. We then have an isomorphism of R-algebras a; R ®QK0
R'= X C'=,
all (9 x) = (a1(x).... , a,1(x), &,+1W, ... , a,l t,. (x) )
Since the involution is the identity on Ko, for x e K,*, we must
have Tr x2 > 0, and the same must hold in R®QKo also (in fact, this quadratic form has to be positive semi-definite on R (&QKo
by continuity, and its null space, being the orthogonal comple-
ment of the whole space for this quadratic form, must be a rational subspace. But then, Tr(x.x') > 0 for x e Ko, x 0 0, so that it has no null space). But this implies that r$ = 0, as is trivially seen, so that KO is totally real. If now K 0 KO, K = Ko(i/a) for some a e KO, Va f Ko, and Now, P. ®QK = (R ®QKo)(D8o K ^ fl
(&K. K
ri-1
where R,ri) is R considered as a Ko-algebra via o . Now, K is isomorphic as an R-algebra to either R x R or to C according as
ari(a) > 0 or ari(a) < 0, and the restriction of the involution interchanges the factors in the first case and is complex conjugation in the second case. Again from the positive definiteness of Tr(x.x )
on R®QK, one deduces easily that R x R cannot occur, as a factor, i.e., K is totally imaginary, and ari(a) < 0 for all i. We shall say that the involution is of the first kind if K = Ko, and otherwise we say it is of the second kind. STEP II. If the involution is of the first kind, the involution defines an isomorphism of D and its opposite algebra over the center K, so that its class in the Brauer group Br(K) of K is of order 1 or 2.
If this order is one, we must have D = K. Next assume that the order is 2. Since by a theorem of 13asse-Brauer-Noether, the rank of a central division algebra over a number field is the square of its order in the Brauer group, D must be of rank 4 over K (i.e. a
Hom(X,S) AND THE I.ADIC REPRESENTATION
195
so-called quaternion division algebra over K). In this case, there
is a canonical involution x -+ x* of D over K given by x* = TrD1gx - x where TrO is the reduced trace. (To check this is an involution, extend D to the algebraic closure of K, so that
we are reduced to the case of a 2-by-2 matrix algebra over a field, when this is trivial to check.) By the theorem of Skolem-
Noether, there is an a e D - {O) such that x' = ax*a-' and the condition that x' = x gives us that a* = e. a with e e K*. But now, a = a** (e.a)* = c2a, so that e = f 1.
Now, ifs=1, a*=Tr.11 a - a=a, so that aeK and x'=x*. We have an isomorphism
R®QD ~ (R®QK)®$D-2
(R(j)0ED) x ... x (R(.)(&ED) (*)
where R<) is, as before, R considered as a K-algebra through the i-th imbedding a;, and each R(i)®$D is R-isomorphic to either the matrix algebra M2(R) or to the standard quaternion algebra K over R. If factors of the type M2(R) occur, we would have that for any A e M2(R), A # 0, Tr ((TrA - A).A) > 0, that is, (Tr A)2 > TrA2, and this is false for A =110
1).
Hence all the factors in
the above decomposition of R®QD are isomorphic to K and the involution restricts on each factor to the canonical involution.
Since for the standard involution on K, we have Tr(x.x*) > 0 if x # 0, the conditions derived (when e = 1) are necessary and sufficient.
Next consider the case when e = - 1. In the decomposition (*), let ai be the image of a in R(i) ®gD = D{, so that on this factor, the involution takes the form x r--? a`(TrD x - x)a, i, and we have
also a* = TrDI5 a; - a; _ - a{, so TrD,,R a, = 0. Suppose now that D; is R-isomorphic to K. Since aa* is real and positive, a; satisfies an equation x2 + A2 = 0, A e R*, and hence by SkolemNoether, we can choose an isomorphism of D({) with K such that
a; goes to Ai e K = R + Ri + Rj +Rk. But then, if x = xo + x,i + x2 j + xsk, we have Tr (z. z) = 2(xo + xi - xs - x$) which
ABELIAN VAEtIETIES
196
is not positive definite. Hence, each D, is isomorphic to M2(R). Further, K[a] is a subfield of D stable for the involution such that a' = - a, which shows that a2 e K and a2 is negative in every real imbedding of K. Thus, each a, satisfies a minimal equation a; = hs e R in M2(R) with A,. < 0. Again by Skolem-Noether (or trivial checking) we can choose an isomorphism R(, ®ED M2(R) such that a; goes to pi( 1
'1 with
, > 0, fr, a R. But one checks
that in this case, `the involution on this factor is nothing but the
transpose (in the sense of matrices), and we certainly have 0. Thus the conditions Tr(A.'A) > 0 for A e M2(R), A derived are necessary and sufficient for the positive definiteness of Tr(x.x').
STEP III. We come now to the case of an involution of the second kind. We summarize the results of class field theory concerning the Brauer groups of an algebraic number field and p-adic fields in the following theorem. The Brauer group of a p-adic field is canonically isomorphic to Q/Z. If L D K are two p-adic fields with [L: K] = n, the induced map Br(K) >Br(L) goes over by means of the above isomorphisms into multiplication by n in Q/Z. TJ EOEEM. (1)
The Brauer group of R is cyclic of order two, and we identify it with the unique cyclic subgroup of order 2 of Q/Z. The Brauer group of C is trivial. (2)
For any central simple algebra 'D over an algebraic number
field K, and any finite or infinite, place v of K, if K, denotes the completion of K at v, let Inv, (K) denote the element of Q/Z corresponding to 'the class of DO, K, in Br (K,). Then we have an exact sequence
fBr(K,)-}Q/Z--0 where the second map is gotten by forming the sum of the elements
in QJZ.
Hom(X,X) AND THE l-ADIC REPRESENTATION
197
Let us now look at the involutorial division algebras of the second kind over Q. Let a be the restriction of the involution to K, so that a induces an automorphism of Br(K). The existence of an
involution of the second kind implies that a(cl(D)) _ - cl(D), or equivalently, using the above theorem, that for any place v of K, Inv,(D) + Inv (D) = 0. (A) Since we have shown that K is totally imaginary, this condition is always fulfilled for infinite v. Suppose then that (A) holds, so that D is isomorphic to the opposite algebra to the conjugate algebra D(,). This means that we can find a map D D, x i --+ x* such that for A EK, (Ax)* =a(A)x*, (x +,y)* =x* + y* and (xy)* = y*x*. By Skolem-Noether, any involution inducing a on K must be of the
form x' = ax*a- 1 for some a c- D, a = 0. Since x i.-- x** is a K-automorphism of D, we must have x** = axa' 1 for some a E D, and since ax*a 1 = (x*)** = (x**)* _ (axa 1)* = a*- 1x*a*, x E D,
we deduce that a*a e K, and since (a*a)* = a*a, a*a E K0. In order that xa- +x' = ax*a 1 be an involution, we must have that as*- laxa la*a- 1 = z for all x e D, i.e., a.a*- la e K, or equivalently, a'1a* =pa for some s EK. If we put q(x) =a1x* for xED, then 0 is a-linear, and the solvability of #(a) =,ua with a 0 implies that
((x*a)'la
=a(a*a)-1 =a 1aaa la*'1 =a1(ala*)* =02(a) p.al&.a =Nmxlx, lr..a,
so that a*a c- Nmxis K*. Conversely, if this holds, let (a*a)-1 = NmxlxoA, so that for any x E D, if a = Ax + 4,(x), we have #(a) = a(A) O(x) +
((x*a)-1
x = a(A) (Ax + O(x)) = a(A).a.
Thus, under assumption (A), with * and a defined as above, the necessary and sufficient condition for the existence of an involution is that a*a e NmEJX,K*. Since K/Ka is a quadratic (hence cyclic)
extension, this holds if and only if a*a is a norm in each (K0),, from K,,, vo being any place of K0, and K, being the direct product
of the completions of K at all places of K lying over vo. If vo is
198
ABELIAN VARIETIES
infinite and a; : K, --)- R is the corresponding imbedding, DO. ,R
= D®$(K®g R) D®, C=M,(C) and * extends to a map of Md(C) onto itself of the form X*=AX* A-1, AeG.L(d, C). Hence X**=A.A`-1.X.At.A-1, so that theimage of a in D®$OR is AA.11-1 for some A e C*, and a*a has for image J.12 which is a norm from C.
Thus, it suffices to look at the Archimedean v0. Again, if there are two extensions of vo to K, K,o is the direct product of two copies of (K.),, as a (K0),,-algebra, so that the norm condition is vacuous.
Thus, we are left with the case of a v of K such that av = v. In
this case, Inv,(D) = 0 or I by (A). If Inv,(D) = 0, D®$ K, is a matrix algebra over K, and A& - a(A) ` is an involution of D ®g K inducing a on K,, so that, by the previous reasoning applied in the
local case, a*a is a norm. Suppose now that Inv,(D) = J, so that D, = D®x K, is a matrix algebra over the quaternion division algebra Q on K,. Since a induces the identity on Br(K,) (see the theorem above), condition (A) gives us a a-linear map Q ->Q,
X i-a X, such that (X Y) = YX. If we put X = P X R-1 for some fl e Q and X* = A X` A-1 for all X e D. and some A a D we see that upto a factor which is an element of the center, a equals AAt-1fl, and a*a differs from A. (A A`-lY)"t . A-1(A A`-1Y) = A(R A-1A`)
At-10
p=11 by a factor in Nm1,,0(K, ). Hence a*a is a norm in Ka, if and only if
is, hence, if and only if Q admits an involution inducing
a on K,. Suppose ' is such an involution. Then we have (by the functoriality of trace) that Tr z' = a(Tr x), so that if is Q ->Q
H
i(x') is an is the canonical involution of Q, i(z') = i(x)'. Thus x automorphism of order two of Q inducing a on K. If we put Qa = {x e Q 19S(z) = zJ, Q0 is a K,-subalgebra of Q and K, ®B,, Qc -->
Q is an isomorphism. But now, Qc is of rank four over Kp hence a quaternion algebra, and since Br(K00,) -+ Br(K,) is, by
Hom(X,X) AND THE I:ADIC REPRESENTATION
199
means of the canonical isomorphisms with Q JZ, nothing but multiplication by 2, Q = Q0 ®ga Kp is a matrix algebra over K which is a contradiction. Thus, if K0 is a totally real field, K a purely imaginary quadratic extension of K and D a central division algebra on K, the necessary and sufficient condition for the existence of an involution of D inducing the non-trivial automorphism o of K over Ko is that besides (A), we also have
Inv,(D) = 0 if ov = v.
(B)
Suppose then that (A) and (B) hold and let x i.-> x*
STEP IV.
be an involution. We shall then show that there are positive involutions too and we will classify them. For this, choose an isomorphism eo X
D®QR
Md(C) x Md(C) x ... x Mg(C).
Then the given involution has an extension to the right side given by (Il, X2, ... , I,a) --* (A1S°4A1 1, ... , A,.1% AA1) with .A{ =-1tAl, 91; e C*, A; a GL(d, Q. We must have I rJ; I = 1, and on replacing A; by a scalar multiple, we may assume n. = 1, so that .A{ = A;. Hence, if A =(A1,..., AO), we have A* = A. The set of A e D ®QR with A* = A is of the form V ®Q R where V is a Q-subspace of D, so that we can find an cc e V such that a® 1 is arbitrarily close to
The map x H x' = a lx*a is again an involution of D whose extension to Md(C) x ... x Md(C) is arbitrarily close to (I..... , I,,,) -r (,X .... , 8;a). Hence for q. a good A E D ®Q R.
enough approximation to A, TrDJQ(x. x') > 0 if x
0, x e D.
On Md(C) x ... x M4(C), this involution is of the form
(I1,...,5,,) H(A1 1A11,...,A,o
,,Ae,1),
with A hermitian and close to I, so that the A{ are positive definite. Let B, be a positive definite square root of Al. Modifying the chosen isomorphism D®Q R Md(C) x ... x Md(C) by the
inner automorphism given by B = (BI, ..., B,a), we see that we
ABELIAN VARIETIES
200
may assume that the extension of the involution to Md(C) x ... x M4(C) is the standard one
(Xi,..., X..)t--r (.X ...... which is certainly positive. Thus, when (A) and (B) hold, we have found one positive involution on D and an isomorphism D®0R
MM(C) x... x Md(C)
such that the involution goes over into the standard one written
above. Suppose * is any other positive involution, so that x* =ax'a'-x, a' = Aa for some A E K. Since A.k =Nm$1 A = 1, we can write A =
Qµ
for some 1` a K, and when a is replaced by
fU
p,a, the involution is unchanged whereas the new a satisfies a' = a. Hence a goes over into (Ax, ... , A..) a Md(C) x ... x MM(C) with
A; hermitian. Positivity of Tr(x x*) gives us the condition that Tr(X A. XI A, x) > 0 for X e M4(C), or equivalently, for some unitary U and any X e Ma(C),
Tr(UXU-IA,UX'U-'Ai 1)=Tr(XU-'A,UX'U-1A; IU) > 0. Choose U so that U- 'A; U is real diagonal :
=D,.
U- 'A; U = 0
as
We must then have Tr(X D X` D' 1) > 0 for all X e Ma(C). But if X = (rU), a
Tr(XD$tiD-x) = i.tax
lxjxjaa , r
so the condition is that D is positive definite or negative definite. Since we may replace a by - a, this proves that all positive involu-
tions are of the form x r- a x' a I where the hermitian matrices A. are positive definite. Summarizing, we have
Hom(%,X) AND THE l-ADIC REPRESENTATION
201
Let D be a division algebra of finite rank over Q with an involution ' such that TrDnQ(xx') > 0 for x e D, x 0. Let K be the center of D and KO the subfceld of elements of K fixed by ' . Then (D,') is one of the following types. THEOREM 2.
TYPE I. D = K = KO is a totally real algebraic number field and the involution is the identity.
TYPE II. K = K, is a totally real algebraic number field and D a quaternion division algebra over K (i.e. a central division algebra of rank 4 on K) such that for any imbedding a: K ->R, R(.)®KD = M2(R).
Let x* = Tr x - x be the standard involution of D and a e D such that a2 e K and a2 is totally negative. Then the involution is of the form x' = a x*a 1, and conversely, any such map is a positive involution. For any such involution, we can choose an isomorphism
R®QD--->M2(R) x ... x M2(R) (e=[K: Q] factors) such that the involution extended to the right side by R-linearity is given by (.I, ... , S,) - (%i, ... , Xi). TYPE III_ K = KO is a totally real algebraic number field and
D a quaternion division algebra over K such that for any imbedding a : K -*R, R(,)®K D N K,
where K is the standard algebra of quaternions on R. In this case the involution ' is the standard one, x' =TrDIKx- x, and there is an isomorphism
R®QD-*Kx...xK, carrying the involution
into the product of the
standard
involutions in each factor K.
TYPE IV. K, is a totally real algebraic number field, K a totally imaginary quadratic extension of K. with conjugation a over K0. Then D is a division algebra with center K such that (i) if v is a finite place fixed by a, Inv,(D) =0, and (ii) for any finite 0. place v of K, Inv,(D) +
ABELIAN VARIETIES
202
In this case, there exist totally positive involutions x t s x' and isomorphisms
R®QD * Md(C) x ... x Md(C) which carry the involution into the standard involution (X1,, ...,Xee ) 2l,, ). Given one such ', any other positive involution
of D is of the form x* = a x' a-' with a e D, a' = a and such that the image of 1® a by the above isomorphism is of the form (A,,..., Aee) with A; hermitian positive definite.
The following table gives the numerical invariants in all four types, and also indicates the restrictions on these invariants
when D=End°X where X is a simple g-dimensional abelian variety. The symbols e, eo, and d have the same significance as before, and S = {x e D I x' = x} and 71 = dimQ S
dimQ D
Type e
I IV
when D= End°X, dim X = g
Restriction in char p > 0 whenD=End°X dim X = g
1
e1g
elg
2} eo 2 }
2elg
2eJg
2elg
elg
e°d$Ig
eodlg
eo
II III
dI
Restriction in char 0
1
eo
2eo d
Excepting the indicated restrictions, all the assertions contained
in the table have been proved. As for the restrictions, they are immediate consequences of the three divisibility results established earlier, viz. (i) in char 0, dim D12 dim X, (ii) in char p > 0, ed12 dim X, and (iii) if L is a subfield of D whose elements are fixed by the involution, [L: Q]Jg.
One might ask to what extent the conditions derived above on the endomorphism rings of a simple abelian variety are complete, that is, given a division algebra of one of the four types and an integer g fulfilling the restrictions imposed
Rom(X,X) AND THE I-ADIC REPRESENTATION
203
above, whether there exists a simple abelian variety of dimension
g having the given algebra as endomorphism algebra. In characteristic zero at least, the answer
is known and is
due to Albert. The result is that there always exists such an X, excepting when D is of type III or IV and the quotient g/2e in the first case and g/e° d2 in the second case is 1 or 2. Even in these exceptional cases, it is known what further restrictions ensure the existence of an X (of. Shimura, [Sh], esp. §4).
On the other hand, not much seems to be known in positive characteristics. APPLICATXON II.
THE RIEMAx
HYPOTHESIS.
We first prove the
Let X be an abelian variety,' the Rosati involution on End°X defined by some ample line bundle and a e End X such that a'a == a e Z. Let wl,..., co, be the roots (in C) of the characteristic polynomial P of a. Then the subalgebra Q[a]c End X generated by a is semi-simple, and PRoPOsITIoN.
(i)
wi 12 = a for all i;
(ii)
the map wi r a is a permutation of the roots w;. w;
PROOF.
a
wi
Note that (ii) is an immediate consequence of (i) since
and P is an integral polynomial. Next, let Q(X) be the
minimal polynomial over Q of a (as an element in End %). I claim
that P and Q have the same complex roots. In fact, since P has integral coefficients, and P(a) = 0, QIP. But also P is the characteristic polynomial of TT(a) in the matrix representation
Tt: End(X) -+ End(TIX). If w e QI(algebraic closure of QI) is a root of P, then w is an eigenvaluc of TI(a), hence Q(w) is an eigenvalue of Ti(Q(a)). But TI(Q(a)) = 0, so Q(w) = 0, i.e. all roots of P in QI are roots of Q. Therefore PjQ° for some n, and P and Q have the same complex roots too.
204
ABELIAN VARIETIES
The restriction S of the trace on End°X to Q[a] is a trace form on Q[a] satisfying S(X.X') > 0 if X e Q[a], X t 0. Further, since a is invertible in End°X and Q [a] is finite-dimensional, it follows that a-'1 a Q[a]. Hence a' = a/a a Q[a], so Q[a] is stable for the involution. If 21 cQ[a] is any ideal in Q[a], and b is its orthogonal complement in Q[a] for the quadratic form S(X.X'), b is again an ideal and 2I n b = (0), 92 O+ b = Q[a]. Thus Q[a] is semisimple, hence isomorphic to K, x K. x ... x K, where K; are algebraic number fields. The involution, being an automorphism of Q[a], permutes the factors K. But since S(X.X') > 0 for every X e 0, the involution must take each K. onto itself, and therefore S is a trace form on each E over Q with S(X.X') > 0 if X = 0. Hence each Ki is either totally real with identity involution or is a totally imaginary quadratic extension of a totally real subfield with complex conjugation for involution. Now, the roots w of the minimal polynomial of at are precisely the images of a under
the various imbeddings 0, of the K; in C. Since 4j(x') =#;(x) for all x e Q[a], it follows that
We shall apply this proposition to obtain a proof of the Riemann hypothesis on abelian varieties over finite fields. Let F = FQ be a finite field with q = pf elements, and X°
a scheme of finite type over F. (We do not consider X° as a variety whose points are geometric points with values in an
algebraically closed field, but as a scheme in Grothendieck's sense.) We define the Frobenius morphism on Xo, ao: Xo -->Xo,
to be the identity on the underlying space together with the homomorphism Ox. -> Gx, of structure sheaves given by f i-* fQ.
Note that this is a homomorphism of sheaves of F-algebras since AQ=A for A E F, so 7r° is a morphism over Spec F. Now
let k be the algebraic closure of F5, and let X be the k-scheme X = k OF X. The morphism iT: X -; X obtained from a° by base extension is called the Probenius morphism on X, relative to F and to I. Let us see what this looks like on the geometric
(or closed) points of X. Suppose that X. = Spec A, where
205
Hom(X,X) AND THE i.ADIC REPRESENTATION
A =F[11, ..., Im](5511, so that Xe is embedded as a closed subseheme
in AF, and the closed points of X can be considered as elements of the set km. The morphism Tr is defined by the homomorphism of
F-algebras A ->A sending Xi into iso that if (x,,
, x,,,) is a
geometric point of X, 17 maps it into the point (xi, ... , x.11). In particular, a point (x,,... , xm) is fixed by e if and only if x;" = x;, i.e. if and only if x; is a rational point over the field FQ" with q" elements. Further, the Frobenius morphism has the functorial property that if f : Xo -> Yc is a morphism of F-schemes and iro,x, and mo.r, are the Frobenius maps of X0 and Yo, respectively, vo y0o f
= f o vo x,. Finally, it is clear that the map induced on tangent spaces by w at any point of X is 0, since D(f)=0 for any derivation D of a ring A of characteristic p and f e A. ThEOREM 3.
(Lang.)
Let Xp be a scheme over F. such that
X = k OF Xo is an abelian variety. Then Xo has at least one point rational over F. PRoor. If a is the Frobenius morphism, then a must have the form v(x) = xo + f (x) for some closed point xo e X and some endomorphism f of X. Then 1-f is an endomorphism of X. Since 7r and
hence f induce the zero map on the tangent space at 0, 1 - f induces the identity on this tangent space. Therefore ker(I-f) is 0-dimensional and 1-f is surjective. Then if(1-f)(x,)=xo, it follows that x, =xo+f(xl) =v(x,), hence xi is rational over F5. Therefore, if X is an abelian variety, by choosing an appropriate origin 0 e X, we can always assume that 0 is F-rational. Then each v' fixes 0 and is therefore an endomorphism of X. Moreover, 1 - v" induces the identity on the tangent space at 0, so it is also a separable endomorphism. Hence we obtain: N. = Number of FQ"-rational points of X = #(Ker(1 - r)) 4°f
= deg(1 - 7').
But if w ... , w2, are the roots of the characteristic polynomial of
ir, then the characteristic polynomial P"(t) of 7r", for all n, is 21
11(t- w ). Since deg(1 - e) = P"(1), it follows that i-i
ABELIAN VARIETIES
206
20
i=i
We now wish to show 1wil = Vq: this is the Riemann hypothesis. Since it suffices to prove that Jw;' I = %/q'" for some m, we may replace F. by F,,,, Xo by F m ® F Xo and sr by rr'" if necessary. By
doing this, we can assume that there is a line bundle L0 on Xa such that L = k®FLO is ample on X (since any line bundle on X is of this form for suitably large m). Denoting by ' the Rosati involution with respect to L, we shall prove that (i) 7r' O7=q, so that the proposition applies. But by the definition of 'this means that (ii)
(OL(r(x))) = qcS (x),
all x e X.
But ira acts on Og, by f k--+ fe, so it follows that i L0 4 Lo. Therefore yr*L = LQ and
(ill)
*(T *L® L-1) a T*7r*L® (,r*L)-
(TxL®L- s)®0, Since the line bundle on the left represents and the (ii) and hence (i) are line bundle on the right represents correct.
We summarize our conclusions in THEOEEM 4. (Weil.) Let Xo be a scheme over FQ such that X= k®FX0 is an abelian variety. Let N,, = the number of points of X rational over F,,. Then sa
1) i-1
where wi a C and they satisfy (i)
Iw,!=v'q,
(ii)
wni = q1-: for some permutation 7T.
Rom(X;X) AND THE Z-ADIC REPRESENTATION
207
COROLLARY. For some constant C, I A'" - q" o I < C. q"v-D for
all n. Another application of the proposition is THEOREM 5. (Serre.)
For any n > 3, and any L ample on an
abelian variety X, the restriction homomorphism
a e Aut X a*L a L®(in something) Pico,X)
1
l
J
-* Aut(X")
is injective (here X" = scheme-theoretic kernel of n1). PROOF.
If a*L
L
PicoX (something1
l in
then
hence
o a = 0y. This means that for the Rosati involution defined by L, a'a=1. Hence by the proposition the roots of the characteristic polynomial of a are algebraic integers all of whose conjugates have absolute value 1, and hence are all roots of unity. Suppose now that a restricts to the identity on some 8"(n> 3). Then the restriction of a-1 to X,, is 0, so that (a-1)=np for some fl e End X. We deduce that if w is any characteristic root of at, ao
w -1 = nn where rt is an algebraic integer. We now have the LEMMA. If w is a root of unity such that to = 1 + nrl where n is a rational integer > 3 and 7) an algebraic integer, then w = 1. PROOF.
If not, by raising w to a suitable power, we may assume
that w is a primitive p-th root of unity for a prime p. Taking norms over Q in the equation co - 1 = nrl, we obtain p-1
F1 (1-w{) =np-'.N,
t-z
where N = (- 1)p-'Nm rl is a rational integer. But the left side is p-1
the derivative at X = 1 of Xp- 1 = 1I (X - co'), that is, p. i-0 Hence np-' divides p, which is impossible if n > 3.
Applying the lemma, we deduce that the characteristic roots of
a are all 1, so that 1 - a is nilpotent. But by the proposition, Q[a] is semi-simple, so it has no nilpotent elements. Thus a =1.
ABELIAN VARIETIES
208
ArPLro&TION III. STRVOTUBE OF NS°(I).
Let X be an abelian variety and let NS°(X) = NS(X) ®Q. As in § 20, if we fix an ample .1 on X, then we can identify NS°(X) -* {a a End°X I m' = cc}. P
In particular, NS°(X) has a natural structure of Jordan algebra over Q if we define a ° P =jP 1(P(a)P(p) + p(p)P(a)), at, fi e NS°(X),
using composition in End°X. What can we say about this Jordan algebra? First of all, the fact that Tr(p((X)2) > 0, all a e NS°(X), a # 0, implies immediately that NS°(X) is formally real, i.e. n
a;0
iv l
(of. Braun, Koecher, [B-K] Ch. 11, § 3). Now the formally real Jordan algebras over R have been classified: of. Braun, Koecher, Ch. 11, § 5. In our case, we do not get all possible such algebras by forming NS°(X) OR. In fact, we have THEOREM 6. NS°(X)® R is isomorphic to a product of Jordan algebras of the types: Af,(R) = r x r symmetric real matrices ,a£°,(C) r x r Hermitian complex matrices af,(K) = r x r Hermitian quaternionic matrices, i.e. IX = X, where z -> x is the standard involution on K.
Psoor. Decompose End°(X) ® R into a product of copies of M (R), M (C) and ,°.K). Then NS°(X)®R is isomorphic to the set of fixed points here under a positive involution. But it is easy to check that every such involution (a) fixes each of the factors K = R, C or K, and (b) by inner automorphism of each [Of. the proof of factor, can be put in the standard form X Theorem 2, Step IV, for the case K = C; the other cases are analogous. One checks first that every positive involution of where L = A. One then MA(K) is of-the form X F-)
Hom(S,%) AND THE l.ADIC REPRESENTATION
209
checks that A = U.D. U-1 where D is diagonal with real entries either all positive or all negative and "U= U-1. Finally, solve =ED = E2 and use the inner automorphism defined by UE U-1 to put the involution in standard form.] Fix isomorphisms 0 and qi: (I) End° (X)®R
fJM,,(R) x ]JAf,1(C) x f M,(K) U
jP NS°(X)®R
f.r,,(R) x fA"(C) xf Y,(K).
What happens to the polynomial function X: NS°(X)®R-+R? For any x e End°(X) OR, let #,,1(x), 01,2(x), op (x) denote the components of ¢(x) in the above decomposition. Then we know that the function "degree" can be written (II)
deg(x) = I1det(0,.1x)a' IUldet(q,,2x)12b' I1Nm(¢:,,x)' where Nm : Mt(K) -s R is the reduced norm (the multiplicative polynomial of degree 2t). Now on NS(X), deg(px) = a. x(x)2 for some constant a. It follows that the a, are even and that the function X can be written (III) X(x) =cast. IIHNm(#;,sx)ci all x E NS°(X)®R. Note that ,y, 2(x) is Hermitian, so its complex determinant is real. Here "HNm" is the "Haupt norm" of BraunKoecher (Ch. 2. §4), a. polynomial function of degree t from .e' (K)
to R. If a° e NS°(X)®R is the point defined by the ample L on I used to set up p, then p(.1°) = 1, so 0,,; (A0) = I, so the constant in the above formula is X(A°). Using the results of §16, it follows finally that: (IV) If X(x) 0 0, then (o ieg.e igenvalues) + ' b{ (# neg. igenvalues) i(x)
2
f
# neg. eigenvalues L,`of+:.sx }.
210
ABELIAN VARIETIES
(The eigenvalues of a quaternionic Hermitian matrix H are defined
as the entries of a diagonal matrix D such that H = U.D. U-', and =U = U-'.) Since ample line bundles L are characterized by X(L) 0 0, i(L) = 0, it follows from (III) and (IV) that the images
of the ample line bundles in NS(X) are exactly the totally positive elements of the formally real Jordan algebra NS°(X) ® R. 22. Examples. FIRST EXAMPLE: ABELIAN VARIETIES OF CM-TYPE OVER C.
Let X be a simple g-dimensional abelian variety, D = End°(X), K = center of D, d' = [D: K] and e [K: Q]. Recall that ed 12g
and that we have called X of C.M-type if ed = 2g. We wish to classify these when k = C. A glance at the table in §20 giving the types of division algebras D tells us that we must have K = D, K a totally imaginary quadratic extension of a totally real field K° of degree g over Q.
We pose the problem a little differently. Suppose we are given a totally real number field K° of degree g over Q and a totally imaginary quadratic extension K of K°. We consider all pairs (i, X) where X is an abelian variety over C of dimension g and is K
-+ End°X is an imbedding of the field K in the ring End°X. We define two such pairs (i, X) and (j, Y) to be equivalent if there
is an isogeny a: X -+ Y such that if a : End°X-+ End°Y is the induced isomorphism, we have a o i =j. It is easily checked that this is an equivalence relation. Our object is to exhibit a complete set of representatives for the equivalence classes.
Let (i,X) be any such pair, V the tangent space of X at 0 and U the kernel of the exponential map from V to X, so that we
have a natural isomorphism V f U -- - X. Then End X acts faithfully as a ring of C-endomorphisms of the vector space V, leaving U stable. Thus, if we put i '(End X) = A c K, A is an order (i.e. a finitely generated subring of maximal rank) in K and U becomes an A-module. Thus, Q. U C V becomes a vector space over Q®ZA = K, and since both K and Q. U are of dimen-
Hom(X,X) AND THE l-ADIC REPRESENTATIO14
211
sion 2g over Q, Q. U is a one-dimensional K-vector space. Hence,
if we choose a non-zero element uo a U, the map 0: A --> U defined by a i - + a. uo is an injection of A into U, such that the index [U: ¢(A)] < + oo. Changing X by an isogeny, we can first shrink U so that U= ¢(A), and then increase U so that U = ¢(Ao), Ao=ring of integers in K. Next, the map c extends to an R-linear map which we still denote by 4:
R®QK=R0zA0
0) R(gzU=V.
It follows that 0 defines an isomorphism between the real tori:
(R®QK)/Ao ) V/U = X. Note that if a e A0, then this isomorphism has been set up exactly so that the endomorphism i(a): X -* X corresponds to multiplication by 1®a in R ®QK.
Next, let CD denote the complex structure on the real vector space R®QK obtained by pulling back the complex structure on V via 0. Since multiplication by 1® a in R®QK(ae Ao) goes over via 0 to a complex-linear map from V to V, it follows that in the complex structure 'D, multiplication by 1® a is complexlinear too. In other words, CD actually makes the R-algebra R ®QK
into a C-algebra as well as a C-vector space. We now invert this whole construction. DEFINITION.
If K is as above, A0 =integers in K, and CD is a
structure of C-algebra on R(&QK, then let X(K,CD)
and let im :
the complex torus R®QK/Ao,
(X(K, (D),.I(K,C))begivenbyim(a)=map
induced by molt. by 1® a.
We have shown that for given K as above, and any pair (i, X), there is a structureC of complex algebra on the real algebra R®QK such that (i, X) is equivalent to (io, X(K, C)). Our next aim is to show that (i) for any structure CD of complex algebra on ROQK, X(K, 0) = R ®QK/1 ® A 0 is an abelian variety, and (ii) for
212
ABELIAN VARIETIES
different complex structures d>x and ID, on ROQK, (i 1, %(K, dbi,)) and (i,2,1(K, D2)) are not equivalent. To prove (i), let us look more closely at a structure QI of complex
algebra on R ®QK. Giving such a 0 is equivalent to giving a homomorphism D of R-algebras, (D: C -a R®QK. Now, if 0;(1 ` i < g) are the distinct embeddings of KO in R, we have an isomorphism of R-algebras
R®QK- Z. (R(,)(Dx.K) x (R(s>®a.K) x ... x(R(o) ®s.K),
®aA r(A®a, A®a,---,A®a), where R(,) is R considered as a K0-algebra through oi. Thus, giving an R-algebra homomorphism d>: C -+R®QK is in turn equivalent to giving P.-algebra isomorphisms C;: C --Z. R(;)(DKOK
for 1 < i < g. For each i, there are clearly two such possible Risomorphisms C-*R(;) ®g0K. Thus, we see that there are exactly 2° possible 4) on R ®QK, and each 'D is uniquely determined by giving the corresponding R-isomorphisms (Di: C R,>(D%K (1 < i < g). Let T;: R(j)®,,0K -+ C be the inverse of Oi, so that r; restricted to K ;: 1® K cR(;) ®KOK is an imbedding of K in C extending the imbedding o; of Kp in R. We can choose an element
a e K such that a2 a Ko and ,(a) = ip, fl; a R, A> 0. In fact, if K =K0(VS) then T,(V) =iy; with yi a R*, and we can find 71 e K. such that si(n) has the same sign as y;, and we can take a = 7A/S.
We may further assume a to be an algebraic integer. If r;(a) i f; (1 c i < g), we define a Hermitian form H on (R ®QK, (D) by putting a
H(x, y) = 2
1i(x) T,(y), x, y e R®QK.
This form is clearly positive definite, and we shall show that Im H is integral on the lattice A0. In fact, for x, y e A0, we have a
Im H(x, y)
2Re 7
i-t
n(y)
Hom(S,%) AND THE I.ADIC REPRESENTATION
213
2> Re Ti(axy) i-)1
TrKjQ(axy) eZ,
where for any y e K, y denotes its conjugate over K. Thus, for any complex algebra structure iA on R (&QK, and the lattice A° in it, H defined above is a Riemann form and X(K,
To prove (ii) suppose there is an equivalence of (i4, %(K, (D1)) and (i. , X(K, G2)). Then we deduce an isomorphism of C-vector spaces A: (R (&QK, cD1) --- (R (gQK,
Let Ko be a totally real number field of degree g over
Q, and K a totally imaginary quadratic extension of K. Consider all pairs (X,i) where X is. an abelian variety over C and is K --> End°X an embedding, with the equivalence relation defined above. Then there are exactly 29 equivalence classes, and as (D runs through
complex structures on R®QK which make R®QK a C-algebra, the pairs (X(K,d1), i.) give a complete system of representatives in the distinct equivalence classes. REMAR.as. (1) It is not true that X(K,1) is always simple. It can be shown that in order for X(K,4D) to be simple, it is necessary and sufficient that there does not exist a proper subfield L of K satisfying the following conditions: (i)
L is a quadratic extension of L n K°,
214 (ii)
ABELIAN VARIETIES
if I is given by the set of imbeddings rl, ..., .r, of K in C,
and ifr;ILnKO =riI Lr) K.,then r;IL=r;IL. If such an L exists, X(K, (D) is isogenous to a power of X(L,'Y), where `Y is given by {r;
IbnE0}.
(2) Let us specialize to the case of dimension one, that is, the case of elliptic curves over C. If X is an elliptic curve over C, either End°X =Q or End°X = Q (-,/ - d) for some square free d e Z, d > 0. Moreover, given any imaginary quadratic field Q(-%/ - d), there is an elliptic curve X with End°Xr Q(-,/ - d), and upto an isogeny, X = C/{n + m V - dln,m a Z}.
SECOND EXAMPLE: ELLZiric CtTEvES IN CH'ARACTERI8TIC p > 0.
We begin with recalling some basic facts concerning abelian varieties of dimension one (or elliptic curves). These facts are immediate consequences of our general theory, as the reader may verify for himself.
Let X be an abelian variety of dimension one. We shall denote the divisor corresponding to a point P by [P]. Then, for any divisor
D on X, we have x(O$(D)) = degD, and if further degD > 0, x(Oz(D)) = dimH°(O$(D)) and H'(O%(D)) = (0). A divisor D belongs to Pic°X if and only if deg D=0. A divisor D=Bn;[Pj of degree 0 is linearly equivalent to zero if and only if EnP; = 0 on X. Any divisor D of degree > 3 is very ample.
Suppose now that the characteristic is either 0 or greater than 2. Let 0 be the identity element of the group X and let P1, P2, and P. be the points of order two on X. Since dimH°(0x(2[0]) = 2, we can choose a non-constant function x having a double pole at 0 and regular elsewhere. Subtracting a constant from x, we may assume
x(Pi) = 0, and since the sum of the zeros with multiplicity is 0 and there are exactly two zeros, we deduce that PI is a double zero ofxandthere are no other zeros. Thus, by dividing by a constant, we may assume that x(P2)= 1 and x(P3) = A e k*. By applying the above argument to x-1, we deduce that A,0, 1. SineeH° (0x(3[0])) is of dimension 3, we can find a function y having a triple pole at 0 and regular elsewhere. Bysubtractinga suitable linear combination
Hom(X,X) AND THE
REPRESENTATION
215
ax+b from y, we may assume that y(P1) = y(P2)= 0, and since the number of, zeros is 3 (taking multiplicity into account) and the sum of the zeros is 0, we deduce that y has simple zeros at P1, Pa and
P2=-P1- P2. Both the functions y2 and x(x-1)(x-A) have poles of order 6 at 0 and double zeros at Pl, P2, and P$ and no other zeros or poles anywhere, so that they differ by a non-zero scalar factor. Replacing y by a non-zero scalar multiple, we arrive at an equation
Xa:y2=x(x- 1)(x-A)
(N,,)
for X- {0} in A2(k). Conversely, the projective curve yet = x(x- t).
(z-At) has no singularities and is of genus 1 for A 0 0 or 1, and hence defines an elliptic curve Xa inP2(k).
We wish to find all possible values of A for which X is of p-rank 0, for characteristics p > 2. We know that the p-rank is 0
if and only if the F`robenius map in HI(X0) is trivial. The meromorphic form dx on X is regular in X --- {0} and vanishes at P1 = (0, 0), P2 = (1, 0) and Pa = (A, 0) to the first order, and no-
where else, since dx(P) = 0 and x(P) = a implies that x - a vanishes to the second order at P, hence 2P must be 0. Thus, the form w = dx/y is regular and nowhere vanishing in X - {0}. It follows that to must be regular and non-vanishing at 0 also. If we put Ua = X - {0}, U1 = X - {P1}, 21 = (U4, U,) is an afrze covering of X. A 1-cocycle for this covering is a regular. function
fin Uo n U1 = X - {0} - {P1}, and this is a coboundary if and
only if f = g - h with g regular on U. and h regular on U1. Consider the linear form on C'($Y, 0) = P(UO n U1, 0) defined by ) Res,,(fw). Since the residue at any point of a meromorphic form with a pole (of any order) at a single point of X and no other
fa
poles is zero by the residue theorem, we see that Resp;(fw) =0 if f is a coboundary. On the other hand, the function y/x is regular on Uo n U1 and has a simple pole at P1, so that Respl (y/x. w) 0 0.
Since dim H1(X, 0) = 1, we deduce that the above linear form k, and also that y/x induces an isomorphism H1(X, 0) e P(U0 n U1, 0) defines a non-zero cohomology class inHl(1,0). Hence, the Frobenius map on H'(X, 0) is trivial if and only if
216
ABELIAN VARIETIES
yple r= I'(Uo n` U3, 0) is a coboundary, hence if and only if Res.,
(f
.
0. 1,1.,,
dx Y
)
dx) Resp, (e dx) = Res , r (yaP1 X%1_1
Xy
`
X
coefficient of xP-1 in
= 2.
-1) (y2)
(P-1)
(P_ 1)
(P-1)
coefficient of x = 2.
(P-1)
=x T (x-1) 2 (x-A)-2 2
In
(P-1) (P-1) (x - 1) s (x - A) s
(P- 1) 2
2
P-1 R
(v)
=f 2(D(A),
where y-1
2
Now, 4)(0)=coeff. ofx(P-1)12 in x(P-1)12(x- 1)(P-1)12, and 4'(1)=coeff.
of
x(P-1)12 in (x- 1)P-1=
x - 1 = 1 + x +... +
xP-1, so that (D(0)
0. Thus, every root of D defines an elliptic curve 0, (D(1) Xx of p-rank 0, and these are the only elliptic curves of p-rank 0 upto isomorphism.
Let us call an elliptic curve in characteristic p> 0 supersingular if its p-rank is 0. We have then shown that in characteristic p > 2, any supersingular curve is-isomorphic to one of the Sx where A is a root of (D(A). If p = 2, it is not hard to see that there is exactly one supersingular elliptic curve, namely
y2 + y = x3. We omit this. Therefore, in any positive characteristic, there is one and there are only finitely many supersingular curves upto isomorphism.
Hom(I,I) AND THE I-ADIC REPRESENTATION
217
We now study the algebra End°1 of an elliptic curve over a field of characteristic p > 0. Let k be the algebraically closed field over which we work. We shall say that an abelian variety X over k is defined over a subfield k° of k if there is a scheme S° over k° such that I = k ®F,%. We can then easily establish that there is a finite algebraic extension k,. of k°i a rational point 0 in kl®F, g°= X and a morphism m1: S1 xk1ll --11 over k1 such that on base extension, we get (upto an isomorphism) the triplet (I, 0, m). In future, when we speak of abelian varieties defined over various fields, we will assume that 0 is rational and m defined over this field. Another remark in this connection is that if P. % Y is a separable isogeny and if either $ or Y is defined over an algebraically closed subfield k° of k then f, I and Y are all defined over k°. This is clear if we assume S defined over k°, since Y is the quotient of I by its kernel which is a reduced finite subgroup of I, and all points of finite order in I are k°-rational. Suppose on the other hand that Y is defined over k°. By induction, we may assume f of prime degree 1. If 10 p, then there is a separable isogenyg: Y-> %, defined over k, such that fog: Y-->Y
is lp, so that we are reduced to the first case. Suppose then that l = p, and let G be the infinitesimal part of pp, and Y' = Y/G. Then, G and Y' are defined over k°. Then there is a separable
isogeny g: Y' -.I, defined over k, such that the composite Y --> Y-> I -> Y is pp, so that we are reduced to the first case again. TH OREM. (Deuring.) Let I be an elliptic curve in characteristic p > 0. We have the following equivalences.
(a) I cannot be defined over a finite field .uu End°X = Q. (b) Suppose $ is defined over a finite field k°. Then, (i)
End°I is imaginary quadratic over Q - p-rank of I is
1 e 77-" 0 p% for suitable integers n, m, where it is the Frobenius morphism over k°. (ii) If, however, the p-rank is 0, then End°S is the (upto isomorphism, unique) quaternion division algebra S0, over Q which satisfies
InvK,) = 0 if t is finite and
p and Inv
) = Inv,,S(,,) _4. -
218
ABELIAN VARIETIES
Finally, there exists at least one and upto isomorphisms, at most finitely many .1 in each characteristic for which (ii) holds. PxooF. First consider the following three statements.
(A) X is of p-rank 0. (B) End°X is non-commutative. (C) X is defined over a finite field, and if it is the Frobenius morphism over this field, ii" = p$ for some n and m > 0. We shall establish that (A) (B) and (A) e: (C) in that order.
Suppose then that (B) holds. A look at the table of §21 tells us that End°(X) is a central simple quaternion algebra over Q, hence End°(X) is also a central simple algebra over Q. If the .p-rank of X were one, Q9®.T,(X) would be a one-dimensional Q,-vector space in which Q,, ®QEnd°X admits a representation, which is impossible. Hence X has p-rank 0, proving (A).
Next, suppose (A) holds and suppose End I were commutative,
so that End°X = K is an algebraic number field. Since every elliptic curve isogenous with X is again of p-rank zero, and there are only finitely many isomorphism classes of curves of p-rank 0, if R is the ring of integers of K, we can find an integer N> 0 such that for every X isogenous to I, we have N.B c End X. Choose it prime l not dividing pN such that Rl is a prime ideal in B. (It is known that such l exist.) Let a be a non-zero element of TI(X) not
divisible by l and let K. be the cyclic subgroup generated by the image of a under the natural homomorphism TI(X) -+ X. Then K. C K,,,,. Again by the finiteness of the number of isomorphism classes of curves of p-rank 0, we can find integers m> n such that K, CE,, and there is an isomorphism J: XI K, * g/K». Thus, if 71: X/Kn a X/Km is the natural homomorphism induced by the inclusion K. c Xs we get an endomorphism a = 71 o e
End S', where I' = X/Km, such that a has cyclic kernel of order 111, k > 0. Since degree a and hence NmxiQa is a power of l and Rl is a prime ideal in B, we must have a = l'. u where u is a unit in B
Hom(X,X) AND THE I-ADIC REPRESENTATION
219
and r > 0. So Na = l'.Nu, and Nu a End X'. Now, the degree of
Nu is N2 since u is a unit in B, so that the i-primary part of ker(I'. Nu) is (Z/l'Z)5. On the other hand, the l-primary part of ker(Na) is isomorphic to kera, which is cyclic. This contradiction proves (B).
We now prove that (A) (C). We have already shown that (A). implies that X is defined over a finite field. Let a be the Frobenius morphism over this field. Since EndI is finitely generated, we can find a finite extension of degree n, say, such that
every element of EndI is defined over this extension. Hence ir" commutes with End X, so a" belongs to the center of End X. Since (A) holds, so does (B), so that End°X is a quaternion algebra with center Q. Hence, ]r" is an integer, and by consideration of degree, lr" =±pm for some m > 0, so 1r2" = ps". Conversely, if a," = px" for some n and m > 0, then since 17 is bijective, pg is also bijective and X has p-rank 0.
. (C). Next if End°X We have thus shown that (A) (B) is non-commutative, it is a quaternion division algebra over Q, and since for 1 0 p, Qt®QEnd°X -+ EndQ,(Ql (9 z, T, (X)) is
injective and both sides have dimension 4 it is an isomorphism. Therefore Invt(End°X) = 0 if l is finite and l # p. Since EInvn(End°X) = 0, the sum being over.the finite and infinite places of Q, and Inv,,(End°X) = 0 or J, we deduce that Invr,(End°X) =Inv. (End°%) = J. This establishes (b) (ii). Next, we show that if X is defined over a finite field, End°X : Q. We have proved this for X of p-rank 0. Suppose then that p-rank of X is 1. As before, it is an endomorphism of X which is bijective and of degree a power of p, so that it cannot equal ma for any integer m. Thus, 17 e End X, 7r 0 Z. It follows from the table of possibilities of §21 that then End°X is an imaginary quadratic extension of Q. This proves (b) (i).
We have also established therefore that if End°% -= Q, I cannot be defined over a finite field. Suppose finally that X is not defined over a finite field. We may assume X is the normal form
220
ABELIA11 VARIETIES
(Np) in characteristic p > 2, with A transcendental. (If p = 2, the argument still works if a somewhat different normal form is used.) Let us call this curve Xa. Since any two transcendental elements A and A' over the prime field are conjugate over the prime field, we
see that if EndXA = A, then End X,, A for any other transcendental µ over the prime field. Now, End°X must be either Q or an imaginary quadratic extension of Q, since the only other possibility is that of a non-commutative division algebra, in which case, by the implication (B) (A) above, X. has p-rank 0 and A must be algebraic. Suppose then.that End°X is an imaginary quadratic extension of Q. Then we can find an element a in A such that a2
= N e Z, N < 0. Hence for any transcendental µ over the prime field, there is an a a End X, with a,2, = N. Suppose l is a prime
not dividing pN and e TI(X,). Let $, be the cyclic group generated by the image of f under the map TI(XA) -, Xim, and let p: X1 -# Xa/K be the natural map. By our remarks preceding the theorem, X,1/K is also not defined over a finite field,
and is therefore of the form Xfor some µ transcendental over the prime field. With aF, as above, since the map End° X,, -->. End° X, given by a i - + p-1 o a o p is an isomorphism, we deduce
that (p1 o ar, o p)2 = N1, and since as = Ng and End° XA is a commutative field, p 1 o a o p= f ax and a o p=± p o aA. Thus, aa(kerp)c kerp, that is, aA(K )c K,,. Since this holds for every n, we deduce that ax(e) = a¢ for some a e ZI. Thus, for ax acting as an endomorphism of TI(XA), every vector is an eigenvector, so that as acts as a scalar on TI(XA). Since the characteristic polynomial of ax has integer coefficients, this scalar must be rational, and its square
cannot be negative. This contradiction shows that if X is not defined over a finite field, End° X = Q, thereby proving (a). A far-reaching generalization of part of this theorem to higher
dimensions has been proven by Tate and Grothendieck. Suppose
k has char p, and X is a simple abelian variety defined over k.
TasoaEM. X is isogenous to an X' defined over a finite field if and only if X is of CM-type.
Eom(X,S) AND THE i.ADIC REPRESENTATION
221
( was proven by Tate:[T2]; n was proven by Grothendieck:
Tate shows further :
[G1]).
THEOREM.
If X is defined over afnite field *o, ar is the .Frobenius
morphism over ko, and End (X, ke) is the ring of k5-rational endomorphism8, then
End(X, ko) ® Q1 = centralizer of T,(ir) in Uoni 1(T1(X), T1(X)).
The group 97(L). There is a second approach to the Riemann form of a line bundle, via a technique which is important in other 23.
contexts such as the theory of moduli, and the closer study of linear systems on an abelian variety. We first make a grouptheoretic digression to explain the class of group schemes that we will need. DEFnrrrjoN. A theta-group will be a system of group schemes and homomorphisms i
IT
1 - + G. ---) G - + K -+ 1 such that
(a) K is commutative (but G need not be); (b)
3 an open covering {U;} of K and sections o, of ir:
(c)
i
is a closed immersion, making G. into the kernel of rr;
(d) G. ccenter of G. When K is a finite group scheme, there is a global section a : K-)- 0 for n, and then as a scheme, G = G. x K (i.e. define ¢ : G. x K-* G by ¢(a, k) = i(a).o(k)), Having made this splitting, the group law on G can be carried over to a "twisted" group law
on G. x K. There will be a morphism
222
ABELIAN. VARIETIES
f:KxK -+Gm such that the twisted group law is
(a, k). (a', k') = (a. a'. f(k, k'), k + k'), (*) where a, a' are S-valued points of Gm, k, k' are S-valued points of K, and K is written additively. f must be a 2-co-cycle : f(k + k', k"). f(k, k') = f(k, k' + k'). f(k', k')
and changing the section v has the effect of altering f by a coboundary:
f *(k, k') =f(k, k'). 9(k + k'). g(k)`i 9(k')-'. Conversely, given any such f, (*) makes G. x K into a theta-group.
In other words, the set of all theta-groups over a fixed finite K is isomorphic to the cohomology group H2(K, G.), computed via morphism cochains.
The deviation of G from commutativity is easily measured by taking the commutator. For any two S-valued points x, y of 0, (1) xyx 'y-' is an S-valued point of G. and (2) it depends only on ir(x) ar(y) and not on x, y. Therefore there is a morphism
e:KxK - ) G. such that
xyx 'y-' = e(7r x, 17Y),
all x, y E 0(S), all S.
It is easily checked that e is a skew-symmetric bihomomorphism : (a)
e(k + k', k") = e(k, k"). e(k', k")
(b) (o)
e(k, k) = 1.
If 0 admits a global section of K and so is described by a 2-co-cycle
f, normalised by the condition f(0, 0) = 1, then e(k, k') =f(k, k')If(k', k). In case K is finite, the bi-homomorphism e also can be expressed asymmetrically as a homomorphism : (d)
y: K-+ K.
Rom(X,X) AND THE I-ADIC REPRESENTATION
223
In fact, if we regard K x K and G. x K as group-schemes over K via ps then (e, p2): K X K -> G,,, x K is a K-homomorphism, i.e. a K-valued character of K, or a morphism y : K --> K. If
< , > : K x K -+ G. is the universal pairing, then in terms of S-valued points k, k' of K, y is given by e(k, k') =
If K is finite, y : K K as above, then for every
S-valued point x of 0, [7r(x) a ker y] [x is in the center of 0] i.e. for all schemes S' over S, and all S'-valued points y of 0, xy = yxy.
In fact, y(rr(x))
the character y(rr(x)) ; K x S for some 8'-valued point k of K, y(7r(x))(k) 0 1 - for some k,
0.
-> G. x S is non-trivial
The following are equivalent.
CoEOLL.ARY.
(i)
y is an isomorphism.
(ii) i(Gm) is exactly the center of 0, i.e. every S-valued point x of G commuting with all S'-valued points, all S'/S, is in i(Gm).
Such theta-groups will be called non-degenerate.
At the other extreme, we need two facts about when such 0's are trivial.
If K is finite and 0 is commutative, then 0 G. x K as a group, i.e. in the category of commutative group schemes, K finite . Extl(K,G,,,) = (0). LEMsta 1.
(ii)
(i)
If K is finite of prime order, then G is commutative..
Pnoor. (i) is a standard fact for commutative algebraic group schemes. For instance, once one sets up the long exact sequence for Ext's in this category, one takes a maximal chain of
subgroups of K and reduces (i) to the special cases K = Zf1Z, Z/pZ, µy, or ap. In the first two cases, one lifts a generator of K to a point of 0 of the same order (using the fact that k* is divisible); in the second two cases, one checks by a direct computation that the
224
A3ELIAN VARIETIES
p-Lie algebra of G must split. For details, of. Oort [0], or Seminaire
Heidelberg-Strasbourg. To prove (ii), if K =,Z/1Z or ZfpZ, lift a generator of K to any point of G and note that if a reduced group scheme is generated by a central subgroup and one element, then it
is commutative. If K=µ, or ay> let g be the Lie algebra of G:
then g = k.x + k.y where x generates Lie Gm and y lifts a generator of Lie K. Since G. is central in G, [x, z] = 0, all z e g. Therefore g is an abelian Lie algebra, which implies that G( F) is commutative (cf. Seminaire Heidelberg-Strasbourg or [G 3]. Since, as a scheme G e G. x K, any S-valued point of G is the product of S-valued points of G. and of K, hence of S-valued points of G. and of GO'). Since G. is central and GO') is commutative, this shows that G is commutative too.
The natural idea for proving (ii) would be to show that when K has prime order there are no non-trivial skew-symmetric bi-homomorphisms
e:KxK--)Gm. But this is false in char 2, if K = a2! This has fascinating consequences: of. [Br].
We now return to abelian varieties. First of all, to eliminate any possible confusion, let me state clearly that if L is a line bundle
over X, with projection p : L -- X, and a : X X is an automorphism of X, then by an automorphism r : L -. L covering a we always mean a linear automorphism fitting into a diagram :
LPL r
X
a
)X.
Moreover, such a r induces an isomorphism z : L Z. a*L and any such isomorphism r' induces an automorphism r of L covering a.
Hom(X,X) AND THE l-ADIC REPRESENTATION
225
Secondly, recall that if % is an abelian variety, S any scheme and f: S -a X is an S-valued point of $, then Tj, translation by f, denotes the 8-isomorphism of schemes (p1, m o (f x 1$)) . S x X S x X, where m is the multiplication on X.
Now here is how theta groups arise. THEOREM 1. Let L be a line bundle on an abelian variety X. For any scheme S, let Aut (L/X)(S) be the group of automorphisms of S x L covering a translation map of S xX. Aut (L/X) is a contravariant group-valued functor on Sch. Then there is a group scheme"
T(L) and an isomorphism of group functors
Aut(L/X) cz IN(L).
For any scheme S, the natural homomorphisms of groups S-valued points f : S -+ I 1-+ H°(S, (V*) -->- Ant (L/X)(S) - such that --r 1
TT(SxL):SxL
induce homomorphisms of group schemes
1 --± G.
9(L)
.K(L)- s 1
making T(L) into a theta-group.
PROOF. Let L* be the complement of the 0-section in L; this is a principal fibre bundle over % with structure group Gm. Fix a base point PO ep-'(0) n L*,,and put 3(L)=p-'(K(L)) n L*.
For any automorphism a of S x L covering a translation Tj of S x X, where f el(S), we get a morphism a ; S -- L* defined by a = pgoaos0, where so is the map S = S x {Pof' SxL and p2: S x L -> L is the projection. Since poa is just the morphism f, and f e K(L) (S), we deduce that a factors through T(L):
S
T (L) c
L*.
Then a u-- * a defines a map Aut (L/X)(S) - W (L)(S),
226
ABELT" VARIETIES
which is functorial in S. I claim that it is an isomorphism. Suppose a, f e Aut (L/X)(S) covering Tj and T. respectively, are such that
a = . We then have f = poa = pop = g, and y floc 1 is an automorphism of S x L over the base S X X such that the composite S --- S x L y± S x L equals so. Now, y is given by multiplication by an element y, of H°(Sx X, 4's,, ) and since so = yoso, yi(S x {P°} -.1. But H°(S x X, Osk x) . H°(S,(l ), so y).=1 and y = is xa. This proves that the map as --* a is injective. To prove that it is surjective, let , e Vr (L)(S), and let f = po4 so that f eK(L)(S). Then by definition of K(L),
T,(Sx L) a (Sx L)®p'M for some line bundle M on S. We can cover S by open sets {U:} such that Map{ is trivial. Then over Us x X, Tf*(S x L) and S x L are isomorphic, so there exist automorphisms X; of U; x L covering Tj{, f; = restriction of f to U,. If O; is the restriction of to U we now have two liftings of the morphism fi to T(L):
K(L)
U;
A
Since !F(L) is a principal fibre bundle over K(L) with group Gm,
there is a unit e; a r(U;,.v) such that O; =e{(;). But if .1; is the automorphism, mult. by of U; x L, then T X; = ei(Xi) = 0i. Finally, since ¢; agrees with ¢ on U{ n U5, the two automorphisms AiX; and .1JX; agree on .(U; n U) x L (using injectivity of a u-s a), so there is an automorphism X of S x L extending a:X:. Then
x=0so aaais asurjectivemap. This establishes an isomorphism of functors Ant (L/X) = T(L),
and since the left side is a group functor, 9(L) becomes a
227
Hom(%,%) AND THE t-ADIC REPRESENTATION
group scheme. Define homomorphisms is G. --> ((L) and j : W(L)
- K(L) by the homomorphisms of functors:
Gm(S) = r(S, on -+ Aut(L/X) (S) d 6(L) (S) mult. by e 91 (L) (S) ; Aut (L/X) (S) ---4- K(L)(S) ei
P
a HI the S-valued point f of I such that a covers Tf
Jt
Then i is clearly injective, j is just the projection p, and Im(i)
Ker(j). Since there are sections locally to p: L-+ I, there are also sections locally to j : f(L) -. K(L). Finally, if e er(S, ), then the automorphism, mult. by e, clearly commutes with all other automorphisms a e Ant (L/%)(S), so i(G,,,) is in the center of
9(L). This proves that i(L) with i ad j is a theta-group. el: K(L) x K(L) 3 G. is the skew-symmetric bi-
DEFINITION.
homomorphism associated to the commutator in the theta-group er(L).
Look at the case L e Pic°$. Then K(L) _ l and the morphism
ez takes the complete variety I x I to the affine variety G.. Therefore eL - 1 and 9(L) is a commutative group scheme, which is an extension ofl by G.. It. can in fact be shown that this map: Pic°(S)
Ext'
(S, G,,,)
Comm.group
L r-s V(L) is an isomorphism (Theorem of Serre and Rosenlicht).
Suppose next that the line bundle L arises from a divisor D: L = G ,(D). We leave it to the reader to check that the discrete group W(L)t can be described as follows.
91(L)t={(x,f)Ixe1,fek(X),Ts1D=D+(f)} This works since
A
228
Lrax VARIETIES
T.-+',D-D.- (Tz g.f)=T;'(Ty 1D-D)+(TE 1D- D) -Td 1(9)-(f) =Tz 1(T;'1D-D-(9))
+(2 1D-D-(f))=0. The subgroup k* _ (G.),,, c ((L)x corresponds to the pairs x = 0, f = a e k*; the projection 97(L)r -s S(L)Y corresponds to the map (x, f) i ---s X. FUNOTOBIAL PROPERTIES OF eL.
In the following formulas, the symbols x, y etc. are to be understood as B-valued points for any k-algebra R. One could equivalently interpret the formulas as commutativity of certain diagrams of morphisms. With this specific understanding, we shall often omit B from the statements and proofs and speak as though
we were just dealing with ordinary points, but all the assertions are to be understood in the stronger sense mentioned.
If f : X -a Y is a homomorphism of abelian varieties and L a line bundle on Y, we have (1)
e(',)(x, y) = eL(f(x), f(y)), x, y e f 1(K(L)). (2)
For any line bundles L1, L2 on X, eLiaL'(x, y) = eLi(x, y). eZ'(x, y), x, y e K(L1) n K(L2)
(3) For eL3 = ex's. (4)
algebraically equivalent line bundles Ll, L2 on X,
For x e %(L) and y e ng' (S(L)), eL" (x, y) = eL(x, ny).
(5)
For x e .., y e nal(-K(L)) _ 0.z 1($), (n any integer with
PT -n) e.(x, OL(y)) =CL4(x, Y).
.Moo s. (1) We may assume f(x) = j(e), f(y) =j(-1), where j: W(L) -* K(L) is the natural homomorphism. (When x, y are B-valued points, we. can find f, -I after localizing on Spec R.) We
Hom(X.X) AND THE I-,9DIC REPRESENTATION
can then lift
and 71 to automorphisms 0,
and T respectively, and then
229
of f*(L) covering P. lifts e q t"1 1, which
means precisely (1). (2)
Again we may assume that there are automorphisms
respectively of L;, i =1, 2, covering T. and Ti,. Then 41® 0 and 1 ®' z are automorphisms of L® ® La covering T,,, T, respectively, and the commutator of these two automorphisms is the tensor product of the commutators of ¢4 and q; (i =1, 2), which proves (2).
(3) Write Lg = Ll®L2 1, so that L8 a Pic0X and Ll = L2®L3, K(L3)= I. Apply (2) to the line bundles LQ and Lz.
(4) By replacing the ring R by a ring B' D B if necessary, we may assume x = nz for some z e ng1(K(L)). (In fact, we have only to take Spec R' = Spec B Xx(L)n81(K(L)) which is finite and
flat over Spec R, so that it is affine and B' z) B.) We then have z, y e n$1(K(L)) = K(L°), so that by (1) applied .to ng(L) and (2) applied repeatedly, and making use of the algebraic equivalence of nx(L) and L"', we obtain eL(nz, ny)
= ex
(r,
y)
= e ns(z, y)
=
eL"(nz, y),
which is formula (4).
As in (4), we may assume that y = as for some z, and the equation to be proved assumes the form (5)
en (x, 4L(y)) = eL" (x, nz) = epo (x, z) = e°x
(x, z)
since L°' is algebraically equivalent to nx(L) and z e K(L") = K(ng(L)). The fact that z e K(nn (L)) means that we have an automorphism a of nx*(L) covering the translation T. (localize Spec R if need be).
230
ABELTAN VARIETIES
Let us agree to denote (temporarily), for line bundles M, N on I, the line bundle associated to the locally free sheaf of germs of homomorphisms of M into N by Hom(M, N), so that we have
a natural isomorphism Hom(M, N) f M-'®N. Note that there is a natural action of X. on any pull back ns(M) covering translations, hence also natural actions on tensor products, Horns and translates of pull-backs (this last, since any translation commutes with any dther). With this understanding, we have natural isomorphisms of the following line bundles on X commuting with this X. action: na(T,*,(L))®n*x(L-1) - T*(nx*(L))®ns(L)-1 na(T*VL®L-1) - Hom (nx* (L), T z(na(L))].
ng(Tr*,L®L-') is isomorphic to the trivial But what is bundle, and Z.(-, L(y)) is given in the usual way by the natural
action of X. carried over to the trivial bundle. Equivalently, nx* (T,*, LO L-1) has a nowhere vanishing section, unique up to scalars, and a"(., OL(y)) is given by the action on X on this section. Now make this computation on the bundle on the right instead of the one on the left. A nowhere vanishing section of the line bundle
0)
nx*(L) covering on the right is just an isomorphism nx*(L) Ta, and the natural action of x e X on the right maps this section into the section 0': nx(L) - nx*(L) defined by
where j : nx*(L) - ng(L) is the natural isomorphism covering = e"(x, OL(y)).#. Applying T.. We must therefore have this in particular to the automorphism a covering T. chosen earlier,
we get that %o ao fix' o a ' = e"(x, L(y)). But this means by h(y)). definition that z) = As a corollary, we get a second proof of the skew-symmetry of the Riemann form of L: e"(x, 9L(y)) = eL"(x, y) = eL"(y, x)-1 = e"(y, 4.L(x))-'.
if x, y e X. The formula (5), coupled with (4), shows how the Riemann forms can be computed from the es's and conversely,
Hom(I,I) AND THE
REPRESENTATION
231
how all the eL's, on points of order l", can be computed from the Riemann forms. THEOREM 2. Suppose 7r: X-.Y is an isogeny of abelianvarieties, and L is a line bundle on X. Then there is a natural one-one corres-
pondence between (a)
isomorphism classes of l ine bundles M on Y such that 7r 'M = L,
(b)
homomorphisms a: ker 7r i ((L)
ker7rr PROOF.
%.
lifting
the
inclusion
This is just a restatement, in a special case of the
general descent theorem in §12 for coherent sheaves with respect to quotients by finite group schemes. Use the fact that Homa(ker 7r, 1Y(L)) a
actions of ker iron L covering its translation action on X
COROLLARY.
Given 7r: X-* Y and L as above. Then a line bundle
M on Y such that 7r*M ; L exists if and only if ker(ir) c %(L) and eL Ika
. x ker,. =1.
PROOF.
Let p: 9P(L) 3 S(L) be the projection and let G
p-1(ker 7r). Then G is a theta-group over ker a, and by part (i) of the lemma at the beginning of this §, eL I ker ker . = 1 r- G is commutative e=:,- G = G. x ker 7r as group-scheme . . 3 a M exists. homomorphism a: ker 7r-> G such that poa = 1 We now prove the following theorem, promised in §20. TBEOREM 3.
If L is a line bundle on an abelian variety I and
n eZ, L = M" for some line bundle M if and only if K(L) X,,.
PROOF. The `only if' part follows from the equation jSL =no,,. Assume conversely that $(L) X,,. To show that L = M" for some line bundle M, it guffiees to show that Il' = nx*(N) for some N.
Indeed, we would then have that (L®N-")"e Pic°S, hence also L®N-" ePie°S, and if we choose P e Pic°S such that L®N-" P", we would obtain L = (N® P)".
ABETXLN VARIETIES
232
To show that L° . n8(N), we merely compute, for any B-valued points x, y of X,,, eL°(x;y) = eL(x>ny) = 1.
The desired conclusion then follows from the corollary to Theorem 2.
Our last result concerns the non-degeneracy of W(L). We need some preliminary results. Suppose e: K x K -p- G. is a skew-symmetric bi-homomorphism on a finite group K. Let y: K-# K be the associated homomorphism. Then if H cK is a subgroup, I claim that there is a second subgroup Ha characterized by the property:
if k is an S-valued point of K, keHl(S) 4==;. {for all S'/S, all S'-valued points k' of H, e(k,k') =1}.
In fact, restricting characters of K to H defines a morphism q: K-> H, and Hl is clearly the kernel of q o y: K-. H. Now suppose 7r: %-; Y is an isogeny of abelian varieties, M is a line bundle on
Y and L = a*M. Let H = ker(a): then as we have seen H is a subgroup of K(L) such that e'Jaxa 1. In other words,HcHl. The result we require is
Lie 2.
K(M) = Hl/H.
PsooF. Let x: S-->% bean S-valued point of X. We must show that x is a point of Hl if and only if Irx is a point of K(M). It will suffice to prove this when S = Spec(.), B a local ring, in which case S carries only trivial line bundles. Then, using the descent theorem of §12, 7rx a K(M)(S)
(S x M) = S x M
n-
3 an isomorphism 2 (S x L) : S x L .
commuting with the action of ker it on these two line bundles
.
Eom(X,X) AND THE L-ADC REPRESENTATION
233
Now suppose a : H - T(L) is the homomorphism giving the action of H on L for which M is the quotient. Then we continue our equivalences: 3 an S-valued point w of 2F(L) such that
p(w) = x and w commutes with a(H) {eL(x, h) = 1, all S'-valued points h of H} e
x e H1 (S).
The same argument shows in fact that W(M)
{
centralizer of a(H) a(H) in 9(L) I
but we do not need this fact. We now apply the lemma to THEOREM 4. Let L be a non-degenerate line bundle. on an abelian variety X. If H c K(L) is a maximal subgroup such that eL la x s = 1,
then H = Hl and order (H)2 = order (K(L)).
Let H be a maximal subgroup scheme of K(L) such that eL'H X H . 1. Let Y = X /H, and let 7r: X -a Y be the natural homomorphism. By the Cor. to Th. 2 there exists a line bundle M on Y such that rr*M a L. The fact that H is maximal means that there are no further isogenies Tr': Y-, Y' for which M = ir'*(M') except the identity. PRoo1r.
LEMMA 3. Let L be a non-degenerate line bundle on an abelian variety X. If there are no isogenies rr: X -aY of degree > l such that L = 7r*M, some line bundle M on Y, then I X (L) I = 1. PROOF. If I X(L) I > 1, then K(L) is non-trivial. Then there exists a subgroup E c K(L) of prime order, i.e., E e Z/lZ, Z/pZ, ,uy or ac.,. Look at the inverse image E in 9F(L): this is a thetagroup scheme G over E. By the lemma at the beginning of this section, G is commutative, hence G a G. x E, hence there exists a
homomorphism:
ABELIAN VARIETIES
234
E Therefore by Theorem 2, L descends to X/E, contradicting the assumption. So J y (L) I= 1.
Returning to the proof of the theorem, we deduce that 1(M) = (0) and I X(M) I = 1. Therefore by Lemma 2, 1 =HJ-, and by the results of § 16, I X.(L) I = deg(as) = order (H),
X(L) I = deg(OL) = order (S(L));
so order (H)2 = order S(L). Every abelian variety X is isogenous to a principally polarized abelian variety Y, i.e. one which carries an ample line bundle L with X(L) = 1. ConoLLAR.Y 1.
.
Pxoos Apply the theorem to any ample L on X, and let Y = X/H, H maximal in S(L) with eL Isx$ = 1. Then L = ir*(M) and M is ample with X(M) = 1. CoBoLLAEY 2. If L is a non-degenerate line bundle on X, then Or(L) is a non-degenerate theta-group.
Puoos. Let y: S(L) a%(L) be the homomorphism associated to eL and suppose D is its kernel. Choose an H c1(L) with H =
Hi and order(H)5 = orderl(L), as in the theorem. Now since y(D) = (0), we find eLI DXE(L) = 1 and eLls(L)XD = 1
Therefore D c Hl, so D cH and also all characters y(x) annihilate
D, all x e X(L)(S). Now by definition, Hl is the kernel of the homomorphism %(L)
4- S(L)
q
*. H. It follows that
Im(go y) c (H/D) and that we have an exact sequence
Hom(X,%) AND THE l-ADIC REPRESENTATION
235
0 - H -- K(L) y , HID. Therefore
order K(L) < order H. order HID = (order H)2/order D. This proves that order D = 1.
The next step in the development of the theory of thetagroups is to show that (1) all representations of non-degenerate theta-groups which restrict to the identity character on the center G. are completely reducible, (2) that there is only one irreducible representation with this property,, and (3) that when L is nondegenerate, i =i(L), then T(L) acts naturally on H`(%, L) and that this is the irreducible representation in (2). For these facts and their application, of. [M2]. 24.
The case k = C. The purpose of this last section is to tie
together the algebraic approach of this chapter with the analytic
methods of Chapter I. In particular, I want to relate the analytic and algebraic Riemann forms of a line bundle L, and I want to show how the positivity of the Rosati involution follows immediately from the positivity of the analytic Riemann form in its guise as a Hermitian form when L is ample.
As always, let X =V f U, V a complex vector space and U
a lattice. Let L = L(H,a) be a line bundle on I, where H is a Hermitian form on V such that E =Im H is integral on U, and a: U -+ Cl is a function such that a(ul + u2) = a(ni) a(zc2).e.:sru,.u,
Consider the group ii of analytic automorphisms ifr,,u of C x V given by o.u (a>z)
=
aEC*,wcV. Then
z + w)
236
ABELIAN VASIETIES
P = a. z. a
8(e.ea)
so 4 is an extension analogous to the theta-groups of
§ 23:
1 -* C' -* c -'" ) V -+ 1 Yatp H to
The data at defines a lifting i of U into U
n T i(u)
p
-V
v = a(u).
eg ECu.u)
so thatL(H;a) is, by definition, the quotient C x V/i(U). The commutator in 9, as in the theta-groups of §23, is given by a V x V ..I-..* C* as follows: I e (v,w) = e2a;B(vm)
Therefore, if Ul = {u e V E(u,u') a Z, all u' e U} as before, it follows that the group To def = p-'(U-1) = {V,,. I v e Ul} is the centralizer of i(U)in 4. Therefore, all the automorphisms ve Ul, descend to automorphisms 4ra, of L(H,a):
Cx V
t L(H,a)
0a'°
-0...
Cx V
I --->- L(H,a).
Hom(X,X) AND THE I-ADIC REPRESENTATION
237
This gives us a natural homomorphism a - 9a(L(H,a)). But we saw in § 9 that K(L(H,a)) = Ul/U, so we get in fact isomorphic extensions: i
) C*
is/i(U)
Ul/U
1
1 -) C*-) T(L(H, a)) -,- K(L(H, a)) -+ 1. It follows that the commutators in these two groups are equal, hence we have proven
If L = L(H,a) is a line bundle on X = V/U; B = Im H, and a : V - X is the natural map, then for all x, y e Ul: THEOREM 1.
e Z,r:E(zv) = eL(irx,
y).
Since our ground field is C, there is a canonical primitive nth root of 1 for all n, namely = e2 1". Therefore the module
M,=lunwm
has a canonical basis element C too, given by the sequence e2"ly' epm. We can now relate the Riemann forms E: U x U-> Z, where E = Im H, EL:TIX x TX -3 MI, defined in § 20. Let srI denote the natural map from U to TIX, i.e. irl(u) is given by the sequence un = ir(u/l") a Iln, with luA+l = v,W. Then if u, v e U, EL(7r:u, arty) = the sequence eIn(un, ¢LVv)
= the sequence = the sequence = the sequence
vn) (§ 23, property (6)) -2,ri1"E(,/Zn, °1I°)
(Theorem 1)
-E(u, v). C.
Thus, except for sign, EL is the ZI-linear extension of B from U to TIM
238
ABELIAN VARIETIES
Applying this to the case where X is Y x Y and L is the Poincar8 bundle P, we see that the canonical non-degenerate
integral pairing of the lattices U and U corresponding to Y and Y, of the analytic theory (cf. §9, part (B)) is, up to sign, the same as the canonical non-degenerate l-adic pairing ej of TTY and, T,Y (cf. §20).
Next, consider the Rosati involution of End°(X). Analytically, we use the interpretation: End°(X) = jt
set of complex-linear endomorphisms T: V -+ V 1 J}
such that T (Q. U) c Q. U
Then the natural involution is the adjoint with respect to H: H(T*x, y) = H(x, Ty), all x, y e V. Since if x e Q. U, then for all y e Q. U, E(T*x, y) = E(x, Ty) a Q, it follows that T*x must be in Q. U too, i.e. T* e End°(X). If T'
is the image of T under the algebraic Rosati involution, then for all x, y e U, E((T*- T')x, y) = Im H(T*x, y) +EL(T'Trx, rrty) = Im H(x, TO + EL(rrtx, Tray)
= E(x, Ty) - E(x, TO = 0 .
Thus T* = T'. Now for any complex-linear operator T: V - V, if T* is its
adjoint, then T*T is a positive self-adjoint operator on the Hermitian vector space V, hence all its eigenvalues are positive, hence the complex trace, Tr(T*T), is positive. If T e End°(X), so that T*T maps the rational vector space Q. U into itself, its trace here is just twice its complex trace; and its l-adic trace in TTX = U® Zl is equal to its rational trace. Therefore for any of these traces,
Tr(T*oT) > 0, all T e End°(X), T = 0.
Hom(X,X) AND THE
REPRESENTATION
239
Thus the positivity of the Rosati involution is obvious from the existence of the positive definite H with Im H = E. In a sense, we have shown that over any ground field one can reverse this argument: namely, using the positivity of the Rosati involution, we have realised NS°(X) as a formally real Jordan algebra in which the ample L's are the positive elements.
APPENDIX I THE THEOREM OF TATE
By C. P. RAMANUJAM
WE HAVE seen that if X and Y are abelian varieties over a field k (algebraically closed) and l a prime different from the characteristic of k, the natural homomorphism Z1®zHom (X, Y)
T
--
Homzi(Tz(X), Tt(Y))
(1)
is injective. It is obviously of importance to know the image. By a field of definition of X, we shall mean a subfield'k0 of k over
which there is a group scheme X0 and an isomorphism of group schemes X0 ®k,, k . X. We also say that X is an abelian variety defined
over ko. Now choose a common field of definition k for X and Y; we may and shall assume ko to be of finite type over the prime field. Let ko be the algebraic closure of ko ink. Since nx and EZ) are morphisms defined over ko, their respective kernels X. and Y consist entirely of k0-rational points, or in other words, the points of
finite order in X and Y are Z. -rational (i.e., they come from korational points of Xo®ku ko and Ya(&i., ko resp.) Thus, if G =
is the Galois group of ko over ka, G acts on the groups X. and Y. M
m
compatible with the homomorphisms X.,, --* X. and Ym -+ Y,,. Hence G acts continuously on the Zi-modules TT(X) and T1(Y), where we give 0 the Krull topology and T1(X) and Ti(Y) their l-adic topologies.
Furthermore, let y be any homomorphism of X into Y. Since the points of finite order in X are ko rational and k-dense, and p maps points of finite order into points of finite order, p is defined over ku and hence over a finite extension k, of ko in k0 (i.e., comes by base extension from a homomorphism of group schemes Xo (&ka kl Yu®kokl). It then follows that if H=G(ko/k) c G is the subgroup of G fixing k1, for any k6-rational point x of X, we have hp(x) = p(hx)
APPENDIX I : THE THEOREM OF TATE
241
for all h e H. Thus, if we make G act on Homz1(T1(X), Tt(Y)) by putting (gl)(x) = g(X(g-lx)) for g E 0, AE Homz (TT(X), T1(Y)) and x c- T1(X), we see that h Tt(p) = T1(p) for h e H. In other words, for any (p E Hom (X, Y), there is a neighborhood H of the identity in G fixing T1(p). We see therefore that if for any G-module M we denote by M« the subgroup of elements fixed by some neighborhood of e,
the image of (1) is contained in Homz,(T1(X), T1(Y))t°>, and we obtain a homomorphism Zt (&z Hom(X, Y)
HomZ1(T1(X ), TAY))
.
(2)
Tate conjectures that (2) is an isomorphism (or equivalently (2) is surjective) for any field of definition k° of finite type over the prime field. He proves this for abelian varieties defined over a finite field. It has also been proved when k° is an algebraic number field and X = Y is of dimension one (Serre). We shall now reproduce Tate's proof in the case of finite fields. THEoREMM 1. Let X and Y be abelian'varieties defined over a finite field k°. Then the homomorphism (2) is an isomorphism.
The rest of this section will be devoted to the proof, which we give in several steps. STEP I. It Suffices to show that the homomorphism
Qe®z Ho-(X, Y) = Qe®Q Hom°(X, Y) --+ HomQ1(V1(X), V1(Y))tvi
(3)
where V1(X) = Q1®zt T1(X), is bijective.
In fact, if this were so, the image of the homomorphism (1) would be a Z1-submodule of maximal rank in Homz1(Tt(X), Tt(X))(4). On the other hand, if this image is M, Homz,(T1(X), TT(X))JM has no torsion; for, suppose p e Homz,(Tt(X), TT(X)) and 1,p e M. We can 3 19, so that for all large find i(r E Hom(X, Y) such that n, T1(W n) =l p,,, pn E Homzt(Ti(X), T1(Y) ). Thus,
(TT(X)) c l TI(Y)
and f,, vanishes on X. Thus 0. admits a factorisation #,,= X. o d r = I Xn and the X. converge to a certain. X in Z1(gz Hom(X, Y) with T1(X) = (p, so that p E M. This proves our assertion, and establishes that .111 = Hoinz1(T,(X), T1(Y))(").
ABELIAN VARIETIES
242
STEP II.
It suffices to show that for any abelian variety X defined over a finite field x
QI®Q Ends(X)
]SndQ)(I',(:v))("')
(4)
is an isomorphism.
In fact, if (4) is an isomorphism with X x Y instead of X, since we have the direct sum decompositions as G-modules Q,®Yad'(XxY)a--(Q,®o End'X)®(Q,6vEnd' fl LQ/8oHom9(X.Y))®(Q,EaHom'(Y.X))
I
1
1
End(V,(XxY)) .-- End )V,(X))®End )VdY))ED Horn
I
i
Y,(Y))®Hom(r,(Y),1',(X)),
the above diagram is commutative and the first vertical arrow is an isomorphism, (3) is an isomorphism. Thus, henceforward we shall restrict ourselves to a single abelian variety X defined over a finite field, and prove that (4) is an isomorphism.
STEP III. It suffices to show that A is an isomorphism for one 1 and th ii dimQ) End (VI(X))(o) is independent of I T char. k.
This follows from the fact that the dimension of the left member in (4) is independent of l and A is always injective. STEP IV. To establish (4) for an 1, it suffices to show the following. Let E be the image of d, and F the intersection over all neighborhoods of e in G of the subalgebras generated in EndQ)(V1) by these neighborhoods. Then F is the commutant of E in End(V1).
In fact, since E is semi-simple, if the above were true, it would follow from von Neumann's density theorem that E is the commutant of F. Further, since EndQ1( VI) is of finite dimension over Q1, F
actually equals the subalgebra generated by sonic neighborhood, and all smaller neighborhoods generate the same subalgebra. Hence the commutant of F is precisely EndQ1(V))u . Now, Steps I-IV are valid for any field of definition k,,, and do not make use of the fact that ko is finite. The next step makes use of a
APPENDIX 1: THE THEOREM OF TATE
243
certain hypothesis which is easily seen to be true for finite fields, and probably holds for any field of finite type over its prime field. We therefore state it as a hypothesis, verify it for a finite field and deduce its consequences.
Let X be an abelian variety defined over a field k0, 1 a prime. We
then state the HYPOTHESIS (k0, X, 1): Let d be any integer > 1. Then there exist upto isomorphism only a finite number of abelian varieties Y defined over ko, such that: (a)
there is an ample line bundle L on Y defined over ko with
X(L) = d; (b) there exists a ko isogeny Y- X of 1-power degree.
(If X - X0 ®Aak and Y = Yo ®,ok, a line bundle L on Y is said to be defined over ko if there is a line bundle Lo on Yo such that L - Lo (&A.. k, and an isogeny Y ->-X is said to be defined over ka if it arises from a homomorphism Yo-- X0 by base extension to k.) For finite fields ko, we have in fact the following stronger LFMMs 1.
If ko is a finite field, d> 0 and g> 0, there are upto
isomorphism only finitely many abelian varieties Y defined over ko of dimension g and carrying an ample line bundle L. defined over ko with X(L) = d.
Pxoox. The line bundle L$ on Y is defined over ko and gives a projective embedding of Y as a k. -closed sub.variety of projective space of dimension 30X(L) -1=30d-1. The degree of this subvariety is the g-fold self intersection number of L3, that is, 39.(L)o.d = 3r.g!d. Thus, there corresponds to it a k6 -rational point of the Chow variety of cycles of dimension g and degree 39.g! din P'Od-'. Since ko is a
finite field, there are only finitely many k, -rational points on this Chow variety, which proves the lemma. STEP V. Suppose X is an abelian vareity defined over ko and L an
ample line bundle on X defined over k0. Suppose for a prime
244
A13ELIAN VARI I' TLES
1 - char. k5,Hyp(ko,X,1) holds. Let JVcV,(X) be a subspace of V,(X) which is G-stable and is maximal isotropic for the skew-symmetric form EL. Then there is an element u nE with u(V1(X)) = IV. PROOF.
Set T = T,(X), V = V1(X) and for each integer n > 0, T. = (T n 1V) + 1"T.
If +/r": T"(X) -r X," is the natural homomorphism, set K. Y. = X 1K, and let v": X ->Y" be the natural homomorphism. Then (1"),t factors as X
=r Y. -+ X.
Since ,r" o A. o 7" = l"rr", we
obtain that a" o A. = (1%.x so that a"((Y")1") = ker 9r" = K..
Furthermore, for any m>n, )1,.((I'")1",)z) (a"ovr") (X,-) =X:m-., so that T!(d") (T1(Y,j) D P T1(X), T,(A") (T,(Y")) = T"
We now verify that Y. is an abelian variety defined over ko and that 1 is a ko morphism. First note that if X = Xo ®5,k where Xo is a group scheme over ko, the points of X1", are separably algebraiq
over ko. In fact, since (1")t: X - X is etale. so is (1")r0: Xo
Xo,
so that (1").ta (0) consists of points whose residue fields are separably
algebraic over ko. Further, since W and hence (T n W) + l"T are G-stable by assumption, K. is also G-stable. Thus the fact that Y. as a- variety is defined over ko and a": X -* Y. is defined over ka follow from the following general LEMMA 2. Let X be a quasi-projective variety defined over ko and H a finite group of automorphi8m8 of X such that
(i) there is a separably algebraic extension of ko over which the automorphisms of 11 are defined; (ii) for any automorphism a of the algebraic closure ko of ka over
kc, 11° = H.
Then X/II is defined over ko and the natural map X - X/II is defined over ko.
APPENDIX I : THE THEOREM OF TATE
245
Choose a Galois extension k,(ko over which the automorphisms of Il are defined. If U is a ko-afhne open subset of X, f7 AU is PROOF.
Aen
again ko-affine open and 12-stable, by assumption (ii) of the lemma.
Thus, we may assume X affine, X = Spec A, A = A0 ®ko k, A0 being a k0 algebra. If Al = A0 ®ko k1, ll operates on A,, and An (9k;k = An. Further, G = Gal (kllko) operates on A1, and since by assumption A 11 A-1 = H for any A e G, it follows that All
is d-stable. Let B be the ko-algebra of G-invariants, and A) a basis of k1/ko. If E a; ® O1 a An, ai a A0, then A (E a1 ® 0,) = Lai ®A (Bi) a An, and since det (A (Bi))a,o i 0, a; ®1 e An n A. c B, which proves that An = B ®., k,.
This proves the lemma.
Thus, as a variety, Y. is defined over ko and or,: X -s Y. is defined over lco, so that or,(0) is k,; rational. Since the addition map
m: Y,, x Y. - Y and the inverse 1: Y.
Y, are defined over a separably algebraic extension of ko and are invariant under the action of Gal(ko/k ), they are again defined over ko. Hence Y, is defined over ko as an abelian variety. Now, (l")x = A. o or, and or, are defined over k hence A is defined over ko, since for a ko regular function p on an open subset of X, p o A. is k1-regular for a Galois extension k, of k, and is invariant under Gal (kt Jk,,) since p o A, o n,= po(d")X is.
Let d be the degree of the ample line bundle L on X. We shall produce an ample line bundle of degree 20.d defined over ko on each Y,. We have e1(x, pa;,(L) (y)) = B
(L" (x, y)
= BL(A,(x),
eet(T,,, T,)
eL(111 T, T n W +1" T)c1"M1
for any or, y e Z 1(Y,), since W is isotropic for J. Since et: T,(Y,) x T1(Y,)->Mtisnon-degenerate, it follows that pA.(,)(Tt(X))cl"TI(X), 901Li=1"4r for some Y,, >Y..
ABELIAN VARIETIES
246
It follows from the theorem of §23 that 41= 9Ln for some line bundle L,, on Y,, defined over the algebraic closure, hence over some normal extension of k0. We may assume that L" is symmetric. Hence,
if p denotes the characteristic of k° if this is positive and p = 1 if the characteristic is zero, for a suitable integer N > 0, LPN is defined over a Galois extension k1 of ko. We now have LE1c iA 3.
Let Y be an abelian variety defined over ko and La Pic°Y
a line bundle defined over the algebraic closure 1° of k° in k. Let and denote by a(L) the line bundle on Y defined over ka ae Gal obtained by pulling buck by the morphisml l y. x Spec a: Yo ®,.. ko -a Yo (&a A0. Then a(L) e Pic" Y. PROOF.
Let M be an ample line bundle on Y defined over k°, and
consider the line bundle Y = m*(M) ® p*(M)-' (& p2(M)-1 on Y x Y. We can find an algebraic point y e Y such that N I {y} x Y= L. It is then easy to see that N j {ay} x Y = a(L), so that a(L) a Pic° Y.
We shall make use of the notation a(L) introduced in the lemma
in future. Further, if L1 and L2 are two line bundles on Y with L1® L2 ' e Pic° Y, we shall write L1 = Ls.
Resuming the earlier discussion, if a e Gal (k /ko), we see that a(LO) is also symmetric, and a(L"N)t" a*(L"), so that since is torsion-free a L,"nNfor every a e Gal (k,/k°). Hence, and L",N differ by an element of order 2 in PicO Y. Thus, if we put M. = Ln"N, we have M,, for every ac-Gal (k1/ko) and M;," We now have
Let Y be a complete variety defined over ko with a k, rational point, k1 a Galois extension of k° and L a line bundle on Y defined over k, such that for every a e Gal(k,/k°), a(L) - L. Then L LEMMA 4.
can be defined over k°.
Paoov. Put X = X°®4k, X1 = X, (9k. k1 and .let vr:X1 -* X° the natural morphism. Since projective modules of constant rank over semi-local rings are free, we can find an affine covering 11= (U,)1 , of X0 such that L/rr-'(U;) is free. Let {act;) be the 1-cocyale
APPENDIX 1: THE THEOREM OF TATE
247
with respect to the covering {ir '(Ui)} with values in Oal defining L.
Our assumption implies that for any a e G = Gal (k/k°); we have fi., a r(v-'(U;), ,) such that
a l'
rj.o
If yo is a ko rational point of Xo with yoe Uio and y, 7r-1(yo), by dividing the fl;., by P; .,(y1), we may assume that gi.,,(yt) = 1. Now,
- f;."
a?-(a;;) a,i
i.o>
aT ((X;j)
a (a;j)
a(a;i)
0,i;
a (9;,.) g;.o a(fli,.) flj,a
so that for any a, r e G, i, j e 1, -` P;,' = Nj,e, a(Rj,.)-' f3;,o' in .U; n Ui.
Since X is complete, P;,,> a P71 = C,,> for all i, and taking i = io and evaluating at y1Q, weppsee that
Grant for the moment that if A is any local ring. of X° and B = A®k.k,, and if B* is the group of units of B, H' (0, B*) = (1). We deduce that there is a covering {U;,z}aE,t, of U; and y;,Q a IF(- -' (U;.,),
& .) such that a(Y;a) via
in i '(U,, ).
The cooYcle a;i yin with respect to the covering {U+=} aEA is cohomoiEJ
logous to { aii ),and we have
/
Yj'
\\\
Yia
aij
Yjd
r Yia = Yin = w-aii-Q---a;i p;e
Nio Y.
Yia
e r (Uia r' Uin, Fo).
Yia
It only remains to show that if A is the local ring of a point on X° and B = k, ®ta A, H' (G, B*) = {1}. Let B be the quotient field of B; we then have the exact sequence H°(G, R*) -+H°(G, R"`/B*) -- H'(G, B*) -+ H'(G, B*) = {1}.
248
AI3ELIAN7 VARIETIES
An element of H°(G, R* f B-*) is represented by an element f c R*
such that f e B* for all veG, and we shall. show that we can write f= gu where g e H°(G, R*) and u e B*. Writing f=
with fD e B,
F e A, we see that we may assume that f e B. Now, since f e B* for all a e 0, the ideal Bf is G-invariant, hence of the form B S?t, R( being an ideal in A. But now, since Bf = kl®kn 4(, 2( is A-projective, hence
principal. Thus, Bf = Bg for some g e A and f = gu, g e A, u e B*. This completes the proof of Lemma 4.
It follows that the line bundle M. on Y. is defined over k°. Now, the g.c.d. of 2p" and 1" is 1 or 2 according as I is 2 or not. Hence, we can find integers a, b such that 2apN + bl" = 2. Define N. - M;"® A*(L)b, so that N" is defined over k°. Further, N = L2aPN+61" = L2 so that N. is ample with X(N") = 21 X(L") = 29. l-"'
(,1n(L}}
= 29.1-n9 deg. A. X(L) = 29X(L) = 29d.
An alternative way of producing an ample line bundle of degree 29d on Y is to observe that (i) if Y is an abelian variety defined over k°, and we construct Y as Y/ti(L) for a line bundle L defined over k°, Y is defined over k° and the Poincare bundle P on Y x Y is defined over k°; (ii) if since A,,(L) is defined over and finally; (iii) if P" is the Poineare k°, so is (pa,-,,L) and hence also bundle on Y. x Y and X = (l, #): Y. -+ Y. x Y,,, then X*(P,,) = N. is
line bundle defined over k° with 9,.v-.-: 2 q, (see § 3:3). so that
X(Nn)2 = deg TNn = 229 deg > = 2291-2n0 deg
229 1-2n9X
(deg An)2 X (L)2 = 221 X (L)2.
Anyhow, we deduce from Hyp(k°, X, 1) that there is an infinite set I of natural integers with smallest integer n and isomorphisms vi: Y,, Z. Yi for all i e I. Consider the elements u;, = Avian 1 e E nd° X and their images u; a Endo (V1). We have u;(T") = T; c 2'n for i e I,
APPENDIX I : THE THEOREM OF TATE
249
and since Endz (T,,) is compact, we can select a subsequence (u;)XI
which converges to a limit u'. Since E is closed in End (VI) and u3 a E, u' also belongs to I,'. Since T is compact, u'(TA) consists of elements of the form x = Jim x; where x, a T3, and since
the sets T, are decreasing, it follows that u(T,,) = je fl fl T; = T n W. 1E
Hence u(V) = W. This completes the proof of Step V.
Step VI. Suppose that for any finite algebraic extension ka of k(, Hyp(kl, X, 1) holds, and that F is isomorphic as a Qi-algebra to a direct product of copies of Qt. Then (4) is an isomorphism. PROOF. Replacing ka by a finite algebraic extension kl over which all elements of End X are defined and which is such that Gal (k,Jk,)
generates F in End(V1), we may assume that ko itself has these properties. Let D be the commutant of E in End(Vi), so that D D F. We first show that any isotropic subspace W for EL which is F-stable is also D-stable. We proceed by downward induction on dim W. If W is maximal isotropic, i.e. if dim W= g, we can by Step V find a u e E such that u(V) = W, and hence DW = DuV = uDV =uV = W, which proves the assertion. Suppose then that dim W = r < g and the assertion holds for F-stable isotropic subspaces of dimension r + 1. The orthogonal complement W -L of W for EL is also F-stable, since EL
is invariant under the action of Gal (k/ko). Further, since any simple F-module is one-dimensional and dim W1-dim W = 2g-2 dim W = 2(g - r) > 2(g - g + 1) 2, we can find F-stable one-dimensional subspaces Ll and L2 of W' such that the sum W ± L1+ L2 is direct. By induction hypothesis, W + Ll and W + LZ are D-stable, hence so is their intersection W. This completes the induction. We deduce
that any eigen-vector for F in V is also an eigen-vector for D. It follows that D c F. (The decomposition of V into factors V; corresponding to the simple factors of F.reduces this assertion to the evident statement that an endomorphism of V, for which every element of
V; is an eigen-vector is a scalar multiplication). Hence F = D, completing the proof of Step VT.
250
ABELIAN VARIETIES
STEP VII. End of proof of theorem. We assume from now on that k° is a finite field. By replacing it by
a finite extension if necessary, we may assume that every element of End X is defined over k°. Let N be the Frobenius morphism over k°.
Then IT belongs to the center of End° X, and hence Q[ir] is a comimitative semi-simple subalgebra of End" X. We shall first show that there are an infinity of primes l for which Q,®Q Q[7r] is isomorphic as a Q,-algebra to a direct product of copies of Q. In fact, writing Q[ir] = K, x ... x K, where Ki are finite extensions of Q, it suffices to show that for an infinity of primes 1, each Q1® Ki
is isomorphic to a product of copies of Q. Let K be a finite Galois extension of Q in which all the Ki are embeddable. Then it suffices to show that for an infinity of 1, K®QQ, splits as a product of copies of Q, as a Qi algebra. It suffices for this that there is one simple factor of K ®QQ1 isomorphic to Q1. In fact, if K ®Q Q1 = L1 x ... x L, the Galois group IT of K,1Q permutes the factors L. It also acts transi-
tively on the simple factors. For, if not, suppose L1 x ... x Lr is ir-stable; then the element (1, 1, .... 1, 0, 0, 0) e L1 x ... x Lk is TtimC5
77-stable- On the other hand, since 7r fixes only the elements of Q in
K, it fixes only the elements of Q1 in Q,®Q K, that is, elements of the form (a, a, ... , a) E L1 x ... x Lk with a e Q1. This proves the assertion.
Now, choose an algebraic integer a of K generating K over Q, and let F(X)eZ[XJ be its irreducible monic polynomial over Q. Since K®QQ1 Q,[X]((F(X)), it is enough to find an infinity of l for which F(X) has a zero in Q1. Let A be the discriminant of F(X),
and l any prime not dividing A such that F(X) = 0 (mod 1) has a solution n in Z. Then F'(n) # 0 (mod 1), so that by Hensel's lemma, n can be refined to a root of F in Z1. Thus, we are reduced to proving the following LEMMA 5- Let F(X) e Z[X] be a non-constant polynomial. Then there are an infinity of primes l for which F(X) = 0 (mod 1) has a
solution in Z.
APPENDIX I : THE THEOREM OF TATE
251
PRoor. Let F(X) = a°X° + a1X"-1 + ... + a,,. The lemma being trivial when a" = 0, since X is a factor of F(X) in this case, we may assume a 0 0. Further, by substituting a"X for X in F and removing the common factor a,,, we may assume a = 1. Let S be a
finite set of primes p. If N = II P, then Pcs
F(vN) = a° v" N" + ... +a"_ 1 vN + 1 = 1 (mod N) so that no prime of S divides F(vN). On the other hand, F(vN) o f 1 for v large, hence has a prime factor l not belonging to S.
Next, we show that for all 1 : ehar.k°, the dimension of Endo1 V1() is the same. Again, assume that every element of End X is defined over k°, so that the Frobenius it belongs to the center of End°X, hence to the centre of Qt ®Q End°X. Then Q1[ar] is semi-simple
and V1 is a Q1[ir]-module, so that the image 17 of it in EndQ1Vt is semi-simple. The characteristic polynomial- P(t) of i in EndQ1V1 has coefficients in Z independent of 1. Further, the closed subgroups of Gal (k°/k°) generated by Tr" form a fundamental system of neigh-
borhoods of e in this group, so that EndQ, VI') is the commutant of ir'"! in EndQ1V1 for n large. The characteristic polynomial of ir'41 has for roots 6' where Or, ..., 8r, are the roots of P(t) repeated with multiplicity. For all n large, the number of distinct elements of
8',', ..., 0% as well as their multiplicities is the same. Thus, our assertion is a consequence of the following lemma, applied to an algebraic closure of Q1. Let A and B be absolutely semi-simple endomorphisms of two vector'spaces V and W of finite dimensions over afield k respectively, with characteristic polynomials PA and PB. Let LEMMA 6.
PA = fl
PM(P)
P PB=IIp"(P)
P
be the decompositions of PA and PB as products of powers of distinct irreducible monic polynomials p. Then the vector space
E={pEHomk(V, W) fpA=Brp}
ABELIAN VARIETIES
252
has dimension
r(Pa, Ps) = E m(p)n(p) deg p, v
and this integer is invariant under any extension of the base field k.
PROOF. Make V (reap. TV) into a k [X]-module by making X act
through A (reap. B). Denote the k[X]-module k[X]/(p(X))by M5. Because of our assumption of semi-simplicitity, we have isomorphisms of k[X] ,modules V
HM.-O)
Ti' . H Mp
Now, the M5 are non-isomorphic simple k[X]-modules for distinct p, and E is nothing but Homk.t vi (V. TV). Since dimk. Homk.(,) (M5, M5)= dimx .M5 = deg p, and since E clearly `commutes with base exten-
sion', the lemina follows. The main Theorem l'is a* consequence of what we have proved, combined with Steps III and VI. REMARK. The theorem can be stated in the following seemingly stronger form : Tnuonmu 1'. Let X and Y be abelian varieties defined over a finite field k0, and let Homko (X, Y) be the group of homomorphisms of X into Y defined over k0. If G is the Galois group of the algebraic closure of ko over k0, we have an isomorphism
Zi®z Homko (X, Y) -2L* Homzr (T:(X), T1(Y))o. PRooF.
Take G-invariants on both sides of the isomorphism (2).
APPLICATIONS. We give some easy consequences of Theorem 1'. We
shall make our statements over a fixed finite field. The `geometric' statements over the algebraic closure are easily obtained from these. We shall consistently use the notation r(f,g) for two polynomials f and g, introduced in Lemma 6. Further, as we have shown above that if X is an abelian variety defined over a finite field ko with Frobenius
APPENDIX I : THE THEOREM OF TATE
253
morphism vr, then the Frobenius morphism -ii" over a finite extension of ko induces semi-simple endomorphisms of Vj(X) over Qj, it follows
since Qj is of characteristic zero that it itself induces (absolutely) semi-simple endomorphisms of VV(X) for all 10 char. ko. Thus, the structure of V,(X) as a module over the Galois group of Z. over ko is uniquely determined by the characteristic polynomial of it, as explained in the proof of Lemma 6. We now have THEOREM 2.
Let X and Y be abelian varieties defined over a finite
field ka, and let PPr and P. be the characteristic polynomials of their Frobeniu8 endomorphisms relative to ko. Then
(a) we have
rank (Homj;(X, Y)) = r(P.r, Pr); (b)
the following statements are equivalent:
(b1) Y is ko isogenous to an
of X defined
over ko, (b2) V,(Y) is G-isomorphic to a G-subspace of Vj(X) for some 1, (b3) (c)
P.I. divides P,r;
the following statements are equivalent: (cj)
X and Y are
(c:)
1'.r = Pr,
(cs)
X and Y have the same number of k1-rational points for every finite extension ki of ko.
(a) follows from Theorem 1' and Lemma 6, since the Frobenius morphism generates the Galois group in the topological sense. The implications (bi)n. (b3) a (b3) are clear, in view of our earlier remarks. We show that (b2)i.(b1). If (b3) holds, we can find an injective G-homomorphism p of T1(Y) into T1(X). Then p is in PROOF.
the image of Zj ®Z Homjo(X, Y), so that we can find + E Homjo(X, Y)
approximates arbitrarily closely to p, in particular such that with Tj(#) injective. If 0 is not an isogeny, we can find an abelian
ABELIAN VARIETIES
254
subvariety Z of Y in the kernel of 0, and the submodule TT(Z) of T1(Y) would be in the kernel of T'(#). Hence t is an isogeny, proving (b).
The equivalence (c,) e> (c2) is a special case of (b,) . (b:,) when
dim X = dim Y. Further, we have seen during the proof of the Riemann hypothesis in § 20 that if w,(i e I) and wj(j eJ) are the roots of P. and P1. respectively and N. and N,, are the number of rational points of X and Y respectively in the extension of degree n of k0, we have
N = 11(1w;°)7 j thus, we have to show that P.r = P1. <> rI (1 - w `) = R (I
every n > 0. The implication implication, note that
is obvious.
J(1-w")=
-W,11.) for
To prove the other
(-1)ISIw; SCI
ie!
')IT, 47",
jeJ
2, C.1
where I S I, I T I denote the respective cardinalities and w5 = rj w;, ;e8
w'T = rl w,. Multiplying the given equation by t", where t is a ;Er
variable, and summing as formal power series, we obtain (_1)ISI
Sc!
= 1 l-s tw
(-1)ITI !'C.1
1
l - ho.
q1I', comparing the poles on both sides on the Since I w; I = I wj t I = q'12, we obtain that there is a bijection e: I iJ such circle
that w; =
Hence, Px = I'x
Before we come to the next theorem, we need some preliminaries. Let X be an abelian variety defined over ko, so that X = Xo®1 k for
some group-scheme X, over ko. Let Y be an abelian subvariety of X, which is a ko-closed subset, so that if A: \ -> X, is the natural
APPENDIX I : THE THEOREM OF ?ATE
255
morphism, there is a closed subset Yo of X. with A-1(Yo) = Y in the' set-theoretic sense. We give Yo the structure of a reduced subscheme of X0. If mo : X. xA.0 Xo --). Xo is the multiplication morphism, our hypothesis implies the set-theoretic inclusion mo (Yo x A:o Yo) c Y. Hence
mo restricts to a morphism md: (Yo x ko Yo)red. > Y0 If we can assert that Y = Yo®Aok and Yo x A..Yo are reduced, it would follow that Y is
an abelian variety defined over ko. Both of these are consequences of the assertion that the function field RA.o(Y0) is a regular,extension of ko, or equivalently that RA.,(Y0) is a separable extension of kd. This
is always true (vide S. Lang, Abelian varieties, Chap. I), but we shall not prove this, since we shall need it only when ko is a finite (hence perfect) field, so that this is trivially satisfied. Next, suppose X is an abelian variety defined over ko, and Y an abelian subvariety which is k, -closed. We want to show hat there is an abelian subvariety Z of X defined over ko such that Y + Z = X and Y n Z is finite. We know (vide §18, proof of Theorem 1) that if L is an ample line bundle -on X, we can take Z to be the connected component of 0 of the group Z' = {zEX; TZ(L)® L-1I, is trivial}, so that if we can ensure that Z is defined over ko for a suitable choice of L, we are through. Now if we choose L to be a line bundle defined over ko, Z' is defined over the algebraic closure ko of ko and is stable for all automorphisms of T. over ko. Hence Z' is k, -closed. Further, the conjugations of ko over ko permute the components of Z', and since Z is a component of Z' containing the k-, -rational point 0, Z is also stable under these conjugations. Hence Z is k,-closed, and it
follows from the comments of the earlier paragraph that Z is an ahelian variety defined over k0. It follows from this by repeating the arguments of § 18 that if we call an abelian variety X defined over ko to be k, ,-simple if it does not contain an abelian subvariety Y defined over ko with YT{ll}, Y=X,
then (i) any abelian variety defined over ko is ko isogenous to a product of 1., -simple abelian varieties, and (ii) if X is k,; isogenous to a product X't x ... x X,", where X; are k. -simple and X; and'XX are not ko isogenous if i
j, then End'o X c JI (D,) x ... N
where DA = End', (Xi) are division algebras of finite rank over Q.
ABELIAN VARIETIES
256
We now have THEOREM 3.
Let X be an abelian variety of dimension g defined
over a finite field k0. Let 7r be the Frobenius endomorphism of X relative
to ko and P its characteristic polynomial. We then have the following statements: (a) The algebra F = Q[7T] is the center of the semi-simple algebra E = Enc1Ao(X); (b) End' (X) contains a semi-simple Q-subalgebra A of rank 2g which is maximal commutative; (c)
the following statements are equivalent:
(c1) [E: QI = 2g, (e2) P has no multiple root,
(ca) E=F, (ci) E is commutative; (d) the following statements are equivalent:
(d1) [E: QI = (29)2,
(d2) P is a power of a linear polynomial,
(d3) F=Q, (d4) E is isomorphic to the algebra of g by g matrices over the quaterniondivision algebra Dj,over Q(P==char. k0) which
splits at all primes l r p, co, (d5) X is ko isogenous to the g-th power of a super-singular curve, all of whose endomorphisms are defined over k0; (e)
X is ko isogenous to a power of a k0-simple abelian variety if and
only if P is a power of a Q-irreducible polynomial. When this is the case, E is a central simple algebra over F which splits at all finite primes v of F not dividing p, but does not split at any real prime of F. PROOF
center of EI
It follows from the main theorem that FI =QI®QF is the QI ®Q E, which proves that F is the center of E.
APPENDIX I : THE TREORM OF TATE
257
Suppose E = Al x ... x A, is the expression of E as a product of simple algebras Ai with centers Ki. Let [Ki : Q] =ai, and [Ai : Ki]= b;. We can choose subrings Li of Ai containing Ki with Li semi-simple
and maximal commutative, [Li : Ki] = bi. Then L = L1 x .... X L,. is a semi-sii ple Q-subalgebra of B which is maximal commutative,
and [L: Q]
E ai bi. Now, for any 1, we have 1
r
E®QQi= fl (Ai®QQi1=
(Ai®xi(Ki®QQI))
i-1
Ai®xiKi
'i
with K;, fields. On the other hand, if
where K® ®Q Qt = H i-1 S
P = II Pi" is the decomposition of P over Qi into a product of powers of irreducible polynomials over Q:, and if we consider Ti(X)
as a Q1[T]-module by making T act via rr, we have an isomorphism of Q,[T)-modules Ti(X)
T
-`
T] Qp,)
Q(!l'.)
so that E®QQ1, being the commutant of it in EndT1(X), is isomorphic to
.-1
Comparing the two factorisations of E ®Q Q1 and keeping in mind that K;, is the center of A® ®xi K;i, we deduce that (i) for any prime 10 p and any prime v of Ki lying over 1, A i splits at v and (ii) there
is a partition of [1, s] into r disjoint subsets I1,..., I, such that "i
Ai®QQ: ^' fT Ai®. K;i t-1
rT J
1
.E/i
A13ELIAN VARIETIES
258
It follows that m, = b, for v eIi and E [S, : Q,]
[K;i : Q,]
[K; : Q] = a,, so that r
a` b` - 7 i=l .eli
a
-'A: Q1]
m,,[S, : Qt] v=1
m,deg P,= deg P= 2g. This proves (b).
Since F is the center of E and E contains a maximal commutative subring of rank 2g, (cl), (c3) and (c4) are equivalent, and since E commutative o El commutative a m, = 1 with the above notations, these are also equivalent to (c2). This proves (c).
Now, [E: Q] = (2g)' if and only if QI®QE = M2p(Q1), hence if and only if s = 1, S, = Q, or equivalently, P is a power of a linear polynomial. In this case, Q1 is the center of Qi®QE, so that Q is the center of E, and conversely, if this holds, Ql ®Q E is the commutant of Q7 in End V7, so that it is the whole of End V1. Thus M2p(Q,), E is a (d,), (d2) and (d3) are equivalent. If Q1®QE central simple algebra over Q whose invariants at all finite primes l -f= p are 0. Since its invariant at the infinite prime is 0 or I and the sum of invariants at all primes is 0, B is either M2p(Q) or M1(D,) where D, is the quaternion algebra over Q splitting at all finite primes l p. The first possibility is ruled out, since X cannot be a product of 2g abelian varieties. This proves that (dl) o (d4). In view of our
remarks preceding the theorem, (d4) is equivalent to saying that X at CO, where C is an elliptic curve with End1.o C D5. We have then shown that C is supersingular (§22). This proves (d).
Let Q be the product of the distinct irreducible factors of P. Since F = Q [ar] is semi-simple, and P(ir) = 0, we have Q(1r) = 0. Further, rr acts as an endomorphism of V,, any irreducible factor over Q, of the characteristic polynomial*P divides the minimal polynomial of rr, so that Q is the minimal polynomial ofiroverQ. Now, X is k,-isogenous
APPENDIX I. THE THEOREM OF TATE
259
to a power of a 1-0 -simple abelian variety if and only if E is simple,
hence if and only if the center F = Q[zr] of E is a field. Since F ^_- Q[X]/(Q(-Y)). F is a field if and only if Q is irreducible, or equivalently, P is the power of an irreducible polynomial Q. If F is
the center of E, we have shown earlier that E splits at any finite prime v of F not dividing 1. Suppose v is a real imbedding of F, so that v(or) is a real number. Since v(rr) satisfies P(v(,r)) = 0 and the roots of P have absolute value -%/q, we must have v(7r) = ± Vq. If q is a square, v(a) e Q and F = Q, so that the equivalent-condition of (ds) and (d4) implies that E does not split at co. If q is not a square,
F = Q(. /p). Let ki be the quadratic extension of ko and ir' = ir 2 the Frobenius over ku. Then ,a2 a Q, so that the center F' of E' = Ends. X is Q. Appealing to (d), we conclude that E' = M,(D,). On the other hand, we have F' cFcEcE', and E is the commutant of F in E'. By a known result on central simple algebras, we see that E and F O ..E' define the same element of the Brauer group over F, that is, E is the image of E' under the natural map Br(F') -+ Br(F). Since both the real primes of Q(-%/p) lie over the real prime 00 of Q
and E' has invariant h at co with respect to F= Q, E has invariant I at either of the real primes of F = Q(,/p). This completes the proof of (e). COROLLARY. Any two elliptic curves defined over finite fields with isomorphic algebras of complex multiplications are isogenous (over the algebraically closed field k).
In particular, any two supersingular elliptic curves are isogenous.
Suppose X, Y are supersingular elliptic curves. We can choose a common finite field of definition k such that Endk X and PROOF.
Endk,Y are quaternion algebras over Q, so that they have Q for center. Thus, their Frobenius morphisms rrx and w y lie in Q. Since they must both have absolute value -Vq where q = card (k0), we see that vr' = 7r2, = q. Thus, if ku is the quadratic extension of k,,, there is an isomorphism T1(X) - T1(Y) carrying the action of 7r.r into -a , , and w ', = 7-, 11 are the Frobenius morphisms over "k1. By Theorem 2, X and Y are isogenous over ku. where y r r
260
ABELIAN VARIETIES
Next suppose End°X
K, End° Y n K for some imaginary
quadratic extension K of Q. Choose a common finite field of definition of X and Y over which all their endomorphisms are defined and
all the points of order p are rational. Now, Qp®Ql4,nd°X admits a one-dimensional representation in TT(X). Hence, p splits into a product of two distinct primesp and.' in K which are conjugate, and Qp®Q End°X K, x Ks,,. Suppose for instance that Qp®o End°X
acts on TT(X) via Ky. By what we have said, it follows that irx = 1(i), and since Nm orx is a power of p, (1r x) has to be a power of ,p' in the ring of integers of K. A similar assertion (possibly with p replacing ti') holds for,ry. By altering the isomorphism End° Y^-K
by the conjugation of K if necessary, we may assume that (v,.) is also a power of p'. Since Nmor,r= Nmiry = q = pf, we see that in the ring of integers of K, (7rx) _ (irl.) = P'f so thatTrr and ,r, differ by a
unit, i.e., a root of unity since K is imaginary quadratic. Thus 'rr = ar'y in K for suitable n, and they have the same minimal equa-
tion over Q, of degree 2. Since this has to be their characteristic polynomial, X and Y are isogenous over an extension of degree n of k°.
APPENDIX II MORDELL-WEIL THEOREM
By Yu. I. MANIN 1.
Statement and sketch of the proof.
Let K be any
finite
extension of the field of rational numbers Q, X _ an abelian variety defined over K. We shall prove the following result. THEOREM.
The group X(K) of rational points of the variety X is
finitely generated.
Poincare had already conjectured this result for elliptic curves. It was Mordell who proved this conjecture of Poincare, over Q, and Weil generalised this proof to the higher dimensional case, by introducing a series of new ideas and technical tools. Both the theorem and the method of its proof play a central role in modern "Diophantine Geometry". The generalisation of Mordell-Weil theorem to the case of the base
field being a field of finite type (over the prime field) is given by ,S. Lang'. No essentially new ideas are required for the same.
The proof of the theorem consists of three steps of completely different kinds. We shall sum up these results in the form of three assertions. PROPOSITION 1.
Let n > 1 be any integer. Then the group
X(K)/nX (K) is finite. This is known as "Weak Mordell-Weil Theorem" and -its proof is given in §2. PROPOSITION 2.
There exists on X(K), a symmetric bilinear scalar
product X(K) x X(K) -a R (x, y)
--> <x, y> with the following properties:
(a) <x, x> > 0 for all x e X(K),
(b) the set {x e X(K) I <x, x> < C} is. finite for all C > 0.
j S. Lang: Diophantine Geometry, In+,erscience, New York (1962).
ABELIAN VARIETIES
262
The construction of this scalar product is based on the theory of heights of Weil-Tate. This is contained in §3 and §4.
The arithmetic of the field K and the geometry of the variety X will be used in these two steps. The third-a purely formal deduction of the finite generation of the group X(K) from the above properties, we shall see now. ,
Let r be an abelian group with the following
PROPOSITION 3.
properties
(I) r/nr is finite for all n > 1; (2) there exists on r a symmetric bilinear scalar product
r. x r -). R: (x, y)-w--4<x, y) such that properties (a) and (b) of Proposition 2 are satisfied. Then r isfnitely generated. PROOF. First, we choose a system of representatives x, ... x, of all
the classes of r/nr. We observe further that there exists a constant C with the following properties:
<x, x> > C - <x-x;,x-x;> <2<x,x>foralli=1....,8. (1) In fact,
<x - xi, x -x;) = <x, x> - 2 <x, x;) + <xi, x;) and
<x, x> < <x', xi>'tQ <x
x)112
(2)
and hence <x -- x;, x - x;) increases asymptotically as <x, x> for <x, x)
oo.
[The Schwarz inequality (2) follows from the fact that the quadra-
tic form <mx + nx;, mx + nx;> has for its discriminant <x, x;)2 <x;, x;> <x, x> and is non-negative for all integers m, n.]
We set now M = (x,, ..., x) u {x a r/<x, x> < C} where C is the constant above and prove that the finite set M is a set of generators for the group r. In fact, if it were not the case, there exists an element x e r which
does not belong to the subgroup ro generated by M with <x, x>
APPENDIX II: MORDELL-WEIL THEOREM
263
minimum (for these values form a discrete subset of R in view of the inequality (2)). Obviously <x, x> > C. Besides x - x; = ny for some x; e M and y e P. By using inequality (2) we obtain
"method of descent". In fact, the proof by contradiction gives. a method of representing any point x e r as a linear combination of elements of M, by successively "descending"' from x to x' = x
x;
n
and from x' to z" = x -' .2 and so on, until the "heights" <x°, jo> n of the new points no longer decrease. Weak Mordell-Well Theorem. The symbols X, Khave the same meaning ini this paragraph as in the previous one. Let K z) K be. the
2.
algebraic closure of K. We consider geometrical points of X over the field k and its subfields. We fix an integer n > 1, and denote by the group of geometrical points of order n in X and by µ the group of nth roots of unity. We shall prove below Proposition 1, under the additional assump-
tion that X. c X(K) and µ c K. This can always be achieved by passing from K to a finite extension and it is obvious that the strong form of Mordell-Weil theorem for the extension yields the theorem for the field K.
Let L = K(nsx X(K)) -- the composite of all fields ink obtained by adjoining n-Ix, x eX(K). Then L is a finite abelian extension of K. FUNDAMENTAL LEMMA.
DEDUCTION OF PROPOSITION 1 FROM THE FUNDAMENTAL LEMMA.
Let G be the Galois group of L(K. Consider the maps 1(K) 3 Hom (G,
x
fx
f.,(s) = s(n-lx) -n-lx, xeX(K), 8eG.
ABELIAN VARIETIES
264
It is clear that f, is independent of the choice of n -lx, since
It is easily verified that fl is a homomorphism and that fr r: Further
fr = 0 ' n x e X(K) Q x e nX(K). Therefore the map x'W -* fr defines an imbedding X(K)/nX(K) c --i Horn (G, By virtue of the fundamental lemma, the latter group is finite and that gives the required.
We shall divide the proof of the fundamental lemma into several
steps. All the necessary algebraic geometric considerations are concentrated in the proof of Lemma 1, the rest is purely arithmetic. LEMMA 1.
Let A be any ring of integers in the field K. There
exists an open subset Y = Spec As c Spec A, a scheme X -' Y, projective over Y, Y-morphism m= X x X -> X and a section e: Y -a X with the following properties: (a) the fibre X over a generic point of the scheme Y (together with
the restrictions m and e of the morphisms m. and a to this fibre) is isomorphic to the abelian variety X over K; (b) X is a group scheme over Y and all fibre (schemes) over closed points y e Y (together with the restrictions of the morphisms m and e to these) are abelian varieties; (c)
the mapping in
(a)
induces an isomorphism of groups
X(Y) =a X(K). OUTLINE OF PROOF. Suppose more generally, we are given an algebraic variety defined over K. By taking a finite cover by means
of affine sets, we select a finite number of generators of the coordinate rings of each of these sets and a finite number of generators of the corresponding ideals. We obtain thus a finite presentation of the variety by means of a finite number of polynomials and rational functions-th a finite number of variables. The coefficients of these
polynomials lie in a subring A,y, c K of finite type over K. Thus our variety can be considered as a generic fibre over Spec As, defined
by the "same equations". An analogous construction "model over
APPENDIX II: MORDELL.1VEII. THEOREM
265
a ring" is possible for any diagram consisting of a finite number of varieties and morphisms over the field K. By applying this argument to the given defining abelian variety X over K, we can meet the requirement in (a). In order to establish assertion (b), it can be shown that one has necessarily to reduce still Spec A, by puncturing at a finite number of points. The most important requirement consists in that, for y e Spec As. the fibre scheme Xy be a smooth variety. We omit the proof of the fact that this holds for all but a finite number of points if the generic fibre is a smooth variety. The other requirement in (b) can be secured in an analogous manner, if one applies this result also to the diagrams of relevant morphisms. Finally, the condition (c) is automatically fulfilled if we choose Spec AS so small, that A 1 be a principal ideal ring (this is always possible, for the group of ideal classes of A is finite). In fact, the unique invertible sheaf over Spec A. will be the structure sheaf. Since X -> Y is a projective morphism, X is a closed subscheme in Py and it is sufficient to check that PY(y) P`(K). This follows, for example, from Proposition 3 of Lecture 5 in Mumford's book*. Indeed, according to this Proposition P} (yl = ((so,
.
, s.), si E As, si coprime}j R
where R is the equivalence relation (s,_., (uso, ... , us.), U E AS* (invertible elements). But since AS is a principal ideal ring, it is
clear that all points of P'(K) lie in the above described set. This concludes the proof. We observe that now considerably more subtle and precise facts on the models of abelian varieties over rings and in particular on the behavior of "degenerate fibres" (N6ron's theory) are known. From Lemma i follows immediately COROLLARY I. Let x a !(Y). Consider x as a closed subscheme of ! and denote by n-'(x) the closed subscheme in X, the inverse image of x under the
morphism n 7y, multiplication by n. Then the natural projection n-'(x)-+ Spec (AS) is etale over all points y E Spec As, whenever char k(y) ,r'n. t 1). Mumford:
Lectures on curves on an algebraic surface, Annals of Math.
Studies 59, Princeton University Press (1966).
ABELIAN VARIETIES
266
This follows from the fact that every component of n-'(x) maps onto y and the number of different geometrical points in the fibre PROOF.
Xy over the pointy is equal to the order ker (Xy ) X;,) i.e. n°, g = dim X, if char k(y) n. Since this number coincides with the degree of the blojective morphism, the definition of the staleness gives the required. Reformulating this result in the classical terminology, we obtain
There exists a finite set E of prime ideals of the ring A, such that for any point xeX(K) and y e n-'(x)eX(K), the COROLLARY 2.
extension K(y) D K is unramified outside E. (In E, it is necessary to include Spec A \ Spec A. and divisors of n.)
We return now to the fundamental lemma. The field K(n-' x) is normal over K, because the conjugates of the point n-I x are of the form n-'x + y, y c X c X(K) and K(n` Ix) = K(n- Ix + y). This also gives the abelian nature of the Galois group and its action on n-'x defines an isomorphism with a subgroup of X,,. Hence the composite L = K(n-I X(K)) is abelian of exponent n over K and is ramified over only a finite number of prime ideals of the field. Consequently the fundamental lemma will be proved, if we verify the following fact. LEMMA 2.
The maximal abelian extension of exponent n of an
algebraic number field K, which is unramified outside a fixed finite set E of prime ideals of the field, is finite. PRooF. Let F K be the maximal abelian extension of exponent
n, H, its Galois group. Consider the exact sequence I -a µ } K*,4o1. The exactness of the sequence of cohomology groups of IC* Hom (H, A.). Gal(K/K) gives K,/(K-)" -,, Hom (Gal (K/K), (We use here that H'(Gal (K/K), K*) = 1 and H'(Gal (K/K), p.) = since µ cK*). In other, words, there is a wellHom(Gal(K/K),
defined nondegenerate bilinear pairing:
HxK*/K*"-*p,, (s, a(K*)*)
Va
I
I
(3)
APPENDIX II:
THEOREM
267
(Here the group H has Krull topology and K*IK*°, discrete topology).
To any subfield K c L c F we obtain from Galois theory a subgroup HL c H which leaves its elements fixed. Let B c K* be the inverse image in K* of the subgroup, orthogonal to HL with respect to the pairing (3).-By making use of this point of view, it is not difficult to conclude that
L=
K(... , Vbi, ...), bi a B. This is clearly the algebraic part, the so-called Kummer theory. We now make use of the arithmetic of the field K. It is necessary
to explain when the extension K(,/a) is unramified. outside E (divisors of n are contained in E). Local considerations show immediately that the necessary and sufficient condition for this is v,,(a) 0(mod n), for all y f E. The group of elements with this property in K*, splits into finitely many classes mod K*". This follows easily from the theorems on the finiteness of the number of ideal classes of E-units (Dirichlet - Minkowski - Hasse).
Thus, we see that to obtain the extension K(n-1%(K)) it is sufficient to extract nth roots of a finite number of elements of the field K. This concludes the proof of the fundamental lemma and the weak Mordell-Weil theorem. Height of points of projective spaces. As before, K denotes an algebraic number field of finite degree. We recollect some elementary facts from the arithmetic of these fields. By paints of the
3.
field K, we mean objects of one of the following three kinds: (a) prime ideals of the ring of integers of the field K (non-archimedean points)
(b) imbeddings K -r R, (c) pairs of complex conjugate imbeddings K C. Let v be one such point of the field. This uniquely defines normalised I ... 1, of the field K satisfying the following properties. Let x e K; then x 1, = I z' J where x' is the image of x under the in bedding of K in R or C if v is an archimedean point.
I p I,, = p if v is non-archimedean and the ideal divides the ideal (p), p e Z, a prime.
268
ABELIAN VARIETIES
In the sequel, we will often make use of the following simple formulas. For all x, y e K Ion 1 xy 1, =log I x I,, + log j y j,
log I x + y Ins max (log I x 1 log I iL) + C, c'
(4)
log 2 if v is archimedean, 0
if v is non-archimedean.
We denote by K, the- completion of the field K under the topology
induced by the normalised ... Iz and set n - [K,.:Q,.]. For any I
element x e K, x
0
nn log 1 X!, = 0
(5)
(the sum makes sense, for, j x I for all except finitely many v). For the sake of ^,onvenience, we set log 0 m, less than any arbitrary real number. Let (x0, ... , x") E K"+' be any system of elements not all of which are zero. DEFINITION - LEMMA 1.
h(xa, .... r.) -
The number
?:6t
fK
n, max (log ! xj
(6)
l
is well defined and has the following properties: (1)
h a function on the K-points P" (K) of the projective space P" provided with a distinguished system of co-ordinates. This function is called the height.
(2) h(x) > 0 for all x e P"(K); (3) h(x) does not depend on the choice of the field where the projective coordinates of the point x he.
Pnoor. The first assertion follows from the fact that max log I dxi I, = max log I x, ;,, + log I Ax I i
and "product formula" (4) applied to A.
APP1 NDIX II: MORDELL-WEIL THEOREM
269
For the proof of the second, we remark that, dividing all the coordinates of the point by a suitable non-zero number, we may assume that one of the coordinates is a unit; then max log I x; I. > 0 i
for v non-archimedean so that h(x) > 0.
For the third assertion, it is sufficient to prove for pairs of fields L D K, one contained in the other. Let w run through all points of the field L which are extensions of v. Then K,O L = Qi L. from
where [L: K] n. - I n so that, f'or all x e K, [K Q)
(L: Q) wlo n Since the valuation I ... I,., on K coincides with I ... lo, this proves
the third assertion. EXAMPLE.
Let K
Q, xi e Z with g.c.d.-(x,,.-X1) = 1. Then
h(x0... , x") = max log I xi I.
In particular, the number of points of bounded height in P"(Q) is finite.
More generally; PROPOSITION 4.
Let C > 0, d > 0, de Z, P" projective space
with a fixed system of coordinates. Then the set
{x a P"(K) /h(x) < C, deg K(x) < d}
is finite.
PROOF. We reduce this assertion to the case K = Q with the help of the following transformation. Consider points x = (.To, ... , x")
of degree < d and denote the corresponding point (X0,... , X,") of the projective space over Q of forms of degree deg k(x) in n + I variables. The coordinates of this point would be coefficients of the norm form Nm (E xi Ti), the norm taken over Q. The mapping
(xo, ... , x") -w.--j (Xo, ... , Xm) defined on the set of points of fixed degree, has finite fibre, since one and the saine image is possible only for conjugate points (the norm foim splits into linear factors, the factorisation being unique upto ordering). Thus it is sufficient
270
ABELIAN VARIIiTI S
to prove that points of bounded height go over to points of bounded height. This is almost obvious. Making use of the inequality (4), we find that, for some constant do (where v is any point of the Galois extension over Q generated by k(x)). max log I x; !, < d max, log I .r; I r + d,. i.e
i
where dr may be assumed to be zero for all non-archimedean points of the field and v' runs though the conjugates of v over Q. Hence
h( (...... X,,) < d'h (xo, ... , a;,,) + d" where d' and d" can be evaluated in terms of n and d.
The assertion is proved. We shall analyse now the dependence of height on the system of coordinates. Let f1, f2 be two real-valued functions on some set. We all them equivalent (fl'-, f2) if I fl - f2 I is bounded. Let h h2 - heights in P"(K) defined with respect to two systems of coordinates. Then hl ~ h2. PROPOSITION 5.
PROOF. Let A = (a;f) be the matrix describing the passage from one coordinate system to the other (xu (4,
(xo
..... ,
A.
By means of formula (6), we find that
maxlog; xi"I,<maxlogIx;!r+maxlogIa;jl,+log(n+1) if v is archimedean, and max log ; x, !r < max log I xi i
+ max log I ai t.)
if v is non-archimedean. Hence h2(x) < hl(x) + h( ... a;; ...) + c' for all x E P"(K). Making use of the invertibility of A, we can show analogously hi < h2 + C. This proves the assertion. Taking into account this result, in future we will consider heights.
only upto equivalence and calculate them for some convenient coordinate system.
APPENDIX 11: MORDELL.WEIL THEOREM
271
Height associated with an invertible sheaf. Let now X be any variety defined over a field K, q : X --> P" a morphism in the projective space over K. The height h* is ,'efined on the geometric points X(K) by-the formula, h,,(x) = h(g1(x)) where his as before the height in the projective space P".
4.
PRoposrrsox 6.
Let X be any complete variety over K, and
p: X y Pk, : X -> P' two K-morphisms. If p*(Op;(1)) _ #*(19pz(1)) over X, then hm- h& in X(K). PROOF.
Let L = p*(Opk(l)) = *(Opt(1)). Then from the defini-
tion of the morphism X: X Proj (S(F(X, L))) we have X*(O(1)) =L. It suffices to show hx '-- ho; then by symmetry hx -hy.
We may suppose that p(x) is not contained in any proper linear subspace of Pk. Choose a basis (To, ..., TT) c p*(I'(Pk, Opk(1))cr(X,L) a n d extend it to a basis (To, .. , of the whole space I'(X, L). The
height hx can be computed in the system (To, . ., and h* in the system (T0, ... , TA.). Let x e X(K), (xo, ... , x.,,) - coordinates of the point X(x); (xo, ... , ;rk)-coordinates of ?(x). Firstly
max log Iav, 1 < max I xi 1o =.> h9 < hX. i6k
n
The estimate in the other direction is somewhat less trivial.
Since X is a complete variety, the image X(X) c P" is closed. Let I c K[T., ... , Ti,] be the defining ideal in the homogeneous coordinate ring B - K [To,..., Since the sections To__ , Tk of the defining
morphism q1 do not all have a common zero on X, their images in R generate an ideal, the radical of which is called "irrelevant" ideal R+, generated by forms of degree > 1. In particular, there exists an integer q > 0 and forms F,, a K[ To, ... , of degree q - 1 such that k
Tk+1 -
F;,{To, ... ,
T; E r, i =1, ..., n - k.
;_o
Consequently, for any point (xo, ... , k-I -'R+1=
X(x), i=..
imu
1, ... , n- k.
(7)
ABELIAN VARIETIES
272
By applying the estimate (6) to the right side, we obtain q log ; xk+1 !,, 5 (q - 1) max log I xi I + Inax log I xi ,, + C,, j:;n i<.
where C. is a set of constants depending on Fii such that C,
0
only for finitely many v. Hence max log ; xi 1. < max log I xi I,, + C,, so that hX < h, +C.
irn ilk The proves the assertion. Now we are in a position to prove the fundamental general theorem on heights, due to A. Weil. THEOREM.
Let X be a projective variety over the field K. For each
element L e Pic X, we can make correspond a well-defined height function hL (unique upto equivalence) on X(K) having the following properties: (a)
hL'OL, - hZ, + hta
(b) if X = Pn, then h 0w--height defined in §3; (c) for any K-morphism p: X-+ Y and L E Pic Y, h,,,iL) - hL. © holds.
PRooF. Firstly the uniqueness of the height follows from the fact
that Pic X is generated by very ample line bundles, the height of whose classes, defined upto equivalence has properties (b) and (e) by virtue of Proposition 6.
For the proof, it is essential to verify firstly property (a) for line bundles L1= q*(0(l)), L2 = 4i*(0(i)) where p ; X -. Pk, l : X --> P. Denote by o : Pk x P1 . Px the Segre morphism which can be described in terms of homogeneous coordinates as follows: ((xo, ... x,), (yo, ... yd) = (... xi yi ... ) E p(k+1)(!+1)-1
Then with the obvious notation
a*(OPx(1)) = P1*(e 1(1)) ® p1*(0&(1)) so that L1® L2 = X*(OPtr(l)) where X : X
(,P,0)
) Pk X P+ - PN- compo-
site morphism. Consequently hL,®L, - hx ; but from the formula max log I zi yi to = max log I xi 1,, + max log I y I,,, i!
it follows immediately that h,
i
i
h* - h,
hL + hL.Y
APPENDIX II : MORDELL-WEIL.THEOREM
273
Let then L be any line bundle. Setting L = Ll ® LQ-1 where L1 and L. are very ample, we define AL = hL, - hla From the assertion proved just now, it follows at once that hL defined upto equivalence, does not depend on the choice of L1 and LQ and that the height hL as a function on Pie X satisfies properties (a) and (b). For the functorial property (c), it is sufficient to check only online
bundles of the form L = #*(O(1)) since they generate Pic Y. For such line bundles AL ~ he(,)- O. by definition and A,,-(L) -' haij 0 T by definition, whence hl,*(L) -4L+c.
The theorem is proved. 5.
Tate height on abelian varieties. Let now X bean abelian variety
over K, L e Pic X. It seems J. Tate made the simple and beautiful observation that in the first place hL is an "approximate quadratic" function on the group X(%) and in the second place, there is a uniquely defined function hl equivalent to hl which is in fact quadratic.
We begin with a lemma concerning arbitrary abelian groups. LEMMA 3.
Let r be any abelian group, h; r->R, a function on it
satisfying the condition s
x; - L h(xi + xj)
h -1
0;
(8)
k-1
(the left aide can be considered as a function on r x r x r). Then there exists a symmetric bilinear pairing b = r x r --> R and a homomorphism 1: l' -->. R such that
h(x) ' h(x) Rf J b(x, x) + 1(x)These conditions define b and d uniquely,
PROOF. We set firstly
f(zI, xs) = h(xi + x3) - h(x1) - k(x3)Then f is symmetric and is "approximately bilinear". N(xl + x1, x3) - N(x1, X3) - N(x1, x3) ti0
(9)
ABELIAN VARIETIES
274
and analogously in the second argument. Since the proof follows from the relation (9) in terms of h, it is enough to verify the equivalence of this with the corresponding equation (8). We set now b(x1, x2)
= lim 4-" P(2"x1, 2"x2). N..
One obtains the existence of the limit and the equivalence b simultaneously, if one notes that 4-(n+i)p(2n+1xl 2"+I x2) = 4 "f(2"xi, 2"x2) + 4-("+1) 0,,,
where 0" = 0,,(x,1, x2) --.0 so that 4_h
v
f(2Nx1, 2Nx2) = f(xI, x2) + 2 4
+i) 9,,
N=(1
From the formula (9) follows immediately the bilinearity of b.
We set now A(x) = h(x) - I b(x, x). Then
)'(x1 + x2) - A(XI) - A(x2) = PI1 x2) - b(xl, x2) ^' 0. Therefore, by applying the same averaging process to A, we obtain a homomorphism
l: P-iR, l'..A: l(x) = lim 2-" A(2"x). 11
Summing up,
h=ib+A- b+1. The uniqueness of b and l is obvious. DEFINITION -LEMMA 2.
Let X be an abelian variety over an
algebraic number field K, L E Pie X. Then the height AL on X(IC) satisfies the condition of Lemma 3. Consequently the functions bL, If, and hr are uniquely defined and the latter among them is called Tate height of the point o;I X (associ4-ted to the line bundle L).
Pnoor. Apply the theorem of the cube (to be exact, Corollary(2)
of it) to the projections Pi X x X x X - X. Then we obtain a
s
l pi, *LcS(pl+p2)*L-'®(p1--p3)*L-1cg(p2+pa)*L-I ®pi*Lrl.
APPENDIX II:
THEOREM
275
By calculating the height of the point (xl, x2, x3) e X X X X X with respect to the line bundle on the left side with the help of the theorems on properties of hL we obtain 3
3
s=1
/
t£i<j53
i=1
This concludes the proof. REMARK. Let q,: X->Y, be a morphism of abelian varieties, L any line bundle on Y. Then km.(L) - AL o q) whence h@.(L) = AL o R and in particular be.(L)-= bLa p, 1*.(L) = ZL . qi . By applying the latter
relation to the mapping pp(x) = - z, and setting p*(L) =L-, we obtain bL- = bL,1L- -1L. Let now L be a symmetric line bundle, i.e. L- = L. Then IL = 0 and hL(x) _ I bL(x, x)6.
Proof of Proposition 3. We select a symmetric very ample line
bundle L on X and choose < x, y > = bL (x, y). Since L is very ample, <x, x > > 0 for all x e X (K). In fact, otherwise, hL(nx) ,jn2 < x, x - co as n --.>. oo and this would contradict the fact k.L(y) hL(y)
and in the class of functions equivalent to kL(y) there exists a non-negative one (second property of height-compare DefinitionLemma 1).
Further, from Proposition 4 it follows that the set {x e (X (K) Jh,(x) 5 c} is finite and therefore the same is
true of the set (xeX(K)/<x, a> cC). This completes the proof of Proposition 3 and that of the theorem of Mordell-Weil.
BIBLIOGRAPHY [A-G]
[B]
A. ANDREOTTI and H. Oa&ux T : Thborbmes de finitude pour Is cohomologie des espaces complexes, Bull. Soc. Math. France, 90 (1962), 193. WALTER BAILY : On the theory of 0-functions, the moduli
of abelian varieties, and the moduli of curves, Annals of Math. 75 (1962), M. [B-K]
H. BRAUN and M. KOEORRR : Jordan Algebren, SpringerVerlag, 1966.
[B-M]
ARmANII BoREL and GEORGE MosTow : editors, Algebraic
groups and discontinuous subgroups, American Math. Soo. Providence, 1966. [Br]
L. BREEN : On a non-trivial higher extension of representable
abellan sheaves, Bull. American Math. Soc. 75 (1969), 1249. [Bt]
Metodi analitici per varietb, abeliane in caratteristica positiva, Annali della Sc. Norm. Pisa,
IAOOPO BARSOTTI :
appearing in several parts, 1964-1966. [C]
J. W. S. CAssxLs : Diophantine equations with special reference to elliptic curves, J. London Math. Soc. 41 (1966), 193.
[Co]
[D-G]
Abelsche Functionen and algebraische Geometric, Springer, Berlin, 1956. MIOEEL DEMAZURE and PIERRE GARRIEL : SEminaire FABIO CONFORTO :
,lteidelberg-Strasbourg. [G1]
ALEXANDRE
GRoTRENDIEox :
S¢minaire
de
geometric
algebrique. 1968. [G2]
A. GROTEENDIEag.: Seminaire 1960-61.
de
geometrie
algebrique,
[G3]
A. GROTEENDIEOE : Seminaire
de
gdometrie
algebrique,
1963-64 (Schemas en groupes). [Go]
ROGER GDDEMENT :
Topologie algebrique
et thdorie
des
faisceaux, Hermann, Paris, 1964. [G-R]
[H]
ROBERT GUNNING and Huao Rossi : Analytic functions of several complex variables, Prentice-Hall, 1965. G. HOOESOHILD : The structure of Lie groups, Holden-Day, San Francisco, 1965.
BIBLIOGRAPHY
277
(J]
N. JAcoBsox : Lie algebras, Wiley-Interscienee, New York,
[K]
Kuwnmo KODAmA . On compact analytic surfaces, Analytic functions, Princeton Univ. Press, 1960. SERGE LA ea : Abelian varieties, Interscience-Wiley, New
[L]
1962.
York, 1959. [L-N]
SEEuE LANG and A&DRE NvEox : Rational points of abelian varieties over function fields, American J. Math. 81 (1959), 95.
[Ml]
DAVID MumFORD :
Geometric invariant theory,
Springer,
Berlin, 1965. [M2]
D. Muam'oxn : On the equations defining abelian varieties, Inv. Math. 1 (1966), 287.
[M3]
P. Mumtsoai : Introduction to algebraic geometry, forthcoming. Yusr MAxrx : The theory of commutative formal groups
[Ma]
over fields of finite characteristic, U8pekhi Mat. Nauk. 18 (1963), No. 6, p. 1; transl. in 2?ussian Math. Surveys, Macmillan. [N]
ANDRE Naaox : Modbles minimaux des varietes abeliennes sur les corps locaux et globaux, Publ. I.H.E.S. No. 21, 1964.
[0]
FSAxs OoBT : Commutative group schemes, Springer Lecture Notes, Vol. 15, 1966.
[Si]
J.-P. SERRE :
[Sh]
Goao SEIMIIRA:
troupes algebrique et corps de classes, Hermann et cie., Paris, 1959.
On analytic families of polarized abelian varieties and automorphic functions, Annals of Math. 78 (1963), 149.
[TI]
Jom TATE : p-divisible groups in local fields, Proc. NUFFIC summer school at Driebergen, Springer, 1967.
[T2]
J. TATE : Endomorphisms of abelian varieties over finite fields, Inv. Math. 2 (1966), 134.
[Wi]
AxDRE WEm :
Varietes abeliennea at courbe8 algebrique,
Herman, Paris, 1948. [W2]
A. Wxm : Thborbmes fondamentaux de Is theorie des functions theta, Seminaire Bourbaki, Exp. 16,1949.
INDEX Abelian variety ................... Action of a group scheme on
39
Group scheme .....................
94
a scheme ........................ Appell-Humbert; theorem of.
108 20
Hasse-W itt map .................. Height-l-group scheme........ Hodge-decomposition .........
100 139 9
Base number .....................
40,178
Hyperalgebra (of a groupscheme) ........................
104
C.M.-type ..........................
183 211 133
Index of line bundle............
150
construction of...
Cartier dual ........................ Characteristic polynomial of endomorphism of abelian variety ........................... Chem class (1st) .................. Chow, theorem of ............... Complex homomorphisms....._ Complex multiplications;
algebra of ....................... Cube, theorem of ...............
182 16 33
kind .............................. Tsogeny ........................... ;of height 1............
194 63 145
Sacobian-(never used) ...... .Tordan.algebra structure on
vi
2
Neron-Severi-group...........
208
172
1-adic representation............
176
55,91
Degree of a finite morphism;
also separableinseparable-,
62, 121 9
De
classification of endomorphism algebras of elliptic curves .................. Differential operator(on a scheme) ..................
Dearing;
order of .......................... Divisorial correspondence.... Dolbeault-resolution............
Dual abolian varietyarbitary characteristic.,.,,. Dual abelian varietycharacteristic 0 ............... Duality hypothesis .............. eu-pairing ........................... Epimorphism
of
Lang; theorem of-on existence of rational points.....
Lattice .............................. Lcfschetz; theorem of......... Lie-algebra........................
217 106 106 81
205 2 29 99
Neron-Severi-group .............. 40, 178 Nilpotent part of ry -linear map
Non-degenerate line bundle...
Norm form ........................ Norm; of enlomorphism of abelian variety ............... Norm; reduced ..................
143 155 178 182 ISO
4
Pfaffian of skew-symmetric
matrix ........................... Picanl-group .....................
154
123
Po i ncare-bu,u l I c .................. Poineare complete reduci-
78
bility theorem .................. Poisson.bracket ..................
173
p-rank of Abelian variety......
147
55 69
74 132
183
group-
schemes ..........................
Involution, of first and second
Etale ..............................
118 65
Quadratic function ............
Exponential map ................
1
Quotient of a group scheme
Vibration associated to principalbundle .....................
121
Flat Sheaf ........................
46
Fundamental group of variety
169
Quotient by a finite group......
21
99
by sub-group scheme.........
104
Riomann-form of a divisor... lticmonn hypothesis............ ltiomann-Roch theorem........
186 206 150
INDEX
Rigidity lemma .................. Rosati involution ............... See-saw theorem
...............
Semi-continuity theorem...... Scini-simple part of p-linear map ............................ Serve and Roscnlicht; theorem of .....................
43 189 54 50
143 227
Serre; theorem of- on automorphierns
of
abelian
varieties ........................
207
Simple abelian variety......... Square.; theorem of............ Sub-group scheme ...............
174
; normal-
59 102
Supersingular elliptic curve...
118 216
S-valued point ..................
93
279
Tate group; l-aclic ............... Tate group; p-adie discrete...
170 171
Theta-function .................. 25 Theta group ....................... 221,225 non-degenerate
Trace form ........................ Trace of endomorphism of abelian variety ............... Trace; reduced ..................
223 178 182 180
Type of a finite commutative group scheme: local,
reduced . ........................
136
Vanishing theorem ............. Vector field ........................ , left-invariant......
15096 97
Weierstrass-function ............
36