User:Stephen Miller Math/Rankin Selberg Method

The Rankin-Selberg Method, 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.

History
The theory in some sense dates back to 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. Hecke and later 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.

Rankin and Selberg independently constructed their convolution L-functions, now thought of as the Langlands L-function associated to the tensor product 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 modular forms with a nonholomorphic Eisenstein series. 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.

Modern Adelic Theory
Jacquet and 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.

Generalizations and Limitations
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.

Notable Examples

 * Standard L-function on GL(n) (Godement-|Jacquet). The theory was completely resolved in the original manuscript.


 * Tensor product L-function on GL(n) x 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 Goro_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) x GL(2) x 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_6 and E_7 (Ginzburg).