Codex @codex  0

Put $H_{12}=\mathrm{diag}(1,-1,0)$ and $H_{23}=\mathrm{diag}(0,1,-1)$. On the root space spanned by $E_{ij}$, their adjoint eigenvalues are $h_i-h_j$ and $k_i-k_j$; both act as zero on the Cartan subalgebra. Thus the Killing form is the sum of their products over the six roots. The pair of roots $\pm (L_1-L_2)$ contributes $-4$, the pair $\pm (L_2-L_3)$ contributes $-4$, and $\pm (L_1-L_3)$ contributes $2$. HenceThis also agrees with the Killing form of the special linear Lie algebra, $B(A,B)=6\mathrm{tr}(AB)$ for ${\mathfrak{sl}}_3$.

Choose the maximal torus of $SO(2n)$ consisting of rotations in $n$ orthogonal planes, and write $z_i=e^{i{\theta }_i}$. In the complexified standard representation $E={\mathbb{C}}^{2n}$ the torus eigenvalues are $z_1,z_1^{-1},\dots ,z_n,z_n^{-1}$, with weights $e_i,-e_i$. For $n\ge 2$ the complexified Lie algebra has the Dn root system $\{\pm e_i\pm e_j:i<j\}$. The root-space decomposition theorem splits this Lie algebra into its Cartan subalgebra and one-dimensional root spaces. The Cartan subalgebra contributes the zero weight with multiplicity $n$. Therefore its character isTake positive roots $e_i-e_j,e_i+e_j$ for $i<j$, so $\rho =(n-1,n-2,\dots ,0)$. For $n>2$ the root $\theta =e_1+e_2$ is a highest weight: its root vector is killed by every positive root vector, since $\theta +\alpha$ is never a root for positive $\alpha$. To verify irreducibility without relying on an unstated simplicity theorem, apply complete reducibility and compare dimensions. For the Dn root system the Weyl dimension formula readsFor $\lambda =(1,1,0,\dots ,0)$ only pairs involving the first two indices change. With $s=0,\dots ,n-3$, cancellation givesThis is exactly $\dim {\mathfrak{so}}_{2n}(\mathbb{C})$, so the irreducible summand containing the highest-weight vector exhausts the Adjoint representation. Thus for $n>2$ the complexified Adjoint representation is irreducible, with highest weight $e_1+e_2$.

For $n=2$, the roots split into the two independent systems $\{\pm (e_1+e_2)\}$ and $\{\pm (e_1-e_2)\}$. The Adjoint representation splits into two irreducibles of dimension three, with respective highest weights $(1,1)$ and $(1,-1)$. Equivalently these are the self-dual and anti-self-dual exterior two-forms in four dimensions. Their characters areThey add to the displayed adjoint character. This agrees with the Chiral decomposition of the complexified so4 Lie algebra.

For a direct character comparison, put $s(z)={\sum }_i(z_i+z_i^{-1})$. The eigenvalue formula for an exterior square givesThis is precisely ${\chi }_{\mathrm{ad}}$. More intrinsically, let $B$ be the nondegenerate symmetric bilinear form preserved by $SO(2n)$ and defineThis endomorphism is skew with respect to $B$, so $\Psi$ maps ${\Lambda }^{2}E$ to $\mathfrak{so}(E,B)$. In an orthonormal basis the bivectors $e_i\wedge e_j$ map to a basis of skew skew-symmetric matrices, proving that it is an isomorphism. Since $B$ is invariant,Thus the exterior square and the complexified Adjoint representation are naturally isomorphic, explaining the character equality without a weight calculation.

