Zeros near $s=1$ and the constant term of $L'/L$ for $L$-functions in the Selberg class

Christian Táfula
2023-06-05
Abstract:Let $\mathcal{L}(s) = \sum_{n=1}^{\infty} a_n n^{-s}$ be an $L$-function in the Selberg class, and $q_{\mathcal{L}}$ its conductor. Let $\ell_0(\mathcal{L})$ be the constant term of the Laurent expansion of $\mathcal{L}'/\mathcal{L}$ at $s=1$. We show that for certain families $\mathcal{F}$ of $L$-functions in the Selberg class with polynomial Euler product: $\bullet$ If $\mathcal{L}\in\mathcal{F}$ has no zeros $\beta + i\gamma$ with $\beta > 1 - \delta(\log q_{\mathcal{L}})^{-1}$, $|\gamma| < (\log q_{\mathcal{L}})^{-1/2}$ for some absolute $\delta >0$, then $\Re(\ell_0(\mathcal{L})) \ll_{\mathcal{F}} \log q_{\mathcal{L}}$; $\bullet$ If $\Re(\ell_0(\mathcal{L})) \ll \log q_{\mathcal{L}}$ for all $\mathcal{L}\in \mathcal{F}$, then there is some absolute $\delta > 0$ such that $\mathcal{L}$ has no zeros $\beta + i\gamma$ with $\beta > 1 - \delta(\log q_{\mathcal{L}})^{-1}$, $|\gamma| < (1-\beta)^{1/2}(\log q_{\mathcal{L}})^{-1/2}$. This generalizes, for instance, the case of families of Dedekind zeta functions of number fields with bounded degree.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the relationship between the zero - point distribution of Selberg - class L - functions near \(s = 1\) and the constant term \(\ell_0(L)\) in their Laurent expansion. Specifically, the author explores for some families \(F\) of Selberg - class L - functions with polynomial Euler products, if these L - functions have no zero - points in a certain region, then what kind of estimates their constant terms \(\ell_0(L)\) will satisfy; conversely, if the constant terms \(\ell_0(L)\) satisfy a certain estimate, then these L - functions will have no zero - points in their specific regions. ### Specific problem description 1. **Relationship between zero - point distribution and constant term**: - If \(L\in F\) has no zero - points \(\beta + i\gamma\) satisfying \(\beta>1 - \delta(\log q_L)^{- 1}\) and \(|\gamma|<(\log q_L)^{-1/2}\), where \(\delta>0\) is an absolute constant, then \(\Re(\ell_0(L))\ll_F\log q_L\). - Conversely, if for all \(L\in F\) we have \(\Re(\ell_0(L))\ll\log q_L\), then there exists an absolute constant \(\delta>0\) such that \(L\) has no zero - points \(\beta + i\gamma\) satisfying \(\beta>1 - \delta(\log q_L)^{-1}\) and \(|\gamma|<(1 - \beta)^{1/2}(\log q_L)^{-1/2}\). 2. **Generalized results**: - These results generalize the existing conclusions in special cases such as the Dedekind zeta - function families of number fields. ### Main conclusions - **Theorem 1.1(i)**: If \(\Re(\ell_0(L))\ll\log q_L\) for \(L\in F\), then there exists a constant \(\delta\in\mathbb{R}_{>0}\) such that \(L\) has no zero - points in the region \[ \left\{s=\sigma + it\in\mathbb{C}\mid\sigma>1-\frac{\delta}{\log q_L},|t|<\frac{(1 - \sigma)^{1/2}}{\sqrt{\log q_L}}\right\} \] - **Theorem 1.1(ii)**: Let \(f:\mathbb{R}_{\geq1}\to\mathbb{R}\) be a function satisfying \(1\leq f(q)\ll\log q\). If \(L\in F\) has no zero - points in the region \[ \left\{s=\sigma + it\in\mathbb{C}\mid\sigma>1-\frac{1}{f(q_L)},|t|<\frac{1}{\sqrt{f(q_L)}}\right\} \] then \(\Re(\ell_0(L))\ll_F\sqrt{f(q_L)}\log q_L\). Through the above research, the author provides a new perspective for understanding the zero - point distribution of Selberg - class L - functions near the critical line and generalizes this relationship to a wider family of L - functions.