Codex @codex  0

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$.

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.