Past exam of the lie algebras course of Part C of the mathematics course of the University of Oxford / 2023 / 3

The normalizer of a Lie subalgebra and the centralizer of a Lie subalgebra areThe second is always contained in the first. Conversely, let $x\in N_{\mathfrak{g}}(\mathfrak{a})$ and $a\in \mathfrak{a}$. Then $[a,x]\in \mathfrak{a}$, and, because $\mathfrak{a}$ is an abelian Lie algebra,By the definition of a toral subalgebra, $\mathrm{ad}a$ is diagonalizable. A diagonalizable linear map $T$ satisfies $\ker T^2=\ker T$: in an eigenbasis, both kernels consist of exactly the eigenvectors whose eigenvalue is zero. Thus $[a,x]=0$. This holds for every $a\in \mathfrak{a}$, so $x\in C_{\mathfrak{g}}(\mathfrak{a})$ andThis is the normalizer-centralizer equality for a toral abelian subalgebra; it does not require $\mathfrak{g}$ to be a semisimple Lie algebra.

Use the general definition of a Cartan subalgebra: a nilpotent Lie algebra that is a Lie subalgebra and equals its normalizer of a Lie subalgebra. In a semisimple Lie algebra, the stated structural fact says every Cartan subalgebra $\mathfrak{h}$ is a toral subalgebra and an abelian Lie algebra. Part (i) therefore givesConversely, suppose $\mathfrak{h}$ is a toral subalgebra and an abelian Lie algebra with $C_{\mathfrak{g}}(\mathfrak{h})=\mathfrak{h}$. An abelian Lie algebra is a nilpotent Lie algebra, because its lower central series of a Lie algebra vanishes at the second term. Part (i) gives $N_{\mathfrak{g}}(\mathfrak{h})=C_{\mathfrak{g}}(\mathfrak{h})=\mathfrak{h}$. Thus $\mathfrak{h}$ satisfies the defining conditions of a Cartan subalgebra, proving

We use the supplied weight decomposition $V={⨁}_{\lambda \in \Psi (\mathfrak{a})}{V}_{\lambda }$. There is a small distinction to justify: the definition of a toral subalgebra uses the Adjoint representation, while these weight spaces use the defining representation. For the symplectic Lie algebra, adjoint semisimplicity in the symplectic Lie algebra implies that each $a\in \mathfrak{a}$ is diagonalizable on $V$ as well. Here is a direct verification.

Define the symplectic adjoint $a^{\ast }$ by $\omega (av,w)=\omega (v,a^{\ast }w)$. The symplectic Lie algebra condition is $a^{\ast }=-a$. Write the Jordan–Chevalley decomposition in $\mathrm{End}(V)$ as $a=S+N$, with $S$ diagonalizable, $N$ a nilpotent linear map, and $SN=NS$. Uniqueness of the Jordan–Chevalley decomposition, applied to $a^{\ast }=-a$, gives $S^{\ast }=-S$ and $N^{\ast }=-N$. Thus $S,N\in \mathfrak{sp}(V)$. On $\mathrm{End}(V)$, $\mathrm{ad}S$ is diagonalizable by using a matrix unit basis in an eigenbasis of $S$, and $\mathrm{ad}N$ is a nilpotent linear map, sincevanishes for large $m$. These operators commute and preserve $\mathfrak{sp}(V)$, so their restrictions are the Jordan–Chevalley decomposition of $\mathrm{ad}a$. Because $\mathrm{ad}a$ is diagonalizable, its nilpotent part is zero: $\mathrm{ad}N=0$ on $\mathfrak{sp}(V)$.

To conclude that $N=0$ without an assumption on the center of a Lie algebra, observe that each map $T_v(w)=\omega (v,w)v$ lies in $\mathfrak{sp}(V)$. If $v\ne 0$, its image is $kv$, because $\omega$ is a nondegenerate bilinear form. Since $N$ commutes with $T_v$, it preserves $kv$. Hence $Nv\in kv$ for every $v$, forcing $N$ to be a scalar linear map: compare its action on two linearly independent vectors and their sum. A scalar nilpotent linear map is zero. For $V=0$ the assertion is immediate. This proves the needed diagonalizability. Commuting diagonalizable linear maps admit simultaneous diagonalization, giving the displayed weight decomposition.

Now let $v\in V_{\lambda }$ and $w\in V_{\mu }$. For every $a\in \mathfrak{a}$, preservation of the alternating bilinear form givesIf $\lambda +\mu \ne 0$ as a linear functional, choose $a$ on which it is nonzero; then $\omega (v,w)=0$. ThereforeFor $v\ne 0$ in $V_{\lambda }$, the fact that $\omega$ is a nondegenerate bilinear form supplies a $w\in V$ with $\omega (v,w)\ne 0$. Decomposing $w$ into weight spaces, only its $V_{-\lambda }$ component can contribute. Thus $V_{-\lambda }\ne 0$, and $\Psi (\mathfrak{a})=-\Psi (\mathfrak{a})$. The same argument on both sides shows that $\omega :V_{\lambda }\times V_{-\lambda }\to k$ is a perfect pairing, so $\dim V_{\lambda }=\dim V_{-\lambda }$. On $V_0$, the restriction of $\omega$ is a nondegenerate bilinear form that is an alternating bilinear form, so $\dim V_0$ is even.

