On relations equivalent to the generalized Riemann hypothesis for the Selberg class (Q1746210)

From MaRDI portal





scientific article
Language Label Description Also known as
default for all languages
No label defined
    English
    On relations equivalent to the generalized Riemann hypothesis for the Selberg class
    scientific article

      Statements

      On relations equivalent to the generalized Riemann hypothesis for the Selberg class (English)
      0 references
      0 references
      0 references
      24 April 2018
      0 references
      The Selberg class \(\mathcal{S}\) is, roughly, the set of all Dirichlet series which converges absolutely for \(\mathrm{Re}(s)>1\) such that it can be extended meromorphically to \(\mathbb{C}\) with at most a pole at \(s=1\), has a functional equation, satisfies a Ramanujan conjecture and possesses an Euler product. As a wider class of \(\mathcal{S}\), we have the extended Selberg class \(\mathcal{S}^{\#}\) consisting of Dirichlet series satisfying the first two conditions above. The main class of this paper is the class \(\mathcal{S}^{\#\flat}\subset \mathcal{S}^{\#}\) consisting of Dirichlet series which possesses an Euler sum. Remark that it contains both the Selberg class \(\mathcal{S}\) and (unconditionally) the class of all automorphic \(L\) functions attached to automorphic irreducible unitary cuspidal representations of \(\mathrm{GL}_N(\mathbb{Q})\). It is conjectured that all \(F\in\mathcal{S}\) satisfy the generalized Riemann hypothesis (GRH), however, it may fail for some function in \(\mathcal{S}^{\#\flat}\). Therefore, it is of interest to deduce criteria equivalent to the GRH in the class \(\mathcal{S}^{\#\flat}\). Let \(\mathcal{S}^{\#\flat}_0\) be the set of all \(F\in\mathcal{S}^{\#\flat}\) which does not vanish at zero. For \(F\in\mathcal{S}^{\#\flat}_0\) and \(n\in\mathbb{Z}\setminus\{0\}\), the generalized \(n\)th Li coefficient attached to \(F\) is defined by \[ \lambda_F(n)=\lim_{T\to\infty}\sum_{\substack{\rho\in Z(F) \\ |\mathrm{Im}(\rho)|\leq T}}\left(1-\left(1-\frac{1}{\rho}\right)^n\right), \] where \(Z(F)\) is the set of all non-trivial zeros of \(F\). In this paper, the authors show that the GRH for \(F\in \mathcal{S}^{\#\flat}_0\) is equivalent to the integral representation \[ \mathrm{Re}(\lambda_F(n))=16n\int^{\infty}_{0}N_F(x)\frac{x}{(4x^2+1)^2}U_{n-1}\left(\frac{4x^2-1}{4x^2+1}\right)dx-\left(1-(-1)^n\right)N_F(0) \] for all positive integers \(n\), or, equivalently, to the representation \[ \mathrm{Re}(\lambda_F(n))=\sum_{\rho=\sigma+i\gamma\in Z(F)}\left(1-T_n\left(\frac{4\gamma^2-1}{4\gamma^2+1}\right)\right) \] for all positive integers \(n\). Here, \(N_F(x)\) denotes the counting function of the number of non-trivial zeros \(\rho \in Z(F)\) such that \(|\mathrm{Im}(\rho)|\leq x\) (hence \(N_F(0)\) is the number of Siegel zeros of \(F\)) and \(T_{n}(x)\) and \(U_n(x)\) are the Chebyshev polynomials of the first and second kind, respectively. Moreover, evaluating the above integral, the authors also deduce further relations involving the generalized Euler-Stieltjes constants of the second kind associated to \(F\), which are equivalent to the GRH. As an application, finally, the authors derive relations equivalent to the GRH for automorphic \(L\)-functions attached to irreducible, cuspidal unitary representations of \(\mathrm{GL}_N(\mathbb{Q})\).
      0 references
      Selberg class
      0 references
      generalized Riemann hypothesis
      0 references
      generalized Li coefficients
      0 references
      Euler-Stieltjes constants of the second kind
      0 references
      0 references
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references