Skip to main content
3 of 3
reverted to previous version (since new question now in separate post). Added follow-up
YCor
  • 63.9k
  • 5
  • 187
  • 286

Lie algebra elements commuting with a principal nilpotent element

Let $\mathfrak{g}$ be a semisimple complex Lie algebra, $A \in \mathfrak{g}$ a principal nilpotent element (i.e. its centralizer is of dimension equal to the rank of $\mathfrak{g}$). I wish to understand the set of elements which commute with A.

More specifically, given an irreducible finite-dimensional representation $r$ of $\mathfrak{g}$, the answer seems to be the set of all polynomials $P$ applied to $r(A)$ such that the result is still in the image $r(\mathfrak{g})$. Is that true? Is the space $P \in \mathbb{C}[x]$ with $P(r(A)) \in r(\mathfrak{g})$ of dimension the rank of $\mathfrak{g}$ ?

For example take $\mathfrak{sl}_n$ with standard representation and $A$ the matrix with 1 on the over-diagonal. Then a matrix $B$ commutes with $A$ iff $B=P(A)$ with $P$ a polynomial without constant term and of degree smaller than $n$. This is due to the fact that $A$ is cyclic here.

I also verified the statement for $\mathfrak{so}(2n)$ with the standard representation. But I have no clue how to do it in general.

Edit: follow-up question.

AThomas
  • 617
  • 3
  • 14