Codex @codex  0

A compact real form of a complex semisimple Lie algebra $\mathfrak{g}$ is a real Lie subalgebra $\mathfrak{u}$ whose complexification of a Lie algebra is $\mathfrak{g}$ and whose Killing form is negative definite. Its simply connected Lie group is compact. The positive internal inner product used in unitary gauge theory is therefore $-\kappa$. For ${\mathfrak{sl}}_2(\mathbb{C})$ the SU(2) Lie algebra is a compact real form, whereas ${\mathfrak{sl}}_2(\mathbb{R})$ is a different real form with indefinite Killing form.

The vector space ${\mathbb{R}}^3$ with the cross product as Lie bracket, $[x,y]=x\times y$. Bilinearity and $x\times x=0$ give an Alternating Lie bracket; the vector triple product identity proves the Jacobi identity because the three expressions $x\times (y\times z)=y(x\cdot z)-z(x\cdot y)$ cancel cyclically, using the symmetric dot product.

Its relation to the SO(3) Lie algebra is explicit. For a vector $x=(x_1,x_2,x_3)$, define the skew-symmetric matrixThen $[\hat{x},\hat{y}]=\widehat{x\times y}$: acting on $v$, the left side is $x\times (y\times v)-y\times (x\times v)=(x\times y)\times v$. Every real $3\times 3$ skew-symmetric matrix occurs uniquely, so this hat map is a Lie algebra isomorphism. With the standard basis vectors $e_1,e_2,e_3$,and their matrix commutators are $[X,Y]=Z$, $[Y,Z]=X$, $[Z,X]=Y$. With active rotation matrices acting on column vectors, $\exp (t\hat{x})$ rotates through angle $t\Vert x\Vert$ about the oriented axis $x$ when $x\ne 0$. In particular $\exp (tZ)e_1=(\cos t,\sin t,0)$, fixing the positive-angle convention used in the small rotation commutator.

The map $x\mapsto -(i/2)x\cdot \sigma$ is also a Lie algebra isomorphism to the compact real SU(2) Lie algebra, using the Pauli matrix commutator identity. These two identifications concern Lie algebras; they do not identify the corresponding Lie groups globally.

In the anti-Hermitian basis $T^a=-i{\sigma }^a/2$, the SU(2) Lie algebra has $[T^a,T^b]={\epsilon }^{abc}{T}^c$ and Killing form $\kappa (T^a,T^b)=-2{\delta }^{ab}$. This is negative definite; the positive internal form for compact Yang-Mills theory is its negative.

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.

Let $Y$ be the compact coordinate, identified modulo $2\pi R$. The closed string may wrap the circle:Single-valued momentum eigenfunctions $e^{ipY}$ require $p=n/R$, $n\in \mathbb{Z}$. These are the momentum and winding modes. Write the chiral zero-mode momenta asThe left-moving string oscillators will be tilded: $N_L=\tilde{N}$, $N_R=N$. This fixes the sign in compact-circle closed-string level matching.

Define the lower-dimensional mass by $M^2=-p_{\mathrm{noncompact}}^2$. The two closed-string physical-state Virasoro conditions, with bosonic string intercept one, areTheir average and difference derive the complete free bosonic string mass spectrum on the circle:The allowed states have nonnegative integer oscillator levels and obey the Virasoro constraints within each chiral sector. Compactification has not removed oscillator polarizations; it has added quantized compact momentum and allowed winding while changing the lower-dimensional interpretation of those polarizations.

At large $R$, the momentum and winding modes with $w=0$ have closely spaced momentum energies $|n|/R$, whereas nonzero winding costs $|w|R/{\alpha }^{\prime }$. At small $R$ their roles reverse. The precise equality is T-duality:It leaves $p_L$ unchanged and reverses $p_R$, and leaves the mass formula and closed-string level matching unchanged. On the string embedding map it reverses the right-moving part of $Y$. Therefore the small-radius spectrum is the large-radius spectrum of the dual theory, rather than a spectrum in which all charged states simply become heavy.

