2000 Mathematics Subject Classification. Primary 11G10, 11G20, 11G25; Secondary 11N36.
<ph f="cmbx">Weil numbers generated by other Weil numbers and torsion fields of abelian varieties</ph>

E. Kowalski

Universite Bordeaux I A2X, 351, cours de la Liberation, 33405 Talence Cedex, France E-mail address : emmanuel.kowalski@math.u-bordeaux1.fr

1 Introduction

Let q = p k   be a power of a prime number and let π   be a q   -Weil number, i.e., an algebraic integer such that for every automorphism σ   of C   we have | σ ( π ) | = q   . Let Φ π   be the multiplicative group generated inside C ×   by the Galois-conjugates of π   . We are interested in the multiplicative group structure of Φ π   and particularly in the set (say w π   ) of q   -Weil numbers inside Φ π   . Clearly, w π   contains all the conjugates of π   , and we wish to know when there is equality.
Our motivation relates to abelian varieties over finite fields. Let
A / F q   be such an abelian variety over a field with q   elements. Weil proved that all eigenvalues of the Frobenius endomorphism π A   of A   are q   -Weil numbers. We denote by Φ A   the multiplicative group that they generate. If A   is simple, then π A   “is” an algebraic integer and Φ A = Φ π A   .
We also denote by
w A   the set of q   -Weil numbers in Φ A   .
In
[K1,Th.3.4, it is shown that given abelian varieties A / F q   and B / F q   , the condition Φ A = Φ B   is equivalent with the fact that, for all n   coprime with some integer N   (which may depend on A   and B   ), we have F q ( A [ n ] ) = F q ( B [ n ] )   , in which case we say that A   and B   are isokummerian. In the case of a simple variety, therefore, if w π A   is reduced to the conjugates of π A   , any variety B   satisfying the above condition must be isogenous to a power of A   .
Some precise results (e.g., for product of elliptic curves) are given in
[K1, and also an example due to Serre of two abelian varieties A   and B   over a finite field, simple and non-isogenous over F ¯ q   , such that Φ A = Φ B   . (In particular, in such a case w A   contains strictly the set of conjugates of π A   ).
Our main result shows that for “most” abelian varieties over finite fields,
w A   is the set of eigenvalues of π A   . What “most” means has to be specified, of course, and there are actually at least two natural ways of doing this, taking A   up to isomorphism or isogeny.
We will consider both possibilities, using a common lemma and specialized arguments.
In the isomorphism case, we use rather deep results of Mumford and Chavdarov on what “most” isomorphism classes of abelian varieties over
F q   look like; it is quite appealing that we use here both p   -adic methods having to do with ordinariness and   -adic methods related to monodromy of   -adic sheaves. Those also allow us to derive some results for abelian varieties over number fields, although they are conditional on ordinarity assumptions. In the isogeny case, the method is more elementary, based on lattice-point counting, using results of Howe and DiPippo, and the multidimensional large sieve inequality.
We now state precisely our main result. Let
g 1   be an integer, q = p k   with p   prime and k 1   . We introduce the following:
Theorem 1.1. Let g 1   and q = p k   with p   prime and k 1   . We have
lim n + | I g ( q n ) | | A g ( q n ) | = 1 (1.1)
and
lim n + | g ( q n ) | | A g ( q n ) | = 1 . (1.2)
Acknowledgments. The results of Chavdarov [Cwhich are crucial for this paper were mentioned by N. Katz during a lecture; shortly afterward a question by U. Zannier made me realize that those results could be quite useful to study Φ A   and w A   and improve on [K1. I thank them both for these lucky coincidences...

2 Determination of w π   in a special case

In this section we consider only q   -Weil numbers, and give a criterion for w π   to be reduced to the conjugates of π   . For simplicity we assume that π   does not have real conjugates, hence π   is of even degree 2 g   . Let K π Q ¯   be the Galois closure of Q ( π )   . For every conjugate π i   of π   , q / π i   is also a conjugate of π   ; if we fix an embedding Q ¯ C   , we have q / π i = π ¯ i   , the complex conjugate of π i   .
Proposition 2.1. Let p   be prime, q = p k   with k 1   . Let π   be a q   -Weil number such that [ Q ( π ) : Q ] = 2 g   . Let G   denote the Galois group of the Galois closure K π   of Q ( π )   . Let ( π i , π ¯ i )   , 1 i g   , be the Galois conjugates of π   in K π   , in complex conjugate pairs. Assume that:
(1) For all i   , 1 i g   , π i   and π ¯ i   are coprime in K π   .
(2) For all i   , 1 i g   , there exists σ i G   such that σ i ( π i ) = π i   and σ i ( π j ) = π ¯ j   for j i   .
Then
w π   is the set of conjugates of π   .
Remark 2.2. Since we actually solved the equations in terms of the parameters ( m , n i )   uniquely (for a given α   ), we have also proved that ( q , π i )   , 1 i q   , form a free generating set of Φ π   under the assumptions of the proposition. In particular, the rank of Φ π   is then equal to g + 1   .
Remark 2.3. Proposition  2.1 also applies to prove that if A = E 1 × × E k   is a product of pairwise geometrically non-isogenous elliptic curves over a finite field F q   with q   elements, the only q   -Weil numbers in Φ A   are the conjugates of the Frobenius elements for the E i   (see [K1,Th.3.4,(5)). It also gives back in this case the lemma of Spiess used to prove this statement in loc. cit.
To apply Proposition  2.1 to a simple abelian variety A / F q   with Frobenius π A   , we need criteria for the two conditions involved. Here we start by Condition (1), which has to do with the “behavior at p   ” (since all primes dividing π   are above p   in K π   ) of the Frobenius of A   .
Recall that an abelian variety
A / k   of dimension g   over a field k   of characteristic p   is called ordinary if | A [ p ] ( k ¯ ) | = p g   , which is the maximal number of p   -torsion points therecan be in characteristic p   . If k = F q   is a finite field with q   elements, then A   is ordinary if and only if the middle coefficient of the characteristic polynomial of Frobenius is coprime with q   (see e.g. [DH). The following lemma is certainly well-known.
Lemma 2.4. Let q = p k   with p   prime, k 1   , let A / F q   be a simple ordinary abelian variety. Then for any eigenvalue π   of the Frobenius of A   , we have ( π , q / π ) = 1   in the Galois closure of Q ( π )   .
This implies that any ordinary abelian variety satisfies Condition (1) of Proposition  2.1 .
Note that the examples of Serre in
[K1are not ordinary (since their endomorphism rings are not commutative, which is another consequence of ordinarity, see e.g. [W,§7).
In analogy with
A g ( q )   , A g ( q )   , we now denote
Now we come to Condition (2), where there is also a simple sufficiency criterion.
Lemma 2.5. Let π   be a q   -Weil number such that [ Q ( π ) : Q ] = 2 g   and such that the Galois group of K π   over Q   is isomorphic to W 2 g   , the Weyl group of S p ( 2 g )   . Then π   satisfies Condition (2) of Proposition  2.1 .
Corollary 2.6. Let q = p k   with p   prime and k 1   . For any simple ordinary abelian variety A / F q   of dimension g   such that the Galois group G   of K π A   is isomorphic to W 2 g   , the set of q   -Weil numbers in Φ A   is equal to the set of conjugates of π A   .
This is immediate from Proposition  2.1 , Lemma  2.4 and Lemma  2.5 . Again we denote:

3 General abelian varieties up to isomorphism

We now apply Proposition  2.1 to “generic” isomorphism classes of abelian varieties of dimension g   . More precisely, one has to consider (for instance) the moduli space A g   of abelian varieties of dimension g   with a principal polarization, which is known to be irreducible of dimension g ( g + 1 ) / 2   over Z   .
For Condition (1) of Proposition
 2.1 , we use Lemma  2.4 . It is known that generic abelian varieties are ordinary (see [ON1 .) Thus in A g   , there exists a dense Zariski open subset U A g   such that the polarized abelian variety parameterized by any u U   is ordinary. (See also [CL,§5for a sketch; roughly speaking, ordinarity is an open condition, and we know that ordinary abelian varieties of any dimension exist, for instance products of ordinary elliptic curves).
Proposition 3.1. Let q = p k   with p   prime, k 1   . We have lim n + | A g ord ( q n ) | | A g ( q n ) | = 1 .  
Remark 3.2. This is much weaker than what the result of Mumford implies: since the space of abelian varieties is of dimension g ( g + 1 ) / 2   and the space of non-ordinary abelian varieties must be of dimension g ( g + 1 ) / 2 1   , we have for n 1  
| A g ( q n ) | = q n g ( g + 1 ) / 2 + O ( q n ( g ( g + 1 ) / 2 1 ) ) ,
| A g ord ( q n ) | = | A g ( q n ) | + O ( q n ( g ( g + 1 ) / 2 1 ) ) .
Condition (2) is not so easy to treat. We use Lemma  2.5 , and the crucial fact is that Chavdarov [Chas shown that “most” abelian varieties A / F q n   with n +   are simple and satisfy the assumptions of that lemma.
Proposition 3.3. Let q = p k   with p 2   prime and k 1   . Then we have lim n + | B g ( q n ) | | A g ( q n ) | = 1 .  
We now deduce from Proposition  3.1 and Proposition  3.3 the first main result of this paper.
Theorem 3.4. Let q = p k   with p   prime and k 1   . For n 1   , let C g ( q n )   be set of isomorphism classes of principally polarized absolutely simple abelian varieties A / F q n   of dimension g   such that Φ A Z g + 1   and w A   is equal to the set of conjugates of π A   . Then we have lim n + | C g ( q n ) | | A g ( q n ) | = 1 .  
Informally: “most” abelian varieties A   of dimension g   over F q n   with n   large are simple, ordinary, the group Φ A   is isomorphic to Z g + 1   and the only q n   -Weil numbers in Φ A   are π A   and its conjugates.
By the criterion stated in the introduction for two varieties to be isokummerian over a finite field, we see that this theorem is equivalent with the first part (
 1.1 ) of Theorem  1.1 .
Remark 3.5. As in [Cor [KS, it would be very interesting to have a corresponding result with n = 1   and q = p +   ; and (as in those cases) this seems very hard.
On the other hand, introducing some analytic ideas (a bilinear form estimate for representations of
F   -adic sheaves and “old-fashioned” large sieve as in [Gand Section  4 ), it is possible to improve Proposition  3.3 in some cases (in particular, if g   satisfies p > 2 g + 1   ) to obtain a sharper estimate | I g ( q n ) | = q n g ( g + 1 ) / 2 + O ( q n ( g ( g + 1 ) / 2 γ ) ( log q n ) )   for γ = ( 10 g 2 + 6 g + 8 ) 1   ; see [K2,Cor.6.4.
If one does not wish to deal with the moduli space, one can apply Chavdarov's theorem to any algebraic family of principally polarized abelian varieties over a finite field F q   for which the monodromy group mod   is equal to S p ( 2 g , Z / Z )   for almost all   , provided one can check that ordinarity is generic in that family. The simplest example are provided by taking an algebraic family of curves and then the associated jacobian family, which has a canonical principal polarization. If one takes the universal family of curves, then the generic ordinarity is a result of Miller, who gives explicit examples of ordinary curves of every genus and characteristic, so that the result follows from the openness of ordinarity and the irreducibility of the moduli space of curves. The fact that the corresponding monodromy group is S p ( 2 g )   follows again in characteristic 2   from the examples of families of hyperelliptic curves of [C,Ex.2.4(see also [KS,10.2).
It is natural to want to give similar explicit equations of families of curves which are both generically ordinary and have monodromy
S p ( 2 g )   . However note that Miller's families { y 2 = x 2 g + 1 + t x g + 1 + x if p g , y 2 = x 2 g + 2 + t x g + 1 + x if p | g   fail the monodromy test (because they fail the diophantine irreducibility test, see [KS,Lemma10.1.15, as a simple computation shows). On the other hand, the author couldn't find references to the ordinarity for the families with large monodromy of loc. cit. For the moment, we merely state the following fairly easy result:
Proposition 3.6. Let p 3   be a prime number, g 2   an integer. Put δ = 1   if p | g   , δ = 0   otherwise.
(1) The 2   -parameter family T   of smooth projective curves of genus g   over F p   given by compactification of the affine family T t , u : y 2 = ( x u ) ( x 2 g + δ + t x g + 1 )   over the open subset U = { ( t , u ) A 2 | u 2 g + δ + t u g + 1 0 } A 2 / F p   is generically ordinary and has geometric monodromy group modulo   equal to S p ( 2 g , F )   for > 2   , p   .
(2) In particular, there exists k 1   and t 0 F p k   such that the 1   -parameter family S   of curves of genus g   over F p k   given by S u : y 2 = ( x u ) ( x 2 g + δ + t 0 x g + 1 )   with u U t 0 = { ( t 0 , u ) U } A 1 / F p k   is generically ordinary and has geometric monodromy group modulo   equal to S p ( 2 g , F )   for > 2   , p   .
(3) If p g   and g   is even, one can in fact take t 0 = 0   , so the family S u : y 2 = ( x u ) ( x 2 g + 1 )   with u U 0 = A 1 μ 2 g   , where μ 2 g   is the group of 2 g   -roots of unity, is generically ordinary and has geometric monodromy group modulo   equal to S p ( 2 g , F )   for > 2   , p   .
We now come to some global consequences that follow also from other results of Chavdarov's paper. Those have the virtue of concerning individual abelian varieties, as the exceptions become a set of primes of density 0   which does not affect (for instance) the Isogeny Theorem.
Proposition 3.7. Let F / Q   be a number field. Let g 1   be 2   , 6   , or an odd integer. Let A / F   be an abelian variety of dimension g   such that End ( A ) = Z   and such that the set of primes of good reduction p   of F   where the reduction of A   modulo p   is ordinary is of density 1   . Then for any abelian variety B / F   , B   is isokummerian to A   if and only if B   is isogenous to a power of A   .
The assumption of ordinarity at almost all places for varieties with End ( A ) = Z   is widely expected to hold, but few results are known. For elliptic curves, it is quite easy, but this case of the proposition is already treated in [K1without this assumption. Here is another situation that can be treated unconditionally (compare with Ogus's theorem quoted in [CL,Th.6.3):
Proposition 3.8. Let A / Q   be an abelian surface over Q   with End ( A ) = Z   .
Then the set of primes of good ordinary reduction for
A   is of density 1   .Hence any B / Q   is isokummerian to A   if and only if B   is isogenous to a power of A   .
In a general higher dimensional situations (over Q   , say), the non-ordinary primes are such that the trace t   of the g   -th exterior power of the representation on the Tate module are divisible by p   , which for g 3   allows an unbounded number of values of t   (for g = 3   , Tr 3 ρ ( σ p ) = p k   with | k | 20 p   ). Even using explicit forms of the Chebotarev density theorem (on GRH) to detect each value, the uniformity is not sufficient to obtain any non-trivial result.
Remark 3.9. In [K1, the question of the “splitting behavior” of a simple abelian variety A / Q   at all primes is also raised: is it true that the reduction modulo p   of A   remains simple for almost all p   ? In fact, the “horizontal” statements of Chavdarov already deal with this. For instance, this holds if A / Q   has the property that the Galois group of the field Q ( A [ ] )   generated by the points of   -torsion of A   is equal to S p ( 2 g , Z / Z )   for   large.

1 The result is attributed to Mumford [Mu, although the author confesses that he doesn't see that statement in this paper of Mumford.

4 General abelian varieties up to isogeny

Since Weil numbers, ordinarity, and having Galois group W 2 g   are all isogeny-invariant properties of abelian varieties, it is natural to ask for analogs of the results of the previous section for isogeny classes of abelian varieties, instead of isomorphism classes. Going directly from one to the other is not easy, since finding the number of isomorphism classes in an isogeny class is a quite delicate question, typically related with class numbers (as can be seen most easily in the case of elliptic curves), see [W,§4.3.
However, we can use results of DiPippo and Howe to deal directly with isogeny classes.
Note then that it is not necessary to introduce a polarization. This is rather satisfactory since not all isogeny classes contain a principally polarized one; see for instance
[H,Th.1.3; however it is proved there (Th. 1.2) that any isogeny class of odd-dimensional abelian varieties over a finite field contains a principally polarized one.
Proposition 4.1. Let g 1   , q = p k   with p   prime and k 1   . We have lim n + | A ord ( q n ) | | A g ( q n ) | = 1 ,   and
| A g ( q n ) | , | A g ord ( q n ) | v g φ ( q n ) q n q n g ( g + 1 ) / 4 . (4.1)
for some constant v g > 0   .
This is proved by DiPippo and Howe in [DH(see Theorem 1.1), in fact in a much more precise form. Note in particular that this says intuitively that the “dimension” of the space of isogeny classes of abelian varieties of dimension g   is g ( g + 1 ) / 4   , half that of the moduli space.
Proposition 4.2. We have lim n + | g ( q n ) | | A g ( q n ) | = 1 .  
Using Lemma  2.5 , this shows that the analogue of Theorem  3.4 holds for isogeny classes, and therefore that the second part ( 1.2 ) of Theorem  1.1 holds.
To prove Proposition
 4.1 , DiPippo and Howe identify the set of isogeny classes considered with a set of lattice points in a region V g , n R g   . We argue similarly for Proposition  4.2 , except that we do not need to be so precise because we only look for an upper bound on the number of isogeny classes with “smaller” Galois group, which is a question of probabilistic Galois theory. It is straightforward to adapt here the method of Gallagher [Gbased on the large sieve inequality. It has already been shown, using those methods, that self-reciprocal polynomials of degree 2 g   and bounded height have generically W 2 g   as Galois group (see [DDS), but our parameter set is different.
Let
A / F q   be an abelian variety of dimension g   over a number field. The characteristic polynomial of Frobenius f A   of A   is of degree 2 g   with real roots of even multiplicity and complex roots arising in pairs ( α , q / α )   . Therefore one can write f A = ( X 2 g + q g ) + a 1 ( X 2 g 1 + q g 1 X ) + + a g X g ,   with a i Z   . To A   we associate the vector a = ( a 1 , , a g ) Z g   .
Lemma 4.3. Let g 1   , let q = p k   with p   prime and k 1   . For any abelian variety A / F q   , the vector a   above satisfies a Z g R g , q   where R g , q = { ( x 1 , , x g ) R g | | x i | ( g i ) q i / 2 } .  
The analytic ingredient we need is the following consequence of the large sieve inequality.
Lemma 4.4. Let g 1   . For 1 i g   , let X i 1   and let R = { ( x 1 , , x g ) Z g | | x i | X i for 1 i g } R g .   Let y 2   and for all primes p y   , let Ω ( p ) ( Z / p Z ) g   be a finite set of cardinality ω ( p )   . Let P ( y ) = p y ω ( p ) p g   and for any a Z g   let P ( a , y )   denote the number of p y   such that a ( m o d p ) Ω ( p )   . Then we have a R ( P ( a , y ) P ( y ) ) 2 P ( y ) k j = 1 ( X i + y 2 ) ,   the implied constant depending only on g   .
Remark 4.5. The bound obtained from the large sieve estimate may seem quite poor because of the choice of a rather small y   , constrained by the smallest X i   . One may certainly expect that having a small Galois group would be of “codimension” at least 1   , which would mean essentially E q g ( g + 1 ) / 4 1 / 2   . There is a similar discrepancy between what is proved and what is expected in other problems of probabilistic Galois theory.
Remark 4.6. In contrast with the isomorphism case, the results above do not yield examples of “thinner” families of isogeny classes which would be ordinary and have the W 2 g   as associated Galois group. Most notably, it is by no means clear how to prove the analogue of ( 1.2 ) where the isogeny classes are jacobians of curves of genus g   (equivalently, where arbitrary Weil numbers are replaced by those associated with curves).
Distinguishing jacobians among abelian varieties over a finite field is a deep unsolved problem.
References

  1. A. Chambert-Loir: Cohomologie cristalline: un survol, Exposition. Math. 16 (1998), 333–382.
  2. N. Chavdarov: The generic irreducibility of the numerator of the zeta function in a family of curves with large monodromy, Duke Math. J. 87 (1997), 151–180.
  3. S. Davis, W. Duke and X. Sun: Probabilistic Galois theory of reciprocal polynomials, Exposition. Math. 16 (1998), no. 4, 263–270.
  4. S. DiPippo and E. Howe: Real polynomials with all roots on the unit circle and abelian varieties over finite fields, J. Number Theory 73 (1998), 426–450; Corrig., J. Number Theory 83 (2000), 182.
  5. P.X. Gallagher: The large sieve and probabilistic Galois theory, in Proc. Sympos. Pure Math., Vol. XXIV, Amer. Math. Soc. (1973), 91–101.
  6. E. Howe: Principally polarized ordinary abelian varieties over finite fields, Trans. Amer. Math. Soc. 347 (1995), 2361–2401.
  7. M.N. Huxley: The large sieve inequality for algebraic number fields, Mathematika 15 (1968), 178–187.
  8. N. Katz and P. Sarnak: Random matrices, Frobenius eigenvalues and monodromy, A.M.S Colloquium Publ. 45, 1999.
  9. E. Kowalski: Some local-global applications of Kummer theory, manuscripta math. 111 (2003), 105–139.
  10. E. Kowalski: The large sieve, monodromy and zeta functions of curves, preprint (2005), arXiv:math/NT0503714.
  11. L. Miller: Curves with invertible Hasse-Witt matrix, Math. Annalen 197 (1972), 123–127.
  12. D. Mumford: Bi-extensions of formal groups, in Algebraic Geometry (Internat. Colloq., Tata Inst. Fund. Res., Bombay, 1968), Oxford Univ. Press, 307–322.
  13. P. Norman and F. Oort: Moduli of abelian varieties, Ann. of Math. (2) 112 (1980), no. 3, 413–439.
  14. J-P. Serre: Quelques applications du théorème de densité de Chebotarev, Publ. Math. I.H.E.S 54 (1981), 123–201.
  15. B.L. van der Waerden: Moderne algebra, vol I, Springer 1935.
  16. W. Waterhouse: Abelian Varieties over Finite Fields, Ann. scient. Éc. Norm. Sup. 4ème série, 2 (1969), 521–560.

Universite Bordeaux I A2X, 351, cours de la Liberation, 33405 Talence Cedex, France E-mail address : emmanuel.kowalski@math.u-bordeaux1.fr