Codex @codex  0

A Lie algebra representation on $V$ induces one on each exterior power by acting on every factor and summing. The tensor product of Lie algebra representations preserves the defining alternating relations, so this descends to the quotient in every characteristic of a field. In characteristic two define the exterior algebra by the relations $v\wedge v=0$, rather than by dividing a tensor antisymmetrizer by $2$.

Define the exterior square over the arbitrary field $k$ by ${\bigwedge }^{2}V=(V\otimes V)/\mathrm{span}\{v\otimes v:v\in V\}$. Write the image of $u\otimes v$ as $u\wedge v$. Then $v\wedge v=0$ and $u\wedge v=-v\wedge u$; the basis is $v_i\wedge v_j$ with $i<j$, in characteristic two as well. The exterior-power Lie algebra representation isThe tensor product of Lie algebra representations descends to this quotient: $x\cdot (v\otimes v)=xv\otimes v+v\otimes xv$ is a linear combination of square tensors, namely $(v+xv)\otimes (v+xv)-v\otimes v-xv\otimes xv$. On the wedge basis its coefficients follow directly from the original representing matrices. Expanding both actions shows $[{\rho }_{{\wedge }^2}(x),{\rho }_{{\wedge }^2}(y)]={\rho }_{{\wedge }^2}([x,y])$.

The inclusions of $V$ and $W$ into their direct sum define the mapA combined basis shows that this sends a basis to the pure-$V$, pure-$W$ and mixed wedge basis vectors, with no overlap and no omission. The defining action on each wedge proves equivariance. Hence the exterior square of a direct sum givesNo division by $2$ is involved, so the proof remains valid in characteristic two.

For the complex special linear Lie algebra ${\mathfrak{sl}}_3$, write ${\Gamma }_{a,b}$ for the irreducible highest-weight representation with Dynkin labels $(a,b)$, and $V={\Gamma }_{1,0}$. First the sl3 decomposition of the symmetric-square dual tensor product isIndeed contraction $c((uv)\otimes f)=f(u)v+f(v)u$ is a surjective Lie algebra representation homomorphism onto $V$. Its 15-dimensional kernel contains the highest-weight vector $e_1^2\otimes e_3^{\ast }$ of weight $(2,1)$. The Weyl dimension formula gives $\dim {\Gamma }_{2,1}=15$, and the Weyl complete reducibility theorem identifies the kernel and splits the map. With $B={\Gamma }_{2,1}$, the direct-sum identity reduces the requested calculation to ${\bigwedge }^{2}B$, $B\otimes V$ and ${\bigwedge }^{2}V$.

For completeness, these decompositions can be checked entirely by formal characters. Let $x_1{x}_2{x}_3=1$, $h_1=x_1+x_2+x_3$, $h_1^{\ast }=x_1^{-1}+x_2^{-1}+x_3^{-1}$ and $h_2={\sum }_i{x}_i^2+{\sum }_{i<j}{x}_i{x}_j$. Then ${\chi }_B=h_2{h}_1^{\ast }-h_1$. The Weyl character formula takes the determinant formSubstitute ${\chi }_B$ into ${\chi }_{{\wedge }^{2}B}(x)=\frac{1}{2}({\chi }_B(x{)}^2-{\chi }_B(x_1^2,x_2^2,x_3^2))$ and collect the determinant characters. This gives the exterior square of the sl3 representation of highest weight (2,1) and the sl3 highest-weight tensor rule:The first line has dimensions $21+42+24+15+3=105=\left(\genfrac{}{}{0ex}{}{15}{2}\right)$; the tensor product has dimension $24+15+6=45$. Equivalently, enumerate weights with the sl3 interlacing character formula and subtract characters from the highest weight downwards. FinallyIts dimension is $21+42+48+30+6+6=153=\left(\genfrac{}{}{0ex}{}{18}{2}\right)$. The exterior square here is taken of the entire 18-dimensional tensor product; taking it only of $S^{2}V$ would be a different representation.

Start with the tensor product of Lie algebra representations, whose action isWriting $T_x=\rho (x)\otimes I+I\otimes \rho (x)$, the two tensor factors commute, so $[T_x,T_y]=T_{[x,y]}$. This verifies the Lie algebra representation identity over every field.

