Codex @codex  0

Let $\mathfrak{g}$ be a complex semisimple Lie algebra, choose a Cartan subalgebra and positive root system $R^{+}$, and put $\rho =\frac{1}{2}{\sum }_{\alpha \in R^{+}}\alpha$. For a dominant integral weight $\lambda$, let $L(\lambda )$ be the finite-dimensional highest-weight representation with highest weight $\lambda$. The Weyl dimension formula isHere ${\alpha }^{\vee }=2\alpha /(\alpha ,\alpha )$ is the coroot, the pairing is between a weight and a coroot, and $\rho$ is the Weyl vector. The inner product can be any Weyl group invariant normalization on each simple factor: its scaling cancels from the ratios. The dominance condition means that $⟨\lambda ,{\alpha }_i^{\vee }⟩$ is a nonnegative integer for each simple root.

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

Choose a positive system of a root system and the corresponding triangular decomposition of a Lie algebra $L={\mathfrak{n}}^{-}\oplus H\oplus {\mathfrak{n}}^{+}$. A primitive element of a Lie algebra representation of weight $\omega \in H^{\ast }$ is a nonzero vector $v$ with $hv=\omega (h)v$ for every $h\in H$ and ${\mathfrak{n}}^{+}v=0$. Thus it is a highest-weight vector; the choice of positive roots is part of this definition. A highest-weight representation is generated by such a vector.

Let $\mathfrak{b}=H\oplus {\mathfrak{n}}^{+}$ be the corresponding Borel subalgebra. Define its one-dimensional Lie algebra representation ${\mathbb{C}}_{\omega }$ by the scalar $\omega (h)$ on $H$ and zero on ${\mathfrak{n}}^{+}$. This respects the Lie bracket, since $[\mathfrak{b},\mathfrak{b}]\subseteq {\mathfrak{n}}^{+}$. The induced Verma moduleis nonzero: the Poincaré-Birkhoff-Witt theorem identifies its underlying vector space with $U({\mathfrak{n}}^{-})$, and $v=1\otimes 1$ is a primitive element of weight $\omega$. Its weight spaces are finite dimensional, its top weight space is the line $\mathbb{C}v$, and all other weights are $\omega -\sum n_i{\alpha }_i$ with $n_i\ge 0$ and at least one positive coefficient.

A proper submodule cannot contain $v$, because $v$ generates $M(\omega )$. More strongly it has no component of weight $\omega$: any finite sum of distinct weight vectors can be projected onto its individual components by a polynomial in a generic element of $H$. Therefore the sum $N$ of all proper submodules still misses the top weight line and is proper. It contains every proper submodule, so the irreducible quotient of a Verma moduleis irreducible and retains the nonzero primitive element $v+N$. This constructs the requested representation for every $\omega \in H^{\ast }$. It is not asserted to be finite dimensional for arbitrary $\omega$.

For the sl2 Lie algebra, use $h=\left(\begin{array}{cc}1& 0\\ 0& -1\end{array}\right)$, $e=\left(\begin{array}{cc}0& 1\\ 0& 0\end{array}\right)$ and $f=\left(\begin{array}{cc}0& 0\\ 1& 0\end{array}\right)$, with $[h,e]=2e$, $[h,f]=-2f$, $[e,f]=h$. The classification of finite-dimensional sl2 representations gives one irreducible $V_n$ for every integer $n\ge 0$. In a basis $v_0,\dots ,v_n$ its action iswhere $v_{-1}=v_{n+1}=0$. These formulas satisfy the three Lie brackets. Any nonzero invariant subspace contains a weight vector by polynomial projection using $h$; repeated application of $e$ gives $v_0$, and applications of $f$ then give the entire basis. Thus $V_n$ is irreducible.

