TLDR: What condition should a parallel transport (assignment from paths in the base of a vector bundle to linear isomorphisms between fibers) satisfy to ensure the associated covariant derivative is linear in the tangent vector argument?

A covariant derivative $\nabla$ on a vector bundle $E\to M$ is an operator $\nabla\colon TM\times_M J^1E\to E$ satisfying a few conditions. Let $f\in C^\infty(M),$ $X\in\Gamma(TM)$ and $s\in\Gamma(E).$

  • a Leibniz condition for the section: $\nabla_X(f s)=X(f)s+f\nabla_X(s)$
  • a linearity condition for the tangent vector: $\nabla_{aX+bY}s = a\nabla_Xs + b\nabla_Ys$

There are other formulations of connection. One is as an Ehresmann connection, which specifies a horizontal subbundle of a fiber bundle. An Ehresmann connection is equivalent to a covariant derivative if the choice of horizontal subspace depends linearly on $s$, in a way that is described on wikipedia section on "Vector bundles and covariant derivatives" in the Ehresmann connection article. And see the related question How do connection 1-form and Ehresmann version of connections relate to each other?

Another formulation for a connection is in terms of parallel transport $\Gamma$. To each path in the base $\gamma\colon I\to M$, we assign an isomorphism of fibers $\Gamma^t_0(\gamma)\colon E_{\gamma(0)}\overset{\cong}\to E_{\gamma(t)}.$ The assignment should obey some functoriality and smoothness conditions. One expects to be able to recover the covariant derivative from the parallel transport. Indeed, the process is described on Wikipedia in the section "Recovering the connection from the parallel transport" in the parallel transport article.


$$ \nabla_{\gamma}s|_{t=0}=\lim_{t\to 0}\frac{\Gamma^t_0(\gamma)^{-1}s(\gamma(t))-s(\gamma(0))}{t}. $$

Transport the neghboring vector back to the beginning fiber, take the Newton quotient there, and take the limit. From this it is easy to derive the Leibniz law for covariant derivatives.

But how do we see that $\nabla_{aX+bY} = a\nabla_X + b\nabla_Y$? Surely some additional criterion must be stipulated for $\Gamma,$ as there exist non-linear connections. Something analogous to the linearity condition for Ehresmann connections. What is this condition?

  • $\begingroup$ It's not just that the fiber isomorphism $E_{\gamma(0)}\to E_{\gamma(t)}$ be linear, is it? $\endgroup$
    – ziggurism
    Dec 4 '17 at 2:27
  • $\begingroup$ I guess this is a circular answer: I believe that your definition of the connection from parallel transport defines a horizontal distribution on the associated frame bundle, where a curve in the principal bundle is parallel transport if and only if it is an integral curve of the distribution. Then the connection is linear if and only if the distribution satisfies the usual required conditions for linearity. What you presumably want is an answer involving only the curves directly and not the associated distribution. $\endgroup$
    – Deane
    Nov 2 '18 at 19:53
  • $\begingroup$ @Deane, you may be right, that the easiest way to state it is in terms of its associated covariant derivative, since it is ultimately a condition that only applies to its infinitesimal action. $\endgroup$
    – ziggurism
    Nov 4 '18 at 20:57
  • $\begingroup$ Actually, I think there should be a way to express it directly in terms of some kind of limit of lifts to the frame bundle of closed curves starting and ending at a fixed point in the manifold. If I had the time, I'd try to work this out. I like questions like this. It all helps elucidate the relationship between a connection, its parallel transport, and its curvature. $\endgroup$
    – Deane
    Nov 5 '18 at 0:07

The term "linear connection" refers to linearity in the other slot. So the point here is that $\nabla_X(s_1+s_2)=\nabla_X s_1+\nabla_X s_2$. This is indeed equivalent to the parallel transport being linear as a map between fibers (and thus only makes sense on vector bundles).

What you discuss in the post is linear dependence on the direction into which you differentiate. This is not a specific feature of linear connections, it is also true for connections on general fiber bundles and indeed for arbitrary tangent maps.

  • $\begingroup$ While it is true that linearity in the tangent vector slot is common to many classes of connections (eg also connection on principal bundle), it is not common to all of them. For example, the general Ehresman connection does not assume linearity. And the Lie derivative does not obey it. $\endgroup$
    – ziggurism
    Dec 4 '17 at 13:18
  • $\begingroup$ In the comments I put forth a guess, maybe linearity in the tangent vector is a consequence of linearity of fiber isomorphisms. You point out that linearity of the fiber isomorphisms is responsible for additivity in the sections. It must also be present for the Leibniz law. Therefore it cannot be the source of linearity in the tangent vector, that guess was wrong. Thanks for making that clear. $\endgroup$
    – ziggurism
    Dec 4 '17 at 13:21
  • $\begingroup$ As stated in my reply an Ehresmann connection is linear (even over smooth functions) in the tangent vector slot and also the Lie derivative is linear (over the reals) in the vector field slot. $\endgroup$ Dec 5 '17 at 8:15

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.