Nontrivial principal bundle with no global section
Illustration of the fact that a principal bundle is trivial exactly when it admits a global smooth section.
Let be a principal G-bundle.
Triviality criterion via sections
A smooth global section (so ) trivializes :
- Define
- Then is a -equivariant diffeomorphism covering .
- Hence is isomorphic to the trivial principal bundle .
Conversely, the trivial bundle always has the canonical section .
So:
Counterexample (no global section)
The Hopf bundle is a principal -bundle that admits no global smooth section, and therefore is nontrivial. Concretely, a section would give a -equivariant identification , contradicting the known topology of and the nontrivial clutching of the bundle.
Examples
- Hopf fibration. The Hopf fibration has no global section, so it is not isomorphic to .
- Circle base with disconnected structure group. Using the clutching construction over the circle with and gluing element produces a nontrivial principal bundle over ; it has no global section.
- Trivial bundles always have sections. For any and , the section exhibits as trivial.