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

Use $h=\mathrm{diag}(1,-1)$, $e=E_{12}$ and $f=E_{21}$ in the sl2 Lie algebra, so $hx=x$, $hy=-y$, $ey=x$ and $fx=y$. On the symmetric power, a monomial $x^{3-k}{y}^k$ has weight $3-2k$. The tensor product of Lie algebra representations adds weights, because $h$ acts as $h\otimes I+I\otimes h$.

Put $A_k=x\otimes x^{3-k}{y}^k$ and $B_k=y\otimes x^{3-k}{y}^k$ for $0\le k\le 3$. These eight vectors are a basis of $U$; their weights are $4-2k$ and $2-2k$. Thus the weight-space decomposition and a weight basis for each summand areIn particular $\boxed{U=U_4\oplus U_2\oplus U_0\oplus U_{-2}\oplus U_{-4}}$, with dimensions summing to eight. Here the subscripts are the eigenvalues of the chosen Cartan element $h$.

For $v\in V_{\lambda }$ and $w\in W_{\mu }$, the tensor product of Lie algebra representations acts byThus its weight space of weight $\nu$ isSubstituting this into the formal character and using $e(\lambda +\mu )=e(\lambda )e(\mu )$ provesEvery sum is finite for the Lie algebra representations under consideration.

Use the standard sl2 triple $H=x{\partial }_x-y{\partial }_y$, $X=x{\partial }_y$, $Y=y{\partial }_x$. In the tensor product of Lie algebra representations, each operator acts on both factors. PutThese twelve vectors form a weight basis, and $H{u}_{ij}=(5-2(i+j))u_{ij}$. Thus the bases of the weight spaces areThere are no other weights. The weight diagram shows their multiplicities, with the decomposition also displayed for comparison.

The raising operator acts bywith out-of-range terms omitted. At weights five, three and one its kernels are respectively spanned byAt weight one the kernel equations are $2a+b=0$ and $b+2c=0$ for $a{u}_{20}+b{u}_{11}+c{u}_{02}$. At weight minus one they are $3a+b=0$, $2b+2c=0$, $c=0$, which force zero; the maps on the two remaining negative-weight spaces are injective as well. Thus these three lines give all nonzero highest-weight vectors up to scalar, at their respective weights. A linear combination of different lines is killed by $X$ but is not a weight vector, so is not a highest-weight vector.

The lowering operator isIn particular,is an explicit basis for the submodule ${\Gamma }_1$. Indeed $Y^2{h}_1=0$, $X{h}_1=0$, $X(Y{h}_1)=h_1$, and the two vectors have weights $1,-1$. The analogous strings from $h_5,h_3$ have dimensions six and four. Their distinct irreducible highest weights and total dimension twelve give the sl2 tensor product of cubic and quadratic symmetric powers

In a tensor product of Lie algebra representations, the Cartan generators act as sums on the tensor factors. Thus the tensor-product weight diagram is formed by adding representation weights, counting all ordered choices; multiplicities convolve.

For three triplets, the three vertices $3u,3d,3s$ each arise once. Each of the six representation weights $2u+d$, $2u+s$, $2d+u$, $2d+s$, $2s+u$, $2s+d$ arises in three orders. The central representation weight $u+d+s=0$ arises in six orders. The resulting weight diagram has total dimension $3+6\cdot 3+6=27$.

Its maximal highest weight is $3u=3{\omega }_1$, with Dynkin labels $(3,0)$. The corresponding triangular decuplet diagram has precisely these ten locations, all of weight multiplicity one. Subtract it by highest-weight character subtraction. The six remaining nonzero representation weights each have multiplicity two and are exactly the six octet root representation weights, while the origin has multiplicity five. Two octets account for multiplicity two on each root and multiplicity four at the origin. The remaining origin is one singlet. Therefore the tensor cube of the defining SU(3) representation decomposes asThe dimension check is $10+8+8+1=27$. The centre multiplicity check is $1+2+2+1=6$, so the two octets really are distinct copies, rather than one octet with an unexplained degeneracy.

