Maths WorkshopMaths problems with full solutions
Exercise 1372Topology › Topology of Mn(ℝ) › Exponential, logarithm and group topologyL3Added 6 Nov 2026

The quotients GL_n/O(n) and SL_n/SO(n)

#homogeneous space#quotient topology#positive definite#traceless

Statement

Show that GLn(R)/O(n)GL_n(\mathbb{R})/O(n) is homeomorphic to the space PD\mathrm{PD} of positive definite matrices, and that SLn(R)/SO(n)SL_n(\mathbb{R})/SO(n) is homeomorphic to Rn(n+1)/2−1\mathbb{R}^{n(n+1)/2-1}.

Hint

The map A↦AATA\mapsto AA^T is constant on the cosets A⋅O(n)A\cdot O(n). For SLnSL_n, use log⁡\log on positive definite matrices of determinant 11.

Show solutionHide solution

Solution

The map. Define π:GLn→PD\pi:GL_n\to\mathrm{PD}, π(A)=AAT\pi(A)=AA^T. It is continuous, and for U∈O(n)U\in O(n),
π(AU)=AUUTAT=AAT=π(A),\pi(AU)=AUU^TA^T=AA^T=\pi(A),
so π\pi is constant on left cosets A⋅O(n)A\cdot O(n) and induces a continuous map πˉ:GLn/O(n)→PD\bar\pi:GL_n/O(n)\to\mathrm{PD}. (Note: with A↦ATAA\mapsto A^TA one would get the space of right cosets O(n)\GLnO(n)\backslash GL_n.)

Bijective. *Surjective:* for P∈PDP\in\mathrm{PD}, A=P1/2A=P^{1/2} satisfies AAT=PAA^T=P. *Injective:* if AAT=BBTAA^T=BB^T, put U=B−1AU=B^{-1}A; then UUT=B−1AATB−T=B−1BBTB−T=IUU^T=B^{-1}AA^TB^{-T}=B^{-1}BB^TB^{-T}=I, so U∈O(n)U\in O(n) and A=BU∈B⋅O(n)A=BU\in B\cdot O(n).

Continuous inverse. The inverse is P↦[P1/2]P\mapsto[P^{1/2}], the composition of the continuous map P↦P1/2=exp⁡(12log⁡P)P\mapsto P^{1/2}=\exp(\frac12\log P) and the quotient map GLn→GLn/O(n)GL_n\to GL_n/O(n). So πˉ\bar\pi is a homeomorphism.

The case of SLnSL_n. Restricting, SLn/SO(n)→{P∈PD:det⁡P=1}SL_n/SO(n)\to\{P\in\mathrm{PD}:\det P=1\} is a continuous bijection: if A∈SLnA\in SL_n then det⁡AAT=1\det AA^T=1; conversely, for det⁡P=1\det P=1 the square root P1/2P^{1/2} has determinant 11 and lies in SLnSL_n. Also AAT=BBTAA^T=BB^T with A,B∈SLnA,B\in SL_n gives U=B−1A∈O(n)U=B^{-1}A\in O(n) with det⁡U=1\det U=1, so U∈SO(n)U\in SO(n).

Identification with a vector space. By det⁡eS=etr⁡S\det e^S=e^{\operatorname{tr}S} and the bijection exp⁡:Symn→PD\exp:\mathrm{Sym}_n\to\mathrm{PD}, det⁡eS=1\det e^S=1 iff tr⁡S=0\operatorname{tr}S=0. So exp⁡\exp restricts to a homeomorphism
{S∈Symn:tr⁡S=0} → {P∈PD:det⁡P=1},\{S\in\mathrm{Sym}_n:\operatorname{tr}S=0\}\ \to\ \{P\in\mathrm{PD}:\det P=1\},
and the space of traceless symmetric matrices is a vector space of dimension n(n+1)2−1\frac{n(n+1)}2-1.

Check. n=2n=2: SL2/SO(2)≅R2SL_2/SO(2)\cong\mathbb{R}^2, the hyperbolic plane (as a topological space an open disc).

Remark. Another consequence: GLnGL_n deformation retracts onto O(n)O(n) and SLnSL_n onto SO(n)SO(n), so topologically SLn≃SO(n)SL_n\simeq SO(n).