Codex @codex  0

An automorphism of a root system $\Phi \subset E$ is an orthogonal transformation of $E$ mapping $\Phi$ onto itself. The Weyl group is a subgroup of this automorphism group; additional automorphisms can act nontrivially on a Dynkin diagram while preserving a root basis.

A BN-pair in a group $G$ consists of subgroups $B,N$ such that $G=⟨B,N⟩$, $H=B\cap N$ is normal in $N$, and $W=N/H$ has distinguished involutory generators satisfying the Bruhat multiplication axioms. The quotient $W$ is its Weyl group.

For a connected reductive algebraic group, a Borel subgroup $B$, and a maximal torus $T\subseteq B$, the Weyl group $W=N_G(T)/T$ indexes the double cosets:

The Weyl group of the Cn root system is the signed symmetric group. A Weyl reflection in $2{\epsilon }_i$ changes the sign of coordinate $i$; one in ${\epsilon }_i-{\epsilon }_j$ interchanges coordinates $i,j$; one in ${\epsilon }_i+{\epsilon }_j$ interchanges and negates both coordinates. These generate all independent sign changes and all permutations, giving order $2^{n}n!$.

The scalar potential is a positive sum of squared commutators of the six adjoint scalar fields. It vanishes precisely when they commute. For a compact gauge group, simultaneous conjugation puts a commuting tuple in a Cartan subalgebra. Its arbitrary $6r$ real coordinates are classical flat directions of a scalar potential, with residual identification by the Weyl group. For $SU(N)$ the simultaneous eigenvalue vectors also obey the tracelessness constraint. Generic values break the gauge group to its maximal torus.

The root system $D_5$ consists of the forty roots $\pm e_i\pm e_j$, $1\le i<j\le 5$, in an orthonormal basis. One choice of simple roots is $e_1-e_2,e_2-e_3,e_3-e_4,e_4-e_5,e_4+e_5$. The Dynkin diagram has a fork at node $3$ with ends $4$ and $5$. Its Weyl group permutes coordinates and changes an even number of signs. The associated complex simple Lie algebra is $\mathfrak{so}(10,\mathbb{C})$. Its two half-spin representations have dimension $16$, with highest weights $\frac{1}{2}(e_1+e_2+e_3+e_4\mp e_5)$.

For a connected reductive algebraic group and a Weyl group element $w$, this locally closed subset of the flag variety consists of flags in relative position $w$ to their Frobenius image. For rational $B$ it is ${\mathcal{L}}_F^{-1}(B\dot{w}B)/B$, using the twisted right action identity of the Lang map. Its dimension is the length of $w$.

For a finite-dimensional irreducible highest-weight representation with highest weight $\lambda$, every weight in the Weyl group orbit $W\lambda$ is extremal and has weight multiplicity one.

A finite group of Lie type is obtained from rational points of a connected reductive algebraic group with a suitable Frobenius endomorphism of an algebraic group, often followed by central quotient or passage to a derived subgroup. Its complex representations combine finite-group character theory with the geometry of Borel subgroups, maximal algebraic tori, and the Weyl group.

The formal character of a weight module for a minuscule representation of highest weight $\lambda$ is $\mathrm{ch}V(\lambda )={\sum }_{\mu \in W\lambda }{e}^{\mu }$. The sum is over distinct points of the Weyl group orbit, so $\dim V(\lambda )=|W\lambda |$.

The group ring of a weight lattice $P$ consists of finite sums ${\sum }_{\lambda }{a}_{\lambda }e(\lambda )$ with integer coefficients, where $e(\lambda )e(\mu )=e(\lambda +\mu )$. A finite-dimensional Lie algebra representation has formal character ${\sum }_{\lambda }(\dim V_{\lambda })e(\lambda )$ in this ring. The Weyl group acts by $e(\lambda )\mapsto e(w\lambda )$. The ambient ring need not consist of genuine characters; the representation ring of a semisimple Lie algebra of finite-dimensional modules for a complex semisimple Lie algebra identifies with the invariant subring $\mathbb{Z}[P{]}^W$.

// Target: semisimple-lie-algebra.bigb

For a finite-dimensional complex semisimple Lie algebra with Cartan subalgebra $\mathfrak{h}$, the shifted Harish-Chandra map identifies the centre of the universal enveloping algebra with the Weyl group-invariant polynomial functions on ${\mathfrak{h}}^{\ast }$. To normalize the shift, let $M^{\chi }$ have highest weight $\chi -\rho$, where $\rho$ is the Weyl vector. A central element $z$ acts by a scalar $j_z(\chi )$, and $z\mapsto j_z$ is the displayed algebra isomorphism. The Poincaré-Birkhoff-Witt theorem gives polynomial dependence on $\chi$ by projecting $z$ onto its pure Cartan component and evaluating at $\chi -\rho$. The associated central characters agree exactly when their shifted parameters lie in the same Weyl orbit. Without incorporating the shift into the parameter, the invariance is expressed using the dot action $w\cdot \lambda =w(\lambda +\rho )-\rho$.

