MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $(P,\pi,B,G)$ be a principal bundle with total space $P$, base $B$, projection $\pi$ and structure group $G$.

Now I am searching for a good reference (with proofs) for the following facts:

1) The fundamental vector fields on $P$ span pointwise the vertical space - or equivalently they generate the $C^\infty(P)$-module of smooth sections of the vertical bundle.

2) Let $\gamma \colon TP \to \mathrm{Lie}(G)$ a connection one-form. The horizontal lifts of vector fields span pointwise the horizontal space - or equivalently they generate the $C^\infty(P)$-module of smooth sections of the horizontal bundle.

share|cite|improve this question
The first chapter of the book of Kobayashi-N*** "Foundations of differential geometry" – Guangbo Xu Jul 16 '10 at 9:28
Thanks, the exact references are: Kobayashi-N*** before Prop.I 5.1 and before Prop. II 1.2. Any further reference? – student Jul 16 '10 at 10:11
For the second point, see… – student Oct 2 '10 at 14:56

You can have a look at Sharpe's differential geometry, whose title makes it difficult to catch among all those books named the same, but is interested in Elie Cartan's point of view on geometric structures. It contains a lot of material on these topics, and tries to relate this to intuition in a nice manner.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.