Le théorème de Paley-Wiener invariant pour les groupes de Lie réductifs. (The invariant Paley-Wiener theorem for reductive Lie groups). (French) Zbl 0584.22005

Clozel, L.; Delorme, P.

Invent. Math. 77, 427-453 (1984).

Let G be a real reductive Lie group satisfying a few extra conditions. Let K be a maximal compact subgroup. Let \(M_ iA_ iN_ i\), \(i=1,...,R\), be representatives of the different classes of cuspidal parabolic subgroups. Let \(\pi_{\delta,\lambda}\), \((\delta,\lambda)\in (M_ i){\hat{\;}}_ d\times {\mathfrak a}^*_{i{\mathbb{C}}}\) be the generalized principal series related to \(M_ iA_ iN_ i\). Let \(C_ c^{\infty}(G,K)\) denote the set of (two-sided) K-finite, compactly supported \(C^{\infty}\)-functions on G. The invariant Fourier transform of \(f\in C_ c^{\infty}(G,K)\) is defined as the function \[ (i,\delta,\lambda)\to F_ i(\delta,\lambda)=<trace\quad \pi_{\delta,\lambda},\quad f>. \] Let PW(\({\mathfrak a}^*_ i)\), the Paley-Wiener space on \({\mathfrak a}^*_ i\), be the space of entire, rapidly decreasing functions of exponential type on \({\mathfrak a}^*_{i{\mathbb{C}}}\), and let \(W_ i\) be the Weyl group for \((G,A_ i)\) which acts on \((M_ i){\hat{\;}}_ d\) and on \({\mathfrak a}^*_{i{\mathbb{C}}}.\)
The main result of the paper, the invariant Paley-Wiener theorem, states that a function \((i,\delta,\lambda)\to F_ i(\delta,\lambda)\) is the invariant Fourier transform of a function f in \(C_ c^{\infty}(G,K)\) if and only if the following three conditions hold: (i) \(F_ i\) has finite support in \(\delta\), (ii) \(\lambda \to F_ i(\delta,\lambda)\) belongs to PW(\({\mathfrak a}^*_ i)\) and (iii) \(F_ i(w\delta,w\lambda)=F_ i(\delta,\lambda)\) for all \(w\in W_ i.\)
The paper also gives a result relating the exponential type to the size of the support. This result about the support has been sharpened by M. Cowling [ibid. 83, 403-404 (1986)].
In an appendix by the first author an application is given of the theorem to the theory of orbital integrals and base change, improving on a result by Shelstad from Schwartz-functions to functions in \(C_ c^{\infty}.\)
There is a mistake in the proof of the main theorem since Lemma 4, which is wrongly attributed to Vogan, is simply false. This lemma is used in the proof of Proposition 2 (ii) and Lemma 11 (ii). In an Erratum, to appear, these two results are proved in another way. In particular, for G connected this is rather easy.
Apart from this the proof is based on a study of the action of U(\({\mathfrak g})^ K\) on the minimal K-types of \(\pi_{\delta,\lambda}\) [cf. P. Delorme, Ann. Sci. Éc. Norm. Supér., IV. Sér. 17, 117-156 (1984; Zbl 0582.22009)] and on Theorem 3, which is derived from Arthur’s Paley- Wiener theorem [cf. J. Arthur, Acta Math. 150, 1-89 (1983; Zbl 0514.22006)], which yield the existence of many functions \(f\in C_ c^{\infty}(G,K)\) of specified K-type and specified invariant Fourier transform. Another and more direct proof of Theorem 3 is given in the paper. This proof relies on a result from Arthur (op. cit.) about multipliers. This multiplier theorem has an elementary proof [cf. P. Delorme, Invent. Math. 75, 9-23 (1984; Zbl 0536.43007)]. But the use of the multiplier theorem involves the fact that Harish-Chandra’s Plancherel measure is tempered. In a paper to appear by the second author and the reviewer a direct elementary proof of Theorem 3 is given.

Reviewer: M.Flensted-Jensen

MSC:

22E30	Analysis on real and complex Lie groups
43A80	Analysis on other specific Lie groups

Keywords:

semisimple Lie group; real reductive Lie group; principal series; Paley- Wiener space; invariant Paley-Wiener theorem; multiplier theorem

Citations:

Zbl 0582.22009; Zbl 0514.22006; Zbl 0536.43007

References:

[1]	Arthur, J.: A Paley-Wiener theorem for real reductive groups, à paraître dans Acta Math. · Zbl 0514.22006
[2]	Arthur, J.: Multipliers and a Paley-Wiener theorem for real reductive groups, a paraître dans Conférence d’analyse harmonique. Salt Lake City: Birkhauser 1982
[3]	Borel, A., Wallach, N.: Continuous cohomology, discrete subgroups, and representations of reductive groups. Ann. of Math. Studies, vol. 94, Princeton U.P. 1980 · Zbl 0443.22010
[4]	Delorme, P.: Multipliers for the convolution algebra of left and rightK-finite compactly supported smooth functions on a semi-simple Lie group. Invent. Math.75, 9-24 (1984) · Zbl 0536.43007
[5]	Delorme, P.: Homomorphismes de Harish-Chandra liés auxK-types minimaux des séries principales généralisées des groupes réductifs réels connexes (preprint)?Faculté des Sciences Marseille-Luminy
[6]	Delorme, P.: Théorème de Type Paley-Wiener pour les groupes de Lie semi-simples réels avec une seule classe de conjugaison de sous-groupes de Cartan. J. Funct. Ana.47, 26-63 (1982) · Zbl 0517.22011
[7]	Harish-Chandra: Harmonic analysis on real reductive groups, I. J. Funct. Anal.19, 104-204 (1975) · Zbl 0315.43002
[8]	Harish-Chandra: Harmonic analysis on real reductive groups, III. Ann. of Math.104, 117-201 (1976) · Zbl 0331.22007
[9]	Knapp, A.: Weyl group of a cuspidal parabolic. Ann. Sc. E.N.S., 4e série8, 275-294 (1975) · Zbl 0305.22010
[10]	Knapp, A.: Commutativity of intertwining operators for semi-simple groups. Compositio Math.46, 33-84 (1982) · Zbl 0488.22027
[11]	Knapp, A., Stein, E.: Intertwining operators for semisimple groups, II. Invent. Math.60, 9-84 (1980) · Zbl 0454.22010
[12]	Knapp, A., Zuckerman, G.: Classification of irreducible tempered representations of semisimple groups. Ann. of Math.116, 389-501 (1982) · Zbl 0516.22011
[13]	Raïs, M.: Action de certains groupes dans des espaces de fonctionsC ?, in: Non-Commutative Harmonic Analysis. Lecture Notes in Math., vol. 466, pp. 147-150. Berlin-Heidelberg-New York: Springer 1975
[14]	Varadarajan, V.S.: Harmonic analysis on real reductive groups. Lecture Notes in Math., vol. 576. Berlin-Heidelberg-New York: Springer 1977 · Zbl 0354.43001
[15]	Vogan, D.: The algebraic structure of the representations of semi-simple Lie Groups I. Ann. of Math.109, 1-60 (1979) · Zbl 0424.22010
[16]	Vogan, D.: The algebraïc structure of the representations of semi-simple Lie groups II. Preprint M.I.T.
[17]	Vogan, D.: Representations of real reductive Lie groups. Progress in Math. Boston: Birkhäuser 1981 · Zbl 0469.22012
[18]	Wallach, N.: Representations of reductive Lie groups. In: Proc. of Symposia in Pure Math.33, (1) AMS, 1979 · Zbl 0421.22006
[19]	Wallach, N.: On the Selberg trace formula in the case of compact quotient. Bull. A.M.S.82, 171 (1976) · Zbl 0351.22008
[20]	Zelobenko, D.P.: Analyse harmonique sur les groupes de Lie semi-simples complexes. Mir. Moscow, 1974 (en russe)
[21]	Clozel, L.: Changement de base pour les représentations tempérées des groupes réductifs résis. Ann. Sc. E.N.S. (4)15, 45-115 (1982) · Zbl 0516.22010
[22]	Langlands, R.P.: Les débuts d’une formule des traces stable, Publications mathématiques de l’université Paris VII (1983)
[23]	Shelstad, D.: Characters and inner forms of a quasi-split group over ?. Compositio Math.39, 11-45 (1979) · Zbl 0431.22011
[24]	D. Shelstad:L-indistinguishability for real groups. Math. Ann.259, 385-430 (1982) · Zbl 0506.22014
[25]	Shelstad, D.: Endoscopic groups and base change ?/?. Pacific Journ. Math.110 (2), 397-416 (1984) · Zbl 0488.22033