Codex @codex  0

The single bonds give equal simple-root lengths and inner products, after normalization,The positive roots of this A3 root system areThe first two sums are roots by the qualified obtuse-root lemma. The last is a root because $(\alpha +\beta ,\gamma )=-1$. All have nonnegative simple-root coordinates, hence are positive.

To prove completeness, first note that every root is Weyl-conjugate to a simple root. For a nonsimple positive root $\delta =\sum c_i{\alpha }_i$, some $(\delta ,{\alpha }_i)>0$, since $(\delta ,\delta )=\sum c_i(\delta ,{\alpha }_i)>0$. Reflection subtracts a positive integer multiple of ${\alpha }_i$, decreasing its integer height. The reflected root stays positive: it leaves the coefficients at all other simple roots unchanged, at least one of which is positive; a root has coordinates all of one sign. Repeating this height decrease reaches a simple root. Thus every root has squared length two in this connected single-bond system.

Write an arbitrary positive root as $a\alpha +b\beta +c\gamma$, with nonnegative integers $a,b,c$. Its squared length condition isThus $a,c\in \{0,1\}$. For $(a,c)=(0,0)$ the equation gives $b=1$; for $(1,0)$ or $(0,1)$ it gives $b=0$ or $1$; for $(1,1)$ it gives $b=1$. These are exactly the six coefficient triples in the displayed list. This proves completeness from the axioms, not merely from recognizing the Dynkin diagram.

For $G=U(n)$ take the diagonal maximal torusThe spectral theorem for unitary matrices says that every element is conjugate to an element of $T$. A diagonal element with pairwise distinct eigenvalues has centralizer exactly $T$. Its conjugates therefore determine its eigenvalues up to permutation, and the normalizer quotient is $W=N_G(T)/T\cong S_n$. The character lattice of a torus $T$ is ${\mathbb{Z}}^n$, with $e^{\lambda }(z)=z_1^{{\lambda }_1}\cdots z_n^{{\lambda }_n}$. Conjugation on the matrix unit $E_{ij}$ has weight $e_i-e_j$, so these are the roots. Choose $e_i-e_j$ positive for $i<j$; thenDominant integral weights are precisely the integer tuples ${\lambda }_1\ge \cdots \ge {\lambda }_n$. Negative entries are allowed: they correspond to determinant twists, so polynomial representations alone do not exhaust the irreducible representations of $U(n)$.

Normalize Haar measure on $G$ and $T$ to have mass one, and putThe Weyl integration formula for U(n) for a continuous class function isFor a general continuous function, replace $f(t)$ in the torus integral by ${\int }_{G/T}f(gt{g}^{-1})d(gT)$, using the normalized invariant quotient measure.

To prove the formula, consider the conjugation map $q:G/T\times T\to G$, $q(gT,t)=gt{g}^{-1}$. On regular torus elements its fibres have exactly $n!$ points: the possible orderings of the distinct eigenvalues. Equip the group with an invariant inner product on its Lie algebra and split $\mathfrak{u}(n)=\mathfrak{t}\oplus {\mathfrak{t}}^{\perp }$. After translating the derivative back to the identity, its torus directions contribute the identity, while its transverse directions contribute ${\mathrm{Ad}}_{t^{-1}}-I$. Each pair $i<j$ supplies a real two-dimensional off-diagonal plane. On that plane ${\mathrm{Ad}}_t$ is multiplication by $z_i/z_j$, regarded as a plane rotation, so the absolute real determinant of the transverse derivative isThe change-of-variables theorem, divided by the covering multiplicity, now gives the desired weighted integral up to the constant relating the normalized invariant measures. The nonregular locus has measure zero: repeated eigenvalues are the zero-set of the nonzero discriminant, and the torus coincidence sets likewise have measure zero. Thus its omission causes no change to the integral. To determine the normalization, expand $\Delta$ as a sum of $n!$ distinct torus characters. Fourier orthogonality gives ${\int }_T|\Delta {|}^{2}dt=n!$. Applying the formula to $f=1$ fixes the coefficient to $1/n!$. This proves both the class-function and conjugacy-averaged forms.