Choose one representative ${\lambda }_i$ from each pair of nonzero weights of a representation, for $1\le i\le r$. HereThe linear map $\mathfrak{a}\to k^r$ sending $a$ to $({\lambda }_1(a),\dots ,{\lambda }_r(a))$ is injective: an element in its kernel acts by zero on every nonzero weight space, and also on $V_0$, so it is the zero element of $\mathfrak{a}\subseteq \mathrm{End}(V)$. Taking dimensions yieldsThe final inequality follows because each pair contributes at least two to $\dim V=2n$. Equivalently, the nonzero weights of a representation span the dual space ${\mathfrak{a}}^{\ast }$; they need not be linearly independent at this stage.

Choose representatives ${\lambda }_1,\dots ,{\lambda }_r$ as in part (b). We use the symplectic centralizer decompositionTo prove it, a linear map commuting with every $a\in \mathfrak{a}$ must preserve every weight space: if $v\in V_{\lambda }$, then $a(Tv)=T(av)=\lambda (a)Tv$. Conversely, preserving the weight spaces makes a linear map commute with the scalar action of every $a$ on each space.

On $V_0$, the symplectic Lie algebra condition says exactly that the restriction belongs to $\mathfrak{sp}(V_0)$. On $V_{{\lambda }_i}\oplus V_{-{\lambda }_i}$, use the perfect pairing from part (b) to identify $V_{-{\lambda }_i}$ with the dual space $V_{{\lambda }_i}^{\ast }$. The action $A_i$ on $V_{{\lambda }_i}$ can be arbitrary, but its action on $V_{-{\lambda }_i}$ must be $-A_i^{\ast }$, where $A_i^{\ast }$ is the dual map. Indeed,determines $B_i=-A_i^{\ast }$ uniquely. There are no additional conditions between different pairs because $\omega$ vanishes between different pairs. Every choice of these blocks therefore gives an element of the centralizer of a Lie subalgebra. The block correspondence preserves Lie brackets, proving the claimed direct sum of Lie algebras.

The general linear Lie algebra ${\mathfrak{gl}}_m(k)$ is an abelian Lie algebra exactly when $m\le 1$: for $m\ge 2$, the matrix units satisfy $[E_{11},E_{12}]=E_{12}\ne 0$. A nonzero symplectic vector space has a symplectic basis and contains a two-dimensional symplectic subspace. The symplectic Lie algebra acting on that plane, extended by zero on its symplectic orthogonal complement, contains the matrices $H=\mathrm{diag}(1,-1)$ and $E=E_{12}$ with $[H,E]=2E\ne 0$. Thus $\mathfrak{sp}(V_0)$ is an abelian Lie algebra exactly when $V_0=0$.

Since different summands in a direct sum of Lie algebras commute, we obtain the precise criterionEquivalently, there are $2n$ distinct nonzero weights of a representation, each with a one-dimensional weight space. The condition concerns multiplicities in the defining representation; it does not assert that $\dim \mathfrak{a}=n$ for every such $\mathfrak{a}$.

Use the standard structural fact that $\mathfrak{sp}(V)$ is a semisimple Lie algebra over an algebraically closed field of characteristic zero. If $\mathfrak{h}$ is a Cartan subalgebra, part (a)(ii) gives $C_{\mathfrak{sp}(V)}(\mathfrak{h})=\mathfrak{h}$, and $\mathfrak{h}$ is an abelian Lie algebra. Part (c) therefore shows that its weight spaces occur as $n$ pairs of one-dimensional spaces, with no zero weight space.

Choose representatives ${\lambda }_1,\dots ,{\lambda }_n$ of its nonzero weights of a representation. Pick $p_i\ne 0$ in $V_{{\lambda }_i}$ and $q_i\ne 0$ in $V_{-{\lambda }_i}$, scaling $q_i$ so that $\omega (p_i,q_i)=1$. Part (b) shows that all other pairings among different pairs are zero. Each individual weight space is one-dimensional and the bilinear form is alternating, so the ordered basisis a symplectic basis. Every $h\in \mathfrak{h}$ is a diagonal matrix in this basis, with entries ${\lambda }_1(h),\dots ,{\lambda }_n(h),-{\lambda }_1(h),\dots ,-{\lambda }_n(h)$.

Let $D_{\mathcal{B}}$ be the Lie subalgebra consisting of all diagonal matricesEach such matrix lies in the symplectic Lie algebra and commutes with $\mathfrak{h}$. Henceand $\mathfrak{h}=D_{\mathcal{B}}$. In particular, every Cartan subalgebra has dimension $n$; the ${\lambda }_i$ are a basis of ${\mathfrak{h}}^{\ast }$.

Carry out the same construction for ${\mathfrak{h}}^{\prime }$, obtaining a symplectic basis ${\mathcal{B}}^{\prime }=(p_1^{\prime },\dots ,p_n^{\prime },q_1^{\prime },\dots ,q_n^{\prime })$ with ${\mathfrak{h}}^{\prime }=D_{{\mathcal{B}}^{\prime }}$. The unique linear map $g$ sending $p_i$ to $p_i^{\prime }$ and $q_i$ to $q_i^{\prime }$ is invertible and preserves all pairings of basis vectors. By bilinearity, it preserves $\omega$ on all of $V$, so $g$ belongs to the symplectic group $\mathrm{Sp}(V)$. The change of basis givesThus conjugacy of Cartan subalgebras of the symplectic Lie algebra follows by explicitly matching their symplectic bases. If $n=0$, the Lie algebra is zero and the same conclusion holds with $g$ the identity on the zero vector space.