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.

An R-module $M$ is a free module if it has a basis $(e_i{)}_{i\in I}$: every $m\in M$ has a unique expression as a finite sum ${\sum }_i{r}_i{e}_i$, with $r_i\in R$. Equivalently, it is a direct sum of copies of $R$. Let $q:M\to M/N$ be the quotient map. When $M/N$ is free, choose a basis $({\overline{f}}_j)$ and lifts $f_j\in M$. The universal property of a free module defines an $R$-linear map $s:M/N\to M$ by $s({\sum }_j{r}_j{\overline{f}}_j)={\sum }_j{r}_j{f}_j$. It satisfies $q\circ s=\mathrm{id}$, so every $m\in M$ decomposes uniquely asThis gives a split short exact sequence and $M\cong N\oplus (M/N)$. If $N$ is also free, the union of its basis and the lifted quotient basis is a basis of $M$: spanning follows from the decomposition, and applying $q$ to a putative relation kills all quotient coefficients before independence in $N$ kills the remaining ones. Thus free submodule and free quotient imply a free module.

For the first claim, take $R=\mathbb{Z}$ andHere $N\cong N^{\prime }\cong \mathbb{Z}$ are free modules and $M/N\cong M^{\prime }/N^{\prime }\cong \mathbb{Z}/2\mathbb{Z}$. But $M$ is a torsion-free module, whereas $M^{\prime }$ contains the nonzero torsion element $(0,\overline{1})$. Therefore claim (1) is false.

For the second claim, the same lifting construction works without assuming that $N$ is free. Since both isomorphic quotient modules are free, it yieldsThus claim (2) is true. Equivalently, this uses the fact that free modules are projective.

Here the Hom groups must be taken over $A$; the printed subscript $B$ in this part has no defined coefficient ring. For an arbitrary module $P$, form the free moduleand define a module homomorphism $\pi :F\to P$ by $e_p\mapsto p$. Each element of $F$ has finite support, so this prescription extends uniquely and is well-defined. It is surjective because every $p\in P$ is the image of $e_p$. Thus every module is a quotient of a free module.

Let $K=\ker \pi$. The short exact sequence $0\to K\to F\stackrel{\pi }{\to }P\to 0$ and the defining exactness condition for a projective module makesurjective. Lift $1_P$ to a map $s:P\to F$. Then $\pi s=1_P$, so $s$ is injective. Every $f\in F$ has the decompositionwhose first term lies in $K$ and second lies in $s(P)$. If $s(p)\in K$, applying $\pi$ gives $p=0$, so the intersection is zero. ConsequentlyThis is a split short exact sequence and proves that projective modules are direct summands of free modules, including modules that are not finitely generated.

Rows in the following matrix index the source, columns the target, in the order $X,Y,Z$. Solving the arrow-square equation for a quiver representation morphism givesIn particular, the nonzero morphisms between distinct representations are $X\to Z$ and $Z\to Y$, each a one-dimensional family of scalar multiples of the vertexwise inclusion or projection. A map $Y\to Z$ is forced to vanish at the source by the identity arrow of $Z$; similarly a map $Z\to X$ is forced to vanish at the target. Maps between $X$ and $Y$ are zero. Each endomorphism ring is $k$.

The extension complex of quiver representations for the one-arrow quiver isIts cokernel is ${\mathrm{Ext}}_Q^1(U,V)$. Substitution of the three representations givesHere the first argument is the quotient endpoint of a short exact sequence. Thus the only possible nonsplit endpoint pair is subobject $X$, quotient $Y$. The sequenceis nonsplit, since $Z$ is indecomposable. More explicitly, all extensions with these endpoints have a middle arrow $k\stackrel{\lambda }{\to }k$: $\lambda =0$ gives the split short exact sequence, while each $\lambda \ne 0$ gives a middle representation isomorphic to $Z$. With endpoint identifications fixed the extension classes form $k$; up to endpoint automorphisms all nonzero classes give this same nonsplit sequence. There are no other nonsplit sequences with the listed endpoints, including equal endpoints.

