The quotient of M_n(R) by conjugation is not Hausdorff
Statement
Let act on by conjugation and give the orbit space the quotient topology. Show that for it is not Hausdorff, and not even .
Hint
Compare the orbit of the identity with the orbit of the Jordan block . The matrices tend to as but are all conjugate to for .
Show solutionHide solution
Solution
Idea. The orbit of the Jordan block is not closed: its closure contains the orbit of the identity. In the quotient, any neighbourhood of then contains .
Step 1: is conjugate to . For , let . Then
(Check in the block: .) Also as , and (and is not conjugate to , since ).
Step 2: neighbourhoods of contain . Let be the quotient map and an open set of the quotient containing . Then is open, contains , and is a union of orbits. As , for small ; since is conjugate to and is a union of orbits, , i.e. .
Step 3: conclusion. Every open neighbourhood of contains the different point . So no open sets separate and (not Hausdorff), and there is no neighbourhood of missing (not : the point is not closed, because every neighbourhood of meets ).
Remark. The quotient is well behaved on the open set of matrices with distinct real eigenvalues, where conjugacy classes are classified by the eigenvalues (and are closed). The "bad" behaviour comes from non-diagonalisable matrices: the closure of a conjugacy class contains matrices with the same characteristic polynomial but "more diagonal" Jordan form.
Lesson. Closures of orbits that are not closed destroy separation axioms in the quotient.