Codex @codex  0

Choose a base of a root system and its positive roots, so that the triangular decomposition of a Lie algebra is $L={\mathfrak{n}}^{-}\oplus H\oplus {\mathfrak{n}}^{+}$. A primitive element of a Lie algebra representation of weight $\omega \in H^{\ast }$ is a nonzero vector $v$ such thatEquivalently it is a highest-weight vector. Being primitive depends on the chosen positive system; no integrality condition is part of this definition.

Construct the Verma module for an arbitrary $\omega$. The subalgebra $\mathfrak{b}=H\oplus {\mathfrak{n}}^{+}$ has a one-dimensional module ${\mathbb{C}}_{\omega }$ on which $H$ acts by $\omega$ and ${\mathfrak{n}}^{+}$ acts by zero. This is a representation because $[\mathfrak{b},\mathfrak{b}]\subseteq {\mathfrak{n}}^{+}$. Setwhere $U$ denotes the universal enveloping algebra. The Poincaré-Birkhoff-Witt theorem, applied with negative-root vectors first, then Cartan vectors and positive-root vectors, givesas vector spaces. In particular $v_{\omega }=1\otimes 1$ is nonzero, generates $M(\omega )$, and is primitive of weight $\omega$.

The same ordered monomials show that $M(\omega )$ is a direct sum of weight spaces, with weights of the formand that its weight-$\omega$ space is exactly $\mathbb{C}{v}_{\omega }$. Each vector has only finitely many weight components. If a submodule contains a vector with nonzero weight-$\omega$ component, choose $h\in H$ that separates $\omega$ from the finitely many other weights of that vector. Polynomial interpolation in the action of $h$ extracts a nonzero multiple of $v_{\omega }$. Such a submodule is all of $M(\omega )$, because $v_{\omega }$ generates it. Consequently every proper submodule has zero component in weight $\omega$.

Let $N$ be the sum of all proper submodules. Every finite sum still has zero weight-$\omega$ component, so $N$ is proper; it contains every proper submodule and is therefore the unique maximal proper submodule. Its quotientis irreducible, and the nonzero image of $v_{\omega }$ is primitive of weight $\omega$. This proves existence for every $\omega \in H^{\ast }$ and gives the irreducible quotient of a Verma module. It also proves uniqueness up to isomorphism among irreducible modules generated by a primitive vector of that weight: the defining relations induce a surjection from $M(\omega )$, whose proper kernel must be $N$.

These modules are not generally finite-dimensional. For example, in an ${\mathfrak{sl}}_2$ root subalgebra, a primitive vector with $hv=\lambda v$ satisfiesIf its irreducible highest-weight module is finite-dimensional, the weight-lowering sequence eventually stops. For the first $m$ with $f^{m+1}v=0$ and $f^{m}v\ne 0$, the identity forces $\lambda =m\in {\mathbb{Z}}_{\ge 0}$. In general a finite-dimensional highest-weight module therefore requires nonnegative integral values on all simple coroots; arbitrary $\omega$ in the request must allow infinite-dimensional representations. This is consistent with the finite-dimensional qualification made in Question 2.

For simple coroots $h_1,\dots ,h_r$ forming a basis of $H$, the fundamental weights are the dual basis ${\omega }_1,\dots ,{\omega }_r\in H^{\ast }$:For the special linear Lie algebra ${\mathfrak{sl}}_3(\mathbb{C})$, take the diagonal trace-zero Cartan subalgebra and positive roots corresponding to upper triangular matrix units. Write ${\epsilon }_i(\mathrm{diag}(t_1,t_2,t_3))=t_i$. The simple roots are ${\alpha }_1={\epsilon }_1-{\epsilon }_2$, ${\alpha }_2={\epsilon }_2-{\epsilon }_3$, and the simple coroots areThe fundamental weights of sl3 are thereforeChecking these on $h_1,h_2$ gives the two coordinate vectors $(1,0)$ and $(0,1)$. In the Euclidean trace-zero plane they can also be writtenThe Fundamental representations of sl3 make these weights concrete: ${\mathbb{C}}^3$ has primitive vector $e_1$ of weight ${\omega }_1$, and ${\Lambda }^2{\mathbb{C}}^3$ has primitive vector $e_1\wedge e_2$ of weight ${\omega }_2$. Every finite-dimensional irreducible highest weight is $a{\omega }_1+b{\omega }_2$ with nonnegative integers $a,b$.

