Computing the forth moment of of Dirichlet L-functions at the central point for prime moduli with a power saving error

You need to know: Complex number, absolute value |z| and real part \text{Re}(z) of complex number z, function of complex variable, meromorphic function, analytic continuation, big O notation. Also, see this previous theorem description for the concept of primitive Dirichlet character modulo integer q>0.

Background: For a prime q, denote {\cal P}(q) the set of all primitive Dirichlet characters \chi modulo q, and let \phi^*(q) be the number of such characters. For \chi \in {\cal P}(q), and complex number z with \text{Re}(z)>1, let L(z,\chi)=\sum\limits_{n=1}^\infty \frac{\chi(n)}{n^z}. By analytic continuation, function L(z,\chi) can be extended to a meromorphic function on the whole complex plane, and it is called a Dirichlet L-function.

The Theorem: On 22nd September 2006, Matthew Young submitted to the Annals of Mathematics a paper in which he proved that for any prime q\neq 2 and any \epsilon>0, \frac{1}{\phi^*(q)}\sum\limits_{\chi \in {\cal P}(q)}|L(\frac{1}{2},\chi)|^4 = \sum\limits_{i=0}^4 c_i (\log q)^i + O(q^{-\frac{5}{512}+\epsilon}), where c_i are some explicitly computable absolute constants.

Short context: Dirichlet L-functions are generalisations of famous Riemann zeta function (which corresponds to the case \chi(n)=1), and estimating their moments, especially at point z=\frac{1}{2} (which is called the central point), is an important problem in number theory with many applications. The Theorem computes the fourth moment of Dirichlet L-functions at z=\frac{1}{2} for prime moduli q, with error term decreasing as a power of q. Ealier, similar formula was derived (by Heath-Brown in 1979) only for the Riemann zeta function.

Links: Free arxiv version of the original paper is here, journal version is here.

Go to the list of all theorems

One thought on “Computing the forth moment of of Dirichlet L-functions at the central point for prime moduli with a power saving error

Leave a comment