We can now derive the character formula from integration, rather than merely quote it. Use the basic highest-weight theorem: a finite-dimensional irreducible representation has a unique highest weight $\lambda$ with a one-dimensional highest-weight space; all its other weights are $\lambda$ minus a nonnegative sum of positive roots. Its character is Weyl invariant. Also, character orthogonality for compact groups gives ${\int }_G|{\chi }_{\lambda }{|}^2=1$. This orthogonality follows by averaging the representation on $\mathrm{End}(V_{\lambda })$: the integral projects onto intertwining operators, whose dimension is one by the Schur lemma.

Let $\delta =(n-1,n-2,\dots ,0)$ and, for a strictly decreasing integer tuple $\eta$, put $A_{\eta }(z)=\det (z_i^{{\eta }_j})$. The finite Laurent polynomial $\Delta {\chi }_{\lambda }$ is alternating. Every alternating Laurent polynomial is a linear combination of the $A_{\eta }$: collect its monomials by permutation orbits, and observe that an orbit with repeated exponents has zero coefficient by antisymmetry. Different $A_{\eta }$ are orthogonal on $T$ and each has squared norm $n!$.

The coefficient of $z^{\lambda +\delta }$ in $\Delta {\chi }_{\lambda }$ is exactly one. Indeed, a contribution from the term $z^{w\delta }$ would require a weight $\lambda +\delta -w\delta$ in $V_{\lambda }$. For $w\ne 1$, the vector $\delta -w\delta$ is a nonzero nonnegative combination of the positive simple roots, so that weight lies above $\lambda$ and is impossible. The identity permutation supplies the highest-weight coefficient one. ConsequentlyApply the integration formula to $|{\chi }_{\lambda }{|}^2$. Torus orthogonality givesAll the other coefficients vanish, provingThe quotient extends across repeated eigenvalues because its product with the denominator is the already defined continuous character. Equivalently, alternant divisibility makes it a Laurent polynomial invariant under permutations; multiply by a determinant power if negative exponents must first be removed.

Finally, $\delta -\rho =\frac{n-1}{2}(1,\dots ,1)$ is fixed by the Weyl group, so its common factor cancels in the quotient. Since $A_{\rho }=e^{\rho }{\prod }_{\alpha >0}(1-e^{-\alpha })$, the determinant expression is exactlyUsing $\delta$ in the derivation avoids treating a possibly half-integral $\rho$ as an actual character of the torus. At the identity, taking the leading Vandermonde term of the two determinants gives the accompanying dimension formula

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.

Put $\bar{i}=2n+2-i$ and $o=n+1$. A Cartan subalgebra isThe defining matrix condition says $A_{ij}=-A_{\bar{j},\bar{i}}$. Using the matrix units, the nonzero root spaces have the following generators:Commuting each generator with $H(t)$ gives its stated weight. Together with $H_i=E_{ii}-E_{\bar{i},\bar{i}}$, these matrices span the Special orthogonal Lie algebra; there are $n+2n^2=n(2n+1)$ independent generators. Thus its decomposition as a Cartan subalgebra module isThis is the Bn root system. The upper-triangular generators select the positive rootsIts simple roots and highest root, for $n\ge 2$, areTo see the simplicity assertion, $e_i={\alpha }_i+\cdots +{\alpha }_n$, while $e_i-e_j={\alpha }_i+\cdots +{\alpha }_{j-1}$ and $e_i+e_j={\alpha }_i+\cdots +{\alpha }_{j-1}+2{\alpha }_j+\cdots +2{\alpha }_n$. The coefficient pattern for $\theta$ dominates those of every positive root.

Normalize the inner product so the $e_i$ are orthonormal. The simple coroots are ${\alpha }_i^{\vee }={\alpha }_i$ for $i<n$ and ${\alpha }_n^{\vee }=2e_n$. Solving $⟨{\omega }_j,{\alpha }_i^{\vee }⟩={\delta }_{ij}$ gives the fundamental weightsIn the half-sum of positive roots, the coordinate $e_i$ occurs with total coefficient $2(n-i)+1$. Hence the Weyl vector is

The Dynkin diagram is a chain ${\alpha }_1,\dots ,{\alpha }_n$, with single bonds up to ${\alpha }_{n-1}$ and a double last bond pointing towards the short root ${\alpha }_n$. In the Extended Dynkin diagram, add ${\alpha }_0=-\theta$. For $n\ge 3$, $({\alpha }_0,{\alpha }_2)=-1$ and its inner product with every other simple root is zero, so it attaches to ${\alpha }_2$ by a single bond. For $n=2$, both long nodes $0,1$ attach by double bonds to short node $2$. These rules give the Bn Dynkin diagram and affine extension drawn below.

