Rankin–Selberg method

In mathematics, the Rankin–Selberg method, introduced by (Rankin 1939) and Selberg (1940), also known as the theory of integral representations of L-functions, is a technique for directly constructing and analytically continuing several important examples of automorphic L-functions. Some authors reserve the term for a special type of integral representation, namely those that involve an Eisenstein series. It has been one of the most powerful techniques for studying the Langlands program.

The theory in some sense dates back to Bernhard Riemann, who constructed his zeta function as the Mellin transform of Jacobi's theta function. Riemann used asymptotics of the theta function to obtain the analytic continuation, and the automorphy of the theta function to prove the functional equation. Erich Hecke, and later Hans Maass, applied the same Mellin transform method to modular forms on the upper half-plane, after which Riemann's example can be seen as a special case.

Robert Alexander Rankin and Atle Selberg independently constructed their convolution L-functions, now thought of as the Langlands L-function associated to the tensor product of standard representation of GL(2) with itself. Like Riemann, they used an integral of modular forms, but one of a different type: they integrated the product of two weight k modular forms f, g with a real analytic Eisenstein series E(τ,s) over a fundamental domain D of the modular group SL₂(Z) acting on the upper half plane

${\displaystyle \displaystyle \int _{D}f(\tau ){\overline {g(\tau )}}E(\tau ,s)y^{k-2}dxdy}$.

The integral converges absolutely if one of the two forms is cuspidal; otherwise the asymptotics must be used to get a meromorphic continuation like Riemann did. The analytic continuation and functional equation then boil down to those of the Eisenstein series. The integral was identified with the convolution L-function by a technique called "unfolding", in which the definition of the Eisenstein series and the range of integration are converted into a simpler expression that more readily exhibits the L-function as a Dirichlet series. The simultaneous combination of an unfolding together with global control over the analytic properties, is special and what makes the technique successful.

Hervé Jacquet and Robert Langlands later gave adelic integral representations for the standard, and tensor product L-functions that had been earlier obtained by Riemann, Hecke, Maass, Rankin, and Selberg. They gave a very complete theory, in that they elucidated formulas for all local factors, stated the functional equation in a precise form, and gave sharp analytic continuations.

Nowadays one has integral representations for a large constellation of automorphic L-functions, however with two frustrating caveats. The first is that it is not at all clear which L-functions possibly have integral representations, or how they may be found; it is feared that the method is near exhaustion, though time and again new examples are found via clever arguments. The second is that in general it is difficult or perhaps even impossible to compute the local integrals after the unfolding stage. This means that the integrals may have the desired analytic properties, only that they may not represent an L-function (but instead something close to it).

Thus, having an integral representation for an L-function by no means indicates its analytic properties are resolved: there may be serious analytic issues remaining. At minimum, though, it ensures the L-function has an algebraic construction through formal manipulations of an integral of automorphic forms, and that at all but a finite number of places it has the conjectured Euler product of a particular L-function. In many situations the Langlands–Shahidi method gives complementary information.

• Standard L-function on GL(n) (Godement–Jacquet). The theory was completely resolved in the original manuscript.
• Standard L-function on classical groups (Piatetski-Shapiro-Rallis). This construction was known as the doubling method and works for non-generic representations as well.
• Tensor product L-function on GL(n) × G with G a classical group (Cai-Friedberg-Ginzburg-Kaplan). This construction was a vast generalization of the doubling method, now known as the generalized doubling method.
• Tensor product L-function on GL(n) × GL(m) (includes the standard L-function if m = 1), due to Jacquet, Piatetski-Shapiro, and Shalika. The theory was completely resolved by Moeglin–Waldspurger, and was reverse-engineered to establish the "converse theorem".
• Symmetric square on GL(n) due to Shimura, and Gelbart–Jacquet (n = 2), Piatetski-Shapiro and Patterson (n = 3), and Bump–Ginzburg (n > 3).
• Exterior square on GL(n), due to Jacquet–Shalika and Bump–Ginzburg.
• Triple Product on GL(2) × GL(2) × GL(2) (Garrett, as well as Harris, Ikeda, Piatetski-Shapiro, Rallis, Ramakrishnan, and Orloff).
• Symmetric cube on GL(2) (Bump–Ginzburg–Hoffstein).
• Symmetric fourth power on GL(2) (Ginzburg–Rallis).
• Standard L-function of E₆ and E₇ (Ginzburg).
• Standard L-function of G₂ (Ginzburg-Hundley, Gurevich-Segal).

• Bump, Daniel (1989), "The Rankin-Selberg method: a survey", Number theory, trace formulas and discrete groups (Oslo, 1987), Boston, MA: Academic Press, pp. 49–109, MR 0993311
• Bump, Daniel (2005), "The Rankin-Selberg method: an introduction and survey", in Cogdell, James W.; Jiang, Dihua; Kudla, Stephen S.; Soudry, David; Stanton, Robert (eds.), Automorphic representations, L-functions and applications: progress and prospects, Ohio State Univ. Math. Res. Inst. Publ., vol. 11, Berlin: de Gruyter, pp. 41–73, ISBN 978-3-11-017939-2, MR 2192819
• Rankin, Robert A. (1939), "Contributions to the theory of Ramanujan's function τ(n) and similar arithmetical functions. I. The zeros of the function Σ_n=1^∞τ(n)/n^s on the line R s=13/2. II. The order of the Fourier coefficients of integral modular forms", Proc. Cambridge Philos. Soc., 35: 351–372, doi:10.1017/S0305004100021095, MR 0000411
• Selberg, Atle (1940), "Bemerkungen über eine Dirichletsche Reihe, die mit der Theorie der Modulformen nahe verbunden ist", Arch. Math. Naturvid., 43: 47–50, MR 0002626