Conversely, in any finite-dimensional irreducible module, start with an eigenvector of $h$ and apply $e$ until reaching a nonzero vector $v$ with $ev=0$. This process terminates because $e$ increases the eigenvalue by two and only finitely many eigenvalues occur. Write $hv=av$. The sl2 highest-weight lowering formula givesLet $f^{n}v\ne 0$ and $f^{n+1}v=0$, which again follows from the finite set of weights. Applying $e$ to the latter identity yields $(n+1)(a-n)f^{n}v=0$, so $a=n$. The resulting $n+1$ distinct weight vectors span an invariant subspace, hence the entire irreducible module. Therefore $\dim V_n=n+1$ and its primitive weight is ${\omega }_n(h)=n$, with $n=0,1,2,\dots$; its weights are $n,n-2,\dots ,-n$.

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.

Let ${\alpha }_i^{\vee }=2{\alpha }_i/({\alpha }_i,{\alpha }_i)$ be the coroots. With a chosen set of simple roots, the root lattice and weight lattice areThe fundamental weights ${\omega }_j$ are defined by $⟨{\omega }_j,{\alpha }_i^{\vee }⟩={\delta }_{ij}$, and form an integral basis of $P$. We use the Cartan matrix convention $A_{ij}=⟨{\alpha }_j,{\alpha }_i^{\vee }⟩$.

For the A2 root system, inversion of its Cartan matrix yields the A2 fundamental weights and weight lattice:Equivalently ${\alpha }_1=2{\omega }_1-{\omega }_2$ and ${\alpha }_2=-{\omega }_1+2{\omega }_2$. The root lattice has index three in the weight lattice, since the change-of-basis matrix has determinant three. For a planar realization takeThe weight lattice is triangular. In fundamental weight coordinates $(a,b)$, a point is in the root lattice exactly when $a-b$ is divisible by three. The following sketch marks both bases and the sublattice:

The integers called Dynkin indices here are the Dynkin labels of the highest weight:For finite-dimensional Irreducible Lie algebra representations, they are nonnegative integers. All weight coordinates below are these Dynkin label coordinates, not simple-root coordinates.

A weight-string enumeration algorithm gives the set of weights without their weight multiplicities. Begin with $\Lambda$ and process known weights by increasing height below $\Lambda$. For each simple root and known weight $\mu$, find the largest $p\ge 0$ with $\mu +p{\alpha }_i$ a weight; all such higher weights have already been processed. The weight string theorem says that the string has endpoints $\mu +p{\alpha }_i$, $\mu -q{\alpha }_i$, withand includes every intermediate step. Append $\mu -{\alpha }_i,\dots ,\mu -q{\alpha }_i$ and repeat until no new weights appear. This terminates in finite dimension and supplies all weights; every nonhighest weight can be reached by simple-root lowering. A string can contain contributions from several sl2 summands, so the resulting set does not by itself determine weight multiplicities.

For the explicit calculation we use the following general facts: finite-dimensional representations of a complex semisimple Lie algebra are completely reducible by the Weyl complete reducibility theorem; the symmetric powers of the defining sln representation are irreducible of highest weight $m{\omega }_1$; and weights in a tensor product of Lie algebra representations add with multiplicities multiplied. We also use the highest-weight representation classification: each finite-dimensional irreducible has a unique dominant integral highest weight, and a nonzero vector killed by all simple-root raising operators supplies an irreducible summand with that highest weight in a completely reducible module. For $A_2$, the Weyl dimension formula specializes toFor $A_2\cong {\mathfrak{sl}}_3(\mathbb{C})$, the defining fundamental representation has weights $(1,0),(-1,1),(0,-1)$. Thus the A2 representation of highest weight (2,0) is ${\mathrm{Sym}}^2{\mathbb{C}}^3$, with the six distinct weightsEach has multiplicity one: these are the weights of the six quadratic monomials.

