Let $P(M,G)$ be a principal bundle. Giving a connection on $P(M,G)$ means two equivalent things. One as an assignment of subspace of $T_pP$ for each $p\in P$ and another as a $\mathfrak{g}$ valued $1$ form.

  • Given connection as a $\mathfrak{g}$ valued $1$ form $\omega$ on $P(M,G)$ we have associated a $2$ form (differential of $\omega$ and modifying it little bit) which we called the curvature form for the connection, denoted by $\Omega$.

  • Given connection as a distribution $p\mapsto H_pP\subseteq T_pP$, we know what it means to say a curve is horizontal curve. We write $v\sim u$ to mean that $v$ and $u$ are related by horizontal curve. Given $u\in P$ we have defined what is called a Holonomy bundle $P(u)=\{v\in P:v\sim u\}$ based at $u$ and what is called a Holonomy group $\Phi(u)=\{a\in G:u\sim ua\}$ based at $u$.

Given $p\in P$ we have $\Omega(p)(X(p),Y(p))\in \mathfrak{g}$ for all $X(p),Y(p)\in T_pP$.

As $\Phi(u)$ is a Lie subgroup of $G$, we have, Lie algebra of $\Phi(u)$ to be subalgebra of $\mathfrak{g}$.

So, from curvature form, we get a collection that is a subset of $\mathfrak{g}$ and from holonomy group/holonomy bundle we get a collection that is a subset of $\mathfrak{g}$ and considering suitable restrictions, it is natural to expect these two sets to be same. Ambrose-Singer Holonomy theorem what is the precise relation between these. The set $\Omega(p)(X(p),Y(p))$ where $p\in P(u)$ and $X(p),Y(p)\in H_pP$ generated the Lie algebra of $\Phi(u)$.

More precisely, we have the following.

Let $P(M,G)$ be a Principal bundle where $M$ is connected and paracompact. Let $\Gamma$ be a connection in $P$, $\Omega$ the curvature form, $\Phi(u)$ the holonomy group with reference point $u\in P$ and $P(u)$ the holonomy bundle through $u$ of $\Gamma$. Then the Lie algebra of holonomy group $\Phi(u)$ is equal to the subspace of $\mathfrak{g}$, Lie algebra of $G$, generated by all elements of the form $\Omega_v(X,Y)$ where $v\in P(u)$ and $X$ and $Y$ are arbitrary horizontal vectors at $v$.

This is very natural thing one can expect but the proof is not that simple (I am not saying I could have guessed the statement, I am saying that if some one show me this statement and ask me to guess if that is true or not I would have said that it is mostly true). The proof given in Kobayashi involves some thing called involutive distribution. I want to know if there is any alternative proof for this result.

We have to prove $\mathfrak{g}'$ which is Lie algebra of $\Phi(u)$ is spanned by elements of the form $\Omega(p)(X(p),Y(p))$ where $p\in P(u)$.

Let $v\in \mathfrak{g}'$ i.e., there exists a smooth curve $\alpha:[-1,1]\rightarrow \Phi(u)$ such that $\alpha(0)=e$ and $\alpha'(0)=v$. Then, I want to prove $v=\sum a_i \Omega(p_i)(X(p_i),Y(p_i))$. So, I have to look for some elements $p_i\in P(u)$ and then some horizontal vectors $X(p_i),Y(p_i)$. It is not clear what choice of $p_i$ should one make. I am not very sure if this approach works or not. Any suggestion on making this approach work are welcome. Any other alternative proof is also welcome. An exposition of proof given in Kobayashi and Nomizu is also welcome.

  • $\begingroup$ By "involutive distribution" they just mean "vector subbundle of the tangent bundle whose smooth sections are closed under Lie bracket", as in the Frobenius theorem. $\endgroup$ – Ben McKay Sep 24 '18 at 17:54
  • 1
    $\begingroup$ There is a nice proof in section 4.8, theorem 6, of Koszul, TIFR Lectures on Fiber Bundles and Differential Geometry. I doubt if it is clearer or simpler than the other proofs; they all seem to be essentially the same. $\endgroup$ – Ben McKay Sep 24 '18 at 18:01
  • $\begingroup$ I only know definition and $1$ or $2$ things about involutive distribution. A distribution on a manifold can be seen as a subbundle of tangent bundle. Given any two sections of tangent bundle (vector fields on $M$) $X,Y:M\rightarrow TM$ we can talk about their Lie bracket $[X,Y]$. I call a distribution involutive if Lie bracket $[X,Y]$ has its image in $E$ if both $X$ and $Y$ have their image in $E$.. I will check that notes :) Thank you @BenMcKay $\endgroup$ – Praphulla Koushik Sep 24 '18 at 18:05
  • $\begingroup$ I do not completely understand when you say "To correct the statement. you need to parallel translate curvature from other points"... Can you please elaborate.. @BenMcKay $\endgroup$ – Praphulla Koushik Sep 24 '18 at 18:07
  • 1
    $\begingroup$ A complete correct and concise statement in modern notation is in Joyce, Riemannian Holonomy Groups and Calibrated Geometry, Theorem 2.4.3, p. 31. He doesn't give a proof, but instead refers for proof to the original paper of Ambrose and Singer and to the incorrect statement you give above from Kobayashi and Nomizu. $\endgroup$ – Ben McKay Sep 24 '18 at 18:13

