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

Nilpotent matrices and idempotents of fixed rank

#nilpotent matrices#idempotents#conjugacy orbits#projections

Statement

Show that:
1. the set of nilpotent matrices is path connected;
2. for 0<k<n0<k<n, the set Pk={P∈Mn(R):P2=P, rank⁡P=k}\mathcal{P}_k=\{P\in M_n(\mathbb{R}):P^2=P,\ \operatorname{rank}P=k\} is path connected.

You may use that GLn+(R)GL_n^+(\mathbb{R}) is path connected.

Hint

For part 2, every idempotent of rank kk is conjugate to Ek=diag⁡(Ik,0)E_k=\operatorname{diag}(I_k,0). The reflection diag⁡(−1,1,…,1)\operatorname{diag}(-1,1,\dots,1) commutes with EkE_k.

Show solutionHide solution

Solution

1. Nilpotent matrices. Done in Problem 3: (tA)m=tmAm=0(tA)^m=t^mA^m=0 when Am=0A^m=0, so t↦tAt\mapsto tA joins AA to 00.

2. Idempotents of rank kk.

*Step 1: conjugacy.* If P2=PP^2=P then Rn=Im⁡P⊕ker⁡P\mathbb{R}^n=\operatorname{Im}P\oplus\ker P (every x=Px+(x−Px)x=Px+(x-Px), and PP is the identity on Im⁡P\operatorname{Im}P). In a basis adapted to this decomposition, PP becomes Ek=diag⁡(Ik,0)E_k=\operatorname{diag}(I_k,0) with k=rank⁡Pk=\operatorname{rank}P. So
Pk={QEkQ−1:Q∈GLn(R)}.\mathcal{P}_k=\{QE_kQ^{-1}:Q\in GL_n(\mathbb{R})\}.

*Step 2: we may take det⁡Q>0\det Q>0.* Let D=diag⁡(−1,1,…,1)D=\operatorname{diag}(-1,1,\dots,1). It is diagonal, so DEk=EkDDE_k=E_kD. If det⁡Q<0\det Q<0, put Q′=QDQ'=QD. Then det⁡Q′>0\det Q'>0 and
Q′EkQ′−1=QDEkD−1Q−1=QEkQ−1.Q'E_kQ'^{-1}=QDE_kD^{-1}Q^{-1}=QE_kQ^{-1}.
So Pk={QEkQ−1:Q∈GLn+(R)}\mathcal{P}_k=\{QE_kQ^{-1}:Q\in GL_n^+(\mathbb{R})\}.

*Step 3.* The map GLn+→MnGL_n^+\to M_n, Q↦QEkQ−1Q\mapsto QE_kQ^{-1} is continuous (the inverse is a rational function of the entries with non-vanishing denominator det⁡Q\det Q). Its image is Pk\mathcal{P}_k, so Pk\mathcal{P}_k is the continuous image of a path connected set, hence path connected.

Remark. Why is 0<k<n0<k<n needed? For k=0k=0 and k=nk=n the set is a single point ({0}\{0\} or {I}\{I\}), trivially connected. The role of DD in step 2 is the crucial subtlety: without a negative-determinant matrix in the centraliser of EkE_k, an orbit of GLnGL_n would split in two (see the case of JJ in Problem 29).