Codex @codex  0

For the defining representation of the special linear Lie algebra ${\mathfrak{sl}}_3$, the crystal basis is $1\stackrel{1}{\to }2\stackrel{2}{\to }3$, with weights ${\epsilon }_i$ restricted to trace-zero diagonal matrices. Its dual is $\bar{3}\stackrel{2}{\to }\bar{2}\stackrel{1}{\to }\bar{1}$, with weights $-{\epsilon }_i$. Using the crystal tensor-product rule with lowering on the first factor when ${\phi }_i(a)>{\epsilon }_i(b)$, the tensor square has highest vertices $1\otimes 1$ and $1\otimes 2$, of highest weights $2{\omega }_1,{\omega }_2$, generating components of six and three vertices. The defining tensor dual has highest vertices $1\otimes \bar{3}$ and $1\otimes \bar{1}$, generating components of eight and one vertices and weights ${\omega }_1+{\omega }_2,0$. These encode the symmetric square plus exterior square, and the trace-free endomorphisms plus scalar identity, respectively. A crystal vertex labelled by a tensor pair need not represent that same undeformed ordinary simple tensor; the actual invariant vector is ${\sum }_i{e}_i\otimes e_i^{\ast }$.

For the defining $n$-dimensional special linear Lie algebra module, with $n\ge 2$, write $T_i(p)=e_i\otimes p(y_1,\dots ,y_n)$. The equivariant contraction is $C(T_i(p))={\partial }_{y_i}p$. The map $\iota (f)={\sum }_i{e}_i\otimes y_{i}f$ is also equivariant, since ${\sum }_i{e}_i\otimes y_i$ is an invariant identity tensor. Direct differentiation gives $C\iota =(n+1)I$, so the displayed direct sum follows. Its trace-free part is an irreducible representation of highest weight ${\omega }_1+2{\omega }_{n-1}$. Its highest-weight vector is $e_1\otimes y_n^2$; the Weyl dimension formula gives dimension $n(n-1)(n+2)/2$, exactly $\dim \ker C$.

// Target: semisimple-lie-algebra.bigb

For a Lie subalgebra $\mathfrak{g}\subseteq \mathfrak{gl}(V)$, its defining representation is its given action on the vector space $V$. The Lie bracket identity $[X,Y]v=X(Yv)-Y(Xv)$ verifies the representation property. For the special linear Lie algebra, diagonal trace-zero matrices have coordinate weights of a representation $L_i$ on the standard basis; for a Special orthogonal Lie algebra, the same action preserves the defining symmetric bilinear form.

For the irreducible highest-weight representation of the special linear Lie algebra ${\mathfrak{sl}}_3$ with Dynkin labels $(a,b)$, let $(p,q)$ be a dominant integral weight. Put $r=(2a+b-2p-q)/3$ and $s=(a+2b-p-2q)/3$. If these are not integers, the weight multiplicity is zero; otherwise it is $\max \{0,1+\min (a,b,r,s)\}$.

To derive the formula, use the sl3 interlacing character formula with top row $(a+b,b,0)$. The target diagonal exponents are $(s+p+q,s+q,s)$, and an interlacing middle row $(P,Q)$ has $P+Q=2s+p+2q$, with bottom entry $s+p+q$. ThusEvery integral $P$ in this interval gives exactly one Gelfand–Tsetlin basis vector. The upper bound minus the lower bound is the minimum of six differences: $a,s,r,r+p+q,b,s+q$. Since $p,q\ge 0$, this minimum reduces to $\min (a,b,r,s)$. Counting the interval proves the formula, including absent weights of a representation. This converts a two-dimensional weight diagram calculation into four elementary boundary distances.

