Maths WorkshopMaths problems with full solutions
Exercise 2012Topology › Topology of Mn(ℝ) › Density and closuresM1Added 6 Nov 2026

The regular nilpotent orbit is dense in the nilpotent cone

#nilpotent matrices#Jordan form#orbit closure

Statement

Let Nn={N∈Mn(R):Nn=0}\mathcal{N}_n=\{N\in M_n(\mathbb{R}):N^n=0\} be the nilpotent cone and Jn(0)J_n(0) the regular nilpotent Jordan block (ones on the superdiagonal). Show that the orbit of Jn(0)J_n(0) is dense in Nn\mathcal{N}_n.

Hint

Take a nilpotent matrix in Jordan form with several blocks, and put small nonzero entries on the superdiagonal positions that link consecutive blocks.

Show solutionHide solution

Solution

Step 1: reduction to Jordan forms. The closure O‾\overline{\mathcal{O}} of the orbit O=O(Jn(0))\mathcal{O}=\mathcal{O}(J_n(0)) is invariant under conjugation: if Mk→MM_k\to M with Mk∈OM_k\in\mathcal{O} then PMkP−1→PMP−1PM_kP^{-1}\to PMP^{-1} and PMkP−1∈OPM_kP^{-1}\in\mathcal{O}. Every N∈NnN\in\mathcal{N}_n is conjugate to a Jordan form Jλ=diag⁡(Jλ1(0),…,Jλr(0))J_\lambda=\operatorname{diag}\bigl(J_{\lambda_1}(0),\dots,J_{\lambda_r}(0)\bigr) with λ1+⋯+λr=n\lambda_1+\dots+\lambda_r=n. So it suffices to show Jλ∈O‾J_\lambda\in\overline{\mathcal{O}} for every such λ\lambda.

Step 2: perturbing a Jordan form. JλJ_\lambda has ones in the superdiagonal positions (i,i+1)(i,i+1) except at the r−1r-1 positions between consecutive blocks, where it has zeros. For ε>0\varepsilon>0 let Jλ(ε)J_\lambda(\varepsilon) be obtained by putting ε\varepsilon at those r−1r-1 positions. Then Jλ(ε)→JλJ_\lambda(\varepsilon)\to J_\lambda as ε→0\varepsilon\to0.

Step 3: Jλ(ε)∈OJ_\lambda(\varepsilon)\in\mathcal{O}. M=Jλ(ε)M=J_\lambda(\varepsilon) is strictly upper triangular, so nilpotent, and all n−1n-1 entries mi,i+1m_{i,i+1} are nonzero. The (1,n)(1,n) entry of Mn−1M^{n-1} is ∏i=1n−1mi,i+1≠0\prod_{i=1}^{n-1}m_{i,i+1}\ne0 (only the path 1→2→⋯→n1\to2\to\dots\to n contributes in a strictly upper triangular product), so Mn−1≠0M^{n-1}\ne0. A nilpotent matrix with Mn−1≠0M^{n-1}\ne0 has a single Jordan block of size nn, so MM is conjugate to Jn(0)J_n(0).

Conclusion. JλJ_\lambda is a limit of elements of O\mathcal{O}, hence in O‾\overline{\mathcal{O}}; by Step 1, Nn⊆O‾\mathcal{N}_n\subseteq\overline{\mathcal{O}}. Since O⊆Nn\mathcal{O}\subseteq\mathcal{N}_n and Nn\mathcal{N}_n is closed, O‾=Nn\overline{\mathcal{O}}=\mathcal{N}_n.

Remark. Thus the nilpotent cone is the closure of a single orbit (the "regular" one), and all other nilpotent orbits lie in the boundary. Lesson. Perturb a Jordan form by linking blocks to increase the size of the largest block.