Let $K$ be an algebraically closed field with characteristic $0$. I consider the Jordan decomposition of a NILPOTENT matrix: $A=diag(J_{r_1},\cdots,J_{r_s})\in M_n(K)$ where $J_k$ is the nilpotent Jordan block of dimension $k$ and with $r_1\geq\cdots\geq r_s$. Let $S(A)=\{P^{-1}AP|P\in GL_n(K)\}$ be the similarity class of $A$ and $d(A)=f(r_1,\cdots,r_s)$ be the dimension of the algebraic variety $S(A)$ (I hope that the previous assertion is true). To find $d(A)$ is equivalent to find the Hilbert dimension of the algebraic variety $\{X\in SL_n(K)|XA=AX\}$. With Maple, we can do actually the calculation until $n=7$.

For instance, for a fixed $n$, $\sup_A d(A)=n^2-n$ and this sup is reached only for $J_n$.

Does there exist an explicit formula for $f(r_1,\cdots,r_s)$, or, an algorithm that does the job within a reasonable time ? Is this problem linked to the Young tableaux ?

Thanks in advance


There is an explicit formula. Let $r'_1\geq \ldots \geq r'_t$ be the transpose partition of $[r_1,\ldots ,r_s]$ (obtained by exchanging rows and columns in the Young diagram). Then $\ d(A)=n^2-\sum r'_i{}^2$ . See for instance Collingwood-McGovern, Nilpotent orbits in semisimple Lie algebras, Cor. 7.2.4.

  • $\begingroup$ @ abx , thanks for the quick answer and the reference. In fact $d(A)=n^2-dim(C(A))$ where $C(A)$ is the commutant of $A$. The reason is because $\sum {r'_i}^2=dim(C(A))$ or because $dim({X∈SLn(K)|XA=AX})=dim(C(A))-1$. $\endgroup$ – loup blanc Aug 22 '14 at 13:16

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.