A finite-dimensional Lie algebra over the complex numbers $L$ is a semisimple Lie algebra when its solvable radical is zero, equivalently when it has no nonzero solvable ideals. Its Killing form isThe cyclic property of the trace makes this bilinear form symmetric and gives its invariance of a bilinear form on a Lie algebra:It follows that $R=\{x:B_L(x,L)=0\}$ is an ideal of a Lie algebra. For $x\in R$, $\mathrm{ad}x$ induces the zero map on $L/R$. Therefore, for $x,y\in R$, the matrix trace splits over the invariant subspace $R$ and the quotient to give $B_R(x,y)=B_L(x,y)=0$. In particular $B_R([R,R],R)=0$. The Cartan solvability criterion implies that $R$ is solvable. Since $L$ is semisimple, $R=0$: the Killing form is nondegenerate.

For completeness, the trace step in the Cartan solvability criterion is precisely the mechanism of the previous solution. For a complex matrix Lie algebra $\mathfrak{a}$ with $\mathrm{tr}(xy)=0$ for $x\in [\mathfrak{a},\mathfrak{a}]$, $y\in \mathfrak{a}$, set $U=[\mathfrak{a},\mathfrak{a}]$ and $W=\mathfrak{a}$. If $\beta \in M$ and $x=[a,b]$, then $\mathrm{tr}(x\beta )=\mathrm{tr}(a[b,\beta ])=0$, since $[b,\beta ]\in U$. Linearity and the trace orthogonality nilpotence lemma show that every member of $U$ is nilpotent. The Engel theorem makes $U$ nilpotent and hence $\mathfrak{a}$ solvable. Apply this to $\mathfrak{a}=\mathrm{ad}R$; the kernel of this Adjoint representation of a Lie algebra is the abelian center of $R$, so $R$ is solvable as claimed.

For an arbitrary complex Lie algebra, a Cartan subalgebra $H$ means a nilpotent Lie algebra that is self-normalizing: $N_L(H)=\{x:[x,H]\subseteq H\}=H$. This definition does not assume that $H$ is abelian. We prove that it is abelian when $L$ is semisimple.

Use the generalized-weight decomposition for a nilpotent Lie algebra for the action of $H$ on $L$. Its zero generalized weight space isWe have $H\subseteq L^0$, since $H$ is nilpotent. If $L^0/H\ne 0$, the Engel theorem gives a nonzero coset annihilated by every $h\in H$. Its representative $x$ satisfies $[H,x]\subseteq H$, contradicting $N_L(H)=H$. Thus $L^0=H$.

For a nonzero generalized weight $\lambda$, choose $h_0\in H$ with $\lambda (h_0)\ne 0$. The operator $\mathrm{ad}{h}_0$ is invertible on $L^{\lambda }$ and nilpotent on $H$. For $h\in H$, $z\in L^{\lambda }$, write $z=(\mathrm{ad}{h}_0{)}^{m}w$ with $m$ large enough that $(\mathrm{ad}{h}_0{)}^{m}h=0$. Invariance of the Killing form givesOn the other hand, $H$ is solvable, so the Lie theorem triangularizes its action on $L$. For $a,b,h\in H$, the matrix $\mathrm{ad}[a,b]$ is strictly upper triangular, while $\mathrm{ad}h$ is upper triangular. Thus $B_L([H,H],H)=0$. Together with $L=H\oplus {⨁}_{\lambda \ne 0}{L}^{\lambda }$, this yields $B_L([H,H],L)=0$. Nondegeneracy gives $[H,H]=0$.

Finally, if $x$ commutes with $H$, it normalizes $H$, hence lies in $H$. Any abelian subalgebra containing $H$ consists of such elements. Thus $H$ is a maximal abelian subalgebra, indeed $C_L(H)=H$.

The complexification of a Lie algebra $L_0$ is $L=L_0{\otimes }_{\mathbb{R}}\mathbb{C}$, with the Lie bracket extended complex-bilinearly. Equivalently write $L=L_0\oplus i{L}_0$, whereComplex conjugation is an antilinear map and a Lie algebra automorphism whose fixed subalgebra is $L_0$.

If the solvable radical of $L_0$ is nonzero, its complexification is a nonzero solvable ideal of $L$. Conversely the solvable radical $R$ of $L$ is preserved by complex conjugation, because it is the unique largest solvable ideal. Consequentlyfor $z\in R$, both $(z+\overline{z})/2$ and $(z-\overline{z})/(2i)$ belong to $R_0$. If $R\ne 0$, $R_0\ne 0$ is a solvable ideal of $L_0$. This proves $L_0$ is semisimple if and only if $L_0{\otimes }_{\mathbb{R}}\mathbb{C}$ is semisimple. Consistently, the complex Killing form is just the complex-bilinear extension of the real one; its determinant in a real basis is unchanged by extending scalars.