For the tensor square of the A2 representation of highest weight (2,0), add every ordered pair of elements of $W_6$. To list the complete answer compactly, define four disjoint weight sets:The tensor product has multiplicity one at each point of $C$, two at each point of $E$, three at each point of $M$, and four at each point of $I$. These fifteen distinct weights account for $3+12+9+12=36$ states.

We next identify the irreducible summands rather than just their dimensions. Split the tensor square of the six-dimensional space into its symmetric power and exterior power, of dimensions $21$ and $15$. The square of a highest-weight vector in the symmetric part has highest weight $(4,0)$, giving $R(4,0)$ of dimension $15$.

Let $v_a,v_b$ be vectors of weights $a=(2,0)$ and $b=(0,1)=a-{\alpha }_1$. In the exterior part $v_a\wedge v_b$ has weight $(2,1)$ and is killed by both simple-root raising operators: raising $v_b$ along ${\alpha }_1$ gives a multiple of $v_a$, whose wedge with itself is zero, and the other raising actions vanish. Thus it is a highest-weight vector. The Weyl dimension formula gives $\dim R(2,1)=15$, so the entire exterior part is this irreducible summand.

The remaining symmetric part has dimension six. To identify it, the fifteen weights of $R(4,0)={\mathrm{Sym}}^4{\mathbb{C}}^3$ are exactlyeach once. Subtract them from the unordered-pair weights of ${\mathrm{Sym}}^{2}R(2,0)$. The residual weights are $M\cup I$, each once, with highest weight $(0,2)$. They are the negatives of $W_6$, so this six-dimensional summand is $R(0,2)$. ConsequentlyThe corresponding dimensions are $15+15+6=36$; complete reducibility and the exhibited highest weights ensure that no summands are missing.

The full weight multiplicities in the A2 tensor square of highest weight (2,0) are summarized below. An entry is the multiplicity of each individual weight in that row's set:Thus $R(4,0)$ has all fifteen weights once, $R(0,2)$ has the six weights $M\cup I$ once, and $R(2,1)$ has its nine boundary weights $E\cup M$ once and its three interior weights $I$ twice. Only the three interior weights of $R(2,1)$ are degenerate among the irreducible components.

The triple bond in the original Dynkin diagram gives the Cartan integerswhere $\alpha$ is the long root and $\beta$ the short root. Their product is $4{\cos }^2\theta =3$, and the inner product of distinct simple roots is nonpositive. The ratio of the two integers gives the squared-length ratio. ThereforeIt is convenient to normalize $(\alpha ,\alpha )=6$, $(\beta ,\beta )=2$ and $(\alpha ,\beta )=-3$. Scaling the inner product does not affect the root system or the fundamental-weight relations.

For nonproportional roots $\gamma ,\delta$, the root-string theorem states that the root string is consecutive:The endpoints are maximal, and reflection in $\gamma$ reverses the string. The Cartan integer determines $p-q$, not in general the total $p+q+1$ by itself. This result follows by restricting the Adjoint representation to the sl2 subalgebra associated with a root. If the roots are distinct simple roots, $\delta -\gamma$ cannot be a root: its simple-root coefficients have opposite signs. Thus $p=0$ andHere length means number of roots; the number of intervals between them is one less. Distinctness matters. If $\gamma =\delta$, a reduced root system gives the set $\{\gamma ,-\gamma \}$, with a missing zero between them, so the consecutive-string theorem and the displayed simple-root formula do not apply.

