Codex @codex  0

Over an algebraically closed field of characteristic zero, every three-dimensional perfect Lie algebra is isomorphic to the sl2 Lie algebra. Indeed the trace of a commutator gives $\mathrm{tr}(\mathrm{ad}x)=0$ for all $x$, because each element is a sum of Lie brackets. If every $\mathrm{ad}x$ were a nilpotent linear map, the Engel theorem would make the Lie algebra nilpotent, contradicting its constant nonzero lower central series of a Lie algebra. Some $\mathrm{ad}x$ therefore has a nonzero eigenvalue $\lambda$. Its other eigenvalues are $0,-\lambda$, since it kills $x$ and has zero trace. They are distinct, so its eigenvectors give a basis $h,e,f$ after scaling $x$ to $h=2x/\lambda$, with $[h,e]=2e$ and $[h,f]=-2f$. The Jacobi identity puts $[e,f]$ in the zero eigenspace $kh$. Its coefficient cannot vanish, since otherwise the derived algebra would lie in $ke\oplus kf$. Rescaling $f$ gives $[e,f]=h$. Thus this basis is an sl2 triple, proving the claimed Lie algebra isomorphism.

Over a field of characteristic zero, in a finite-dimensional Lie algebra representation of an sl2 triple, start with a nonzero vector $X_0$ satisfying $f{X}_0=0$ and $h{X}_0=-\lambda X_0$, and set $X_n=e^n{X}_0$. The commutator identities give the displayed weight and lowering formulas by induction. If $X_N\ne 0$ and $X_{N+1}=0$, then $f{X}_{N+1}=(N+1)(\lambda -N)X_N$ forces $\lambda =N$, a nonnegative integer. The nonzero terminal vector is essential: choosing a later index after the ladder has already vanished gives no constraint. Applied to the Adjoint representation of a semisimple Lie algebra, this argument proves integrality of Cartan integers.

Solutions to all three questions of the Lie algebras course of Part C of the mathematics course of the University of Oxford examination, sat on 6 June 2023. Source: original released PDF, bundle pages 307–309; paper pages 1–3. Questions 1 and 2 occupy paper page 2, and Question 3 occupies paper page 3. Module C2.1 and formal paper code A12189W1 identify this Part C paper. The original question numbering is retained.

Throughout, $k$ is an algebraically closed field of characteristic zero. All Lie algebras and vector spaces are finite-dimensional vector spaces except the Lie algebra representation explicitly considered in Question 2(c). We use the operator commutator $[A,B]=AB-BA$ and the standard sl2 triple convention $[H,E]=2E$, $[H,F]=-2F$, $[E,F]=H$. The printed operators in Question 2(c)(i) have a sign inconsistency with that convention; its solution explains the correction. The displayed definition of the symplectic group on paper page 3 also lacks a closing set brace; its intended meaning is the group of invertible symplectic linear maps.

For a perfect Lie algebra $\mathfrak{s}$, every element is a sum of Lie brackets. The Adjoint representation satisfies $\mathrm{ad}[x,y]=[\mathrm{ad}x,\mathrm{ad}y]$, and the trace of a commutator is zero. ThereforeSome $\mathrm{ad}x$ must have a nonzero eigenvalue. Otherwise, over the algebraically closed field $k$, every $\mathrm{ad}x$ would be a nilpotent linear map, and the Engel theorem would imply that $\mathfrak{s}$ is a nilpotent Lie algebra. This contradicts perfection: the lower central series of a Lie algebra ${\gamma }_1=\mathfrak{s}$, ${\gamma }_{r+1}=[\mathfrak{s},{\gamma }_r]$ would equal $\mathfrak{s}\ne 0$ at every step instead of terminating.

