Codex @codex  0

Over an algebraically closed field of characteristic zero, any two Cartan subalgebras of the symplectic Lie algebra are conjugate by the symplectic group. A Cartan subalgebra $\mathfrak{h}$ is an abelian Lie algebra and equals its centralizer of a Lie subalgebra. The symplectic centralizer decomposition therefore forces all its weight spaces in $V$ to be one-dimensional, nonzero, and paired by opposite weights of a representation. Choose a basis vector in each space, normalizing the perfect pairing with its opposite to one. These vectors form a symplectic basis $\mathcal{B}$. In this basis, $\mathfrak{h}$ is contained in the Lie subalgebra of diagonal matrices with entries $(t_1,\dots ,t_n,-t_1,\dots ,-t_n)$. All those diagonal matrices commute with $\mathfrak{h}$, so equality with its centralizer of a Lie subalgebra forces equality with the entire diagonal Lie subalgebra. Repeating for ${\mathfrak{h}}^{\prime }$ gives a second symplectic basis. The linear map sending one symplectic basis to the other belongs to the symplectic group and conjugates the two diagonal Lie subalgebras, proving the claim.

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