Towards the Deep Riemann Hypothesis for $\mathrm{GL}_{n}$

Ikuya Kaneko,Shin-ya Koyama,Nobushige Kurokawa
2023-12-18
Abstract:We explicate the deep Riemann hypothesis for the general linear group $\mathrm{GL}_{n}$ on the convergence of normalised Euler products of standard $L$-functions on the critical line. It conditionally improves upon the error term in the prime number theorem beyond what the grand Riemann hypothesis predicts. Furthermore, we discuss the Chebyshev bias for Satake parameters on $\mathrm{GL}_{n}$ from the perspective of the deep Riemann hypothesis.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the Deep Riemann Hypothesis (DRH) of the general linear group \( \text{GL}_n \), especially the convergence problem of the normalized Euler product of the standard L - function on the critical line. Specifically, the paper explores the following aspects: 1. **Improving the error term in the prime number theorem**: The DRH conditionally improves the error term in the prime number theorem, surpassing the results that can be predicted by the Grand Riemann Hypothesis (GRH). 2. **Chebyshev bias of Satake parameters**: The Chebyshev bias phenomenon of Satake parameters on \( \text{GL}_n \) is discussed from the perspective of DRH. 3. **Extension and application**: The paper is not limited to \( \text{GL}_1 \), but also extends to \( \text{GL}_n \), and studies the applications of these hypotheses in different mathematical fields, such as the Birch - Swinnerton - Dyer conjecture. Expressed in formulas, the paper mainly focuses on the following hypothesis: \[ \text{For non - trivial irreducible representations } \rho: \text{Gal}(K^{\text{sep}}/K) \to \text{GL}_n(\mathbb{C}), \] \[ \lim_{x \to \infty} \prod_{N(v) \leq x} \det(1 - \rho(\text{Frob}_v) N(v)^{-s})^{-1} \] exists and converges to \( L(s, \rho) \), where \( \text{Re}(s)>\frac{1}{2} \). In particular, when \( \text{Re}(s)=\frac{1}{2} \), if \( m \) is the order of the zero of \( L(s, \rho) \) at \( s = \frac{1}{2} \), then: \[ \lim_{x \to \infty} \left( (\log x)^m \prod_{N(v) \leq x} \det(1 - \rho(\text{Frob}_v) N(v)^{-\frac{1}{2}})^{-1} \right)=\frac{L^{(m)}(\frac{1}{2}, \rho)}{e^m \gamma m!}\times \begin{cases} \sqrt{2 \nu(\rho)}, & \text{if } s=\frac{1}{2},\\ 1, & \text{otherwise}, \end{cases} \] where \( \nu(\rho)=m(\text{sym}^2 \rho)-m(\wedge^2 \rho)\in\mathbb{Z} \), and \( m(\rho) \) represents the multiplicity of the trivial representation in \( \rho \). Through the research of these problems, the paper aims to provide new perspectives and tools for understanding broader L - functions and their properties.