Bourbaki

Remark

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

Lie Groups and Lie Algebras, chapter IX, § 3. Compact forms of complex semi-simple Lie algebras

We have seen above that SU(2,C)\mathbf{S}\mathbf{U}(2,\mathbf{C}) is simply-connected and that π1(SO(3,R))\pi_1(\mathbf{S}\mathbf{O}(3,\mathbf{R})) is of order 2. We shall see much later that these results generalize to SU(n,C)(n≥1)\mathbf{S}\mathbf{U}(n,\mathbf{C}) (n\geq 1) and SO(n,R)(n≥3)\mathbf{S}\mathbf{O}(n,\mathbf{R}) (n\geq 3), respectively (cf. also §3, Exerc. 4 and 5).

Recall (Chap. VIII, §1, no. 1) that the canonical basis of sl(2,C)\mathfrak{s}\mathfrak{l}(2,\mathbf{C}) is the basis (X+,X−,H)(X_+, X_-, H), where

(01)(00)(1(01)(00)(1 0 ))

X+=X_+= 0 0 ,X−=−1, X_-=-1 0 ,H=, H= 0 −1-1.

We thus obtain a basis (U,V,iH)(U,V,iH) of su(2,C)\mathfrak{su}(2,\mathbf C), also called canonical, by putting

U=X++X−=(01−10),V=i(X+−X−)=(0ii0), U=X_++X_-= \begin{pmatrix} 0&1\\ -1&0 \end{pmatrix}, \qquad V=i(X_+-X_-)= \begin{pmatrix} 0&i\\ i&0 \end{pmatrix},
iH=(i00−i). iH= \begin{pmatrix} i&0\\ 0&-i \end{pmatrix}.

We have

[iH,U]=2V,[iH,V]=−2U,[U,V]=2iH.(13) [iH,U]=2V,\qquad [iH,V]=-2U,\qquad [U,V]=2iH. \tag{13}

If B denotes the Killing form of su(2,C)\mathfrak{su}(2,\mathbf C) an immediate calculation gives

B(aU+bV+ciH,a′U+b′V+c′iH)=−8(aa′+bb′+cc′),(14) \mathrm{B}(aU+bV+ciH,a'U+b'V+c'iH)=-8(aa'+bb'+cc'), \tag{14}
so that, if we identify su(2,C)\mathfrak{su}(2,\mathbf C) with R3\mathbf R^3 by means of the canonical basis, the adjoint representation of SU(2,C)\mathbf{SU}(2,\mathbf C) defines a homomorphism SU(2,C)→SO(3,R)\mathbf{SU}(2,\mathbf C)\to\mathbf{SO}(3,\mathbf R) (cf. above).

Further, note that RiH\mathbf RiH is a Cartan subalgebra of su(2,C)\mathfrak{su}(2,\mathbf C), that the maximal torus T of SU(2,C)\mathbf{SU}(2,\mathbf C) that corresponds to it consists of the diagonal matrices

(a00aˉ), \begin{pmatrix} a&0\\ 0&\bar a \end{pmatrix},
where aaˉ=1a\bar a=1, and that the exponential map
exp⁡:RiH⟶T \exp:\mathbf RiH\longrightarrow T
maps xHxH, for x∈Rix\in\mathbf Ri, to the matrix
(exp⁡(x)00exp⁡(−x)), \begin{pmatrix} \exp(x)&0\\ 0&\exp(-x) \end{pmatrix},
and thus has kernel Z.K\mathbf Z.K, where K is the element of su(2,C)\mathfrak{su}(2,\mathbf C) defined by
K=2πiH=(2πi00−2πi).(15) K=2\pi iH= \begin{pmatrix} 2\pi i&0\\ 0&-2\pi i \end{pmatrix}. \tag{15}

Further, the centre of SU(2,C)\mathbf{SU}(2,\mathbf C) consists of the identity and exp⁡(K/2)\exp(K/2).

Put

θ=(0−110)∈SU(2,C).(16) \theta= \begin{pmatrix} 0&-1\\ 1&0 \end{pmatrix} \in\mathbf{SU}(2,\mathbf C). \tag{16}

By Chap. VIII, §1, no. 5,

θ2=(−100−1),(Int θ)t=t−1,t∈T,(17) \theta^2= \begin{pmatrix} -1&0\\ 0&-1 \end{pmatrix}, \qquad (\mathrm{Int}\,\theta)t=t^{-1},\quad t\in T, \tag{17}
(Ad θ)X+=X−,(Ad θ)X−=X+,(Ad θ)U=U,(Ad θ)V=−V.(18) (\mathrm{Ad}\,\theta)X_+=X_-, \qquad (\mathrm{Ad}\,\theta)X_-=X_+, \qquad (\mathrm{Ad}\,\theta)U=U, \qquad (\mathrm{Ad}\,\theta)V=-V. \tag{18}

Finally, for t=(a00aˉ)∈Tt= \begin{pmatrix} a&0\\ 0&\bar a \end{pmatrix} \in T, we have

(Ad t)X+=a2X+,(Ad t)X−=a−2X−,(Ad t)H=H,(19) (\mathrm{Ad}\,t)X_+=a^2X_+, \qquad (\mathrm{Ad}\,t)X_-=a^{-2}X_-, \qquad (\mathrm{Ad}\,t)H=H, \tag{19}
(Ad t)U=R(a2)U+I(a2)V,(Ad t)V=−I(a2)U+R(a2)V.(20) (\mathrm{Ad}\,t)U=\mathscr{R}(a^2)U+\mathscr{I}(a^2)V, \qquad (\mathrm{Ad}\,t)V=-\mathscr{I}(a^2)U+\mathscr{R}(a^2)V. \tag{20}

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.