Choose such an $x$. Since $[x,x]=0$, zero is an eigenvalue of $\mathrm{ad}x$. Its trace is zero and its dimension is three, so the remaining eigenvalues are $\lambda ,-\lambda$ with $\lambda \ne 0$. These three eigenvalues are distinct in characteristic zero, hence $\mathrm{ad}x$ is diagonalizable. Put $h=2x/\lambda$, and choose nonzero eigenvectors $e,f$ withThe zero eigenspace is $kh$, so $h,e,f$ form a basis. Applying the Jacobi identity givesThus $[e,f]=ch$ for some $c\in k$. If $c=0$, all Lie brackets of basis vectors lie in $⟨e,f⟩$, contradicting $[\mathfrak{s},\mathfrak{s}]=\mathfrak{s}$. Therefore $c\ne 0$, and replacing $f$ by $f/c$ gives $[e,f]=h$.

We have constructed an sl2 triple that is a basis. The linear map to the sl2 Lie algebra sendingpreserves all Lie brackets of basis vectors and is bijective. HenceThis is the classification of three-dimensional perfect Lie algebras without appealing to a classification of all simple Lie algebras.

Take the semidirect product of a Lie algebra and a modulewhere $k^2$ is the defining representation of the sl2 Lie algebra. To see directly that this is a Lie algebra, realize $(X,u)$ as the block matrix $\left(\begin{array}{cc}X& u\\ 0& 0\end{array}\right)$. These matrices are closed under the operator commutator, whose Jacobi identity holds in every associative algebra.

Using the standard sl2 triple $e,h,f$, its Lie brackets show $[{\mathfrak{sl}}_2,{\mathfrak{sl}}_2]={\mathfrak{sl}}_2$: indeed $h=[e,f]$, $e=[h,e]/2$, and $f=-[h,f]/2$. Also $h=\mathrm{diag}(1,-1)$ is invertible on $k^2$. For any $u\in k^2$, put $v=h^{-1}u$; thenIt follows that the derived algebra contains both ${\mathfrak{sl}}_2\oplus 0$ and $0\oplus k^2$, so $[L,L]=L$: this is a perfect Lie algebra.

However, $0\oplus k^2$ is a nonzero ideal of a Lie algebra with zero Lie bracket. It is therefore a solvable Lie algebra and is contained in the solvable radical of $L$. A semisimple Lie algebra has zero solvable radical, soThis illustrates the perfect semidirect product criterion: the Lie brackets internal to the first summand generate it, while its action generates the second summand.

There is a sign error in the printed assertion under the standard sl2 triple convention. Work first with the operators exactly as printed. Since the $v_i$ form a Hamel basis, their prescribed images extend to linear maps on $V$; each vector is a finite linear combination of basis vectors.

For $i\ge 1$, the operator commutators with $h$ areAt $i=0$, the first identity holds because both sides vanish; the second holds because $hf(v_0)=-2v_1$ and $fh(v_0)=0$. On the other hand, for $i\ge 1$,At $i=0$, both $ef(v_0)=e(v_1)=0$ and $fe(v_0)=0$, so this identity also holds. Thus the actual relations areIn particular, $[e,f]v_1=2v_1\ne -2v_1=h{v}_1$ in characteristic zero; the requested equality cannot hold as printed. Settingcorrects the sign and gives $[H,E]=2E$, $[H,F]=-2F$, $[E,F]=H$. These are the standard sl2 triple relations, so the standard basis of the sl2 Lie algebra acts on $V$ by $E,H,F$, giving a Lie algebra representation.

For completeness, these operators are linearly independent: applying $aE+bH+cF=0$ to $v_0$ gives $c=0$; applying it to $v_1$ then gives $b=0$; applying it to $v_2$ gives $a=0$. Hence the printed operators span a Lie subalgebra isomorphic to the sl2 Lie algebra, even though their printed normalization fails. Replacing the coefficient $i-1$ in the printed definition of $e(v_i)$ by $1-i$ is one equivalent way to repair the statement.

