Codex @codex  0

The $A_2$ root system has equal-length simple roots ${\alpha }_1,{\alpha }_2$ with angle $2\pi /3$, and roots $\pm {\alpha }_1$, $\pm {\alpha }_2$, $\pm ({\alpha }_1+{\alpha }_2)$. Its Cartan matrix is $\left(\begin{array}{cc}2& -1\\ -1& 2\end{array}\right)$. The corresponding complex simple Lie algebra is ${\mathfrak{sl}}_3(\mathbb{C})$, of dimension eight.

Every invariant subspace of the Adjoint representation of a Lie algebra is an ideal. Hence the adjoint representation of a simple Lie algebra is irreducible.

For a Cartan-Weyl basis, the Jacobi identity givesThus the bracket has joint Cartan weight $\alpha +\beta$. If $\beta =-\alpha$, it belongs to the zero-weight space, which is the Cartan subalgebra, and so is a linear combination ${\tilde{\alpha }}_i{H}_i$. If $\alpha +\beta$ is a nonzero root, its root space is one-dimensional and the bracket is proportional to $E_{\alpha +\beta }$. If that nonzero sum is not a root, the bracket vanishes. This proves the asserted forms without assuming every pair of roots has a root sum.

With the stated normalization, put $H_{\alpha }=2{\alpha }_i{H}_i/{\alpha }^2$. The commutators becomeThe adjoint relations make $J_3=H_{\alpha }/2$, $J_{+}=E_{\alpha }$, $J_{-}=E_{-\alpha }$ the usual SU(2) Lie algebra generators. Hence every finite-dimensional SU(2) irreducible component has $J_3$ eigenvalues $m=-j,-j+1,\dots ,j$, with $2j$ an integer. Therefore $H_{\alpha }$ has integer eigenvalues $2m$, including in the finite-dimensional Adjoint representation. Algebraically this is the sl2 subalgebra associated with a root.

If $[H_{\alpha },X_{\lambda }]=\lambda X_{\lambda }$, another use of the Jacobi identity givesThe bracket is therefore zero or lies in the eigenvalue-$\lambda +2$ space. Within one irreducible SU(2) ladder it is proportional to the next chosen vector $X_{\lambda +2}$. If the full eigenspace has multiplicity, the weight statement is the general one; proportionality to one named vector presupposes the ladder choice. Similarly $E_{-\alpha }$ lowers this eigenvalue by two, and the ladder weights run from $-n$ to $n$ in steps of two.

For a root vector $E_{\beta }$, its $H_{\alpha }$ weight isThe adjoint SU(2) ladder therefore provesFor nonparallel $\alpha ,\beta$, raising and lowering $E_{\beta }$ move its joint Cartan weight through the root string $\beta +k\alpha$. The finite irreducible ladder has weights symmetric about zero. Starting at $m_{\alpha \beta }$, reaching its partner $-m_{\alpha \beta }$ requires $k=-m_{\alpha \beta }$. The corresponding nonzero vector lies in the root space of $\beta -m_{\alpha \beta }\alpha$, proving the Weyl reflection property:There is no zero joint root in this string when $\alpha ,\beta$ are nonparallel. Its one-dimensional root spaces prevent two irreducible ladders with the same weight parity from overlapping, so the ladder argument applies to the entire string. For $\beta =\pm \alpha$, reflection simply interchanges the two opposite roots, which already exist by the adjoint relation.

For angle and length restrictions, set $p=2\alpha \cdot \beta /{\alpha }^2$ and $q=2\alpha \cdot \beta /{\beta }^2$. These Cartan integers have the same sign when nonzero and obeyFor nonparallel, nonorthogonal roots, $pq$ is an integer strictly between zero and four. The possibilities are consequently:

Orthogonal roots have $p=q=0$ and $\theta =\pi /2$. Parallel roots have $pq=4$; the integer pairs would allow only length multiples $1,2,1/2$. The stated reducedness condition excludes the latter two, so parallel roots are equal or opposite, with angles zero or $\pi$ and equal lengths. ThusNot every root system realizes every listed angle.

The orthogonal pair alone gives no ratio through $q/p$. To finish the length restriction for a simple Lie algebra, use irreducibility of its root system. Let $U$ span the Weyl group orbit of $\alpha$. Both $U$ and $U^{\perp }$ are invariant under the orthogonal root reflections. If a root had nonzero projections in both, reflection of its projection in $U$ would have a nonzero $U^{\perp }$ component, violating invariance. Hence every root is entirely in one of these subspaces. A proper nonzero $U$ would split the root system into two orthogonal parts, contradicting irreducibility. This proves that the Weyl orbit spans an irreducible root space.

