Bourbaki

Lemma 2

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

Lie Groups and Lie Algebras, chapter IX, § 7. Irreducible representations of connected compact Lie groups

Let φ\varphi be a linear representation of the complex Lie algebra gC\mathfrak{g}_{\mathbf{C}} on a finite dimensional complex vector space V. There exists a representation τ\tau of G on V such that L(τ)(C)=φL(\tau )_{(\mathbf{C})}=\varphi if and only if φ\varphi is semi-simple and the weights of tC\mathfrak{t}_{\mathbf{C}} on V belong to δ(X(T))\delta (X(T)).

If there exists a representation τ\tau of G such that L(τ)(C)=φL(\tau )_{(\mathbf{C})}=\varphi, then φ\varphi is semi-simple because G is connected and τ\tau is semi-simple (Chap. III, §6, no. 5, Cor. 2 of Prop. 13), and the weights of tC\mathfrak{t}_{\mathbf{C}} on V belong to the image of δ\delta. Thus, the condition is necessary; we shall prove that it is sufficient. If φ\varphi is semi-simple, V is the direct sum of the Vμ(tC)V_\mu(\mathfrak{t}_{\mathbf{C}}), where μ\mu belongs to the set of weights of tC\mathfrak{t}_{\mathbf{C}} on V (Chap. VII, §2, no. 4, Cor. 3 of Th. 2); if all the weights belong to the image of δ\delta, there exists a representation τT\tau_T of T on V such that L(τT)(C)=φ∣tC:L(\tau_T)_{(\mathbf{C})}=\varphi |\mathfrak{t}_{\mathbf{C}}: indeed, it suffices to put τT(t)v=tλv\tau_T(t)v=t^{\lambda}v for t∈Tt\in T and v∈Vδ(λ)(tC)v\in V_{\delta(\lambda)}(\mathfrak{t}_{\mathbf{C}}). The lemma now follows from Prop. 8 of §2, no. 6.

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

Cites

Transcribed from the printed volume. Not translated.