Connectedness of conjugacy orbits
Statement
Let and let be its centraliser. The conjugacy orbit of is .
- Show that if contains a matrix of negative determinant, then is path connected.
- For show that has exactly two components.
Hint
The orbit is the image of under . In part 2 compute the lower-left entry of .
Show solutionHide solution
Solution
1. A centraliser element of negative determinant. Let with and with . Then and
because . So every element of can be written with , i.e.
The map is continuous on (the inverse is a rational function of the entries with denominator ), and is path connected (Problem 8). Hence is path connected.
2. The orbit of .
*Centraliser.* A matrix commutes with iff , which gives and : ... precisely , with . So *every* element of has positive determinant, and part 1 does not apply.
*Lower-left entry.* For , a direct computation gives
So the lower-left entry of is , which has the sign of (as for an invertible matrix).
*Conclusion.* The continuous function "lower-left entry" takes positive values on and negative values on , both non-empty. So is the disjoint union of two non-empty open (relatively) sets , . Each is connected (image of , resp. ). Hence has exactly two components. (This matches Problem 28, since : any real matrix with is conjugate to .)
Remark. The criterion in part 1 is sufficient but not necessary for connectedness of an orbit. It captures the intuition that an orbit of the *connected-component group* is connected, and the orbit of is its mirror image; the orbit is connected exactly when these two images overlap.
Note. The source solution calls the orbit " with two components (previous problem)"; the explicit formula for above proves both the identification of the components with the orientation and that conjugating by an orientation-reversing really changes the component.