Selberg's orthogonality conjecture for automorphic L -functions (Q5693530)

Stimulated by the work of Bombieri and Hejhal, Selberg considered a general class of Dirichlet series satisfying functional equations and Euler products, and formulated a couple of interesting conjectures. His investigation (of both conjectures and results) was presented at the Amalfi Conference on Number Theory in 1989, see Salerno: Università di Salerno, 367--385 (1992; Zbl 0787.11037), see also Volume II of his collected papers [\textit{A. Selberg}, Collected papers. Volume II. Berlin etc.: Springer-Verlag (1991; Zbl 0729.11001)]. This class of Dirichlet series, named Selberg class nowadays, has been further studied by various mathematicians though many things remain unknown. In the paper under review, the authors prove, under the Ramanujan conjecture, the Selberg orthogonality conjecture for the subclass consisting of \(L\)-functions associated to automorphic irreducible unitary cuspidal representations of \(\text{GL}_m(\mathbb Q_{\mathbb{A}})\). Indeed, their result gives a more precise error term and is unconditional for the \(\text{GL}_2\) case. Below is their theorem. Theorem: Let \(\pi\) and \(\pi'\) be irreducible unitary cuspidal representations of \(\text{GL}_m(\mathbb Q_{\mathbb{A}})\) and \(\text{GL}_{m'}(\mathbb Q_{\mathbb{A}})\), respectively, such that at least one of \(\pi\) and \(\pi'\) is self contragredient. Assume the Ramanujan conjecture for both \(\pi\) and \(\pi'\). Then \[ \sum_{n\leq x} (\log n)\Lambda(n)a_{\pi}(n)\overline{a}_{\pi'}(n) = \frac{x^{1+i\tau_0}}{1+i\tau_0} \log x -\frac{x^{1+i\tau_0}}{(1+\tau_0)^2} +O(x\exp(-c\sqrt{\log x})) \] if \(\pi'\cong \pi\otimes \alpha^{i\tau_0}\) for some \(\tau_0\in\mathbb R\); or \[ = O(x\exp(-c\sqrt{\log x})) \] if \(\pi'\not\cong \pi\otimes \alpha^{it}\) for any \(t\in\mathbb R\). Here \(\Lambda(n)a_{\pi}(n)\) is the \(n\)th coefficient of the Dirichlet series of \(-\frac{d}{ds}\log L(s,\pi)\), where \(L(s,\pi)\) is the automorphic \(L\)-function for \(\pi\). The Selberg orthogonality conjecture then follows as a consequence.