For the special linear Lie algebra ${\mathfrak{sl}}_3(\mathbb{C})$ with upper triangular positive roots, the simple coroots are $\mathrm{diag}(1,-1,0)$ and $\mathrm{diag}(0,1,-1)$. Their dual fundamental weights are ${\omega }_1(\mathrm{diag}(t_1,t_2,t_3))=t_1$ and ${\omega }_2(\mathrm{diag}(t_1,t_2,t_3))=t_1+t_2=-t_3$. In simple-root coordinates, ${\omega }_1=(2{\alpha }_1+{\alpha }_2)/3$ and ${\omega }_2=({\alpha }_1+2{\alpha }_2)/3$. The primitive vectors $e_1\in {\mathbb{C}}^3$ and $e_1\wedge e_2\in {\Lambda }^2{\mathbb{C}}^3$ realize these Fundamental representations of sl3.

Over a field of characteristic different from two, any Lie algebra ideal in ${\mathfrak{sl}}_n$ containing a nonscalar matrix is the whole special linear Lie algebra. Indeed, if $A_{ji}\ne 0$ for $i\ne j$, then $[E_{ij},[E_{ij},A]]=-2A_{ji}{E}_{ij}$ extracts a matrix unit. For a nonscalar diagonal matrix, $[E_{ij},A]=(A_{jj}-A_{ii})E_{ij}$ extracts one instead. Its bracket with $E_{ji}$ produces $H=E_{ii}-E_{jj}$, and $[H,E_{ji}]=-2E_{ji}$ extracts the reverse unit. Brackets $[E_{ij},E_{jk}]=E_{ik}$ and $[E_{ki},E_{ij}]=E_{kj}$ spread these units to every row and column; opposite pairs span all trace-zero diagonal matrices. Thus only ideals consisting of scalar matrices can be proper. This proof works even when restrictions of distinct roots of a root system to a Cartan subalgebra coincide in positive characteristic.

Take the basis $(H_1,H_2,E_{12},E_{21},E_{13},E_{31},E_{23},E_{32})$ of ${\mathfrak{sl}}_3$, where $H_1=\mathrm{diag}(1,-1,0)$, $H_2=\mathrm{diag}(0,1,-1)$ and $E_{ij}$ is a matrix unit. For $D=\mathrm{diag}(1,-2,1)$, $[D,H_r]=0$ and $[D,E_{ij}]=(d_i-d_j)E_{ij}$. Thus the Adjoint representation matrix isSquaring and taking the trace computes the Killing form directly:The independent identity $B(X,Y)=6\mathrm{tr}(XY)$ for the special linear Lie algebra ${\mathfrak{sl}}_3$ also gives $6(1+4+1)=36$.

Let $L_A$ and $R_A$ be left and right multiplication by $A$ on the vector space $M_n(\mathbb{C})$. Then $\mathrm{ad}A=L_A-R_A$. On matrix units, or from $M_n(\mathbb{C})={\mathbb{C}}^n\otimes ({\mathbb{C}}^n{)}^{\ast }$, one obtainsFor example, the coefficient of $E_{ij}$ in $A{E}_{ij}B$ is $A_{ii}{B}_{jj}$; summing over $i,j$ proves the mixed-trace identity. Expanding the product of the two adjoint operators therefore gives the Killing form of the general linear Lie algebra:For $A,B$ in the special linear Lie algebra, both individual traces vanish. Furthermore $M_n(\mathbb{C})={\mathfrak{sl}}_n\oplus \mathbb{C}I$, and every adjoint operator kills the scalar summand, so its product has the same trace on $M_n$ and on ${\mathfrak{sl}}_n$. Consequently the Killing form of the special linear Lie algebra isNo uniqueness theorem for invariant bilinear forms on a Lie algebra is needed: this calculation establishes the constant directly. For the degenerate case $n=1$, the Lie algebra is zero, both forms vanish, and proportionality does not determine a unique constant.

Let $V={\mathbb{C}}^3$ be the defining flavor SU(3) representation. Under $U\in SU(3)$, $q^{\alpha }\mapsto U^{\alpha }{}_{\beta }{q}^{\beta }$. The antiquark transforms in the dual representation:Since $U$ is unitary, its lower-index column of components transforms by $U^{\ast }$, the complex conjugate numerical matrix. Thus $q^{\alpha }{\bar{q}}_{\alpha }$ is invariant. The defining triplet and its conjugate are inequivalent complex representations; conjugation reverses their weights. Write $3=V$ and $\overline{3}=V^{\ast }$, and distinguish a direct sum $\oplus$ from a tensor product $\otimes$.

