Lie algebra of a matrix Lie group

[6/83%]
Show
LaTeX

The automorphisms of the Lie algebra L(G)L(G) of a given linear Lie group GG in turn form a linear Lie group Aut⁡(L(G))\operatorname {Aut}(L(G)). If Γt\Gamma_{t} is some curve in Aut⁡(L(G))\operatorname {Aut}(L(G)), then Γt[a,b]=[Γta,Γtb]\Gamma_{t}[\mathbf{a}, \mathbf{b}]=\left[\Gamma_{t} \mathbf{a}, \Gamma_{t} \mathbf{b}\right]. Differentiation at t=0t=0 leads, with the notation D=(ddtΓt)t=0\mathcal{D}=\left(\frac{d}{d t} \Gamma_{t}\right)_{t=0} (we assume Γ0=E\Gamma_{0}=E), to the relation

D[a,b]=[Da,b]+[a,Db] \mathcal{D}[\mathbf{a}, \mathbf{b}]=[\mathcal{D} \mathbf{a}, \mathbf{b}]+[\mathbf{a}, \mathcal{D} \mathbf{b}]

which allows one to call D\mathcal{D} a derivation of the Lie algebra L(G)L(G). We have already met this notion in [ВА II].

Prove that if D\mathcal{D} is a derivation of the Lie algebra L(G)L(G), then exp⁡D\exp \mathcal{D} is an automorphism of it.

?

The unitary matrices are elements of the Lie group U(n)U(n). The corresponding Lie algebra u(n)u(n) is the set of matrices with the condition X∗=−XX^{*} = -X. An important subgroup of U(n)U(n) is the Lie group SU(n)SU(n) with the condition that det⁡(U)=1\operatorname {det}\left(U\right) = 1. The unitary matrices

12(111−1),(0110) \frac{1}{\sqrt{2}} \begin{pmatrix} 1 & 1 \\ 1 & -1 \end{pmatrix}, \qquad \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}

are not elements of the Lie group SU(2)SU(2) since the determinants of these unitary matrices are −1-1. The corresponding Lie algebra su(n)su(n) of the Lie group SU(n)SU(n) are the n×nn \times n matrices given by

X∗=−X,tr⁡(X)=0. X^{*} = -X, \qquad \operatorname {tr}(X) = 0.

Let σ1,σ2,σ3\sigma_{1}, \sigma_{2}, \sigma_{3} be the Pauli spin matrices. Then any unitary matrix in U(2)U(2) can be represented by

U(α,β,γ,δ)=eiαI2e−iβσ3/2e−iγσ2/2e−iδσ3/2 U(\alpha , \beta , \gamma , \delta ) = e^{i\alpha I_{2}}e^{-i\beta \sigma _{3}/2}e^{-i\gamma \sigma _{2}/2}e^{-i\delta \sigma _{3}/2}

where 0≤α<2π0 \leq \alpha < 2\pi, 0≤β<2π0 \leq \beta < 2\pi, 0≤γ≤π0 \leq \gamma \leq \pi and 0≤δ<2π0 \leq \delta < 2\pi. Calculate the right-hand side.

?

Consider the Lie group T3T_{3} consisting of all 4×44 \times 4 matrices

g(z1,z2,z3)=(100z30e−z30z200ez3z10001),z1,z2,z3∈C. g(z_{1}, z_{2}, z_{3}) = \begin{pmatrix} 1 & 0 & 0 & z_{3} \\ 0 & e^{-z_{3}} & 0 & z_{2} \\ 0 & 0 & e^{z_{3}} & z_{1} \\ 0 & 0 & 0 & 1 \end{pmatrix}, \qquad z_{1}, z_{2}, z_{3} \in \mathbb {C} .
?
(i)

Find the inverse g−1(z1,z2,z3)g^{-1}(z_{1}, z_{2}, z_{3}).

(ii)

Find the product g(z1,z2,z3)g(w1,w2,w3)g(z_{1}, z_{2}, z_{3})g(w_{1}, w_{2}, w_{3}).

(iii)

Find a basis for the Lie algebra t3t_{3} of the Lie group T3T_{3} and the commutators.

SU(2)SU(2) is the Lie group of all 2×22 \times 2 unitary unimodular matrices, i.e., the group of all matrices of the form

A=(ab−bˉaˉ),∣a∣2+∣b∣2=1 A = \begin{pmatrix} a & b \\ -\bar{b} & \bar{a} \end{pmatrix}, \qquad \left|a\right|^{2} + \left|b\right|^{2} = 1

where a,b∈Ca, b \in \mathbb {C} and aˉ\bar{a} is the complex conjugate of aa.

?
(i)

Find the inverse of AA.

(ii)

The Lie algebra su(2)\mathfrak {su}(2) of the Lie group SU(2)SU(2) can be identified with the vector space of all 2×22 \times 2 complex skew-hermitian matrices of trace 0. A basis of su(2)\mathfrak {su}(2) is given by

G1=(0i/2i/20)=i2σx, G_{1} = \begin{pmatrix} 0 & i/2 \\ i/2 & 0 \end{pmatrix} = \frac{i}{2}\sigma _{x}, G2=(01/2−1/20)=i2σy, G_{2} = \begin{pmatrix} 0 & 1/2 \\ -1/2 & 0 \end{pmatrix} = \frac{i}{2}\sigma _{y}, G3=(−i/200i/2)=−i2σz . G_{3} = \begin{pmatrix} -i/2 & 0 \\ 0 & i/2 \end{pmatrix} = -\frac{i}{2}\sigma _{z} \, .

Find the commutation relations [G1,G2],[G3,G1],[G2,G3][G_{1},G_{2}], [G_{3},G_{1}], [G_{2},G_{3}].

(iii)

Find the matrix

M=exp(ϕ1G3)exp(θG1)exp(ϕ2G3) . M = \mathrm{exp}\left(\phi _{1}G_{3}\right)\mathrm{exp}\left(\theta G_{1}\right)\mathrm{exp}\left(\phi _{2}G_{3}\right) \, .

Consider the Lie group O(2,R)O(2,\mathbb {R}) and its Lie algebra o(2,R)\mathfrak {o}(2,\mathbb {R}). Show that O(2,R)O(2,\mathbb {R}) is not commutative. Discuss the properties of o(2,R)\mathfrak {o}(2,\mathbb {R}).

?

References

[Кос04] Кострикин А.И. Основные структуры алгебры. ФИЗМАТЛИТ, 2004.
[StHa17] Steeb W., Hardy Y. Problems and Solutions in Introductory and Advanced Matrix Calculus. 2nd ed., World Scientific Publishing, 2017.
[STH12] Steeb W., Tanski I., Hardy Y. Problems and Solutions for Groups, Lie Groups, Lie Algebras with Applications. World Scientific Publishing, 2012.
[Вин14] Винберг Э.Б. Курс алгебры. 2-е изд., МЦНМО, 2014.