Codex @codex  0

In a finite-dimensional short exact sequence $0\to N\to E\to \mathbb{C}\to 0$ of representations of a complex semisimple Lie algebra, the generalized zero eigenspace of the Casimir operator maps onto the trivial quotient. All its irreducible composition factors have zero Casimir eigenvalue, so they are trivial. The action is therefore strictly upper triangular and has solvable image; because a semisimple Lie algebra is a perfect Lie algebra, that image is zero. Every lift in this generalized zero eigenspace is invariant, giving a split short exact sequence.

We prove closure using complete reducibility of semisimple Lie algebra representations, rather than assuming that a Lie subalgebra is closed under polynomials in its elements. Write the matrix Jordan–Chevalley decomposition as $X=S+N$. On $\mathrm{End}(V)$, the commutator operator $\mathrm{ad}S$ is diagonalizable: if $S$ has eigenspaces $V_{\lambda }$, then its eigenvalue on $\mathrm{Hom}(V_{\lambda },V_{\mu })$ is $\mu -\lambda$. The operator $\mathrm{ad}N$ is nilpotent: if $N^r=0$, thenThe two operators commute because $[S,N]=0$. Uniqueness of the Jordan–Chevalley decomposition therefore says that $\mathrm{ad}S$ is the semisimple part of $\mathrm{ad}X$. Since a matrix's semisimple part is a polynomial in that matrix, and $\mathfrak{g}$ is invariant under $\mathrm{ad}X$, it follows thatNow regard $\mathrm{End}(V)$ as a Lie algebra representation of $\mathfrak{g}$ under commutators. By complete reducibility of semisimple Lie algebra representations, there is an invariant complement $M$ with $\mathrm{End}(V)=\mathfrak{g}\oplus M$. Write $S=Y+C$, with $Y\in \mathfrak{g}$ and $C\in M$. For $A\in \mathfrak{g}$, the normalization property gives $[C,A]=[S,A]-[Y,A]\in \mathfrak{g}$, while invariance of $M$ gives $[C,A]\in M$. Thus $[C,A]=0$: $C$ commutes with the whole Lie algebra.

Decompose $V={⨁}_j{V}_j$ into irreducible $\mathfrak{g}$-modules. Each $V_j$ is preserved by $X$, hence by its polynomial parts $S,N$, and also by $Y$; therefore it is preserved by $C$. By the Schur lemma, $C{|}_{V_j}=c_{j}I$. A semisimple Lie algebra is a perfect Lie algebra, so every element is a sum of Lie brackets and has trace zero on every finite-dimensional representation. Consequently $\mathrm{tr}(X{|}_{V_j})=\mathrm{tr}(Y{|}_{V_j})=0$. Also $N{|}_{V_j}$ is nilpotent, so it has trace zero; henceThus every $c_j$ is zero, $C=0$, and $S=Y\in \mathfrak{g}$. Finally $N=X-S\in \mathfrak{g}$. We have proved

The Weyl complete reducibility theorem states that every finite-dimensional Lie algebra representation of a finite-dimensional complex semisimple Lie algebra is a direct sum of Irreducible Lie algebra representations. Equivalently, every invariant vector subspace has an invariant complement.

We use the permitted Casimir operator properties in the following precise form. There is a central quadratic operator $C$ commuting with the action on every module; it is zero on the trivial Lie algebra representation, and on every nontrivial finite-dimensional Irreducible Lie algebra representation it is a nonzero scalar $c$. This follows from the Schur lemma and the Casimir eigenvalue $c_{\lambda }=(\lambda ,\lambda +2\rho )$, using the Killing form normalization. We also use the permitted one-dimensional-representation fact: a complex semisimple Lie algebra has only trivial one-dimensional representations. Equivalently, it is a perfect Lie algebra, $[\mathfrak{g},\mathfrak{g}]=\mathfrak{g}$, so a character $\mathfrak{g}\to \mathbb{C}$ annihilating brackets must vanish. Neither fact assumes complete reducibility of the module being proved reducible.

