The nilpotent cone is closed but not compact
Statement
With as in the previous problem, show that the fibre is exactly the set of nilpotent matrices ("nilpotent cone"), that it is closed, and that it is unbounded for .
Hint
Use the Cayley-Hamilton theorem in one direction and the eigenvalues in the other.
For unboundedness look at and a single nonzero entry above the diagonal.
Show solutionHide solution
Solution
Idea. Characteristic polynomial means that all complex eigenvalues are , which is the same as nilpotency.
Step 1: nilpotent. By the Cayley-Hamilton theorem, , i.e. .
Step 2: nilpotent . If and with (), then gives . So all complex roots of vanish and, being monic of degree , .
Step 3: closed. is the preimage of a point under a continuous map (Problem 76), hence closed. Equivalently is the zero set of polynomial maps.
Step 4: unbounded. For let
Then , so , and (it maps and kills the other basis vectors). Letting shows is unbounded; hence it is not compact, although it is closed.
Remark. The nilpotent cone is a *cone*: for all if . It has empty interior (Part 2) and is singular at . For the fibre is (a point), which explains the hypothesis .