In Siegel modular forms, we mentioned that one could construct Siegel modular forms from elliptic modular forms (see Modular Forms) via a process called “lifting”. In this post, we discuss a more general method that produces new automorphic forms (which generalize modular forms, and are also more properly a part of representation theory, see also Automorphic Forms) out of old ones. There is also a local version that deals with representations of p-adic Lie groups. Both of these form the theory of the (global and local) **theta correspondence**.

We begin with the local theory. Let be a nonarchimedean local field of characteristic zero (e.g. or a finite extension of ). Let be a quadratic etale -algebra. Let be a vector space over equipped with a Hermitian form , and let be a vector space over equipped with a skew-Hermitian form . Their respective groups of isometries are the unitary groups and . These two groups form an example of a **reductive dual pair**. The theory of the local theta correspondence relates representations of one of these groups to representations of the other.

Now the tensor product can be viewed as a vector space over and we can equip it with a symplectic form . We have a map

The symplectic group has a cover called the **metaplectic group**; we will describe it in more detail shortly, but we say now that the importance of it for our purposes is that it has a special representation called the **Weil representation**, which as we shall shortly see will be useful in relating representations of to , and vice-versa.

We first need to construct the **Heisenberg group** . Its elements are given by , and we give it the group structure

The **Stone-von Neumann theorem** tells us that, for every nontrivial character the Heisenberg group has a unique irreducible representation with central character . Furthermore, the representation is unitary.

If is a Lagrangian decomposition, we can realize the representation on the vector space of Schwarz functions on either or . Let us take it to be . In particular, we can express as follows. We first extend the character to (defined to be the subgroup of ) and then define as the induced representation (see also The Local Langlands Correspondence for General Linear Groups for another example of an induced representation)

The symplectic group acts on the Heisenberg group by for and . We can compose this action with the representation to get another representation of . Now since the action of on has trivial center, the central characters of and are the same. By the Stone-von Neumann theorem, and have to be isomorphic.

What this means now, is that for every , we have a linear transformation of the underlying vector space of the representation , so that

This action however is only defined up to a factor of . Since is unitary, we can also require to be unitary, and so the action becomes well-defined up to . All in all, this means that we have a representation

Now if we pull back the map by the map , we get a map , where the group is an -cover of . This group is the **metaplectic group** mentioned earlier.

Our construction allows us to extend the representation of to the semidirect product . This representation of is called the **Heisenberg-Weil representation**. The representation of obtained by restriction is called the **Weil representation**.

Recall that we have a map . If we could lift this to a map , then we could obtain a representation of by restricting the Weil representation from to . It turns out such a lifting can be defined and is determined by a pair of characters of satisfying certain conditions. Once we have this lifting, we denote the resulting representation of by .

Now let be an irreducible representation of . We consider the maximal -isotypic quotient of , which is its quotient by the intersection of all the kernels of morphisms of representations of from to . This quotient is of the form , where is a representation of called the **big theta lift** of . The maximal semisimple quotient of is denoted , and is called the **small theta lift** of .

Let us now look at the global picture. Let be a number field and let be the completion of at one of its places . Let be a quadratic extension of . Now we let and be vector spaces over equipped with Hermitian and skew-Hermitian forms and , as in the local case, and consider the tensor product as a vector space over , and equip it with the symplectic form . We have localizations for every , and we have already seen that in this case we can construct the metaplectic group . We want to put each of these together for every to construct an “adelic” metaplectic group.

First we take the restricted product . “Restricted” means that all but finitely many of the factors in this product belong to the hyperspecial maximal compact subgroup of , which is also a compact open subgroup of . This restricted product contains as a central subgroup. Now if we quotient out the restricted product by the central subgroup given by the set of all such that , the resulting quotient is the “adelic” metaplectic group that we are looking for.

We have a representation of which acts trivially on the central subgroup defined above and therefore gives us a representation of .

What is the underlying vector space of the representation ? If is a Lagrangian decomposition, we have seen that we can realize the local Weil representation on , the vector space of Schwarz functions of (the corresponding localization of ). Likewise we can also realize the global Weil representation as functions on the vector space , defined to be the restricted product .

So now we have the global Weil representation , which is a representation of the group on the vector space . But suppose we want an *automorphic representation*, i.e. one realized on the vector space of automorphic forms for (recall that one of our motivations in this post is to “lift” automorphic forms from one group to another). This is accomplished by the formation of **theta functions** , so-called because it is a generalization of the Jacobi theta function discussed in Sums of squares and the Jacobi theta function. Let be a vector in the underlying vector space of the Weil representation. Then the theta function is obtained by summing the evaluations of the output of the action of Weil representation on over all rational points :

Now suppose we have a pair of characters of , so that we have a lifting of to . This lifting sends to , which means that we can consider as an automorphic form for .

Now we can perform our lifting. Let be a cuspidal automorphic form for , and let be a vector in the underlying vector space of the Weil representation. We can now obtain an automorphic form on as follows:

The space generated in this way, for all vectors in a cuspidal automorphic representation of , and all vectors in the in the underlying vector space of the Weil representation, is called the **global theta lift** of , denoted . It is an automorphic representation of .

There is also an analogue of all that we discussed for the reductive dual pair when and are vector space over some field, equipped with a quadratic form and symplectic form respectively.

Many cases of “lifting”, for instance the **Saito-Kurokawa lift** from elliptic modular forms to Siegel modular forms, can be considered special cases of the global theta lift (in particular for the reductive dual pair ). The theory of theta lifting is itself part of the theory of **Langlands functoriality** (see also Trace Formulas). More aspects and examples of the theta correspondence will be discussed in future posts on this blog.

References:

Theta correspondence on Wikipedia

Heisenberg group on Wikipedia

Metaplectic group on Wikipedia

Saito-Kurokawa lift on Wikipedia

Automorphic forms and the theta correspondence by Wee Teck Gan

A brief survey of the theta correspondence by Dipendra Prasad

Non-tempered Arthur packets of G2 by Wee Teck Gan and Nadia Gurevich

A quaternionic Saito-Kurokawa lift and cusp forms on G2 by Aaron Pollack