*This is a crosspost from [math.stackexchange](https://math.stackexchange.com/questions/345623/difference-between-parallel-transport-and-derivative-of-the-exponential-map)*


Given a Riemannian manifold $M$, let $c(t) = \exp\_p(tX)$ be the geodesic emanating from $p \in M$ with initial value $X$. Let $t\_0$ be small enough, then we have to ways to map $T\_pM$ to $T\_{c(t\_0)} M$ isomorphically. One is the parallel transport along $c$, let's call it $P\_{c, 0, t\_0}$ and the other is given by
$$ d \exp\_p|\_{tX}: T\_{tX}T\_pM \cong T\_p M \longrightarrow T\_{\exp\_p(tX)}M = T\_{c(t\_0)}.$$


**My question is: What is the relation between those two? Are there formulas which relate the two concepts with curvature terms?**


The parallel transport is a linear isometry, and the derivative of the exponential map is a radial isometry by the Gauss lemma, meaning
$$ \langle d \exp\_p|\_{tX} \cdot Y, \dot{c}(t) \rangle = \langle Y, X \rangle $$
for all $Y \in T\_pM$. 


In two dimensions, this means that the two mappings coincide up to scaling, as there is only on orthogonal direction to the radial one. However, in higher dimensions, this is not true, i guess. However, on $S^3$, I computed that the derivative of the exponential map conincides with the parallel transport except that vectors orthogonal to the direction of parallel transport are multiplied by $\frac{\sin r}{r}$.



Difference between parallel transport and derivative of the exponential map
To understand the realationship between $Q$ and $P$, it suffices to study how they act on an orthornormal(o.n.) basis. Here is the detailed argument:


Let $J\_i(t)$ be the Jacobi field along $c$, with $J\_i(0)=0$ and $J\_i'(0)=e\_i$, where $e\_1, \cdots, e\_{n-1}, X$ is an o.n basis of $T\_p(M)$. Then one can show that $J\_i(t)=Q\_t(e\_i)$,
since
$$
Q\_t(e\_i)=dexp\_{tX} (te\_i).
$$


Now extend $e\_i$ to $E\_i(t)$ along $c$ via parallel transport $P$. One can write the $J\_i$ (i.e. $Q\_t$) in terms of the o.n. basis $E\_i(t)$:
$$
Q\_t(e\_i)=J\_i(t)=\sum\_j a\_{ij}E\_j(t)=\sum\_j a\_{ij}P\_t(e\_j).
$$


Let $A=(a\_{ij})$. Using Jacobi equation, one can show that 
$$
A''(t)+R(t)A(t)=0,
$$
where $R(t)=(R\_{ij}(t))$ is the curvature term defined by $R\_{ij}(t)=\langle R(E\_j, \dot{c}) \dot{c}, E\_i \rangle$.


This is essentially Jacobi equation. So roughly speaking, $Q$ and $P$ satisfy the Jacobi equation.


remark: It seems my definition of $Q$ differs by a rescaling fact $t$. So if we use $N$ to denote your map, then $Q\_t(e\_i)= N(t e\_i)$.