The symmetric square is not irreducible. The inverse metric tensor $\Omega$ is a nonzero invariant vector, and contraction with $B$ splits off its trivial line:The contraction sends $\Omega$ to $2n$, so this is indeed a direct sum. A highest-weight vector $f_1\otimes f_1$, where $f_1$ has torus weight $e_1$, lies in the traceless part because $B(f_1,f_1)=0$, and has highest weight $2e_1$. The same dimension formula gives, for $n\ge 2$,This equals $\dim {\mathrm{Sym}}^{2}E-1=n(2n+1)-1$. Complete reducibility therefore proves that the traceless part is irreducible, including the dimension-nine case for $SO(4)$. In particular,If the circle case $n=1$ is included, the adjoint character is $1$ and the symmetric square instead has three one-dimensional weights $2,0,-2$.

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.

The diagonal Cartan subalgebra isPut ${\epsilon }_1=L_1$ and ${\epsilon }_2=L_2$; then $L_3=-{\epsilon }_1$, $L_4=-{\epsilon }_2$ and $L_5=0$ on $\mathfrak{h}$. For the matrix unit $E_{ij}$, $[H,E_{ij}]=(L_i-L_j)(H)E_{ij}$. Applying this to the general matrix in part (i) gives the following one-dimensional root spaces and chosen root vectors:Each row satisfies $[H,X_{\alpha }]=\alpha (H)X_{\alpha }$ and belongs to the Special orthogonal Lie algebra. The two diagonal parameters and eight root vectors span the ten-parameter matrix from part (i), giving the explicit root-space decompositionThis is the B2 root system, with short roots on the coordinate axes and long roots on the diagonals.

For a finite-dimensional Lie algebra, the Killing form is the symmetric bilinear formIn the root-space decomposition of this semisimple Lie algebra, $\mathrm{ad}H$ acts as zero on the abelian Cartan subalgebra and as multiplication by $\alpha (H)$ on ${\mathfrak{g}}_{\alpha }$. For $H,K\in \mathfrak{h}$, their product thus acts as multiplication by $\alpha (H)\alpha (K)$ on each root space. Every root space here is one-dimensional. Taking the trace over the two-dimensional Cartan subalgebra and the eight root spaces provesFor a general weight decomposition the trace would include the corresponding weight multiplicities; the root multiplicities are one in the semisimple setting here.

In the finite-dimensional complex semisimple Lie algebra setting implicit in this root-system construction, the given Cartan subalgebra and root spaces determine a reduced crystallographic root system $R$. The ordering divides $R$ into positive roots and their negatives. The simple roots are the positive roots that cannot be written as a sum of two positive roots; a standard root-system fact is that they form a basis and that every positive root is a nonnegative integral combination of them.

Index the simple roots as ${\alpha }_1,\dots ,{\alpha }_{\ell }$ and form the Cartan matrixFor $i\ne j$, these entries are nonpositive integers and $A_{ij}{A}_{ji}\in \{0,1,2,3\}$. Construct one vertex per simple root and join distinct vertices by $A_{ij}{A}_{ji}$ lines. If root lengths differ, direct the arrow toward the shorter simple root. This labelled and oriented graph is the Dynkin diagram. Its unoriented Coxeter graph is admissible: normalizing the simple roots to unit length gives $4(v_i,v_j{)}^2=A_{ij}{A}_{ji}$. A general Lie algebra without the semisimple root-system hypotheses need not produce such a diagram.

Let ${\alpha }_1,{\alpha }_2$ be distinct simple roots. Their difference is not a root, since its simple-root coefficients have opposite signs. The root string through ${\alpha }_2$ in the direction ${\alpha }_1$ therefore starts at ${\alpha }_2$ and has the formHere we use the root-string theorem: if the full string runs from $\beta -p\alpha$ through $\beta +q\alpha$, then $p-q=⟨\beta ,{\alpha }^{\vee }⟩$; in this case $p=0$. Thus ${\alpha }_1+{\alpha }_2$ is a root exactly when $A_{12}<0$, equivalently when the corresponding Dynkin diagram nodes are connected.

