Welcome to MathOverflow

Question

1

I asked this question in http://math.stackexchange.com/posts/204115/edit but remains unanswered.

For any matrix $A\in M_n(\mathbb F)$, where $\mathbb F$ is an algebraically closed field, there is a matrix $S\in M_n(\mathbb F)$ such that

$$SAS^{-1}=D+N,$$ where $D$ is diagonal and $N$ nilpotent. Moreover, this decomposition is unique.

Suppose now that $A\in M_n(\mathbb K)$, but $\mathbb K$ is not necessarily algebraically closed. It is also true that there is a matrix $L\in M_n(\mathbb K)$ such that

$$LAL^{-1}=R+M,$$

where $M$ is nilpotent and $R$ is diagonalizable in the algebraic closure of $\mathbb K$? Moreover when we consider the decomposition in $\mathbb K$ and in the algebraic closure of $\mathbb K$ the nilpotent part is the same?

flag	asked Sep 29 at 11:56 Miguel 325●1●4

1

Also $L$ is redundant. You may take $L=E$ (the identity matrix). – Anton Klyachko Sep 29 at 12:24

1

There is no uniqueness if you don't require that the two matrices in the decomposition commute. – BS Sep 30 at 10:00

Laurent Berger · Accepted Answer · 2012-09-29 15:17:44Z UTC

5

You don't need to conjugate if you want $R$ to be diagonalizable (as opposed to diagonal).
I assume you want $R$ and $M$ to have coefficients in $K$, otherwise just work in the algebraic closure.
The statement is then true if $K$ is perfect and possibly false otherwise, as you can see by taking $A=[[0, 1], [t, 0]]$ in $K=F_2(t)$.

EDIT : see http://en.wikipedia.org/wiki/Jordan%E2%80%93Chevalley_decomposition

edited Sep 29 at 15:17

answered Sep 29 at 14:27

Laurent Berger
4,134●1●13●26

We should demand that $R$ and $M$ commute. – Anton Klyachko Sep 29 at 15:58

1

The example in #3 (which readily adapts to any imperfect field $k$ using the $k$-linear multiplication by $a^{1/p}$ on $V = k(a^{1/p})$) isn't an entirely satisfactory counterexample because it is semisimple over $k$ (though not "geometrically semisimple"; i.e., not diagonalizable over $\overline{k}$). The Wikipedia entry has now been updated to give an example over any imperfect field $k$ in which the operator isn't a sum of two commuting $k$-linear operators that are respectively semisimple (just over $k$!) and nilpotent. – grp Oct 1 at 11:23

Jim Humphreys · Answer 2 · 2012-09-30 15:38:58Z UTC

To amplify the points made by Laurent Berger, the literature I've seen (dating from around 1950) always specifies perfect fields; so I believe it was understood very early that Jordan-type decomposition breaks down for imperfect fields. I'm not sure whether this is discussed in the modern textbooks on theoretical linear algebra such as those by Curtis and Hoffman-Kunze. (In basic linear algebra it's rare to mention imperfect fields, though this becomes a real issue in Lie theory.)

Beyond the Jordan normal form for a matrix (originally developed over a field of characteristic 0 containing all the eigenvalues), the work of Chevalley has been essential for the more flexible notion of "Jordan decomposition" and related matrix polynomials over a perfect field not containing the eigenvalues. Of course he was motivated especially by the theory of linear algebraic groups, but even for computational linear algebra his viewpoint is historically important and justifies the term Jordan-Chevalley decomposition Much of the history has been written down in a joint paper by Danielle Couty and colleagues: see the arXiv preprint here.

Decomposition of Matrices in Semisimple and Nilpotent Parts

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.