Maths WorkshopMaths problems with full solutions
Exercise 1387Topology › Topology of Mn(ℝ) › Rank, spectrum and normsL3Added 6 Nov 2026

Semicontinuity of the minimal polynomial degree and of the centraliser

#lower semicontinuity#minimal polynomial#centraliser#rank

Statement

For A∈Mn(R)A\in M_n(\mathbb{R}) let μA\mu_A be its minimal polynomial and C(A)={X:AX=XA}C(A)=\{X:AX=XA\} its centraliser. Show that A↦deg⁡μAA\mapsto\deg\mu_A is lower semicontinuous and A↦dim⁡C(A)A\mapsto\dim C(A) is upper semicontinuous.

Hint

deg⁡μA≥k\deg\mu_A\ge k iff I,A,…,Ak−1I,A,\dots,A^{k-1} are linearly independent. And C(A)=ker⁡(ad⁡A)C(A)=\ker(\operatorname{ad}_A) with ad⁡A(X)=AX−XA\operatorname{ad}_A(X)=AX-XA.

Show solutionHide solution

Solution

Degree of μA\mu_A. The degree of μA\mu_A is the smallest dd such that AdA^d is a combination of I,…,Ad−1I,\dots,A^{d-1}. So deg⁡μA≥k\deg\mu_A\ge k iff I,A,…,Ak−1I,A,\dots,A^{k-1} are linearly independent, i.e. the n2×kn^2\times k matrix Mk(A)M_k(A) whose columns are the vectorised powers has rank kk. This means that some k×kk\times k minor of Mk(A)M_k(A) is nonzero. Each such minor is a polynomial in the entries of AA, hence continuous, so
{A:deg⁡μA≥k}=⋃minors{m(A)≠0}\{A:\deg\mu_A\ge k\}=\bigcup_{\text{minors}}\{m(A)\ne0\}
is open. A function ff with {f≥k}\{f\ge k\} open for each kk is lower semicontinuous: lim inf⁡B→Af(B)≥f(A)\liminf_{B\to A}f(B)\ge f(A).

Centraliser. The map ad⁡A:Mn→Mn\operatorname{ad}_A:M_n\to M_n, X↦AX−XAX\mapsto AX-XA, is linear in XX and its matrix (in the standard basis of MnM_n) depends linearly on AA (it is I⊗A−AT⊗II\otimes A-A^T\otimes I up to conventions). Rank is lower semicontinuous (same argument with minors: rank⁡≥r\operatorname{rank}\ge r is open), so near AA we have rank⁡ad⁡B≥rank⁡ad⁡A\operatorname{rank}\operatorname{ad}_B\ge\operatorname{rank}\operatorname{ad}_A. By rank-nullity,
dim⁡C(B)=n2−rank⁡ad⁡B≤n2−rank⁡ad⁡A=dim⁡C(A).\dim C(B)=n^2-\operatorname{rank}\operatorname{ad}_B\le n^2-\operatorname{rank}\operatorname{ad}_A=\dim C(A).
So dim⁡C\dim C is upper semicontinuous.

Example. A=0A=0: deg⁡μA=1\deg\mu_A=1 (minimal possible) and dim⁡C(A)=n2\dim C(A)=n^2 (maximal). Near 00, nearby generic matrices have deg⁡μ=n\deg\mu=n and dim⁡C=n\dim C=n: degrees jump *up* and centraliser dimensions jump *down* off the special matrices.

Remark. Always dim⁡C(A)≥n\dim C(A)\ge n, with equality iff AA is *non-derogatory* (deg⁡μA=n\deg\mu_A=n, i.e. μA=χA\mu_A=\chi_A), which is an open dense condition.