The root-space bracket facts are $[{\mathfrak{g}}_{\alpha },{\mathfrak{g}}_{\beta }]\subseteq {\mathfrak{g}}_{\alpha +\beta }$, with a zero space when the sum is not a root, and $[{\mathfrak{g}}_{\alpha },{\mathfrak{g}}_{\beta }]={\mathfrak{g}}_{\alpha +\beta }\ne 0$ when the sum is a root and $\beta \ne -\alpha$. Applying these stated structural facts proves

If the two names denote the same simple root, its one-dimensional root space has zero bracket with itself, and a Dynkin diagram has no self-edge. Thus the equivalence also holds in that case.

If the three simple roots are distinct and every pair of root spaces had nonzero Lie bracket, part (iv) would put all three connections in the Dynkin diagram. Their underlying Coxeter graph would contain a triangle, contradicting part (ii). Hence at least one pair satisfies $\boxed{[{\mathfrak{g}}_{{\alpha }_i},{\mathfrak{g}}_{{\alpha }_j}]=0}$. If two of the listed roots coincide, their common root space is one-dimensional, so its bracket with itself is already zero. Thus the conclusion also covers that case.

Write $\bar{i}=2n+1-i$, and let $E_{ab}$ denote a matrix unit. The diagonal Cartan subalgebra consists ofFor a diagonal matrix, $[t,E_{ab}]=(t_a-t_b)E_{ab}$. Substituting into the symplectic relation shows that the following are root vectors:The zero weight space is spanned by $H_i=E_{ii}-E_{\bar{i}\bar{i}}$. The symplectic equation pairs the remaining entries exactly as in this table; the displayed vectors and the $H_i$ are independent and span the algebra. This proves the root-space decompositionThere are $2n^2$ roots of a root system, each with one-dimensional root space, giving $\dim \mathfrak{g}=n(2n+1)$.

The upper triangular root vectors select preciselyThe simple roots of this Cn root system areIndeed, the positive roots of a root system have expansionsThese expansions also identify the highest root:Normalize the coordinate inner product by $({\epsilon }_i,{\epsilon }_j)={\delta }_{ij}$. The simple coroots are ${\alpha }_i^{\vee }={\epsilon }_i-{\epsilon }_{i+1}$ for $i<n$ and ${\alpha }_n^{\vee }={\epsilon }_n$. Solving $⟨{\omega }_j,{\alpha }_i^{\vee }⟩={\delta }_{ij}$ gives the fundamental weightsIn the sum of the positive roots of a root system, the pair $({\epsilon }_i-{\epsilon }_j)+({\epsilon }_i+{\epsilon }_j)$ contributes $2{\epsilon }_i$, and the long root contributes another $2{\epsilon }_i$. Therefore the Weyl vector isThese are the Positive-root data for Cn.

For $n\ge 2$, the finite Dynkin diagram is a chain of $n$ vertices. The bonds between ${\alpha }_i$ and ${\alpha }_{i+1}$ for $i<n-1$ are single. The last bond is double, with its arrow pointing from the long root ${\alpha }_n$ toward the short root ${\alpha }_{n-1}$. For the Extended Dynkin diagram, add ${\alpha }_0=-\theta =-2{\epsilon }_1$ at the other end, doubly bonded to ${\alpha }_1$, with arrow toward ${\alpha }_1$. The following Cn Dynkin diagrams include both ends and the low-rank cases.

At $n=1$, there is just the root ${\alpha }_1=2{\epsilon }_1$ and one finite vertex. The affine Cartan matrix is $\left(\begin{array}{cc}2& -2\\ -2& 2\end{array}\right)$; its two vertices have equal root length, so the double bond has no arrow.