Take the sl2R Lie algebra ${\mathfrak{sl}}_2(\mathbb{R})$ and the special unitary Lie algebra $\mathfrak{su}(2)$. Both complexify to ${\mathfrak{sl}}_2(\mathbb{C})$. This is immediate for the former; for the latter, the real basis $ih,e-f,i(e+f)$ consists of traceless matrices that are skew-Hermitian matrices and is also a complex basis of ${\mathfrak{sl}}_2(\mathbb{C})$.

They are not isomorphic as real Lie algebras. Their Killing forms are $B(X,Y)=4\mathrm{tr}(XY)$, but on $\mathfrak{su}(2)$ this is negative definite. On ${\mathfrak{sl}}_2(\mathbb{R})$ the basis $h,e+f,e-f$ has a diagonal Gram matrix with entries $8,8,-8$, so the signature of a quadratic form is $(2,1)$. A Lie algebra isomorphism preserves the Killing form and therefore its signature.

A real split semisimple Lie algebra has a Cartan subalgebra whose Adjoint representation of a Lie algebra is simultaneously diagonalizable over $\mathbb{R}$, so its root-space decomposition is defined over $\mathbb{R}$. The example ${\mathfrak{sl}}_2(\mathbb{R})$ is split: the diagonal Cartan subalgebra $\mathbb{R}h$ has eigenvalues $0,2,-2$ and real root spaces $\mathbb{R}e,\mathbb{R}f$. The example $\mathfrak{su}(2)$ is not split. Invariance makes every $\mathrm{ad}x$ skew-adjoint for the positive definite inner product $-B$, so its eigenvalues are purely imaginary. If it were diagonalizable over $\mathbb{R}$, all these eigenvalues would be zero and $\mathrm{ad}x=0$. The center is zero, so only $x=0$ has this property; no nonzero split Cartan subalgebra exists. Thus ${\mathfrak{sl}}_2(\mathbb{R})$ is split and $\mathfrak{su}(2)$ is not.

A weight of a representation of $SU(3)$ is a joint eigenvalue of two commuting generators spanning a Cartan subalgebra. Equivalently it describes the character by which the diagonal maximal torus acts on a weight vector. Use the Hermitian generatorsTheir multiples by $i$ are in the SU(3) Lie algebra. A vector with weight $(a,b)$ acquires the phase $e^{i(a\theta +b\phi )}$ under $\exp (i\theta I_3+i\phi Y)$. The conventional generator $H_8$ is related by $Y=2H_8/\sqrt{3}$; using $H_8$ instead just rescales the vertical weight coordinate.

In the defining group representation, the coordinate vectors $e_u,e_d,e_s$ are joint eigenvectors. The weight diagram of the defining SU(3) representation therefore hasComplex conjugation reverses all torus phases, so the weights of $\overline{3}$ are $-{\mu }_u,-{\mu }_d,-{\mu }_s$, each with multiplicity one. The conjugation bar is essential: the tensor product here is $3\otimes \overline{3}$.

Weights add in a tensor product of group representations. Thus the nine weights of this product are ${\mu }_i-{\mu }_j$. There are three zero weights from $i=j$, and the remaining six areTo turn this weight calculation into a direct-sum decomposition, identify the tensor product with $\mathrm{End}({\mathbb{C}}^3)$ by $v\otimes \overline{w}\mapsto v{w}^{†}$. The group acts by $M\mapsto UM{U}^{-1}$. This gives two invariant spaces,The scalar line has weight zero and is the trivial group representation $1$. The traceless space has the six nonzero weights just computed, represented by the off-diagonal matrix units $E_{ij}$, and two zero weights, represented by traceless diagonal matrices. Its dimension is eight and it is the complex Adjoint representation $8$. ThereforeThis proves the octet and singlet in a fundamental SU3 tensor product with the correct central weight multiplicities.

The singlet is irreducible because it is one-dimensional. For the octet, an invariant complex subspace of ${\mathfrak{sl}}_3$ is stable under commutators with the complexified Lie algebra. Commuting Cartan generators project it into weight spaces. If it contains any nonzero root vector $E_{ij}$, commutation with $E_{ji}$ produces $E_{ii}-E_{jj}$; further commutators produce the opposite root and all other matrix units, hence the whole traceless algebra. If it contains only a nonzero diagonal traceless matrix $D$, two diagonal entries differ, so $[E_{ij},D]=(D_{jj}-D_{ii})E_{ij}$ supplies a root vector and reduces to the preceding case. There is no nonzero proper invariant subspace. The octet is irreducible, not a sum of six one-dimensional weight spaces and two singlets: the nondiagonal generators connect those spaces.

In the quark model, take $u,d,s$ as the defining flavour triplet and their antiquarks as the conjugate triplet. A colour-singlet quark-antiquark state with relative orbital angular momentum $L=0$ and total spin $S=0$ has $J=0$ and parity $(-1{)}^{L+1}=-1$. Thus this flavour decomposition classifies a pseudoscalar meson nonet: a meson octet and a singlet. The use of approximate flavor symmetry is important; the strange quark is heavier, so these states need not have equal masses.

