Abstract:We study non-vanishing of Dirichlet $L$-functions at the central point under the unlikely assumption that there exists an exceptional Dirichlet character. In particular we prove that if $\psi$ is a real primitive character modulo $D \in \mathbb{N}$ with $L(1, \psi) \ll (\log D)^{-25-\varepsilon}$, then, for any prime $q \in [D^{300}, D^{O(1)}]$, one has $L(1/2, \chi) \neq 0$ for almost all Dirichlet characters $\chi \pmod{q}$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is related to the non - vanishing of Dirichlet L - functions at the central point, especially in the case where an exceptional Dirichlet character is assumed to exist. Specifically, the author studied the proportion of Dirichlet L - functions that are non - zero at the central point \( s=\frac{1}{2} \) under the following hypothesis:
Suppose there exists a real primitive character \( \psi \) of modulus \( D \) such that:
\[ L(1,\psi)\ll (\log D)^{- 25-\varepsilon} \]
Under this hypothesis, for any prime \( q\in[D^{300},D^{C}] \), the L - functions of almost all Dirichlet characters \( \chi \) of modulus \( q \) are non - zero at the central point.
### Main Conclusions
The author proved the following theorems and corollaries:
#### Theorem 2
Let \( \varepsilon>0 \) be a fixed constant, \( D > 1 \) be a square - free fundamental discriminant, and \( \psi \) be the associated primitive quadratic character of modulus \( D \). Let \( C>300 \) be a fixed constant, and \( q \) be a prime satisfying \( D^{300}\leq q\leq D^{C} \). Then for any \( \delta > 0 \), we have:
\[ \frac{1}{\phi(q)}\sum_{\substack{\chi\pmod{q}\\|\chi|\neq0}}\frac{1}{|L(\frac{1}{2},\chi)|}\geq\delta^{\frac{3}{2}}(\log q)^{\frac{9}{2}}=1 + O\left( \frac{\delta^{-2}L(1,\psi)}{(\log q)^{25+\varepsilon}}+\frac{\delta^{-2}}{(\log q)^{1-\varepsilon}}+\delta \right) \]
#### Corollary 1
According to Theorem 2, we can obtain the following corollary: For any fixed \( C > 300 \) and any prime \( q \) satisfying \( D^{300}\leq q\leq D^{C} \), we have:
\[ \left|\left\{\chi\pmod{q}:L\left(\frac{1}{2},\chi\right)\neq0\right\}\right|=(1 + o(1))\phi(q) \]
where the convergence rate of \( o(1) \) depends only on \( \varepsilon \), \( C \) and the implicit constant in formula (1).
### Research Background
A central problem in analytic number theory is to study the zero or non - zero problems of L - functions at the central point. For example, the Birch and Swinnerton - Dyer conjecture relates the order of the zero of the elliptic curve L - function at the central point to its rank. The research of Iwaniec and Sarnak shows that in some families of cusp forms, at least 50% of the L - functions are non - zero at the central point, and they point out that any improvement on this proportion will rule out the existence of Landau - Siegel zeros.
### Methods and Innovations
The main innovation of this paper lies in using the existence of exceptional characters to improve the previous results on the non - vanishing of Dirichlet L - functions. By introducing a new tool - the equidistribution property of root numbers, the author can avoid using the Cauchy - Schwarz inequality, thus obtaining a better non - vanishing proportion.
### Conclusions
Under the premise of assuming the existence of exceptional characters, this paper significantly improves the non - vanishing of Dirichlet L - functions at the central point.