Give $\mathfrak{g}$ its Adjoint representation and use the tensor product of Lie algebra representations. Define the action map of a Lie algebra representationFor $y\in \mathfrak{g}$, the action on the source is $y(x\otimes v)=[y,x]\otimes v+x\otimes yv$. The defining representation identity then givesThus $a$ is a Lie algebra representation homomorphism.

If $V$ is nontrivial and simple, the action is not identically zero, so the image of $a$ is a nonzero submodule. Simplicity forces $a$ to be surjective. For a finite-dimensional $V$ and a semisimple Lie algebra, the Weyl complete reducibility theorem provides an invariant complement $U$ to $\ker a$ in $\mathfrak{g}\otimes V$. The restriction $a{|}_U$ is then an isomorphism onto $V$, givingThis proves the requested summand assertion in the finite-dimensional setting.

If finite dimensionality is not implicit, the final assertion needs that hypothesis: the action summand can fail for an infinite-dimensional simple module. Here is an explicit counterexample. Take $\mathfrak{g}={\mathfrak{sl}}_2$ with $[h,e]=2e$, $[h,f]=-2f$, $[e,f]=h$, and the Verma module of highest weight $-2$:The lowering coefficient never vanishes for $m>0$, so an invariant subspace, using the distinct $h$-weights to isolate a basis vector and then raising, contains $v_0$ and hence all of $V$. Thus $V$ is simple.

In ${\mathfrak{sl}}_2\otimes V$, a vector of weight $-2$ is $Ae\otimes v_1+Bh\otimes v_0$. Applying $e$ gives $-2(A+B)e\otimes v_0$, so its highest vectors are precisely the multiples of $w=e\otimes v_1-h\otimes v_0$. But $w=f(e\otimes v_0)$, and $e\otimes v_0$ has weight zero, absent from $V$. Every homomorphism $r:\mathfrak{g}\otimes V\to V$ therefore kills this vector and then kills $w$. Any embedded copy of $V$ would send its highest vector to a nonzero multiple of $w$, so it cannot admit a projection back to $V$. This rules out a direct summand, not merely a splitting of the particular action map.

The Clebsch-Gordan decomposition for SU2 iswhere $j$ increases by one and every summand occurs once. The tensor product of Lie algebra representations is antihermitian for the product inner product, so an invariant subspace has an invariant orthogonal complement; this gives complete reducibility. To see the particular summands, suppose $j_1\ge j_2$. The product weight diagram has one state of weight $j_1+j_2$, two of weight $j_1+j_2-1$, and increasing multiplicities down to the plateau determined by $j_1-j_2$. Subtracting the weight string of $V_{j_1+j_2}$ leaves a single highest state of weight $j_1+j_2-1$. Repeating highest-weight character subtraction yields exactly the displayed sequence, down to $j_1-j_2$. Its dimensions exhaust the tensor product becauseThe case $j_2\ge j_1$ is identical with the factors exchanged.

Let $C_m^j(m_1,m_2)=⟨m_1:m_2|j,m⟩$ be the Clebsch-Gordan coefficients. Since the total $J_3$ is $J_3^{(1)}\otimes 1+1\otimes J_3^{(2)}$, orthogonality of its eigenspaces gives the selection rule $C_m^j(m_1,m_2)=0$ unless $m_1+m_2=m$. Normalize the coupled states by lowering from a unit highest-weight vector, as in part (i); a common phase for an entire summand is immaterial. ThenTake the inner product with $⟨m_1:m_2|$. On the other hand, the total ladder operator is $J_{\mp }^{(1)}\otimes 1+1\otimes J_{\mp }^{(2)}$, and $J_{\mp }^{†}=J_{\pm }$. Its action on the product bra is thereforeEquating the two evaluations and multiplying by $\sqrt{2}$ proves both signs of the ladder recurrence for Clebsch-Gordan coefficients:Terms with an index outside its allowed weight range are zero. Merely specifying eigenvectors of $J_3$ would allow unrelated phases for different $m$; the coherent positive-ladder convention above is what makes these recurrences hold with the displayed positive square roots.