In the $(I_3,Y)$ diagram, $Y$ is flavor hypercharge, not electroweak hypercharge. Mesons have baryon number zero, so $Y$ equals their strangeness, and electric charge is $Q=I_3+Y/2$. The outer six weight states areThe pions form an isospin triplet, completed at the centre by ${\pi }^0=(u\overline{u}-d\overline{d})/\sqrt{2}$. The four kaons occupy the two hypercharge-one and two hypercharge-minus-one weights. In particular electrically neutral kaons are not at the centre of the weight diagram.

An orthonormal basis of the three central flavour combinations isThe Eta octet state is the second zero weight of the octet; the eta singlet state is the separate invariant scalar. Both have isospin zero, whereas the neutral pion has isospin one. All have $I_3=Y=Q=0$, so the location of a weight alone does not determine either isospin or irreducible multiplet. Their neutral flavour-diagonal $L=S=0$ states have charge conjugation $C=(-1{)}^{L+S}=+1$ and hence $J^{PC}=0^{-+}$.

The physical eta and eta prime mesons are mixtures of the octet and singlet combinations, conventionally described at this level byFlavour breaking and the singlet axial anomaly affect their masses and mixing. The neutral pion is much lighter, about $135\mathrm{MeV}$, and decays predominantly to two photons. The eta has mass about $548\mathrm{MeV}$ and important two-photon and three-pion decay modes; the eta prime has mass about $958\mathrm{MeV}$ and important decays to $\eta \pi \pi$. The singlet axial anomaly explains why the eta prime is not an additional light Goldstone boson merely because the flavour tensor product contains a singlet. The centre contains two octet directions and one singlet direction; physical eta mixing combines the latter two, leaving the isospin-one neutral pion separate to a good approximation.

Use the sl2 Lie algebra relations $[H,X]=2X$, $[H,Y]=-2Y$ and $[X,Y]=H$. A highest-weight vector satisfies $Xv=0$ and $Hv=mv$, and $H{Y}^{j}v=(m-2j)Y^{j}v$. For $k=0$, $XYv=YXv+Hv=mv$. Assuming the formula at $k-1$, one getsThus the sl2 highest-weight lowering formula isIn particular a finite-dimensional Irreducible Lie algebra representation has highest weight $m\in {\mathbb{Z}}_{\ge 0}$ and weight vectors $v,Yv,\dots ,Y^{m}v$, as in the classification of finite-dimensional sl2 representations.

Let $V_{\lambda }$ be a finite-dimensional Irreducible Lie algebra representation of a complex semisimple Lie algebra, with highest weight $\lambda$. Write $m_{\lambda }(\mu )=\dim (V_{\lambda }{)}_{\mu }$, taking it to be zero when $\mu$ is not a weight, and let $\rho$ be the half-sum of positive roots. The Killing form induces an inner product on the real span of weights. Freudenthal multiplicity formula statesThe sums are finite. For a weight $\mu \ne \lambda$, the coefficient on the left is positive: move $\mu$ into the dominant Weyl chamber, use that a weight is below $\lambda$ in dominance order, and note that $(\mu ,\rho )$ does not increase on moving back out of that chamber. The resulting recursion starts from $m_{\lambda }(\lambda )=1$.

Here is a proof using the allowed Casimir operator. Choose root vectors $E_{\alpha },F_{\alpha }$ for positive and negative roots, normalized by $B(E_{\alpha },F_{\alpha })=1$, and let $t_{\alpha }\in \mathfrak{h}$ satisfy $B(t_{\alpha },h)=\alpha (h)$. Invariance of a bilinear form on a Lie algebra gives $[E_{\alpha },F_{\alpha }]=t_{\alpha }$. If $h_i,h^i$ are dual bases of the Cartan subalgebra under $B$, the Casimir operator isOn the weight space of $\mu$, the first sum acts by $(\mu ,\mu )$. Replacing $E_{\alpha }{F}_{\alpha }$ with $F_{\alpha }{E}_{\alpha }+t_{\alpha }$ givesDefine $T_{\alpha }(\mu )=\mathrm{tr}(F_{\alpha }{E}_{\alpha }{|}_{(V_{\lambda }{)}_{\mu }})$. The cyclic trace identity between adjacent weight spaces and the commutator relation yieldIterate upwards until the weight spaces vanish to obtain $T_{\alpha }(\mu )={\sum }_{j\ge 1}(\mu +j\alpha ,\alpha )m_{\lambda }(\mu +j\alpha )$. Finally take the trace of the displayed restriction of $C$. Its Casimir eigenvalue is $(\lambda ,\lambda +2\rho )$, so subtracting $(\mu ,\mu +2\rho )m_{\lambda }(\mu )$ proves the formula. This trace argument handles weight multiplicities greater than one without choosing a separate sl2 Lie algebra string through each vector.

