— There exists a morphism of Lie groups ν:SU(2,C)→G with the following properties:
a) The image of ν commutes with the kernel of α.
b) For all a∈U, we have
ν(a00aˉ)∈Tandα∘ν(a00aˉ)=a2.
If ν1 and ν2 are two morphisms from SU(2,C) to G with the preceding properties, there exists a∈U such that
ν2=ν1∘Int(a00aˉ).
By Th. 1 and Prop. 6 of §3, no. 6, there exists a morphism of Lie groups
ν:SU(2,C)→Sα that is surjective with discrete kernel. Then
ν−1(T∩Sα) is a maximal torus of
SU(2,C) (§2, no. 3, Prop. 1). Since the maximal tori of
SU(2,C) are conjugate (§2, no. 2, Th. 2), we can assume, replacing
ν by
ν∘Ints (with
s∈SU(2,C)) if necessary, that
ν−1(T∩Sα) is the group of diagonal matrices in
SU(2,C). Then
ν(a00aˉ)∈T for all
a∈U, and the map
(a00aˉ)⟼α∘ν(a00aˉ) is a root of
SU(2,C), and hence is equal to one of the two maps
(a00aˉ)⟼a2 or
(a00aˉ)⟼a−2 (§3, no. 6, formulas (19)). In the first case, the homomorphism
ν has the required properties; in the second case, the homomorphism
ν∘Intθ has them (loc. cit., formulas (18)).
If ν1 and ν2 are two morphisms from SU(2,C) to G satisfying the stated conditions, they both map SU(2,C) into Sα (condition a)), hence are both universal coverings of Sα. Hence, there exists an automorphism φ of SU(2,C) such that ν2=ν1∘φ, and we conclude by using Prop. 9 of no. 4.
It follows from the preceding corollary that the homomorphism νT from U to T, defined by
νT(a)=ν(a00aˉ) for
a∈U, is independent of the choice of
ν. Denote by
Kα∈Γ(T) the image under
Γ(νT) of the element
2πi of
Γ(U)=2πiZ; it is called the
nodal vector associated to the root α. We have
⟨α,Kα⟩=2, in other words (no. 2, formula (2))
δ(α)(Kα)=4πi; since
Kα belongs to the intersection of
t and the
L(Sα)(C), we have
Kα=2πiHδ(α),(13) where
Hδ(α) is the
inverse root associated to the root δ(α) of
(gC,tC) (Chap. VIII, §2, no. 2). In other words, when
Γ(T)⊗R is identified with the dual of
X(T)⊗R via the pairing
⟨,⟩,Kα is identified with the inverse root
α∨∈(X(T)⊗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.