The SU(3) Lie algebra is the compact real algebra of traceless skew-Hermitian matrices; its complexification is ${\mathfrak{sl}}_3(\mathbb{C})$, a special linear Lie algebra. In an antihermitian Lie algebra representation, the two commuting Cartan operators $H_1,H_2$ are Hermitian matrices, and the root operators satisfy $(E_{+}^a{)}^{†}=E_{-}^a$. Thus the spectral theorem gives an orthogonal weight-space decompositionA weight diagram plots the pairs $\mu$, recording the weight multiplicity $\dim V_{\mu }$ at each position. One point need not represent only one state. The commutators with $H_1,H_2$ give the roots of a root systemThe raising operators $E_{+}^a$ move a nonzero weight vector by $+{\alpha }_a$ and the lowering operators move it by $-{\alpha }_a$. These six root directions form the A2 root system. Each root and its negative generate an SU(2) representation ladder; in particular the pairs with Cartan operators $H_1$ and $-H_1/2+\sqrt{3}{H}_2/2$ constrain the two simple-root strings.

Choose a linear functional positive on the three positive roots. A maximal weight for this ordering is killed by every raising operator. In an Irreducible Lie algebra representation it generates the entire representation by lowering, and its weight space has dimension one. The two SU(2) representation strings show that its Dynkin labels are nonnegative integers:Conversely, each such pair specifies exactly one finite-dimensional irreducible highest-weight representation. Write it as $R(p,q)$. The fundamental weights in these Cartesian coordinates are ${\omega }_1=(1/2,1/(2\sqrt{3}))$ and ${\omega }_2=(0,1/\sqrt{3})$, soThe dimension follows from the three positive-root factors in the Weyl dimension formula: $p+1$, $q+1$, and $(p+q+2)/2$. The complex conjugate representation is $R(q,p)$, with every weight negated. The SU(3) highest-weight coordinates here use $(p,q)$ as Dynkin labels, not as the plotted Cartesian coordinates.

The weight diagram is invariant under the Weyl group, generated by reflections perpendicular to the two simple roots; its convex hull is the orbit polygon of the highest weight. For $p=q=0$ it is a point, the trivial representation. If exactly one of $p,q$ is zero, the polygon is an equilateral triangle, with opposite orientations for $R(p,0)$ and $R(0,p)$. Its edge has $p$ root steps. If $p,q>0$, it is a hexagon with alternating edge lengths $p,q$ root steps; it is regular precisely when $p=q$. The diagram contains the lattice points in that polygon belonging to the coset $\lambda +$ root lattice. A point in a different weight lattice coset is not a weight merely because it lies inside the polygon.

The shell multiplicities in an SU(3) weight diagram can be stated geometrically. The outer boundary has weight multiplicity one. Removing it leaves the orbit polygon for $R(p-1,q-1)$ on the same lattice coset, with every surviving multiplicity reduced by one. Repeating increases the actual weight multiplicity by one at each inward layer until the smaller label reaches zero. The remaining triangular region then has constant multiplicity $\min (p,q)+1$; when $p=q$ it is just the central point. A triangular weight diagram has multiplicity one everywhere. Thus $R(1,1)=8$, the adjoint representation of SU(3), has six root weights of multiplicity one and two independent zero-weight states; $R(2,1)=15$ has an outer shell of multiplicity one and an inner triangle of multiplicity two; $R(2,2)=27$ has twelve outer states, six positions of multiplicity two, and a central position of multiplicity three. The total is $12+6\cdot 2+3=27$. The dominant weight multiplicity formula for sl3 is an algebraic expression of the same rule.