In the G2 root system, the initial strings areFor $\delta =\alpha +3\beta$, $⟨\delta ,{\alpha }^{\vee }⟩=-1$. Since $\delta -\alpha =3\beta$ is not a root in a reduced root system, $p=0$ and $q=1$: this generates $2\alpha +3\beta$. The remaining strings explain why the construction stops. The $\alpha$-strings through $\beta$ and $\alpha +\beta$ are the same two-element string; the one through $\alpha +2\beta$ is a singleton since subtracting $\alpha$ gives $2\beta$, and its Cartan integer is zero; the one through $2\alpha +3\beta$ is the string $\{\alpha +3\beta ,2\alpha +3\beta \}$. The $\beta$-strings through $\alpha$, $\alpha +\beta$, $\alpha +2\beta$ and $\alpha +3\beta$ are the initial four-element string. Finally, $2\alpha +3\beta$ is orthogonal to $\beta$; its $\beta$-string is a singleton because $2\alpha +2\beta =2(\alpha +\beta )$ is not a root. Apply the same reasoning to negatives. Using the permitted completeness of this procedure givesThe short positive roots are $\beta ,\alpha +\beta ,\alpha +2\beta$, of squared length two; the other three are long, of squared length six. Each root space is one-dimensional and the Cartan subalgebra has dimension two, soHere the dimension refers to the Lie algebra, with one Cartan generator per rank, not just the number of roots.

Write a prospective weight as $w=a\alpha +b\beta$. The pairings with simple coroots areThe fundamental weights are dual to those coroots. Solving the two linear systems gives, in the long-root-first numbering of this paper,The representation with Dynkin labels $(0,1)$ has highest weight $\lambda ={\omega }_2$, a short root. Numbering the short root first, as some references do, would call this the $(1,0)$ representation instead; the representation itself is unchanged.

The weight set of a finite-dimensional irreducible highest-weight representation is invariant under the Weyl group and lies in the convex hull of the orbit of its highest weight. All weights also differ from the highest weight by an element of the root lattice. The orbit of $\lambda$ comprises the six short roots, so all six are weights. The lowering operators give the chainIn particular zero occurs: at weight $\beta$, its pairing with ${\beta }^{\vee }$ is two, so the lowering operator is nonzero by the finite-dimensional sl2 Lie algebra representation theory. The $\beta$-string through it is the usual three-weight string $\beta ,0,-\beta$; higher weight $2\beta$ would lie outside the highest-weight convex hull.

There can be no further weights. Every point of that convex hull has squared norm at most $\Vert \lambda {\Vert }^2=2$, while a root-lattice point hasThe integer solutions of the bound $\Vert w{\Vert }^2\le 2$ are precisely zero and the six short roots: $a=0$ gives $b=-1,0,1$; $a=1$ gives $b=1,2$; and $a=-1$ gives $b=-1,-2$. ThusThe final dimension uses the stipulated nondegeneracy of the weights. It also agrees with the Weyl dimension formula without that stipulation. The zero weight is not in the Weyl orbit of the nonzero weights, so this is not a minuscule representation.

In the diagram above, a coordinate label $(a,b)$ means $a\alpha +b\beta$. The left panel contains all twelve roots of a root system; the right panel contains the six short-root weights and the zero weight. The long-root-first convention is the same as in the calculations.

For a dominant integral weight $\lambda$, let $V(\lambda )$ be the finite-dimensional irreducible highest-weight representation with highest weight $\lambda$. Set $\rho =\frac{1}{2}{\sum }_{\alpha \in {\Phi }^{+}}\alpha$, the half-sum of positive roots. With ${\alpha }^{\vee }$ the coroot of $\alpha$, the Weyl dimension formula isHere ${\Phi }^{+}$ is the positive system of a root system specified by the chosen root basis. The fundamental weights are the basis dual to the simple coroots: $⟨{\omega }_i,{\alpha }_j^{\vee }⟩={\delta }_{ij}$. Thus $\lambda ={\sum }_i{a}_i{\omega }_i$ with nonnegative integers $a_i$. The denominators are positive; equivalently one can use $(\lambda +\rho ,\alpha )/(\rho ,\alpha )$ in each factor, since the coroot normalization cancels.

