3
$\begingroup$

I'm starting to learn Riemannian geometry and have a question.

Let $\mathcal{M}$ be a Riemannian manifold, $p \in \mathcal{M}$; $\tau_{p}^{q}$ be a parallel transport from $p$ to $q$ and $\operatorname{exp}_p$ be an exponential map. The question is: given a smooth curve $\gamma : [a, b] \to \mathcal{M}$ such that $\gamma([a, b]) \subset \mathcal{U}$, where $\mathcal{U}$ is some neighborhood of $p$ where $\operatorname{exp}_p, \tau_{p}^{(\cdot)}$, are defined, is it true that \begin{equation} \left( \frac{\mathrm{d}}{\mathrm{d}t} \operatorname{exp}_p^{-1}\gamma \right)(t) = \tau_{\gamma(t)}^{p}\dot{\gamma}(t) \,? \end{equation}

$\endgroup$

closed as off-topic by Alex M., HK Lee, user91500, TheSimpliFire, Gibbs Aug 31 '18 at 19:32

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – user91500, TheSimpliFire, Gibbs
If this question can be reworded to fit the rules in the help center, please edit the question.

  • $\begingroup$ It certainly works in $\Bbb R^n$. What have you tried doing? $\endgroup$ – Olivier Bégassat Nov 28 '13 at 15:01
  • $\begingroup$ You mean during what process arose this question or what have I tried to do to prove it? :) $\endgroup$ – Artem Malykh Nov 28 '13 at 15:11
  • $\begingroup$ Your proof attempts. $\endgroup$ – Olivier Bégassat Nov 28 '13 at 15:24
  • $\begingroup$ Let $g$ be a metric tensor on $\mathcal{M}$. I've tired to use countiniuty of $g$ together with the fact that for any $p \in \mathcal{M}$ and for $u, v \in T_p\mathcal{M}$, if $g(u, u)=g(v,v)$ and angle between $u$ and $v$ is zero, then $u=v$. $\endgroup$ – Artem Malykh Nov 28 '13 at 20:10
  • 1
    $\begingroup$ Possible duplicate of Difference between parallel transport and derivative of the exponential map $\endgroup$ – Alex M. Aug 30 '18 at 4:37