For a tensor product of Lie algebra representations, the Cartan operators add. Consequently its tensor-product weight diagram has weights $\mu +\nu$ and multiplicitiesGeometrically, place a copy of the second weight diagram at every weight of the first, multiplying and adding coincident multiplicities. Because the representation is antihermitian, invariant subspaces have invariant orthogonal complements. To decompose the product, select a maximal remaining dominant weight, identify its irreducible highest-weight representation, subtract that representation's whole diagram with its weight multiplicities, and repeat. This highest-weight character subtraction must exhaust every weight, not merely the corners. Unlike the Clebsch-Gordan decomposition for SU2, an SU(3) product may contain repeated copies of an irreducible representation.

The two three-dimensional Fundamental representations of sl3 are $3=R(1,0)$ and $\overline{3}=R(0,1)$. In $3\otimes 3$, the largest weight is $2{\omega }_1$, giving the six-dimensional triangle $R(2,0)$; subtracting it leaves the reversed three-dimensional triangle $R(0,1)$. The first summand consists of symmetric tensors and the second of antisymmetric tensors. In $3\otimes \overline{3}$, the weight sums give the six roots once and weight zero three times. Subtracting the octet, whose zero weight has multiplicity two, leaves a singlet. Hence the octet and singlet in a fundamental SU3 tensor product and the two-quark product areThe first dimensions are $9=6+3$, and the second are $9=8+1$. Next $6\otimes 3$ has highest weight $3{\omega }_1$, giving $R(3,0)=10$. Subtraction leaves one $R(1,1)=8$. Together with $\overline{3}\otimes 3=8\oplus 1$, this proves the tensor cube of the defining SU(3) representation:The decuplet is fully symmetric in the three factors, the singlet fully antisymmetric, and the two octets have mixed permutation symmetry.

For the quark model, the relevant approximate flavour symmetry rotates the three light quarks $u,d,s$ in the fundamental $3$. The up quark, down quark, and strange quark basis states have the weight diagram of the defining SU(3) representation. In physical coordinates define isospin $I_3=H_1$ and flavor hypercharge $Y=2H_2/\sqrt{3}$. ThenThe last row follows from the Gell-Mann--Nishijima formula $Q=I_3+Y/2$, in units of the positive elementary electric charge. The antiquarks transform in $\overline{3}$ and have the negatives of these additive quantum numbers. Each quark has baryon number $B=1/3$; the strange quark has strangeness $S=-1$, while $u,d$ have $S=0$. Thus $Y=B+S$, distinguishing flavor hypercharge from electroweak hypercharge. The Weyl group geometry is equilateral in $(H_1,H_2)$; using $(I_3,Y)$ rescales the vertical coordinate.

A conventional meson has valence content $q\bar{q}$, so its flavour symmetry gives a meson octet and a singlet. For the light pseudoscalar mesons, the octet contains the pions ${\pi }^{+},{\pi }^0,{\pi }^{-}$ at $Y=0$ with isospin $I=1$, the kaons $K^{+}=u\bar{s},K^0=d\bar{s}$ at $Y=1$, their antiparticles at $Y=-1$, and the $I=0,Y=0$ Eta octet state. The central weight multiplicity two is realized byThe orthogonal eta singlet state is ${\eta }_1=(u\bar{u}+d\bar{d}+s\bar{s})/\sqrt{3}$. The eta and eta prime mesons are mixtures of ${\eta }_8,{\eta }_1$, rather than exact octet and singlet mass eigenstates; this gives the pseudoscalar meson nonet. A different spin coupling of the same flavour product gives the vector mesons, again an octet and singlet, including the $\rho$, $K^{\ast }$, and neutral $\omega ,\varphi$ mixtures. The lowest orbital states have $J^P=0^{-}$ and $1^{-}$ respectively.

