Langlands' principle of functoriality [B] conjectures that there is a parametrization of the
set Repjp(Gf) of admissible [BZ] or automorphic [BJ] representations of a reductive group G
over a local or global field F , by admissible homomorphisms p : WF G x WF Here WF is
a form of the Weil group [T] of F , and G is the connected (complex) Langlands dual group
[B] of G, on which WF acts via the absolute Galois group of F. If H is another reductive
group over F and there is an admissible map H x WF G x WF, then composing with
PH '• WF —+ H x WF we get p : WF G x VT/?, and by the functoriality conjecture we would
expect a "lifting" map RepF(H) —RepF(G)-
The trace formula has been used to establish the lifting in a few cases. For a test func-
tion / = g/„ G C£°(G(A)), the convolution operator r(f) maps cj) in L2(G(F)\G(A)) to
the function whose value at h G G(A) is fG,A\ f(g)f(hg)dg. It is an integral operator with
kernel Kf(x,y) which has geometric expansion XXeG(F) f(x~liy)i a n d spectral expansion
Here TT ranges over the set of the irreducible direct summands of
as a module under the action of G(A) by multiplication on the right, and 0 ranges over an
orthonormal basis of smooth vectors. Integrating over x = y G G(F)\G(A) we obtain the trace
formula J2n ^T7r(f) = J1G/~ ^ / ( T ) - Here Gj ~ denotes the set of conjugacy classes in G(F),
and 3/(7) = JG(A)/Z( ) f(x7x~1)dx is an orbital integral of / . In this outline we ignore all
questions of convergence, which make the development of the trace formula such a formidable
To develop a theory of liftings of representations from the group H to G, one develops a
trace formula for a test function / # on H(A), of the form J27VH tr7r#(///) = J2H/~ ^ * / H ( 7 ^ ) -
One then tries to compare the geometric sides of the two trace formulae. For this one needs:
(1) A notion of a norm map N : {G/ ~ } {H/ ~ } , sending a stable conjugacy class 7 in
G(F) to JH in H(F), locally and globally. This has been defined by Kottwitz-Shelstad [KS]
in our context.
(2) A statement of transfer of orbital integrals, asserting that given a test function / G
° ° ( ( J ( F ) ), where F is a local field, there exists a test function / # , and given / # there is an
/ , with "matching orbital integrals", namely $/(7) = $fH(N^).
The global test function / is a product of local functions which are almost all the unit
element I K of the Hecke algebra of spherical (bi-invariant by a standard maximal compact
subgroup K of the local group G(F) (K is hyperspecial, [Ti, 3.9.1]) functions on G(F). Hence
one must have also the statement that:
(3) $1^(7) = &iK (N^) for all (regular) 7. This statement is called the fundamental
lemma. It is a necessary initial point for the comparison to exist.
Further, the admissible map H x WF G x WF defines a lifting map for unramified
representations from H(F) to G(F), and via the Satake transform a dual map from the Hecke
algebra of G (locally) to the Hecke algebra of i7, and one needs:
(4) An extended fundamental lemma, relating the orbital integrals of the corresponding
spherical functions.
Received by the editor February 5, 1997, and in revised form August 21, 1997.
Previous Page Next Page