In the finite-dimensional complex semisimple Lie algebra setting, the rank of a semisimple Lie algebra is the dimension of a Cartan subalgebra $\mathfrak{h}$, equivalently the number of independent commuting Cartan generators. For a compact real algebra, use its complexification and the corresponding maximal torus. Simultaneously diagonalizing the commuting adjoint actions of $\mathfrak{h}$ gives the root-space decompositionThe nonzero linear functionals $\alpha$ for which this space is nonzero are the roots of a root system. An invariant inner product identifies them with vectors in a real Euclidean root space. These are the usual semisimple assumptions behind the rank and root language here.

The displayed generators $H,E^{+},E^{-}$ form an sl2 triple. Start with a nonzero lowest-weight element $X_0$ and define $X_{n+1}=[E^{+},X_n]$. The Jacobi identity givesInduction starting with $[H,X_0]=-\lambda X_0$ consequently gives the finite sl2 lowest-weight ladder weightsNow commute the lowering equation with $E^{+}$ and again use the Jacobi identity:The left side is $q_n{X}_n$. Whenever $X_n\ne 0$, coefficient comparison givesThe initial condition is $q_0=0$, meaning $[E^{-},X_0]=0$; directly $[E^{-},X_1]=[-H,X_0]=\lambda X_0$, so $q_1=\lambda$. Summing the recurrence from $0$ to $n-1$ yieldsIn fact the vector identity $[E^{-},X_n]=n(\lambda -n+1)X_{n-1}$ follows inductively from the same Jacobi identity without needing a separately assumed lowering coefficient.

If $X_{n_0}$ is the last nonzero element and $[E^{+},X_{n_0}]=0$, apply $E^{-}$ to this zero next element. The lowering identity givesso $\lambda =n_0$, a nonnegative integer. The nonzero endpoint is necessary. Literally allowing $X_{n_0}=0$ would make the printed conclusion false: take $X_0=E^{-}$ in the adjoint representation of ${\mathfrak{sl}}_2$. Then $\lambda =2$, $X_1=H$, $X_2=-2E^{+}$, $X_3=0$. Choosing $n_0=3$ gives a vanishing next bracket but not $\lambda =3$. The intended endpoint is the first terminating bracket after the nonzero ladder.

For the plus-sign nested commutators, use $H=H_1$, $E^{\pm }=E_1^{\pm }$ and $X_0=E_2^{+}$. The cross relation gives $[E_1^{-},E_2^{+}]=0$, while $[H_1,E_2^{+}]=K_{21}{E}_2^{+}$. Thus the lowest-weight label is $\lambda =-K_{21}$. If the $n$-fold raised element is nonzero and the $(n+1)$-fold element vanishes, the preceding endpoint argument gives $\lambda =n$ and henceFor the minus-sign ladder, use the sl2 triple $H^{\prime }=-H_1$, $E^{\prime +}=E_1^{-}$, $E^{\prime -}=E_1^{+}$ and start at $X_0=E_2^{-}$. Its lowest-weight equation is again $[H^{\prime },X_0]=K_{21}{X}_0$, and its lowering bracket vanishes by the cross relation. The same argument proves exactly the same result, including the endpoint assumption that is explicit in the nested-commutator question.

