Dirichlet twists of GL_n-automorphic L-functions and hyper-Kloosterman Dirichlet series

From MaRDI portal
Publication:2053319



Abstract: We calculate mean values of operatornameGLn-automorphic L-functions twisted by primitive even Dirichlet characters of prime-power conductor, at arbitrary points within the critical strip, by derivation of special Voronoi summation formulae. Our calculation is novel in that the twisted sum can be expressed in terms of the average itself, and also that it sees the derivation of various new summation formulae in the setting of prime-power modulus. One consequence, as we explain, is to show the analytic continuation and additive summation formulae for hyper-Kloosterman Dirichlet series associated to operatornameGLn-automorphic L-functions.


Let \(\pi\) be a cuspidal automorphic representation of \(\mathrm{GL}_n(\mathbb{A}_\mathbb{Q})\) for \(n \ge 2\) of conductor \(N\), unitary central character \(\omega\), and Fourier coefficients \(a(m)\). Let \(p\) be a fixed prime number that does not divide \(N\) and let \(\beta \ge 2\) be any integer. The central object of interest in the paper is \(X_\beta(\pi, \delta)\), defined for \(\delta \in \mathbb{C}\) in the critical strip \(0 < \mathrm{Re}(\delta) < 1\) as \[ X_\beta(\pi, \delta) = \frac{2}{\varphi^\ast(p^\beta)} \sum_{\substack{\chi\ \mathrm{mod}\ p^\beta \\ \text{primitive}, \chi(-1)=1}} L(\delta, \pi \otimes \chi), \] where \(\varphi^\ast(p^\beta)\) is the number of primitive Dirichlet characters mod \(p^\beta\). The paper provides a summation formula for \(X_\beta(\pi, \delta)\) as a residue term. The average \(X_\beta(\pi, \delta)\) and power moments of similar terms capture a lot of attention in analytic number theory, especially when \(\delta = 1/2\) or \(\delta = 1/2 + it\). For example, obtaining asymptotic formulas with a power saving error term for the power moments for families of \(L\)-functions is usually the first step towards applications of techniques such as amplification and mollification. Using the approximate functional equation for \(L(\delta, \pi \otimes \chi)\) as outlined in Lemma 3.2, the author decomposes the average value \(X_\beta(\pi, \delta)\) into \(X_{\beta, 1}(\pi, \delta, Z)\) and \(X_{\beta, 2}(\pi, \delta, Z)\) in Proposition 4.3, where \(Z\) is any real positive parameter, \[ X_{\beta, 1}(\pi, \delta, Z) = \sum_{\substack{m \ge 1 \\ m \equiv \pm 1 \mathrm{ mod } p^\beta}} \frac{a(m)}{m^\delta}V_1\left(\frac{m}{Z}\right) -\frac{1}{\varphi(p)} \sum_{\substack{m \ge 1 \\ m \equiv \pm 1 \mathrm{ mod } p^{\beta-1} \\ m \not\equiv \pm 1 \mathrm{ mod } p^{\beta}}} \frac{a(m)}{m^\delta}V_1\left(\frac{m}{Z}\right), \] and \[ X_{\beta, 2}(\pi, \delta, Z) = \left(\frac{p}{\varphi(p)}\right)\frac{W(\pi)\omega(p^\beta)(Np^{\beta n})^{\frac{1}{2} - \delta}}{p^{\beta n/2}} \sum_{\substack{m \ge 1 \\ (m, p)=1}} \frac{\overline{a(m)}}{m^{1-\delta}}V_2\left(\frac{mZ}{N^{\beta n}}\right) \mathrm{Kl}_n(\pm m\overline{N}, p^\beta). \] An explicitly written-out formula for \(X_\beta(\pi, \delta)\) can be found in the third page of the paper. Further computation of \(X_{\beta, 2}(\pi, \delta, p^{u})\) with \(1 < u < \beta - 1\) brings forth various Voronoi summation formulas in Section 6, see Theorem 6.7, 6.8 and Corollary 6.9. The calculations and the summation formulas that come along can be applied to prove analytic continuation and functional equations for Dirichlet series twisted by Kloosterman sums. In this regard, Theorem 1.1 is for the series of cuspidal automorphic \(\pi\) representation of \(\mathrm{GL}_n(\mathbb{A}_\mathbb{Q})\) with \(n \ge 2\) defined by \[ \mathfrak{K}_n(\pi)(\pi, h, p^\beta, s) =\sum_{\substack{m \ge 1 \\ (m, p)=1}} \frac{a(m)}{m^s} \mathrm{Kl}_n(\pm mh, p^\beta); \] and Theorem 1.3 for the series of primitive Dirichlet character \(\xi\) of conductor prime to \(p\) with \(n \ge 1\) defined by \[ \mathfrak{K}_n^0(\pi)(\pi, h, p^\beta, s) =\sum_{\substack{m \ge 1 \\ (m, p)=1}} \frac{\xi(m)}{m^s} \mathrm{Kl}_n(\pm mh, p^\beta). \] The details of the proofs are in Section 7 of the paper.











This page was built for publication: Dirichlet twists of \(\mathrm{GL}_n\)-automorphic \(L\)-functions and hyper-Kloosterman Dirichlet series

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2053319)