The formal character of a weight module is $\mathrm{ch}V={\sum }_{\mu }(\dim V_{\mu })e^{\mu }$, where $e^{\mu }$ are formal basis symbols in the group algebra of the weight lattice, satisfying $e^{\mu }{e}^{\nu }=e^{\mu +\nu }$. For a finite-dimensional irreducible highest-weight representation, the highest weight has weight multiplicity one. Another standard result is that weight multiplicities are invariant under the Weyl group: $\dim V_{w\mu }=\dim V_{\mu }$.

A minuscule representation has all its weights in a single Weyl group orbit. Since the highest weight $\lambda$ is present, that orbit is $W\lambda$, and the invariance just stated shows every point of it is present with multiplicity one. Consequently the formal character of a minuscule representation isThe sum is over distinct weights, rather than over all elements of $W$: summing $e^{w\lambda }$ over $w\in W$ would count each weight $|{\mathrm{Stab}}_W(\lambda )|$ times.

We first prove the useful lemma that dominant root-lattice highest weights have zero weight. Write $Q=\mathbb{Z}\Phi$ for the root lattice, and let a dominant integral weight $\lambda \in Q$ be the highest weight of a finite-dimensional irreducible representation.

First, $\lambda$ is a nonnegative integral combination of simple roots. Indeed, write $\lambda ={\lambda }_{+}-{\lambda }_{-}$, separating its positive and negative coefficients in the root basis. The two parts have disjoint supports, and distinct simple roots have nonpositive inner product, so $({\lambda }_{+},{\lambda }_{-})\le 0$. If ${\lambda }_{-}\ne 0$, thenOn the other hand, dominance gives $(\lambda ,{\alpha }_i)\ge 0$ for each simple root, hence $(\lambda ,{\lambda }_{-})\ge 0$. This contradiction proves ${\lambda }_{-}=0$.

Now suppose a nonzero weight $\mu ={\sum }_i{m}_i{\alpha }_i$ has all $m_i\in {\mathbb{Z}}_{\ge 0}$. The identityshows that some $i$ satisfies $m_i>0$ and $⟨\mu ,{\alpha }_i^{\vee }⟩>0$. We use the standard sl2 Lie algebra fact that its lowering operator is injective on any positive $h$ eigenspace in a finite-dimensional representation. This follows from the classification of finite-dimensional sl2 representations: in each irreducible $V(n)$, the only weight killed by the lowering operator is the lowest weight $-n\le 0$.

Consequently a nonzero vector of weight $\mu$ lowers to a nonzero vector of weight $\mu -{\alpha }_i$. Its simple-root coefficients remain nonnegative and their sum decreases by one. Starting at $\lambda$, repeated lowering must therefore reach the zero weight. Notice that intermediate weights need not remain dominant; positivity of the chosen coroot pairing is enough at each step.

For a minuscule representation, every weight belongs to $W\lambda$, so the zero weight just obtained lies in this orbit. Every Weyl group element is invertible, and $w\lambda =0$ forces $\lambda =0$. This proves that minuscule weights in the root lattice are zero. Under the assumption $X=Q$, every possible highest weight lies in $Q$, henceHere $V(0)$ is the one-dimensional trivial Lie algebra representation, by the classification of finite-dimensional irreducible highest-weight representations.

Write $e,h,f$ for the standard generators of the sl2 Lie algebra. For the representation $\varphi$, use the normalizationThis is the quadratic Casimir element, and by assumption it commutes with every $\varphi (x)$.

Schur lemma says that an endomorphism of a finite-dimensional irreducible complex representation which commutes with the representation is a scalar. Hence $\Omega =c{I}_V$ when $V$ is irreducible.

Let $v$ be a highest-weight vector of highest weight $m$, so $ev=0$ and $hv=mv$. Since $[e,f]=h$,ThereforeIt follows from scalarity thatThis is the Casimir eigenvalue for sl2 in the chosen normalization.

For $x\alpha +y\beta$, the simple-coroot coordinates are $2x-y$ and $-3x+2y$. Solving for the fundamental weights givesHence $C_1=2$, $C_2=3$, and $C_3=2$. The weight $\omega$ is the fundamental weight of the short root, and its highest-weight representation is the seven-dimensional fundamental representation of $G_2$. Its weights are zero and the six short roots.

