THE PLANCHEREL FORMULA, THE PLANCHEREL THEOREM, AND THE FOURIER TRANSFORM OF ORBITAL INTEGRALS REBECCA A. HERB (UNIVERSITY OF MARYLAND) AND PAUL J. SALLY, JR. (UNIVERSITY OF CHICAGO) Abstract. We discuss various forms of the Plancherel Formula and the Plancherel Theorem on reductive groups over local fields. Dedicated to Gregg Zuckerman on his 60th birthday 1. Introduction The classical Plancherel Theorem proved in 1910 by Michel Plancherel can be stated as follows: 2 Theorem 1.1. Let f L (R) and define φn : R C for n N by ∈ n → ∈ 1 iyx φn(y)= f(x)e dx. √2π Z−n 2 2 The sequence φn is Cauchy in L (R) and we write φ = limn→∞ φn (in L ). Define ψn : R C for n N by → ∈ n 1 −iyx ψn(x)= φ(y)e dy. √2π Z−n 2 2 The sequence ψn is Cauchy in L (R) and we write ψ = limn→∞ ψn (in L ). Then, ψ = f almost everywhere, and f(x) 2 dx = φ(y) 2 dy. ZR | | ZR | | arXiv:1101.3753v1 [math.RT] 19 Jan 2011 This theorem is true in various forms for any locally compact abelian group. It is often proved by starting with f L1(R) L2(R), but it is really a theorem about square integrable functions. ∈ ∩ There is also a “smooth” version of Fourier analysis on R, motivated by the work of Laurent Schwartz, that leads to the Plancherel Theorem. Definition 1.2 (The Schwartz Space). The Schwartz space, (R), is the collection of complex-valued functions f on R satisfying: S (1) f C∞(R). (2) f and∈ all its derivatives vanish at infinity faster than any polynomial. That is, lim x kf (m)(x) = 0 for all k,m N. |x|→∞ | | ∈ Fact 1.3. The Schwartz space has the following properties: Date: January 20, 2011. 1 2 HERB–SALLY (1) The space (R) is dense in Lp(R) for 1 p< . (2) The space S(R) is not dense in L∞(R). ≤ ∞ (3) The space S(R) is a vector space over C. (4) The space S(R) is an algebra under both pointwise multiplication and con- volution. S (5) The space (R) is invariant under translation. S For f (R), we define the Fourier transform as usual by ∈ S 1 f(y)= f(x)eiyxdx. √2π ZR Of course, there are no convergenceb problems here, and we have 1 f(x)= f(y)e−iyxdy. √2π ZR b This leads to the Plancherel Theorem for functions in (R) by setting f(x) = S f( x) and considering f f at 0. Using the fact that the Fourier transform carries e convolution− product to function∗ product, we have e 1 2 f 2 = f f (0) = f f(y)dy = f . h ∗ i √2π ZR ∗ e ∞ Re b It is often simpler to work on the space Cc ( ) of complex-valued, compactly supported, infinitely differentiable functions on R. However, nonzero functions in ∞ R ∞ R Cc ( ) do not have Fourier transforms in Cc ( ). On the other hand, the Fourier transform is an isometric isomorphism from (R) to (R). ∞ R R S S The spaces Cc ( ) and ( ) can be turned into topological vector spaces so S∞ R R that the embedding from Cc ( ) into ( ) is continuous. However, the topology ∞ R S R on Cc ( ) is not the relative topology from ( ). A continuous linear functional on ∞ R R S Cc ( ) is a distribution on , and this distribution is tempered if it can be extended to a continuous linear functional on (R) with the appropriate topology. This situation will arise again in our discussionS of the Plancherel Formula on reductive groups. Work on the Plancherel Formula for non-abelian groups began in earnest in the late 1940s. There were two distinct approaches. The first, for separable, locally compact, unimodular groups, was pursued by Mautner [63], Segal [82], and others. The second, for semisimple Lie groups, was followed by Gel′fand–Naimark [23], and Harish–Chandra [24], along with others. Segal’s paper [82] and Mautner’s paper [63] led eventually to the following statement (see [21], Theorem 7.44). Theorem 1.4. Let G be a separable, unimodular, type I group, and let dx be a fixed Haar measure on G. There exists a positive measure µ on G (determined uniquely up to a constant that depends only on dx) such that, for f L1(G) L2(G), π(f) ∈b ∩ is a Hilbert–Schmidt operator for µ-almost all π G, and ∈ 2 2 b f(x) dx = π(f) HS dµ(π). b ZG | | ZG Here, of course, G denotes the set of equivalence classes of irreducible unitary representations of G. b At about the same time, Harish-Chandra stated the following theorem in his paper Plancherel Formula for Complex Semisimple Lie Groups. THE PLANCHEREL FORMULA 3 Theorem 1.5. Let G be a connected, complex, semisimple Lie group. Then, for f C∞(G), ∈ c ρ(H)+ρ(H) −1 f(1) = lim DαDα e f u exp(H)nu dudn . H→0 Z αY∈P K×N An explanation of the notation here can be found in [24]. We do note two ∞ things. First of all, f is taken to be in Cc (G), and the formula for f(1) is the limit of a differential operator applied to what may be regarded as a Fourier inversion formula for the orbital integral over a conjugacy class of exp(H) in G. It should also be mentioned that not all irreducible unitary representations are contained in the support of the Plancherel measure for complex semisimple Lie groups. In particular, the complementary series are omitted. In this note, we will trace the evolution of the Plancherel Formula over the past sixty years. For real groups, we observe that the original Plancherel Formula and the Fourier inversion formula ultimately became a decomposition of the Schwartz space into orthogonal components indexed by conjugacy classes of Cartan subgroups. While this distinction might not have been clear for real semisimple Lie groups, it certainly appeared in the development of the Plancherel Theorem for reductive p- adic groups by Harish-Chandra in his paper The Plancherel Formula for Reductive p-adic Groups in [40]. See also the papers of Waldspurger [93] and Silberger [89], [90]. For p-adic groups, the lack of information about irreducible characters and suitable techniques for Fourier inversion has made the derivation of an explicit Plancherel Formula very difficult. In this paper, the authors have drawn extensively on the perceptive description of Harish-Chandra’s work by R. Howe, V. S. Varadarajan, and N. Wallach (see [39]). The authors would like to thank Jonathan Gleason and Nick Ramsey for their assistance in preparing this paper. We also thank David Vogan for his valuable comments on the first draft. 2. Orbital Integrals and the Plancherel Formula Let G be a reductive group over a local field. For γ G, let G be the centralizer ∈ γ of γ in G. Assume Gγ is unimodular. For f “smooth” on G, define −1 Λγ (f)= f xγx dx,˙ Z G/Gγ with dx˙ a G-invariant measure on G/Gγ. y Then, Λγ is an invariant distribution on G, that is, Λγ(f)=Λγ( f) where yf(x)= f yxy−1 for y G. A major problem in harmonic analysis on reductive ∈ groups is to find the Fourier transform of the invariant distribution Λγ . That is, find a linear functional Λγ such that c Λγ(f)= Λγ fˆ , where fˆis a function defined on the space ofc tempered invariant “eigendistributions” on G. This space should include the tempered irreducible characters of G along with other invariant distributions. For example, if Π is an admissible representation of G with character ΘΠ, then fˆ(Π) = tr(Π(f)) = f(x)ΘΠ(x)dx. ZG 4 HERB–SALLY The nature of the other distributions is an intriguing problem. The hope is that the Plancherel Formula for G can be obtained through some limiting process for Λγ. R For example, if G = SU(1, 1) ∼= SL(2, ), we let eiθ0 0 γ = ,θ =0, π. 0 e−iθ0 0 Then, γ is a regular element in G, and eiθ 0 G = T = 0 θ< 2π . γ 0 e−iθ ≤ After a simple computation, we get T F (γ)= eiθ0 e−iθ0 Λ (f) f − γ 1 = π(+,+)( f) π(+,−)(f) sgn(n)χ (f)e−inθ0 −2 − − ω(n) nX=0 i sinh (ν(θ π/2)) cosh(ν(θ π/2)) + π(+,ν)(f) 0 − dν π(−,ν)(f) 0 − dν . 4 ZR sinh(νπ/2) − ZR cosh(νπ/2) The parameter n = 0 indexes the discrete series and the parameter ν indexes the principal series representations of G. The terms π(+,+)(f) and π(+,−)(f) represent the characters of the irreducible components of the reducible principal series, and we obtain a “singular invariant eigendistribution” on G by subtracting one from the other and dividing by 2. This is exactly the invariant distribution that makes har- monic analysis work. It is called a supertempered distribution by Harish-Chandra. This leads directly to the Plancherel Formula. By a theorem of Harish-Chandra, it follows that 1 d T lim Ff (γ) =8πf(1) θ→0 i dθ ∞ = n χ (f)+1/2 π(+,ν)(f)ν coth(π/2ν)dν | | ω(n) Z nX∈Z 0 ∞ +1/2 π(−,ν)(f)ν tanh(π/2ν)dν. Z0 The representations of SL(2, R) were first determined by Bargmann [8]. In his 1952 paper [25], Harish-Chandra gave hints to the entire picture for Fourier analysis on real groups.