Abstract
We prove an asymptotic formula for the second moment of a product of two Dirichlet L-functions on the critical line, which has a power saving in the error term and which is uniform with respect to the involved Dirichlet characters. As special cases we give uniform asymptotic formulae for the fourth moment of individual Dirichlet L-functions and for the second moment of Dedekind zeta functions of quadratic number fields on the critical line.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Moments of L-functions are a central topic in analytic number theory, not only due to their many important applications, but also because they give insight into the behaviour of L-functions in the critical strip.
One of the most famous and best-studied examples in this regard is the fourth moment of the Riemann zeta function
The first asymptotic formula for (1.1) goes back to Ingham [22], who proved that
It was not until several decades later that Heath-Brown [18] was able to improve on this estimate. His result, which marked a major advance in the subject, states that
where P is a certain polynomial of degree 4. Further progress came with the development of methods originating in the spectral theory of automorphic forms, in particular the Kuznetsov formula [32]. Zavorotnyi [49] was thus able to lower the exponent in the error term in (1.2) and show that
Motohashi [38, Theorem 4.2] established an explicit formula which expresses a smooth version of the fourth moment (1.1) in terms of the cubes of the central values of certain automorphic L-functions. His result is significant, as it allows a much deeper understanding of (1.1) than a mere asymptotic estimate, in addition to having many remarkable applications (see e.g. [24, 25]). The best estimate for (1.1) to date is due to Ivić and Motohashi [25, Theorem 1] who, by making use of the explicit formula, were able to replace the factor \( T^\varepsilon \) in (1.3) by a suitable power of \( \log T \).
In this article, we are interested in the analogous problem for Dirichlet L-functions. Naturally, the fourth moment can here be taken in two different ways: on the one hand, we can look at an individual Dirichlet L-function and take the average along the critical line as in (1.1). On the other hand, we can focus on the central point \( s = 1/2 \) and take the average over a suitable subset of Dirichlet characters, most typically the set of all primitive Dirichlet characters of a given modulus q.
The latter case has probably received most of the attention. The first result goes back to Heath-Brown [20], who proved an asymptotic formula for those q with not too many prime factors, which was later extended by Soundararajan [43] to all q. Young [47] achieved a major breakthrough when he proved, for q prime, an asymptotic formula with a power saving in the error term. His result states that
where the \( *\) on the sum indicates that the sum is restricted to primitive Dirichlet characters, where \( \varphi ^*(q) \) denotes the number of primitive characters mod q, and where P is a certain polynomial of degree 4. As in the works of Zavorotnyi [49] and Motohashi [38], his proof relies crucially on methods coming from the spectral theory of automorphic forms. The exponent 5/512 in the error term was later improved to 1/20 by Blomer, Fouvry, Kowalski, Michel and Milićević [3, 4].
A few results are also available if an additional average over t is included. Rane [42] showed that
where \( \omega (q) \) denotes the number of prime factors of q, and where C(q) is a certain constant depending on q. This is an asymptotic formula in certain ranges of q and T. Bui and Heath-Brown [10] sharpened the error term in (1.5), and established an asymptotic formula when q goes to infinity. Another result is due to Wang [46], who proved that, for \( q \le T \),
where \( P_q \) is a certain polynomial of degree 4 with coefficients depending on q.
The direct analogue of (1.1), that is the fourth moment of an individual Dirichlet L-function on the critical line
has received much less attention. If \(\chi \) is considered fixed, then a simple asymptotic formula for (1.7) can be obtained by classical methods, although this has not been worked out explicitly in the literature. It is a much more difficult problem to obtain estimates uniform in \(\chi \) and comparable in strength to what can be achieved for \( \zeta (s) \). It is this latter problem which we want to address here.
Our main result is as follows.
Theorem 1.1
Let \( \varepsilon > 0 \). Let \( \chi \) mod q be a primitive Dirichlet character. Then we have, for \( T \ge 1 \),
where \( P_\chi \) is a polynomial of degree 4, whose coefficients depend only on q, and where the implicit constant depends only on \(\varepsilon \).
Here \(\theta \) denotes the bound in the Ramanujan–Petersson conjecture (see Sect. 3.1 for a precise definition). By the work of Kim and Sarnak [30] it is known that \( \theta = 7/64 \) is admissible, and with this value our asymptotic formula is non-trivial in the range \( q \ll T^{ 25 / 107 - \varepsilon } \). The polynomial \( P_\chi \) appearing in the main term can be described fairly explicitly in form of a residue (see (5.11)). In particular, its leading coefficient is given by
This constant also appears as leading coefficient in the polynomials in (1.4) and (1.6), and is identical to the constant C(q) in (1.5). With a couple of minor technical modifications in the proof, Theorem 1.1 can be extended to all Dirichlet characters.
A similar formula holds if we replace the sharp integration bounds in (1.7) by a smooth weight function.
Theorem 1.2
Let \( \varepsilon > 0 \). Let \( w : (0, \infty ) \rightarrow {\mathbb {C}}\) be a smooth and compactly supported function. Let \( \chi \) mod q be a primitive Dirichlet character. Then we have, for \( T \ge 1 \),
where \( P_\chi \) is the same polynomial as in (1.8), and where the implicit constant depends only on w and \(\varepsilon \).
An interesting generalization of (1.7) concerns the mixed moment
where \( \chi _1 \) and \( \chi _2 \) are two different primitive Dirichlet characters. In general, it is expected that the behaviour of the two Dirichlet L-functions \( L(s, \chi _1) \) and \( L(s, \chi _2) \) on the critical line is uncorrelated, which should also find its expression in a slightly different asymptotic behaviour of (1.9) compared with (1.7). Specifically, heuristical considerations suggest that the mixed moment (1.9) should have a leading term of the order of \( T (\log T)^2 \) instead of \( T (\log T)^4 \) (see [33] for a discussion of this phenomenon in a more general context).
This is indeed the case as our next result confirms.
Theorem 1.3
Let \( \varepsilon > 0 \). Let \( \chi _1 \) mod \(q_1\) and \( \chi _2 \) mod \(q_2\) be two different primitive Dirichlet characters, and let
Then we have, for \( T \ge 1 \),
where \( P_{\chi _1, \chi _2} \) is a quadratic polynomial, whose coefficients depend only on \( \chi _1 \) and \(\chi _2\), and where the implicit constant depends only on \(\varepsilon \).
As before, the polynomial \( P_{\chi _1, \chi _2} \) appearing in the main term can be stated explicitly (see (5.12) and (5.13)). Its leading coefficient is given by
On a side note, this result also shows that for a given primitive, non-real Dirichlet character \(\chi \) there is no correlation between the functions \( L(1/2 + \mathrm {i}t, \chi ) \) and \( L(1/2 - \mathrm {i}t, \chi ) \).
The analogue of Theorem 1.3 for the smooth moment reads as follows.
Theorem 1.4
Let \( \varepsilon > 0 \). Let \( w : (0, \infty ) \rightarrow {\mathbb {C}}\) be a smooth and compactly supported function. Let \( \chi _1 \) mod \(q_1\) and \( \chi _2 \) mod \(q_2\) be two different primitive Dirichlet characters, and let \( q_1^\star \) and \( q_2^\star \) be defined as in (1.10). Then we have, for \( T \ge 1 \),
where \( P_{\chi _1, \chi _2} \) is the same polynomial as in (1.11), and where the implicit constant depends only on w and \(\varepsilon \).
A certain special case of Theorem 1.3 deserves its own mention. If K is a quadratic number field with discriminant D, then it is well-known that the Dedekind zeta function \( \zeta _K(s) \) associated to K has the form
where \(\chi _D\) is a certain real primitive Dirichlet character of modulus |D| . Hence, by applying Theorem 1.3 on this product of Dirichlet L-functions, we get the following asymptotic formula for the second moment of \( \zeta _K \) on the critical line.
Theorem 1.5
Let \( \varepsilon > 0 \). Let K be a quadratic number field with discriminant D. Then we have, for \( T \ge 1 \),
where \( P_K \) is a quadratic polynomial, whose coefficients depend only on the field K, and where the implicit constant depends only on \(\varepsilon \).
This improves on previous results by Motohashi [35], Hinz [21] and Müller [39]. With the current best value for \(\theta \), the asymptotic formula is non-trivial as long as \( |D| \ll T^{ 50/139 - \varepsilon } \). The leading constant of \( P_K \) is
We also want to formulate the analogue of Theorem 1.5 for the smooth moment.
Theorem 1.6
Let \( \varepsilon > 0 \). Let \( w : (0, \infty ) \rightarrow {\mathbb {C}}\) be a smooth and compactly supported function. Let K be a quadratic number field with discriminant D. Then we have, for \( T \ge 1 \),
where \( P_K \) is the same polynomial as in (1.12), and where the implicit constant depends only on w and \(\varepsilon \).
We did not attempt to establish explicit formulae of the type Motohashi established for \( \zeta (s) \), as this would have further complicated many of the already complicated estimations done in the proof. Nevertheless, it would certainly be interesting to develop such identites for the moments considered here, in particular for the fourth moment of Dirichlet L-functions. In fact, for the second moment of Dedekind zeta functions of quadratic number fields, an explicit formula has been worked out by Motohashi [36, 37] (see also [6, 8, 9] for other related results).
We now proceed to give an overview of the proof of our results, focusing here on Theorem 1.1. For the most part, we follow rather classical paths, taken in similar forms in many of the works cited above. By the use of a suitable approximate functional equation for the square \( L(s, \chi )^2 \), we express the quantity \( \left| L\left( 1/2 + \mathrm {i}t, \chi \right) \right| ^4 \) as a finite double Dirichlet series of roughly the form
where \( \tau (n) \) denotes the usual divisor function and where \( \alpha _\chi (s) \) is given by
Once this is established, we simply integrate term-wise over t. This operation has a localizing effect on the sum on the left, in the sense that only those terms remain where \(n_1\) and \(n_2\) are not too far apart, all other terms becoming negligibly small due to the oscillation in t. The sum on the right effectively disappears as a whole because of oscillatory effects coming from the two factors \( \alpha _\chi (1/2 + \mathrm {i}t) \) and \( (n_1 n_2)^{\mathrm {i}t} \).
Eventually, two different sums remain which we need to estimate. On the one hand, we have the contribution coming from the diagonal terms \( n_1 = n_2 \), which takes the shape
and which can be evaluated rather easily, giving rise to the first two leading terms in the final asymptotic formula (1.8). On the other hand, we have the contribution coming from the off-diagonal terms, which—ignoring here any remaining oscillatory factors—roughly look as follows,
It also contributes to the main term in the end, although only to the lower order terms. It is, however, considerably harder to analyze than (1.13), and its evaluation forms the actual core of the proof of Theorem 1.1.
After reordering the terms according to the value of \( h := n_2 - n_1 \), we arrive at the following type of sums,
where the parameter h can be as large as \( T^{1/3} \). This is an instance of the so-called shifted convolution problem, which comes up regularly in the study of the analytic behaviour of L-functions. Similar sums also appeared for instance in the works of Heath-Brown [18] and Young [47] cited above. In our case, it is the presence of the Dirichlet characters which complicates the analysis considerably, leading to several technical difficulties down the road, in particular with regard to the application of spectral methods.
The crucial point in the evaluation of (1.14) comes after a couple of initial transformations, when we encounter sums of Kloosterman sums of roughly the following form,
where m is an integer and where F(c) is some weight function. Ideally, at this point one would like to estimate the sum of Kloosterman sums over c via the Kuznetsov formula, while also exploiting the cancellation in the character sum over a. However, already the first task brings serious difficulties, as it is not clear in which form—if there is any—the Kuznetsov formula might be applicable here.
The route we take to solve this problem is to write the first Kloosterman sum in terms of Dirichlet characters as follows (assuming for simplicity that h and q are coprime),
where the sum runs over all Dirichlet characters mod q, and where \( G(\psi ) \) denotes the Gauß sum associated to \(\psi \). The idea underlying this approach goes initially back to Blomer and Milićević [7], and was used in similar forms also in other works (see [41, 45, 48]). It allows us to separate the two variables a and c in (1.15), while at the same time bringing the sum of Kloosterman sums into a form susceptible to the use of the Kuznetsov formula.
Of course taking this route comes with a cost: encoding the Kloosterman sum via Dirichlet characters introduces an additional factor of the size of \( q^{1/2} \), which we cannot get rid of afterwards and which inevitably turns up in the error term in Theorem 1.1.
We suspect that there should be a more direct way to employ the Kuznetsov formula on the sum (1.15), which avoids the rather artificial detour via (1.16) taken here. This might not only lead to an improvement of the error term in Theorem 1.1 in the q-aspect, but would also prove extremely useful when trying to establish an explicit formula of Motohashi type for the fourth moment of Dirichlet L-functions (see also the comments in [38, pp. 182–183] on this matter).
1.1 Plan
The article is organized as follows. In Sect. 2, we introduce the basic notation used throughout the article, and state some technical results related to Dirichlet L-functions. In Sect. 3, we briefly present the needed tools from the spectral theory of automorphic forms. In Sect. 4, we consider the shifted convolution problem lying at the heart of the proof of our results. Finally, in Sect. 5, we proof Theorems 1.1–1.6. The last two sections can be read independently of each other.
2 Background on Dirichlet L-functions
The aim of section is to introduce the basic notation used in the following, and state a couple of technical lemmas related to Dirichlet L-functions.
2.1 Notation
We will use the convention that \(\varepsilon \) denotes a positive real number which can be chosen arbitrarily small and whose value may change at each occurrence. We write \( A \asymp B \) to mean \( A \ll B \ll A \).
We denote the Gauß sum associated to the Dirichlet character \( \chi \) mod q by
where as usual \( e(\xi ) := \exp ( 2 \pi \mathrm {i}\xi ) \). We set \( G(\chi ) := G(\chi , 1) \). Other frequently occurring exponential sums are the Ramanujan sums and Kloosterman sums, for which we will use the notations
where \( {\overline{a}} \) indicates a solution to \( {\overline{a}} a \equiv 1 \bmod q \).
Let \( \chi _1 \) mod \(q_1\) and \( \chi _2 \) mod \(q_2\) be Dirichlet characters, which throughout the article will be assumed to be primitive. We denote the product of the two Dirichlet L-functions \( L(s, \chi _1) \) and \( L(s, \chi _2) \) by \( L_{\chi _1, \chi _2}(s) := L(s, \chi _1) L(s, \chi _2) \). For \( {\text {Re}}(s) > 1 \), this function can be written as a Dirichlet series,
Moreover, it satisfies the following functional equation (see e.g. [28, Theorem 4.15]),
with \( \alpha _{\chi _1, \chi _2}(s) \) given by
where we have set
2.2 Estimates for \( \alpha _{\chi _1, \chi _2}(s) \) and \( L_{\chi _1, \chi _2}(s) \)
We will need rather precise estimates for \( \alpha _{\chi _1, \chi _2}(s) \) on the critical line. By using a suitable approximation for the gamma function (see e.g. [1, Chapter 5, (38)]) we can write this quantity, for \( |t| \ge 1 \), as
where \( A : {\mathbb {R}}\rightarrow {\mathbb {C}}\) is a certain smooth function whose derivatives are bounded by
Note that we also have
In the critical strip, the following simple estimate will suffice,
Concerning \( L_{\chi _1, \chi _2}(s) \), we have the following hybrid upper bound, which is an immediate consequence of a result by Heath-Brown [19] and the convexity principle.
Theorem 2.1
Let \( \varepsilon > 0 \). We have, for \( \sigma \in [0, 1] \) and \( t \in {\mathbb {R}}\) with \( | \sigma + \mathrm {i}t - 1 | > \varepsilon \),
where the implicit constant depends only on \(\varepsilon \).
We will also need upper bounds for the first moment of \( L_{\chi _1, \chi _2}(s) \) in the critical strip. In this regard, the following result will be helpful.
Theorem 2.2
Let \( \varepsilon > 0 \). We have, for \( \sigma \in [0, 1] \) and \( q_1, q_2 \le T \),
where the implicit constant depends only on \(\varepsilon \).
Proof
For \( \sigma = 1/2 \), this is an immediate consequence of a result by Gallagher [16, (1\(_T\))]. His proof can easily be adapted to cover also the range \( \sigma > 1/2 \), and the result for \( \sigma < 1/2 \) then follows from the functional equation and (2.4). \(\square \)
2.3 Voronoi summation for \( \tau _{\chi _1, \chi _2}(n) \)
Here we want to develop a summation formula of Voronoi type for \( \tau _{\chi _1, \chi _2}(n) \).
Before stating the result we need to introduce some notation. Let a and \( c > 0 \) be coprime integers. We set
where \( [c, q_i] \) denotes the least common multiple of c and \(q_i\). We also define
Finally, we define \( \Pi _{\chi _1, \chi _2}( X; c, a ) \) to be the polynomial in X, which in the case \( \chi _1 = \chi _2 \) is given by
and which otherwise is equal to the constant
The Voronoi formula for \( \tau _{\chi _1, \chi _2}(n) \) now reads as follows.
Theorem 2.3
Let \( f : (0, \infty ) \rightarrow {\mathbb {C}}\) be a smooth and compactly supported function. Let a and \( c \ge 1 \) be coprime integers. Let \( \chi _1 \) mod \(q_1\) and \(\chi _2\) mod \(q_2\) be primitive Dirichlet characters. Then
Proof
The proof of this result follows standard paths (see e.g. [29, Chapter 1]), although a few additional technical difficulties arise from the fact that the parameters c, \(q_1\) and \(q_2\) may have possible common factors. To simplify the notation we set \( c_1 := [c, q_1] \) and \( c_2 := [c, q_2] \).
As the Hurwitz zeta function will occur frequently in what follows, we want to start by giving a brief overview of its most important properties (see [2, Chapter 12] and [15, Chapter 1.10] for proofs). Remember that the Hurwitz zeta function \( \zeta (s, \alpha ) \) is defined for \( {\text {Re}}(s) > 1 \) and \( \alpha \in (0, 1] \) as
In the first variable, it can be continued meromorphically to the whole complex plane with a simple pole at \( s = 1 \). Its Laurent series expansion around \( s = 1 \) has the form
where \( \psi \) denotes the digamma function. Furthermore, for an integer \( 1 \le b \le c \), it satisfies the following functional equation,
In order to the prove Theorem 2.3, we will work with the following two Dirichlet series,
A straightforward calculation shows that these two series can be expressed in terms of the Hurwitz zeta function as follows,
and
where we have set
Thus we see that both \( L_{\chi _1, \chi _2}(s; a/c) \) and \( {\hat{L}}_{\chi _1, \chi _2}(s; a/c) \) can be continued meromorphically to the whole complex plane with at most one possible pole at \( s = 1 \) of degree not larger than 2.
Our next aim is to deduce a functional equation for \( L_{\chi _1, \chi _2}(s; a/c) \). Starting from the representation (2.10) and then using (2.9) we get
At this point we observe that the following relations hold,
Using these, together with (2.11), we then arrive at the following identity,
with
We now turn to the actual proof of Theorem 2.3. Here we first express the sum on the left hand side in (2.7) via Mellin inversion as
where \({\hat{f}}\) denotes the Mellin transform of f. After moving the line of integration to \( {\text {Re}}(s) = -1 \), using the functional equation (2.12), and expanding the L-functions back into Dirichlet series, we arrive at
where
The integral \( I^\pm (n) \) can be evaluated by observing that the functions \( G^+(s) \) and \( G^-(s) \) are the Mellin transforms of certain Bessel functions (see [17, 17.43.16–18]). By the Mellin convolution theorem we thus have
with \( B_{\chi _1, \chi _2}^\pm (\xi ) \) as defined in (2.5) and (2.6).
It remains to evaluate the residue, which essentially amounts to determining the Laurent series expansion of \( L_{\chi _1, \chi _2}( s; a/c) \) around \( s = 1 \). To this end we first use (2.10) together with (2.8), and get
with
In the remaining part of the proof we will show that, if \( \chi _1 = \chi _2 \) then
and otherwise
Theorem 2.3 follows immediately from these identities.
For \( i = 1, 2 \), let
If we fix i and decompose c as
then we clearly have
Lemma 2.6 below shows that the sum over \( b_i^\circ \) is zero if \( \frac{ c^\circ }{ ( c^\circ , q_i ) } \not \mid h \), and otherwise is given by
Hence we see that \( \lambda _{\chi _i}^{ (3) }(h/c) \) vanishes unless \( q_i \mid c \) and \( \frac{c}{q_i} \mid h \), in which case we have
We first turn towards the evaluation of \( \lambda _{\chi _1, \chi _2}^{ (2) }(a/c) \). We have
It follows from what we have shown above that \( \lambda _{\chi _1, \chi _2}^{ (2) }(a/c) \) vanishes unless both \(q_1\) and \(q_2\) divide c, in which case we have
Clearly, for this expression to be non-zero we must have \( ( c, q_1 q_2 ) = q_2 \). By symmetry, we also must have \( (c, q_1 q_2) = q_1 \), and thus in fact \( q_1 = q_2 \). However, by orthogonality of Dirichlet characters, the sum over \(b_1\) can then only be non-zero if \( \chi _1 = \chi _2 \). In summary, we see that \( \lambda _{\chi _1, \chi _2}^{ (2) }(a/c) \) vanishes unless the conditions
are all met, in which case it is given by
The identities (2.13) and (2.15) now follow immediately from these considerations.
Next we consider \( \lambda _{\chi _1, \chi _2}^{ (1) }(a/c) \), which we write as
Using what we have shown above on \( \lambda _{\chi _i}^{ (3) }(h/c) \), this expression becomes
In order to evaluate the sum over \( b_1 \), we note that
as can be seen by writing \( L( s, \chi _1 \overline{\chi _2} ) \) in terms of the Hurwitz zeta function,
and then using (2.8). Hence, if \( \chi _1 = \chi _2 \),
while otherwise,
The sum over \(b_2\) can be evaluated analogously. After inserting the resulting expressions into (2.17), we eventually get (2.14) and (2.16). This concludes the proof of Theorem 2.3. \(\square \)
As an immediate corollary of Theorem 2.3, we can deduce a summation formula for \( \tau _{\chi _1, \chi _2}(n) \) in arithmetic progressions. If we set
then the result reads as follows.
Theorem 2.4
Let \( f : (0, \infty ) \rightarrow {\mathbb {C}}\) be a smooth and compactly supported function. Let h and \( c \ge 1 \) be integers. Let \( \chi _1 \) mod \(q_1\) and \(\chi _2\) mod \(q_2\) be primitive Dirichlet characters. Then
Proof
The formula follows by encoding the congruence condition via additive characters and then applying Theorem 2.3. \(\square \)
Concerning the Bessel function \( B_{\chi _1, \chi _2}^+(\xi ) \), we want to note the following technical lemma, which describes its behaviour for large \(\xi \) (see [44, Lemma 2.3]).
Lemma 2.5
If \( \xi \gg 1 \), then \( B_{\chi _1, \chi _2}^+(\xi ) \) can be expressed as
where \( W_{\chi _1, \chi _2} : (0, \infty ) \rightarrow {\mathbb {C}}\) is a certain smooth function whose derivatives satisfy the bounds
We finish this section with the following result on Gauß sums, which is a special case of [34, Lemma 5.4]. We already made use of it in the proof of Theorem 2.3, but it will also prove useful later when evaluating the sums \( T_{\chi _1, \chi _2}(n; c, h) \).
Lemma 2.6
Let \({\tilde{\chi }}\) mod \({\tilde{q}}\) be a Dirichlet character induced by the primitive character \( \chi \) mod q, and let a be an integer. Assume that \( {\tilde{q}} \mid q^\infty \). Then \( G({\tilde{\chi }}, a) \) vanishes unless \( {\tilde{q}} / q \) divides a, in which case we have
2.4 Approximate functional equations for \( L_{\chi _1, \chi _2}(s) \)
Last but not least we want to state the following smooth approximate functional equation for \( L_{\chi _1, \chi _2}(s) \) which generalizes [23, Theorem 4.2] to Dirichlet L-functions.
Theorem 2.7
Let \(\varepsilon > 0 \). Let \( V : (0, \infty ) \rightarrow [0, \infty ) \) be a smooth function satisfying
Let \( s = \sigma + \mathrm {i}t \in {\mathbb {C}}\) and \( x, y \ge 1 \) be such that \( 1/2 \le \sigma \le 1 \), \( q_1, q_2 \le t \) and \( 4 \pi ^2 xy = q_1 q_2 t^2 \). Then
where \( R_{\chi _1, \chi _2}(s; x, y) \) satisfies the following individual bound,
as well as, for \( T \gg \max \{ q_1, q_2 \} \), the following bound on average on the critical line,
The implicit constants depend at most on V and \(\varepsilon \).
Proof
In the special case \( q_1 = q_2 = 1 \), this result is proven in [23, Theorem 4.2]. The proof can be adapted to our situation without any difficulties via Theorems 2.1 and 2.2. \(\square \)
A similar approximate formula holds for the second sum on the right hand side in (2.18).
Theorem 2.8
Let \(\varepsilon > 0 \) and \( \rho > 1 \). Let \( V : (0, \infty ) \rightarrow [0, \infty ) \), \( s \in {\mathbb {C}}\) and \( x, y \ge 1 \) be as in Theorem 2.7. Then
where \( R_{\chi _1, \chi _2}'(s; x, y) \) satisfies the bounds (2.19) and (2.20).
Proof
As above, this formula can be proven by adapting the proof given in [23, Theorem 4.2]. \(\square \)
3 Background on automorphic forms
The aim of this section is to briefly present the tools coming from the spectral theory of automorphic forms needed in the treatment of the shifted convolution problem in Sect. 4. Apart from the well-known Kuznetsov formula, this in particular includes a certain variant of the large sieve inequalities for Fourier coefficients of automorphic forms.
For a general account of the theoretic background we refer to [14, 27]. In our specific situation we will however rely mainly on the results worked out in [13].
3.1 Fourier coefficients of automorphic forms
Let q and \(q_0\) be positive integers such that \( q_0 \mid q \). In the following, \( \psi \) will always denote a Dirichlet character mod \(q_0\). Let \( \kappa (\psi ) \) be defined as in (2.1). Furthermore, it will be convenient to set
Let \( \theta _k(q, \psi ) \) be the dimension of the space of holomorphic cusp forms of weight k with respect to \( \Gamma _0(q) \) and with nebentypus \(\psi \). Note that this space is empty unless \( k \equiv \kappa (\psi ) \bmod 2 \). Let \( f_{j, k}^\psi \), \( 1 \le j \le \theta _k(q, \psi ) \), be an orthonormal basis for this space. Given a singular cusp \( \mathfrak {a} \) with associated scaling matrix \( \sigma _\mathfrak {a} \), we write the Fourier expansion of \( f_{j, k}^\psi \) around \( \mathfrak {a} \) as
Next, let \( u_j^\psi \), \( j \ge 1 \), be an orthonormal basis of the space of Maaß cusp forms of weight \( \kappa (\psi ) \) with respect to \( \Gamma _0(q) \) and with nebentypus \( \psi \). We can assume that each \( u_j^\psi \) is either even or odd. We denote the corresponding spectral parameters by \( t_j^\psi \), and we write the Fourier expansion of \(u_j^\psi \) around a singular cusp \( \mathfrak {a} \) as
where \( W_s(\xi ) \) denotes the Whittaker function as defined in [27, (1.26)]. Note that we can choose the spectral parameters in such a way that either \( t_j^\psi \in [0, \infty ) \) or \( \mathrm {i}t_j^\psi \in [0, \infty ) \). The spectral parameters which satisfy the latter condition are called exceptional. It is widely believed that Maaß cusp forms with exceptional spectral parameter do not exist, although this has not been proven so far. Let \( \theta \in [0, \infty ) \) be such that \( \mathrm {i}t_j^\psi \le \theta \) for all exceptional \( t_j^\psi \), uniformly for all levels q and any nebentypus \(\psi \). By the work of Kim and Sarnak [30], we know that the value
is admissible.
Lastly, we write the Fourier expansion of the Eisenstein series \( E_\mathfrak {c}^\psi ( z; 1/2 + \mathrm {i}t ) \) of weight \( \kappa (\psi ) \) with respect to \( \Gamma _0(q) \) and with nebentypus \( \psi \), associated to the singular cusp \( \mathfrak {c} \), around a singular cusp \( \mathfrak {a} \) as
Note that the normalization of the Fourier coefficients used here differs from the one used in [13, 45], from where we will cite some results further below.
3.2 Bounds for Kloosterman sums
Let \( \mathfrak {a} \) and \( \mathfrak {b} \) be cusps of \( \Gamma _0(q) \) which are singular with respect to all characters \( \psi \) mod \( q_0 \), and let \( \sigma _\mathfrak {a} \) and \( \sigma _\mathfrak {b} \) be their associated scaling matrices. For \( m, n \in {\mathbb {Z}}\) and \( c \in (0, \infty ) \) the Kloosterman sum associated to \( \mathfrak {a} \) and \( \mathfrak {b} \) is defined as
where the sum runs over all d mod \( c {\mathbb {Z}}\) for which there exist a and b such that
Note that this definition depends on the particular choice of the associated scaling matrices. Furthermore, depending on the choice of c the sum may well be empty.
Of particular importance are the sums with \( \mathfrak {a} = \mathfrak {b} \), as they come up in the proof of the large sieve inequalities. In the following, we will focus on a particular set of cusps \( \mathfrak {a} \), namely
since they are easier to work with from a technical point of view, and since they cover all the cases we need. Note that all the cusps in \( \mathfrak {A} \) are singular with respect to all characters mod \( q_0 \).
As can be deduced from [13, Lemma 4.1], the sum \( S_{\mathfrak {a} \mathfrak {a}}^\psi (m, n; c) \) for \( \mathfrak {a} \in \mathfrak {A} \) is non-empty exactly when c is an integer divisible by q, in which case we have
where \( S_\psi (m, n; c) \) is the usual twisted Kloosterman sum,
Concerning upper bounds, we know by (3.1) and [31, Theorem 9.2] that
The factor \( {q_0}^{1/2} \) appearing on the right hand side is unfavorable, but in general cannot be omitted (see [31, Example 9.9]). However, it effectively disappears if we include a further averaging over all characters \(\psi \) mod \(q_0\).
Lemma 3.1
Let \( \varepsilon > 0 \). Let c and \(q_0\) be positive integers such that \( q_0 \mid c \), let \( m, n \in {\mathbb {Z}}\) and let \(\mathfrak {a} \in \mathfrak {A} \). Then
where the implicit constant depends only on \( \varepsilon \).
Proof
By (3.1) it is enough to consider the case of usual twisted Kloosterman sums. Moreover, by twisted multiplicativity of Kloosterman sums (see e.g. [31, Proposition 9.13]) it is enough to consider the case when c and \(q_0\) are powers of a prime p. Hence, let \( c = p^\ell \) and \( q_0 = p^{\ell _0} \) with \( \ell _0 \le \ell \), and let k be the largest integer such that \( p^k \mid (m, n) \).
If \( \ell _0 < \ell - k \), then by [31, Propositions 9.7 and 9.8] we have
and (3.2) follows immediately. If \( \ell _0 \ge \ell - k \), then we have by orthogonality of Dirichlet characters,
so that
and we see that (3.2) also holds in this case. \(\square \)
3.3 The Kuznetsov formula
Let \( f : (0, \infty ) \rightarrow {\mathbb {C}}\) be a smooth and compactly supported function. Given a Dirichlet character \( \psi \) mod \(q_0\), we define the following integral transforms of f,
Note that these integral transforms depend on the parity of the character \(\psi \), even though we do not indicate this in the notation.
The Kuznetsov formula then reads as follows (see [45, Theorem 2.3]).
Theorem 3.2
Let \( f : (0, \infty ) \rightarrow {\mathbb {C}} \) be a smooth and compactly supported function, let \( \mathfrak {a}, \mathfrak {b} \in \mathfrak {A} \), let \( \psi \) mod \(q_0\) be a Dirichlet character, and let m, n be positive integers. Then
and
where c runs over all positive real numbers for which \( S_{\mathfrak {a} \mathfrak {b}}^\psi (m, \pm n; c) \) is non-empty.
Assume that q is of the form \( q = rs \) for positive coprime integers r and s with \( q_0 \mid r \). If we consider the cusps \( \mathfrak {a} = \infty \) and \( \mathfrak {b} = 1/s \), together with associated scaling matrices
then the left hand sides of the two formulae in Theorem 3.2 Concerning equation (3.6):
It is in this specific form that we will use the Kuznetsov formula in Sect. 4.
3.4 Large sieve inequalities
The aim of this section is to deduce a variant of the large sieve inequalities for Fourier coefficients of automorphic forms adapted to our specific setting. We could in principle use [13, Proposition 4.7], however the factor \( {q_0}^{1/2} \) appearing there is disadvantageous in our situation. As we will show, this factor can be removed by averaging over all \( \psi \) mod \(q_0\).
Let \( \mathfrak {a} \in \mathfrak {A} \) and \( N \ge 1 \). For each \( \psi \) mod \(q_0\), let \( a_n^\psi \) be a sequence of complex numbers supported in \( N/2 < n \le N \), and set
Furthermore, let
Then the following variant of the large sieve inequalities holds.
Theorem 3.3
Let \( \varepsilon > 0 \). Let \( T, N \ge 1 \) and \( \mathfrak {a} \in \mathfrak {A} \). Let \( a_n^\psi \) be as described above. Then
where the implicit constants depend only on \( \varepsilon \).
Proof
The proof is in large parts identical to the proof of the original large sieve inequalities as given by Deshouillers and Iwaniec [12, Theorem 2], and its generalization to arbitrary nebentypus as worked out by Drappeau [13, Proposition 4.7]. We will therefore restrict ourselves to pointing out the main differences.
Let \( \kappa _0 \in \{ 0, 1 \} \), \( \vartheta \in (0, \infty ) \) and \( \lambda \in [0, \infty ) \), and set
Then we have the following bounds for this expression,
with all the implicit constants depending at most on \(\varepsilon \). Here the first bound (3.7) is a direct consequence of Lemma 3.1, while (3.8) and (3.9) are proven in [13, Lemma 4.6].
From this point on we can follow the proof of [13, Proposition 4.7], always taking into account the extra summation over \( \psi \). We leave the details to the reader. \(\square \)
When taking care of the exceptional eigenvalues, the following weighted large sieve inequality will be useful.
Theorem 3.4
Let \( \varepsilon > 0 \). Let \( 1 \le N \le q^2 \) and \( \mathfrak {a} \in \mathfrak {A} \). Let \( a_n^\psi \) be as described above. Then
where the implicit constant depends only on \( \varepsilon \).
Proof
This result is a direct consequence of the Cauchy–Schwarz inequality and the following estimate,
where \( \kappa _0 \in \{ 0, 1 \} \). It can be proven in the same way as [28, (16.58)] with the difference that in order to bound the Kloosterman sums, Lemma 3.1 has to be used instead of Weil’s bound. \(\square \)
4 A shifted convolution problem
In this section, we consider the shifted convolution problem which is at the heart of the proof of Theorems 1.1–1.6.
As usual, let \( \chi _1 \) mod \(q_1\) and \( \chi _2 \) mod \(q_2\) be primitive Dirichlet characters, and set \( q_1^*:= \left( q_1, {q_2}^\infty \right) \) and \( q_2^*:= \left( q_2, {q_1}^\infty \right) \). Furthermore, let \( \delta > 0 \) be a fixed constant, let \( \alpha , N, H \ge 1 \) be real numbers satisfying the condition
and let \( f : (0, \infty ) \times {\mathbb {R}}\rightarrow {\mathbb {C}}\) be a smooth weight function, compactly supported in either
and with derivatives satisfying the bounds
We are then interested in the following shifted convolution sum
and our aim will be to prove the following asymptotic formula.
Proposition 4.1
Let \( \delta , \varepsilon > 0 \). Let \( f, \alpha , N, H \) be as described above. Then
where \( Q_{\chi _1, \chi _2}(X_1, X_2; h) \) is a polynomial in \(X_1\) and \(X_2\) of degree at most 2 with coefficients depending only on \(\chi _1\), \(\chi _2\) and h. The implicit constant depends at most on \( \delta \), \( \varepsilon \) and the implicit constants in (4.2).
Remember that \(\theta \) denotes the bound in the Ramanujan-Petersson conjecture (see Sect. 3.1). Here we are only concerned with the evaluation of the sum over n, while we will take care of the remaining sum over h at a later stage. Nevertheless, the additional average over h will simplify some of the estimations in the proof.
The polynomial \( Q_{\chi _1, \chi _2}(X_1, X_2; h) \) can be stated in fairly explicit terms. Let
Then, if \( \chi _1 = \chi _2 \), it is the quadratic polynomial given by Concerning equation (4.4)
while if \( \chi _1 \ne \chi _2 \), it is simply a constant, namely, in the case \( q_1 = q_2 \),
and, in the case \( q_1 \ne q_2 \),
4.1 Initial transformations
Let \( u : (0, \infty ) \rightarrow [0, 1] \) be a smooth and compactly supported weight function which satisfies the conditions
We set
We start the proof of Proposition 4.1 by opening the divisor function \( \tau _{ \overline{\chi _1}, \overline{\chi _2} }(n) \) and localizing the two new variables in dyadic intervals via the smooth partition of unity defined above. This way our original sum \( D_{\chi _1, \chi _2}(f, \alpha ) \) is split up into the sums
with \(j_1\) and \(j_2\) ranging over \( 0 \le j_1, j_2 \ll \log N \). Note that \( D_{0, 0} \) is empty.
Since the expression (4.6) is symmetric in \(n_1\) and \(n_2\), we can assume without loss of generality that \( j_2 \ge 1 \). The variables \(n_1\) and \(n_2\) are then supported in the ranges
and we have \( N_1 \ll N^{1/2} \ll N_2 \).
In \( D_{j_1, j_2} \) we split the variable \(n_2\) into residue classes modulo \(q_2\), so that the sum becomes
with
At this point, we use Theorem 2.4 to evaluate the sum over m, and get
where \( \Sigma _{j_1, j_2}^0 \) takes the form
and where the other two sums are given by
with
As we will show in Sect. 4.5, the contribution coming from the terms \( \Sigma _{j_1, j_2}^0 \) together forms the main term in Proposition 4.1. We will however first focus on the other two sums \( \Sigma _{j_1, j_2}^\pm \). Once more it will be advantageous to localize the variable m in a dyadic interval, so instead of looking at these sums directly, we will consider
with the weight function u as defined in (4.5).
4.2 Evaluation of \( K_{\chi _1, \chi _2}^\pm (m, n, h, c) \)
Before going any further, we first need to evaluate the exponential sum (4.8) and express it in terms of Kloosterman sums. This will allow us afterwards to make use of the Kuznetsov formula.
We decompose the moduli \(q_1\) and \(q_2\) as follows,
and accordingly write the Dirichlet characters \( \chi _1 \) and \( \chi _2 \) as
Note that the characters \( \chi _1^*\), \( \chi _1^\circ \), \( \chi _2^*\) and \( \chi _2^\circ \) are all primitive. We also set
Furthermore, we define the quantity
as well as the exponential sum
where \(\psi \) is a Dirichlet character mod \( q_2^*/ h^*\).
With the necessary notation set up, we can now state the main result of this section.
Lemma 4.2
The sum \( K_{ \chi _1, \chi _2 }^\pm (m, n, h, c) \) vanishes unless \( (c, q_1 q_2) = q_2 \), in which case we have
where \( \psi \) runs over all Dirichlet characters mod \( q_2^*/ h^*\).
Proof
Remember that \( (n, q_1) = 1 \). Since \( c \mid n q_2 \), the sum over \( a_2 \) in (4.8) is simply a Gauß sum mod \(q_2\), which can be evaluated directly. Hence \( K_{ \chi _1, \chi _2 }^\pm (m, n, h, c) \) becomes
with
In particular, we see that the sum vanishes unless \( q_2 \) divides c. Moreover, we have the condition \( \left( c / q_2, q_1 \right) = 1 \).
In view of this, we write the variable c as
Note that with these definitions we have \( (c_0, q_1 q_2) = (c_2, q_1) = 1 \). We write the variables a, \(b_1\) and \(b_2\) inside (4.10) accordingly as
so that \( {\tilde{K}}_{\chi _1, \chi _2}(m_1, m_2, f, c) \) takes the form
with
In \( {\tilde{K}}_{\chi _1, \chi _2}^{ (1) } \), we evaluate the sum over \( d_2 \) and the whole expression immediately simplifies to
In \( {\tilde{K}}_{\chi _1, \chi _2}^{ (2) } \), we evaluate the sum over \( u_2 \) via Lemma 2.6 and get
Here we write the variables \(a_2\) and \(u_1\) as
with
so that
with
In the first sum \( {\tilde{K}}_{\chi _1, \chi _2}^{ (2 \text{ a}) } \), we make the substitution \( u^\circ \mapsto \overline{ a^\circ } ( u^\circ - m_2 ) \), which leads to
In order to evaluate the second sum \( {\tilde{K}}_{\chi _1, \chi _2}^{ (2 \text{ b}) } \), we factorize f as follows,
and then express the first exponential in terms of Dirichlet characters mod \( q_2^*/ f^*\),
This way we get Concerning equation (4.15):
with
Eventually, the lemma follows from (4.9)–(4.15). \(\square \)
We conclude the section with the following bound for \( E_{\chi _1, \chi _2}(m; \psi ) \).
Lemma 4.3
We have
Proof
This is a direct consequence of the fact that
as can be seen from [34, Lemma 5.4], and the bound
proven in [40, Theorem 2.2]. \(\square \)
4.3 Technical preparations
Now that we have expressed the sum \( \Sigma _{j_1, j_2}^\pm (M) \) as a sum of Kloosterman sums, the next step would be to apply the Kuznetsov formula. However, before we can do so, some technical preparations need to be done first.
Let \( \iota _0 := 1 \) or \( \iota _0 := -1 \) depending on whether h is supported on the positive or negative real numbers. Using Lemma 4.2 we write the sum \( \Sigma _{j_1, j_2}^\pm (M) \) as
where
with
and
We also set
and
With this notation, the sums over h, m and c are supported in the intervals
while the variables \(\xi \) and \(\eta \) are of the size
provided that N is sufficiently large. Also, note that the summation variable \(n_0\) is bounded by \( n_0 \ll N_1 \), and that \( C \ll N^{1/2} \).
We next want to show that the sums \( \Sigma _{j_1, j_2}^\pm (M) \) become negligibly small when M is in certain ranges. Let \( \varepsilon _0 > 0 \) be an arbitrarily small but fixed constant, and set
If M satisfies the bound \( M > M_0^- \), which is equivalent to saying that \( Z > N^{\varepsilon _0 / 2} \), then by well-known properties of the \(K_0\)-Bessel function (see e.g. [27, (B.36)]), we have
Hence the contribution coming from the sums \( \Sigma _{j_1, j_2}^-(M) \) for such large M is negligible. By consequence, when looking at \( \Sigma _{j_1, j_2}^-(M) \) we can safely assume that \( M \ll M_0^- \).
Similarly, if \( M > M_0^- \), then we can express \( F_{h, m}^+(\eta ) \) by Lemma 2.5 as
If we now make the additional assumption that
then
so that by integrating by parts over \(\xi \) repeatedly it follows that, for any \( \nu \),
Hence we see that the contribution coming from those sums \( \Sigma _{j_1, j_2}^+(M) \) where M satisfies both \( M > M_0^- \) and (4.16) is negligible. When looking at \( \Sigma _{j_1, j_2}^+(M) \) we can therefore assume that M is either bounded by \( M \ll M_0^- \), or that it satisfies the two conditions \( M \gg M_0^- \) and \( Y \asymp \alpha X^{-3} \). Note that the latter condition \( Y \asymp \alpha X^{-3} \) is equivalent to saying that \( M \asymp M_0^+ \).
Due to technical reasons it is necessary to separate the variables h and m via Fourier inversion. To this end, we define
with
so that
Last but not least, we need estimates for the integral transforms of \( G_{\rho , \lambda }^\pm \) as defined in (3.3)–(3.5). Note that in our case it suffices to consider the integral transforms associated to even characters.
We start with the case \( M \le M_0^- \).
Lemma 4.4
Assume that \( M \le M_0^- \). Then we have, for any \( \nu \ge 0 \),
Proof
It is clearly sufficient to look directly at the function \( F_{h, m}^\pm (\eta ) \) and its first two partial derivatives in h and m. Noting that \( Y \ll 1 \), and that
we apply [5, Lemma 2.1] on \( F_{h, m}^\pm (\eta ) \) and its partial derivatives in h and m, and (4.17) and (4.18) eventually follow. \(\square \)
Next, we consider the case \( M > M_0^- \), which requires a more delicate analysis. As argued above, this only involves the function \( F_{h, m}^+(\eta ) \), and we can assume that \( M \asymp M_0^+ \). Remember that now we also have \( Z > N^{\varepsilon _0 / 2} \).
Lemma 4.5
Assume that \( M > M_0^- \) and \( M \asymp M_0^+ \). Then we have, for any \( \nu \ge 0 \),
Proof
As before, it is enough to consider the function \( F_{h, m}^+(\eta ) \) and its first two partial derivatives in h and m. We will restrict our attention here to \( F_{h, m}^+(\eta ) \) itself, since the analogous bounds for its derivatives can be derived similarly. Moreover, we will make the additional assumption \( \iota _0 = -1 \), since the other case \( \iota _0 = 1 \) can be treated almost identically.
We start by using Lemma 2.5 to write \( F_{h, m}^+(\eta ) \) as
where \( V_\xi ^+(\eta ) \) and \( V_\xi ^-(\eta ) \) are given by
Note that
Furthermore, the assumption (4.1) ensures that \( Y \ll N^{-\varepsilon } \). Hence we can apply [44, Lemma 2.6] on the function \( V_\xi ^\pm (\eta ) e( \pm (2\pi )^{-1} \xi \eta ) \), and get
This proves the first bound (4.19), but also the second bound (4.20) in the range \( t \gg N^\varepsilon Z \).
It thus remains to estimate the integral transforms of \( \Phi ^\pm (\eta ) \) for \( t \ll N^\varepsilon Z \). In \( \Phi ^+(\eta ) \), we integrate by parts over \(\xi \) once and then apply one more time [44, Lemma 2.6]. This gives
which is sufficiently small. Unfortunately, we cannot repeat this procedure to get bounds for the integral transforms of \( \Phi ^-(\eta ) \), since the argument of the exponential in \( \Phi ^-(\eta ) \) may vanish. Instead, we will estimate the integral transforms manually via a stationary phase argument, and show that
We begin with \( {\tilde{\Phi }}^-(t) \). It will be convenient to have a smooth bump function of a certain shape at hand. To this end, we let \( v_0 : {\mathbb {R}}\rightarrow [0, 1] \) be a smooth and compactly supported function such that
and furthermore define \( v_1(\xi ) := 1 - v_0(\xi ) \).
Assume first that \( t \ll N^\varepsilon \). Using [17, 8.411.11], we write \( {\tilde{\Phi }}^-(t) = I^+ + I^- \) with
Integrating by parts over \(\eta \) repeatedly shows that the integral \( I^- \) is arbitrarily small. We split the other integral into two parts \( I^+ = I_0^+ + I_1^+ \) with
In \( I_1^+ \), we integrate by parts over \( \eta \) repeatedly to see that its size is negligible. In \( I_0^+ \), we observe that \( \zeta \asymp X \) and integrate by parts over \( \zeta \) repeatedly to see that this integral is also negligibly small. Hence (4.22) is certainly true.
Now assume \( N^\varepsilon \ll t \ll N^\varepsilon Z \). Since \( Y \ll N^{-\varepsilon } \), we can use [27, (B.28)] to express the Bessel function \( J_{2\mathrm {i}t}(\eta ) \) inside the integral transform (3.3) as
where \( W_t(\eta ) \) is a certain complex-valued function which, uniformly in t, satisfies the bounds
It follows that
with
Integrating by parts over \( \eta \) repeatedly shows that \( L^- \) is negligibly small. By the same reasoning we see that \( L^+ \) too is negligible, unless t is of the size \( t \asymp Z \) which we will henceforth assume.
We split the double integral \( L^+ \) via the weight functions \(v_0\) and \(v_1\) defined above into four parts \( L^+ = L_{0, 0}^+ + L_{1, 0}^+ + L_{0, 1}^+ + L_{1, 1}^+ \), where
with
Integration by parts, either over \(\xi \) or over \(\eta \), shows once more that \( L_{1, 0}^+ \), \( L_{0, 1}^+ \) and \( L_{1, 1}^+ \) are all of negligible size, so that we can focus on the remaining integral \( L_{0, 0}^+ \) .
Here we make the substitution
where we have set \( \alpha _0 := (2\pi \alpha )^{1/2} t^{-1/2} \). Note that \( \alpha _0 \asymp X \) and \( (\alpha _0 + \zeta _1) \asymp X \). This gives
As we will show below, the two integration variables \(\zeta _1\) and \(\zeta _2\) are both supported in \( \zeta _1, \zeta _2 \ll N^\varepsilon (X/Y)^{1/2} \). As a consequence, it follows that \( L_{0, 0}^+ \ll N^\varepsilon F_0 Z^{-3/2} \), which in turn directly leads to (4.22).
Concerning \( A_1( \psi (\zeta _1, \zeta _2) ) \), we have
which immediately confirms that the variable \( \zeta _2 \) is bounded by \( N^\varepsilon (X/Y)^{1/2} \). Concerning \( A_2( \psi (\zeta _1, \zeta _2) ) \), a quick calculation shows that
Since the second summand on the right hand side is bounded by \( N^\varepsilon (Y/X)^{1/2} \), we see that for the expression \( A_2( \psi (\zeta _1, \zeta _2) ) \) to be bounded by \( N^\varepsilon (Y/X)^{1/2} \), we must have
which is possible only if \( \zeta _1 \ll N^\varepsilon (X/Y)^{1/2} \).
The integral transform \( {\check{\Phi }}^-(t) \) can be treated similarly by using suitable integral representations for the Bessel function \( K_{2\mathrm {i}t}(\eta ) \), for example [17, 8.432.4] and [27, (B.32) and (B.34)]. Finally, in order to bound the integral transform \( {\dot{\Phi }}^-(t) \), we express the Bessel function \( J_{k - 1}(\eta ) \) via the integral representation [17, 8.411.1] and then integrate by parts repeatedly over \( \eta \), which already gives the desired bound. This finishes the proof of Lemma 4.5. \(\square \)
4.4 Use of the Kuznetsov formula
We are finally ready to apply the Kuznetsov formula on the sums \( \Xi _{j_1, j_2}^\pm (M) \). Specifically, we will use Theorem 3.2 in the form (3.6) with parameters
We will give the details only for \( \Xi _{j_1, j_2}^+(M) \) and assume that \( \iota _0 = -1 \), since the other sums and cases can all be treated in the same manner.
Using the Kuznetsov formula as described above leads to
where \(\Xi _1\), \(\Xi _2\) and \( \Xi _3 \) are given by
with
and
We first consider the case \( M \ll M_0^- \). We split the sum \( \Xi _1 \) into three parts,
By Lemma 4.4 it is clear that the contribution coming from \( \Xi _{1 \text{ b }} \) is negligible. Concerning \( \Xi _{1 \text{ a }} \), we make use of the bound (4.18) and apply Cauchy–Schwarz, so that
Applying Theorem 3.3 on the sums inside the two factors then leads to
Note that we have made here implicitly use of the fact that, for a given Dirichlet character \( {\tilde{\psi }} \) mod \(h^*\), there are at most \( {h^*}^\varepsilon \) many Dirichlet characteres \( \psi \) mod \(h^*\) such that \( \psi ^2 = {\tilde{\psi }} \).
For \( \Xi _{1 \text{ c }} \) the same approach leads, for \( H \gg h^*q_2^*[q_1, q_2]^2 \), to
For \( H \ll h^*q_2^*[q_1, q_2]^2 \) we make use of Theorem 3.4 instead of Theorem 3.3 to estimate the sum over h, which gives
The two other sums \( \Xi _2 \) and \( \Xi _3 \) can be estimated similarly, except that there are no exceptional eigenvalues to be taken care of. The upper bound we get for these two sums is the same as the one for \( \Xi _{1 \text{ a }} \).
Next we look at the case where \( M \gg M_0^- \) and \( M \asymp M_0^+ \). As before we split the sum \( \Xi _1 \) into three parts,
By Lemma 4.5 we see that the contribution coming from both the terms \( \Xi _{1 \text{ b }} \) and \( \Xi _{1 \text{ c }} \) is negligible. For \( \Xi _{1 \text{ a }} \) we get in the same way as above, using (4.20), Cauchy–Schwarz and Theorem 3.3,
The same bound also holds for \( \Xi _2 \) and \( \Xi _3 \), as can be deduced analogously.
Putting everything together we arrive at
This eventually leads to the error term stated in Proposition 4.1
4.5 The main term
It remains to evaluate the main term, which is formed by summing over all the terms (4.7), and which takes the following form,
with
In the case \( \chi _1 = \chi _2 \), the expression \( A_i(c) \) simplifies to
while \( B_i(c) \) can be evaluated via a standard counter integration argument, leading to
Put together this immediately leads to the expression stated in (4.4). The other case \( \chi _1 \ne \chi _2 \) can be handled similarly.
5 Proof of Theorems 1.1–1.6
In this section, we want to prove our main results, Theorems 1.1–1.6. The general outline of the proof follows the approach described in [23, Chapter 4].
As before we assume \( \chi _1 \) mod \(q_1\) and \( \chi _2 \) mod \(q_2\) to be primitive Dirichlet characters. Let
Instead of looking directly at (1.7) and (1.9), it will be advantageous to look at their smooth analogues. Hence, let \( \delta > 0 \) be a fixed constant, let \( T_0 \) and \( \Omega \) be positive real numbers such that
and let \( w : (0, \infty ) \rightarrow [0, \infty ) \) be a smooth weight function, which is compactly supported in
and whose derivatives satisfy the bounds
and
Our principal object of study will then be the smoothed moment
Compared with the original expressions (1.7) and (1.9), we use a different normalization in t here, as this will lead to simpler formulae during the proof.
Our aim is to prove the following asymptotic formula.
Proposition 5.1
Let \( \delta , \varepsilon > 0 \). Then
where \( P_{\chi _1, \chi _2} \) is a polynomial of degree at most 4 whose coefficients depend only on \(\chi _1\) and \(\chi _2\), where \( E_{\chi _1, \chi _2}( T_0, \Omega ) \) is the quantity defined as
and where the error depends only on \(\delta \), \( \varepsilon \) and the implicit constants in (5.1) and (5.2).
The polynomial \( P_{\chi _1, \chi _2} \) which appears in the main term is the same polynomial as in Theorems 1.1–1.6 (we set \( P_\chi := P_{\chi , \chi } \)). We will evaluate it explicitly at the end in Sect. 5.5.
Applying Proposition 5.1 with \( T_0 = (2\pi )^{-1} q_0 T \) and \( \Omega = 1 \) immediately gives Theorems 1.2, 1.4 and 1.6. In order to prove the other results, we again set \( T_0 = (2\pi )^{-1} q_0 T \), and then choose two smooth and compactly supported weight functions \( w^-, w^+ : (0, \infty ) \rightarrow [0, 1] \), such that the first satisfies
and such that the second satisfies
Then
so that after applying Proposition 5.1 on both sides, we arrive at the following asymptotic formula,
Now Theorems 1.1, 1.3 and 1.5 follow with the choice
5.1 An approximative formula for \( | L_{\chi _1, \chi _2}(s) |^2 \)
As a first step towards the proof of Proposition 5.1, we will develop here an approximative formula for \( | L_{\chi _1, \chi _2}(s) |^2 \) on the critical line.
In order to state the exact result, we first choose a smooth weight function \( V : (0, \infty ) \rightarrow [0, 1] \) which satisfies the conditions
Then the formula reads as follows.
Proposition 5.2
Let \( \delta , \varepsilon > 0 \) and \( \rho > 1 \). Then we have, for \( t^{1 - \delta } \gg q_0 \max \{ q_1, q_2 \} \),
where \( \Sigma _{\chi _1, \chi _2}^{ (1) }(t) \) and \( \Sigma _{\chi _1, \chi _2}^{ (2) }(t) \) are given by
with the weight functions \( W_{1, \rho } \) and \( W_{2, \rho } \) defined as
and where \( R_{\chi _1, \chi _2}(t) \) is bounded by
for \( {T_0}^{1 - \delta } \gg q_0 \max \{ q_1, q_2 \} \). The implicit constants depend at most on V, \(\rho \), \(\delta \) and \( \varepsilon \).
Proof
Proposition 5.2 is essentially a direct consequence of the approximate functional equations stated in Sect. 2.4.
We open the square and apply Theorem 2.7 twice with \( \sigma = 1/2 \) and \( x = y = t \). After taking account of (2.3), this gives
with
and
Next, we use Theorem 2.8 with \( \sigma = 1/2 \) and \( x = y = t \) to express \( \Sigma _2(t) \) as
with
and
The terms \( \Sigma _1(t) \), \( \Sigma _2'(t) \) and \( \Sigma _2''(t) \) together form the two main terms in (5.5). Furthermore, it follows immediately from the bounds (2.19) and (2.20) that
for \( {T_0}^{1 - \delta } \gg q_0 \max \{ q_1, q_2 \} \). In order to estimate the other error terms we first note that
as can be shown by a standard counter integration argument using Theorem 2.1. Together with the bound (2.19), we thus get, for \( i = 1, 2, 4 \),
for \( {T_0}^{1 - \delta } \gg q_0 \max \{ q_1, q_2 \} \). This finishes the proof of Proposition 5.2. \(\square \)
5.2 A preliminary formula for \( I_{\chi _1, \chi _2}(w) \)
Next, we will use Proposition 5.2 to prove a preliminary formula for \( I_{\chi _1, \chi _2}(w) \) which reduces its estimation to the estimation of certain divisor sums.
Before stating the result, it is again necessary to fix a smooth weight functions of a certain shape. Let \( U : {\mathbb {R}}\rightarrow [0, \infty ) \) be a smooth and compactly supported function such that
and such that its derivatives satisfy
Then we have the following formula for \( I_{\chi _1, \chi _2}(w) \).
Proposition 5.3
Let \( \delta , \varepsilon > 0 \). Then we have
where
The implicit constant depends at most on V, \(\delta \), \(\varepsilon \) and the implicit constants in (5.1), (5.2) and (5.6).
Proof
We apply Proposition 5.2 with \( \rho = 8 \) on the integrand in \( I_{\chi _1, \chi _2}(w) \) and then integrate over t. This leads to
with
We split the sum \( J_1 \) into three parts as follows,
As we will see, the contribution coming from the sums \( J_{1 \text{ c }} \) and \( J_2 \) is neglible, while both \( J_{1 \text{ a }} \) and \( J_{1 \text{ b }} \) contribute to the main term.
We start with \( J_{1 \text{ c }} \). In this sum we have, by definition of U,
and by integrating by parts over t repeatedly, we see that the integral in \( J_{1 \text{ c }} \) gets arbitrarily small. Hence the contribution of \( J_{1 \text{ c }} \) is indeed negligible.
Next, we consider \( J_2 \). Using the approximation (2.2), we can write the integral in \(J_2\) as
with
The function \( W_{2, 8}(t) \) vanishes unless both the conditions
are met, which means that
This leads to the following lower bound for \( F_1'(t) \),
and integrating by parts repeatedly shows that the integral gets arbitrarily small. We thus see that the contribution of \( J_2 \) too is neglible.
Finally we turn towards the two remaining terms \( J_{1 \text{ a }} \) and \( J_{1 \text{ b }} \). In both these terms, it is certainly true that \( 2 n_1 \ge n_2 \), at least for \(T_0\) sufficiently large. Since the integrand vanishes unless \( n_1 \le 2t \), this implies that \( n_2 \le 4t \). By consequence, the weight function \( W_{1, 8} \) simplifies to
This finishes the proof of Proposition 5.3. \(\square \)
In order to prove Proposition 5.1, it thus remains to evaluate the two sums inside \( M_{\chi _1, \chi _2}^{ (1) }(w) \) and \( M_{\chi _1, \chi _2}^{ (2) }(w) \). The evaluation of the former is fairly easy and will be done in Sect. 5.3, where we will prove the following asymptotic formula.
Proposition 5.4
Let \( \varepsilon > 0 \). Then
where \( P_{\chi _1, \chi _2}^{ (1) } \) is a polynomial of degree less or equal to 4 whose coefficients depend only on \( \chi _1 \), \( \chi _2 \) and V. The implicit constant depends at most on V, \(\varepsilon \) and the implicit constants in (5.1) and (5.2).
The evaluation of the other sum is far more difficult, and it is here that the shifted convolution problem considered in Sect. 4 comes up. The final result, proven in Sect. 5.4, is as follows.
Proposition 5.5
Let \( \varepsilon > 0 \). Then
where \( P_{\chi _1, \chi _2}^{ (2) } \) is a polynomial of degree less or equal to 2 whose coefficients depend only on \( \chi _1 \), \( \chi _2 \) and V, and where \( E_{\chi _1, \chi _2}( T_0, \Omega ) \) is the quantity defined in (5.3). The implicit constant depends at most on V, \(\varepsilon \) and the implicit constants in (5.1), (5.2) and (5.6).
These two results, applied on the preliminary asymptotic estimate stated in Proposition 5.3, eventually give Proposition 5.1. The polynomials, which appear in (5.7) and (5.8), both depend on the specific choice of the weight function V. However, as one would expect, all the terms containing V cancel out at the end, and the polynomial \( P_{\chi _1, \chi _2} \) appearing in the main term in Proposition 5.1 is of course independent of V. We will show this also explicitly in Sect. 5.5, where we will evaluate \( P_{\chi _1, \chi _2} \) and express it as a residue.
5.3 Evaluation of \( M_{\chi _1, \chi _2}^{ (1) }(w) \)
In order to prove Proposition 5.4, we only need to evaluate the sum over n inside \( M_{\chi _1, \chi _2}^{ (1) }(w) \), which we can do by a standard contour integration argument.
An elementary calculation shows that, for \( {\text {Re}}(z) > 0 \),
with \( \psi _z(q) \) as defined in (4.3). By Mellin inversion we thus have
After moving the line of integration to \( {\text {Re}}(z) = -1/2 + \varepsilon \) and using the following bound, valid in the critical strip,
we get
where \( P_{\chi _1, \chi _2}^{ (1) } \) is the polynomial defined by
This proves Proposition 5.4.
5.4 Evaluation of \( M_{\chi _1, \chi _2}^{ (2) }(w) \)
We start by introducing a new variable \( h := n_2 - n_1 \) and splitting the ranges of h and \( n_1 \) into dyadic intervals via the dyadic partition of unity defined in (4.5). This way \( M_{\chi _1, \chi _2}^{ (2) }(w) \) is split up into sums of the form
with
Integrating by parts over t repeatedly shows that \( D^\pm (N, H) \) becomes negligibly small unless
Similarly, we can assume that \( {T_0}^\frac{1}{2} \ll N \ll T_0 \), since otherwise \( D^\pm (N, H) \) is either empty or can be included in the error term in (5.8).
Next, we write the oscillating factor in the integral over t as
with
and then integrate by parts over t, so that
where \( D_{i, t}^\pm (N, H) \) is given by
with
Here we use Proposition 4.1 with \( \alpha = t / q_0 \) to evaluate the two sums \( D_{1, t}^\pm (N, H) \) and \( D_{2, t}^\pm (N, H) \). After reversing the integration by parts in the appearing main term, we get
where \( E_{\chi _1, \chi _2}( T_0, \Omega ) \) is as defined in (5.3), and where
Integration by parts over \(\xi \) shows that \( M_t^\pm (N, H) \) becomes negligibly small if \( H \gg q_0 N^{1 + \varepsilon } {T_0}^{-1} \), while for \( H \ll q_0 N^{1 + \varepsilon } {T_0}^{-1} \) it simplifies to
Finally, we sum over all \( H \ll q_0 N^{1 + \varepsilon } {T_0}^{-1} \) and \( {T_0}^\frac{1}{2} \ll N \ll T_0 \), and then complete the sum over h and the integral over \(\xi \) trivially. This gives
with Concerning equation (5.10):
which is what we wanted to show.
5.5 The main term
Here we want to evaluate the polynomial \( P_{\chi _1, \chi _2} \) which appears in Proposition 5.1 and which is given by
where \( P_{\chi _1, \chi _2}^{ (1) } \) and \( P_{\chi _1, \chi _2}^{ (2) } \) are the polynomials coming up in Propositions 5.4 and 5.5. Our treatment follows closely the path set out by Conrey [11].
We will focus on the case \( \chi _1 = \chi _2 \). Since the Laurent series expansion of \( {\hat{V}}(z) \) around \( z = 0 \) is given by
we immediately see by (5.9) that
with \( Z_q(z) \) and \( \psi _z(q) \) as defined in (4.3).
The evaluation of the other polynomial \( P_{\chi _1, \chi _1}^{ (2) } \) proves more difficult. By (5.10) we can write it as
with
and
Note that the expression A(z) converges in a neighbourhood of \( z = 0 \), and thus defines a holomorphic function in this region. A simple calculation then shows that
In order to evaluate \( P_{\chi _1, \chi _1}^{ (2) } \), we therefore need to determine the first three terms in the Taylor expansion of A(z) around \( z = 0 \).
In order to avoid unnecessary convergence issues, we will assume in the following transformations that \( z > 0 \) . Using
we can write A(z) as
Since the sum over \( h_2 \) is boundedly convergent (see [26, p. 4]), we can exchange summation and integration. By [26, (1.5)] we then get
where \( [\xi ] \) denotes the integer part of \(\xi \). The integral over \( \xi \) can now be evaluated via the Euler–Maclaurin summation formula, which gives
By (5.4) the double sum on the last line becomes
Hence
which eventually leads to the following expression for \( P_{\chi _1, \chi _1}^{ (2) } \),
All in all, we end up with
Remember that \( \psi _z(q) \) was defined in (4.3). The cases where \( \chi _1 \ne \chi _2 \) can be evaluated in the same manner. If \( \chi _1 \ne \chi _2\) but \( q_1 = q_2 \), we get
while if \( q_1 \ne q_2 \), we get
Note that the second term on the right hand side in (5.12) disappears if \(\chi _1\) and \(\chi _2\) do not have the same parity.
References
Ahlfors, L.V.: Complex Analysis. An Introduction to the Theory of Analytic Functions of One Complex Variable, 3rd edn. McGraw-Hill, New York (1979)
Apostol, T.M.: Introduction to Analytic Number Theory. Undergraduate Texts in Mathematics. Springer, New York (1976)
Blomer, V., Fouvry, É., Kowalski, E., Michel, Ph., Milićević, D.: On moments of twisted \(L\)-functions. Am. J. Math. 139(3), 707–768 (2017)
Blomer, V., Fouvry, É., Kowalski, E., Michel, Ph., Milićević, D.: Some applications of smooth bilinear forms with Kloosterman sums. Tr. Mat. Inst. Steklova 296, 24–35 (2017). [Russian]. English transl.: Proc. Steklov Inst. Math. 296, no. 1, 18–29 (2017)
Blomer, V., Harcos, G., Michel, Ph.: A Burgess-like subconvex bound for twisted \(L\)-functions. With Appendix 2 by Z. Mao. Forum Math. 19(1), 61–105 (2007)
Blomer, V., Humphries, P., Khan, R., Milinovich, M.B.: Motohashi’s fourth moment identity for non-archimedean test functions and applications. Compos. Math. 156(5), 1004–1038 (2020)
Blomer, V., Milićević, D.: Kloosterman sums in residue classes. J. Eur. Math. Soc. 17(1), 51–69 (2015)
Bruggeman, R.W., Motohashi, Y.: Fourth power moment of Dedekind zeta-functions of real quadratic number fields with class number one. Funct. Approx. Comment. Math. 29, 41–79 (2001)
Bruggeman, R.W., Motohashi, Y.: Sum formula for Kloosterman sums and fourth moment of the Dedekind zeta-function over the Gaussian number field. Funct. Approx. Comment. Math. 31, 23–92 (2003)
Bui, H.M., Heath-Brown, D.R.: A note on the fourth moment of Dirichlet \(L\)-functions. Acta Arith. 141(4), 335–344 (2010)
Conrey, J.B.: A note on the fourth power moment of the Riemann zeta-function. In: Analytic Number Theory: Proceedings of a Conference in Honor of Heini Halberstam, vol. 1, pp. 225–230, Progr. Math. 138, Birkhäuser Boston, Boston, MA (1996)
Deshouillers, J.-M., Iwaniec, H.: Kloosterman sums and Fourier coefficients of cusp forms. Invent. Math. 70(2), 219–288 (1982)
Drappeau, S.: Sums of Kloosterman sums in arithmetic progressions, and the error term in the dispersion method. Proc. Lond. Math. Soc (3) 114(4), 684–732 (2017)
Duke, W., Friedlander, J.B., Iwaniec, H.: The subconvexity problem for Artin \(L\)-functions. Invent. Math. 149(3), 489–577 (2002)
Erdélyi, A., Magnus, W., Oberhettinger, F., Tricomi, F.G.: Higher Transcendental Functions, vol. I. McGraw-Hill, New York (1953)
Gallagher, P.X.: Local mean value and density estimates for Dirichlet \(L\)-functions. Nederl. Akad. Wetensch. Proc. Ser. A 78(3), 259–264 (1975)
Gradshteyn, I.S., Ryzhik, I.M.: Table of Integrals, Series, and Products. Translated from Russian. Translation edited and with a preface by A. Jeffrey and D. Zwillinger., 7th edn. Academic Press, Amsterdam (2007)
Heath-Brown, D.R.: The fourth moment of the Riemann zeta function. Proc. Lond. Math. Soc. (3) 38(3), 385–422 (1979)
Heath-Brown, D.R.: Hybrid bounds for Dirichlet \(L\)-functions II. Quart. J. Math. Oxford Ser. (2) 31(2), 157–167 (1980)
Heath-Brown, D.R.: The fourth power mean of Dirichlet’s \(L\)-functions. Analysis 1(1), 25–32 (1981)
Hinz, J.G.: A mean value theorem for the Dedekind zeta-function of a quadratic number field. Monatsh. Math. 87(3), 229–239 (1979)
Ingham, A.E.: Mean-value theorems in the theory of the Riemann zeta-function. Proc. Lond. Math. Soc. (2) 27(4), 273–300 (1927)
Ivić, A.: Lectures on Mean Values of the Riemann Zeta Function. Tata Institute of Fundamental Research Lectures on Mathematics and Physics, vol. 82. Springer, Berlin (1991)
Ivić, A., Motohashi, Y.: The mean square of the error term for the fourth power moment of the zeta-function. Proc. Lond. Math. Soc. (3) 69(2), 309–329 (1994)
Ivić, A., Motohashi, Y.: On the fourth power moment of the Riemann zeta-function. J. Number Theory 51(1), 16–45 (1995)
Iwaniec, H.: Topics in Classical Automorphic Forms. Graduate Studies in Mathematics, vol. 17. American Mathematical Society, Providence (1997)
Iwaniec, H.: Spectral Methods of Automorphic Forms. Graduate Studies in Mathematics, vol. 53, 2nd edn. American Mathematical Society, Providence (2002)
Iwaniec, H., Kowalski, E.: Analytic Number Theory. American Mathematical Society Colloquium Publications, vol. 53. American Mathematical Society, Providence (2004)
Jutila, M.: Lectures on a Method in the Theory of Exponential Sums. Tata Institute of Fundamental Research Lectures on Mathematics and Physics, vol. 80. Springer, Berlin (1987)
Kim, H.H.: Functoriality for the exterior square of \( \rm GL _4 \) and the symmetric fourth of \( \rm GL _2 \). With Appendix 1 by D. Ramakrishnan and Appendix 2 by H. H. Kim and P. Sarnak. J. Am. Math. Soc. 16(1), 139–183 (2003)
Knightly, A., Li, C.: Kuznetsov’s trace formula and the Hecke eigenvalues of Maass forms. Mem. Am. Math. Soc. 224, 1055 (2013)
Kuznetsov, N.V.: Petersson’s hypothesis for cusp forms of weight zero and Linnik’s hypothesis. Sums of Kloosterman sums. Mat. Sb. (N.S.) 111(153), 334–383 (1980). [Russian]. English transl.: Math. USSR-Sb. 39, no. 3, 299–342 (1981)
Milinovich, M.B., Turnage-Butterbaugh, C.L.: Moments of products of automorphic \(L\)-functions. J. Number Theory 139, 175–204 (2014)
Montgomery, H.L., Vaughan, R.C.: The exceptional set of Goldbach’s problem. Acta Arith. 27, 353–370 (1975)
Motohashi, Y.: A note on the mean value of the Dedekind zeta-function of the quadratic field. Math. Ann. 188, 123–127 (1970)
Motohashi, Y.: On the mean square of the product of the zeta- and \(L\)-functions. RIMS Kokyuroku 837, 57–62 (1993)
Motohashi, Y.: The mean square of Dedekind zeta-functions of quadratic number fields. In: Sieve Methods, Exponential Sums, and Their Applications in Number Theory. London Mathematical Society Lecture Note Series, vol. 237, pp. 309–324. Cambridge University Press, Cambridge (1997)
Motohashi, Y.: Spectral Theory of the Riemann Zeta-Function. Cambridge Tracts in Mathematics, vol. 127. Cambridge University Press, Cambridge (1997)
Müller, W.: The mean square of the Dedekind zeta function in quadratic number fields. Math. Proc. Camb. Philos. Soc. 106(3), 403–417 (1989)
Ostergaard, M., Pigno, V., Pinner, C.: Evaluating prime power Gauss and Jacobi sums. Tamkang J. Math. 48(3), 227–240 (2017)
Petrow, I., Young, M.P.: The fourth moment of Dirichlet \(L\)-functions along a coset and the Weyl bound. arXiv:1908.10346v1 (2019)
Rane, V.V.: A note on the mean value of \(L\)-series. Proc. Indian Acad. Sci. Math. Sci. 90(3), 273–286 (1981)
Soundararajan, K.: The fourth moment of Dirichlet \(L\)-functions. In: Analytic Number Theory: A Tribute to Gauss and Dirichlet. Clay Mathematics Proceedings, vol. 7, pp. 239–246. American Mathematical Society, Providence (2007)
Topacogullari, B.: The shifted convolution of divisor functions. Q. J. Math. 67(2), 331–363 (2016)
Topacogullari, B.: On a certain additive divisor problem. Acta Arith. 181(2), 143–172 (2017)
Wang, W.: Fourth power mean value of Dirichlet’s \(L\)-functions. In: International Symposium in Memory of Hua Loo Keng. Volume I Number theory. Springer, Berlin, pp. 293–321 (1991)
Young, M.P.: The fourth moment of Dirichlet \(L\)-functions. Ann. Math. (2) 173(1), 1–50 (2011)
Zacharias, R.: Mollification of the fourth moment of Dirichlet \(L\)-functions. Acta Arith. 191(3), 201–257 (2019)
Zavorotnyi, N. I.: On the fourth moment of the Riemann zeta-function. In: Automorphic functions and number theory I. Coll. Sci. Works, Vladivostok, pp. 69–125 (1989) [Russian]
Acknowledgements
Funding
Open access funding provided by EPFL Lausanne.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, 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 licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Topacogullari, B. The fourth moment of individual Dirichlet L-functions on the critical line. Math. Z. 298, 577–624 (2021). https://doi.org/10.1007/s00209-020-02610-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-020-02610-9