Maths WorkshopMaths problems with full solutions
Exercise 2057Topology › Topology of Mn(ℝ) › ConnectednessL3Added 7 Nov 2026

Connectedness of conjugacy orbits

#conjugacy orbits#centraliser#group action#rotation matrix

Statement

Let A∈Mn(R)A\in M_n(\mathbb{R}) and let C(A)={Z∈GLn(R):ZA=AZ}C(A)=\{Z\in GL_n(\mathbb{R}):ZA=AZ\} be its centraliser. The conjugacy orbit of AA is O(A)={PAP−1:P∈GLn(R)}\mathcal{O}(A)=\{PAP^{-1}:P\in GL_n(\mathbb{R})\}.

  1. Show that if C(A)C(A) contains a matrix of negative determinant, then O(A)\mathcal{O}(A) is path connected.
  2. For J=(0−110)J=\begin{pmatrix}0&-1\\1&0\end{pmatrix} show that O(J)\mathcal{O}(J) has exactly two components.
Hint

The orbit is the image of GLn(R)GL_n(\mathbb{R}) under P↦PAP−1P\mapsto PAP^{-1}. In part 2 compute the lower-left entry of PJP−1PJP^{-1}.

Show solutionHide solution

Solution

1. A centraliser element of negative determinant. Let Z∈C(A)Z\in C(A) with det⁡Z<0\det Z<0 and P∈GLn(R)P\in GL_n(\mathbb{R}) with det⁡P<0\det P<0. Then det⁡(PZ)>0\det(PZ)>0 and
(PZ)A(PZ)−1=PZAZ−1P−1=PAP−1,(PZ)A(PZ)^{-1}=PZAZ^{-1}P^{-1}=PAP^{-1},
because ZAZ−1=AZAZ^{-1}=A. So every element of O(A)\mathcal{O}(A) can be written QAQ−1QAQ^{-1} with det⁡Q>0\det Q>0, i.e.
O(A)={QAQ−1:Q∈GLn+(R)}.\mathcal{O}(A)=\{QAQ^{-1}:Q\in GL_n^+(\mathbb{R})\}.
The map Q↦QAQ−1Q\mapsto QAQ^{-1} is continuous on GLn+GL_n^+ (the inverse is a rational function of the entries with denominator det⁡Q\det Q), and GLn+GL_n^+ is path connected (Problem 8). Hence O(A)\mathcal{O}(A) is path connected.

2. The orbit of JJ.

*Centraliser.* A matrix Z=(pqrs)Z=\begin{pmatrix}p&q\\r&s\end{pmatrix} commutes with JJ iff ZJ=JZZJ=JZ, which gives s=ps=p and r=−qr=-q: Z=pI+(−q)JZ=pI+(-q)J... precisely Z=(pq−qp)Z=\begin{pmatrix}p&q\\-q&p\end{pmatrix}, with det⁡Z=p2+q2>0\det Z=p^2+q^2>0. So *every* element of C(J)C(J) has positive determinant, and part 1 does not apply.

*Lower-left entry.* For P=(pqrs)∈GL2P=\begin{pmatrix}p&q\\r&s\end{pmatrix}\in GL_2, a direct computation gives
PJP−1=1det⁡P(pr+qs−(p2+q2)r2+s2−(pr+qs)).PJP^{-1}=\frac1{\det P}\begin{pmatrix}pr+qs&-(p^2+q^2)\\ r^2+s^2&-(pr+qs)\end{pmatrix}.
So the lower-left entry of PJP−1PJP^{-1} is r2+s2det⁡P\dfrac{r^2+s^2}{\det P}, which has the sign of det⁡P\det P (as r2+s2>0r^2+s^2>0 for an invertible matrix).

*Conclusion.* The continuous function "lower-left entry" takes positive values on {PJP−1:det⁡P>0}\{PJP^{-1}:\det P>0\} and negative values on {PJP−1:det⁡P<0}\{PJP^{-1}:\det P<0\}, both non-empty. So O(J)\mathcal{O}(J) is the disjoint union of two non-empty open (relatively) sets {c>0}\{c>0\}, {c<0}\{c<0\}. Each is connected (image of GL2+GL_2^+, resp. GL2−=D⋅GL2+GL_2^-=D\cdot GL_2^+). Hence O(J)\mathcal{O}(J) has exactly two components. (This matches Problem 28, since O(J)={A:A2=−I}\mathcal{O}(J)=\{A:A^2=-I\}: any real 2×22\times2 matrix with A2=−IA^2=-I is conjugate to JJ.)

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* GLn+GL_n^+ is connected, and the orbit of GLn−GL_n^- is its mirror image; the orbit is connected exactly when these two images overlap.

Note. The source solution calls the orbit "{A:A2=−I}\{A:A^2=-I\} with two components (previous problem)"; the explicit formula for PJP−1PJP^{-1} above proves both the identification of the components with the orientation sign⁡det⁡P\operatorname{sign}\det P and that conjugating by an orientation-reversing PP really changes the component.