The nonzero nilpotents of M_2(R) form two components
Statement
Identify with and write as , with , for (so , ). Show that the set of nonzero nilpotent matrices of has exactly two connected components, each homeomorphic to .
Hint
A matrix is nilpotent iff . Translate this into and .
Show solutionHide solution
Solution
Idea. The two equations leave only a "cone" in ; removing the vertex separates the cone into two nappes, distinguished by the sign of .
Step 1: nilpotent iff . If is nilpotent, all its eigenvalues vanish, so , i.e. . Conversely, if , Cayley-Hamilton gives .
Step 2: coordinates. The two equations become and . Write with ; then . The matrix is nonzero iff iff (if then and ).
Step 3: structure. So
The map is continuous with continuous inverse . Thus
Step 4: components. Each piece is a product of connected spaces, hence connected. The sign of is a continuous function on taking the two values , so the two pieces are open and closed in . Hence they are exactly the connected components.
Check. has , , so , : and . The matrix has , : , on the other component.
Remark. Including , the set is a double cone over a circle in a 3-dimensional subspace; it is connected (through its vertex ), and removing the vertex disconnects it. For the situation is different: the nonzero nilpotent cone of is connected (it is star-shaped about and can be approached through other orbits).
Lesson. A cone minus its vertex can be disconnected; a continuous sign function (here ) is the tool to prove disconnection.