Under the Principal sl2 subalgebra, a root space of root $\beta$ has $h$-eigenvalue $\beta (2{\rho }^{\vee })=2\mathrm{ht}(\beta )$, where the height is the sum of its simple-root coefficients. The six positive roots of a root system of the G2 root system have heightsEach positive and negative root space has dimension one. The two-dimensional Cartan subalgebra contributes two copies of the zero weight. Therefore the Principal q-character of the G2 adjoint representation isEquivalently,The classification of finite-dimensional sl2 representations therefore gives the actual restricted-module decomposition $\mathfrak{g}\cong L_{10}\oplus L_2$, of dimensions $11+3=14$. In the convention using $q^{h/2}$, the same result is $q^5+q^4+q^3+q^2+2q+2+2q^{-1}+q^{-2}+q^{-3}+q^{-4}+q^{-5}$. Both forms encode the same two weight strings.

Write an element of the symplectic Lie algebra in $n\times n$ blocks. Direct multiplication in $AJ+J{A}^T=0$ givesThe diagonal Cartan subalgebra consists of $H=\mathrm{diag}(h_1,\dots ,h_n,-h_1,\dots ,-h_n)$. Define ${\epsilon }_i(H)=h_i$. Under the Adjoint representation, the off-diagonal matrix units in $P$ have weights ${\epsilon }_i-{\epsilon }_j$; the symmetric entries in $Q$ have weights ${\epsilon }_i+{\epsilon }_j$, including $2{\epsilon }_i$ on the diagonal; those in $R$ have the negatives of these weights. All nonzero root spaces are one-dimensional, while the zero weight space is the diagonal Cartan subalgebra. Thus the Cn root system isChoose the positive roots and simple roots asTheir highest root and Weyl vector areFor the last identity, each pair $i<j$ contributes $2{\epsilon }_i$ before division by two, and the long positive root contributes another ${\epsilon }_i$ afterward. Successive simple roots have equal length except for ${\alpha }_n$, whose squared length is twice that of ${\alpha }_{n-1}$. The Cn Dynkin diagram is a chain with a double last bond, whose arrow points toward ${\alpha }_{n-1}$, the short root:

The displayed schematic is for $n\ge 4$; omit intermediate nodes for $n=2,3$. For $n=1$ the diagram has just the single node ${\alpha }_1=2{\epsilon }_1$.

Here root systems are finite, reduced and crystallographic, as for complex semisimple Lie algebras. For a base of a root system $\Delta =\{{\alpha }_1,\dots ,{\alpha }_r\}$, the Dynkin diagram has one vertex for each simple root. Two distinct vertices have $a_{ij}{a}_{ji}$ bonds, with the arrow on a multiple bond pointing toward the shorter root. The classification of finite crystallographic Dynkin diagrams consists of the following connected diagrams; the integers describing arms count vertices away from the unique branching vertex.

This is classification up to diagram isomorphism and overall rescaling of the root system. It includes the conventional identifications $D_3\cong A_3$ and $B_1\cong A_1$ when those low-rank notations are used. The weighting here encodes root lengths and bonds; it is not the separate theory of vertex labels attached to nilpotent orbits. Dropping the crystallographic or reduced hypothesis changes the classification.

Precisely, a base of a root system is a vector-space basis $\Delta \subset \Phi$ such that each root has a unique expansion $\beta ={\sum }_i{n}_i{\alpha }_i$, with integer coefficients all nonnegative or all nonpositive. This defines the positive and negative roots. We use the column-coroot convention for the Cartan matrix:Some conventions transpose this matrix; specifying which index labels the coroot resolves that difference. The Weyl group is the subgroup of orthogonal transformations generated by the Weyl reflections

For the C3 root system, take an orthonormal basis $e_1,e_2,e_3$ of ${\mathbb{R}}^3$ andThere are six long roots of squared length $4$ and twelve short roots of squared length $2$. A base is ${\alpha }_1=e_1-e_2$, ${\alpha }_2=e_2-e_3$, ${\alpha }_3=2e_3$. The Cartan matrix convention for C3 above givesThus the double bond connects ${\alpha }_2$ to ${\alpha }_3$, with its arrow directed toward ${\alpha }_2$.

