Skip to main content
1 of 2
Tobias Diez
  • 5.8k
  • 24
  • 45

Yes, they coincide (at least if I understand you correctly).

Let $\check{\gamma}$ be a path in $M$. If we fix a lift $\gamma$ in P, then the horizontal lift $\gamma_\omega$ of $\check{\gamma}$ is necessarily of the form $\gamma_\omega(t) = \gamma(t) \cdot g(t)$ for some curve $g: [0,1] \to G$. Differentiating this relation with respect to $ t $ yields $$ \omega(\dot \gamma_\omega(t)) = \omega(\dot \gamma (t) . g(t)) + \omega(\gamma(t) . \dot g(t)) \\ = \omega(\dot \gamma (t) . g(t)) + \omega(\gamma(t) \cdot g(t) . g(t)^{-1} \dot g(t)) \\ = Ad^{-1}_{g(t)} \omega(\dot \gamma (t)) + g(t)^{-1} \dot g(t).$$ Using the fact that that $\gamma_\omega$ is horizontal, we consequently get $\dot g(t) g^{-1}(t) = - \omega(\dot \gamma (t))$.

Tobias Diez
  • 5.8k
  • 24
  • 45