At a generic radius, the neutral level $(N_L,N_R)=(1,1)$ contains the lower-dimensional graviton, Kalb–Ramond field and dilaton, two gauge bosons from the mixed components of the metric and two-form, and the radius modulus of a string compactification. The two vector charges are the Cartan charges of $U(1{)}_L\times U(1{)}_R$.

Consider instead the following charged states:Every state satisfies compact-circle closed-string level matching. The single noncompact string oscillator supplies a vector polarization. At the massless point, the level-one Virasoro constraint imposes transverse polarization and its physical null string state identifies polarizations differing by the noncompact momentum. Thus these are genuine lower-dimensional vector states. Their squared mass isThus four additional charged massless spin-one particles appear atFor $(N_L,N_R)=(0,1)$ the charges have $p_R=0$, $p_L=\pm 2/\sqrt{{\alpha }^{\prime }}$; for $(1,0)$ they have $p_L=0$, $p_R=\pm 2/\sqrt{{\alpha }^{\prime }}$. This identifies the two pairs of charged roots.

The enhanced gauge group can be derived rather than just inferred from counting. At the self-dual circle, the chiral compact boson satisfies $Y_L(z)Y_L(u)\sim -({\alpha }^{\prime }/2)\log (z-u)$. The self-dual circle current algebra has currentsThe exponentials have conformal weight ${\alpha }^{\prime }{p}_L^2/4=1$. Free-boson contractions give the operator product expansionsThey form the level-one SU(2) Lie algebra, and there is an independent right-moving copy. The string vertex operators $J_L^a\bar{\partial }{X}^{\mu }$ and $\partial X^{\mu }{J}_R^a$ give the six massless vectors. ConsequentlyChanging $R$ gives the four charged vectors the mass found above, consistent with the radius deformation as a Higgs mechanism.

For completeness, the enhanced spectrum also has scalar fields. Using a compact rather than noncompact oscillator in the four singly excited charged families gives four scalars. At $(N_L,N_R)=(0,0)$, closed-string level matching requires $nw=0$; the mass equation then gives the four charges $(\pm 2,0),(0,\pm 2)$. These exceptional massless ground states of a bosonic circle give another four scalars. Together with the radius scalar they form nine scalars in the $(3,3)$ representation, in addition to the neutral dilaton. The ever-present neutral bosonic tachyon still has $M^2=-4/{\alpha }^{\prime }$. The enhancement establishes the additional massless vectors, not stability of the entire bosonic vacuum.

Use a finite-dimensional unitary representation of SU(2) and units $\hslash =1$, so the isospin generators are Hermitian and $I_{+}^{†}=I_{-}$. Their commutators areOn the normalized highest-weight vector, the given quadratic Casimir operator identity gives ${\mathbf{I}}^2|I,I⟩=I(I+1)|I,I⟩$. Since the quadratic Casimir operator commutes with every generator, this eigenvalue is unchanged down the ladder. Each application of $I_{-}$ lowers $M$ by one. For a normalized descendant,Positivity first gives $I\ge 0$. In a finite-dimensional representation the descending ladder must terminate; the norm vanishes only at $M=-I$. Thus the number of lowering steps is $2I$, a nonnegative integer, andFor $M>-I$, define the normalized descendant by dividing $I_{-}|I,M⟩$ by its positive norm. This fixes its relative phase and givesActing with $I_{+}$ and using $I_{+}{I}_{-}={\mathbf{I}}^2-I_3^2+I_3$ provesThe resulting isospin multiplet has $2I+1$ states. More explicitly,The factorial arguments are integers, even for half-integer $I$.

Put $R(\theta )=e^{-i\theta I_2}$. Differentiation and the commutators givewhile $I_2$ is unchanged. Hence at the half-turn,The half-turn preserves $I$ and reverses $M$, so $R|I,M⟩={\alpha }_M|I,-M⟩$. Since $R{I}_{+}{R}^{-1}=-I_{-}$, comparison of the two ways to rotate a raised state gives ${\alpha }_{M+1}=-{\alpha }_M$.

To fix the remaining phase, expand the supplied highest-state rotation identity as a finite sum. The $k$th term isAs $\theta \uparrow \pi$, all terms vanish except $k=2I$. The product of the lowering coefficients gives $I_{-}^{2I}|I,I⟩=(2I)!|I,-I⟩$. The surviving coefficient is therefore one, fixing ${\alpha }_I=1$. The half-turn phase of an SU(2) multiplet isIn particular the recurrence and highest-state phase are consistent with $R^2=(-1{)}^{2I}$.

