The orbit of a regular nilpotent matrix is connected iff n is odd
Statement
Let and let be the nilpotent Jordan block, for , . Let be its conjugacy class. Show that is connected if is odd, and has exactly two connected components if is even. (You may use that has exactly two components .)
Hint
For odd, compare with . For even, associate to each the sign of for a vector with , and check that this sign does not depend on precisely because is even.
Show solutionHide solution
Solution
Idea. The class is the image of under . It is connected as soon as and some of the opposite determinant sign give the same matrix. This happens for odd (), and fails for even .
Step 0: description of the orbit. . Indeed, such an has a vector with ; then are linearly independent (if with the first nonzero coefficient, apply to get ), so they form a basis in which acts as . With we get .
Step 1: odd. For , the matrix has and . So , the continuous image of the connected set . Hence is connected.
Step 2: even the invariant. Call *cyclic for * if ; by Step 0, then is invertible. Put .
*Independence of .* Let be cyclic for . Since is a basis, for a polynomial . Then , so and
Because is nilpotent, , which has the single eigenvalue , so . As is invertible ( is), , and since is even . So the sign is the same for and . (For odd this argument breaks down: can be negative.)
Step 3: is continuous on . Let and let be cyclic for . The entries of are polynomial in , so , with the same sign as at , for all in a neighbourhood of . For this says that is cyclic for and . So is locally constant.
Step 4: the two components. For take : then and . So , and
Both are nonempty, each is the continuous image of the connected set , hence connected, and they are open and closed in because is continuous. So has exactly two components.
Check. : is the set of nonzero nilpotent matrices of , which indeed has two components (the two nappes of the cone ). : , connected. A numerical experiment with random () shows for random cyclic ; for both signs occur.
Remark. In group-theoretic terms, where the centraliser is with . If is odd, meets (take ) and the quotient is connected; if is even 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 .