I would like to ask the community for a reference on the following question:

Let $(M,g)$ be a Riemannian manifold and $(T^1M,g_S)$ be the unit tangent bundle with the Sasaki metric. Is it true that the orbits of the geodesic flow $\varphi:T^1M\longrightarrow T^1M$ are geodesics of $(T^1M,g_S)$?

Any help/reference would be really appreciated!


(1) Consider a projection $\pi : (T_1M,G) \rightarrow (M,g) $ We want to define a metric $G$. If $\widetilde{c_1} (t),\ \widetilde{c_2}(t) $ are curves starting at $(p,v)$ then we write $\widetilde{c_i}(t)=(c_i(t),v_i(t)),\ c_i(0)=p,\ v_i(0)=v$ so that let $$ G(\widetilde{c_1}'(0),\widetilde{c_2}'(0)) =g(c_1'(0),c_2'(0)) + g(\nabla_{c_1'} v_1,\nabla_{c_2'} v_2)\ \ast $$

And if $c_1(t)=p$, then we use $\frac{d}{dt}\bigg|_{t=0}\ v_1(t)$ instead of $\nabla_{c_1'} v_1$.

(2) Now we will interpret this definition. Fix a curve $c$ at $c(0)=p\in M$. If $v(t)$ is a parallel vector field along $c(t)$ with $v(0)=v$, then define $\widetilde{c}(t)=(c(t),v(t))$ So we have ${\rm length}\ c ={\rm length}\ \widetilde{c}$. That is any curve in $M$ can be lifted into some curve of same length to any point.

(3) If $c$ is a unit speed geodesic in $M$, then $\widetilde{c}(t)=(c(t),c'(t))$, lift of $c$, is a geodesic in $T_1M$ : Let $\widetilde{p}=\widetilde{c}(0),\ \widetilde{q}=\widetilde{c}(\epsilon )$ Assume that $\widetilde{\gamma} =(\gamma (t),v(t))$ is a geodesic in $T_1M$ between two points s.t. $\gamma$ has unit speed. Hence since $${\rm length}\ \gamma\geq {\rm length}\ c,$$ then $\widetilde{\gamma}$ is $\widetilde{c}$

| cite | improve this answer | |

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.