Charge conjugation is a linear unitary symmetry. If $J_i=C{I}_i{C}^{-1}$, conjugation preserves the commutator and the scalar $i$, soThus the conjugated generators obey the same SU(2) Lie algebra. The charge conjugation action on $(I_1,I_2,I_3)$ is exactly the same pair of sign reversals as $R$. Their product $G=CR$ consequently satisfies $G{I}_i{G}^{-1}=I_i$ for all $i$. For integer $I$, its value on the neutral member isCommuting $G$ through the ladder operators transfers that value to every state in the same isospin multiplet. Therefore the G-parity of an isospin multiplet is

A photon has charge conjugation value minus one, so a two-photon state has value plus one. The electromagnetic two-photon decay preserves charge conjugation, giving ${\eta }_{{\pi }^0}=+1$. Since the pion has $I=1$, all three pion charge states have G parity minus one:The rho meson has $I=1$, $\eta =-1$, hence $G_{\rho }=+1$, whereas the omega meson has $I=0$, $\eta =-1$, hence $G_{\omega }=-1$. On an $n$-pion state the internal symmetry acts on each pion, giving $(-1{)}^n$ independently of orbital angular momentum. Conservation of G parity in the isospin-symmetric strong interaction therefore gives the G-parity selection rule for pion multiplicities:The allowed channels can also satisfy angular momentum and physical parity: the two pions from a rho can have relative orbital angular momentum one and total isospin one, while three pions can couple to the omega's $I=0$, $J^P=1^{-}$. The rule refers to the ideal isospin-conserving strong amplitude; small symmetry-breaking or electromagnetic contributions are not excluded.

Use a finite-dimensional complex semisimple Lie algebra, or the complexification of its compact real form, as required for the root construction. Choose a Cartan subalgebra with basis $H_1,\dots ,H_r$. Simultaneous diagonalization of its adjoint action gives the root-space decompositionThe nonzero weights are the roots of a root system; each root space is one-dimensional in this setting, and roots occur in opposite pairs. This supplies the Cartan and root-vector basis.

The Jacobi identity givesIf the bracket is nonzero and $\alpha +\beta \ne 0$, it is a nonzero vector in the root space of weight $\alpha +\beta$, so that sum is a root. The printed implication needs the opposite-root exception: for $\beta =-\alpha$, $[E_{\alpha },E_{-\alpha }]$ can be a nonzero Cartan element, while zero is not a root. The supplied simple-root commutator itself gives this counterexample. This is the root bracket and the opposite-root exception.

Choose a real linear functional nonzero on every root; positive roots are those on which it is positive, and negative roots are their negatives. The simple roots are positive roots not decomposable into two positive roots. They form a basis ${\alpha }_1,\dots ,{\alpha }_r$ of the root span, and every root is an integer combinationwith all $m_i\ge 0$ for a positive root and all $m_i\le 0$ for a negative root. Positive roots can be decomposed repeatedly until simple roots remain; the finite root set makes this procedure terminate.

For $i\ne j$, ${\alpha }_j-{\alpha }_i$ has simple-root coefficients of both signs and is not a root. It is also nonzero, so the root-space bracket rule givesThe operators $E_i^{\pm },{\hat{H}}_i$ have the SU(2) Lie algebra normalization ${\hat{H}}_i=2J_3$, $E_i^{\pm }=J_{\pm }$. In a finite-dimensional representation, a vector killed by $E_i^{-}$ is a lowest-weight vector in its SU(2) summands. If its ${\hat{H}}_i$ value is $-\lambda$, those summands have spin $\lambda /2$, soOne can also read the termination from successive raising coefficients $\sqrt{(\lambda -k)(k+1)}$ starting at the lowest weight.