A conventional baryon has three valence quarks, so the tensor-cube decomposition supplies the flavour possibilities. The observed lowest baryon octet has spin $1/2$ and positive parity. Its isospin rows are $(Y,I)=(1,1/2),(0,1),(0,0),(-1,1/2)$: the nucleons $p,n$, the three Sigma baryons, the Lambda baryon, and the two Xi baryons. The central states ${\Sigma }^0$ and $\Lambda$ have the same weight $(I_3,Y)=(0,0)$ but different total isospin; this is the physical meaning of the octet's central multiplicity two. The spin-$3/2$, positive-parity baryon decuplet is the triangle with rowsThe Delta baryons form its top row, and the Omega baryon is the bottom $sss$ state. All ten weights have multiplicity one. Their electric charges follow directly from the Gell-Mann--Nishijima formula; for example ${\Delta }^{++}$ has $I_3=3/2,Y=1$, so $Q=2$, and ${\Omega }^{-}$ has $I_3=0,Y=-2$, so $Q=-1$.

The two algebraic octets do not mean that two independent ground-state octets must occur. A three-quark colour singlet has a completely antisymmetric colour wavefunction. For a symmetric spatial ground state, the Pauli exclusion principle therefore requires a symmetric combined spin-flavour wavefunction. The symmetric flavour decuplet pairs with symmetric spin $3/2$; mixed flavour octets pair with mixed spin $1/2$ in one symmetric combination. Equivalently, the symmetric spin-flavour SU6 representation hasThe three-quark flavour singlet is the antisymmetric $uds$ combination. For a spatially symmetric ground state it would require an antisymmetric spin state of three spin-$1/2$ particles, but ${\bigwedge }^3{\mathbb{C}}^2=0$. The Pauli constraint on three-quark flavour multiplets thus excludes it from this ground-state sector; orbital excitation permits other multiplets.

Finally, this flavour symmetry is approximate: the unequal light-quark masses, especially the larger strange-quark mass, and electromagnetic interactions split masses within the multiplets and permit octet-singlet mixing. The weight diagrams classify flavour states, rather than asserting exact equality of their masses. Colour SU(3) is a separate gauge action on each flavour and supplies the colour-singlet constraint; it is not the approximate flavour action used in the eightfold way. The light conventional mesons organize into flavour octets and singlets, while the spatial ground-state three-quark baryons form one spin-$1/2$ octet and one spin-$3/2$ decuplet.

Let $x_1,x_2,x_3$ be the coordinate basis of the defining representation $W$ of ${\mathfrak{sl}}_3$. Write $s_{ij}=x_i{x}_j$ for $1\le i\le j\le 3$. The six $s_{ij}$ form a basis of the symmetric power ${\mathrm{Sym}}^{2}W$, with weight $L_i+L_j$. A basis for the tensor product of Lie algebra representations $T$ consists of all 36 ordered tensorsThe order of the two factors matters; there is no quotient identifying their interchange.

Each weight of a representation has the form $k_1{L}_1+k_2{L}_2+k_3{L}_3$, where the nonnegative integers satisfy $k_1+k_2+k_3=4$. Its weight multiplicity is the number of ways to split this triple into two nonnegative triples, each summing to two. The possible patterns, including every permutation, areFor example, $(2,2,0)$ splits as $(2,0,0)+(0,2,0)$, the reverse split, or $(1,1,0)+(1,1,0)$, giving multiplicity three. For $(2,1,1)$, the four splits pair $(2,0,0)$ with $(0,1,1)$ and $(1,1,0)$ with $(1,0,1)$, each in both orders. The multiplicities sum to $3+12+9+12=36$, verifying the dimension.

The following weight diagram uses Dynkin labels $(p,q)=(k_1-k_2,k_2-k_3)$; the circle numbers give multiplicities and orange points mark the Closed dominant Weyl chamber.

