Principal SU(2)-bundle
In mathematics, especially differential geometry, principal -bundles (or principal -bundles) are special principal bundles with the second special unitary group (isomorphic to the first symplectic group ) as structure group. Topologically, it has the structure of the three-dimensional sphere, hence principal -bundles without their group action are in particular sphere bundles. These are basically topological spaces with a sphere glued to every point, so that all of them are connected with each other, but globally aren't necessarily a product and can instead be twisted like a Möbius strip.
Principal -bundles are used in many areas of mathematics, for example for the Fields Medal winning proof of Donaldson's theorem[1][2] or instanton Floer homology. Since is the gauge group of the weak interaction, principal -bundles are also of interest in theoretical physics. In particular, principal -bundles over the four-dimensional sphere , which include the quaternionic Hopf fibration, can be used to describe hypothetical magnetic monopoles in five dimensions, known as Wu–Yang monopoles, see also four-dimensional Yang–Mills theory.
Definition
[edit]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 continuos 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 transfered. 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.
Classification
[edit]Principal -bundles can be fully classified using the classifying space of the second special unitary group , which is exactly the infinite quaternionic projective space . For a topological space , let denote the set of equivalence classes of principal -bundles over it, then there is a bijection with homotopy classes:[5]
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]
is the rationalized Eilenberg–MacLane space under rationalization, but itself not the Eilenberg–MacLane space ,[9] which represents singular cohomology,[10] compare to Brown's representability theorem. But from the Postnikov tower,[11] there is a canonical map and therefore by postcomposition a canonical map:
(The composition is the Hurewicz map.) A corresponding map is given by the second Chern class. If is again a 4-manifold, then the classification is unique.[12] Although characteristic classes are defined for vector bundles, it is possible to also define them for certain principal bundles.
Associated vector bundle
[edit]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
[edit]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:
Since it has a spin structure as just described, its first and second Stiefel–Whitney classes vanish. Its first Pontrjagin class is given by:[17]
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]
- One has , which means that (using ) there is a principal -bundle . Such bundles are classified by:[18]
See also
[edit]Literature
[edit]- Donaldson, Simon (1983). "An application of gauge theory to four-dimensional topology". Journal of Differential Geometry. 18 (2). doi:10.4310/jdg/1214437665.
- Donaldson, Simon (1987). "The orientation of Yang-Mills moduli spaces and 4-manifold topology". Journal of Differential Geometry. 26 (3). doi:10.4310/jdg/1214441485.
- Freed, Daniel (1991). Instantons and 4-Manifolds. Cambridge University Press. ISBN 978-1-4613-9705-2.
- Hatcher, Allen (2001). Algebraic Topology. Cambridge University Press. ISBN 0-521-79160-X.
- Mitchell, Stephen (2011). "Notes on principal bundles and classifying spaces" (PDF).
- Hatcher, Allen (2017). Vector Bundles and K-Theory (PDF).
References
[edit]- ^ Donaldson 1983
- ^ Donaldson 1987
- ^ Freed & Uhlenbeck 1984, p. 29
- ^ Mitchell 2001, p. 2
- ^ Mitchell 2011, Theorem 7.4
- ^ Hatcher 2001, p. 222
- ^ Hatcher 2001, Theorem 4.8.
- ^ a b Freed & Uhlenbeck 1984, Theorem E.5.
- ^ Hatcher 2001, Example 4.50.
- ^ Hatcher 2001, Theorem 4.57.
- ^ Hatcher 2001, p. 410
- ^ Donaldson 1983, p. 282
- ^ Donaldson 1983, p. 287
- ^ Freed & Uhlenbeck 1984, p. 34
- ^ Hatcher 2017, Proposition 3.10.
- ^ Freed & Uhlenbeck 1984, Proposition 2.11.
- ^ a b Freed & Uhlenbeck 1984, p. 180
- ^ a b Mitchell 2011, Corollary 11.2
- ^ Mimura, Mamoru; Toda, Hiroshi (1963). "Homotopy Groups of SU(3), SU(4) and Sp(2)". Journal of Mathematics of Kyoto University. 3 (2): 217–250. doi:10.1215/kjm/1250524818.
- ^ Donaldson 1983, p. 295