Exponential displacement map on a compact surface (source code)

= Exponential displacement map on a compact surface

If $S$ is compact and $V$ is a smooth vector field, then
$$
\phi(p)=\exp_p(V(p))
$$
is smooth and well-defined by the <Hopf-Rinow theorem>. The maps $\phi_t(p)=\exp_p(tV(p))$ form a smooth homotopy from the identity to $\phi$, so $\deg_2(\phi)=1$.