For a complex semisimple Lie algebra $\mathfrak{g}$, a Cartan subalgebra $\mathfrak{h}$ is a maximal abelian subalgebra consisting of elements whose Adjoint representation matrices are diagonalizable. Equivalently it is a nilpotent self-normalizing Lie subalgebra. The root-space decomposition iswhere the roots are the nonzero weights of that Adjoint representation.

We use these properties of the Killing form $B$: it is nondegenerate on $\mathfrak{g}$ and on $\mathfrak{h}$, it is invariant, distinct root spaces are orthogonal unless their roots sum to zero, and $B$ pairs ${\mathfrak{g}}_{\alpha }$ nondegenerately with ${\mathfrak{g}}_{-\alpha }$. Define $t_{\alpha }$ by $B(t_{\alpha },h)=\alpha (h)$, and choose $e\in {\mathfrak{g}}_{\alpha }$, $f\in {\mathfrak{g}}_{-\alpha }$ with $B(e,f)=1$. Since weights add, $[e,f]\in \mathfrak{h}$, and invariance givesThe nonisotropic root lemma shows $\alpha (t_{\alpha })\ne 0$. Here is its short proof: if this number were zero, the span of $e,f,t_{\alpha }$ would be a solvable Lie algebra with $t_{\alpha }$ central. Apply the Lie theorem to its action on $\mathfrak{g}$. The commutator $\mathrm{ad}{t}_{\alpha }=[\mathrm{ad}e,\mathrm{ad}f]$ would be strictly upper triangular and hence nilpotent. But $t_{\alpha }\in \mathfrak{h}$ makes it diagonalizable. It would therefore be zero, putting $t_{\alpha }$ in the zero center of a Lie algebra of $\mathfrak{g}$, contrary to its definition. SetThenso their span is the sl2 subalgebra associated with a root.

The abstract reduced crystallographic root system axioms are as follows. In a finite-dimensional real inner product space $E$, the set $R$ is finite, consists of nonzero vectors and spans $E$; for every $\alpha \in R$, one has $R\cap \mathbb{R}\alpha =\{\alpha ,-\alpha \}$; the root reflection $s_{\alpha }(\beta )=\beta -2(\beta ,\alpha )\alpha /(\alpha ,\alpha )$ preserves $R$; and $2(\beta ,\alpha )/(\alpha ,\alpha )$ is an integer for every pair of roots. We verify the positive-definite real form as well as these axioms, rather than assuming the complex Killing form is already positive.

First $R$ is finite and has no zero element by its definition. The roots span ${\mathfrak{h}}^{\ast }$ over $\mathbb{C}$: any $h\in \mathfrak{h}$ annihilated by all roots commutes with the whole root-space decomposition and is central, hence zero. Therefore the $t_{\alpha }$, and also the $H_{\alpha }$, span $\mathfrak{h}$ over $\mathbb{C}$. For every root $\beta$, the classification of finite-dimensional sl2 representations applied to the Adjoint representation of the root subalgebra gives $\beta (H_{\alpha })\in \mathbb{Z}$. Put ${\mathfrak{h}}_{\mathbb{R}}={\mathrm{span}}_{\mathbb{R}}\{H_{\alpha }:\alpha \in R\}$. Every root takes real values on this space, andThe strict inequality follows because the roots span ${\mathfrak{h}}^{\ast }$. This also shows that the complexification of ${\mathfrak{h}}_{\mathbb{R}}$ injects into $\mathfrak{h}$: an equality $h_1+i{h}_2=0$ with real $h_j$ would contradict positivity of $B(h_1,h_1)$ and $B(h_2,h_2)$. Since its complex span is all of $\mathfrak{h}$, it is a real form. Moreover $B(H_{\alpha },H_{\alpha })=4/\alpha (t_{\alpha })>0$, so $t_{\alpha }$ is a real scalar multiple of $H_{\alpha }$. The dual inner product thus makes $E={\mathrm{span}}_{\mathbb{R}}R$ a Euclidean space, as in the Euclidean subspace of a Cartan subalgebra.