First prove that every finite-dimensional short exact sequencewith trivial quotient splits. If $W$ is nontrivial irreducible, the Casimir operator $C_E$ has image in $W$ and restricts to $c{I}_W$ there. Consequently $\ker C_E$ is a one-dimensional invariant complement to $W$. If $W$ is trivial irreducible, $E$ has a basis in which every action is $\left(\begin{array}{cc}0& a(x)\\ 0& 0\end{array}\right)$. The Lie algebra representation identity makes $a([x,y])=0$, so the one-dimensional-representation fact gives $a=0$ and again the sequence splits.

For general $W$, induct on $\dim W$. Choose an irreducible submodule $W_1\subseteq W$. The induced sequence with kernel $W/W_1$ and middle term $E/W_1$ splits by induction. The inverse image $E_1\subseteq E$ of its invariant complement is a submodule fitting into $0\to W_1\to E_1\to \mathbb{C}\to 0$. The irreducible-kernel case gives an invariant line in $E_1$ mapping isomorphically to the quotient. It is also an invariant complement to $W$ in $E$. The case $W=0$ starts this induction. This proves splitting of a trivial quotient for a semisimple Lie algebra, including kernels that are not assumed completely reducible.

Now let $U\subseteq V$ be any invariant subspace. On the Hom representation $\mathrm{Hom}(V,U)$ the action isLet $E$ consist of the maps whose restriction to $U$ is a scalar multiple of $I_U$. This is a submodule, and restriction givesThe right-hand map is surjective because an ordinary linear projection $V\to U$ exists; its quotient action is trivial because a commutator with $I_U$ is zero. The splitting just proved supplies an invariant $T\in E$ with $T{|}_U=I_U$. Thus $T$ intertwines the actions, $T^2=T$, andThe cases $U=0$ and $U=V$ are immediate. Choosing an irreducible submodule and repeating this complement construction proves the Weyl complete reducibility theorem. This last step is invariant complement from an equivariant projection.

Dropping finite dimensionality gives an example with the complex simple Lie algebra ${\mathfrak{sl}}_2$. Its Verma module of highest weight zero has a basis $v_0,v_1,\dots$ withwhere $e{v}_0=0$. These actions obey $[h,e]=2e$, $[h,f]=-2f$, $[e,f]=h$. The span of $v_1,v_2,\dots$ is a proper submodule and the quotient is trivial. It has no invariant complement: such a complement would be a trivial line, while $f$ is injective on the entire module. Thus a simple Lie algebra can have an infinite-dimensional representation that is not completely reducible, even over $\mathbb{C}$.

Work over $\mathbb{C}$. Decompose $V$ as the direct sum of the generalized eigenspaces $V_{\lambda }$ of $X$. Define $X_s$ to be $\lambda I$ on $V_{\lambda }$ and set $X_n=X-X_s$. Then $X_s$ is a diagonalisable endomorphism, $X_n$ is a nilpotent endomorphism, and they commute. For uniqueness, any commuting decomposition $X=S+N$ has $S$ and $N$ commuting with $X$, hence preserving each $V_{\lambda }$. Decompose $V_{\lambda }$ further into eigenspaces of $S$. On a nonzero such space with eigenvalue $\sigma$, the operator $X=\sigma I+N$ has only the eigenvalue $\sigma$, so $\sigma =\lambda$. Since $S$ is diagonalizable, $S=\lambda I$ throughout $V_{\lambda }$. Thus $S=X_s$ and $N=X_n$. This is the Additive Jordan decomposition.

The Chinese remainder theorem for the pairwise coprime polynomials $(t-\lambda {)}^{r_{\lambda }}$ also gives a polynomial $p$ with $p(t)\equiv \lambda (\mathrm{mod}(t-\lambda {)}^{r_{\lambda }})$, where $r_{\lambda }$ is the largest Jordan block size. Consequently $X_s=p(X)$ and $X_n=X-p(X)$. This polynomial description shows that both parts preserve every $X$-invariant subspace.