For a chosen positive system of a root system $\Pi$, the inversion set isFor a finite Weyl group, $|N(w)|=\ell (w)$.

Its cardinality is the Coxeter length; this root-sign definition should not be silently identified with an unspecified permutation inversion convention.

Multiply the Weyl character formula by the generating series of the Kostant partition function. In each numerator summand, the coefficient of $e^{\mu }$ occurs when $\nu =w(\lambda +\rho )-(\mu +\rho )$. Summing those coefficients with the Weyl group signs proves the displayed weight multiplicity formula. Although $\rho$ need not itself be an integral group weight, $w\rho -\rho$ is in the root lattice, so each partition-function argument is an integral weight.

The longest element of a finite Weyl group is the element sending all positive roots of a root system to negative roots. It is the longest element of a finite Coxeter group. For the G2 root system it is $-I$: its twelve roots form two hexagons, and the dihedral reflection group of a root system contains the rotation through $\pi$. It determines the highest weight of a dual representation.

In an irreducible root system with two root lengths, a long root has the larger length with respect to a Weyl group invariant inner product.

A finite-dimensional irreducible representation of a complex semisimple Lie algebra is minuscule if its weights form one Weyl group orbit. Every weight multiplicity is then one, because multiplicities are invariant under the Weyl group and the highest weight has multiplicity one.

By dominant root-lattice highest weights have zero weight, a minuscule weight in the root lattice has zero in its Weyl group orbit. Since every element of the Weyl group is invertible, the highest weight must itself be zero. Thus equality of the weight lattice and root lattice rules out every nontrivial minuscule representation without requiring a classification of root systems.

In the convention of a, the fundamental weights areFor a weight $w=(w_1,w_2,w_3)$ in this orthonormal coordinate system, its Dynkin labels areThese labels, rather than the orthonormal coordinates, are used below and in the projection in c.

The highest weight $(1,0,0)$ is $e_1$. Successive subtraction of the simple roots gives the complete stringThe two consecutive short-root steps are allowed because $e_3$ has coroot pairing two with ${\alpha }_3$. The weight system of this seven-dimensional vector representation is thereforeAll seven weight multiplicities are one, including the zero weight.

The highest weight $(0,0,1)$ is ${\omega }_3$. The Weyl group of the B3 root system acts by signed coordinate permutations. Its orbit is the eight cube vertices $w=(s_1{e}_1+s_2{e}_2+s_3{e}_3)/2$, with independent $s_i=\pm 1$. Starting from $(+,+,+)$, lowering by ${\alpha }_3$, then ${\alpha }_2$, and then either ${\alpha }_1$ or ${\alpha }_3$ generates the middle branches; further lowering reaches all remaining sign choices. Thus the eight-dimensional spin representation hasThe stipulated unit weight multiplicities give dimensions seven and eight by counting these lists.

For the D5 root system, take an orthonormal basis $e_1,\dots ,e_5$ and simple roots ${\alpha }_i=e_i-e_{i+1}$ for $i=1,2,3,4$, together with ${\alpha }_5=e_4+e_5$. The Dynkin diagram has single bonds $1-2$, $2-3$, $3-4$, $3-5$, with the fork at node $3$. Thus its Cartan matrix isThe fundamental weight ${\omega }_5=\frac{1}{2}(e_1+e_2+e_3+e_4+e_5)$ has Dynkin labels $(0,0,0,0,1)$. Its pairing with every positive coroot $e_i\pm e_j$, $i<j$, is zero or one. Hence its half-spin representation is a minuscule representation, so its weight system is a single Weyl group orbit with multiplicity one. The Weyl group of the D5 root system permutes coordinates and changes an even number of signs. Consequently its complete weight system isThere are $1+\left(\genfrac{}{}{0ex}{}{5}{2}\right)+\left(\genfrac{}{}{0ex}{}{5}{4}\right)=16$ such weights. Their Dynkin labels are $((s_1-s_2)/2,(s_2-s_3)/2,(s_3-s_4)/2,(s_4-s_5)/2,(s_4+s_5)/2)$, explicitlyHere the Lie algebra is $\mathfrak{so}(10,\mathbb{C})$, or its compact real form when discussing compact groups. Globally the half-spin representation is a representation of $\mathrm{Spin}(10)$, and does not descend to $SO(10)$; the question only specifies the Lie algebra.