For arbitrary roots of a root system $\alpha ,\beta$, choose the normalized sl2 subalgebra associated with a root $\beta$, whose generators obey $[H_{\beta },E_{\beta }^{\pm }]=\pm 2E_{\beta }^{\pm }$ and $[E_{\beta }^{+},E_{\beta }^{-}]=H_{\beta }$. The coroot normalization givesThe normalization has a concrete construction. Use the nondegenerate Killing form $B$, and define $t_{\beta }\in \mathfrak{h}$ by $B(t_{\beta },H)=\beta (H)$. Invariance makes root spaces orthogonal unless their roots sum to zero, so there exist $e\in {\mathcal{L}}_{\beta }$ and $f\in {\mathcal{L}}_{-\beta }$ with $B(e,f)=1$. Invariance then gives $B([e,f],H)=B(e,[f,H])=\beta (H)$, hence $[e,f]=t_{\beta }$. With $(\beta ,\beta )=\beta (t_{\beta })$, take $E_{\beta }^{+}=e$, $E_{\beta }^{-}=2f/(\beta ,\beta )$ and $H_{\beta }=2t_{\beta }/(\beta ,\beta )$. Their brackets have the required normalization and $\alpha (H_{\beta })=2(\alpha ,\beta )/(\beta ,\beta )$. Let $v$ be a nonzero $\alpha$ root vector with $H_{\beta }$ weight $w=\alpha (H_{\beta })$. Repeatedly apply $\mathrm{ad}{E}_{\beta }^{-}$ until reaching a last nonzero vector $v_0=(\mathrm{ad}{E}_{\beta }^{-}{)}^{p}v$. Its weight is $w-2p$. This process terminates because different weights are linearly independent and the Lie algebra is finite-dimensional. Starting at $v_0$, repeatedly raise; this also terminates for the same reason. The proven lowest-weight endpoint formula says $w-2p=-N$ for a nonnegative integer $N$. ThereforeThis proves integrality of Cartan integers directly from the finite ladder, rather than assuming the crystallographic axiom.

Finally use the indices actually printed in the PDF: $E_1^{+}=R^1{}_2$, $E_2^{+}=R^2{}_3$, $E_1^{-}=R^2{}_1$, $E_2^{-}=R^3{}_2$. The converted TeX has corrupted these indices. The prescribed bracket is that of trace-free matrix units. The sum of the diagonal generators is zero, leaving two independent diagonal elements, and their pair brackets giveFor example $[R^1{}_2,R^2{}_1]=R^1{}_1-R^2{}_2$, and the analogous second pair gives $H_2$. The cross raising-lowering brackets vanish. A diagonal $H$ with entries $h_r$ has $[H,R^r{}_s]=(h_r-h_s)R^r{}_s$. Thus $H_1$ acts on $E_1^{+},E_2^{+}$ with weights $2,-1$, and $H_2$ acts on them with weights $-1,2$. The negative generators have the opposite weights. In the question's index ordering,This is the Cartan matrix of the A2 root system, and the Lie algebra generated by these matrix units has rank two. As an additional bracket check, $[E_1^{+},E_2^{+}]=R^1{}_3\ne 0$ whereas $[E_1^{+},R^1{}_3]=0$, so the nested ladder has $n=1$ and indeed $K_{21}=-1$. The negative ladder likewise terminates after one nonzero bracket.

Use the standard sl2 triple $H=x{\partial }_x-y{\partial }_y$, $X=x{\partial }_y$, $Y=y{\partial }_x$. In the tensor product of Lie algebra representations, each operator acts on both factors. PutThese twelve vectors form a weight basis, and $H{u}_{ij}=(5-2(i+j))u_{ij}$. Thus the bases of the weight spaces areThere are no other weights. The weight diagram shows their multiplicities, with the decomposition also displayed for comparison.

The raising operator acts bywith out-of-range terms omitted. At weights five, three and one its kernels are respectively spanned byAt weight one the kernel equations are $2a+b=0$ and $b+2c=0$ for $a{u}_{20}+b{u}_{11}+c{u}_{02}$. At weight minus one they are $3a+b=0$, $2b+2c=0$, $c=0$, which force zero; the maps on the two remaining negative-weight spaces are injective as well. Thus these three lines give all nonzero highest-weight vectors up to scalar, at their respective weights. A linear combination of different lines is killed by $X$ but is not a weight vector, so is not a highest-weight vector.

The lowering operator isIn particular,is an explicit basis for the submodule ${\Gamma }_1$. Indeed $Y^2{h}_1=0$, $X{h}_1=0$, $X(Y{h}_1)=h_1$, and the two vectors have weights $1,-1$. The analogous strings from $h_5,h_3$ have dimensions six and four. Their distinct irreducible highest weights and total dimension twelve give the sl2 tensor product of cubic and quadratic symmetric powers

