Nilpotent matrices and unipotent matrices
Statement
Let be the nilpotent cone and the set of unipotent matrices. Show that is a homeomorphism whose inverse is given by a polynomial map.
Hint
For nilpotent both series are finite sums. Check that is unipotent and is nilpotent.
Show solutionHide solution
Solution
Finite sums. If then for all , so
Both are polynomials in (of degree ), with fixed rational coefficients, so as maps of the entries of they are polynomial, hence continuous.
Images. where commutes with , so : . Similarly is nilpotent ( and commute). So and are well defined.
Mutually inverse. The formal identities and hold in . Substituting a nilpotent with amounts to working modulo (a finite computation), so the identities hold for :
Conclusion. Both and are polynomial in the entries, inverse to each other. So is a homeomorphism (indeed a polynomial bijection with polynomial inverse).
Example. For : and .
Remark. This fails for non-unipotent matrices, where is only defined locally (see the previous problem) and is not even injective.