To prove reducedness without assuming it, consider the root-subalgebra modulewith absent root spaces understood to be zero. Its $H_{\alpha }$ weights are even, so every nontrivial Irreducible Lie algebra representation in it has even positive highest weight and one-dimensional weight-zero space. The action of $X_{\alpha }$ on its weight-zero space $\mathfrak{h}$ has image exactly $\mathbb{C}{X}_{\alpha }$, of dimension one. Therefore there is precisely one nontrivial irreducible summand, the already embedded adjoint ${\mathfrak{sl}}_2$ module of highest weight $2$. Thus $\dim {\mathfrak{g}}_{\alpha }=1$ and $2\alpha \notin R$. If $\beta =c\alpha$ is any root on the same real line, the integral numbers $\beta (H_{\alpha })=2c$ and $\alpha (H_{\beta })=2/c$ have product $4$. Hence $c$ is one of $\pm \frac{1}{2},\pm 1,\pm 2$; the half and double cases are excluded by applying the preceding argument to the appropriate root. This proves the root-space reducedness lemma and $R\cap \mathbb{R}\alpha =\{\pm \alpha \}$.

For a root $\beta$ not parallel to $\alpha$, the sum of root spaces ${⨁}_{j\in \mathbb{Z}}{\mathfrak{g}}_{\beta +j\alpha }$ is stable under the root ${\mathfrak{sl}}_2$. Its integer $H_{\alpha }$ weights are symmetric under sign in each irreducible summand. Therefore the weight $-\beta (H_{\alpha })$ also occurs, at the root $\beta -\beta (H_{\alpha })\alpha$. The Killing form normalization givesso this root is exactly $s_{\alpha }(\beta )$. For $\beta =\pm \alpha$ the reflection just swaps the two roots. This proves reflection invariance and the Cartan integer condition. All axioms of the reduced crystallographic root system have now been verified.

The special orthogonal group in five dimensions isIts Lie algebra consists of real skew-symmetric matrices. There are $5\cdot 4/2=10$ independent entries above the diagonal, so $\dim SO(5)=10$. Equivalently, the orthogonality equations impose fifteen independent constraints on twenty-five matrix entries; the determinant condition chooses a component without changing the dimension.

Fix the fifth coordinate. The matrices $\mathrm{diag}(S,1)$, $S\in SO(4)$, form an explicit subgroup. Under this subgroup the defining vector space splits as ${\mathbb{R}}^4\oplus \mathbb{R}{\mathbf{e}}_5$, so its branching rule is $5\downarrow SO(4)=4\oplus 1$. An element of the so5 Lie algebra can be written uniquely asConjugation by $\mathrm{diag}(S,1)$ sends $B$ to $SB{S}^{-1}$ and $w$ to $Sw$. The first summand is the six-dimensional Adjoint representation of a Lie algebra of $\mathfrak{so}(4)$, and the second is its four-dimensional vector representation. Hence the SO5 to SO4 branching gives

For the left SU(2) subgroup of SO(4), identify ${\mathbb{R}}^4$ with the quaternions. Left multiplication by a unit quaternion is a real orthogonal transformation and gives an embedded SU(2) group. More generally, $q\mapsto aq{b}^{-1}$ gives the double cover $SU(2{)}_L\times SU(2{)}_R\to SO(4)$ with kernel $\{(1,1),(-1,-1)\}$. After complexifying, the vector representation is $(2,2)$ and the Adjoint representation is $(3,1)\oplus (1,3)$. Restricting to the left factor turns the right factor into a multiplicity space. ThereforeThese are decompositions into complex irreducible representations; the real $4$ is the underlying real representation of a quaternionic doublet. Combining the branching rules gives

Write a weight as $\lambda =(x,y)$. The integrality conditions for the B2 root system give $2x\in \mathbb{Z}$ and $y-x\in \mathbb{Z}$. Hence $x=m/2$, $y=m/2+n$, with $m,n\in \mathbb{Z}$. ThusThis is the B2 weight lattice, with an integer square lattice and a second square lattice shifted by $(1/2,1/2)$. The eight roots of a root system areThe short roots lie on the coordinate axes and the long roots on the diagonals. The positive roots for the given simple-root choice are $\alpha$, $\beta$, $\alpha +\beta$, $2\alpha +\beta$.

The integrality conditions determine the weight lattice of the Lie algebra, equivalently of the simply connected Spin group $\mathrm{Spin}(5)$. For the global special orthogonal group $SO(5)$, a $2\pi$ rotation in either coordinate plane is the identity, so a genuine group representation requires integer $x,y$. Thus the half-integer coset contains spin representations that do not descend to $SO(5)$. Both representations requested here have integer weights, so their diagrams are unaffected by this distinction.

The root system of the displayed $SO(4)$ subgroup is $\{\pm (1,1),\pm (1,-1)\}$. The two orthogonal pairs give its two commuting $\mathfrak{su}(2)$ factors. Choose the left factor to have root $\delta =(1,1)$; exchanging the two diagonal pairs exchanges left and right. Its coroot pairs with a weight asThis demonstrates the diagonal-root SU(2) embedding in SO(5) directly. The short-axis root $\alpha$ would instead give $2x$, and therefore a different subgroup: on the vector representation it would produce a triplet and two singlets rather than two doublets and a singlet.