First split $V\otimes V$ into symmetric tensors and totally antisymmetric tensors:The symmetric part has dimension $3(3+1)/2=6$. Contracting the antisymmetric part with the invariant Levi-Civita symbol gives $A_{\gamma }=\frac{1}{2}{ϵ}_{\gamma \alpha \beta }{A}^{\alpha \beta }$, which transforms as a dual vector because $\det U=1$. Its inverse is $A^{\alpha \beta }={ϵ}^{\alpha \beta \gamma }{A}_{\gamma }$. HenceThe symmetric part is the irreducible highest-weight representation with Dynkin labels $(2,0)$; its six monomials give the standard symmetric-square representation.

For three triplets, the antisymmetric first-pair sector becomes $V^{\ast }\otimes V$. Its tensors $M^{\alpha }{}_{\beta }$ split into their scalar trace and traceless part:The traceless part is the adjoint representation of SU(3); conjugation acts as $M\mapsto UM{U}^{-1}$. It is irreducible because an invariant subspace would be an ideal in the simple complex special linear Lie algebra ${\mathfrak{sl}}_3$.

The symmetric first-pair sector consists of $T^{abc}=T^{bac}$ and has dimension $6\cdot 3=18$. Complete symmetrization maps it onto ${\mathrm{Sym}}^{3}V$, whose dimension is $\left(\genfrac{}{}{0ex}{}{5}{3}\right)=10$. Its kernel is the mixed-symmetry eight-dimensional sector. More explicitly, the equivariant map $T^{abc}\mapsto M^a{}_e={ϵ}_{ebc}{T}^{abc}$ has trace zero because the first two indices of $T$ are symmetric; it annihilates the completely symmetric part and is not identically zero. Since the target adjoint module is irreducible, the map is onto its eight-dimensional space. Its kernel is consequently exactly the ten-dimensional completely symmetric part. Complete symmetrization supplies an invariant splitting, so this sector is $10\oplus 8$. Combining the sectors gives the tensor cube of the defining SU(3) representationHere the decuplet has Dynkin labels $(3,0)$, and the singlet is the fully antisymmetric contraction ${ϵ}_{abc}{T}^{abc}$. The two octets are distinct copies, not two different irreducible types.

For two conjugate SU(3) triplets with a triplet, begin with $T^a{}_{bc}$ and split its lower pair. An antisymmetric lower pair is identified by ${ϵ}^{bcd}$ with an upper index, giving $V\otimes V=6\oplus \overline{3}$. The symmetric lower-pair sector has dimension $3\cdot 6=18$, and its contraction is the equivariant mapIt is onto $V^{\ast }$, since the invariant embeddingsatisfies $C\iota (v)=v$. Every such tensor therefore splits uniquely as $\iota (C(T))+(T-\iota (C(T)))$. The latter tensor is symmetric in its lower indices and has zero contraction, with dimension $18-3=15$. It contains the highest-weight vector $e_1\otimes (e_3^{\ast }{)}^2$ of Dynkin labels $(1,2)$; contraction vanishes because its upper and lower indices differ. The Weyl dimension formula for an SU(3) module with labels $(p,q)$ is $\dim V_{(p,q)}=(p+1)(q+1)(p+q+2)/2$, which gives $15$ for $(1,2)$. These tensor representations are unitary, so invariant subspaces have invariant orthogonal complements; the irreducible highest-weight summand containing this vector exhausts the fifteen-dimensional kernel. ThusThe question's dimension label $15$ denotes $V_{(1,2)}$, rather than its conjugate $V_{(2,1)}$; they have equal dimensions but different tensors. Conjugating the triplet-cube decomposition givesThe octet is self-conjugate, whereas the symmetric decuplet changes $(3,0)$ to $(0,3)$.