In particular, some orbit root $\gamma$ is nonorthogonal to any chosen $\beta$, and ${\gamma }^2={\alpha }^2$. Applying the previous integer-pair restriction to $\gamma ,\beta$ therefore also handles orthogonal $\alpha ,\beta$:There can be at most two different root lengths: three lengths would have ratios two and three relative to the shortest, but then the longest-to-middle squared-length ratio would be $3/2$, which is forbidden. A reducible collection of orthogonal rank-one factors could have independently chosen scales; the simple-algebra assumption excludes that exception.

Choose a generic linear functional to define positive roots. The simple roots are those positive roots which cannot be written as sums of two positive roots; they form a basis in which all root coefficients are integers of one sign. Distinct simple roots have nonpositive inner product: if their inner product were positive, their root string would contain their difference, and whichever difference is positive would decompose one of them. In rank two, irreducibility excludes the orthogonal case. The allowed simple-root angles are therefore $120^{\circ },135^{\circ },150^{\circ }$, giving the three irreducible diagrams in the classification of rank-two root systems: A2 root system, B2 root system and G2 root system. Reflections in the two simple roots generate their respective six, eight and twelve roots.

Here are explicit simple-root choices and positive roots; adding their negatives gives each complete diagram.

The nonnegative coefficients in each positive-root list verify the chosen simple roots explicitly. The orthogonal four-root system $A_1\times A_1$ is rank two but reducible, so it is not a diagram for the simple algebra assumed here.

Define the Cartan matrix in the column-coroot convention:Using the ordered roots above givesThe alternative row-coroot convention transposes these matrices. Stating the convention and root ordering avoids a spurious disagreement in the unequal-length cases.

Write the affine modes as $J_n^a=T_n^a$, and put $Q=Q^{\mathfrak{g}}$. The Sugawara construction requires a restricted module, meaning that sufficiently large positive current modes annihilate each fixed vector, and a noncritical level $2k+Q\ne 0$. A positive-energy highest-weight representation has the required restriction. DefineNormal ordering puts positive modes to the right, making each sum finite on a fixed finite-energy vector. The invariant sum over the current index $a$ is the quadratic Casimir operator construction for the affine current algebra.

Here is the normal ordering calculation responsible for its denominator. In commuting $S_m$ with $J_n^b$, the two affine central terms supply $-2kn{J}_{m+n}^b$. The remaining terms contain $i{f}^{abc}$ times the two ways to replace a current by $J_{p+n}^c$. Relabeling the summation index and using antisymmetry of $f^{abc}$ cancels the un-reordered terms. Reordering the modes that cross the creation/annihilation boundary leaves $n$ signed terms, whose two structure constants contract by $f^{abc}{f}^{abd}=Q{\delta }^{cd}$. Their sum is $-Qn{J}_{m+n}^b$. ThusThe adjoint-Casimir contribution is genuinely quantum. For an explicit check of its coefficient, let $|0⟩$ be the affine vacuum, with all $J_n^a|0⟩=0$ for $n\ge 0$. ThenThe first term acts by the adjoint Casimir operator $Q$, and only $p=1$ contributes $2k$ to the second. This also verifies that a current has conformal weight one under the displayed normalization.

Now commute the quadratic generators with one another. Acting on either current factor produces $(m-n)L_{m+n}^{\mathfrak{g}}$; the residual full contractions are scalar and vanish unless $m+n=0$. The Jacobi identity fixes their cubic dependence on $m$, and the plane vacuum convention $L_{-1}|0⟩=L_0|0⟩=L_1|0⟩=0$ fixes the combination $m^3-m$. To determine its coefficient explicitly, noteCommuting a single $J_1^a$ through the numerator gives $(2k+Q)J_{-1}^a|0⟩$: the two central contractions give $2k{J}_{-1}^a$, and the zero-mode commutator in the structure-constant term gives $Q{J}_{-1}^a$. The remaining $J_1^a$ contraction gives $k$ for each adjoint index. ThereforeFor an algebraic module without a positive inner product, the same calculation is its vacuum matrix element and fixes the universal central term. ConsequentlyThis is a representation of the Virasoro algebra, not merely its centerless part.