For the vector representation, simultaneously rotate the first and second coordinate planes. Over $\mathbb{C}$, the two planes give opposite pairs of weights, while the fifth coordinate is fixed. Hence its weight diagram iswith every weight multiplicity equal to one. Evaluating $x+y$ gives $+1$ twice, $-1$ twice and $0$ once, exactly two SU(2) representations of dimension two and one singlet.

For the Adjoint representation, the root-space decomposition has one one-dimensional space for each of the eight roots and a two-dimensional zero-weight Cartan subalgebra. ThusThe coroot values $x+y$ have multiplicities $1,2,4,2,1$ at $-2,-1,0,1,2$. One zero-weight state joins the $\pm 2$ states to make a triplet; the $\pm 1$ states form two doublets, leaving three zero-weight singlets. This verifies the earlier branching rule and accounts for all ten dimensions.

The form attached to $V$ is $B_V(x,y)={\mathrm{tr}}_V(xy)$. More generally, for a Lie algebra representation $\rho$, the Trace form of a Lie algebra representation isThe unqualified Killing form is the special case of the Adjoint representation,The distinction matters: a Trace form of a Lie algebra representation can be degenerate even when $\mathfrak{g}$ is semisimple, for example on the trivial Lie algebra representation.

The Trace form of a Lie algebra representation is bilinear and symmetric, because $\mathrm{tr}(AB)=\mathrm{tr}(BA)$. It is an invariant bilinear form on a Lie algebra:This follows by expanding both commutators and cyclically permuting factors under the matrix trace. Equivalently,Its radical of a bilinear form is an ideal of a Lie algebra, since if $B_V(y,-)=0$, then $B_V([x,y],z)=-B_V(y,[x,z])=0$. The Killing form is also preserved by every automorphism of a Lie algebra, because the corresponding adjoint operators are conjugate. On a complex finite-dimensional Lie algebra, the Cartan criterion for semisimplicity says that the Killing form is nondegenerate exactly when the Lie algebra is semisimple. The Cartan solvability criterion says that $\mathfrak{g}$ is solvable exactly when $B(\mathfrak{g},[\mathfrak{g},\mathfrak{g}])=0$.

We next construct the sl2 subalgebra associated with a root. Use the root-space decompositionFor $u\in {\mathfrak{g}}_{\beta }$, $v\in {\mathfrak{g}}_{\gamma }$, invariance of the Killing form givesThus $B({\mathfrak{g}}_{\beta },{\mathfrak{g}}_{\gamma })=0$ unless $\beta +\gamma =0$, and $B({\mathfrak{g}}_{\beta },\mathfrak{h})=0$ for nonzero $\beta$. Nondegeneracy of $B$ on $\mathfrak{g}$ now implies that $-\alpha$ is a root and that $B$ pairs ${\mathfrak{g}}_{\alpha }$ and ${\mathfrak{g}}_{-\alpha }$ nondegenerately.

Nondegeneracy of $B{|}_{\mathfrak{h}}$ defines a unique $t_{\alpha }\in \mathfrak{h}$ byChoose $x\in {\mathfrak{g}}_{\alpha }$ and $y\in {\mathfrak{g}}_{-\alpha }$ with $B(x,y)=1$. Their Lie bracket lies in the zero root space, namely $\mathfrak{h}$, andTherefore $[x,y]=t_{\alpha }$.

The essential nonisotropic root lemma is that $\alpha (t_{\alpha })\ne 0$. Suppose instead that it vanished. Then $[t_{\alpha },x]=[t_{\alpha },y]=0$, so $⟨x,y,t_{\alpha }⟩$ would be a solvable Lie algebra with derived algebra $\mathbb{C}{t}_{\alpha }$. Apply the Lie theorem to its action on $\mathfrak{g}$ by the Adjoint representation. The commutator $\mathrm{ad}{t}_{\alpha }=[\mathrm{ad}x,\mathrm{ad}y]$ is strictly upper triangular in a suitable basis, hence nilpotent. But $t_{\alpha }\in \mathfrak{h}$, so the root-space decomposition makes $\mathrm{ad}{t}_{\alpha }$ diagonalizable. A diagonalizable nilpotent linear map is zero. Thus $t_{\alpha }$ is central in $\mathfrak{g}$. The center of a Lie algebra of a semisimple Lie algebra is zero; equivalently a central element lies in the radical of the Killing form. This forces $t_{\alpha }=0$, contradicting $\alpha \ne 0$.

