Bourbaki

Corollary

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

Lie Groups and Lie Algebras, chapter IX, § 4. Root system associated to a compact group

— There exists a morphism of Lie groups ν:SU(2,C)→G\nu:\mathbf{SU}(2,\mathbf C)\to G with the following properties:

a) The image of ν\nu commutes with the kernel of α\alpha.

b) For all a∈Ua\in\mathbf U, we have

ν(a00aˉ)∈Tandα∘ν(a00aˉ)=a2. \nu\begin{pmatrix}a&0\\0&\bar a\end{pmatrix}\in\mathbf T \quad\text{and}\quad \alpha\circ\nu\begin{pmatrix}a&0\\0&\bar a\end{pmatrix}=a^2.

If ν1\nu_1 and ν2\nu_2 are two morphisms from SU(2,C)\mathbf{SU}(2,\mathbf C) to GG with the preceding properties, there exists a∈Ua\in\mathbf U such that

ν2=ν1∘Int⁡(a00aˉ). \nu_2=\nu_1\circ\operatorname{Int} \begin{pmatrix}a&0\\0&\bar a\end{pmatrix}.

By Th. 1 and Prop. 6 of §3, no. 6, there exists a morphism of Lie groups

ν:SU(2,C)→Sα \nu:\mathbf{SU}(2,\mathbf C)\to S_\alpha
that is surjective with discrete kernel. Then ν−1(T∩Sα)\nu^{-1}(\mathbf T\cap S_\alpha) is a maximal torus of SU(2,C)\mathbf{SU}(2,\mathbf C) (§2, no. 3, Prop. 1). Since the maximal tori of SU(2,C)\mathbf{SU}(2,\mathbf C) are conjugate (§2, no. 2, Th. 2), we can assume, replacing ν\nu by ν∘Int⁡s\nu\circ\operatorname{Int}s (with s∈SU(2,C)s\in\mathbf{SU}(2,\mathbf C)) if necessary, that ν−1(T∩Sα)\nu^{-1}(\mathbf T\cap S_\alpha) is the group of diagonal matrices in SU(2,C)\mathbf{SU}(2,\mathbf C). Then
ν(a00aˉ)∈T \nu\begin{pmatrix}a&0\\0&\bar a\end{pmatrix}\in\mathbf T
for all a∈Ua\in\mathbf U, and the map
(a00aˉ)⟼α∘ν(a00aˉ) \begin{pmatrix}a&0\\0&\bar a\end{pmatrix} \longmapsto \alpha\circ\nu\begin{pmatrix}a&0\\0&\bar a\end{pmatrix}
is a root of SU(2,C)\mathbf{SU}(2,\mathbf C), and hence is equal to one of the two maps
(a00aˉ)⟼a2 \begin{pmatrix}a&0\\0&\bar a\end{pmatrix}\longmapsto a^2
or
(a00aˉ)⟼a−2 \begin{pmatrix}a&0\\0&\bar a\end{pmatrix}\longmapsto a^{-2}
(§3, no. 6, formulas (19)). In the first case, the homomorphism ν\nu has the required properties; in the second case, the homomorphism ν∘Int⁡θ\nu\circ\operatorname{Int}\theta has them (loc. cit., formulas (18)).

If ν1\nu_1 and ν2\nu_2 are two morphisms from SU(2,C)\mathbf{SU}(2,\mathbf C) to GG satisfying the stated conditions, they both map SU(2,C)\mathbf{SU}(2,\mathbf C) into SαS_\alpha (condition a)), hence are both universal coverings of SαS_\alpha. Hence, there exists an automorphism φ\varphi of SU(2,C)\mathbf{SU}(2,\mathbf C) such that ν2=ν1∘φ\nu_2=\nu_1\circ\varphi, and we conclude by using Prop. 9 of no. 4.

It follows from the preceding corollary that the homomorphism νT\nu_{\mathbf T} from U\mathbf U to T\mathbf T, defined by

νT(a)=ν(a00aˉ) \nu_{\mathbf T}(a)=\nu\begin{pmatrix}a&0\\0&\bar a\end{pmatrix}
for a∈Ua\in\mathbf U, is independent of the choice of ν\nu. Denote by Kα∈Γ(T)K_\alpha\in\Gamma(\mathbf T) the image under Γ(νT)\Gamma(\nu_{\mathbf T}) of the element 2πi2\pi i of Γ(U)=2πiZ\Gamma(\mathbf U)=2\pi i\mathbf Z; it is called the nodal vector associated to the root α\alpha. We have ⟨α,Kα⟩=2\langle\alpha,K_\alpha\rangle=2, in other words (no. 2, formula (2)) δ(α)(Kα)=4πi\delta(\alpha)(K_\alpha)=4\pi i; since KαK_\alpha belongs to the intersection of t\mathfrak t and the L(Sα)(C)\mathscr L(S_\alpha)(\mathbf C), we have
Kα=2πiHδ(α),(13) K_\alpha=2\pi iH_{\delta(\alpha)}, \tag{13}
where Hδ(α)H_{\delta(\alpha)} is the inverse root associated to the root δ(α)\delta(\alpha) of (gC,tC)(\mathfrak g_{\mathbf C},\mathfrak t_{\mathbf C}) (Chap. VIII, §2, no. 2). In other words, when Γ(T)⊗R\Gamma(\mathbf T)\otimes\mathbf R is identified with the dual of X(T)⊗RX(T)\otimes \mathbf{R} via the pairing ⟨,⟩,Kα\langle ,\rangle ,K_{\alpha} is identified with the inverse root α∨∈(X(T)⊗R)∗\alpha^{\vee}\in (X(T)\otimes \mathbf{R})^*.

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.