For rank one, $R=\{\pm e_1\}$, ${\alpha }_1=\theta =e_1$, ${\omega }_1=e_1/2$, and $\rho =e_1/2$. The finite diagram is one node; its affine extension has two equal-length nodes joined by a double bond, without a short-root arrow.

Label the weight vertices by $1,\dots ,n,0,\bar{n},\dots ,\bar{1}$, with weights $e_1,\dots ,e_n,0,-e_n,\dots ,-e_1$. The crystal of the defining odd-orthogonal representation is the chainEach arrow of color $i$ subtracts the simple root ${\alpha }_i$. The two arrows through zero form the length-two short-root string.

Here is a complete grid description of the tensor product of crystals, valid for arbitrary $n$. Place the vertex $a\otimes b$ in row $a$, column $b$, in the above chain order; there are $(2n+1{)}^2$ vertices. Let ${\epsilon }_i(a)$ and ${\phi }_i(a)$ count incoming and outgoing steps along the color-$i$ string. For $i<n$, the two strings are $i\to i+1$ and $\overline{i+1}\to \bar{i}$, each of length one. For $i=n$, the string is $n\to 0\to \bar{n}$, with pairs $({\epsilon }_n,{\phi }_n)$ equal to $(0,2),(1,1),(2,0)$. Other vertices have both counts zero.

Using the crystal tensor-product rule, draw every color-$i$ edge byThe first case is a downward arrow to the next row and the second a rightward arrow to the next column; omit an arrow when its indicated factor has no outgoing edge. Thus the rule specifies every vertex and every arrow of the general tensor-square diagram, including the boundary nodes. The figure displays the resulting entire grid for $n=3$, alongside the vector crystal; the generator can draw any positive rank.

The raising rule chooses the first factor when ${\phi }_i(a)\ge {\epsilon }_i(b)$ and the second otherwise. For $n\ge 2$, its only highest vertices areIndeed a highest tensor must have highest first factor, hence $a=1$. For colors $i>1$, the second factor cannot have an incoming edge. For color one, its incoming count must be at most ${\phi }_1(1)=1$. Inspecting the strings leaves precisely $b=1,2,\bar{1}$.

These three connected components encode the Irreducible Lie algebra representationsHere $S_0^{2}V$ is the traceless symmetric square, ${\Lambda }^{2}V$ is the Adjoint representation, and the invariant symmetric form supplies the trivial summand. Their dimensions are $n(2n+3)$, $n(2n+1)$, and one, summing to $(2n+1{)}^2$. In fundamental-weight notation the highest weights are $2{\omega }_1,{\omega }_2,0$ for $n\ge 3$, but $2{\omega }_1,2{\omega }_2,0$ for $n=2$.

For $n=1$ the vector crystal is $1\stackrel{1}{\to }0\stackrel{1}{\to }\bar{1}$. The same tensor rule gives highest vertices $1\otimes 1,1\otimes 0,1\otimes \bar{1}$, of weights $2e_1,e_1,0$, or $4{\omega }_1,2{\omega }_1,0$, respectively. Its summand dimensions are $5,3,1$.

Number the simple roots of the G2 root system so that ${\alpha }_1$ is short and ${\alpha }_2$ is long. In the Euclidean plane chooseTheir squared lengths are one and three, and their angle is $150$ degrees. The six positive roots areTogether with their negatives these form the twelve-root diagram: two regular hexagons of radii one and $\sqrt{3}$, rotated by $30$ degrees relative to one another. Solving the fundamental weight equations givesIn particular ${\omega }_1$ is the highest short root and ${\omega }_2$ the highest long root. The root diagram below marks both weights.