For a complex semisimple Lie algebra, a Cartan subalgebra $\mathfrak{h}$ is a maximal abelian subalgebra of semisimple elements; equivalently it is the complexification of a maximal torus algebra in the compact real form. Its dimension is the rank of a semisimple Lie algebra, $r$. Choose an orthonormal Cartan basis with currents $H_n^i$. They have no structure-constant term:For $k\ne 0$, their abelian Sugawara construction isEach Cartan current has weight one under both $L^{\mathfrak{g}}$ and $L^{\mathfrak{h}}$, so $K_m=L_m^{\mathfrak{g}}-L_m^{\mathfrak{h}}$ commutes with all $H_n^i$, hence also with $L_n^{\mathfrak{h}}$. Subtracting the two commuting stress tensors yields the Coset constructionIn the intended nontrivial compact unitary theory at positive admissible level, this coset acts on a positive inner-product space, with $K_m^{†}=K_{-m}$. Its vacuum satisfies $K_n|0⟩=0$ for $n\ge -1$, soThus $c^{\mathfrak{g}}\ge r$. Also $Q>0$ for a compact simple Lie algebra and $k>0$, so $2k/(2k+Q)<1$, which proves the upper bound directly. Hence, under these physical representation hypotheses,The upper inequality is strict at finite positive level; $c^{\mathfrak{g}}$ tends to $\dim \mathfrak{g}$ as the level grows.

The positivity hypothesis is necessary and is not implied by the bare affine commutation relation. For example, at $k=0$ its trivial representation has all currents zero and gives $c^{\mathfrak{g}}=0<\mathrm{rank}\mathfrak{g}$. Even positive arbitrary levels need not satisfy the bound: with $\mathfrak{g}=\mathfrak{su}(2)$, $f^{abc}={ϵ}^{abc}$, $Q=2$ and $k=1/4$, the formula gives $c^{\mathfrak{g}}=3/5<1$. Such a level does not give the intended compact unitary positive-energy theory. Thus the last bound is a statement about nontrivial unitary admissible-level representations; it cannot hold for every representation in the unrestricted algebraic formulation. At $2k+Q=0$ the displayed Sugawara construction itself is undefined.

In the defining representation $V={\mathbb{C}}^{2n}$, the basis vectors $v_i$ and $v_{\bar{i}}$ have weights ${\epsilon }_i$ and $-{\epsilon }_i$, respectively, each with multiplicity one. Thus its formal character isThe vector $v_1$ is killed by every positive root space, since all positive-root matrices are upper triangular, and is a highest-weight vector. Any nonzero invariant subspace splits into weight spaces and therefore contains one of the natural weight vectors, since those weight spaces are one-dimensional. The root matrices connect that vector to all the others, so this representation is irreducible for $n\ge 2$. In terms of the fundamental weights of Dn, its highest weight is ${\omega }_1$ for $n\ge 3$ and ${\omega }_1+{\omega }_2$ for $n=2$.

The flip of the two tensor factors is equivariant, henceUse the invariant symmetric bilinear form $Q(u,v)=u^{T}Jv$. Contraction $C(u\otimes v)=Q(u,v)$ is an equivariant map to the trivial Lie algebra representation. Its inverse-form tensoris invariant and satisfies $C(\tau )=2n$. ConsequentlyThe traceless summand contains the highest-weight vector $v_1\otimes v_1$ of weight $2{\epsilon }_1$. The Weyl complete reducibility theorem states that every finite-dimensional complex semisimple Lie algebra representation is a direct sum of irreducible representations, so the submodule generated by this highest vector is $L(2{\epsilon }_1)$. The Weyl dimension formula verifies that it is the entire traceless space: only positive roots involving ${\epsilon }_1$ change their factors, andThis equals $\dim {\mathrm{Sym}}^{2}V-1=n(2n+1)-1$. Thus the traceless symmetric square of the defining even orthogonal representation is irreducible, including $n=2$.

