Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question
1  
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 mathoverflow.net/questions/34663/… –  student Oct 2 '10 at 14:56
add comment

1 Answer

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|improve this answer
add comment

Your Answer

 
discard

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.