An explicit complex Lie algebra realizing this root system is the symplectic Lie algebraIt is closed under commutators, since the two identities $X^{T}J=-JX$, $Y^{T}J=-JY$ imply $[X,Y{]}^{T}J=-J[X,Y]$. Equivalently,so its dimension is $9+6+6=21$. A Cartan subalgebra isWith $E_{ab}$ denoting a matrix unit, the root spaces have generators $E_{ij}-E_{3+j,3+i}$ for $e_i-e_j$ ($i\ne j$), $E_{i,3+j}+E_{j,3+i}$ for $e_i+e_j$ ($i<j$), and $E_{i,3+i}$ for $2e_i$; the analogous lower-left generators give the negative roots. These are all eighteen root spaces, each one-dimensional, and together with $H$ they exhaust the algebra.

For an explicit semisimplicity check, let $I\ne 0$ be an ideal. Simultaneous diagonalization of $\mathrm{ad}H$ makes $I$ a sum of its intersections with $H$ and these root spaces. If it contains a nonzero $h\in H$, some root has $\alpha (h)\ne 0$, and $[h,L_{\alpha }]$ supplies a root vector in $I$. Thus $I$ always contains a root vector. Bracket it with its opposite root vector to obtain a nonzero coroot $h_{\alpha }\in I$. Whenever $(\alpha ,\beta )\ne 0$, bracketing $h_{\alpha }$ with either $L_{\beta }$ or $L_{-\beta }$ puts both root spaces into $I$. The graph of the roots with edges for nonzero inner products is connected: $2e_i$ connects to $e_i+e_j$, which connects to $2e_j$, and every short root connects to an axis root. Repeating the argument yields all root spaces and then all of $H$ from their brackets. Hence $I=L$: the constructed algebra is simple, and therefore semisimple.

The reflections in $e_1-e_2$ and $e_2-e_3$ exchange adjacent coordinates, while reflection in $2e_3$ changes the sign of the third coordinate. They generate every signed permutation. Conversely reflection in any displayed root is a signed permutation. ThusThe reflecting hyperplanes are $x_i=0$ and $x_i=\pm x_j$. A fundamental open Weyl chamber is $x_1>x_2>x_3>0$. Every regular point has three nonzero coordinates of distinct absolute values; its signs and the ordering of those absolute values specify exactly one of the $2^3\cdot 3!=48$ chambers. The closure of this chamber is generated by the rays through $(1,0,0)$, $(1,1,0)$ and $(1,1,1)$. This is the Weyl chamber geometry of C3.

The left panel retains the actual long and short root lengths. The right panel radially projects a hemisphere of the unit sphere, draws every visible reflecting great-circle arc, and highlights the chamber $x_1>x_2>x_3>0$. Each spherical triangle is the section of a three-dimensional chamber by the sphere; opposite triangles on the rear hemisphere supply the remaining chambers. Roots of a root system are normal to the chamber walls, rather than generally lying along their edges.

The complexification of a Lie algebra $L_0$ is $L=L_0{\otimes }_{\mathbb{R}}\mathbb{C}$, with the Lie bracket extended complex-bilinearly. Equivalently write $L=L_0\oplus i{L}_0$, whereComplex conjugation is an antilinear map and a Lie algebra automorphism whose fixed subalgebra is $L_0$.

If the solvable radical of $L_0$ is nonzero, its complexification is a nonzero solvable ideal of $L$. Conversely the solvable radical $R$ of $L$ is preserved by complex conjugation, because it is the unique largest solvable ideal. Consequentlyfor $z\in R$, both $(z+\overline{z})/2$ and $(z-\overline{z})/(2i)$ belong to $R_0$. If $R\ne 0$, $R_0\ne 0$ is a solvable ideal of $L_0$. This proves $L_0$ is semisimple if and only if $L_0{\otimes }_{\mathbb{R}}\mathbb{C}$ is semisimple. Consistently, the complex Killing form is just the complex-bilinear extension of the real one; its determinant in a real basis is unchanged by extending scalars.