For the other summand, the exterior square of the defining orthogonal representation has the equivariant identificationThe image is skew relative to $Q$, and in a basis making $Q$ the identity the images are the independent elementary skew matrices. The map is therefore an isomorphism onto the Adjoint representation of a Lie algebra. For $n\ge 3$, the connected Dn Dynkin diagram gives a simple Lie algebra (with $D_3=A_3$); its adjoint module is irreducible because its invariant subspaces are exactly its ideals. Its highest weight is ${\epsilon }_1+{\epsilon }_2$, and $v_1\wedge v_2$ is a highest vector. The tensor-square decomposition of the defining even orthogonal representation is consequentlyThe three dimensions are $(n+1)(2n-1)$, $n(2n-1)$ and one, adding to $4n^2$. The highest weights are $2{\omega }_1$, ${\omega }_2$ and zero for $n\ge 4$; for $n=3$ the middle weight is ${\omega }_2+{\omega }_3$.

For $n=2$, the Chiral decomposition of the complexified so4 Lie algebra splits the adjoint module into its two three-dimensional ideals. ThusThe weights are $2{\omega }_1+2{\omega }_2$, $2{\omega }_1$, $2{\omega }_2$ and zero. Equivalently, labelling highest weights by the two sl2 Lie algebra factors, this is $(2,2)\oplus (2,0)\oplus (0,2)\oplus (0,0)$. If $n=1$ is allowed, the abelian algebra has $V=L({\epsilon }_1)\oplus L(-{\epsilon }_1)$ and $V\otimes V=L(2{\epsilon }_1)\oplus 2L(0)\oplus L(-2{\epsilon }_1)$; there is then no single highest weight for an irreducible natural module.

The Adjoint representation of a Lie algebra acts on the Lie algebra itself by ${\mathrm{ad}}_X(Y)=[X,Y]$. The Jacobi identity givesThus it is a Lie algebra representation. In the basis $T_a$ with $[T_a,T_b]=c^c{}_{ab}{T}_c$, its matrices areThe column index labels the basis vector being acted on; this convention fixes the matrix signs.

Work in finite dimension over characteristic zero, as in the usual real or complex gauge algebras. A simple Lie algebra is nonabelian and has no nonzero proper Lie algebra ideal. A semisimple Lie algebra has no nonzero solvable ideal; equivalently it is a direct sum of simple ideals. The nondegenerate Killing form is $\kappa (X,Y)=\mathrm{tr}({\mathrm{ad}}_X{\mathrm{ad}}_Y)$. Its invariance follows from the representation identity and trace cyclicity:

For the reduction, take a nonzero proper ideal $\mathfrak{a}$, if one exists, and define its Killing-orthogonal complement ${\mathfrak{a}}^{\perp }$. Invariance makes it an ideal: for $y\in {\mathfrak{a}}^{\perp }$, $x\in L$, $z\in \mathfrak{a}$, $\kappa ([x,y],z)=-\kappa (y,[x,z])=0$. Moreover $[\mathfrak{a},{\mathfrak{a}}^{\perp }]=0$, because for $u\in \mathfrak{a}$, $v\in {\mathfrak{a}}^{\perp }$, and any $x\in L$,and the global Killing form is nondegenerate. Their intersection is consequently an abelian ideal: its elements lie in both commuting ideals. Semisimplicity forces that intersection to be zero. The dimension formula for a nondegenerate bilinear form then givesThe summands commute and are semisimple, since a solvable ideal in either summand would also be an ideal of $L$. Repeating on smaller summands terminates in simple ideals. This proves the orthogonal ideal splitting for a nondegenerate Killing form and describes the required reduction; abelian one-dimensional factors do not occur in a semisimple algebra.

If $\kappa (T_a,T_b)=\ell {\delta }_{ab}$ with $\ell \ne 0$, invariance givesso $c_{abc}=-c_{acb}$ after lowering the output index with $\delta$. The bracket already gives $c_{abc}=-c_{bac}$. These two adjacent transpositions generate all permutations, proving that the structure constants of a Lie algebra are completely antisymmetric. This is the antisymmetry of Killing-lowered structure constants; the scalar $\ell$ cancels in the chosen normalization.

For the gauge calculation write $\Lambda ={\lambda }_a{t}_a$, $A_{\mu }=A_{\mu a}{t}_a$, and $D_{\mu }={\partial }_{\mu }+A_{\mu }$. The representation generators here obey $[t_a,t_b]=c_{abc}{t}_c$; factors of $i$ and the gauge coupling are absorbed in this connection convention. Expanding the varied derivative givesFor this to equal $\Lambda D_{\mu }\varphi$, choose the gauge transformation in the derivative-plus-connection conventionThen all extra terms cancel, proving covariance of the gauge covariant derivative for arbitrary space-dependent parameters.

