Skip to content
The Lumenary

Practice · First-year graduate

Lie groups and Lie algebras

Lie groups and Lie algebras

Warm-upHuman

What is the dimension of SU(3)SU(3) as a real Lie group?

Lie groups and Lie algebras

Warm-upHuman

Which of these matrices belong to the Lie algebra su(2)\mathfrak{su}(2)? (Choose all that apply.)

Choose all that apply

Lie groups and Lie algebras

CoreHuman

Which element of SL(2,R)SL(2, \R) is not of the form eXe^X with X∈sl(2,R)X \in \mathfrak{sl}(2, \R)?

Choose one

Lie groups and Lie algebras

CoreHuman

SU(2)SU(2) and SO(3)SO(3) have isomorphic Lie algebras. Which property distinguishes the two groups?

Choose one

Lie groups and Lie algebras

CoreHuman

In the classification of irreducible sl(2,C)\mathfrak{sl}(2, \C)-representations, why must the string v,fv,f2v,…v, fv, f^2v, \dots eventually reach 00?

Choose one

Lie groups and Lie algebras

CoreHuman

In the representation V2⊗V2V_2 \otimes V_2 of sl(2,C)\mathfrak{sl}(2, \C), what is the dimension of the eigenspace of hh for the eigenvalue (weight) 00?

Lie groups and Lie algebras

CoreHuman

Decompose V3⊗V1V_3 \otimes V_1 into irreducible representations VnV_n. List the values of nn that occur, separated by commas.

Write elements separated by commas. Order and repeats don’t matter — just like in a set!

Lie groups and Lie algebras

StretchFormal

For real n×nn \times n matrices, with exp the matrix exponential, which of these Lean statements is false in general (so it could not be proved)?

Choose one

Lie groups and Lie algebras

StretchComputational

Write exp_sl2(a, b, c) returning the matrix exponential of X=(abc−a)X = \begin{pmatrix} a & b \\ c & -a \end{pmatrix} as a nested list, using X2=δIX^2 = \delta I with δ=a2+bc\delta = a^2 + bc: eX=C(δ)I+S(δ)Xe^X = C(\delta) I + S(\delta) X, where C=cosh⁡δC = \cosh\sqrt\delta, S=sinh⁡δ/δS = \sinh\sqrt\delta/\sqrt\delta if δ>0\delta > 0; C=cos⁡−δC = \cos\sqrt{-\delta}, S=sin⁡−δ/−δS = \sin\sqrt{-\delta}/\sqrt{-\delta} if δ<0\delta < 0; and C=S=1C = S = 1 if δ=0\delta = 0.

Runs entirely in your browser, in an isolated worker. Nothing is sent to a server.