The fibres of (trace, determinant) on 2×2 matrices
Statement
Consider . For describe the fibre geometrically and its decomposition into conjugacy classes (under ).
Hint
Use the coordinates , , , , in which .
Show solutionHide solution
Solution
The fibre. Fix and , and put . In the coordinates the fibre is the quadric
Case (two distinct real eigenvalues). is a one-sheeted hyperboloid, connected. All such matrices are diagonalisable with the same eigenvalues , hence all conjugate: the fibre is a single conjugacy class.
Case (complex conjugate eigenvalues). : a two-sheeted hyperboloid, with two components and . Over , all matrices with the same non-real eigenvalues are similar (rational canonical form), so the fibre is one -orbit. It is disconnected: conjugation by (determinant ) sends , hence , swapping the two sheets. Under the connected subgroup each sheet is an orbit.
Case (double eigenvalue ). : a double cone. The apex is the scalar matrix , a one-point conjugacy class. The rest, the cone minus the apex (two nappes, and ), consists of the matrices with nilpotent. All nonzero nilpotent matrices are similar to , so this is a single -orbit (again with two components, swapped by ).
Summary. Each fibre with is one conjugacy class, and the fibre with consists of two: the scalar matrix and the non-diagonalisable matrices.
Check. , , : has , , : on the cone. The identity has : the apex.
Remark. The orbit space is *not* the plane of : the quotient is non-Hausdorff along the parabola (the apex and the cone minus apex cannot be separated), while the map identifies them.