Maths WorkshopMaths problems with full solutions
Exercise 1348Topology › Topology of Mn(ℝ) › Applications and the case n = 2L3Added 6 Nov 2026

Sym_n/O(n) is a closed Weyl chamber

#orbit space#eigenvalues#Weyl chamber#quotient

Statement

Let O(n)O(n) act on Symn\mathrm{Sym}_n by conjugation, U⋅S=USUTU\cdot S=USU^T. Show that the quotient Symn/O(n)\mathrm{Sym}_n/O(n) is homeomorphic to the closed chamber C={λ∈Rn:λ1≥⋯≥λn}\mathcal C=\{\lambda\in\mathbb{R}^n:\lambda_1\ge\dots\ge\lambda_n\} via the ordered eigenvalue map.

Hint

Show that λ:S↦(λ1(S)≥⋯≥λn(S))\lambda:S\mapsto(\lambda_1(S)\ge\dots\ge\lambda_n(S)) 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 λ\lambda.

Step 1: fibres. If S=QΛQTS=Q\Lambda Q^T and T=Q′ΛQ′TT=Q'\Lambda Q'^T with the same ordered diagonal Λ\Lambda, then T=(Q′QT)S(Q′QT)TT=(Q'Q^T)S(Q'Q^T)^T is a conjugate of SS by an orthogonal matrix. Conversely conjugation preserves eigenvalues.

Step 2: surjectivity. For μ∈C\mu\in\mathcal C, λ(diag⁡μ)=μ\lambda(\operatorname{diag}\mu)=\mu.

Step 3: continuity. By the Courant-Fischer formula
λk(S)=max⁡dim⁡V=k min⁡x∈V, ∣x∣=1xTSx.\lambda_k(S)=\max_{\dim V=k}\ \min_{x\in V,\ |x|=1}x^TSx.
If ∥S−T∥≤δ\|S-T\|\le\delta (operator norm), then ∣xTSx−xTTx∣≤δ|x^TSx-x^TTx|\le\delta for unit xx, so each min changes by at most δ\delta, and so does the max: ∣λk(S)−λk(T)∣≤∥S−T∥|\lambda_k(S)-\lambda_k(T)|\le\|S-T\| (Weyl's inequality). So λ\lambda is 11-Lipschitz in each coordinate.

Step 4: closedness. Let F⊂SymnF\subset\mathrm{Sym}_n be closed with λ(Sm)→μ\lambda(S_m)\to\mu, Sm∈FS_m\in F. Then ∥Sm∥=max⁡i∣λi(Sm)∣\|S_m\|=\max_i|\lambda_i(S_m)| is bounded, so Smj→S∈FS_{m_j}\to S\in F along a subsequence and λ(S)=μ\lambda(S)=\mu by continuity. So λ(F)\lambda(F) is closed.

Step 5: conclusion. λ\lambda is a continuous closed surjection with fibres equal to the orbits, so it induces a homeomorphism Symn/O(n)→C\mathrm{Sym}_n/O(n)\to\mathcal C.

Remark. The same pattern works for Hermn/U(n)\mathrm{Herm}_n/U(n) 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.