I'm currently learning about parallel transport and connections and we were considering the parallel transport of a tangent vector along a sphere as given in the picture below.
From my understanding, by defining a connection on your manifold, you provide a way to identify vectors at one point of the manifold with vectors at another point on the manifold via parallel transporting the vector.
So in the given example, when the initial vector is parallely transported along the closed curve it returns to the same spot as a different vector. Is this because there has not been defined a correct connection on the sphere (that takes into account the curvature of the 2-sphere)? In which case, when a connection is defined on the sphere, (i.e. by the covariant derivative) parallel transport of any vector along a closed curve back to its initial position will result in the same vector?
So this is in fact an example of the need for a connection, and not just the standard derivative?
Thanks in advance!
Best Answer
Parallel transport depends on 1. a Riemannian manifold $(M, g)$, for example the round unit sphere; 2. a pair of points $p$ and $q$ of $M$, not necessarily distinct; 3. a piecewise-smooth path $\gamma:[0, 1] \to M$ starting at $p$ and ending at $q$, i.e., satisfying $p = \gamma(0)$ and $q = \gamma(1)$. (It's not essential that the parameter interval be the unit interval $[0, 1]$; an arbitrary closed, bounded interval will do.)
A Riemannian metric induces a Levi-Civita connection. In your example, the round sphere has a connection already, for which a tangent vector to a great circle arc remains tangent to the arc under parallel transport along the arc.
The example of the round sphere demonstrates dependence of parallel transport on $\gamma$. If $\gamma$ were a constant path, or a great circle arc traced forward and backward, parallel transport along $\gamma$ would be the identity map. For the spherical triangle $\gamma$ in your diagram, parallel transport along $\gamma$ is not the identity.
To emphasize (what seems to be) the underlying issue: The path $\gamma$ is a crucial piece of data in parallel transport; there's no well-defined notion of "parallel transport from $p$ to $q$" except in very special circumstances, such as parallel transport in a Euclidean plane, or on a flat torus. (Flatness—identically-vanishing Gaussian/sectional curvature—is necessary but not sufficient.)