Codex @codex  0

For $n\ge 2$, the finite Dynkin diagram $C_n$ is a chain with a terminal double bond. Its arrow points from the terminal long root toward the adjacent short root. It represents the Cn root system; $C_2$ is isomorphic to $B_2$ after relabelling.

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

Write $T=\left(\begin{array}{cc}P& Q\\ R& S\end{array}\right)$ and $J=\left(\begin{array}{cc}0& I_l\\ -I_l& 0\end{array}\right)$. Block multiplication givesIts vanishing is equivalent toThis identifies $L$ with the symplectic Lie algebra ${\mathfrak{sp}}_{2l}(\mathbb{C})$.

We now supply the requested root-space decomposition, including explicit vectors. Let $E_{ab}$ be the matrix units, put $h_i=E_{ii}-E_{l+i,l+i}$, and define the linear functionals ${\epsilon }_i$ on the diagonal Cartan subalgebra by ${\epsilon }_i(h)={\lambda }_i$. Then $H={⨁}_i\mathbb{C}{h}_i$. The Cn root system and a corresponding matrix root basis of the symplectic Lie algebra areEach listed vector satisfies the block conditions just proved. For a diagonal matrix $h$, the matrix unit calculation $[h,E_{ab}]=(h_{aa}-h_{bb})E_{ab}$ gives all the requested eigenvalues explicitly:The diagonal vectors and difference-root vectors span every possible $P$ block. The sum-root and doubled-root vectors span all symmetric $Q$ and $R$ blocks. They are linearly independent, as is evident from their disjoint independent block entries. Equivalently there are $l+2l^2=l(2l+1)$ of them, exactly the dimension $l^2+2l(l+1)/2$ of $L$. The zero weight space is precisely $H$: a zero weight forces $P$ diagonal and every entry of $Q,R$ to vanish. Hence every nonzero root space is one-dimensional and

Identify the Cartan subalgebra with the coordinate space $(t_1,\dots ,t_n)$ used above. The root reflection in any root of a root system fixes the perpendicular hyperplane. For every root of the Cn root system, its complete coordinate action isEvery unlisted coordinate is fixed, and changing the sign of the root leaves its reflection unchanged. These formulas follow directly from $s_{\alpha }(t)=t-\alpha (t){\alpha }^{\vee }$, with the coroot regarded as a vector of the Cartan subalgebra.

The Cn Weyl group is the signed symmetric group: its elements permute the $n$ coordinates and independently change their signs. The Weyl reflections associated with the simple roots interchange consecutive coordinates for $i<n$ and negate the last coordinate for $i=n$. Thus

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.

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

Identify the diagonal Cartan subalgebra with ${\mathbb{C}}^n$ through its coordinates $(h_1,\dots ,h_n)$, and identify real roots with coordinate vectors using the invariant Euclidean inner product. A Weyl reflection is $s_{\alpha }(h)=h-2(h,\alpha )\alpha /(\alpha ,\alpha )$. It does not change when $\alpha$ is replaced by $-\alpha$. For the Cn root system, its explicit actions areEvery coordinate not displayed stays fixed. Thus each generating Weyl reflection is a signed permutation, so the Weyl group is contained in the signed symmetric group. Conversely, the first row supplies each independent sign change and the second supplies every coordinate transposition; these generate the entire signed symmetric group. This proves the Cn Weyl group identification, including its size:

After ordering a symplectic basis in two blocks, writeMatrices in the symplectic Lie algebra have block formThe root-space decomposition isFor example, these one-dimensional spaces are spanned respectively byThus this is the Cn root systemThe upper-triangular choice givesIts simple roots, highest root, fundamental weights, and half-sum of positive roots are

Using the notation requested in the paper, the root lattice $P$ and weight lattice $Q$ areso $Q/P\cong \mathbb{Z}/2\mathbb{Z}$. This reverses the common notation in which the root lattice is called $Q$ and the weight lattice is called $P$.

Since a multiple-edge arrow in a Dynkin diagram points toward the shorter root, the finite and extended diagrams areand