Bourbaki

Proposition 2

Tag 01H0, permanent. Cite it as [Bourbaki, Tag 01H0].

Lie Groups and Lie Algebras, chapter IX, § 8. Fourier transform

Let m→∥m∥m \rightarrow \|m\| be a norm on the R\mathbf{R}-vector space R⊗X(T)\mathbf{R}\otimes X(T) and Γ\Gamma a Casimir element of G. Let φ\varphi be a function on G^\widehat{G} with positive real values.

a) The following conditions are equivalent:

(i) There exists an integer n>0n >0 such that φ(u)≼(∥λ(u)∥+1)n\varphi (u)\preccurlyeq (\|\lambda (u)\|+ 1)^n (resp. for every integer n>0n >0, we have φ(u)≼(∥λ(u)∥+1)−n\varphi (u)\preccurlyeq (\|\lambda (u)\|+ 1)^{-n}).

(ii) There exists an integer n>0n >0 such that φ(u)≼(Γ~(u)+1)n\varphi (u)\preccurlyeq ( \widetilde{\Gamma}(u) + 1)^n (resp. for every integer n>0n >0, we have φ(u)≼(Γ~(u)+1)−n\varphi (u)\preccurlyeq ( \widetilde{\Gamma}(u) + 1)^{-n}).

b) If G is semi-simple, conditions (i) and (ii) are also equivalent to:

(iii) There exists an integer n>0n >0 such that φ(u)≼d(u)n\varphi (u)\preccurlyeq d(u)^n (resp. for every integer n>0n >0, we have φ(u)≼d(u)−n\varphi (u)\preccurlyeq d(u)^{-n}).

Note first of all that condition (i) is clearly independent of the choice of norm. Thus we can use the norm defined by the quadratic form QΓQ_{\Gamma} associated to Γ(\Gamma (§7, no. 6, Prop. 4). Then

0≤Γ~(u)=∥λ(u)+ρ∥2−∥ρ∥2 0\leq \widetilde{\Gamma}(u) =\|\lambda (u) +\rho \|^2- \|\rho \|^2

so Γ~(u)+1≼(∥λ(u)∥+1)2≼Γ~(u)+1\widetilde{\Gamma}(u) + 1\preccurlyeq (\|\lambda (u)\|+ 1)^2\preccurlyeq \widetilde{\Gamma}(u) + 1, hence a).

Further, if G is semi-simple,

∥λ(u)+ρ∥≼d(u)≼∥λ(u)+ρ∥N\|\lambda (u) +\rho \|\preccurlyeq d(u)\preccurlyeq \|\lambda (u) +\rho \|^N, where N=1/N = 1/2(dim G−G- dim T)

(§7, no. 5, Cor. 1 of Th. 3), so ∥λ(u)∥+1≼d(u)≼(∥λ(u)∥+1)N\|\lambda (u)\|+ 1\preccurlyeq d(u)\preccurlyeq (\|\lambda (u)\|+ 1)^N, hence b).

It follows from Prop. 2 that condition (i) is independent of the choice of maximal torus, chamber, and norm, and that condition (ii) is independent of the choice of Casimir element. A function φ\varphi satisfying conditions (i) and (ii) is said to be moderately increasing (resp. rapidly decreasing). The product of two moderately increasing functions is moderately increasing; the product of a moderately increasing function and a rapidly decreasing function is rapidly decreasing. If φ\varphi is rapidly decreasing, the family (φ(u))u∈G^(\varphi (u))_{u\in\widehat{G}} is summable.

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.