I am trying to familiarize myself with the use of fibre bundles and associated bundles but am having some problems actually making calculations. I would like to show that the covariant derivative along the horizontal lift of a curve in the base space vanishes (which should be just a matter of employing definitions correctly I think):(adsbygoogle = window.adsbygoogle || []).push({});

Consider a principal fibre bundle [itex](E, \pi, M)[/itex] with a structure group [itex]G[/itex] associated to a vector bundle [itex](E_F, \pi_F, M)[/itex], where [itex]F[/itex] is a vector space. Let [itex]\alpha(t): [a, b] \rightarrow M[/itex] and [itex]\alpha^{\uparrow}_F(t): M \rightarrow E_F[/itex] be the horizontal lift of [itex]\alpha[/itex] in the associated bundle. Let [itex]\Psi(x): M \rightarrow E_F[/itex], with [itex]x \in M[/itex] be a section of the associated bundle, such that [itex]\Psi(\alpha(t)) = \alpha^{\uparrow}_F(t)[/itex]

Show that the covariant derivative [itex]\nabla_{\alpha}\Psi[/itex] evaluated along [itex]\alpha(t)[/itex] vanishes.

I know that the covariant derivative can be written as

[itex]\nabla_{\mu}\Psi(x) = \partial_{\mu}\Psi(x) + A_{\mu}(x)\Psi(x)[/itex]

but I cannot work out how to use the relation between [itex]\Psi[/itex] and [itex]\alpha^{\uparrow}_F(t)[/itex] to show that it vanishes (if indeed it should).

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Covariant derivative along a horizontal lift in an associated vector bundle

Can you offer guidance or do you also need help?

Draft saved
Draft deleted

Loading...

Similar Threads - Covariant derivative along | Date |
---|---|

I What is the covariant derivative of the position vector? | Feb 18, 2018 |

I Covariant derivative of Ricci scalar causing me grief! | Nov 26, 2017 |

A Covariant derivative only for tensor | Sep 23, 2017 |

I Product rule for exterior covariant derivative | May 15, 2017 |

I Conservation of dot product with parallel transport | Jan 15, 2017 |

**Physics Forums - The Fusion of Science and Community**