On the \(\mathrm{GL}(r)\times\mathrm{GL}(r+s)\times\mathrm{GL}(s)\) convolution (Q2436766)

In the study of the analytic theory of \(L\)-functions, a basic approach is to find their integral representations, so that the analytic continuations and functional equations of these \(L\)-functions can be obtained rather routinely. There have been many fruitful applications of this idea, including the studies of the standard automorphic \(L\)-functions of \(GL_n\) and their Rankin-Selberg \(L\)-functions. Unfortunately, at present there is no systematic construction of integral representations for a general \(L\)-series, although there has been much effort in this direction; see, for example, the work of \textit{D. Ginzburg} [in: Multiple Dirichlet series, automorphic forms, and analytic number theory. Proceedings of the Bretton Woods workshop on multiple Dirichlet series. Friedberg, Solomon (ed.) et al., Providence, RI: American Mathematical Society (AMS). Proc. Symp. Pure Math. 75, 203--223 (2006; Zbl 1129.11023)]. In the paper under review, the authors discover the integral representation for a new Rankin-Selberg-type \(L\)-series. To describe their main results, we adopt the notations as in the book of \textit{D. Goldfeld} [Automorphic forms and \(L\)-functions for the group \(\text{GL}(n,\mathbb R)\). With an appendix by Kevin A. Broughan. Cambridge Studies in Advanced Mathematics 99. Cambridge: Cambridge University Press (2006; Zbl 1108.11039)]. Choose \(r,s\geq 1\), let \(f\), \(g\) and \(h\) be Maass forms for \(SL_r(\mathbb{Z})\), \(SL_{r+s}(\mathbb{Z})\) and \(SL_s(\mathbb{Z})\) respectively, and let \(\phi\) be a Maass form for \(SL_2(\mathbb{Z})\). Denote by \(C_f\), \(C_g\), \(C_h\) and \(C_{\phi}\) their respective Fourier coefficients, then we consider the \(L\)-series \(L_{g,f\times\phi\times h}(\tau)\) with the Dirichlet coefficients of form \[ C_f(m_{s+1},\dots,m_{r+s-1})\overline{C_g(m_1,\dots,m_{r+s-1})}C_h(m_1,\dots,m_{s-1})C_{\phi}(m_s). \] Exploring some projections between generalized upper half-planes \(\mathfrak{H}^{r+s}\to\mathfrak{H}^r\), \(\mathfrak{H}^{r+s}\to\mathfrak{H}^s\) and \(\mathfrak{H}^{r+s}\to\mathfrak{H}^2\) (see, for example, [\textit{D. Goldfeld} and \textit{J. Hundley}, Automorphic representations and \(L\)-functions for the general linear group. Volume 2. Cambridge Studies in Advanced Mathematics 130. Cambridge: Cambridge University Press. (2011: Zbl 1253.11060)]), the authors construct an Euler integral which represents \(L_{g,f\times\phi\times h}(\tau)\) as its finite part (the archimedean part is left unevaluated in the paper). With this integral representation at hand, a standard argument yields the analytic continuation and functional equation for the \(L\)-series \(L_{g,f\times\phi\times h}(\tau)\). As an application, the authors obtain the corresponding Voronoi formula. The same argument has also been applied to the \(L\)-series \(L_{g,f\times h}(\tau)\) where we take the above \(C_{\phi}\) to be identically 1, and has led to the similar conclusions.