Use the coordinates (z,w)∈C2 of M2(R) defined in the previous problem (with detA=∣z∣2−∣w∣2). Show that 1. GL2+(R)={det>0} is homeomorphic to S1×R3, 2. SL2(R) is homeomorphic to S1×R2, 3. {det<0} is homeomorphic to S1×R3.
Hint
Write z=ρeiα in polar form in the first two cases and w=ρeiβ in the third case. Show that the remaining parameters range over a convex open set (a cone) or over C.
Show solutionHide solution
Solution
Idea. In the coordinates (z,w) the three sets are {∣z∣>∣w∣}, {∣z∣2=1+∣w∣2}, {∣w∣>∣z∣}. In each of them one of z,w never vanishes, so polar coordinates split off a circle.
1. {∣z∣>∣w∣}. Here z=0. The map Φ:S1×{(ρ,w)∈R×C:ρ>∣w∣}→{∣z∣>∣w∣},(eiα,ρ,w)↦(ρeiα,w) is continuous, bijective and has the continuous inverse (z,w)↦(z/∣z∣,∣z∣,w). So it is a homeomorphism. The second factor K={(ρ,w):ρ>∣w∣} is homeomorphic to R3: the map (ρ,w)↦(lnρ,w/ρ) is a homeomorphism from K onto R×D with D={u∈C:∣u∣<1} (inverse (s,u)↦(es,esu)), and D≅C≅R2 through u↦u/(1−∣u∣) (inverse v↦v/(1+∣v∣)). Therefore GL2+≅S1×R3.
2. SL2.detA=1 means ∣z∣2=1+∣w∣2, so ∣z∣=1+∣w∣2>0. The map S1×C→SL2(R),(eiα,w)↦(1+∣w∣2eiα,w) is continuous and bijective, with continuous inverse (z,w)↦(z/∣z∣,w). So SL2(R)≅S1×C=S1×R2.
3. {det<0}={∣w∣>∣z∣}. Now w=0 and the same proof as in 1 with the roles of z and w exchanged gives (eiβ,ρ,z)↦(z,ρeiβ),S1×{(ρ,z):ρ>∣z∣}→{∣w∣>∣z∣}, a homeomorphism onto the set, and the factor is again ≅R3.
Check. The circle factor is the obvious one: in GL2+ the circle {ρeiα,0} is ρSO(2) (the matrices ρR(α)), and SO(2)⊂GL2+ is a deformation retract (polar decomposition).
Remark.GL2(R) has two components, GL2+ and {det<0}, each homotopy equivalent to a circle, and they are exchanged by A↦diag(1,−1)A. In particular π1(SL2(R))≅Z. By contrast, SO(2) itself corresponds to the circle {∣z∣=1,w=0}.
Lesson. Choosing coordinates in which a defining condition becomes ∣z∣≷∣w∣ or ∣z∣2=1+∣w∣2 makes the topology of matrix groups visible.