Abstract
The Zeta function of a curve C over a finite field may be expressed in terms of the characteristic polynomial of a unitary matrix \(\Theta _C\). Following the work of Rudnick (Acta Arith. 143(1), 81–99, 2010), we compute the expected value of \({{\mathrm{tr}}}(\Theta _C^n)\) over the moduli space of hyperelliptic curves of genus g, over a fixed finite field \({\mathbb F}_q\), in the limit of large genus. As an application, we compute the expected value of the number of points on C in \({\mathbb F}_{q^n}\) as the genus tends to infinity. We also look at biases in both expected values for small values of n.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let C be a smooth projective curve of genus \(g \ge 1\) defined over a fixed finite field \({\mathbb F}_q\) of odd cardinality q. If we let \(\#C({\mathbb F}_{q^n})\) denote the number of points on C in finite extensions \({\mathbb F}_{q^n}\) of degree n of \({\mathbb F}_q\), then the Zeta function associated to the curve C is defined by
It is known that \({{\mathrm{Z}}}_C(u)\) is a rational function in u of the form
where \(P_C(u) \in {\mathbb Z}[u]\) is a polynomial of degree 2g, with \(P_C (0)=1\), satisfying the functional equation
It was proven by Weil [9] that the zeros of \(P_C(u)\) all lie on the circle \(|u|=1/q^\frac{1}{2}\). Hence,
for some angles \(\theta _j(C)\), \(1\le j \le 2g\), and
Now, we may define a unitary symplectic matrix \(\Theta _C \in {{\mathrm{USp}}}(2g)\) by
for \(1 \le j,k \le 2g\). Then it is clear that the Zeta function associated to C can be expressed in terms of the characteristic polynomial of \(\Theta _C\):
with \(\Theta _C\) unique up to conjugacy. We call the conjugacy class of \(\Theta _C\) the unitarized Frobenius class of C.
Let \({\mathscr {H}}_g\) be the moduli space of hyperelliptic curves of genus g over \({\mathbb F}_q\). Each curve in \({\mathscr {H}}_g\) has an affine model
where \(Q\in {\mathbb F}_q[x]\), Q squarefree, with \(\deg (Q)=2g+1,2g+2\). In this model, the point at infinity is not smooth, but all the affine points are smooth and we may account for the point at infinity separately. The smooth models are given by the closures of \(C_Q\), denoted \(\overline{C}_Q\), under the map
The \({\mathbb F}_q\)-points of \({\mathscr {H}}_g\) are then given by the \({\mathbb F}_q\)-points of the smooth projective curves \(\overline{C}_Q\), taken up to \(\overline{{\mathbb F}}_q\)-isomorphism.
In the smooth models, the point at infinity will be replaced by 0, 1, or 2 points, accordingly, and we get that the number of points at infinity is
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs40993-016-0043-9/MediaObjects/40993_2016_43_Equ4_HTML.gif)
where \({{\mathrm{sgn}}}(Q)\) denotes the leading coefficient of Q. Note the relation between Eqs. (4) and (9); namely, the number of points at infinity is \(\lambda _Q+1\), with \(\lambda _Q\) as in (9).
Remark 1
One can show that \(\overline{C}_Q\) consists of two affine components: the first is \(C_Q\) itself and the second is the curve given by \(y^2=x^{2g+2}Q(\frac{1}{x})\). In fact, \(C_Q\) is isomorphic to \(\overline{C}_Q\cap \{x_0\ne 0\}\) and taking \(x_0=0\) yields the point at infinity; we refer the reader to Silverman [8].
For any function F on \({\mathscr {H}}_g\), we define the expected value of F over \({\mathscr {H}}_g\)
where \({'}\) indicates that the points \(C\in {\mathscr {H}}_g\) are counted with weight \(\frac{1}{\#{{\mathrm{Aut}}}(C)}.\)
In this paper, we study the traces of high powers of the Frobenius class of \(C\in {\mathscr {H}}_g\) over a fixed finite field \({\mathbb F}_q\), of odd cardinality q, as g tends to infinity. In particular, we concern ourselves with the expected values \(\langle {{\mathrm{tr}}}(\Theta _{C}^n) \rangle _{{\mathscr {H}}_g}\) as \(g \rightarrow \infty \) and we compare our work with the Random Matrix results of [3].
From the work of Diaconis and Shahshahani [3], the expected value of the traces of powers over the unitarized symplectic group \({{\mathrm{USp}}}(2g)\) is given by
where
We will prove the following theorem and the accompanying corollary:
Theorem 1.1
For n odd,
and for n even,
where the sum is over all monic irreducible polynomials \(P \in {\mathbb F}_q[x]\) and where \(|P|:=q^{\deg (P)}\).
Corollary 1.2
If n is odd, then
For n even with \(3 \log _q(g)< n < 4g-5 \log _q(g)\) and \(n \ne 2g\),
In [7], Rudnick considers the mean value of \({{\mathrm{tr}}}(\Theta ^n_{C_Q})\) over a family of hyperlliptic curves given by the affine equations \({C_Q}: y^2=Q(x)\), where \(Q\in {\mathcal F}_{2g+1}\) and where
Rudnick obtains that
with
In particular, if \(3 \log _q(g)< n < 4g-5 \log _q(g)\) and \(n \ne 2g\), then
Rudnick then points out that there is a slight deviation in \(\langle {{\mathrm{tr}}}(\Theta _{C_Q}^n) \rangle _{{\mathcal F}_{2g+1}}\) from the Random Matrix Theory results for small values of n and for \(n=2g\); namely,
and
By considering the average value of \({{\mathrm{tr}}}(\Theta _C^n)\) over \({\mathscr {H}}_g\), we no longer get a deviation from the RMT results for \(n=2\) and the deviation at \(n=2g\) diminishes:
and
Furthermore, our results for odd n are exact and coincide with the RMT results for all values of g. At first glance, this may seem counterintuitive as one expects to have an error term, as in the even case and as in [7]. Using another approach, one can quickly verify the first result of Theorem 1.1 (this is done in Sect 4).
Now, we may apply Theorem 1.1 to compute the average number of points on \(C\in {\mathscr {H}}_g\) in finite extensions \({\mathbb F}_{q^n}\) of \({\mathbb F}_q\), denoted \(\langle \#C({\mathbb F}_{q^n}) \rangle _{{\mathscr {H}}_g}\). By taking logarithmic derivatives in (3),
Therefore,
Corollary 1.3
-
(i)
If n is odd, then
$$\begin{aligned} \langle \#C({\mathbb F}_{q^n}) \rangle _{{\mathscr {H}}_g}=q^n+1. \end{aligned}$$ -
(ii)
If n is even, then
$$\begin{aligned} \langle \#C({\mathbb F}_{q^n}) \rangle _{{\mathscr {H}}_g} \sim q^n+q^\frac{n}{2}+1-\sum _{\begin{array}{c} {\deg (P)|\frac{n}{2}}\\ {\deg (P)\ne 1} \end{array}}\frac{\deg (P)}{|P|+1}. \end{aligned}$$
Once again, our results for odd n are exact and hold for all values of g. Although we continue to get deviations from the RMT results for even \(n\ge 4\), our results hold for \(n=2\) and our deviations are different from those obtained in [7].
Another approach to computing \(\langle \#C({\mathbb F}_{q^n}) \rangle _{{\mathscr {H}}_g}\) is the work of Alzahrani [1] which uses the distribution of the \({\mathbb F}_q\)-points of \({\mathscr {H}}_g\) in \({\mathbb F}_{q^n}\). Using these methods, the results of Alzahrani agree with the Corollary above (albeit with a larger error term).
Finally, we would like to mention that some of the computations done in Sect 2.1 through 3.2 were done independently by Lorenzo et al. in their study of statistics for biquadratic curves; their work is collected in [5].
2 Preliminaries
In this section, we establish some notation, we introduce the main results of [7], and we prove some preliminary results. Since the majority of what follows is based off of the work in [7], we use the same notation and list important results for the convenience of the reader. We use [6] as a general reference.
Throughout this paper, \({\mathbb F}_q\) is a fixed finite field of odd cardinality q, P is solely used to represent monic irreducible polynomials in \({\mathbb F}_q[x]\), and Q will be used to denote squarefree polynomials of degree \(2g+1\) or \(2g+2\) with \(g\ge 1\). Unless stated otherwise, sums/products are over monic elements in \({\mathbb F}_q[x]\) (under the given restrictions). For example, sums/products indexed by P are over all monic irreducible polynomials in \({\mathbb F}_q[x]\), where as sums/products indexed by \(\deg (f)=n\) are over all monic polynomials of degree n in \({\mathbb F}_q[x]\). In the case where a sum involves elements \(B\in {\mathbb F}_q[x]\) that are not necessarily monic, we write the sum over B n.n.m..
Given any polynomial \(D\in {\mathbb F}_q[x]\) that is not a perfect square, we define the quadratic character \(\chi _D\) by the quadratic residue symbol for \({\mathbb F}_q[x]\):
where f is any monic polynomial in \({\mathbb F}_q[x]\).
The Zeta function associated to the hyperelliptic curve \(C_Q:y^2=Q(x)\) is then given by
where
is the Zeta function of \({\mathbb F}_q(x)\) and where
with
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs40993-016-0043-9/MediaObjects/40993_2016_43_Equ9_HTML.gif)
which relates to the count in Eq. (4).
Taking logarithmic derivatives in Eqs. (7) and (8), we see that
where
is the von Mangoldt function.
Now, let \({\mathcal F}\) be any family of squarefree polynomials of degree d in \({\mathbb F}_q[x]\). For any function F on \({\mathcal F}\), we define the expected value of F over \({\mathcal F}\):
In particular,
Let
and let
Then
and it is easy to see that (see Lemma 3 of [4], for example)
Using these sets of polynomials, every curve in \({\mathscr {H}}_g\) has an affine model \(C_Q:y^2=Q(x)\), where \(Q\in \widehat{{\mathcal F}}_{2g+1}\cup \widehat{{\mathcal F}}_{2g+2}\). By averaging \({{\mathrm{tr}}}(\Theta ^n_{C_Q})\) over all \(Q\in \widehat{{\mathcal F}}_{2g+1}\cup \widehat{{\mathcal F}}_{2g+2}\), we count each point in the moduli space \(q(q^2-1)\) times (this is due to the fact that the projective linear group \({{\mathrm{PGL}}}_2({\mathbb F}_q)\) has order \(q(q^2-1)\) and the \({\mathbb F}_q\)-points of \(C_Q\) are the same as those of \(C_Q\) under the action of any element in \({{\mathrm{PGL}}}_2({\mathbb F}_q)\)). Moreover,
where \('\) indicates that the curves \(C\in {\mathscr {H}}_g\) are counted with weight \(\frac{1}{\#{{\mathrm{Aut}}}(C)}\); we refer the reader to [2]. Ultimately, averaging \({{\mathrm{tr}}}(\Theta ^n_C)\) over \(C\in {\mathscr {H}}_g\) is the same as averaging \({{\mathrm{tr}}}(\Theta ^n_{C_Q})\) over \(Q \in \widehat{{\mathcal F}}_{2g+1} \cup \widehat{{\mathcal F}}_{2g+2}\). In other words,
In [7], Rudnick averages the trace over \({\mathcal F}={\mathcal F}_{2g+1}\). We begin by considering the average over \({\mathcal F}={\mathcal F}_{2g+2}\) and then obtain the average over \({\mathscr {H}}_g\) by combining our results and by considering the contribution of the point at infinity which differs on each of the families \(\widehat{{\mathcal F}}_{2g+1}\), \(\widehat{{\mathcal F}}_{2g+2}\).
Let \(\mu \) denote the Möbius function and let \(D\in {\mathbb F}_q[x]\). Since
we may compute the expected value of F by summing over all elements of degree d in \({\mathbb F}_q[x]\) and sieving out the squarefree terms; namely,
For all A, \(B \in {\mathbb F}_q[x]\),
With that said, taking \(F(Q)=\chi _Q\) in Eq. (14),
where
We are now in a position to provide the necessary results from [7]. For \(P\in {\mathbb F}_q[x]\) with \(\deg (P)=n\), we define
Lemma 2.1
([7], Lemma 4)
-
(i)
For \(n=1\),
$$\begin{aligned} \sigma _1(0)=1, \quad \sigma _1(\alpha )=1-q \quad \,\forall \alpha \ge 1. \end{aligned}$$(15) -
(ii)
If \(n\ge 2\), then
$$\begin{aligned} \sigma _n(\alpha )=\left\{ \begin{array}{lll} 1, &{} \quad \alpha \equiv 0\mod n,\\ -q, &{} \quad \alpha \equiv 1\mod n,\\ 0, &{} \quad \text{ otherwise. }\\ \end{array}\right. \end{aligned}$$(16)
Recall that the Dirichlet L-series associated to \(\chi _Q\), denoted \(L(u,\chi _Q)\), is a polynomial in u of degree at most \(\deg (Q)-1\) (see Proposition 4.3 of [6], for example). In fact,
where
and \(A_Q(\beta )=0\) for \(\beta \ge \deg (Q)\).
Let
By the Law of Quadratic Reciprocity [6],
The above equality implies that \(S(\beta ;n)=0\) \(\forall n \le \beta .\)
We let \(\pi _q(n)\) denote the number of monic irreducible polynomials of degree n in \({\mathbb F}_q[x]\). From the Prime Polynomial Theorem [6],
Lemma 2.2
([7], Proposition 7)
-
(i)
n odd, \(0\le \beta \le n-1\):
$$\begin{aligned} S(\beta ;n)=q^{\beta -\frac{n-1}{2}}S(n-1-\beta ;n) \end{aligned}$$(17)and
$$\begin{aligned} S(n-1;n)=\pi _q(n)q^{\frac{n-1}{2}}. \end{aligned}$$(18) -
(ii)
n even, \(1\le \beta \le n-2\):
$$\begin{aligned} S(\beta ;n)=q^{\beta -\frac{n}{2}}\Big (-S(n-1-\beta ;n)+(q-1)\sum _{j=0}^{n-\beta -2}S(j;n)\Big ) \end{aligned}$$(19)and
$$\begin{aligned} S(n-1;n)=-\pi _q(n)q^{\frac{n-2}{2}}. \end{aligned}$$(20)
Lemma 2.3
[7, Lemma 8] If \(\beta <n\), then
where \(\eta _\beta =1\) for \(\beta \) even and \(\eta _\beta =0\) for \(\beta \) odd.
2.1 Improved estimate for \(S(\beta ;n)\) when \(\beta \) is even
Initially, we concern ourselves with \(\langle {{\mathrm{tr}}}(\Theta _{C_Q}^n) \rangle _{{\mathcal F}_{2g+2}}\); in doing so, we need to estimate \(S(\beta ;n)\) for when \(\beta \) is even (see Sect. 3.1.1 and 3.1.3). The following theorem makes use of Lemmas 2.2 and 2.3; it is the analogous result to Proposition 9 of [7] (since Rudnick considers the average value over \({\mathcal F}_{2g+1}\), estimates for \(S(\beta ;n)\) in [7] involve \(\beta \) odd). Furthermore, this result will allow us to compute \(\langle {{\mathrm{tr}}}(\Theta _{C_Q}^n) \rangle _{{\mathcal F}_{2g+2}}\) for n near 4g (just as Proposition 9 in [7] allows Rudnick to compute \(\langle {{\mathrm{tr}}}(\Theta _{C_Q}^n) \rangle _{{\mathcal F}_{2g+1}}\) for n near 4g).
Theorem 2.4
If \(\beta \) is even, \(\beta \ne 0\), and \(\beta < n\), then
where
Remarks 1
-
(i)
The result above is essentially the same as Proposition 9 in [7] with one additonal term; namely, \(\pi _q(n)q^\frac{\beta }{2}\).
-
(ii)
As Rudnick points out in [7], the main tool in proving Theorem 2.4 is duality; it allows us to improve the error term in estimates of \(S(\beta ;n)\) and to get results holding for n near 4g and not only for n near 2g. We would like to mention that the duality present in our character sums \(S(\beta ;n)\) is based on the functional equation (2)
$$\begin{aligned} L^*(u,\chi _P)=(uq^2)^{\lfloor {\frac{\deg (P)-1}{2}}\rfloor } L^*\left( \frac{1}{qu},\chi _P\right) , \end{aligned}$$for prime characters \(\chi _P\) (see the proof of Proposition 7 in [7]).
Proof
-
(i)
If n is odd, we apply (17) to \(S(\beta ;n)\) and then apply (21) to \(S(n-1-\beta ;n)\):
$$\begin{aligned} S(\beta ;n)= & {} q^{\beta -\frac{n-1}{2}}S(n-1-\beta ;n)\\= & {} q^{\beta -\frac{n-1}{2}}\left( \pi _q(n)q^\frac{n-1-\beta }{2}+O\left( \frac{n-1-\beta }{n}q^{\frac{n}{2}+n-1-\beta }\right) \right) \\= & {} \pi _q(n)q^{\frac{\beta }{2}}+O(q^n). \end{aligned}$$ -
(ii)
If n is even, we apply (19) to \(S(\beta ;n)\) and then apply (21) to \(S(n-1-\beta ;n)\):
$$\begin{aligned} S(\beta ;n)= & {} q^{\beta -\frac{n}{2}}\left( -S(n-1-\beta ;n)+(q-1)\sum _{j=0}^{n-\beta -2}S(j;n)\right) \\= & {} q^{\beta -\frac{n}{2}}\left( O\Big (\frac{n-1-\beta }{n}q^{\frac{n}{2}+n-1-\beta }\right) \\&+(q-1)\sum _{j=0}^{n-\beta -2} \Big (\eta _j\pi _q(n)q^{\frac{j}{2}}+O(\frac{j}{n}q^{\frac{n}{2}+j})\Big )\Biggr ). \end{aligned}$$
The two error terms are \(O(q^n)\). Since both n and \(\beta \) are even, \(n-\beta -2\) is even and we may rewrite the main term as
Hence,
\(\square \)
3 Computing \(\langle \hbox {tr}(\Theta _{C_Q}^n) \rangle _{\mathcal {F}_{2g+1} \cup \mathcal {F}_{2g+2}}\)
In this section, we compute \(\langle {{\mathrm{tr}}}(\Theta _{C_Q}^n) \rangle _{{\mathcal F}_{2g+1} \cup {\mathcal F}_{2g+2}}\) by first computing \(\langle {{\mathrm{tr}}}(\Theta _{C_Q}^n) \rangle _{{\mathcal F}_{2g+2}}\) and then combining that result with Rudnick’s for \(\langle {{\mathrm{tr}}}(\Theta _{C_Q}^n) \rangle _{{\mathcal F}_{2g+1}}.\)
3.1 Computing \(\hbox {tr}(\Theta _{C_Q}^n)\) for \(Q\in \mathcal {F}_{2g+2}\)
For the time being, we restrict ourselves to \({\mathcal F}_{2g+2}\). Let \(Q\in {\mathcal F}_{2g+2}\) and consider the curve \(C_Q:y^2=Q(x)\). The trace of the powers of \(\Theta _{C_Q}\) is given by Eq. (10):
where \({\mathcal P}_n\) corresponds to \(k=1\), \(\square _n\) corresponds to the sum over all k even, and \({\mathbb H}_n\) corresponds to the sum over all odd \(k\ge 3\).
In the next three sections, we continue to use Rudnick’s methods in order to compute \({\mathcal P}_n\), \(\square _n\), and \({\mathbb H}_n\). Not surprinsingly, our results will only slightly differ from Rudnick’s. The addition of \(-1/q^\frac{n}{2}\) from (9) will be the main difference. We will also have different cut-off points for n when estimating \({\mathcal P}_n\) (see Sect. 5.3 of [7]).
3.1.1 Contribution of the primes: \(\mathcal {P}_n\)
The contribution of the primes in (23) is given by
So,
From Lemma 2.1, if \(n>g+1\), then
which follows from the fact that \(0\le \alpha \le g+1\). Since \(\sigma _n(0)=1\) and \(\sigma _n(1)=-q\), when \(n>g+1\), we have
We now compute \(\langle {\mathcal P}_n \rangle _{{\mathcal F}_{2g+2}}\) by considering the case \(n\le g+1\) and the case \(n>g+1\), which we break into four (non-distinct) ranges:
-
(i)
\(n\le g+1:\) If \(S(\beta ;n)\ne 0\), then \(\beta <n\); since \(\beta \) is even,
$$\begin{aligned} S(\beta ;n)= & {} \pi _q(n)q^{\frac{\beta }{2}}+O \left( \frac{\beta }{n}q^{\beta +\frac{n}{2}}\right) \\= & {} \frac{q^{n+\frac{\beta }{2}}}{n}+O \Bigg (\frac{q^{\frac{n}{2}+\frac{\beta }{2}}}{n}\Bigg )+O \Bigg (\frac{\beta }{n}q^{\beta +\frac{n}{2}}\Bigg ). \end{aligned}$$Then \(S(\beta ;n)\ll \frac{\beta }{n}q^{n+\beta },\) which implies that
$$\begin{aligned} \langle {\mathcal P}_n\rangle _{{\mathcal F}_{2g+2}}\ll & {} \frac{n}{q^{2g+\frac{n}{2}}}\sum _{\beta <n}\frac{\beta }{n}q^{\beta +n}\\\ll & {} \frac{n}{q^{2g+\frac{n}{2}}}q^{2n}=nq^{\frac{3n}{2}-2g}\ll gq^{\frac{-g}{2}}. \end{aligned}$$ -
(ii)
\(g+1<n<2g+1:\) Since \(2g+2,2g\ge n\), \(S(2g+2;n)=S(2g;n)=0.\) Hence,
$$\begin{aligned}\langle {\mathcal P}_n \rangle _{{\mathcal F}_{2g+2}}= \frac{-n}{(q-1)q^{2g+1+\frac{n}{2}}}(S(2g+2;n)-qS(2g;n))=0.\end{aligned}$$ -
(iii)
\(n=2g+1:\) Since \(2g+2\ge n\), \(S(2g+2;n)=0\) and we get that
$$\begin{aligned} \langle {\mathcal P}_n \rangle _{{\mathcal F}_{2g+2}}= & {} \frac{n}{(q-1)q^{2g+1+\frac{n}{2}}} q S(2g;n),\\= & {} \frac{2g+1}{(q-1)q^{3g+\frac{1}{2}}} S(2g;2g+1). \end{aligned}$$Using (18),
$$\begin{aligned} \langle {\mathcal P}_n \rangle _{{\mathcal F}_{2g+2}}= & {} \frac{2g+1}{(q-1)q^{3g+\frac{1}{2}}} \pi _q(2g+1)q^{\frac{(2g+1)-1}{2}}. \end{aligned}$$By replacing \(\pi _q(2g+1)\) and simplifying, we obtain
$$\begin{aligned} \langle {\mathcal P}_n \rangle _{{\mathcal F}_{2g+2}}= & {} \frac{2g+1}{(q-1)q^{3g+\frac{1}{2}}} \left( \frac{q^{2g+1}}{2g+1}+O\left( \frac{q^g}{2g+1}\right) q^g\right) \\= & {} \frac{q^{\frac{1}{2}}}{q-1}+O(q^{-g}). \end{aligned}$$ -
(iv)
\(n=2g+2\): Similarly,
$$\begin{aligned} \langle {\mathcal P}_n \rangle _{{\mathcal F}_{2g+2}}= & {} \frac{n}{(q-1)q^{2g+1+\frac{n}{2}}}q S(2g;n)\\= & {} \frac{2g+2}{(q-1)q^{3g+1}} S(2g;2g+2). \end{aligned}$$From Theorem 2.4,
$$\begin{aligned} \langle {\mathcal P}_n \rangle _{{\mathcal F}_{2g+2}}= & {} \frac{2g+2}{(q-1)q^{3g+1}} \left( \left( \frac{q^{2g+2}}{2g+2}+O(\frac{q^g}{2g+2})\right) (q^g-q^{g-1})+O(q^{2g})\right) \\= & {} 1+O(q^{-g})+O(gq^{-g}). \end{aligned}$$ -
(v)
\(n>2g+2:\) We apply Theorem 2.4 to get
$$\begin{aligned} \langle {\mathcal P}_n \rangle _{{\mathcal F}_{2g+2}}= & {} \frac{-n}{(q-1)q^{2g+1+\frac{n}{2}}}\left( S(2g+2;n)-qS(2g;n)\right) \\= & {} \frac{-n}{(q-1)q^{2g+1+\frac{n}{2}}}\left( \pi _q(n)(q^{\frac{2g+2}{2}}-\eta _nq^{2g+2-\frac{n}{2}})\right. \\&\left. -q\pi _q(n)(q^{\frac{2g}{2}}-\eta _nq^{2g-\frac{n}{2}})+O(q^n)\right) . \end{aligned}$$Upon further simplification,
$$\begin{aligned} \langle {\mathcal P}_n \rangle _{{\mathcal F}_{2g+2}}= & {} \frac{n}{(q-1)q^{2g+1+\frac{n}{2}}}\Biggr (\eta _n \pi _q(n) (q^{2g+2-\frac{n}{2}}-q^{2g+1-\frac{n}{2}})+O(q^n)\Biggr )\\= & {} \frac{n\eta _n \pi _q(n)}{q^n}+O(nq^{\frac{n}{2}-2g})\\= & {} \eta _n (1+O(q^{\frac{-n}{2}}))+O(nq^{\frac{n}{2}-2g}). \end{aligned}$$
Note 1 When \(n=2g+2\), (v) yields (iv).
3.1.2 Contribution of the squares: \(\square _n\)
For n even, we have the following contribution from the squares of prime powers:
Therefore,
Although Sect. 3.1.1 shows a slight deviation in \(\langle {\mathcal P}_n \rangle _{{\mathcal F}_{2g+2}}\) from \( \langle {\mathcal P}_n \rangle _{{\mathcal F}_{2g+1}}\), we will see that \(\langle \square _n \rangle _{{\mathcal F}_{2g+2}}=\langle \square _n \rangle _{{\mathcal F}_{2g+1}}.\)
Let \(m=\deg (P)\). Since
Solving the recurrence relation in Lemma 2.1,
Since
3.1.3 Contribution of the higher prime powers: \(\mathbb {H}_n\)
Using trivial bounds for \({\mathbb H}_n\), we obtain slightly different results from Rudnick in the case where \(n>6g\). This is due to the fact that our estimates of \({\mathbb H}_n\) involve \(S(\beta ;n)\) for \(\beta \) even, as opposed to \(\beta \) odd, and, from Lemma 2.3,
We shall see that our bounds for \(n>6g\) are absorbed in the error term from \(\langle {\mathcal P}_n \rangle _{{\mathcal F}_{2g+2}}\) when \(n>2g+1\).
The contribution to \({{\mathrm{tr}}}(\Theta _{C_Q}^n)\) from the higher odd prime powers in (23) is:
where the last equality follows from the fact that \(\chi _Q(P^d)=\chi _Q(P)\) for odd d.
This implies that
If \(S(\beta ;\frac{n}{d})\ne 0\), then \(\beta < \frac{n}{d}\); also, \(S(\beta ; \frac{n}{d})\ll q^{\frac{n}{d}+\beta }\). Hence,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs40993-016-0043-9/MediaObjects/40993_2016_43_Equ131_HTML.gif)
If \(\frac{n}{3}\le 2g\), then \(\min (\frac{n}{d},2g)=\frac{n}{d}\) for all \(d\ge 3\); and so,
If \(\frac{n}{3}>2g\), then \(\min (\frac{n}{d},2g)\le \frac{n}{3}\) for all \(d\ge 3\); therefore,
3.2 Computing \(\langle \hbox {tr}(\Theta _{C_Q}^n)\rangle _{\mathcal {F}_{2g+2}}\)
Since
we obtain:
Theorem 3.1
3.3 Computing \(\langle \hbox {tr}(\Theta _{C_Q}^n)\rangle _{\mathcal {F}_{2g+1}\cup \mathcal {F}_{2g+2}}\)
The main result of [7] is given below:
Theorem 3.2
[7, Theorem 1]
We would like to find the expected value of \({{\mathrm{tr}}}(\Theta _{C_Q}^n)\) over all curves \(C_Q:y^2=Q(x)\) of genus g with Q monic, squarefree. To do this, we use Theorems 3.1 and 3.2. By identifying the family of curves described above with \({\mathcal F}_{2g+1} \cup {\mathcal F}_{2g+2}\), we see that
where
Therefore,
Corollary 3.3
Note 2 The first main term in Corollary 3.3 does not appear in Theorem 3.2, neither does the term \(\frac{q^{\frac{3}{2}}}{q^2-1}\) corresponding to \(n=2g+1\). Similarly, for \(n=2g\), the constant \(\frac{1}{q-1}\) in Theorem 3.2 is scaled down to \(\frac{1}{q^2-1}\) in Corollary 3.3. In the next section, we shall see that these differences are diminished when we consider the average of \({{\mathrm{tr}}}(\Theta _{C}^n)\) over \({\mathscr {H}}_g\).
4 Computing \(\langle \hbox {tr}(\Theta _{C}^n)\rangle _{\mathscr {H}_g}\)
As we mentioned in the introduction, averaging over monic squarefree polynomials of a fixed degree is not the same as averaging over the moduli space of hyperelliptic curves of genus g: in the latter case, we consider polynomials of degree \(2g+1\) and \(2g+2\). Also, by restricting ourselves to monic polynomials, we introduce a bias in the average value of the trace: the contribution of the point at infinity is related to the leading coefficient of Q, as seen by Eq. (10).
We now turn our attention to finding the average of \({{\mathrm{tr}}}(\Theta _{C}^n)\) over \({\mathscr {H}}_g\). If we let
then, from Eqs. (5), (10), and (13),
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1007%2Fs40993-016-0043-9/MediaObjects/40993_2016_43_Equ132_HTML.gif)
Given \(D\in {\mathbb F}_q[x]\) with \(\deg (D)=d\), we may write \(D=A^2 B\), where \(A,B\in {\mathbb F}_q[x]\) with A monic, B not necessarily monic, and \(\deg (A)=\alpha \), \(\deg (B)=\beta \), so that \(d=2\alpha + \beta \). From here, we can take the character sum above over all elements of degree \(2g+1,2g+2\) by sieving out the squarefree terms (as we did earlier):
Hence,
Since there are exactly \((q-1)/2\) squares and \((q-1)/2\) non-squares in \({\mathbb F}_q^*\), if n is odd,
On the other hand, if n is even,
Also, if f is a power of some prime in \({\mathbb F}_q[x]\), say \(f=P^k\), then for all \(a\in {\mathbb F}_q^*\) (see Proposition 3.2 of [6]),
If \(\deg (f)=\deg (P^k)=n\) is even, then \(\Big (\frac{a}{f}\Big )=1\) because \(|{\mathbb F}_q^*|=q-1\). This tells us that \(\sum _{a\in {\mathbb F}_q^*}\Big (\frac{a}{f}\Big )=q-1\). If \(\deg (f)=\deg (P^k)=n\) is odd, then we have that \(\sum _{a\in {\mathbb F}_q^*}\Big (\frac{a}{f}\Big )=0\) because there are exactly \((q-1)/2\) QR in \({\mathbb F}_q^*\) and exactly \((q-1)/2\) NQR in \({\mathbb F}_q^*\).
So, for n odd,
For n even,
In other words,
Theorem 4.1
For n odd,
and for n even,
In particular,
Corollary 4.2
If n is odd, then
For n even with \(3 \log _q(g)< n < 4g-5 \log _q(g)\) and \(n \ne 2g\),
Proof
The first part is clear. To prove the second part, we treat each non-mainterm in Theorem 4.1 separately and show that each of them contributes an error term of \(o(\frac{1}{g})\) in the desired region.
Fix \(\epsilon >0\). If \(n<4g-(4+\epsilon )\log _q(g)\), then
i.e.,
Note that
If \(n=(2+\epsilon )\log _q(g)\), then
So, for \(n>(2+\epsilon )\log _q(g)\),
We have actually shown a stronger version of our statement; namely, for any fixed \(\epsilon >0\) and for any even n with \((2+\epsilon ) \log _q(g)< n < 4g-(4+\epsilon ) \log _q(g)\) and \(n \ne 2g\),
\(\square \)
We now look at another approach which quickly verifies the first result of Theorem 4.1. This argument was provided by Dr. Zeév Rudnick: fix a finite field \({\mathbb F}_q\) of odd cardinality q, let Q be any monic, squarefree polynomial of degree \(2g+1\) or \(2g+2\) in \({\mathbb F}_q[x]\) , and let \(a\in {\mathbb F}_q^*\). Then
where \(\chi _n\) is a multiplicative character on \({\mathbb F}_{q^n}\) defined by
When \(x_0\) is the point at infinity, \(Q(x_0)\) is defined by the evaluation of \(x^{2g+2}Q(\frac{1}{x})\) at \(x=0\); i.e., \(\chi _n(Q(\infty ))\) yields \(\lambda _Q\) according to the count of (4). Moreover,
Therefore,
where \(\sum _{Q\in {\mathbb F}_q[x]}{''}\) indicates that the sum is over all monic, squarefree polynomials \(Q\in {\mathbb F}_q[x]\) such that \(\deg (Q)=2g+1\) or \(\deg (Q)=2g+2\). When n is odd, there are exactly \(\frac{q-1}{2}\) squares and \(\frac{q-1}{2}\) non-squares in \({\mathbb F}_q^* \subset {\mathbb F}_{q^n}\), which tells us that
So, for odd n,
On the other hand, when n is even, computing the average over the entire moduli space reduces to computing the average over the moduli space with the restriction that \(a=1\): for even n, every element of \({\mathbb F}_q^*\) is a square in \({\mathbb F}_{q^n}^*\) so that
and
Evidently, \(\#(\widehat{{\mathcal F}}_{2g+1}\cup \widehat{{\mathcal F}}_{2g+2})=(q-1)\#({\mathcal F}_{2g+1}\cup {\mathcal F}_{2g+2} )\).
References
Alzahrani, M.: The distribution of points on hyperelliptic cuvres over \({\mathbb{F}}_q\) of genus \(g\) in finite extensions of \({\mathbb{F}}_q\). Dissertation, Concordia University, Montreal (2015)
Bucur, A., David, C., Feigon, B., Lalin, M.: Statistics for traces of cyclic trigonal curves over finite fields. Int. Math. Res. Note. 2010(5), 932–967 (2010)
Diaconis, P., Shahshahani, M.: On the eigenvalues of random matrices. Studies in applied probabilities. J. Appl. Probab. 31A, 49–62 (1994)
Kurlberg, P., Rudnick, Z.: The fluctuations in the number of points on a hyperelliptic curve over a finite field. J. Number. Theor. 129(3), 580–587 (2009)
Meleleo, G.: Questions related to primitive points on elliptic curves and statistics for biquadratic curves over finite fields. Dissertation, Università degli Studi Roma Tre, Rome (2015)
Rosen, M.: Number Theory in Function Fields. Springer, New York (2002)
Rudnick, Z.: Traces of high powers of the Frobenius class in the hyperelliptic ensemble. Acta. Arith. 143(1), 81–99 (2010)
Silverman, J.: The Arithmetic of Elliptic Curves. Springer, Dordrecht (2009)
Weil, A.: Sur les courbes algébriques et les variétés qui s’en déduisent. Hermann et Cie, Paris (1948)
Open Access
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Acknowledgements
We thank Dr. Chantal David for many valuable suggestions which have vastly improved this paper and for her continuous support throughout this research. We also thank Dr. Zeév Rudnick, Manal Alzahrani, and Patrick Meisner for their valuable input and insight. Finally, we thank the anonymous referee for carefully reviewing our work and for their many useful comments.
Competing interests
The author declares that they have no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Chinis, I.J. Traces of high powers of the Frobenius class in the moduli space of hyperelliptic curves. Res. Number Theory 2, 13 (2016). https://doi.org/10.1007/s40993-016-0043-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40993-016-0043-9