Maths WorkshopMaths problems with full solutions
Exercise 2066Topology › Topology of Mn(ℝ) › Applications and the case n = 2M1Added 10 Nov 2026

The orbit of a regular nilpotent matrix is connected iff n is odd

#nilpotent matrices#conjugacy orbits#cyclic vectors#connected components

Statement

Let n≥1n\ge1 and let N=Jn(0)N=J_n(0) be the nilpotent Jordan block, Nek=ek+1Ne_k=e_{k+1} for k<nk<n, Nen=0Ne_n=0. Let ON={PNP−1:P∈GLn(R)}\mathcal O_N=\{PNP^{-1}:P\in GL_n(\mathbb{R})\} be its conjugacy class. Show that ON\mathcal O_N is connected if nn is odd, and has exactly two connected components if nn is even. (You may use that GLn(R)GL_n(\mathbb{R}) has exactly two components GLn±={±det⁡>0}GL_n^\pm=\{\pm\det>0\}.)

Hint

For nn odd, compare PP with −P-P. For nn even, associate to each A∈ONA\in\mathcal O_N the sign of det⁡[v,Av,…,An−1v]\det[v,Av,\dots,A^{n-1}v] for a vector vv with An−1v≠0A^{n-1}v\ne0, and check that this sign does not depend on vv precisely because nn is even.

Show solutionHide solution

Solution

Idea. The class ON\mathcal O_N is the image of GLn(R)GL_n(\mathbb{R}) under P↦PNP−1P\mapsto PNP^{-1}. It is connected as soon as PP and some P′P' of the opposite determinant sign give the same matrix. This happens for odd nn (P′=−PP'=-P), and fails for even nn.

Step 0: description of the orbit. ON={A:An=0, An−1≠0}\mathcal O_N=\{A:A^n=0,\ A^{n-1}\ne0\}. Indeed, such an AA has a vector uu with An−1u≠0A^{n-1}u\ne0; then u,Au,…,An−1uu,Au,\dots,A^{n-1}u are linearly independent (if ∑ckAku=0\sum c_kA^ku=0 with cjc_j the first nonzero coefficient, apply An−1−jA^{n-1-j} to get cjAn−1u=0c_jA^{n-1}u=0), so they form a basis in which AA acts as NN. With P=[u,Au,…,An−1u]P=[u,Au,\dots,A^{n-1}u] we get A=PNP−1A=PNP^{-1}.

Step 1: nn odd. For P∈GLn−P\in GL_n^-, the matrix −P-P has det⁡(−P)=(−1)ndet⁡P>0\det(-P)=(-1)^n\det P>0 and (−P)N(−P)−1=PNP−1(-P)N(-P)^{-1}=PNP^{-1}. So ON={PNP−1:P∈GLn+}\mathcal O_N=\{PNP^{-1}:P\in GL_n^+\}, the continuous image of the connected set GLn+GL_n^+. Hence ON\mathcal O_N is connected.

Step 2: nn even the invariant. Call v∈Rnv\in\mathbb{R}^n *cyclic for AA* if An−1v≠0A^{n-1}v\ne0; by Step 0, then Kv(A)=[v,Av,…,An−1v]K_v(A)=[v,Av,\dots,A^{n-1}v] is invertible. Put ε(A)=sign⁡det⁡Kv(A)\varepsilon(A)=\operatorname{sign}\det K_v(A).

*Independence of vv.* Let v,v′v,v' be cyclic for AA. Since Kv(A)K_v(A) is a basis, v′=q(A)vv'=q(A)v for a polynomial q(t)=c0+c1t+⋯+cn−1tn−1q(t)=c_0+c_1t+\dots+c_{n-1}t^{n-1}. Then Akv′=q(A)AkvA^kv'=q(A)A^kv, so Kv′(A)=q(A)Kv(A)K_{v'}(A)=q(A)K_v(A) and
det⁡Kv′(A)=det⁡q(A)⋅det⁡Kv(A).\det K_{v'}(A)=\det q(A)\cdot\det K_v(A).
Because AA is nilpotent, q(A)=c0I+(nilpotent)q(A)=c_0I+(\text{nilpotent}), which has the single eigenvalue c0c_0, so det⁡q(A)=c0n\det q(A)=c_0^n. As q(A)q(A) is invertible (Kv′K_{v'} is), c0≠0c_0\ne0, and since nn is even c0n>0c_0^n>0. So the sign is the same for vv and v′v'. (For odd nn this argument breaks down: c0nc_0^n can be negative.)

Step 3: ε\varepsilon is continuous on ON\mathcal O_N. Let A0∈ONA_0\in\mathcal O_N and let vv be cyclic for A0A_0. The entries of Kv(A)K_v(A) are polynomial in AA, so det⁡Kv(A)≠0\det K_v(A)\ne0, with the same sign as at A0A_0, for all AA in a neighbourhood UU of A0A_0. For A∈U∩ONA\in U\cap\mathcal O_N this says that vv is cyclic for AA and ε(A)=sign⁡det⁡Kv(A)=ε(A0)\varepsilon(A)=\operatorname{sign}\det K_v(A)=\varepsilon(A_0). So ε\varepsilon is locally constant.

Step 4: the two components. For A=PNP−1A=PNP^{-1} take v=Pe1v=Pe_1: then Akv=PNke1=Pek+1A^kv=PN^ke_1=Pe_{k+1} and Kv(A)=PK_v(A)=P. So ε(PNP−1)=sign⁡det⁡P\varepsilon(PNP^{-1})=\operatorname{sign}\det P, and
O±={PNP−1:±det⁡P>0}=ε−1(±1).\mathcal O^\pm=\{PNP^{-1}:\pm\det P>0\}=\varepsilon^{-1}(\pm1).
Both are nonempty, each is the continuous image of the connected set GLn±GL_n^\pm, hence connected, and they are open and closed in ON\mathcal O_N because ε\varepsilon is continuous. So ON\mathcal O_N has exactly two components.

Check. n=2n=2: ON\mathcal O_N is the set of nonzero nilpotent matrices of M2(R)M_2(\mathbb{R}), which indeed has two components (the two nappes of the cone {A2=0}∖{0}\{A^2=0\}\setminus\{0\}). n=1n=1: ON={0}\mathcal O_N=\{0\}, connected. A numerical experiment with random PP (n=4,6n=4,6) shows sign⁡det⁡Kv(PNP−1)⋅sign⁡det⁡P=+1\operatorname{sign}\det K_v(PNP^{-1})\cdot\operatorname{sign}\det P=+1 for random cyclic vv; for n=3,5n=3,5 both signs occur.

Remark. In group-theoretic terms, ON≅GLn/C(N)\mathcal O_N\cong GL_n/C(N) where the centraliser is C(N)={a0I+a1N+⋯+an−1Nn−1:a0≠0}C(N)=\{a_0I+a_1N+\dots+a_{n-1}N^{n-1}:a_0\ne0\} with det⁡=a0n\det=a_0^n. If nn is odd, C(N)C(N) meets GLn−GL_n^- (take −I-I) and the quotient is connected; if nn is even C(N)⊂GLn+C(N)\subset GL_n^+ and the orbit inherits two components.

Lesson. Whether a conjugacy orbit is connected is decided by whether the centraliser meets the non-identity component of GLn(R)GL_n(\mathbb{R}).