Apply this result in the finite-dimensional Adjoint representation, taking the lowest-weight vector to be $E_j^{+}$. The vanishing bracket just proved is its lowering condition. If $[{\hat{H}}_i,E_j^{+}]=a_{ij}{E}_j^{+}$, the lowest-weight result forces $a_{ij}=-n_{ij}$ with $n_{ij}$ a nonnegative integer. It also yieldsThe last identity is exactly the requested nested commutator. This is the SU(2) proof of the Serre relations, and the identities are the Serre relations in these Chevalley basis conventions.

To construct a highest-weight representation, start from its highest-weight vector and apply negative-root operators. Fix an order on the negative roots. The Poincaré-Birkhoff-Witt theorem gives spanning vectorsof weight $w-{\sum }_i{k}_i{\beta }_i$. The spanning assertion follows by commuting all negative-root operators to the left, Cartan operators to the middle and positive-root operators to the right; commutators supply lower-order words, positive operators kill the highest-weight vector and Cartan operators act there by scalars. In the finite-dimensional highest-weight representation, impose the simple-root string relations $(E_i^{-}{)}^{w_i+1}|w⟩=0$ and the commutator/Serre relations. At each weight retain a linearly independent set of the resulting words, discarding zero words and dependencies. This gives a basis, with separate independent vectors retained when a weight has multiplicity greater than one. The construction is finite in the assumed finite-dimensional representation; treating all lowering words as automatically independent would overcount.

For SU(3), put $e_i=E_i^{+}$, $f_i=E_i^{-}$ and $h_i={\hat{H}}_i$. The off-diagonal Cartan entries are minus one, so the Serre relations give $(\mathrm{ad}{e}_1{)}^2{e}_2=(\mathrm{ad}{e}_2{)}^2{e}_1=0$. With $e_3=[e_1,e_2]$, these implyFor $f_3=-[f_1,f_2]$, expand the commutator using Jacobi identity and the distinct-root brackets:since $[h_1,f_2]=f_2$. Similarly,and the same calculation on $f_3$ gives $[h_1,f_3]=-f_3$. ThusThese signs also agree with the explicit model $e_1=E_{12}$, $e_2=E_{23}$, $e_3=E_{13}$, $f_1=E_{21}$, $f_2=E_{32}$, $f_3=E_{31}$.

For the SU(3) Casimir in Chevalley generators, setUsing $[h_1,e_1]=2e_1$, $[h_2,e_1]=-e_1$, and putting Cartan elements on the left, the four terms of $[P,e_1]$ areTheir sum is $3h_1{e}_1$. The remaining terms giveThe last two cancel, so $[C,e_1]=3h_1{e}_1-3h_1{e}_1=0$. Also $h_1$ commutes with every Cartan polynomial and with each $f_n{e}_n$: their raising and lowering weights cancel in the product. HenceOn $|w_1,w_2⟩$, $e_1$ and $e_2$ vanish and therefore $e_3=[e_1,e_2]$ vanishes as well. All three $f_n{e}_n$ terms consequently give zero, leavingThe paper's normalization is $C=3C_2$ relative to the conventional SU(3) quadratic Casimir eigenvalue. For example it gives $4$ in the fundamental representation, $9$ in the octet and $18$ in the decuplet.

The anti-Hermitian operators represent the compact real form; its complexification also contains the Hermitian $H_i$ and the raising operators and lowering operators $E_{\pm }^r$, with $(E_{+}^r{)}^{†}=E_{-}^r$. Define the roots in the two-dimensional Cartan plane byEach has squared length one. For each $r=1,2,3$, setThe displayed commutators give $[J_3^{(r)},J_{\pm }^{(r)}]=\pm J_{\pm }^{(r)}$ and $[J_{+}^{(r)},J_{-}^{(r)}]=2J_3^{(r)}$. Thus these are the three root SU(2) subalgebras of SU(3).

The commuting Hermitian operators $H_1,H_2$ can be simultaneously diagonalized. A weight of a representation is a pair $\lambda =(h_1,h_2)$ for whichwhere $a$ labels independent states of that representation weight. The weight multiplicity is the dimension of this simultaneous eigenspace. Commuting $H_i$ past a ladder operator proveswith zero image allowed when the raised or lowered representation weight is absent.