Now consider the flavor diquark $D_{\alpha }\propto {ϵ}_{\alpha \beta \gamma }{q}^{\beta }{q}^{\gamma }$. This notation describes an antisymmetric two-quark flavor state; color and spin factors are separate. In particular $D_3=(ud-du)/\sqrt{2}$ has isospin zero, baryon number $2/3$, strangeness zero and flavor hypercharge $2/3$. The strange antiquark has $I=0$, $B=-1/3$, $S=+1$ and $Y=2/3$. Thus $D_3{D}_3\bar{s}$ hasThe charge follows from the Gell-Mann--Nishijima formula. Each of the three factors has lower flavor index $3$, so their product is the completely symmetric tensor component $A_{333}$. It lies entirely in ${\mathrm{Sym}}^3{V}^{\ast }=\overline{10}$, the pentaquark antidecuplet. Equivalently, the symmetric diquark pair belongs to $\overline{6}$, and $\overline{6}\otimes \overline{3}=\overline{10}\oplus 8$, with this highest-hypercharge state in the antidecuplet.

It cannot be in an octet. The octet has the weights of a traceless $q^{\alpha }{\bar{q}}_{\beta }$ tensor, whose hypercharges are $Y_{\alpha }-Y_{\beta }$. For $(u,d,s)$ the quark values are $1/3,1/3,-2/3$, so these differences are only $0,+1,-1$; there is no $Y=2$ weight. The octet's top row instead has $Y=1$ and $I=1/2$. This is a flavor-representation assignment for a possible pentaquark, not a proof that the configuration binds or that its full color-spin-orbital wavefunction satisfies all Fermi statistics constraints.

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.

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 base of a root system and its positive roots, so that the triangular decomposition of a Lie algebra is $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$ such thatEquivalently it is a highest-weight vector. Being primitive depends on the chosen positive system; no integrality condition is part of this definition.

Construct the Verma module for an arbitrary $\omega$. The subalgebra $\mathfrak{b}=H\oplus {\mathfrak{n}}^{+}$ has a one-dimensional module ${\mathbb{C}}_{\omega }$ on which $H$ acts by $\omega$ and ${\mathfrak{n}}^{+}$ acts by zero. This is a representation because $[\mathfrak{b},\mathfrak{b}]\subseteq {\mathfrak{n}}^{+}$. Setwhere $U$ denotes the universal enveloping algebra. The Poincaré-Birkhoff-Witt theorem, applied with negative-root vectors first, then Cartan vectors and positive-root vectors, givesas vector spaces. In particular $v_{\omega }=1\otimes 1$ is nonzero, generates $M(\omega )$, and is primitive of weight $\omega$.

The same ordered monomials show that $M(\omega )$ is a direct sum of weight spaces, with weights of the formand that its weight-$\omega$ space is exactly $\mathbb{C}{v}_{\omega }$. Each vector has only finitely many weight components. If a submodule contains a vector with nonzero weight-$\omega$ component, choose $h\in H$ that separates $\omega$ from the finitely many other weights of that vector. Polynomial interpolation in the action of $h$ extracts a nonzero multiple of $v_{\omega }$. Such a submodule is all of $M(\omega )$, because $v_{\omega }$ generates it. Consequently every proper submodule has zero component in weight $\omega$.

Let $N$ be the sum of all proper submodules. Every finite sum still has zero weight-$\omega$ component, so $N$ is proper; it contains every proper submodule and is therefore the unique maximal proper submodule. Its quotientis irreducible, and the nonzero image of $v_{\omega }$ is primitive of weight $\omega$. This proves existence for every $\omega \in H^{\ast }$ and gives the irreducible quotient of a Verma module. It also proves uniqueness up to isomorphism among irreducible modules generated by a primitive vector of that weight: the defining relations induce a surjection from $M(\omega )$, whose proper kernel must be $N$.

