I have trouble understanding how a connection one-form can separate and tangent space##{T_u}P## of a principal bundle uniquely into horizontal and vertical spaces ##{H_u}P \oplus {V_u}P## since from the literature I am learning (mainly Nakahara' book), the connection one-form is a Lie-algebra-valued one-form that satisfies(adsbygoogle = window.adsbygoogle || []).push({});

1, ##\omega ({A^\# }) = A##

2, ##{R_{g * }}{H_u}P = {H_{ug}}P##

where ##{A^\# }## is the fundamental vector field.

My question is how does it separate ##{T_u}P## uniquely since from the first requirement we only project the vertical space into its corresponding Lie algebra. Should we have some additional requirement like ##\omega (X) = 0## for ##X \in {H_u}P## ??? Or this condition can just be derived from the second requirement?

To be more specific, for two connection one-forms ##{\omega _1}## and ##{\omega _2}## that satisfy condition 1 and 2, do they have the same kernel automatically?

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

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

# A Unique separation of the vertical and horizontal spaces?

Tags:

Have something to add?

Draft saved
Draft deleted

Loading...

Similar Threads - Unique separation vertical | Date |
---|---|

Unique smooth structure on Euclidean space | Jan 4, 2016 |

Uniqueness of smooth structure | May 21, 2014 |

Is the Levi-Civita connection unique for a given manifold? | Dec 16, 2011 |

Proof of Jordan-Brouwer Separation Theorem Using Homotopy Theory? | Jul 26, 2011 |

Uniqueness of smooth structure | Sep 6, 2010 |

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