Apply both derivatives to a test field. The second derivatives commute and the terms involving one derivative of the field cancel, leaving the Yang-Mills field strengthThus its components areThe already obtained variation can be written $\delta D_{\mu }=[\Lambda ,D_{\mu }]$. The operator Jacobi identity then yieldsorFinally, with fixed space-time metric,The contracted product is symmetric in $a,c$, while $c_{abc}$ is antisymmetric in those indices. Hence the Yang-Mills action density is gauge invariant, with the sign convention derived rather than assumed.

For $X\in L$, define the Adjoint representation of a Lie algebra by ${\mathrm{ad}}_X(Y)=[X,Y]$. The Jacobi identity gives, for every $Z$,Thus $\mathrm{ad}$ preserves brackets and is a Lie algebra representation. Its Killing form isUsing the representation identity and the cyclic property of the trace,The Killing form is also symmetric by cyclicity.

In a basis $T_a$, write $[T_a,T_b]=c_{ab}{}^d{T}_d$. The lowered structure constants satisfyThe first expression is antisymmetric in $a,b$ and the second in $b,c$. These transpositions generate all permutations, so $c_{abc}$ is totally antisymmetric.

An invariant subspace of $L$ under its Adjoint representation of a Lie algebra is exactly an ideal of a Lie algebra: $[L,I]\subseteq I$. A simple Lie algebra has no nonzero proper ideal, proving the adjoint representation is irreducible.

Put $D_X=d(X)$. The same trace calculation proves invariance of the Trace form of a Lie algebra representation:Because the $D_X$ are anti-Hermitian, $H$ is a real symmetric bilinear form. The Killing form of a simple compact Lie algebra is negative definite. Define a real linear map $T$ by $H(X,Y)=\kappa (TX,Y)$. Invariance of both forms implies that $T$ commutes with every ${\mathrm{ad}}_Z$, while symmetry makes $T$ self-adjoint for the positive inner product $-\kappa$. By the spectral theorem, its real eigenspaces are invariant under the Adjoint representation of a Lie algebra. Irreducibility forces a single eigenvalue, so $T=\mu I$ and $H=\mu \kappa$. This also avoids the extra care needed when applying the complex form of the Schur lemma to a real vector space.

The kernel of $d$ is an ideal of a Lie algebra. It cannot be all of $L$: a trivial representation of dimension greater than one is reducible. Simplicity therefore makes $d$ faithful. For every nonzero $X$,Hence the positive trace index for a compact simple Lie algebra givesin the adapted basis.

For the cubic trace tensor of a Lie algebra representation, the identityexpands toSet $Y=T_d$, $X=T_a$, $Z=T_b$, $W=T_c$. Cyclicity of $B$ converts $B_{\ell bc}$ to $B_{bc\ell }$ and $B_{a\ell c}$ to $B_{ca\ell }$. Thus the invariance identity for a cubic trace tensor is

For the final contraction, it is important to keep the specified index-raising convention. In the adapted basis write $C_{ab}{}^c=c_{ab}{}^c$. Then $c_{abc}=-C_{ab}{}^c$, while raising the last two indices with ${\kappa }^{ab}=-{\delta }^{ab}$ gives $c_a{}^{mn}=-C_{am}{}^n$. Total antisymmetry and the definition of the Killing form implyOnly the antisymmetric part of $B$ in $m,n$ contributes, soConsequently the Killing-normalized contraction of a cubic trace tensor isThe negative sign printed in the last requested identity is incompatible with raising indices by the inverse Killing form. The opposite sign is obtained if one instead defines the lowered structure constants using the positive Euclidean metric, a different convention from the one specified.

For a concrete check, take the two-dimensional representation of $\mathfrak{su}(2)$ with $T_a=-i{\sigma }_a/(2\sqrt{2})$, where the ${\sigma }_a$ are Pauli matrices. ThenTheir contraction is $+{\delta }_{ab}/8$, confirming the positive sign with $\mu =1/4$ and providing a counterexample to the printed sign.