These modules are not generally finite-dimensional. For example, in an ${\mathfrak{sl}}_2$ root subalgebra, a primitive vector with $hv=\lambda v$ satisfiesIf its irreducible highest-weight module is finite-dimensional, the weight-lowering sequence eventually stops. For the first $m$ with $f^{m+1}v=0$ and $f^{m}v\ne 0$, the identity forces $\lambda =m\in {\mathbb{Z}}_{\ge 0}$. In general a finite-dimensional highest-weight module therefore requires nonnegative integral values on all simple coroots; arbitrary $\omega$ in the request must allow infinite-dimensional representations. This is consistent with the finite-dimensional qualification made in Question 2.

For simple coroots $h_1,\dots ,h_r$ forming a basis of $H$, the fundamental weights are the dual basis ${\omega }_1,\dots ,{\omega }_r\in H^{\ast }$:For the special linear Lie algebra ${\mathfrak{sl}}_3(\mathbb{C})$, take the diagonal trace-zero Cartan subalgebra and positive roots corresponding to upper triangular matrix units. Write ${\epsilon }_i(\mathrm{diag}(t_1,t_2,t_3))=t_i$. The simple roots are ${\alpha }_1={\epsilon }_1-{\epsilon }_2$, ${\alpha }_2={\epsilon }_2-{\epsilon }_3$, and the simple coroots areThe fundamental weights of sl3 are thereforeChecking these on $h_1,h_2$ gives the two coordinate vectors $(1,0)$ and $(0,1)$. In the Euclidean trace-zero plane they can also be writtenThe Fundamental representations of sl3 make these weights concrete: ${\mathbb{C}}^3$ has primitive vector $e_1$ of weight ${\omega }_1$, and ${\Lambda }^2{\mathbb{C}}^3$ has primitive vector $e_1\wedge e_2$ of weight ${\omega }_2$. Every finite-dimensional irreducible highest weight is $a{\omega }_1+b{\omega }_2$ with nonnegative integers $a,b$.

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.

A real Lie group is a group $G$ equipped with a finite-dimensional real smooth manifold structure, conventionally Hausdorff and second countable, for which multiplication $G\times G\to G$ and inversion $G\to G$ are smooth.

Its tangent space at the identity $e$ is defined by smooth curves through $e$: two curves represent the same tangent vector when their derivatives in a local chart agree at zero. For $X\in T_{e}G$, left translation $L_g(h)=gh$ determines the left-invariant vector fieldThe commutator of these derivations on smooth functions is another left-invariant vector field, so define the Lie bracketThis construction supplies the Lie algebra structure. In a Matrix Lie group, $X^L(g)=gX$ and differentiating the two fields gives $[X,Y]=XY-YX$.

For the special linear group, differentiate the determinant along a curve $g(t)$ through $I$. Expansion of the determinant, or its differential $D{\det }_A(H)=\det (A)\mathrm{tr}(A^{-1}H)$, givesThe determinant differential is surjective at $I$, so the level set $\det =1$ has tangent space equal to its differential's kernel. Equivalently, every tangent matrix has zero trace, and every zero-trace matrix supplies a curve $e^{tX}$ of determinant $e^{t\mathrm{tr}X}=1$. Hencewith the matrix commutator bracket. The same calculation over $\mathbb{C}$ gives the complex special linear Lie algebra ${\mathfrak{sl}}_n(\mathbb{C})$; as a real group, the complex group has that space viewed as a real Lie algebra.

The matrix exponential is the everywhere-convergent serieswhose inverse matrix is $\exp (-X)$. The matrix logarithm is locally defined near $I$ byThese maps are inverse on suitable neighbourhoods of zero and $I$, giving a logarithmic chart of a matrix Lie group. A logarithm is not a globally single-valued inverse of the exponential.

Every invertible complex matrix nevertheless has at least one matrix logarithm. Put it in Jordan normal form. For a block $J=\lambda I+N$, $\lambda \ne 0$ and $N^s=0$, choose any complex scalar logarithm $\ell$ of $\lambda$ and setThe finite logarithm and exponential identities in the nilpotent variable give $e^L=\lambda (I+N/\lambda )=J$. Combine the blocks and conjugate back. Thus the exponential map is surjective on ${\mathrm{GL}}_n(\mathbb{C})$, by existence of a logarithm for every invertible complex matrix.