The displayed identity is valid for a highest-weight vector $v$, satisfying $Xv=0$ and $Hv=kv$, not for arbitrary $v\in V$. For example, in the defining module with $k=1$, take $v=y$: then $XYv=0$ but the proposed right side for $n=1$ is $v\ne 0$.

For a highest-weight vector, the sl2 triple relations give $H{Y}^{j}v=(k-2j)Y^{j}v$. The operator identitycomes from expanding a commutator with a product. Apply it to $v$, using $Xv=0$. Each term becomes $(k-2(n-1-j))Y^{n-1}v$, so the sum isThis proves the intended sl2 highest-weight lowering formula. The identity valid for an arbitrary vector is instead

On the basis $v,Yv,\dots ,Y^{k}v$ of the irreducible module, $XY$ has eigenvalue $(j+1)(k-j)$ on $Y^{j}v$, for $0\le j\le k$. Summing gives the trace of a raising-lowering product in an irreducible sl2 module:The last equality follows by the formulas for the sums of the first $k$ integers and their squares.

For a root $\alpha$, choose normalized root vectors $e_{\alpha }\in {\mathfrak{g}}_{\alpha }$, $f_{\alpha }\in {\mathfrak{g}}_{-\alpha }$ and the coroot element $h_{\alpha }\in \mathfrak{h}$ withThe requested sl2 subalgebra associated with a root isThese bracket relations identify its basis with the standard sl2 triple. The notation here denotes this subalgebra, not the root reflection $s_{\alpha }$ used for the Weyl group.

The weight diagram of the Adjoint representation of ${\mathfrak{sl}}_3$ has its six roots $L_i-L_j$, $i\ne j$, each of multiplicity one, and zero of multiplicity two, from the Cartan subalgebra.

Restrict to the root subalgebra generated by $X=E_{12}$, $Y=E_{21}$ and $H=H_{12}$. The explicit decomposition into irreducible modules isThe first summand has $H$ weights $2,0,-2$. The second has weights $1,-1$, since $[Y,E_{13}]=E_{23}$. The third likewise has weights $1,-1$, since $[Y,E_{32}]=-E_{31}$. The last commutes with all three generators and is trivial. These subspaces are stable under the sl2 triple, are independent and have dimensions totaling eight, so they exhaust the Adjoint representation.

The Killing form value is the trace of $\mathrm{ad}{E}_{12}\mathrm{ad}{E}_{21}$. By the formula just proved, the four summands contribute $4,1,1,0$. Therefore

The commuting Hermitian operators $H_1,H_2$ admit a weight-space decomposition. The six root vectors shift their simultaneous eigenvalues byor their negatives. Put $h_i=2{\alpha }_i\cdot H$, $e_i=\sqrt{2}{E}_{+}^i$ and $f_i=\sqrt{2}{E}_{-}^i$. The supplied relations giveThese are three sl2 triples, coming from the complexifications of the three SU(2) Lie algebra root-pair subalgebras. They act through homomorphisms into $\mathrm{End}(V)$. For a nontrivial representation, simplicity of the SU(3) Lie algebra makes its kernel zero, so these images are actual ${\mathfrak{sl}}_2(\mathbb{C})$ subalgebras; a trivial representation gives zero actions. The real compact generators can be taken as $i{h}_i$, $i(E_{+}^i+E_{-}^i)$ and $E_{+}^i-E_{-}^i$.

Decomposing under any one of these subalgebras gives finite weight strings in its root direction. The two simple-root highest weights must be nonnegative integers. In the SU(3) highest-weight coordinates used here, this condition isHere $(a,b)$ are the Dynkin labels; $(p,q)$ are the eigenvalues of $H_1,H_2$. An irreducible representation is determined by these labels and has dimension $(a+1)(b+1)(a+b+2)/2$. An arbitrary finite-dimensional anti-Hermitian representation is a direct sum of such representations: the orthogonal complement of an invariant subspace remains invariant.

