, ,

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

σ

C

we have

| σ (π) | = \sqrt{q}

. Let

Φ_{π}

be the multiplicative group generated inside

C^{\times}

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}

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

{\bar{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:

$∙$ $A_{g} (q)$ is the set of isomorphism classes of principally polarized abelian varieties of dimension $g$ defined over $F_{q}$ ;
$∙$ $I_{g} (q) \subset A_{g} (q)$ is the subset of those varieties $A$ such that any $B$ isokummerian with $A$ is isogenous to a power of $A$ ;
$∙$ $A_{g} (q)$ is the set of isogeny classes of abelian varieties of dimension $g$ defined over $F_{q}$ ;
$∙$ $ℐ_{g} (q) \subset A_{g} (q)$ is the subset of isogeny classes such that any $B$ isokummerian to $A$ is (isogenous to) a power of $A$ .

Theorem 1.1. Let

g ⩾ 1

and

q = p^{k}

with

p

prime and

k ⩾ 1

. We have

\begin{matrix} {lim}_{n \to + \infty} \frac{| I_{g} (q^{n}) |}{| A_{g} (q^{n}) |} = 1 \end{matrix}

(1.1)

and

\begin{matrix} {lim}_{n \to + \infty} \frac{| ℐ_{g} (q^{n}) |}{| A_{g} (q^{n}) |} = 1 . \end{matrix}

(1.2)

Acknowledgments. The results of Chavdarov [C] which 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_{π} \subset \bar{Q}

be the Galois closure of

Q (π)

. For every conjugate

π_{i}

π

q / π_{i}

is also a conjugate of

π

; if we fix an embedding

\bar{Q} \subset C

, we have

q / π_{i} = {\bar{π}}_{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_{π}

Q (π)

. Let

(π_{i}, {\bar{π}}_{i})

1 ⩽ i ⩽ g

, be the Galois conjugates of

π

K_{π}

, in complex conjugate pairs. Assume that:

(1) For all

i

1 ⩽ i ⩽ g

π_{i}

and

{\bar{π}}_{i}

are coprime in

K_{π}

(2) For all

i

1 ⩽ i ⩽ g

, there exists

σ_{i} \in G

such that

σ_{i} (π_{i}) = π_{i}

and

σ_{i} (π_{j}) = {\bar{π}}_{j}

for

j \neq i

Then

w_{π}

is the set of conjugates of

π

Proof. Let

c \in G

be the restriction of complex conjugation, so that

c (π_{i}) = {\bar{π}}_{i}

and

c ({\bar{π}}_{i}) = π_{i}

for every

i

. Thus setting

σ_{i, j} = c σ_{i} σ_{j} \in G

we have for

i \neq j

the relations

\begin{matrix} σ_{i, j} (π_{i}) = π_{i}, σ_{i, j} (π_{j}) = π_{j}, σ_{i, j} (π_{k}) = {\bar{π}}_{k} for k / \in {i, j} . \end{matrix}

(2.1)

Fix a prime ideal

p

K_{π}

dividing

(p)

. Since

p | p | q = π_{i} {\bar{π}}_{i}

and

π_{i}

{\bar{π}}_{i}

are coprime by assumption, we see that

p

divides one and only one of

π_{i}

and

{\bar{π}}_{i}

. We renumber/pair the conjugates so that

p | π_{i}

, and

p ∤ {\bar{π}}_{i}

for

1 ⩽ i ⩽ g

. Notice this doesn't affect the existence of

σ_{i}

σ_{i, j}

with properties as stated for the new numbering.

Let

ν = v_{p} (q) ⩾ 1

where

v_{p}

is the valuation on

K_{π}

associated to

p

. Notice that by coprimality again we have

\begin{matrix} ν = v_{p} (q) = v_{\bar{p}} (q) = v_{p} (π_{i} {\bar{π}}_{i}) = v_{p} (π_{i}) = v_{\bar{p}} ({\bar{π}}_{i}) . \end{matrix}

(2.2)

Let now

α \in Φ_{π}

be a

q

-Weil number. We can write

α = q^{m} \prod_{1 ⩽ i ⩽ g} π_{i}^{n_{i}},

with

n_{i} \in Z

. We deduce from

α \bar{α} = q

that

\begin{matrix} 2 m + n_{1} + \dots + n_{g} = 1, \end{matrix}

(2.3)

and from this we notice in particular that the sum

n_{1} + \dots + n_{g}

can not be zero, in particular not all the

n_{i}

can be zero.

We have

v_{p} (α) ⩾ 0

v_{\bar{p}} (α) ⩾ 0

, which translate to

ν (m + n_{1} + \dots + n_{g}) ⩾ 0, ν m ⩾ 0 .

Dividing by

ν ⩾ 1

, summing and comparing with ( 2.3 ), we see that one of

m

and

m + n_{1} + \dots + n_{g}

is equal to

0

and the other is equal to

1

Now we consider

α α^{σ_{i}}

. This is an algebraic integer and therefore

v_{p} (α α^{σ_{i}}) ⩾ 0

v_{\bar{p}} (α α^{σ_{i}}) ⩾ 0

. We have

α α^{σ_{i}} = q^{2 m + n_{1} + \dots + \dots + n_{g} - n_{i}} π_{i}^{2 n_{i}} = q^{1 - n_{i}} π_{i}^{2 n_{i}},

so using ( 2.2 ) these two conditions translate to

\begin{matrix} v_{p} (α α^{σ_{i}}) = ν (1 + n_{i}) ⩾ 0 \end{matrix}

\begin{matrix} v_{\bar{p}} (α α^{σ_{i}}) = ν (1 - n_{i}) ⩾ 0, \end{matrix}

\begin{matrix}  \end{matrix}

which means that

n_{i} \in {0, - 1, 1}

for all

i

Now consider

α α^{σ_{i, j}}

with

i \neq j

. We have

α α^{σ_{i, j}} = q^{1 - n_{i} - n_{j}} π_{i}^{2 n_{i}} π_{j}^{2 n_{j}},

by ( 2.1 ), hence the integrality conditions

v_{p} (α α^{σ_{i, j}}) ⩾ 0

v_{\bar{p}} (α α^{σ_{i, j}}) ⩾ 0

mean

\begin{matrix} v_{p} (α α^{σ_{i, j}}) = ν (1 + n_{i} + n_{j}) ⩾ 0 \end{matrix}

\begin{matrix} v_{\bar{p}} (α α^{σ_{i, j}}) = ν (1 - n_{i} - n_{j}) ⩾ 0 . \end{matrix}

\begin{matrix}  \end{matrix}

The first of these shows that at most one

n_{i}

can be equal to

- 1

; the second that at most one

n_{j}

can be equal to

1

. Both of these can not occur because that would give

n_{1} + \dots + n_{g} = n_{i} + n_{j} = 1 - 1 = 0

, which is impossible. So either there exists exactly one

i

with

n_{i} = 1

, and the other

n_{j}

are

0

, which gives

α = π_{i}

(because one must have

m = 0

m + n_{1} + \dots + n_{g} = 1

); or there exists exactly one

j

with

n_{j} = - 1

(and the other

n_{i}

are

0

), which gives

α = {\bar{π}}_{j}

(because then

m = 1

m + n_{1} + \dots + n_{g} = 0

). □

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} \times \dots \times 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

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] (\bar{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 (π)

Proof. Let $(π_{i}, q / π_{i})$ , $1 ⩽ i ⩽ g$ , be the conjugates of $π$ with $π_{1} = π$ . Assume there exists $k$ and a prime ideal $p | p | q$ in $K_{π}$ dividing both $π_{k}$ and $q / π_{k}$ . The middle coefficient $b$ of the characteristic polynomial of Frobenius is given by $b = \sum_{\overset{I, J \subset {1, \dots, g}}{| I | + | J | = g}} \prod_{i \in I} π_{i} \prod_{j \in J} \frac{q}{π_{j}} .$ In this sum, if $k \in I$ or $k \in J$ , we have $p | \prod_{i \in I} π_{i} \prod_{j \in J} \frac{q}{π_{j}}$ by assumption. Otherwise, $I$ and $J$ are both chosen inside the set ${1, 2, \dots, g} - {k}$ with $g - 1$ elements, and $| I | + | J | = g$ . Thus $I \cap J \neq \emptyset$ . If $i \in I \cap J$ , then $p | q = π_{i} \cdot q / π_{i} | \prod_{i \in I} π_{i} \prod_{j \in J} \frac{q}{π_{j}} .$ Thus we find that $p$ divides all the terms in the sum giving $b$ . Since $b \in Z$ , this means $p | b$ . Hence $A$ is not ordinary, and the result follows by contraposition. □

This implies that any ordinary abelian variety satisfies Condition (1) of Proposition 2.1 .

Note that the examples of Serre in [K1] are 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

$∙$ $A_{g}^{ord} (q) \subset A_{g} (q)$ the set of isomorphism classes of principally polarized ordinary abelian varieties of dimension $g$ defined over $F_{q}$ ;
$∙$ $A_{g}^{ord} (q)$ the set of isogeny classes of ordinary abelian varieties of dimension $g$ defined over $F_{q}$ .

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 .

Proof. Recall that $W_{2 g}$ (the Galois group of a “generic” polynomial $P$ of degree $2 d$ such that $X^{2 d} P (1 / X) = P (X)$ ) can be identified with the group of permutations of $g$ pairs $(2 i - 1, 2 i)$ , $1 ⩽ i ⩽ g$ , such that the couples ${2 i - 1, 2 i}$ are stable. In the case of the Galois group of $K_{π}$ , the pairs can be identified with the pairs of conjugates $(π_{i}, q / π_{i})$ , which shows that $G$ can be identified with a subgroup of $W_{2 g}$ . If it is equal to $W_{2 g}$ , the existence of the required elements $σ_{i}$ is obvious. □

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

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:

$∙$ $B_{g} (q) \subset A_{g} (q)$ the set of isomorphism classes of absolutely simple principally polarized abelian varieties of dimension $g$ defined over $F_{q}$ such that the Galois group of $K_{π_{A}}$ is isomorphic to $W_{2 g}$ ;
$∙$ $ℬ_{g} (q) \subset A_{g} (q)$ the set of isogeny classes of absolutely simple abelian varieties of dimension $g$ defined over $F_{q}$ such that the Galois group of $K_{π_{A}}$ is isomorphic to $W_{2 g}$ .

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 [ON] ¹ .) Thus in

A_{g}

, there exists a dense Zariski open subset

U \subset A_{g}

such that the polarized abelian variety parameterized by any

u \in U

is ordinary. (See also [CL,§5] for 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 \to + \infty} \frac{| A_{g}^{ord} (q^{n}) |}{| A_{g} (q^{n}) |} = 1 .

Proof. Mumford's result gives this for the corresponding counting of isomorphism classes of principally polarized abelian varieties with some rigidifying structure; then one deduces the statement above by dividing by the number of choices for the rigidifying data, and dealing with possible extra automorphisms, as done for instance in [KS,10.7,11.3] . □

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

\begin{matrix} | A_{g} (q^{n}) | & = q^{n g (g + 1) / 2} + O (q^{n (g (g + 1) / 2 - 1)}), \end{matrix}

\begin{matrix} | A_{g}^{ord} (q^{n}) | & = | A_{g} (q^{n}) | + O (q^{n (g (g + 1) / 2 - 1)}) . \end{matrix}

\begin{matrix}  \end{matrix}

Condition (2) is not so easy to treat. We use Lemma 2.5 , and the crucial fact is that Chavdarov [C] has shown that “most” abelian varieties

A / F_{q^{n}}

with

n \to + \infty

are simple and satisfy the assumptions of that lemma.

Proposition 3.3. Let

q = p^{k}

with

p \neq 2

prime and

k ⩾ 1

. Then we have

{lim}_{n \to + \infty} \frac{| B_{g} (q^{n}) |}{| A_{g} (q^{n}) |} = 1 .

Proof. This follows from [C,Th.2.1] , applied to a suitably “rigidified” universal family of principally polarized abelian varieties of dimension $g$ over $F_{q}$ , after eliminating as before the extra factor counting the rigidifying parameters (compare again [KS,11.3] ). The monodromy groups modulo $ℓ$ involved in applying Chavdarov's Theorem are as large as possible for $ℓ > 2$ because (for instance), it is already the case for the families of jacobians of hyperelliptic curves considered in [KS,Th.11.0.4] , which are the same as those in [C,Ex.2.4] (this is where characteristic $\neq 2$ enters). This is due to J.K. Yu (unpublished).
See also below for more discussion of these examples. □

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 \to + \infty} \frac{| 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 [C] or [KS] , it would be very interesting to have a corresponding result with

n = 1

and

q = p \to + \infty

; 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 [G] and 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

\neq 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

{\begin{matrix} 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 \end{matrix}

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

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) \in A^{2} | u^{2 g + δ} + t u^{g} + 1 \neq 0} \subset A^{2} / F_{p}

is generically ordinary and has geometric monodromy group modulo

ℓ

equal to

S p (2 g, F_{ℓ})

for

ℓ > 2

ℓ \neq p

(2) In particular, there exists

k ⩾ 1

and

t_{0} \in 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 \in U_{t_{0}} = {(t_{0}, u) \in U} \subset A^{1} / F_{p^{k}}

is generically ordinary and has geometric monodromy group modulo

ℓ

equal to

S p (2 g, F_{ℓ})

for

ℓ > 2

ℓ \neq 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 \in 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

ℓ \neq p

Proof. Note that for $u = 0$ , the family $T$ specializes to Miller's family, and therefore the open set of ordinarity for $T$ is not empty, hence dense. Moreover, for any fixed $t_{0} \neq \pm 1$ , the family $S_{u} = T_{u, t_{0}}$ is of the form $y^{2} = f_{t_{0}} (x) (x - u)$ with $f_{t_{0}}$ a monic polynomial of degree $2 g$ which has distinct roots in ${\bar{F}}_{p}$ , as a simple computation shows. Hence it is of the form considered in [C,Ex.2.4] and [KS,10.1] , and therefore has the required monodromy. As the monodromy groups can only become smaller by taking such a $1$ -parameter subfamily of $T$ , the result follows.
Now generic ordinarity for $T$ implies that for some $t_{0} \in A^{1} ({\bar{F}}_{p}) - {\pm 1}$ at least the restricted subfamily $S_{u} = T_{u, t_{0}}$ with $u$ as parameter must contain an ordinary curve. As it still has the required monodromy groups, the existence result (2) follows. When $p ∤ g$ , and $t = t_{0} = 0$ , Miller's curve has equation $y^{2} = x^{2 g + 1} + x .$ The recipe in [Mi,§2] for computing the (dual of the) Hasse-Witt matrix for this curve shows that it is invertible, hence the curve is ordinary, if for every $u$ , $0 ⩽ u ⩽ g - 1$ , there exist unique integers $r$ , $t ⩾ 0$ such that
$r + t = \frac{p - 1}{2} 2 g t + \frac{p + 1}{2} + u = p (v + 1),$
where $v$ is uniquely determined by $0 ⩽ v ⩽ g - 1$ and the congruence
$\begin{matrix} \frac{p + 1}{2} + u \equiv p (v + 1) (m o d g) . \end{matrix}$ (3.1)
It is easy to see (following Miller's argument) that the equations for $r$ and $t$ have at most one solution, and that this solution exists if and only if $v + 1 \equiv u + \frac{p + 1}{2} (m o d 2) .$ If $g$ is even, then ( 3.1 ) implies this.² □

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

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

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

Proof. By Chavdarov's “horizontal” version of his result ([C,Cor.6.9] ), the assumption of $A$ ensures that for all prime ideals $p$ in a set of primes of density $1$ , the reduced variety $A_{p} / F_{p}$ is ordinary, absolutely simple and its Frobenius has Galois group $W_{2 g}$ . By Corollary 2.6 , it follows that $B_{p}$ must be isogenous to a power of $A_{p}$ for any such $p$ . The dimension of $B$ fixes a $k ⩾ 1$ such that $B_{p} ≃ A_{p}^{k}$ for all primes in a set of density $1$ . Then by Faltings's Isogeny Theorem, it follows that $B ≃ A^{k}$ over $F$ . □

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 [K1] without 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

Proof. We use Serre's $ℓ$ -adic methods [S] . Let $ℓ$ be a prime and $ρ_{ℓ} : G_{Q} \to S p (4, Q_{ℓ})$ the $ℓ$ -adic representation associated to $A$ . Serre has shown (this is already used in the proof of Chavdarov's horizontal theorem) that the image of $ρ_{ℓ}$ is dense. Consider the exterior square $σ_{ℓ} = \land^{2} ρ_{ℓ}$ . It is an $ℓ$ -adic representation of rank $6$ and “weight” $1$ , and it is faithful, so the closure $G_{ℓ}$ of the image of $σ_{ℓ}$ is again isomorphic to $S p (4, Q_{ℓ})$ .
Moreover, for any prime $p \neq ℓ$ of good reduction, the properties of $ρ_{ℓ}$ and standard algebra show that the trace of the image by $σ_{ℓ}$ of a Frobenius element $σ_{p}$ at $p$ is the middle coefficient $b_{2}$ of the characteristic polynomial of the Frobenius of $A$ modulo $p$ .
Hence, by the characterization of ordinarity already stated, $A$ has ordinary reduction at $p$ if and only if this trace $Tr σ_{ℓ} (σ_{p})$ is not divisible by $p$ .
However, by the Riemann Hypothesis for $A$ modulo $p$ , we have $| Tr σ_{ℓ} (σ_{p}) | ⩽ 6 p,$ so if $A$ is not ordinary at $p$ , the trace must belong to set ${- 6 p, - 5 p, \dots, 0, p, \dots, 6 p}$ . Let $t$ be any of these thirteen values. We claim that the set of primes $p$ for which $Tr σ_{ℓ} (σ_{p}) = t$ is of density $0$ . Clearly this implies the proposition.
The proof of the claim is easy: since $det σ_{ℓ} (σ_{p}) = p^{4}$ , if $p$ satisfies the stated condition then we have $σ_{p} \in X_{t} = {g \in G_{ℓ} | (Tr g)^{4} - t^{4} det g = 0} .$ Using $G_{ℓ} ≃ S p (4, Q_{ℓ})$ and simple computations, it is easy to see that $X_{t}$ is a closed subset of $G_{ℓ}$ of Minkowski dimension $< dim S p (4)$ (see [S,§3] for the definition of Minkowski, or $M$ -dimension). Hence by Theorem 10 of loc. cit., the set of primes with $σ_{p} \in X_{t}$ is of density $0$ . □

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 \land^{3} ρ_{ℓ} (σ_{p}) = p k

with

| k | ⩽ 20 \sqrt{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

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.

¹ 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 \to + \infty} \frac{| A^{ord} (q^{n}) |}{| A_{g} (q^{n}) |} = 1,

and

\begin{matrix} | A_{g} (q^{n}) |, | A_{g}^{ord} (q^{n}) | \sim v_{g} \frac{φ (q^{n})}{q^{n}} q^{n g (g + 1) / 4} . \end{matrix}

(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

g (g + 1) / 4

, half that of the moduli space.

Proposition 4.2. We have

{lim}_{n \to + \infty} \frac{| ℬ_{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} \subset 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 [G] based 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}

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) + \dots + a_{g} X^{g},

with

a_{i} \in Z

. To

A

we associate the vector

a = (a_{1}, \dots, a_{g}) \in 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 \in Z^{g} \cap R_{g, q}

where

R_{g, q} = {(x_{1}, \dots, x_{g}) \in R^{g} | | x_{i} | ⩽ (\binom{g}{i}) q^{i / 2}} .

Proof. This is obvious by the Riemann Hypothesis and the definition of $a_{i}$ . □

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}, \dots, x_{g}) \in Z^{g} | | x_{i} | ⩽ X_{i} for 1 ⩽ i ⩽ g} \subset R^{g} .