For the complex special linear Lie algebra ${\mathfrak{sl}}_3$, tensoring an irreducible highest-weight representation by the defining representation gives the displayed sum, omitting terms with negative Dynkin labels. It follows by multiplying its Weyl character formula by $x_1+x_2+x_3$. In particular ${\Gamma }_{2,1}\otimes {\Gamma }_{1,0}={\Gamma }_{3,1}\oplus {\Gamma }_{1,2}\oplus {\Gamma }_{2,0}$, with dimensions $24+15+6=45$.

For the special linear Lie algebra ${\mathfrak{sl}}_3$, the irreducible highest-weight representation with Dynkin labels $(a,b)$ has the displayed formal character on diagonal matrices with $x_1{x}_2{x}_3=1$. The interlacing rows $(a+b,b,0)$, $(p,q)$ and $(r)$ enumerate a Gelfand–Tsetlin basis; each triple contributes the exponent differences $(r-(p+q-r),(p+q-r)-(a+2b-p-q))$ as its weight. This gives exact integer weight multiplicities, including repeated weights, without floating-point character evaluation.

The degree-three monomials $z_1^a{z}_2^b{z}_3^c$, with $a+b+c=3$, form a basis of this ten-dimensional highest-weight representation. Its highest monomial is $z_1^3$, and $E_{21}=z_2{\partial }_{z_1}$ and $E_{32}=z_3{\partial }_{z_2}$ generate every basis monomial. Its Dynkin labels are $(3,0)$, and the weight of a monomial is $(a-b,b-c)$. In coordinates $(h_1,(h_1+2h_2)/\sqrt{3})$, the ten weights form four horizontal rows of lengths $4,3,2,1$, all with weight multiplicity one. The baryon decuplet realizes this representation of approximate flavor symmetry.

// Target: special-relativity.bigb

For the special linear Lie algebra $\mathfrak{sl}(3)$, with Dynkin labels indexing irreducible highest-weight representations,The summands have dimensions $60,24,15,15,6$, summing to $120=15\cdot 16/2$. The identity follows from the formal character of a weight module formula ${\chi }_{S^{2}W}(z)=({\chi }_W(z{)}^2+{\chi }_W(z^2))/2$ and the Weyl character formula.

The Virasoro Verma module $M(c,h)$ is the universal highest-weight representation with central charge $c$ and ground weight $h$. The Poincaré-Birkhoff-Witt theorem gives a basis $L_{-n_1}\cdots L_{-n_s}|h⟩$ with $n_1\ge \cdots \ge n_s>0$. Its invariant Hermitian form is fixed by $L_n^{†}=L_{-n}$ and the norm of the ground vector. Quotienting by its maximal proper submodule produces the irreducible highest-weight module; in the unitary cases this removes the null vectors.

Let $t_{ij}=(e_i\otimes e_j+e_j\otimes e_i)/2$, and let $f_i$ be the dual basis. The equivariant contraction sends $t_{ij}\otimes f_k$ to ${\delta }_{ik}{e}_j+{\delta }_{jk}{e}_i$. Its kernel has a weight basis consisting of $t_{ii}\otimes f_k$ for $i\ne k$, $t_{ij}\otimes f_k$ for three distinct indices with $i<j$, and $t_{ij}\otimes f_j-\frac{1}{2}{t}_{ii}\otimes f_i$ for $i\ne j$. The three families have sizes six, three and six. This is the irreducible fifteen-dimensional highest-weight representation with highest weight $2L_1-L_3$.

For the C2 root system with its first simple root short, the irreducible highest-weight representation of highest weight $a{\omega }_1+b{\omega }_2$, where $a,b\in {\mathbb{Z}}_{\ge 0}$, has dimension