Choose a projective presentation $0\to K\stackrel{j}{\to }P\stackrel{\pi }{\to }C\to 0$, with $P$ a projective module. Continuing it to a projective resolution showsIndeed a degree-one cocycle in the Hom functor applied to the projective resolution descends to $K$, while the degree-one coboundaries are exactly restrictions of maps from $P$. This establishes the description of the Ext functor without first assuming the extension classification.

For a module extension with inclusion $i:A\to B$ and quotient map $r:B\to C$, projectivity lifts $\pi$ to $s:P\to B$. Since $rsj=0$, there is a unique map $h:K\to A$ with $ih=sj$. A different lift changes $h$ by $\ell j$ for some $\ell :P\to A$. An equivalence of module extensions, which is the identity on both end modules, also preserves this class. We have therefore defined a map from extension classes to ${\mathrm{Ext}}_R^1(C,A)$.

Conversely, for $h:K\to A$, form the pushout of a module extensionThe map $A\to B_h$ sends $a$ to $[a,0]$, and $B_h\to C$ sends $[a,p]$ to $\pi (p)$. The first is injective because $j$ is injective. If $\pi (p)=0$, write $p=j(k)$; then $[a,p]=[a+h(k),0]$, proving exactness in the middle. The last map is surjective. Thus $B_h$ is a module extension. If $h^{\prime }=h+\ell j$, the map $[a,p]\mapsto [a-\ell (p),p]$ is an equivalence of module extensions from $B_h$ to $B_{h^{\prime }}$. Finally $[a,p]\mapsto i(a)+s(p)$ identifies the pushout of a module extension built from an existing extension with its middle module. These two constructions are inverse, proving the classification:The zero class corresponds to a split short exact sequence. Fixed end modules matter: equivalence does not permit arbitrary automorphisms of $A$ or $C$.

In the second calculation the acting group is the infinite cyclic group. Its modules are modules over the group ring $S=\mathbb{Z}[z,z^{-1}]$, not merely over the underlying ring $\mathbb{Z}$. The trivial representation has $z$ acting as the identity. Its projective resolution isMultiplication by $z-1$ is injective, and the augmentation quotient is $\mathbb{Z}$. Applying the Hom functor into the trivial module makes the differential zero, so ${\mathrm{Ext}}_S^1(\mathbb{Z},\mathbb{Z})\cong \mathbb{Z}$. Taking two copies gives $\boxed{\mathcal{E}({\mathbb{Z}}^2,\mathbb{Z})\cong {\mathbb{Z}}^2}$.

An explicit representative of this extension of trivial modules for an infinite cyclic group is the abelian group $B_{m,n}=\mathbb{Z}u\oplus \mathbb{Z}v\oplus \mathbb{Z}w$, with injection $1\mapsto u$, quotient $v\mapsto (1,0)$, $w\mapsto (0,1)$, and actionThis is an invertible action: the inverse subtracts the same multiples of $u$. Every underlying abelian-group extension splits because ${\mathbb{Z}}^2$ is free, so any group-module extension has this form after choosing lifts of the quotient basis. Replacing those lifts by multiples of $u$ does not alter $m,n$. An equivalence fixing the ends has exactly such changes of lifts, so two representatives are equivalent precisely when their ordered pairs agree. Only $(0,0)$ splits as a group-module extension; overlooking the group action would incorrectly give a single class.

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.

Every module $P$ is a quotient of a free module $F={⨁}_{p\in P}A{e}_p$, via $e_p\mapsto p$. If $P$ is a projective module, lift $1_P$ through this surjection to obtain a section $s:P\to F$. The resulting split short exact sequence identifies $F$ with $\ker \pi \oplus P$. Conversely, if $P$ is a summand of a free module, extend a prescribed map out of $P$ to the free module using the summand projection, lift each basis image through the given surjection, and restrict the lift to $P$. This proves the equivalence with the lifting definition of a projective module, for arbitrary ranks.