Let

y ⩾ 2

and for all primes

p ⩽ y

, let

Ω (p) \subset (Z / p Z)^{g}

be a finite set of cardinality

ω (p)

. Let

P (y) = \sum_{p ⩽ y} ω (p) p^{- g}

and for any

a \in Z^{g}

let

P (a, y)

denote the number of

p ⩽ y

such that

a (m o d p) \in Ω (p)

. Then we have

\sum_{a \in R} (P (a, y) - P (y))^{2} ≪ P (y)^{k} \prod_{j = 1} (X_{i} + y^{2}),

the implied constant depending only on

g

Proof. We derive this from the following multidimensional (trigonometric) large sieve inequality: for any finite set of vectors

Y \subset (R / Z)^{g}

such that

max ∥ α_{k} - β_{k} ∥ ⩾ δ

for two elements

α \neq β

Y

(where

∥ x - y ∥

is the distance in

R / Z

), and for any complex numbers

f (x)

defined for

x \in R

, we have

\begin{matrix} \sum_{α \in Y} {| \sum_{x \in R} f (x) e (〈 x, α 〉) |}^{2} ≪^{g} \prod_{k = 1} (X_{i} + δ^{- 1}) \sum_{x \in R} | f (x) |^{2}, \end{matrix}

(4.2)

