Dirichlet twists of \(\mathrm{GL}_n\)-automorphic \(L\)-functions and hyper-Kloosterman Dirichlet series (Q2053319)

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.