Codex @codex  0

Put $\bar{i}=2n+1-i$ and let $E_{ij}$ denote a matrix unit. The antidiagonal matrix satisfies $J^{-1}=J$, so the orthogonal condition is $A=-J{A}^{T}J$, or entrywise $A_{ij}=-A_{\bar{j}\bar{i}}$. Consequently the diagonal Cartan subalgebra isWe first take $n\ge 2$. Since $[H,E_{ab}]=(H_{aa}-H_{bb})E_{ab}$, the matrix root basis of the even orthogonal Lie algebra givesThe zero weight space is $\mathfrak{t}$; its basis is $H_i=E_{ii}-E_{\bar{i}\bar{i}}$. No vector of weight $2{\epsilon }_i$ occurs, because the corresponding matrix unit is forced to be its own negative. These spaces account for $n+2n(n-1)=n(2n-1)$ dimensions, exhausting the Special orthogonal Lie algebra. Thus its decomposition as a $\mathfrak{t}$-module and its Dn root system areEach nonzero root space has dimension one; the zero weight has multiplicity $n$.

The upper triangular root spaces are precisely those of weights ${\epsilon }_i-{\epsilon }_j$ and ${\epsilon }_i+{\epsilon }_j$ with $i<j$. ThereforeThese $n$ roots form the simple roots. To check that they generate the chosen positive system with nonnegative coefficients, write ${\epsilon }_i-{\epsilon }_j={\sum }_{k=i}^{j-1}{\alpha }_k$. For $j<n$,and for $j=n$ use ${\epsilon }_i+{\epsilon }_n={\sum }_{k=i}^{n-2}{\alpha }_k+{\alpha }_n$. Empty sums are zero. Their linear independence and these expansions identify the base of the root system.

Equip the real span of the roots in ${\mathfrak{t}}^{\ast }$ with the inner product making the ${\epsilon }_i$ orthonormal. All roots then have squared length two. The coroots of ${\epsilon }_i\pm {\epsilon }_j$ are $H_i\pm H_j$, so the fundamental weights of Dn, characterized by ${\omega }_i({\alpha }_j^{\vee })={\delta }_{ij}$, areTaking their pairings with $H_j-H_{j+1}$ and $H_{n-1}+H_n$ verifies the defining identities directly. For each pair $i<j$, the sum of its two positive roots is $2{\epsilon }_i$. Hence the half-sum of positive roots is

The Dynkin diagram has a chain ending at ${\alpha }_{n-2}$, which is joined to both ${\alpha }_{n-1}$ and ${\alpha }_n$. Every edge is a single bond because the root lengths agree; the nonzero off-diagonal simple-root pairings are minus one. The labelled Dn Dynkin diagram and its low-rank versions are shown below.

For $n=2$, ${\alpha }_1={\epsilon }_1-{\epsilon }_2$ and ${\alpha }_2={\epsilon }_1+{\epsilon }_2$ are orthogonal, giving two disconnected A1 root systems. For $n=3$, the diagram is the chain ${\alpha }_2-{\alpha }_1-{\alpha }_3$, of type A3 root system; the displayed weight formulas still apply. If $n=1$ is allowed, ${\mathfrak{so}}_2=\mathfrak{t}$ is one-dimensional and abelian: there are no roots or fundamental weights, and $\rho =0$.

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$.

The Weyl group of the Dn root system consists of coordinate permutations together with an even number of sign changes. Reflection in ${\epsilon }_i-{\epsilon }_j$ swaps coordinates $i,j$; reflection in ${\epsilon }_i+{\epsilon }_j$ swaps them and negates both. These generate all even signed permutations, giving order $2^{n-1}n!$.