Semicontinuity of the minimal polynomial degree and of the centraliser
Statement
For let be its minimal polynomial and its centraliser. Show that is lower semicontinuous and is upper semicontinuous.
Hint
iff are linearly independent. And with .
Show solutionHide solution
Solution
Degree of . The degree of is the smallest such that is a combination of . So iff are linearly independent, i.e. the matrix whose columns are the vectorised powers has rank . This means that some minor of is nonzero. Each such minor is a polynomial in the entries of , hence continuous, so
is open. A function with open for each is lower semicontinuous: .
Centraliser. The map , , is linear in and its matrix (in the standard basis of ) depends linearly on (it is up to conventions). Rank is lower semicontinuous (same argument with minors: is open), so near we have . By rank-nullity,
So is upper semicontinuous.
Example. : (minimal possible) and (maximal). Near , nearby generic matrices have and : degrees jump *up* and centraliser dimensions jump *down* off the special matrices.
Remark. Always , with equality iff is *non-derogatory* (, i.e. ), which is an open dense condition.