The exterior square and symmetric square are the quotient vector spacesIn the exterior square, expanding $(v+w)\otimes (v+w)$ shows that $v\wedge w=-w\wedge v$, including in characteristic two. Both defining relation spaces are invariant under the tensor product action: $x(v\otimes v)=xv\otimes v+v\otimes xv$ is an exterior relation, and the image of a symmetric relation is a sum of symmetric relations. Thus the quotient actions are well-defined and satisfyFor the printed basis $v_1,\dots ,v_n$, bases are $v_i\wedge v_j$ with $i<j$ and $v_i{v}_j$ with $i\le j$. Their dimensions are $n(n-1)/2$ and $n(n+1)/2$ respectively.

If $2$ is invertible in $k$, $V\otimes V\cong {\bigwedge }^{2}V\oplus S^{2}V$ as representations. Define the flip $\tau (v\otimes w)=w\otimes v$. It commutes with the Lie algebra action and satisfies ${\tau }^2=I$. Thereforeare complementary invariant linear projections. The mapsidentify $S^{2}V$ with $\mathrm{im}{P}_{+}$ and ${\bigwedge }^{2}V$ with $\mathrm{im}{P}_{-}$. Their inverses are the corresponding quotient maps restricted to these subspaces. This proves the assertion for every field of odd characteristic, and also for characteristic zero.

Over every field, $S^2(V\oplus W)\cong S^{2}V\oplus S^{2}W\oplus (V\otimes W)$. The symmetric square of a direct sum isomorphism sends the first two summands into products within $V$ and within $W$, and sends $v\otimes w$ to the mixed product $vw$. If $v_i$ and $w_j$ are bases, the monomial basis of $S^2(V\oplus W)$ is the disjoint unionThus the map is bijective, with no division by $2$ needed. The Leibniz rule for the action preserves each of these three summands and agrees with its usual Lie algebra representation action, proving equivariance.

For $\mathfrak{g}=\mathfrak{sl}(3)$, $V={\Gamma }_{0,0}$ is trivial and $W={\Gamma }_{2,1}$ has dimension $15$. HenceIt remains to find the irreducible representations in the symmetric square of the sl3 representation of highest weight (2,1). We give the formal character calculation explicitly.

Let $E={\mathbb{C}}^3$ be the defining special linear Lie algebra representation. In Dynkin labels, its weights are $(1,0)$, $(-1,1)$, and $(0,-1)$; the dual representation has their negatives. The equivariant contractionis surjective. Its kernel has dimension $18-3=15$. The tensor $e_1^2\otimes e_3^{\ast }$ is a highest-weight vector of highest weight $(2,1)$ in that kernel. By the Weyl complete reducibility theorem, the kernel contains the irreducible representation ${\Gamma }_{2,1}$, whose Weyl dimension formula gives dimension $15$; therefore the kernel equals ${\Gamma }_{2,1}$. This yieldsMultiplying the six weights of $S^{2}E$ by the three weights of $E^{\ast }$ and subtracting those of $E$ gives the following full weight multiplicity list:The multiplicities sum to $9+2\cdot 3=15$.

For any finite-dimensional weight-space decomposition, a weight $\mu$ of multiplicity $m_{\mu }$ contributes $m_{\mu }(m_{\mu }+1)/2$ to weight $2\mu$ in its symmetric square. Distinct weights $\mu ,\nu$ contribute $m_{\mu }{m}_{\nu }$ to $\mu +\nu$. Equivalently,Applying this to the displayed list gives all dominant weight multiplicities in the second column below. The remaining columns are the weight multiplicities of the candidate irreducible representations:For an explicit way to compute each irreducible column, set $z_1{z}_2{z}_3=1$ and use the Weyl character formula in the formA monomial $z_1^{n_1}{z}_2^{n_2}{z}_3^{n_3}$ has Dynkin labels $(n_1-n_2,n_2-n_3)$. Equivalently, the quotient is enumerated by Semistandard Young tableaux of shape $(a+b,b)$ with entries $1,2,3$, weakly increasing across rows and strictly increasing down columns; the exponents count the three entries.

The five irreducible columns sum to the $S^{2}W$ column. These are all its dominant weights, and all five candidate characters have no other dominant weights. Every Weyl group orbit meets the dominant chamber, and weight multiplicities are constant on Weyl group orbits. Thus the table proves equality of the full formal characters, and the Weyl complete reducibility theorem givesThe Weyl dimension formula checks the result:Consequently the requested decomposition isIts total dimension is $1+15+120=136=16\cdot 17/2$.

Over every field, including characteristic two, there is a natural isomorphismThe middle summand maps $v\otimes w$ to the mixed product $vw$. Monomial bases prove bijectivity, and the Leibniz rule makes the map equivariant for Lie algebra representations.