Extreme values of Dirichlet L-functions on the critical line with a growing prime modulus

Zikang Dong, Qiyu Yang and Shengbo Zhao

arXiv: 2610.02709v1 · PDF · 2 October 2026
Categories: math.NT
Licence: CC0 1.0 The site shows the text.

Abstract

In this paper, we obtain extreme values of Dirichlet L-functions on the critical line with a growing prime modulus. Our result yields a larger lower bound for extreme values than that from Soundararajan’s classical resonance method. Consequently, we show that one branch of the dichotomy established by Bondarenko, Darbar, Hagen, Heap, and Seip (2023) can be realized for this family of Dirichlet L-functions. The proof relies on the resonance method together with precise estimates for GCD sums.

Items 9

Theorem

Theorem 1.1

6CKP

Let 0<\beta<1, and let q=q(T) \le T be a prime satisfying

\frac{\log q}{\log T} \to \theta,\qquad 0<\theta \le 1.

Then, for every fixed

0<c<\sqrt{2\min\{\theta,1-\beta\}},

we have

\max_{\substack{\chi(\bmod q) \\ \chi \neq\chi_0}}\max_{T^\beta \le t \le T}\Big|L\Big(\frac{1}{2}+\mathrm{i}t,\chi\Big)\Big| \ge \exp\bigg(c\sqrt{\frac{\log T \log_3 T}{\log_2 T}}\bigg)

for all sufficiently large T.

Lemma

Lemma 2.1

4A2F

Let q be a prime and let \chi be a non-principal Dirichlet character modulo q. Then, for every real t, we have

L\Big(\frac{1}{2}+\mathrm{i}t,\chi\Big) \ll (q(1+|t|))^{1/4}.

Used by Proof

Proof of Lemma 2.1

Since q is prime and \chi is non-principal, \chi is primitive. Therefore, the result follows from [Iwaniec2004book, Theorem 5.23].

Lemma

Lemma 2.2

FN0Q

Let \chi be a non-principal Dirichlet character modulo q. Let a>1/2 and set z=x+\mathrm{i} y. Suppose that K(z) is holomorphic in the horizontal strip -a\le y \le 0 satisfying the growth condition

\max_{-a\le y \le 0}|K(x+\mathrm{i} y)| = O\Big(\frac{1}{(1+|x|)^2}\Big)

as |x| \to \infty. Then, we have, for every real t,

\begin{aligned} \int_\mathbb{R} L\Big(\frac{1}{2}+\mathrm{i}t+\mathrm{i} u,\chi \Big)L\Big(\frac{1}{2}-\mathrm{i}t+\mathrm{i} u,\overline{\chi} \Big)K(u)\mathrm{d} u = \sum_{k,\ell \ge1}\frac{\chi(k)\overline{\chi}(\ell)}{\sqrt{k\ell}}\Big(\frac{\ell}{k}\Big)^{\mathrm{i}t}\widehat{K}(\log k\ell). \end{aligned}

Proof of Lemma 2.2

Put G(z):= L(1/2+\mathrm{i}t+z,\chi)L(1/2-\mathrm{i}t+z,\overline{\chi})K(-\mathrm{i} z). Since \chi is non-principal, both L(s,\chi) and L(s,\overline{\chi}) are entire. Hence G(z) is holomorphic in the strip 0\leq \Re z\leq a. Let Y>2|t|+2, and consider the rectangle with vertices \pm\mathrm{i} Y and a\pm\mathrm{i} Y. By Cauchy’s theorem,

\Big(\int_{-\mathrm{i} Y}^{a-\mathrm{i} Y}+\int_{a-\mathrm{i} Y}^{a+\mathrm{i} Y}+\int_{a+\mathrm{i} Y}^{\mathrm{i} Y}+\int_{\mathrm{i} Y}^{-\mathrm{i} Y} \Big) G(z)\mathrm{d} z =0.

We first show that the integrals over the two horizontal sides tend to zero as Y \to \infty. By Lemma 2.1 and the Phragmén–Lindelöf principle, we have, uniformly for 0\leq \sigma\leq a,

L\Big(\frac12+\sigma+\mathrm{i} v,\chi\Big)\ll_{a,\varepsilon}\big(q(1+|v|)\big)^{1/4+\varepsilon}.

Combining this with the growth condition on K, we obtain

\int_{-\mathrm{i} Y}^{a-\mathrm{i} Y}G(z)\mathrm{d} z = o(1) \quad \text{and} \quad \int_{a+\mathrm{i} Y}^{\mathrm{i} Y}G(z)\mathrm{d} z = o(1)

as Y \to \infty. Thus, letting Y \to \infty yields that

\int_{-\mathrm{i}\infty}^{\mathrm{i} \infty}G(z)\mathrm{d} z = \int_{a-\mathrm{i}\infty}^{a+\mathrm{i}\infty}G(z)\mathrm{d} z.

Writing z=\mathrm{i} u on the left-hand side and z=a+\mathrm{i} u on the right-hand side, respectively, gives

\begin{aligned} &\int_\mathbb{R} L\Big(\frac12+\mathrm{i}t+\mathrm{i} u,\chi\Big) L\Big(\frac12-\mathrm{i}t+\mathrm{i} u,\overline{\chi}\Big)K(u)\mathrm{d} u \\ &\qquad= \int_\mathbb{R} L\Big(\frac12+a+\mathrm{i}t+\mathrm{i} u,\chi\Big) L\Big(\frac12+a-\mathrm{i}t+\mathrm{i} u,\overline{\chi}\Big) K(u-\mathrm{i} a)\mathrm{d} u. \end{aligned}

Since a>1/2, both Dirichlet series on the right-hand side of (?) converge absolutely, so we may integrate term by term. Moreover, we have

\int_\mathbb{R} K(u-\mathrm{i} a)\mathrm{e}^{-\mathrm{i} u \log k\ell}\mathrm{d} u = (k\ell)^a \widehat{K}(\log k\ell).

Substituting this into (?) proves this lemma.

Uses Lemma 2.1

Lemma

Lemma 2.3

90YG

Let q be a prime and let X\geq 2. Then

\sum_{\substack{\chi(\bmod q)\\ \chi\neq\chi_0}} \int_{-X}^{X} \Big|L \Big(\frac12+\mathrm{i}t,\chi\Big)\Big|^2 \mathrm{d} t \ll qX\log(qX).

Proof of Lemma 2.3

The proof of this result follows by applying [Rane1980JLMS, Theorem 3] together with some calculations.

Lemma

Lemma 2.4

G6IW

Let \mathcal{M} be a set of integers with |\mathcal{M}| =N. As N \to \infty, we have

\max_{|\mathcal{M}|=N}\frac{S(\mathcal{M})}{|\mathcal{M}|}=\exp\bigg(\big(2\sqrt{2}+o(1)\big)\sqrt{\frac{\log N\log_3N}{\log_2N}}\bigg).

Moreover, \mathcal{M} may be chosen so that

y_\mathcal{M} := \max_{m\in\mathcal{M}}P^+(m) \ll (\log N)^{6/5},

where P^+(n) denotes the largest prime factor of n.

Proof of Lemma 2.4

This is [delaBreteche2019PLMS, Eq. (1.4)].

Source and licence

The text on this page is from arXiv:2610.02709v1 by Zikang Dong, Qiyu Yang and Shengbo Zhao, under the licence CC0 1.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2610/2610.02709.jsonl.