Bourbaki

Proposition 22

Tag 0AA2, permanent. Cite it as [Bourbaki, Tag 0AA2].

Lie Groups and Lie Algebras, chapter III, § 3. Passage from a Lie group to its Lie algebra

If g∈Gg \in G, the transform of DtD_t under g is Dεg∗t∗εg−1D_{\varepsilon_g * t * \varepsilon_g^{-1}}.

The value of this transform at gxgx is

τ(g)∗(Dt(x))=τ(g)∗(t∗εx)=εg∗(t∗εx)(Proposition 14 (i))=(εg∗t∗εg−1)∗εgx(Propositions 1 and 2)=Dεg∗t∗εg−1(gx). \begin{align*} \tau(g)_*(D_t(x)) &= \tau(g)_*(t * \varepsilon_x) \\ &= \varepsilon_g * (t * \varepsilon_x) \quad \text{(Proposition 14 (i))} \\ &= (\varepsilon_g * t * \varepsilon_g^{-1}) * \varepsilon_{gx} \quad \text{(Propositions 1 and 2)} \\ &= D_{\varepsilon_g * t * \varepsilon_g^{-1}}(gx). \end{align*}

Let (x,g)↦μ(x,g)=xg(x, g) \mapsto \mu(x, g) = xg be a law of right operation of class C′C' of G on X. Let s≤rs \leq r and t∈Us(G)t \in U_s(G). For all x∈Xx \in X, εx∗t∈Tx(s)(X)\varepsilon_x * t \in T^{(s)}_x(X). The mapping x↦εx∗tx \mapsto \varepsilon_x * t is called the field of distributions defined by t and the action of G on X and is sometimes denoted by DtuD_t^u or simply DtD_t. Let Ω\Omega be an open subset of X. If f:Ω→Ff : \Omega \to F is of class C′C', the function f∗t∨f * t^\vee is denoted by DtfD_t f. Then

(19)(19)
(Dtf)(x)=⟨εx∗t,f⟩(D_t f)(x) = \langle \varepsilon_x * t, f \rangle

and, in the obvious notation,

(20)(20)
Dt∗t′f=Dt(Dt′f)D_{t * t'} f = D_t(D_{t'} f)
(21)(21)
Dt∗t′=Dt∘Dt′.D_{t * t'} = D_t \circ D_{t'}.

Proposition 21 remains valid. Let g∈Gg \in G. The transform of DtD_t under g (that is under the automorphism x↦xgx \mapsto xg of X) is Dεg−1∗t∗εgD_{\varepsilon_g^{-1} * t * \varepsilon_g}.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.