## Algebra & Number Theory

### A representation theory approach to integral moments of $L$-functions over function fields

Will Sawin

#### Abstract

We propose a new heuristic approach to integral moments of $L$-functions over function fields, which we demonstrate in the case of Dirichlet characters ramified at one place (the function field analogue of the moments of the Riemann zeta function, where we think of the character $nit$ as ramified at the infinite place). We represent the moment as a sum of traces of Frobenius on cohomology groups associated to irreducible representations. Conditional on a hypothesis on the vanishing of some of these cohomology groups, we calculate the moments of the $L$-function and they match the predictions of the Conry, Farmer, Keating, Rubinstein, and Snaith recipe (Proc. Lond. Math. Soc. $(3)$ 91 (2005), 33–104).

In this case, the decomposition into irreducible representations seems to separate the main term and error term, which are mixed together in the long sums obtained from the approximate functional equation, even when it is dyadically decomposed. This makes our heuristic statement relatively simple, once the geometric background is set up. We hope that this will clarify the situation in more difficult cases like the $L$-functions of quadratic Dirichlet characters to squarefree modulus. There is also some hope for a geometric proof of this cohomological hypothesis, which would resolve the moment problem for these $L$-functions in the large degree limit over function fields.

#### Article information

Source
Algebra Number Theory, Volume 14, Number 4 (2020), 867-906.

Dates
Revised: 12 December 2019
Accepted: 6 February 2020
First available in Project Euclid: 30 June 2020

https://projecteuclid.org/euclid.ant/1593482421

Digital Object Identifier
doi:10.2140/ant.2020.14.867

Mathematical Reviews number (MathSciNet)
MR4114059

#### Citation

Sawin, Will. A representation theory approach to integral moments of $L$-functions over function fields. Algebra Number Theory 14 (2020), no. 4, 867--906. doi:10.2140/ant.2020.14.867. https://projecteuclid.org/euclid.ant/1593482421

#### References

• J. C. Andrade and J. P. Keating, “The mean value of $L\bigl(\frac12,\chi\bigr)$ in the hyperelliptic ensemble”, J. Number Theory 132:12 (2012), 2793–2816.
• J. C. Andrade and J. P. Keating, “Conjectures for the integral moments and ratios of $L$-functions over function fields”, J. Number Theory 142 (2014), 102–148.
• D. Bump and A. Gamburd, “On the averages of characteristic polynomials from classical groups”, Comm. Math. Phys. 265:1 (2006), 227–274.
• J. B. Conrey and N. C. Snaith, “Applications of the $L$-functions ratios conjectures”, Proc. Lond. Math. Soc. $(3)$ 94:3 (2007), 594–646.
• J. B. Conrey, D. W. Farmer, J. P. Keating, M. O. Rubinstein, and N. C. Snaith, “Integral moments of $L$-functions”, Proc. Lond. Math. Soc. $(3)$ 91:1 (2005), 33–104.
• B. Conrey, D. W. Farmer, and M. R. Zirnbauer, “Autocorrelation of ratios of $L$-functions”, Commun. Number Theory Phys. 2:3 (2008), 593–636.
• P. Deligne, “La conjecture de Weil, II”, Inst. Hautes Études Sci. Publ. Math. 52 (1980), 137–252.
• A. Diaconu, “On the third moment of $L\bigl(\frac{1}{2},\chi_d\bigr)$, I: The rational function field case”, J. Number Theory 198 (2019), 1–42.
• A. Diaconu, D. Goldfeld, and J. Hoffstein, “Multiple Dirichlet series and moments of zeta and $L$-functions”, Compositio Math. 139:3 (2003), 297–360.
• A. Florea, “The fourth moment of quadratic Dirichlet $L$-functions over function fields”, Geom. Funct. Anal. 27:3 (2017), 541–595.
• A. Florea, “The second and third moment of $L\bigl(\frac12,\chi\bigr)$ in the hyperelliptic ensemble”, Forum Math. 29:4 (2017), 873–892.
• A. M. Florea, “Improving the error term in the mean value of $L\bigl(\frac12,\chi\bigr)$ in the hyperelliptic ensemble”, Int. Math. Res. Not. 2017:20 (2017), 6119–6148.
• W. Fulton and J. Harris, Representation theory: a first course, Graduate Texts in Math. 129, Springer, 1991.
• J. Hoffstein and M. Rosen, “Average values of $L$-series in function fields”, J. Reine Angew. Math. 426 (1992), 117–150.
• N. M. Katz, “Sums of Betti numbers in arbitrary characteristic”, Finite Fields Appl. 7:1 (2001), 29–44.
• N. M. Katz, “Witt vectors and a question of Keating and Rudnick”, Int. Math. Res. Not. 2013:16 (2013), 3613–3638.
• N. M. Katz, “On a question of Rudnick: do we have square root cancellation for error terms in moment calculations?”, Philos. Trans. Roy. Soc. A 373:2040 (2015), art. id. 20140312.
• N. M. Katz, “Witt vectors and a question of Rudnick and Waxman”, Int. Math. Res. Not. 2017:11 (2017), 3377–3412.
• N. M. Katz and P. Sarnak, Random matrices, Frobenius eigenvalues, and monodromy, Amer. Math. Soc. Colloq. Publ. 45, Amer. Math. Soc., Providence, RI, 1999.
• P. Sarnak, S. W. Shin, and N. Templier, “Families of $L$-functions and their symmetry”, pp. 531–578 in Families of automorphic forms and the trace formula (Puerto Rico, 2014), edited by W. Müller et al., Springer, 2016.
• W. Sawin, “Square-root cancellation for sums of factorization functions over short intervals in function fields”, preprint, 2018.
• P. Deligne, Cohomologie étale (Séminaire de Géométrie Algébrique du Bois Marie), Lecture Notes in Math. 569, Springer, 1977.
• M. Artin, A. Grothendieck, and J. L. Verdier, Théorie des topos et cohomologie étale des schémas, Tome 3: Exposés IX–XIX (Séminaire de Géométrie Algébrique du Bois Marie 1963–1964), Lecture Notes in Math. 305, Springer, 1973.
• N. Tamam, “The fourth moment of Dirichlet $L$-functions for the rational function field”, Int. J. Number Theory 10:1 (2014), 183–218.