Why is it that the upper half plane $\mathbb{H}$ can be thought of as equivalent to $SL_{2}(\mathbb{R})/SO(2)$?
Matrix Groups and the Upper Half Plane
-
0You can find this as Proposition 2.1d of [Milne's notes](http://jmilne.org/math/CourseNotes/mf.html). – 2011-10-03
2 Answers
If $S$ is a set on which a group $G$ acts transitively, then as a $G$-set, $S$ can be identified with $G/\text{Stab}(s)$ for any $s \in S$. This follows from the fact that there is an obvious morphism of $G$-sets
$G \ni g \mapsto gs \in S$
which factors through a morphism $G/\text{Stab}(s) \to S$, and by the definition of the stabilizer and transitivity this is an isomorphism.
Now $\text{SL}_2(\mathbb{R})$ naturally acts transitively on $\mathbb{H}$ by hyperbolic isometries. I claim that $\text{Stab}(i) = \text{SO}(2)$ (regarded as a subgroup of $\text{SL}_2(\mathbb{R})$ in the usual way). To see this, write
$\frac{ai + b}{ci + d} = i \Leftrightarrow ai + b = di - c$
where $z \mapsto \frac{az + b}{cz + d} \in \text{PSL}_2(\mathbb{R})$. Since $ad - bc = 1, a = d, b = -c$, it follows that $a^2 + b^2 = 1$, so we can write
$a = \cos \theta, b = \sin \theta$
for some $\theta$, and then $d = \cos \theta, c = - \sin \theta$; precisely a rotation matrix. Conversely, any such element of $\text{SL}_2(\mathbb{R})$ fixes $i$. So $\mathbb{H}$ can be identified with $\text{SL}_2(\mathbb{R})/\text{SO}(2)$ as a $\text{SL}_2(\mathbb{R})$-space as desired.
-
0@Henning: see http://mathoverflow.net/questions/19740/how-do-you-recover-the-structure-of-the-upper-half-plane-from-its-description-as . The description of $\mathbb{H}$ as a coset space is used in the theory of automorphic forms but I'm not familiar with the details. – 2011-10-03
Each member of $SL(2,\mathbb R)/SO(2,\mathbb R)$ is an equivalence class of linear mappings modulo rotations. Choose for each equivalence class the unique member $f$ such that $f(1,0)$ lies on the positive $x$ axis and $f(0,1)$ lies in the upper half plane. Because the determinant must be $1$, knowing the coordinates of $f(0,1)$ allows you to determine the length of $f(1,0)$.
By the way, $SO(2)$ is not normal in $SL(2)$, as far as I can figure out, so I'm not sure how meaningful this construction is. It's not as it it will give you a group structure on the upper half-plane, for example. If you're taking left cosets instead of right ones, you probably need to work with the inverse maps to establish the equivalence.