Maths WorkshopMaths problems with full solutions
Exercise 1378Topology › Topology of Mn(ℝ) › Exponential, logarithm and group topologyL3Added 6 Nov 2026

Nilpotent matrices and unipotent matrices

#nilpotent#unipotent#polynomial inverse#exponential

Statement

Let N={N∈Mn(R):Nn=0}\mathcal{N}=\{N\in M_n(\mathbb{R}):N^n=0\} be the nilpotent cone and U={I+N:N∈N}\mathcal{U}=\{I+N:N\in\mathcal{N}\} the set of unipotent matrices. Show that exp⁡:N→U\exp:\mathcal{N}\to\mathcal{U} is a homeomorphism whose inverse is given by a polynomial map.

Hint

For nilpotent NN both series are finite sums. Check that exp⁡(N)\exp(N) is unipotent and log⁡(I+N)\log(I+N) is nilpotent.

Show solutionHide solution

Solution

Finite sums. If Nn=0N^n=0 then Nk=0N^k=0 for all k≥nk\ge n, so
eN=∑k=0n−1Nkk!,log⁡(I+N)=∑k=1n−1(−1)k+1kNk.e^N=\sum_{k=0}^{n-1}\frac{N^k}{k!},\qquad\log(I+N)=\sum_{k=1}^{n-1}\frac{(-1)^{k+1}}kN^k.
Both are polynomials in NN (of degree <n<n), with fixed rational coefficients, so as maps of the entries of NN they are polynomial, hence continuous.

Images. eN−I=N(I+N2+⋯ )=N⋅P(N)e^N-I=N\bigl(I+\frac N2+\cdots\bigr)=N\cdot P(N) where P(N)P(N) commutes with NN, so (eN−I)n=NnP(N)n=0(e^N-I)^n=N^nP(N)^n=0: eN∈Ue^N\in\mathcal{U}. Similarly log⁡(I+N)=N⋅Q(N)\log(I+N)=N\cdot Q(N) is nilpotent (NN and Q(N)Q(N) commute). So exp⁡:N→U\exp:\mathcal{N}\to\mathcal{U} and log⁡:U→N\log:\mathcal{U}\to\mathcal{N} are well defined.

Mutually inverse. The formal identities exp⁡(log⁡(1+x))=1+x\exp(\log(1+x))=1+x and log⁡(exp⁡x)=x\log(\exp x)=x hold in Q[[x]]\mathbb{Q}[[x]]. Substituting a nilpotent NN with Nn=0N^n=0 amounts to working modulo xnx^n (a finite computation), so the identities hold for NN:
elog⁡(I+N)=I+N,log⁡(eN)=N.e^{\log(I+N)}=I+N,\qquad\log(e^N)=N.

Conclusion. Both exp⁡∣N\exp|_{\mathcal{N}} and log⁡∣U\log|_{\mathcal{U}} are polynomial in the entries, inverse to each other. So exp⁡\exp is a homeomorphism (indeed a polynomial bijection with polynomial inverse).

Example. For N=(0a00)N=\begin{pmatrix}0&a\\0&0\end{pmatrix}: eN=(1a01)e^N=\begin{pmatrix}1&a\\0&1\end{pmatrix} and log⁡(1a01)=N\log\begin{pmatrix}1&a\\0&1\end{pmatrix}=N.

Remark. This fails for non-unipotent matrices, where log⁡\log is only defined locally (see the previous problem) and exp⁡\exp is not even injective.