Riemann hypothesis and strongly Ramanujan complexes from \(\mathrm{GL}_{n}\) (Q898817): Difference between revisions

Let \(F\) denote a non-Archimedean local field, let \(G\) stand for \(\mathrm{GL}(n, F)\) and let \(Z\) denote the center of \(G\). If \(\mathcal{B}(G)\) is a reduced Bruhat-Tits building of \(G\) and \(\Gamma\) a discrete torsion-free cocompact modulo \(Z\) subgroup of \(G\) intersecting \(Z\) trivially, then the quotient \(\Gamma \setminus \mathcal{B} = \mathcal{B_{\Gamma}}\) is a finite complex, which is called strongly Ramanujan if all infinite dimensional Iwahori-spherical irreducible subrepresentations of \(L^{2}(\Gamma \setminus G / Z)\) are tempered. In the paper under, the author proves that a strongly Ramanujan complex \(\mathcal{B}_{\Gamma}\) satisfies the Riemann hypothesis, i.e., the nontrivial poles of the combinatorial zeta function \(Z_{k, r} (\mathcal{B}_{\Gamma}, q^{-s}) = \Pi_{[\mathcal{C}]} \big ( 1 - q^{l(\mathcal{C})} \big )^{-1} \) (where \(q\) is the size of the residue field of \(F\), \([\mathcal{C}]\) runs through all equivalence classes of primitive closed combinatorial \(k\)-geodesics of weight \(r\) in \(\mathcal{B}_{\Gamma}\) and \(l(\mathcal{C})\) is the algebraic length of \(\mathcal{C}\)) are contained in the set of all \(s\) such that \(\mathrm{Re}(s) \in [\frac{n-r-1}{2}, \frac{n-r}{2}] \cap (\frac{1}{2r} \mathbb{Z})\), for all \(k, r\). It is also proved that if all the associated representations are generic then a finite complex \(\mathcal{B}_{\Gamma}\) is strongly Ramanujan if it satisfies the Riemann hypothesis.