The weight diagram has Weyl group symmetry, namely reflections and rotations by $120$ degrees. Its convex boundary is a hexagon with alternating side lengths $a,b$, degenerating to a triangle when one label vanishes. Generic representations need not have $60$-degree symmetry. Boundary weight multiplicities are one. Moving inward through hexagonal layers increases multiplicity by one, up to $\min (a,b)+1$; triangular inner layers retain that maximum. An exact version of this rule is the dominant weight multiplicity formula for sl3: move a weight by the Weyl group to dominant Dynkin coordinates $(c,d)$ and setIts multiplicity is zero unless $r,s$ are integers, and otherwise is $\max \{0,1+\min (a,b,r,s)\}$. These rules construct the diagram while counting coincident weights correctly.

For the Casimir calculation, set $t_3=H_1$, $t_8=H_2$, and for each root pair use $(E_{+}+E_{-})/\sqrt{2}$ and $(E_{+}-E_{-})/(i\sqrt{2})$. In the defining representation these eight generators satisfy $\mathrm{tr}(t_a{t}_b)={\delta }_{ab}/2$. Their summed squares are precisely the question's $X$. The invariant trace form makes their structure constants of a Lie algebra antisymmetric, sothe antisymmetric coefficient contracts a symmetric anticommutator. Thus $X$ is a quadratic Casimir operator and is scalar on an irreducible representation by the Schur lemma.

Let $v$ be a highest-weight vector, annihilated by all $E_{+}^i$. On $v$, each $E_{-}^i{E}_{+}^i$ vanishes and each $E_{+}^i{E}_{-}^i$ reduces to the root commutator. Summing those three commutators gives $H_1+\sqrt{3}{H}_2$. Henceand therefore the SU(3) quadratic Casimir eigenvalue isFor a reducible representation the same calculation applies separately to its irreducible blocks.

For light-hadron flavour symmetry, the up quark, down quark and strange quark form $3$, and antiquarks form $\overline{3}$. Conventional mesons have $3\otimes \overline{3}=1\oplus 8$. Conventional three-quark baryons haveobtained from $3\otimes 3=6\oplus \overline{3}$, $6\otimes 3=10\oplus 8$ and $\overline{3}\otimes 3=8\oplus 1$. Their Dynkin labels are $(0,0)$, $(1,1)$ and $(3,0)$, respectively. Thus the conventional meson octet, baryon octet, baryon decuplet and singlet multiplets give $\boxed{X=0,3,6}$, with the same values for conjugate antibaryon multiplets. More generally, the zero flavour triality of a light-quark hadron imposes $a+2b\equiv 0(\mathrm{mod}3)$ on multiplets constructed entirely from light quarks, antiquarks and gluons. Their Casimir values are given by the same formula for these labels. Higher multiquark representations can therefore have other eigenvalues; the illustrated $27$, of labels $(2,2)$, has $X=8$.

Over a field $k$, the trace-zero $2\times 2$ matrices form the special linear Lie algebra ${\mathfrak{sl}}_2(k)$. The matrix trace of a commutator is zero, so this is a Lie subalgebra of the general linear Lie algebra. A basis isIn fact $\left(\begin{array}{cc}a& b\\ c& -a\end{array}\right)=aH+bE+cF$, uniquely. The individual products areSubtracting in the stated order givesFor characteristic different from two, this is the standard sl2 triple; see Etingof, Section 11.4. The products remain valid in characteristic two, but there $H=I$ is central and $2E=2F=0$, so the familiar characteristic zero structure changes.

The following table gives all nine basis brackets. Each entry is $[\text{row},\text{column}]$; the diagonal vanishes by alternation, and exchanging row and column reverses the sign.

Bilinearity now computes any commutator, for exampleThe three structure constants of a Lie algebra relations encode all of this multiplication. They also show why the sl2 triple is useful in Lie algebra representations: the actions of $E$ and $F$ move between eigenvalues of the action of $H$ in steps of two.