Orbits of non-diagonalisable matrices are not closed
Statement
Show that if is not diagonalisable over , then its conjugacy orbit is not closed in .
Hint
Put in real Jordan form ( semisimple, nilpotent commuting with ) and conjugate by a diagonal matrix that multiplies by without changing .
Show solutionHide solution
Solution
Real Jordan form. Over , is similar to a block-diagonal matrix whose blocks are:
- for a real eigenvalue : the Jordan block , with having ones on the superdiagonal;
- for a pair of complex eigenvalues : the block built from on the diagonal and on the block superdiagonal.
So with block diagonal (the diagonal parts), the "superdiagonal-of-blocks" part, and . Since is not diagonalisable over , some Jordan block has size , so .
Rescaling. Index the diagonal positions of each Jordan block by (for a complex pair, each index stands for a block) and let be the block diagonal matrix with scalar block in position of each Jordan block. Then
- , because inside each position is a scalar or a block , and acts there as a scalar;
- an entry of linking position to position is multiplied by : .
Hence as .
Conclusion. . But is diagonalisable over while is not, so is not similar to : . Thus is not closed.
Check. For : , , and the limit is , matching the previous problem.
Remark. The converse of this result is true: orbits of matrices diagonalisable over are closed (the characterisation with the squarefree polynomial vanishing at the distinct eigenvalues, now over ). Lesson. Jordan blocks are "unstable": the nilpotent part can be shrunk to zero by conjugation.