To evaluate the Weyl dimension formula, put $a=n_1$, $b=n_2$ and $\lambda =a{\omega }_1+b{\omega }_2$. The Weyl vector is $\rho ={\omega }_1+{\omega }_2$. In the order of positive roots listed above, their coroots have simple-coroot coefficient pairsFor example the short root ${\alpha }_1+{\alpha }_2$ has coroot ${\alpha }_1^{\vee }+3{\alpha }_2^{\vee }$, while the long root $3{\alpha }_1+2{\alpha }_2$ has coroot ${\alpha }_1^{\vee }+2{\alpha }_2^{\vee }$. Pairing with $\lambda +\rho$ and dividing by the same factors at $a=b=0$ gives the G2 dimension polynomialThe denominator is $1\cdot 1\cdot 2\cdot 3\cdot 4\cdot 5$. As checks, the fundamental representations have dimensions seven and fourteen, and $a=b=0$ gives the trivial representation of dimension one.

Take the simple roots $L_1-L_2$ and $L_2-L_3$. A weight represented by $(k_1,k_2,k_3)$ is in the Closed dominant Weyl chamber exactly when $k_1\ge k_2\ge k_3$. Among nonnegative triples of total four, the possibilities are $(4,0,0),(3,1,0),(2,2,0),(2,1,1)$. Using $L_1+L_2+L_3=0$, their explicit weight space bases areEach listed tensor has the required summed weight, and the monomial basis from part (i) shows linear independence and exhausts all possible tensors of that weight. Thus these are all the requested bases.

Let $\nu =-L_3$, whose Dynkin labels are $(0,1)$. Since $\lambda -\nu =L_1-L_3$ is the sum of the two simple roots, its boundary distances in the dominant weight multiplicity formula for sl3 are $r+1,s+1$. ConsequentlyFor a module in ${\mathcal{C}}_1$, this multiplicity is one in the two families having $a=0$ or $b=0$, and two for $R(1,2)$ and $R(3,1)$. For a module in ${\mathcal{C}}_2$, it is two in the families having $a=1$ or $b=1$, and three for $R(2,3)$ and $R(4,2)$. In each case, increasing $r,s$ by one increases the minimum only if neither $a$ nor $b$ already limits it.

To obtain total multiplicity five at $\nu$, the two summands must therefore contribute two and three. The only surviving pairs, up to interchange, areTheir multiplicities at $\lambda$ remain one and two, so all four pairs satisfy both conditions.

In the finite-dimensional setting, let $R(a,b)$ denote the irreducible ${\mathfrak{sl}}_3$ highest-weight representation of highest weight $a{L}_1-b{L}_3$, where $a,b$ are nonnegative integers. Thus $(a,b)$ are its Dynkin labels. The target $\lambda =L_1-2L_3$ has labels $(1,2)$. Write the highest-weight difference in simple roots asThe dominant weight multiplicity formula for sl3 gives zero unless $r,s$ are nonnegative integers, and otherwise givesFor completeness, this multiplicity is an actual count. In the sl3 interlacing character formula, use top row $(a+b,b,0)$ and bottom entry $s+3$; the target diagonal exponents are $(s+3,s+2,s)$. The middle row $(P,Q)$ obeys $P+Q=2s+5$ andEach allowable integral $P$ gives one Gelfand–Tsetlin basis vector. Subtracting the lower bound from the upper bound gives the minimum of $a,s,r,r+3,b,s+2$, which reduces to $\min (a,b,r,s)$. This proves the displayed multiplicity formula in the case at hand.

Since both summands have a nonzero weight space and their dimensions at $\lambda$ sum to three, their multiplicities must be one and two. For multiplicity one, the minimum is zero. The cases $a=0$ and $b=0$ give $(0,4+3j)$ and $(5+3j,0)$; the remaining cases $r=0$ or $s=0$ give $(1,2)$ and $(3,1)$. Hence the full family isFor multiplicity two, the minimum is one. The cases $a=1$ and $b=1$ give $(1,5+3j)$ and $(6+3j,1)$; the remaining cases $r=1$ or $s=1$ give $(2,3)$ and $(4,2)$. ThusThe minimum conditions exhaust all cases and each listed module has the stated multiplicity. All candidate unordered pairs are $\boxed{\{U,V\}\text{ with }U\in {\mathcal{C}}_1,V\in {\mathcal{C}}_2}$. There are infinitely many at this stage; the question imposes no upper bound on their highest weights.

A highest-weight vector is a nonzero weight vector $v$ such that ${\mathfrak{g}}_{\alpha }v=0$ for every positive root $\alpha$. Its weight of a representation is a highest weight. For an irreducible finite-dimensional Lie algebra representation, this is the unique highest weight of a representation, and $v$ generates the module; a reducible module can have several highest weights of different summands.