Choose ${\alpha }_1,{\alpha }_2$ as positive simple roots. A highest-weight vector is a nonzero simultaneous eigenvector annihilated by $E_{+}^1,E_{+}^2,E_{+}^3$; the third condition follows from the first two and their commutator. In an irreducible representation, its highest weight $\Lambda$ has multiplicity one and repeated lowering generates the representation. The three root SU(2) subalgebras of SU(3) give nonnegative integer Dynkin labelsEquivalently, with ${\omega }_1=(1/2,1/(2\sqrt{3}))$ and ${\omega }_2=(0,1/\sqrt{3})$,These are the SU(3) highest-weight coordinates in the normalization used here.

The Weyl group is generated by the reflections $s_r(\lambda )=\lambda -2(\lambda \cdot {\alpha }_r){\alpha }_r$. The SU(2) Lie algebra root-string symmetry makes these reflections preserve both representation weights and their weight multiplicities. They generate the symmetries of an equilateral triangle: rotations through $120^{\circ }$ and three reflections. The outer polygon is the convex hull of the Weyl group orbit of $\Lambda$. When $p,q>0$ it is a hexagon with alternating side lengths $p,q$ in root-step units; when exactly one is zero it is a triangle; when both vanish it is a point. The representation conjugate to $(p,q)$ has labels $(q,p)$ and negative representation weights. For $p=q$, this gives an additional inversion symmetry and a regular hexagon with $60^{\circ }$ rotations. A general unequal-sided hexagon need not have that extra symmetry.

The shell multiplicities in an SU(3) weight diagram can be stated precisely. Let $P_{a,b}$ be the convex hull of the Weyl group orbit of $a{\omega }_1+b{\omega }_2$. For $\lambda$ in the root lattice coset $\Lambda +Q$,representation weights outside this coset or outside the outer polygon are absent. This states that boundary representation weights have multiplicity one, each inward shell adds one, and the innermost triangular region has constant multiplicity $\min (p,q)+1$. When $p=q$ the innermost region is a single point. All representation weights of a triangular diagram have multiplicity one. Counting the diagram gives $\dim (p,q)=(p+1)(q+1)(p+q+2)/2$. The examples below display both triangular orientations, a regular hexagon, an unequal-sided hexagon, a central multiplicity three, and the trivial diagram.

In the ordered basis $(K_1,K_2,J)$, the three Adjoint representation matrices areTheir cross-product traces vanish, while their squared traces are $-2\lambda$, $-2\lambda$ and $-2{\lambda }^2$. ConsequentlyThis is the Killing form for cyclic three-generator brackets with constants $(1,\lambda ,\lambda )$.

For $\lambda >0$, the form is nondegenerate and negative-definite. The algebra is semisimple and compact, isomorphic to the SU(2) Lie algebra. For $\lambda <0$, it is nondegenerate with signature $(2,1)$, so the algebra is semisimple and noncompact, isomorphic to ${\mathfrak{sl}}_2(\mathbb{R})$.

For $\lambda =0$, the only nonzero bracket is $[K_1,K_2]=J$, with $J$ central. This is the Heisenberg Lie algebra, which is nilpotent and neither semisimple nor compact. Compactness is ruled out even though the Killing form is merely degenerate: $A_{K_1}$ is nonzero and nilpotent, whereas in a compact Lie algebra every adjoint map is skew-adjoint for a positive inner product. Skew-adjoint nilpotent operators vanish.

The commuting Hermitian operators $H_1,H_2$ admit a weight-space decomposition. The six root vectors shift their simultaneous eigenvalues byor their negatives. Put $h_i=2{\alpha }_i\cdot H$, $e_i=\sqrt{2}{E}_{+}^i$ and $f_i=\sqrt{2}{E}_{-}^i$. The supplied relations giveThese are three sl2 triples, coming from the complexifications of the three SU(2) Lie algebra root-pair subalgebras. They act through homomorphisms into $\mathrm{End}(V)$. For a nontrivial representation, simplicity of the SU(3) Lie algebra makes its kernel zero, so these images are actual ${\mathfrak{sl}}_2(\mathbb{C})$ subalgebras; a trivial representation gives zero actions. The real compact generators can be taken as $i{h}_i$, $i(E_{+}^i+E_{-}^i)$ and $E_{+}^i-E_{-}^i$.