I am looking for a reference/proof/disproof of the following statement.


Equip the Lie group $SL\_2(\mathbb{R})$ with the left-invariant Riemannian metric, whichis given on the Lie algebra by $\langle A,B\rangle\_e :=tr(AB^\*)$. Let $pr:SL\_2(\mathbb{R})\rightarrow SL\_2(\mathbb{R})/SO\_2(\mathbb{R})=\mathbb{H}^2$ be the canonical projection.


Is is true that $pr\circ \gamma$ is a (constant speed) geodesic in $\mathbb{H}^2$ for any geodesic $\gamma$ in $SL\_2(\mathbb{R})$? 


The speed might even be $0$. Another similar example, where geodesics map to constant speed geodesics would just be the orthogonal projection $\mathbb{R^2}\rightarrow \mathbb{R}\times \{0\}$.



Do geodesics in SL2R map to geodesics in the hyperbolic plane?
Exactly horizontal geodesics (perpendicular to the isotropy subgroup of the point in hyperbolic space) project to geodesics. Others do not, they give rise to more general curves
(called ballistic curves [here](http://www.mat.univie.ac.at/~michor/orbits.pdf)). 


Edit (twice)
============


To be specific, my remark applies to the situation that $pr:SL\_2(\mathbb R)\to \mathbb H^2$
(given by acting on $i\in \mathbb H^2$)
is a Riemannian submersion. Since we have a left action on $\mathbb H^2$, a suitable right invariant metric on $SL\_2$ would furnish this. In such a situation one has: a geodesic in $SL\_2$ which is perpendicular to the fibers of $pr$ at one point, is perpendicular everywhere and it projects to a geodesic on $\mathbb H^2$. 


You look at a left invariant metric, but one which is given by an $SO\_2$-invariant inner product on the Lie algebra. Inversion on $SL\_2$ is an isometry from right to left invariant metric fixing the isotropy $SO\_2$ of $i\in \mathbb H^2$. The right action of $SO\_2$ on $SL\_2$ is thus by isometries for the left invariant metric you use.


In this case, let me describe the geodesic equation on $SL\_2$ (which differs just by a sign from the better known right invariant case)
A smooth curve $t \mapsto g(t)\in SL\_2$ is a geodesic iff
$$a(t) = g(t)^{-1}.g'(t) \in \mathfrak{sl}\_2$$ 
satisfies 
$$\partial\_t a(t) = ad^\bot\_{a(t)}a(t)$$
where the adjoint $ad\_X^\bot:\mathfrak{sl}\_2\to \mathfrak{sl}\_2$ is with respect to the inner product $\langle\quad,\quad\rangle\_e$ so that 
$\langle ad\_X^\bot Y,Z\rangle\_e = \langle Y,[X,Z]\rangle\_e$.


Moreover, for $X\in \mathfrak{so}\_2$, the left invariant vector field $L\_X$ on $SL\_2$ is the infinitesimal generator for the right $SO\_2$ action; the momentum mapping (for the lifted action) implies that $\langle X, a(t)=g(t)^{-1}.g'(t)\rangle\_e$ is constant in $t$ for each geodesic $g(t)$ on $SL\_2$. If the constant is 0 you get horizontal geodesics, and going down to $\mathbb H^2$ is at the same time the Riemannian orbit space and symplectic reduction.
If the constant is not 0, you get a conservation law for ballistic curves. 