Use the ordered alphabetwith weights $\mathrm{wt}(i)={\epsilon }_i$ and $\mathrm{wt}(\bar{i})=-{\epsilon }_i$. The crystal of the defining symplectic representation is the chainThe label of an arrow is its simple root color; a Kashiwara operator ${\tilde{f}}_i$ follows an arrow of color $i$ and lowers the weight by ${\alpha }_i$.

Here is a grid description of the entire tensor product of crystals, valid for every $n$. Put one vertex $a\otimes b$ at row $a$ and column $b$, in the alphabet order above. Let $P_i$ be the set of chain positions with outgoing color $i$, and $Q_i$ the positions with incoming color $i$:Their indicators are ${\phi }_i$ and ${\epsilon }_i$. Use the crystal tensor-product ruleAn arrow is omitted if the selected factor has no outgoing arrow of that color. Thus the complete grid has a downward color-$i$ arrow when $a\in P_i$ and $b\notin Q_i$, and a rightward color-$i$ arrow when $b\in P_i$ and $a\notin P_i$. There are no other arrows. These two coordinate rules specify every vertex and every edge of the requested general-rank drawing. The following figure displays the full grid at $n=3$, including all components, together with the standard chain; increasing $n$ uses exactly the same grid construction.

For completeness, highest vertices can be read from the raising rule, which selects the first factor when ${\phi }_i(a)\ge {\epsilon }_i(b)$. If $a$ has an incoming edge of color $i$, then ${\phi }_i(a)=0$; either the raising operator acts nontrivially on $a$, or ${\epsilon }_i(b)=1$ and it acts nontrivially on $b$. Thus a highest vertex must have $a=1$. At $a=1$, all ${\phi }_i(a)$ vanish except ${\phi }_1(a)=1$. To be highest, the incoming color of $b$, if any, must consequently be $1$. For $n\ge 2$, the possibilities are exactlyTheir weights are $2{\epsilon }_1=2{\omega }_1$, ${\epsilon }_1+{\epsilon }_2={\omega }_2$, and zero. Each occurs once. Connected highest-weight components of the crystal basis describe the irreducible representations in the tensor product of Lie algebra representations, soThis is the tensor-square decomposition of the defining symplectic representation. The symmetric square is $L(2{\omega }_1)$; the exterior square is the direct sum of its invariant inverse-form line and the primitive exterior square $L({\omega }_2)$. Their dimensions are respectively $n(2n+1)$, $n(2n-1)-1$, and one, summing to $4n^2=\dim (V\otimes V)$. At $n=1$, the chain has two vertices and the highest tensor vertices are only $1\otimes 1$ and $1\otimes \bar{1}$: the decomposition is $L(2{\omega }_1)\oplus L(0)$, of dimensions three and one.

Use the traceless diagonal Cartan subalgebra of the special linear Lie algebra ${\mathfrak{sl}}_n(\mathbb{C})$. Write ${\epsilon }_i(\mathrm{diag}(h_1,\dots ,h_n))=h_i$, so ${\sum }_i{\epsilon }_i=0$. The standard coordinate vectors $e_i$ are weight vectors of weights ${\epsilon }_i$, and the tensor product of Lie algebra representations has basisThe weight of this basis vector is ${\epsilon }_i+{\epsilon }_j+{\epsilon }_k$. There are two possibilities:The first has basis $e_a\otimes (e_a\wedge e_b)$, with the wedge ordered if necessary. In the second, the tensor's first factor can be any one of the three indicated coordinate vectors. No two different listed coefficient patterns restrict to the same functional on the traceless diagonal Cartan subalgebra: their difference would have to be a multiple of $(1,\dots ,1)$, but its coefficient sum is zero. All unlisted weight spaces are zero. As a check,For $n=3$, the distinct-index weight is zero and has multiplicity three.