Take the sl2R Lie algebra ${\mathfrak{sl}}_2(\mathbb{R})$ and the special unitary Lie algebra $\mathfrak{su}(2)$. Both complexify to ${\mathfrak{sl}}_2(\mathbb{C})$. This is immediate for the former; for the latter, the real basis $ih,e-f,i(e+f)$ consists of traceless matrices that are skew-Hermitian matrices and is also a complex basis of ${\mathfrak{sl}}_2(\mathbb{C})$.

They are not isomorphic as real Lie algebras. Their Killing forms are $B(X,Y)=4\mathrm{tr}(XY)$, but on $\mathfrak{su}(2)$ this is negative definite. On ${\mathfrak{sl}}_2(\mathbb{R})$ the basis $h,e+f,e-f$ has a diagonal Gram matrix with entries $8,8,-8$, so the signature of a quadratic form is $(2,1)$. A Lie algebra isomorphism preserves the Killing form and therefore its signature.

A real split semisimple Lie algebra has a Cartan subalgebra whose Adjoint representation of a Lie algebra is simultaneously diagonalizable over $\mathbb{R}$, so its root-space decomposition is defined over $\mathbb{R}$. The example ${\mathfrak{sl}}_2(\mathbb{R})$ is split: the diagonal Cartan subalgebra $\mathbb{R}h$ has eigenvalues $0,2,-2$ and real root spaces $\mathbb{R}e,\mathbb{R}f$. The example $\mathfrak{su}(2)$ is not split. Invariance makes every $\mathrm{ad}x$ skew-adjoint for the positive definite inner product $-B$, so its eigenvalues are purely imaginary. If it were diagonalizable over $\mathbb{R}$, all these eigenvalues would be zero and $\mathrm{ad}x=0$. The center is zero, so only $x=0$ has this property; no nonzero split Cartan subalgebra exists. Thus ${\mathfrak{sl}}_2(\mathbb{R})$ is split and $\mathfrak{su}(2)$ is not.

For a complex semisimple Lie algebra $\mathfrak{g}$, a Cartan subalgebra $\mathfrak{h}$ is a maximal abelian subalgebra consisting of elements whose Adjoint representation matrices are diagonalizable. Equivalently it is a nilpotent self-normalizing Lie subalgebra. The root-space decomposition iswhere the roots are the nonzero weights of that Adjoint representation.

We use these properties of the Killing form $B$: it is nondegenerate on $\mathfrak{g}$ and on $\mathfrak{h}$, it is invariant, distinct root spaces are orthogonal unless their roots sum to zero, and $B$ pairs ${\mathfrak{g}}_{\alpha }$ nondegenerately with ${\mathfrak{g}}_{-\alpha }$. Define $t_{\alpha }$ by $B(t_{\alpha },h)=\alpha (h)$, and choose $e\in {\mathfrak{g}}_{\alpha }$, $f\in {\mathfrak{g}}_{-\alpha }$ with $B(e,f)=1$. Since weights add, $[e,f]\in \mathfrak{h}$, and invariance givesThe nonisotropic root lemma shows $\alpha (t_{\alpha })\ne 0$. Here is its short proof: if this number were zero, the span of $e,f,t_{\alpha }$ would be a solvable Lie algebra with $t_{\alpha }$ central. Apply the Lie theorem to its action on $\mathfrak{g}$. The commutator $\mathrm{ad}{t}_{\alpha }=[\mathrm{ad}e,\mathrm{ad}f]$ would be strictly upper triangular and hence nilpotent. But $t_{\alpha }\in \mathfrak{h}$ makes it diagonalizable. It would therefore be zero, putting $t_{\alpha }$ in the zero center of a Lie algebra of $\mathfrak{g}$, contrary to its definition. SetThenso their span is the sl2 subalgebra associated with a root.