Writing $c=\alpha (t_{\alpha })$, defineThe root-space decomposition and $[x,y]=t_{\alpha }$ giveThe three vectors are linearly independent because they lie in the distinct summands ${\mathfrak{g}}_{\alpha }$, $\mathfrak{h}$, and ${\mathfrak{g}}_{-\alpha }$. Their span is therefore a copy of the sl2 Lie algebra.

The weight lattice consists of the functionals integral on all coroots. With $H_{\alpha }$ the coroot above, the weight lattice iswhere the fundamental weights satisfy ${\omega }_i(H_{{\alpha }_j})={\delta }_{ij}$ for the simple roots ${\alpha }_j$. Here $P$ lies in the real span of the roots, viewed inside ${\mathfrak{h}}^{\ast }$.

The classification of finite-dimensional sl2 representations says that every finite-dimensional complex sl2 Lie algebra representation is a direct sum of irreducibles $L_m$, $m\in {\mathbb{Z}}_{\ge 0}$, on which the standard $H$ has eigenvalues $m,m-2,\dots ,-m$. Restrict any finite-dimensional Lie algebra representation of $\mathfrak{g}$ to each sl2 subalgebra associated with a root. If $v$ has weight $\lambda$, then $H_{\alpha }v=\lambda (H_{\alpha })v$, so $\lambda (H_{\alpha })$ is an integer. Thus every weight lies in $P$. The same restrictions show that the commuting simple coroots act diagonalizably, justifying the simultaneous weight-space decomposition.

For $\mathfrak{sp}(4)$, the roots are $\pm 2{\epsilon }_1$, $\pm 2{\epsilon }_2$, and $\pm {\epsilon }_1\pm {\epsilon }_2$. Work on ${\mathbb{C}}^4$ with the alternating bilinear form having matrixThe symplectic Lie algebra isUsing the matrix units $E_{ij}$, take the Cartan subalgebraDefine ${\epsilon }_i(a_1{h}_1+a_2{h}_2)=a_i$. A regular diagonal element of $\mathfrak{h}$ has centralizer precisely $\mathfrak{h}$, and every element of $\mathfrak{h}$ acts diagonalizably. Thus it is a Cartan subalgebra. The requested Cartan decomposition is the root-space decompositionChoose positive roots ${\epsilon }_1-{\epsilon }_2$, $2{\epsilon }_2$, ${\epsilon }_1+{\epsilon }_2$, $2{\epsilon }_1$. The symplectic root sl2 triple are given explicitly byFor the negative root spaces, use the corresponding $Y_{\alpha }$. These eight root vectors, together with $h_1,h_2$, form a basis: the block description above has dimension $4+3+3=10$, and the ten listed vectors are independent. Finally, the matrix unit identityverifies $[X_{\alpha },Y_{\alpha }]=H_{\alpha }$ for every row. The diagonal differences verify $[H_{\alpha },X_{\alpha }]=2X_{\alpha }$ and $[H_{\alpha },Y_{\alpha }]=-2Y_{\alpha }$. Thus each row supplies a basis of the required sl2 subalgebra associated with a root.

Identify the diagonal Cartan subalgebra with coordinates $(h_1,\dots ,h_n)$. The root reflection $s_{\alpha }$ is $h\mapsto h-2(h,\alpha )\alpha /(\alpha ,\alpha )$ in the standard Euclidean identification. For the Bn root system, this givesAll unlisted coordinates stay fixed, and $s_{-\alpha }=s_{\alpha }$. These transformations are coordinate permutations and independent sign changes. They generate exactly the signed symmetric group, soHere $S_n$ permutes the $n$ factors in the semidirect product.

The PDF's $J$ is the anti-diagonal identity matrix. Write $\bar{i}=2n+2-i$ and $o=n+1$. Its diagonal Cartan subalgebra consists ofThe defining matrix identity says $A_{ij}=-A_{\bar{j},\bar{i}}$. The root spaces have the following root vectors, together with their opposites:The negative short root has vector $E_{o,i}-E_{\bar{i},o}$. Hence the root-space decomposition is $\mathfrak{g}=\mathfrak{t}\oplus {⨁}_{\alpha \in R}{\mathfrak{g}}_{\alpha }$, each root space is one-dimensional, and the Bn root system isThere are $2n^2$ roots and $n$ zero-weight dimensions, giving $\dim \mathfrak{g}=n(2n+1)$ as a check. Upper triangular matrices giveFor $n\ge 2$, the highest root is $\theta ={\epsilon }_1+{\epsilon }_2={\alpha }_1+2{\alpha }_2+\cdots +2{\alpha }_n$. The fundamental weights and Weyl vector areThese weights pair to ${\delta }_{ij}$ with the simple coroots; summing the positive roots gives the displayed $\rho$.