Start with a nonzero highest-weight vector $v_0=|n⟩$ and set $v_r=E_{-}^r{v}_0$. The sl2 highest-weight lowering formula follows inductively from the commutator relations:Indeed $[H,E_{-}]=-2E_{-}$ gives the weight formula, and $E_{+}{E}_{-}=E_{-}{E}_{+}+H$ turns the coefficient $r(n-r+1)$ at step $r$ into $(r+1)(n-r)$ at step $r+1$. The nonzero $v_r$ have distinct $H$ eigenvalues, so are linearly independent. Finite dimensionality therefore forces a last nonzero vector $v_N$. Applying $E_{+}$ to $v_{N+1}=0$ gives $(N+1)(n-N)v_N=0$, hence $N=n$. This also proves that no earlier vector can vanish. Thus the cyclic highest-weight representation generated by $|n⟩$ isIt is irreducible: spectral projections in $H$ select a weight vector from any nonzero invariant subspace, and its nonzero raising and lowering coefficients then generate the whole string. This gives the classification of finite-dimensional sl2 representations used for each root direction below.

For the SU(3) Lie algebra, the repeated-index relation is the trace constraint ${\sum }_i{T}^i{}_i=0$. The displayed generators are a basis of its complexification, not nine independent generators or three individually vanishing diagonal elements. Realize them by matrix units as $T^i{}_j=E_{ij}-{\delta }^i{}_{j}I/3$; the compact real algebra is obtained from anti-Hermitian combinations. Thenand $E_{1+}=E_{12}$, $E_{1-}=E_{21}$, $E_{2+}=E_{23}$, $E_{2-}=E_{32}$. Substituting into the given commutators givesThus both root pairs obey the required sl2 Lie algebra relations. More generally, their Cartan matrix isA weight vector with eigenvalues $(h_1,h_2)$ moves by $(-2,1)$ under $E_{1-}$ and by $(1,-2)$ under $E_{2-}$. The third negative-root operator is $[E_{2-},E_{1-}]=E_{31}$ and moves it by $(-1,-1)$. In the required weight diagram coordinatesthese moves are $(-2,0)$, $(1,-\sqrt{3})$ and $(-1,-\sqrt{3})$ respectively. Successive lowerings from a highest-weight vector, with linear dependencies removed, construct the following bases.

For Dynkin labels $(1,0)$, use the defining action of SU(3) on ${\mathbb{C}}^3$. Its highest vector is $e_1$; lowering gives $e_2=E_{21}{e}_1$ and $e_3=E_{32}{e}_2$. There are no further independent vectors. The weight diagram of the defining SU(3) representation, in the present rescaled coordinates, isand $\boxed{\dim R(1,0)=3}$. Any invariant weight subspace raises to $e_1$ and lowers to all three vectors, proving irreducibility.

For $(1,1)$, use the adjoint representation of SU(3) on traceless matrices, with $X$ acting by $Y\mapsto [X,Y]$. The highest vector is $E_{13}$: both $[E_{12},E_{13}]$ and $[E_{23},E_{13}]$ vanish, while $[H_i,E_{13}]=E_{13}$. Lowering gives $[E_{21},E_{13}]=E_{23}$ and $[E_{32},E_{13}]=-E_{12}$. Further lowering produces $[E_{32},E_{23}]=-H_2$ and $[E_{21},E_{12}]=-H_1$, then $[E_{21},H_1]=2E_{21}$ and $[E_{32},H_2]=2E_{32}$, and finally $[E_{32},E_{21}]=E_{31}$. Consequently the basis is the six off-diagonal matrix units together with $H_1,H_2$:The six nonzero weights have weight multiplicity one, and zero has multiplicity two. Thus $\boxed{\dim R(1,1)=6+2=8}$. Its irreducibility follows also because an adjoint-invariant subspace is an ideal and ${\mathfrak{sl}}_3(\mathbb{C})$ is a simple Lie algebra.

For $(3,0)$, take the symmetric cubic representation of SU(3), ${\mathrm{Sym}}^3{\mathbb{C}}^3$, realized by homogeneous degree-three polynomials. Hereso $z_1^3$ is a highest-weight vector with eigenvalues $(3,0)$. For $a+b+c=3$,which is nonzero and constructs every monomial. These monomials form a basis and have distinct weights $(a-b,b-c)$. If an invariant subspace is nonzero, joint spectral projections in $H_1,H_2$ select one monomial; repeated $E_{2+}$ transfers its $z_3$ powers to $z_2$, and repeated $E_{1+}$ transfers all its $z_2$ powers to $z_1$, reaching $z_1^3$. Lowering then generates the whole basis, proving irreducibility without merely assuming the dimension formula. The plotted weights arewith multiplicity one at every point. Hence $\boxed{\dim R(3,0)=\left(\genfrac{}{}{0ex}{}{5}{2}\right)=10}$.