I always find it easier to work with the vector bundle induced by a linear representation of the structure group. I believe this theorem is a consequence of the following loop formula (a terse proof can be found in Holonomy Equals Curvature):

If \begin{align*} M &= \text{smooth manifold}\\ E &= \text{rank $n$ vector bundle over $M$}\\ \nabla &= \text{connection on $E$}\\ R &= \text{curvature tensor of $\nabla$}\\ \Omega &=\text{curvature $2$-form of $\nabla$}\\ \gamma: [0,1]\rightarrow M &=\text{ null-homotopic loop in }M\\ p &= \gamma(0) = \gamma(1)\\ \Gamma: [0,1]\times[0,1]\rightarrow M &=\text{ smooth homotopy from $p$ to $\gamma$}\\ P_\gamma: E_p\rightarrow E_p &=\text{ parallel translation around $\gamma$}, \end{align*} then $$ \int_{[0,1]\times[0,1]} \pi_{(s,t)}^{-1}\Omega\hat\pi_{(s,t)} = P_\gamma - 1, $$ where $\pi_{(s,t)}: E_{p} \rightarrow E_{\Gamma(s,t)}$ is parallel translation along the curve $\Gamma(\cdot,t)$ from $p$ to $\Gamma(s,t)$ and $\hat\pi_{(s,t)}: E_p \rightarrow E_{\Gamma(s,t)}$ is parallel translation first along $\Gamma(1,\cdot)$ from $p$ to $\gamma(t) = \Gamma(1,t)$ and then along $\Gamma(\cdot,t)$ from $\Gamma(1,t)$ to $\Gamma(s,t)$.

  • 1
    $\begingroup$ I find this to be exceptionally clean. $\endgroup$ – Mike Miller Sep 25 '18 at 22:50
  • $\begingroup$ Well, to be honest, that's mostly because I've hidden the mess inside the notation. $\endgroup$ – Deane Yang Sep 25 '18 at 23:12
  • 1
    $\begingroup$ A sign of good notation! $\endgroup$ – Mike Miller Sep 25 '18 at 23:14
  • $\begingroup$ I have some difficulties seeing as connection on vector bundles. .. I will try to understand this and hope I can write something as precise as this in case of principal bundles. Thank you :) $\endgroup$ – Praphulla Koushik Sep 26 '18 at 4:43
  • $\begingroup$ I suspect there is no integral formula on a principal bundle, so the infinitesimal formula needed has to be derived directly. However, the idea of the proof should be similar. Given $f_p \in P_p$, you can extend $f_p$ along $\Gamma$ in two different ways. One is to parallel transport $f_p$ along the curves $\Gamma(s,\cdot)$ and the other is to parallel transport $f_p$ first along the curve $\gamma$ and then back to $p$ via the curves $\Gamma(s,\cdot)$. You then differentiate with respect to $s$ and then $t$, as well as in the opposite order, and compare. $\endgroup$ – Deane Yang Sep 26 '18 at 14:43

I think of this result in terms of Sussmann's orbit theorem. I wrote a paper about his theorem (https://arxiv.org/pdf/math/0508121.pdf), in which I show that a map of manifolds $P \to M$ which takes some family of vector fields on $P$ to a family on $M$ (in a suitable sense) takes orbits to orbits, so that each orbit in $P$ becomes a fiber bundle over the associated orbit in $M$. The proof is fairly easy to read, I hope. This is the fundamental idea behind Ambrose-Singer. As families of vector fields, you take all vector fields on $M$, and take the associated horizontal vector fields they lift to on the bundle $P$. We can add Lie brackets of vector fields to any family of vector fields without altering orbits. Applied to horizontal lifts of vector fields, these brackets compute out curvature and its covariant derivatives. So applying curvature and its covariant derivatives to vector fields in our family doesn't change the orbits. Use the flow of any one vector field in our family on $P$ to move around the others, without changing orbits. So the gives us parallel transport of the curvature and its covariant derivatives. I guess that a complete proof would not be difficult along those lines. It is not much different to Kobayashi and Nomizu.

  • $\begingroup$ Thanks for the answer... This is not completely clear but I hope I can understand after spending some more time.. Thanks.. $\endgroup$ – Praphulla Koushik Sep 25 '18 at 4:35

There is another approach in JP. Magnot; Structure Groups and Holonomy in Infinite Dimensions, Bull. Sci. Math. 128 (2004) 513–529 based on the very nice book from Lichnerowicz Théorie globale des connexions et des groupes d’holonomie, Cremonese, Roma, 1956, where this theorem is extended to an infinite-dimensional setting.


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.