To determine the irreducible summands, take the upper triangular raising operators. The vector $v_1=e_1\otimes (e_1\wedge e_2)$ is killed by every such operator and has highest weight $2{\epsilon }_1+{\epsilon }_2={\omega }_1+{\omega }_2$. The exterior product mapis a Lie algebra representation homomorphism. It has an equivariant right inverseIndeed $A\iota =I$. The vector $\iota (e_1\wedge e_2\wedge e_3)$ is a highest-weight vector of weight ${\epsilon }_1+{\epsilon }_2+{\epsilon }_3$.

The Weyl complete reducibility theorem and highest-weight representation theory show that $v_1$ generates an irreducible summand in $\ker A$. To check that it exhausts this kernel, use the Weyl dimension formula with the partition $(2,1,0,\dots ,0)$:This equals $\dim \ker A=n\left(\genfrac{}{}{0ex}{}{n}{2}\right)-\left(\genfrac{}{}{0ex}{}{n}{3}\right)$. The exterior-power Lie algebra representation ${\Lambda }^{3}V$ is irreducible, with highest weight ${\omega }_3$ for $n\ge 4$, and is the one-dimensional trivial representation for $n=3$. Therefore the tensor product of the standard representation with its exterior square givesEach summand occurs once; their dimensions are $n(n^2-1)/3$ and $\left(\genfrac{}{}{0ex}{}{n}{3}\right)$.

Use Dynkin labels $(a,b)$ for the highest weight $a{\omega }_1+b{\omega }_2$ of the complex special linear Lie algebra ${\mathfrak{sl}}_3$. The A2 root system has ${\alpha }_1=(2,-1)$ and ${\alpha }_2=(-1,2)$ in these coordinates. In the drawings, ${\omega }_1$ and ${\omega }_2$ have equal lengths and angle $60^{\circ }$; a label at a point records its weight multiplicity, not a further copy at a different position.

The defining fundamental representation has the three weightsFor ${\Gamma }_{2,1}$, lower from its highest weight by the simple roots, retaining multiplicities. One convenient way to calculate them is the sl3 interlacing character formula: for shape $(3,1,0)$ the integer patterns satisfy $1\le p\le 3$, $0\le q\le 1$, $q\le r\le p$, and contribute the weightEnumerating these patterns gives the weight diagramIts dimension is $3\cdot 2+9=15$. The diagram below draws all twelve distinct positions, with the three inner multiplicities equal to two. The extra panel gives the symmetric square used in the calculation.

The six symmetric monomials in the defining basis give $S^2{\Gamma }_{1,0}={\Gamma }_{2,0}$, with weightseach occurring once. Thus the tensor product has dimensionIn a tensor product of Lie algebra representations, weights add and their multiplicities multiply. In terms of formal characters, $\mathrm{ch}V=\mathrm{ch}{\Gamma }_{2,1}\mathrm{ch}{\Gamma }_{2,0}$. Consequently $m_V(\mu )={\sum }_{\nu }{m}_{2,1}(\mu -\nu )$, summing over the six weights just listed. To show the indicated dominant multiplicities explicitly, the contributions in that order areThe tensor-product weight diagram below includes every position, and highlights these dominant weights. It also records the zero-weight multiplicity nine; that multiplicity is not a count of trivial summands.

Apply the Weyl complete reducibility theorem and subtract irreducible formal characters in decreasing dominance order. The multiplicities at these five dominant positions in the potential summands areThese entries can be obtained by the same interlacing enumeration or by weight strings. Starting with $(1,2,4,3,7)$, subtracting ${\Gamma }_{4,1}$ leaves $(0,1,2,2,5)$; subtracting ${\Gamma }_{2,2}$ leaves $(0,0,1,1,3)$; then the two ten-dimensional modules leave a single copy of the dominant weight $(1,1)$. This is highest-weight character subtraction. ThereforeEvery summand occurs once. The Weyl dimension formula gives $35+27+10+10+8=90$, exhausting the dimension of $V$ and ruling out further irreducible summands. Computing the complete formal character also leaves no residual weight multiplicities.

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.