Improving the error term in the mean value of $L(\tfrac{1}{2},\chi )$ in the hyperelliptic ensemble

Andrade and Keating computed the mean value of quadratic Dirichlet $L$--functions at the critical point, in the hyperelliptic ensemble over a fixed finite field $\mathbb{F}_q$. Summing $L(1/2,\chi_D)$ over monic, square-free polynomials $D$ of degree $2g+1$, the main term is of size $|D| \log_q |D|$ (where $|D|=q^{2g+1}$) and Andrade and Keating bound the error term by $|D|^{\frac 34+ \frac{\log_q(2)}{2}}$. For simplicity, we assume that $q$ is prime with $q \equiv 1 \pmod 4$. We prove that there is an extra term of size $|D|^{1/3} \log_q|D|$ in the asymptotic formula and bound the error term by $|D|^{1/4+\epsilon}$.

[1]  A. Weil Sur les courbes algébriques et les variétés qui s'en déduisent , 1948 .

[2]  D. Hayes The expression of a polynomial as a sum of three irreducibles , 1966 .

[3]  M. Jutila,et al.  On the Mean Value of L(1/2, χ ) FW Real Characters , 1981 .

[4]  Michael Rosen,et al.  A classical introduction to modern number theory , 1982, Graduate texts in mathematics.

[5]  E. Stankus The mean value of L(1/2, Xd) for d≡z(mod D) , 1983 .

[6]  Dorian Goldfeld,et al.  Eisenstein series of 1/2-integral weight and the mean value of real DirichletL-series , 1985 .

[7]  Kannan Soundararajan,et al.  Demography of Cirsium vulgare in a grazing experiment. , 1994 .

[8]  Nicholas M. Katz,et al.  Random matrices, Frobenius eigenvalues, and monodromy , 1998 .

[9]  StephaneLouboutin On the mean value of|L(1,χ)|2 for odd primitive Dirichlet characters , 1999 .

[10]  P. Sarnak,et al.  Zeroes of zeta functions and symmetry , 1999 .

[11]  Nina C Snaith,et al.  Random Matrix Theory and L-Functions at s= 1/2 , 2000 .

[12]  K. Soundararajan Nonvanishing of quadratic Dirichlet -functions at . , 2000 .

[13]  Michael Rosen,et al.  Number Theory in Function Fields , 2002 .

[14]  J. P. Keating,et al.  Integral Moments of L‐Functions , 2002, math/0206018.

[15]  Z. Rudnick Traces of high powers of the Frobenius class in the hyperelliptic ensemble , 2008, 0811.3649.

[16]  The fluctuations in the number of points on a hyperelliptic curve over a finite field , 2008, 0804.0808.

[17]  Z. Rudnick,et al.  Statistics of the zeros of zeta functions in families of hyperelliptic curves over a finite field , 2008, Compositio Mathematica.

[18]  Matthew P. Young,et al.  The first moment of quadratic Dirichlet L-functions , 2008, 0804.4141.

[19]  Michael Rubinstein,et al.  Conjectures and Experiments Concerning the Moments of L(1/2, χ d ) , 2012, Exp. Math..

[20]  J. Keating,et al.  The mean value of L(12,χ) in the hyperelliptic ensemble , 2012, 1208.1131.

[21]  Z. Rudnick,et al.  Low-lying Zeros of Quadratic Dirichlet L-Functions, Hyper-elliptic Curves and Random Matrix Theory , 2012, 1208.5962.

[22]  Z. Rudnick,et al.  The variance of the number of prime polynomials in short intervals and in residue classes , 2012, 1204.0708.

[23]  Jacob Tsimerman,et al.  Metaplectic Ramanujan conjecture over function fields with applications to quadratic forms , 2010, 1008.0430.

[24]  J. Keating,et al.  Conjectures for the integral moments and ratios of L-functions over function fields , 2014, 1407.3099.

[25]  M. Rubinstein,et al.  Moments of zeta functions associated to hyperelliptic curves over finite fields , 2014, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.