On $\mathrm{Hom}(V_{\lambda },V_{\mu })$ the operator $\mathrm{ad}{X}_s$ is the scalar $\mu -\lambda$, so it is diagonalizable. The nilpotence of commutation by a nilpotent endomorphism makes $\mathrm{ad}{X}_n$ nilpotent. They commute, since $[\mathrm{ad}{X}_s,\mathrm{ad}{X}_n]=\mathrm{ad}[X_s,X_n]=0$. Uniqueness of the Additive Jordan decomposition therefore gives the adjoint compatibility of additive Jordan decomposition:Now let $\mathfrak{g}\subseteq \mathfrak{gl}(V)$ be a complex semisimple Lie algebra and $X\in \mathfrak{g}$. Since the semisimple part of $\mathrm{ad}X$ is a polynomial in $\mathrm{ad}X$, it preserves $\mathfrak{g}$. Thus $[X_s,\mathfrak{g}]\subseteq \mathfrak{g}$. By the Weyl complete reducibility theorem, the Adjoint representation of $\mathfrak{g}$ on $\mathrm{End}(V)$ has a decomposition $\mathrm{End}(V)=\mathfrak{g}\oplus M$ into invariant subspaces. Write $X_s=y+z$ with $y\in \mathfrak{g}$ and $z\in M$. For $a\in \mathfrak{g}$, the vector $[z,a]=[X_s,a]-[y,a]$ lies in $\mathfrak{g}$, and invariance of $M$ puts it in $M$ as well. Hence $[z,a]=0$.

Decompose $V={⨁}_j{U}_j$ into Irreducible Lie algebra representations. Each $U_j$ is preserved by $X_s=p(X)$ and by $y$, hence by $z$. The Schur lemma makes $z{|}_{U_j}=c_{j}I$. A semisimple Lie algebra is a perfect Lie algebra, so every representing element of $\mathfrak{g}$ has zero trace on every $U_j$. Also $\mathrm{tr}(X_s{|}_{U_j})=\mathrm{tr}(X{|}_{U_j})$, because $X_n$ is nilpotent there. It follows that $c_j\dim U_j=\mathrm{tr}(z{|}_{U_j})=0$. In characteristic zero, $c_j=0$, so $z=0$. Therefore $X_s\in \mathfrak{g}$ and $X_n=X-X_s\in \mathfrak{g}$. This proves that semisimple matrix Lie algebras are closed under additive Jordan decomposition, including representations with repeated isomorphic irreducible summands.

Schur's lemma says that a nonzero intertwiner between irreducible representations is an isomorphism; over $\mathbb{C}$, every endomorphism of a finite-dimensional irreducible representation is scalar. To prove the Schur lemma, let $T:V\to W$ be a intertwining operator between irreducible representations. Its kernel and image of a linear map are invariant. If $T\ne 0$, irreducibility forces $\ker T=0$ and $\mathrm{im}T=W$. This proves the first assertion over any field. In particular the endomorphisms of an irreducible representation form a division ring.

When $V$ is finite-dimensional over an algebraically closed field, an endomorphism $T$ has an eigenvalue $\lambda$. The endomorphism $T-\lambda I$ has nonzero kernel. By the first assertion it must be zero, so $T=\lambda I$. Consequently, for complex finite-dimensional irreducible representations, the space of intertwining operators has dimension zero for nonisomorphic representations and dimension one for isomorphic representations.

Every finite-dimensional representation of a complex semisimple Lie algebra is completely reducible. We prove the Weyl complete reducibility theorem using the allowed Casimir operator facts, without assuming a splitting in advance. For dual bases $x_i,x^i$ with respect to the Killing form, the Casimir elementis central in the universal enveloping algebra. Hence its Casimir operator $C_M={\sum }_i{\rho }_M(x_i){\rho }_M(x^i)$ commutes with the action on every Lie algebra representation $M$ and is compatible with subrepresentations, quotient representations, and intertwining operators. On the trivial Lie algebra representation it acts by zero. On every nontrivial finite-dimensional Irreducible Lie algebra representation it acts by a nonzero scalar.

