Sym_n/O(n) is a closed Weyl chamber
Statement
Let act on by conjugation, . Show that the quotient is homeomorphic to the closed chamber via the ordered eigenvalue map.
Hint
Show that is continuous, closed and has the conjugation orbits as fibres. Continuity comes from the Courant-Fischer min-max formula.
Show solutionHide solution
Solution
Idea. The spectral theorem says two symmetric matrices are orthogonally conjugate iff they have the same eigenvalues, so the orbits are the fibres of .
Step 1: fibres. If and with the same ordered diagonal , then is a conjugate of by an orthogonal matrix. Conversely conjugation preserves eigenvalues.
Step 2: surjectivity. For , .
Step 3: continuity. By the Courant-Fischer formula
If (operator norm), then for unit , so each min changes by at most , and so does the max: (Weyl's inequality). So is -Lipschitz in each coordinate.
Step 4: closedness. Let be closed with , . Then is bounded, so along a subsequence and by continuity. So is closed.
Step 5: conclusion. is a continuous closed surjection with fibres equal to the orbits, so it induces a homeomorphism .
Remark. The same pattern works for and, with singular values in place of eigenvalues, for the next problem. The chamber is a cone with non-empty interior; the interior corresponds to matrices with simple spectrum.
Lesson. "Eigenvalues are a complete conjugacy invariant" is a topological statement once properness is checked.