where the implied constant depends only on

g

. This is a special case of [Hu,Th.1] .

To obtain the lemma from this, proceed as in Lemma A of [G] , which we repeat for convenience: let

χ_{p}

be the characteristic function of

Ω (p)

, and expand it in Fourier series

χ_{p} (a) = \sum_{α \in (Z / p Z)^{g}} {\hat{χ}}_{p} (α) e (〈 a, α 〉 / p) with {\hat{χ}}_{p} (α) = p^{- g} \sum_{a \in Ω (p)} e (〈 - a, α 〉 / p) .

Thus we have

\begin{matrix} {\hat{χ}}_{p} (0) = p^{- g} ω (p), \sum_{α \neq 0} | {\hat{χ}}_{p} (α) |^{2} ⩽ \sum_{α} | {\hat{χ}}_{p} (α) |^{2} = p^{- g} ω (p) . \end{matrix}

(4.3)

We have for

a \in R

\begin{matrix} P (a, y) = \sum_{p ⩽ y} \sum_{α \in (Z / p Z)^{g}} {\hat{χ}}_{p} (α) e (〈 a, α 〉 / p) = P (y) + \sum_{p ⩽ y} \sum_{α \neq 0} {\hat{χ}}_{p} (α) e (〈 a, α 〉 / p) . \end{matrix}

(4.4)

Denote by

R (a, y)

the inner sum. We now write by Cauchy's inequality and ( 4.3 )

\begin{matrix} \sum_{a \in R} | R (a, y) |^{2} & = \sum_{p ⩽ y} \sum_{α \neq 0} {\hat{χ}}_{p} (α) \sum_{a \in R} R (a, y) e (〈 a, α 〉 / p) \end{matrix}

\begin{matrix} ⩽ {(\sum_{p ⩽ y} \sum_{α \neq 0} | {\hat{χ}}_{p} (α) |^{2})}^{1 / 2} {(\sum_{p ⩽ y} \sum_{α \neq 0} {| \sum_{a \in R} R (a, y) e (〈 a, α 〉 / p) |}^{2})}^{1 / 2} \end{matrix}

\begin{matrix} ⩽ P (y)^{1 / 2} {(\sum_{p ⩽ y} \sum_{α \neq 0} {| \sum_{a \in R} R (a, y) e (〈 a, α 〉 / p) |}^{2})}^{1 / 2} \end{matrix}

\begin{matrix}  \end{matrix}

and applying the trigonometric large sieve inequality ( 4.2 ) with the trivial spacing estimate for distinct vectors

α / p

β / q \in (R / Z)^{g}

p

q ⩽ y

, this gives

\sum_{a \in R} | R (a, y) |^{2} ≪ P (y)^{1 / 2} {(^{g} \prod_{k = 1} (X_{i} + y^{2}) \sum_{a \in R} | R (a, y) |^{2})}^{1 / 2},

\sum_{a \in R} | R (a, y) |^{2} ≪ P (y)^{g} \prod_{k = 1} (X_{i} + y^{2}) .

As, by ( 4.4 ), we have

\sum_{a \in R} (P (a, y) - P (y))^{2} = \sum_{a \in R} | R (a, y) |^{2},

we are done. □

Proof of Proposition 4.2 . First, for any $g$ -tuple $a = (a_{1}, \dots, a_{g})$ in a ring $R$ , we denote $h_{a} = X^{g} + a_{1} X^{g - 1} + \dots + a_{g - 1} X + a_{1} \in R [X]$ and $f_{a} = X^{g} h_{a} (X + X^{- 1}) \in R [X] .$ Let $A$ be an abelian variety and $f_{A}$ the characteristic polynomial of Frobenius for $A$ and $G$ the Galois group of its splitting field, which can be seen (in possibly many ways) as a subgroup of $W_{2 g}$ . By Lemma 2 of [DDS] , we have $G = W_{2 g} \subset S_{2 g}$ if $G$ contains a $2$ -cycle, a $4$ -cycle, a $(2 g - 2)$ -cycle and a $2 g$ -cycle.
For $ℓ \in {2, 4, 2 g - 2, 2 g}$ , let $E_{ℓ}$ denote the number of lattice points $a = (a_{1}, \dots, a_{g})$ in the region $R_{g, q}$ defined in Lemma 4.3 such that the polynomial $f = f_{a}$ is either reducible or such that the Galois group $G_{a}$ of the splitting field of $f$ , seen as a subgroup of $W_{2 g}$ again, does not contain an $ℓ$ -cycle. By the observation above and Lemma 4.3 , it follows that the number $E$ of isogeny classes of abelian varieties $A / F_{q}$ with $f_{A}$ not having Galois group $W_{2 g}$ satisfies $E ⩽ E_{2} + E_{4} + E_{2 g - 2} + E_{2 g} .$ For each $ℓ$ , we know from classical algebraic number theory (see e.g. [vdW,§61] ) that if the polynomial $f_{a}$ reduces modulo some prime $p$ to a polynomial $f_{a} (m o d p) \in F_{p} [X]$ which factorizes as a product of $2 g - ℓ$ distinct linear factors and a single irreducible polynomial of degree $ℓ$ , then $G_{a}$ contains an $ℓ$ -cycle. Therefore, choosing $y ⩾ 2$ arbitrary and putting
$Ω (p) = {a = (a_{1}, \dots, a_{g}) \in (Z / p Z)^{g} | f_{a} (m o d p) factorizes as 2 g - ℓ distinct linear factors, and one irreducible factor of degree ℓ}$
for $p ⩽ y$ , we see that for $a$ such that $G_{a}$ does not contain an $ℓ$ -cycle we have $f_{a} (m o d p) / \in Ω (p)$ for all $p ⩽ y$ . With notation as in Lemma 4.4 with $X_{i} = (\binom{g}{i}) q^{i / 2}$ (so $R = R_{g, q}$ ), we have therefore $P (a, y) = 0$ , and the large sieve inequality implies by positivity that $E_{ℓ} P (y)^{2} ≪ P (y) \prod_{1 ⩽ i ⩽ g} (q^{i / 2} + y^{2})$ where the implied constant depends only on $g$ . However by Lemma 3 of [DDS] (see p.
269, or compare [G,p.96,l.10] ) we have for $y ⩾ 3$ the lower bound $P (y) = \frac{C_{ℓ}}{| W_{2 g} |} π (y) + O (log log y) ≫ π (y),$ where $C_{ℓ}$ is the number of $ℓ$ -cycles in $W_{2 g}$ , where the implied constant depend only on $g$ . Thus we get by the Prime Number Theorem (Chebychev's elementary lower-bound estimate suffices) that $E_{ℓ} ≪ \prod_{1 ⩽ i ⩽ g} (q^{i / 2} + y^{2}) y^{- 1} log y .$ We choose $y^{2} = q^{1 / 2}$ , so that $\prod_{1 ⩽ i ⩽ g} (q^{i / 2} + y^{2}) ⩽ 2^{g} q^{g (g + 1) / 4}$ and $E_{ℓ} ≪ q^{g (g + 1) / 4 - 1 / 4} log q,$ hence $E ≪ q^{g (g + 1) / 4 - 1 / 4} log q$ with an implied constant depending only on $g$ . By comparison with ( 4.1 ), we see that Proposition 4.2 is proved. □

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

A. Chambert-Loir: Cohomologie cristalline: un survol, Exposition. Math. 16 (1998), 333–382.
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.
S. Davis, W. Duke and X. Sun: Probabilistic Galois theory of reciprocal polynomials, Exposition. Math. 16 (1998), no. 4, 263–270.
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.
P.X. Gallagher: The large sieve and probabilistic Galois theory, in Proc. Sympos. Pure Math., Vol. XXIV, Amer. Math. Soc. (1973), 91–101.
E. Howe: Principally polarized ordinary abelian varieties over finite fields, Trans. Amer. Math. Soc. 347 (1995), 2361–2401.
M.N. Huxley: The large sieve inequality for algebraic number fields, Mathematika 15 (1968), 178–187.
N. Katz and P. Sarnak: Random matrices, Frobenius eigenvalues and monodromy, A.M.S Colloquium Publ. 45, 1999.
E. Kowalski: Some local-global applications of Kummer theory, manuscripta math. 111 (2003), 105–139.
E. Kowalski: The large sieve, monodromy and zeta functions of curves, preprint (2005), arXiv:math/NT0503714.
L. Miller: Curves with invertible Hasse-Witt matrix, Math. Annalen 197 (1972), 123–127.
D. Mumford: Bi-extensions of formal groups, in Algebraic Geometry (Internat. Colloq., Tata Inst. Fund. Res., Bombay, 1968), Oxford Univ. Press, 307–322.
P. Norman and F. Oort: Moduli of abelian varieties, Ann. of Math. (2) 112 (1980), no. 3, 413–439.
J-P. Serre: Quelques applications du théorème de densité de Chebotarev, Publ. Math. I.H.E.S 54 (1981), 123–201.
B.L. van der Waerden: Moderne algebra, vol I, Springer 1935.
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

E. Kowalski