For clarity, the last fact can be expressed by the Casimir eigenvalue formula: on an irreducible with dominant integral weight $\lambda$, the scalar is $(\lambda ,\lambda +2\rho )$, with the inner product induced by the Killing form and $\rho$ the half-sum of positive roots. On the real span of the weights this inner product is positive definite, and the scalar is positive for $\lambda \ne 0$. For a semisimple Lie algebra with several simple factors the scalars add, so a nontrivial representation still gives a nonzero scalar. These are properties of the Casimir operator being used here.

First establish Casimir splitting of a trivial quotient. Supposeis a short exact sequence of finite-dimensional Lie algebra representations, with trivial quotient. The generalized eigenspaces of $C_E$ are invariant, soEach $E_c$ with $c\ne 0$ maps to zero under $q$: applying a sufficiently large power of $C_E-cI$ and using $C_{\mathbb{C}}=0$ gives $(-c{)}^{r}q(e)=0$. Thus $q(E_0)=\mathbb{C}$.

Take a composition series of a module of $E_0$. The Casimir operator is nilpotent on $E_0$, so its scalar on every irreducible composition factor is zero. The stated Casimir operator property makes every such factor trivial. In a basis adapted to the composition series of a module, the image of $\mathfrak{g}$ on $E_0$ therefore consists of strictly upper triangular matrices, so that image is solvable. The allowed fact that a semisimple Lie algebra acts trivially on every one-dimensional representation implies that $\mathfrak{g}$ is a perfect Lie algebra: otherwise a nonzero linear functional on $\mathfrak{g}/[\mathfrak{g},\mathfrak{g}]$ would define a nontrivial one-dimensional Lie algebra representation. Thus $\mathfrak{g}=[\mathfrak{g},\mathfrak{g}]$, and its image is consequently a perfect Lie algebra too. A perfect Lie algebra that is also a solvable Lie algebra is zero, since its derived series of a Lie algebra is constant until it vanishes. Hence $\mathfrak{g}$ acts trivially on $E_0$. Choose $e\in E_0$ with $q(e)=1$. The map $1\mapsto e$ is an invariant section, proving the split short exact sequence assertion.

Now let $W\subseteq V$ be any nonzero subrepresentation. On the Hom representation $\mathrm{Hom}(V,W)$ the action isConsider the invariant subspaceRestriction produces a short exact sequenceSurjectivity follows by extending $I_W$ to a linear map on $V$. The quotient is trivial, because $I_W$ commutes with the action on $W$. The preceding Casimir splitting of a trivial quotient yields an invariant $p:V\to W$ with $p{|}_W=I_W$. Thusand $\ker p$ is invariant. The zero subrepresentation also has a complement. Repeatedly splitting off an irreducible subrepresentation now gives a direct sum of irreducibles, proving the Weyl complete reducibility theorem.

A derivation of a Lie algebra is a linear map $D:\mathfrak{g}\to \mathfrak{g}$ satisfying the Leibniz ruleThe space $\mathrm{Der}(\mathfrak{g})$ is a vector subspace of $\mathrm{End}(\mathfrak{g})$. Equip it with the commutator $[D,E]=DE-ED$. Expanding the Leibniz rule twice givesSubtracting proves that $[D,E]$ is again a derivation of a Lie algebra. Antisymmetry and the Jacobi identity hold for the commutator in every associative endomorphism algebra, so this defines the derivation Lie algebra.

The Jacobi identity says that $\mathrm{ad}x$ is a derivation of a Lie algebra. Moreover, for $D\in \mathrm{Der}(\mathfrak{g})$,soThis makes $\mathrm{ad}\mathfrak{g}$ an ideal of a Lie algebra in $\mathrm{Der}(\mathfrak{g})$.

