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

The shapes of GL(2,R), SL(2,R) and {det < 0}

#M_2#polar coordinates#homeomorphism#circle#GL_2#SL_2

Statement

Use the coordinates (z,w)∈C2(z,w)\in\mathbb{C}^2 of M2(R)M_2(\mathbb{R}) defined in the previous problem (with det⁡A=∣z∣2−∣w∣2\det A=|z|^2-|w|^2). Show that
1. GL2+(R)={det⁡>0}GL_2^+(\mathbb{R})=\{\det>0\} is homeomorphic to S1×R3S^1\times\mathbb{R}^3,
2. SL2(R)SL_2(\mathbb{R}) is homeomorphic to S1×R2S^1\times\mathbb{R}^2,
3. {det⁡<0}\{\det<0\} is homeomorphic to S1×R3S^1\times\mathbb{R}^3.

Hint

Write z=ρeiαz=\rho e^{i\alpha} in polar form in the first two cases and w=ρeiβw=\rho e^{i\beta} in the third case. Show that the remaining parameters range over a convex open set (a cone) or over C\mathbb{C}.

Show solutionHide solution

Solution

Idea. In the coordinates (z,w)(z,w) the three sets are {∣z∣>∣w∣}\{|z|>|w|\}, {∣z∣2=1+∣w∣2}\{|z|^2=1+|w|^2\}, {∣w∣>∣z∣}\{|w|>|z|\}. In each of them one of z,wz,w never vanishes, so polar coordinates split off a circle.

1. {∣z∣>∣w∣}\{|z|>|w|\}. Here z≠0z\ne0. The map
Φ:S1×{(ρ,w)∈R×C:ρ>∣w∣}→{∣z∣>∣w∣},(eiα,ρ,w)↦(ρeiα,w)\Phi:S^1\times\{(\rho,w)\in\mathbb{R}\times\mathbb{C}:\rho>|w|\}\to\{|z|>|w|\},\qquad(e^{i\alpha},\rho,w)\mapsto(\rho e^{i\alpha},w)
is continuous, bijective and has the continuous inverse (z,w)↦(z/∣z∣,∣z∣,w)(z,w)\mapsto(z/|z|,|z|,w). So it is a homeomorphism. The second factor K={(ρ,w):ρ>∣w∣}K=\{(\rho,w):\rho>|w|\} is homeomorphic to R3\mathbb{R}^3: the map (ρ,w)↦(ln⁡ρ, w/ρ)(\rho,w)\mapsto(\ln\rho,\,w/\rho) is a homeomorphism from KK onto R×D\mathbb{R}\times D with D={u∈C:∣u∣<1}D=\{u\in\mathbb{C}:|u|<1\} (inverse (s,u)↦(es,esu)(s,u)\mapsto(e^s,e^su)), and D≅C≅R2D\cong\mathbb{C}\cong\mathbb{R}^2 through u↦u/(1−∣u∣)u\mapsto u/(1-|u|) (inverse v↦v/(1+∣v∣)v\mapsto v/(1+|v|)). Therefore GL2+≅S1×R3GL_2^+\cong S^1\times\mathbb{R}^3.

2. SL2SL_2. det⁡A=1\det A=1 means ∣z∣2=1+∣w∣2|z|^2=1+|w|^2, so ∣z∣=1+∣w∣2>0|z|=\sqrt{1+|w|^2}>0. The map
S1×C→SL2(R),(eiα,w)↦(1+∣w∣2 eiα, w)S^1\times\mathbb{C}\to SL_2(\mathbb{R}),\qquad(e^{i\alpha},w)\mapsto\bigl(\sqrt{1+|w|^2}\,e^{i\alpha},\,w\bigr)
is continuous and bijective, with continuous inverse (z,w)↦(z/∣z∣,w)(z,w)\mapsto(z/|z|,w). So SL2(R)≅S1×C=S1×R2SL_2(\mathbb{R})\cong S^1\times\mathbb{C}=S^1\times\mathbb{R}^2.

3. {det⁡<0}={∣w∣>∣z∣}\{\det<0\}=\{|w|>|z|\}. Now w≠0w\ne0 and the same proof as in 1 with the roles of zz and ww exchanged gives
(eiβ,ρ,z)↦(z,ρeiβ),S1×{(ρ,z):ρ>∣z∣}→{∣w∣>∣z∣},(e^{i\beta},\rho,z)\mapsto(z,\rho e^{i\beta}),\qquad S^1\times\{(\rho,z):\rho>|z|\}\to\{|w|>|z|\},
a homeomorphism onto the set, and the factor is again ≅R3\cong\mathbb{R}^3.

Check. The circle factor is the obvious one: in GL2+GL_2^+ the circle {ρeiα,0}\{\rho e^{i\alpha},0\} is ρSO(2)\rho SO(2) (the matrices ρR(α)\rho R(\alpha)), and SO(2)⊂GL2+SO(2)\subset GL_2^+ is a deformation retract (polar decomposition).

Remark. GL2(R)GL_2(\mathbb{R}) has two components, GL2+GL_2^+ and {det⁡<0}\{\det<0\}, each homotopy equivalent to a circle, and they are exchanged by A↦diag(1,−1)AA\mapsto\mathrm{diag}(1,-1)A. In particular π1(SL2(R))≅Z\pi_1(SL_2(\mathbb{R}))\cong\mathbb{Z}. By contrast, SO(2)SO(2) itself corresponds to the circle {∣z∣=1,w=0}\{|z|=1,w=0\}.

Lesson. Choosing coordinates in which a defining condition becomes ∣z∣≷∣w∣|z|\gtrless|w| or ∣z∣2=1+∣w∣2|z|^2=1+|w|^2 makes the topology of matrix groups visible.