Principal -bundles are generalizations of canonical projections for topological spaces, so that the source is not globally a product but only locally. More concretely, a continuous map with a continuous right group action, which preserves all preimages of points, hence for all and , and also acts free and transitive on all preimages of points, which makes all of them homeomorphic to , is a principal -bundle.[3][4]
Since principal bundles are in particular fiber bundles with the group action missing, their nomenclature can be transferred. is also called the total space and is also called the base space. Preimages of points are then the fibers. Since is a Lie group, hence in particular a smooth manifold, the base space is often chosen to be a smooth manifold as well since this automatically makes the total space into a smooth manifold as well.
is a CW complex with its -skeleton being for the largest natural number with .[6] For a -dimensional CW complex , the cellular approximation theorem[7] states that every continuous map is homotopic to a cellular map factoring over the canonical inclusion . As a result, the induced map is surjective, but not necessarily injective as higher cells of allow additional homotopies. In particular if is a CW complex of seven or less dimensions, then and with , there is a connection to cohomotopy sets with a surjective map:
If is a 4-manifold, then injectivity and therefore bijectivity holds since all homotopies can be shifted into the -skeleton of . If is a 5-manifold, this is no longer holds due to possible torsion in cohomology.[8]
Given a principal -bundle , there is an associated vector bundle. Intuitively, the spheres at every point are filled over the canonical inclusions .
Since the determinant is constant on special unitary matrices, the determinant line bundle of this vector bundle is classified by a constant map and hence trivial. Since the determinant preserves the first Chern class, it is always trivial. Therefore the vector bundle is only described by the second Chern class .
Since there is a canonical inclusion , every principal -bundle can be associated a principal -bundle . If is the associated complex line bundle of , then is the associated complex plane bundle of , exactly as claimed by the canonical inclusion. Hence the Chern classes of are given by:[13][14]
If is a principal -bundle over a CW complex with and for a singular cohomology class , then there exists a principal -bundle with since the first Chern class of principal -bundle over CW complexes is an isomorphism.[15] Hence and have identical Chern classes. If is a 4-manifold, then both principal -bundles are isomorphic due to the unique classification by the second Chern class.[8][16]
Adjoint vector bundle
For the associated vector bundle, it is necessary that is a matrix Lie group. But there is also the adjoint vector bundle, for which this is not necessary, since it uses the always existing adjoint representation with induced map . In fact, the adjoint representation is even the double cover .[17] For a principal -bundle with classifying map with , the adjoint vector bundle is given by:
Unlike the associated vector bundle, a complex plane bundle, the adjoint vector bundle is a orientable real vector bundle of third rank. Also since acts by simple multiplication on the former and by conjugation on the latter, the vector bundles can't be compared. An application of the adjoint vector bundle is on connections or more generally Lie algebra valued differential forms on the principal -bundle:
Examples
By definition of quaternionic projective space, the canonical projection is a principal -bundle. With the quaternionic Hopf fibration is a special case. For the general case, the classifying map is the canonical inclusion:
One has , which means that there is a principal -bundle . Such bundles are classified by:[18]
is the non-trivial one, which can for example be detected by the fourth homotopy group: