Let
$A/{\mathbf{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
$2g$
with real roots of even multiplicity and complex roots arising in pairs
$(\alpha ,q/\alpha )$
. Therefore one can write
$${f}_{A}=({X}^{2g}+{q}^{g})+{a}_{1}({X}^{2g1}+{q}^{g1}X)+\cdots +{a}_{g}{X}^{g},$$
with
${a}_{i}\in \mathbf{Z}$
. To
$A$
we associate the vector
$a=({a}_{1},\dots ,{a}_{g})\in {\mathbf{Z}}^{g}$
.
Lemma 4.3.
Let
$g\u2a7e1$
, let
$q={p}^{k}$
with
$p$
prime and
$k\u2a7e1$
. For any abelian variety
$A/{\mathbf{F}}_{q}$
, the vector
$a$
above satisfies
$a\in {\mathbf{Z}}^{g}\cap {R}_{g,q}$
where
$${R}_{g,q}=\left\{({x}_{1},\dots ,{x}_{g})\in {\mathbf{R}}^{g}\left\right{x}_{i}\u2a7d(\genfrac{}{}{0ex}{}{g}{i}){q}^{i/2}\right\}.$$

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\u2a7e1$
. For
$1\u2a7di\u2a7dg$
, let
${X}_{i}\u2a7e1$
and let
$$R=\left\{\right({x}_{1},\dots ,{x}_{g})\in {\mathbf{Z}}^{g}\left{x}_{i}\right\u2a7d{X}_{i}\text{for}1\u2a7di\u2a7dg\}\subset {\mathbf{R}}^{g}.$$
Let
$y\u2a7e2$
and for all primes
$p\u2a7dy$
, let
$\Omega \left(p\right)\subset (\mathbf{Z}/p\mathbf{Z}{)}^{g}$
be a finite set of cardinality
$\omega \left(p\right)$
. Let
$$P\left(y\right)={\sum}_{p\u2a7dy}\omega \left(p\right){p}^{g}$$
and for any
$a\in {\mathbf{Z}}^{g}$
let
$P(a,y)$
denote the number of
$p\u2a7dy$
such that
$a(modp)\in \Omega \left(p\right)$
. Then we have
$${\sum}_{a\in R}\left(P\right(a,y)P(y){)}^{2}\ll 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 (\mathbf{R}/\mathbf{Z}{)}^{g}$
such that
$max\parallel {\alpha}_{k}{\beta}_{k}\parallel \u2a7e\delta $
for two elements
$\alpha \ne \beta $
in
$Y$
(where
$\parallel xy\parallel $
is the distance in
$\mathbf{R}/\mathbf{Z}$
), and for any complex numbers
$f\left(x\right)$
defined for
$x\in R$
, we have
$$\begin{array}{c}{\sum}_{\alpha \in Y}{\left{\sum}_{x\in R}f\left(x\right)e(\langle x,\alpha \rangle )\right}^{2}{\ll}^{g}{\prod}_{k=1}({X}_{i}+{\delta}^{1}){\sum}_{x\in R}\leftf\right(x){}^{2},\end{array}$$ 
(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
${\chi}_{p}$
be the characteristic function of
$\Omega \left(p\right)$
, and expand it in Fourier series
$${\chi}_{p}\left(a\right)={\sum}_{\alpha \in (\mathbf{Z}/p\mathbf{Z}{)}^{g}}{\hat{\chi}}_{p}\left(\alpha \right)e(\langle a,\alpha \rangle /p)\text{with}{\hat{\chi}}_{p}\left(\alpha \right)={p}^{g}{\sum}_{a\in \Omega \left(p\right)}e(\langle a,\alpha \rangle /p).$$
Thus we have
$$\begin{array}{c}{\hat{\chi}}_{p}\left(0\right)={p}^{g}\omega \left(p\right),{\sum}_{\alpha \ne 0}\left{\hat{\chi}}_{p}\right(\alpha ){}^{2}\u2a7d{\sum}_{\alpha}{\hat{\chi}}_{p}\left(\alpha \right){}^{2}={p}^{g}\omega \left(p\right).\end{array}$$ 
(4.3)

We have for
$a\in R$
$$\begin{array}{c}P(a,y)={\sum}_{p\u2a7dy}{\sum}_{\alpha \in (\mathbf{Z}/p\mathbf{Z}{)}^{g}}{\hat{\chi}}_{p}\left(\alpha \right)e(\langle a,\alpha \rangle /p)=P\left(y\right)+{\sum}_{p\u2a7dy}{\sum}_{\alpha \ne 0}{\hat{\chi}}_{p}\left(\alpha \right)e(\langle a,\alpha \rangle /p).\end{array}$$ 
(4.4)

Denote by
$R(a,y)$
the inner sum. We now write by Cauchy's inequality and ( 4.3 )
$$\begin{array}{cc}{\sum}_{a\in R}\leftR\right(a,y){}^{2}& ={\sum}_{p\u2a7dy}{\sum}_{\alpha \ne 0}{\hat{\chi}}_{p}\left(\alpha \right){\sum}_{a\in R}R(a,y)e(\langle a,\alpha \rangle /p)\end{array}$$  
$$\begin{array}{cc}& \u2a7d{\left({\sum}_{p\u2a7dy}{\sum}_{\alpha \ne 0}\left{\hat{\chi}}_{p}\right(\alpha ){}^{2}\right)}^{1/2}{\left({\sum}_{p\u2a7dy}{\sum}_{\alpha \ne 0}{\left{\sum}_{a\in R}R(a,y)e(\langle a,\alpha \rangle /p)\right}^{2}\right)}^{1/2}\end{array}$$  
$$\begin{array}{cc}& \u2a7dP(y{)}^{1/2}{\left({\sum}_{p\u2a7dy}{\sum}_{\alpha \ne 0}{\left{\sum}_{a\in R}R(a,y)e(\langle a,\alpha \rangle /p)\right}^{2}\right)}^{1/2}\end{array}$$  
$$\begin{array}{}\end{array}$$  
and applying the trigonometric large sieve inequality ( 4.2 ) with the trivial spacing estimate for distinct vectors
$\alpha /p$
,
$\beta /q\in (\mathbf{R}/\mathbf{Z}{)}^{g}$
,
$p$
,
$q\u2a7dy$
, this gives
$${\sum}_{a\in R}\leftR\right(a,y){}^{2}\ll P(y{)}^{1/2}{\left({}^{g}{\prod}_{k=1}({X}_{i}+{y}^{2}){\sum}_{a\in R}\leftR\right(a,y){}^{2}\right)}^{1/2},$$
so
$${\sum}_{a\in R}\leftR\right(a,y){}^{2}\ll P(y{)}^{g}{\prod}_{k=1}({X}_{i}+{y}^{2}).$$
As, by ( 4.4 ), we have
$${\sum}_{a\in R}\left(P\right(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}^{g1}+\cdots +{a}_{g1}X+{a}_{1}\in R\left[X\right]$$
and
$${f}_{a}={X}^{g}{h}_{a}(X+{X}^{1})\in R\left[X\right].$$
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}_{2g}$
. By Lemma 2 of [DDS] , we have
$G={W}_{2g}\subset {\mathfrak{S}}_{2g}$
if
$G$
contains a
$2$
cycle, a
$4$
cycle, a
$(2g2)$
cycle and a
$2g$
cycle.
For
$\ell \in \{2,4,2g2,2g\}$
, let
${E}_{\ell}$
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}_{2g}$
again, does not contain an
$\ell $
cycle. By the observation above and Lemma 4.3 , it follows that the number
$E$
of isogeny classes of abelian varieties
$A/{\mathbf{F}}_{q}$
with
${f}_{A}$
not having Galois group
${W}_{2g}$
satisfies
$$E\u2a7d{E}_{2}+{E}_{4}+{E}_{2g2}+{E}_{2g}.$$
For each
$\ell $
, 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}(modp)\in {\mathbf{F}}_{p}\left[X\right]$
which factorizes as a product of
$2g\ell $
distinct linear factors and a single irreducible polynomial of degree
$\ell $
, then
${G}_{a}$
contains an
$\ell $
cycle. Therefore, choosing
$y\u2a7e2$
arbitrary and putting
$\Omega \left(p\right)=\{a=({a}_{1},\dots ,{a}_{g})\in (\mathbf{Z}/p\mathbf{Z}{)}^{g}\left{f}_{a}\right(modp)\text{factorizes as}2g\ell \text{distinct}\text{linear factors, and one irreducible factor of degree}\ell \text{}\}$
for
$p\u2a7dy$
, we see that for
$a$
such that
${G}_{a}$
does not contain an
$\ell $
cycle we have
${f}_{a}(modp)/\in \Omega \left(p\right)$
for all
$p\u2a7dy$
. With notation as in Lemma 4.4 with
${X}_{i}=\left(\genfrac{}{}{0ex}{}{g}{i}\right){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}_{\ell}P(y{)}^{2}\ll P(y\left){\prod}_{1\u2a7di\u2a7dg}\right({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\u2a7e3$
the lower bound
$$P\left(y\right)=\frac{{C}_{\ell}}{\left{W}_{2g}\right}\pi \left(y\right)+O(loglogy)\gg \pi \left(y\right),$$
where
${C}_{\ell}$
is the number of
$\ell $
cycles in
${W}_{2g}$
, where the implied constant depend only on
$g$
. Thus we get by the Prime Number Theorem (Chebychev's elementary lowerbound estimate suffices) that
$${E}_{\ell}\ll {\prod}_{1\u2a7di\u2a7dg}({q}^{i/2}+{y}^{2}){y}^{1}logy.$$
We choose
${y}^{2}={q}^{1/2}$
, so that
$${\prod}_{1\u2a7di\u2a7dg}({q}^{i/2}+{y}^{2})\u2a7d{2}^{g}{q}^{g(g+1)/4}$$
and
$${E}_{\ell}\ll {q}^{g(g+1)/41/4}logq,$$
hence
$$E\ll {q}^{g(g+1)/41/4}logq$$
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\ll {q}^{g(g+1)/41/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}_{2g}$
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. ChambertLoir: 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 localglobal 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 HasseWitt matrix, Math. Annalen 197 (1972), 123–127.

D. Mumford: Biextensions 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.

JP. 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 Email address : emmanuel.kowalski@math.ubordeaux1.fr