I would like to know, how to represent $\mathbb{H}^n$ as a quotient $G/H$ of Lie groups (since $\mathbb{H}^n$ is a homogeneous space, such a representation must exist). I have heard that it is possible to represent it as a quotient $SO(1, n)/SO(n)$. Is this correct?
Since $SO(1, n)$ consists of the matrices $A$ with the property $AJA^T=I$, where $J$ is the matrix with entries $J_{11}=-1$, $J_{kk}=1$ for $k \neq 1$ and $J_{kl}=0$ if $k \neq l$, we must have that the Lie algebra of $SO(1, n)$ is equal to the matrices $U$ with $UJ+JU^T=0$. Can you tell me what $so(n)$-invariant scalar product I have to consider on a complement of $so(n)$ to get the metric of $\mathbb{H}^n$?
It goes like this: take $\mathbb{H}^n$ to be the upper half of the two-sheeted hyperboloid $$ (x^0)^2 - (x^1)^2 - \ldots - (x^n)^2 = 1 $$ in the Minkowski space $\mathbb{R}^{1,n}$ with the standard Minkowski metric represented by the matrix $J$ as above. Then the restriction of the Minkowski metric to $\mathbb{H}^n$ is the hyperbolic metric. The entire Lorentz group $SO(1,n)$ acts as the isometry group of $\mathbb{H}^n$, and the isotropy group of any point in $\mathbb{H}^n$ is isomorphic to $SO(n)$, so $\mathbb{H}^n$ may be regarded as the quotient $SO(1,n)/SO(n)$.