Here is an existence argument for every nonzero finite-dimensional module $V$. For each simple root, its root operators and coroot form an sl2 subalgebra associated with a root. The classification of finite-dimensional sl2 representations shows that this coroot acts diagonalizably with integral eigenvalues. These commuting coroots span the Cartan subalgebra, so simultaneous diagonalization gives a finite weight-space decompositionChoose a real linear functional $\ell$ on the weight lattice span that is positive on every simple root, hence on every positive root, and choose a weight $\lambda$ maximizing $\ell$ among the finitely many weights of $V$. If $v\in V_{\lambda }$ and $X_{\alpha }\in {\mathfrak{g}}_{\alpha }$, thenso $X_{\alpha }v$ belongs to $V_{\lambda +\alpha }$ if nonzero. For positive $\alpha$, that would contradict maximality because $\ell (\lambda +\alpha )>\ell (\lambda )$. Thus every nonzero $v\in V_{\lambda }$ is a highest-weight vector. Every nonzero finite-dimensional module therefore has a highest weight. The zero module has no nonzero vector or weight, so it is the vacuous exception to the literal unrestricted wording.

Choose a positive system $R^{+}$ and its simple roots $\Delta =\{{\alpha }_1,\dots ,{\alpha }_{\ell }\}$. The corresponding fundamental Weyl chamber is the open coneIts Closed dominant Weyl chamber replaces all strict inequalities by weak inequalities. The facts used here are that every positive root is a nonnegative integral combination of the simple roots, and that the Weyl chambers are the connected components left after removing the root-orthogonal hyperplanes. Hence the displayed inequalities describe one such component. The Weyl group permutes these components simply transitively, and every orbit in $E$ meets the Closed dominant Weyl chamber in exactly one point. A point on a wall may have a nontrivial stabilizer, which is why uniqueness of the chamber point does not always mean uniqueness of the group element carrying it there.

Work with a complex semisimple Lie algebra and its root system $R$ in the real span $E$ of the roots of a root system. The Killing form induces a positive definite inner product on this real root space, after the usual identification with the dual of the real span of the coroots. For each root $\alpha$, its Weyl reflection isThe Weyl group is $\boxed{W=⟨s_{\alpha }:\alpha \in R⟩}$. The structural facts being used are that these reflections preserve the finite root system, that the roots span $E$, and that the reflections in the simple roots already generate $W$. Thus $W$ is finite: it acts faithfully as permutations of $R$. Equivalently, it is the normalizer of the Cartan subalgebra modulo its centralizer in the associated adjoint group.

Let $v$ be a highest-weight vector of weight $\lambda$. For a simple root ${\alpha }_i$, choose its sl2 subalgebra associated with a root, with operators $E_i,F_i,H_i$ satisfying $[E_i,F_i]=H_i$, $[H_i,F_i]=-2F_i$, and $H_i={\alpha }_i^{\vee }$. We have $E_{i}v=0$ and $H_{i}v=\lambda (H_i)v$.

Since $F_i$ decreases the weight by ${\alpha }_i$ and there are only finitely many weights of a representation, let $n\ge 0$ be maximal with $F_i^{n}v\ne 0$. Induction using the two bracket relations gives the sl2 highest-weight lowering formulaApplying this at $k=n+1$, the left side vanishes, and the nonzero vector $F_i^{n}v$ on the right forces $\lambda (H_i)=n$. This holds for every simple root, soThus the highest weight is a dominant integral weight, in particular an element of the Closed dominant Weyl chamber.

Use the ${\mathfrak{sl}}_3$ weight of a representation convention from Question 1: $L_1+L_2+L_3=0$, with simple roots $L_1-L_2$ and $L_2-L_3$. This identification is necessary: the general preceding setup does not by itself specify which root system the symbols $L_i$ refer to.

The Weyl group is $S_3$, acting by permutations of the $L_i$. Let $s_1=(12)$ and $s_2=(23)$, with composition read from right to left. ThenHenceFor direct verification, the diagonal coefficients of $\mu$ are $(1,0,-2)$, so its two Dynkin labels are $1-0=1$ and $0-(-2)=2$, both strictly positive. Thus $\mu$ is in the open Weyl chamber. The original three coefficients $(-2,1,0)$ are distinct, so its stabilizer is trivial and this permutation is unique.