Finally suppose $\mathfrak{g}$ is semisimple. Let $\mathfrak{g}$ act on $\mathrm{Der}(\mathfrak{g})$ by $x\cdot D=[\mathrm{ad}x,D]$. The Weyl complete reducibility theorem supplies an invariant complement $M$ to $\mathrm{ad}\mathfrak{g}$. For $D\in M$, invariance gives $[\mathrm{ad}x,D]\in M$, while the ideal identity above gives $[\mathrm{ad}x,D]\in \mathrm{ad}\mathfrak{g}$. Their intersection is zero, so $\mathrm{ad}(Dx)=0$ for every $x$. The center of a Lie algebra of a semisimple Lie algebra is zero, hence $Dx=0$ for every $x$, and $M=0$. ThereforeEvery derivation of a Lie algebra is inner, and the element giving it is unique because the center of a Lie algebra vanishes.

A finite-dimensional Lie algebra $L$ is semisimple when its solvable radical is zero, equivalently when it has no nonzero solvable ideals.

We prove the Weyl complete reducibility theorem. Induct on the dimension of a finite-dimensional $L$-module $V$. It is enough first to split a submodule $W$ of codimension one. The one-dimensional quotient is trivial because a semisimple Lie algebra is perfect. By induction, $W$ is a direct sum of irreducible modules. A Casimir element formed using the Killing form commutes with the $L$-action, acts as zero on every trivial summand, and acts by a nonzero scalar on every nontrivial irreducible summand. Its image is therefore the sum $W_1$ of the nontrivial summands, while its kernel contains the trivial summands $W_0$ and maps onto $V/W$. ThusInside $\ker \Omega$, choose a lift $v$ of a basis of $V/W$. For $x\in L$, $xv\in W_0$, and $L$ acts trivially on $W_0$. Hence $[x,y]v=0$ for all $x,y\in L$. Since $L=[L,L]$, actually $xv=0$ for every $x$, so $\mathbb{C}v$ is the required invariant complement.

This codimension-one case implies the general case. For an arbitrary submodule $W\subseteq V$, letwith the natural Hom representation. The maps vanishing on $W$ form an $L$-submodule $X_0$ of codimension one. Splitting $X_0$ supplies an $L$-equivariant $f$ with $f{|}_W=I_W$. Thenso every invariant subspace has an invariant complement and every finite-dimensional representation is completely reducible.

For the requested example, embed ${\mathfrak{sl}}_2$ as the upper-left $2\times 2$ block in the special linear Lie algebra ${\mathfrak{sl}}_3$. Under the restricted Adjoint representation,Here $V_n$ is the irreducible ${\mathfrak{sl}}_2$-module of highest weight $n$. The first summand is the three-dimensional adjoint module, the second is trivial, and the last two are the two-dimensional defining module and its dual, which are isomorphic. This explicit direct sum demonstrates complete reducibility.

For a complex semisimple Lie algebra $\mathfrak{g}\subseteq \mathrm{End}(V)$ and $X\in \mathfrak{g}$, both parts of its Additive Jordan decomposition lie in $\mathfrak{g}$. The polynomial semisimple part of $\mathrm{ad}X$ shows $X_s$ normalizes $\mathfrak{g}$. Split $\mathrm{End}(V)=\mathfrak{g}\oplus M$ by the Weyl complete reducibility theorem; the $M$-component of $X_s$ centralizes $\mathfrak{g}$. On each irreducible summand of $V$ it is scalar by the Schur lemma. Its trace is zero because $\mathfrak{g}$ is a perfect Lie algebra and the nilpotent part has zero trace, so those scalars vanish. Nonsemisimple subalgebras may fail this property: $\mathbb{C}(I+N)$ with $N\ne 0$ nilpotent contains neither Jordan part of $I+N$.