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.