Connection on a manifold (or a principal bundle on the manifold) from notion of “parallel transport”

connectionsdifferential-geometrymanifoldssmooth-manifolds

Let $M$ be a manifold.

A connection on a manifold $M$ (connection on vector bundle $TM\rightarrow M$) gives, among other things, an isomorphism $T_aM\rightarrow T_bM$ for each path $\gamma$ in $M$ with $\gamma(0)=a$ and $\gamma(1)=b$.

For some of physics students I know, a connection is precisely some isomorphism $T_aM\rightarrow T_bM$ for each path $\gamma$ in $M$ with $\gamma(0)=a$ and $\gamma(1)=b$. I am not able to convince/motivate them that this is not the whole data.

One justification they almost got convinced is that, with this data, I can not "pullback" connections even along surjective submersions.

Can some one suggest some way to motivate/convince about the full data that comes with connection on a manifold?


One can look for same in case of principal $G$-bundles.

Let $\omega:P\rightarrow \Lambda^1_{\mathfrak{g}}T^*P$ be a connection on the Principal $G$-bundle. Given a path $\gamma$ in $M$, we have an isomorphism $\pi^{-1}_{\gamma(0)}\rightarrow \pi^{-1}_{\gamma(1)}$.

Suppose we are given a collection of isomorphisms $\mathcal{C}=\{\pi^{-1}_{\gamma(0)}\rightarrow \pi^{-1}_{\gamma(1)}\}$ in $P$, indexed by paths $\gamma$ in $M$. Can we then think of some connection whose "parallel transport" is given by $\mathcal{C}$? Some obvious restrictions are, these $\pi^{-1}_{\gamma(0)}\rightarrow \pi^{-1}_{\gamma(1)}$ are actually $G$-equivariant diffeomorphisms. What other restrictions are reasonable (from view of some one seeing for first time) to impose on this collection $\mathcal{C}$ to hope for a connection on $P(M,G)$.

Best Answer

I find the wording of your question sufficiently ambiguous that it could lead to confusion already among mathematicians, without even going so far as to interfacing with physicists!

It is clear to me that any connection is determined by its parallel transport: in other words, for every function which assigns to each (smooth) path a (smoothly varying) isomorphism from the initial to the terminal tangent spaces, there exists at most one connection having this function as its parallel transport. (Indeed, the connection - if it exists - can be determined by differentiating this smoothly varying isomorphism, in some sense.)

It is also clear to me that not every such function is equal to the parallel transport of a connection - at the very least, one would need to start imposing compositional conditions (the isomorphism from $a$ to $b$ by following $\gamma$, composed with the isomorphism from $b$ to $c$ following $\gamma'$, should coincide with the isomorphism from $a$ to $c$ following the concatenation of $\gamma$ and $\gamma'$).

When you say the word "precisely", I think you mean what I wrote in the last paragraph: that just having a function from paths to isomorphisms does not necessarily mean that it can be written as the parallel transport of some connection. But then later when you say "this is not the whole data", it is misleading - since (as explained in my second paragraph) there is sufficient data to recover the connection if it exists - and if it does not exist, there is sufficient data to prove that it does not exist.

Moreover, I believe that once things are explained in this way (existence vs uniqueness), it does not matter if the audience is mathematicians or physicists - the idea is clear and intuitive either way. It is essentially the same as saying: a function from a group $G$ to a group $H$ is enough to determine a group homomorphism, but not every such function is equal to a group homomorphism.

Related Question