- Principal bundle
In
mathematics , a principal bundle is a mathematical object which formalizes some of the essential features of aCartesian product "X" × "G" of a space "X" with a group "G". Analogous to the Cartesian product, a principal bundle "P" is equipped with
# An action of "G" on "P", analogous to ("x","g")"h" = ("x", "gh") for the product space.
# A projection onto "X", which is just the projection onto the first factor for a product space: ("x","g") → "x".Unlike a product space, however, principal bundles lack a preferred choice of identity cross-section; they have no preferred analog of ("x","e"). Likewise, there is not generally a projection onto "G" generalizing the projection ("x","g") → "g" onto the second factor. They may also have a complicatedtopology , which prevents them from being realized as a product space even if a number of arbitrary choices are made; they arefiber bundle s.A common example of a principal bundle is the
frame bundle F"E" of avector bundle "E", which consists of all ordered bases of the vector space attached to each point. The group "G" in this case is thegeneral linear group , which acts in the usual way on ordered bases. Since there is no preferred way to choose an ordered basis of a vector space, a frame bundle lacks a canonical choice of identity cross-section.In formal terms, a principal "G"-bundle is a
fiber bundle "P" on atopological space "X" equipped with a free and transitive action of atopological group "G" on the fibers of "P". The fibers are thenprincipal homogeneous space s for the right action of "G" on itself. Principal "G"-bundles are fiber bundles withstructure group "G" as well, in the sense that they admit alocal trivialization in which thetransition map s are given by transformations in "G".Principal bundles have important applications in
topology anddifferential geometry . They have also found application inphysics where they form part of the foundational framework of gauge theories. Principal bundles provide a unifying framework for the theory of fiber bundles in the sense that all fiber bundles with structure group "G" determine a unique principal "G"-bundle from which the original bundle can be reconstructed.Formal definition
A principal "G"-bundle is a
fiber bundle "π" : "P" → "X" together with a continuous right action "P" × "G" → "P" by atopological group "G" such that "G" preserves the fibers of "P" and acts freely and transitively on them. The abstract fiber of the bundle is taken to be "G" itself. (One often requires the base space "X" to be aHausdorff space and possiblyparacompact ).It follows that the orbits of the "G"-action are precisely the fibers of "π" : "P" → "X" and the orbit space "P"/"G" is
homeomorphic to the base space "X". To say that "G" acts freely and transitively on the fibers means that the fibers take on the structure of "G"-torsors (i.e., they are spaces with a transitive free group action, hence we are given a family of principal homogeneous spaces over the base space). A "G"-torsor is a space which is homeomorphic to "G" but lacks a group structure since there is no preferred choice of anidentity element .A principal "G"-bundle can also be characterized as a "G"-bundle "π" : "P" → "X" with fiber "G" where the structure group acts on the fiber by left multiplication. Since right multiplication by "G" on the fiber commutes with the action of the structure group, there exists an invariant notion of right multiplication by "G" on "P". The fibers of "π" then become right "G"-torsors for this action.
One can also define principal "G"-bundles in the category of
smooth manifold s. Here "π" : "P" → "X" is required to be asmooth map between smooth manifolds, "G" is required to be aLie group , and the corresponding action on "P" should be smooth.Examples
The prototypical example of a smooth principal bundle is the
frame bundle of a smooth manifold "M", often denoted F"M" or GL("M"). Here the fiber over a point "x" in "M" is the set of all frames (i.e. ordered bases) for thetangent space "T""x""M". Thegeneral linear group GL("n",R) acts simply-transitively on these frames. These fibers can be glued together in a natural way so as to obtain a principal GL("n",R)-bundle over "M".Variations on the above example include the
orthonormal frame bundle of aRiemannian manifold . Here the frames are required to beorthonormal with respect to the metric. The structure group is theorthogonal group O("n").More generally, if "E" is any vector bundle of rank "k" over "M", then the bundle of frames of "E" is a principal GL("k",R)-bundle, sometimes denoted F("E").
A normal (regular)
covering space "p" : "C" → "X" is a principal bundle where the structure group acts on "C" via the monodromy action. In particular, theuniversal cover of "X" is a principal bundle over "X" with structure group .Let "G" be any Lie group and let "H" be a closed subgroup (not necessarily normal). Then "G" is a principal "H"-bundle over the (left)
coset space "G"/"H". Here the action of "H" on "G" is just right multiplication. The fibers are the left cosets of "H" (in this case there is a distinguished fiber, the one containing the identity, which is naturally isomorphic to "H").Consider the projection π: "S"1 → "S"1 given by "z" ↦ "z"2. This principal Z2-bundle is the
associated bundle of theMöbius strip . Besides the trivial bundle, this is the only principal Z2-bundle over "S"1.Projective space s provide more interesting examples of principal bundles. Recall that the "n"-sphere "S""n" is a two-fold covering space ofreal projective space RP"n". The natural action of O(1) on "S""n" gives it the structure of a principal O(1)-bundle over RP"n". Likewise, "S"2"n"+1 is a principalU(1) -bundle overcomplex projective space CP"n" and "S"4"n"+3 is a principalSp(1) -bundle overquaternionic projective space HP"n". We then have a series of principal bundles for each positive "n":: : :Here "S"("V") denotes the unit sphere in "V" (equipped with the Euclidean metric). For all of these examples the "n" = 1 cases give the so-calledHopf bundle s.Trivializations and cross sections
One of the most important questions regarding fiber bundles is whether or not they are trivial (i.e. isomorphic to a product bundle). For principal bundles there is a convenient characterization of triviality:
:Theorem. "A principal bundle is trivial if and only if it admits a global cross section."
The same is not true for other fiber bundles.
Vector bundle s, for instance, always have a zero section whether they are trivial or not, and sphere bundles may admit many global sections without being trivial.The same theorem applies to local trivializations of a principal bundles. Let "π" : "P" → "X" be a principal "G"-bundle. An
open set "U" in "X" admits a local trivialization if and only if there exists a local section on "U". Given a local trivialization one can define an associated local section by:where "e" is the identity in "G". Conversely, given a section "s" one defines a trivialization Φ by:The fact that "G" acts simply transitively on the fibers of "P" guarantees that this map is abijection . One can check that it is also ahomeomorphism . The local trivializations defined by local sections are "G"-equivariant in the following sense. If we write in the form then the map satisfies:Equivariant trivializations therefore preserve the "G"-torsor structure of the fibers. In terms of the associated local section "s" the map "φ" is given by:The local version of the cross section theorem then states that the equivariant local trivializations of a principal bundle are in one-to-one correspondence with local sections.Given an equivariant local trivialization ({"U""i"}, {Φ"i"}) of "P", we have local sections "s""i" on each "U""i". On overlaps these must be related by the action of the structure group "G". In fact, the relationship is provided by the
transition function s:For any "x" in "U""i" ∩ "U""j" we have:Characterization of smooth principal bundles
If "π" : "P" → "X" is a smooth principal "G"-bundle then "G" acts freely and properly on "P" so that the orbit space "P"/"G" is
diffeomorphic to the base space "X". It turns out that these properties completely characterize smooth principal bundles. That is, if "P" is a smooth manifold, "G" a Lie group and "μ" : "P" × "G" → "P" a smooth, free, and proper right action then
*"P"/"G" is a smooth manifold,
*the natural projection "π" : "P" → "P"/"G" is a smooth submersion, and
*"P" is a smooth principal "G"-bundle over "P"/"G".Reduction of the structure group
Given a subgroup , one may consider the bundle whose fibers are homeomorphic to the
coset space . If the new bundle admits a global section, then one says that the section is a reduction of the structure group from "G" to "H" . The reason for this name is that the (fiberwise) inverse image of the values of this section form a subbundle of "P" which is a principal "H"-bundle. If "H" is the identity, then a section of "P" itself is a reduction of the structure group to the identity. Reductions of the structure group do not in general exist.Many topological questions about the structure of a bundle may be rephrased as to questions about the admissibility of the reduction of the structure group. For example:
* A 2"n"-dimensional real manifold admits an
almost-complex structure if theframe bundle on the manifold, whose fibers are , can be reduced to the group .* An "n"-dimensional manifold admits "n" vector fields that are linearly independent at each point if its
frame bundle isparallelizable , that is, if the frame bundle admits a global section.* An "n"-dimensional real manifold admits a "k"-plane field if the frame bundle can be reduced to the structure group .
Associated vector bundles and frames
If "P" is a principal "G"-bundle and "V" is a
linear representation of "G", then one can construct a vector bundle with fibre "V", as the quotient of the product "P"×"V" by the diagonal action of "G". This is a special case of theassociated bundle construction, and "E" is called anassociated vector bundle to "P". If the representation of "G" on "V" is faithful, so that "G" is a subgroup of the general linear group GL("V"), then "E" is a "G"-bundle and "P" provides a reduction of structure group of the frame bundle of "E" from GL("V") to "G". This is the sense in which principal bundles provide an abstract formulation of the theory of frame bundles.ee also
*
associated bundle
*vector bundle
*G-structure
*gauge theory References
*cite book | first = David | last = Bleecker | title = Gauge Theory and Variational Principles | year = 1981 | publisher = Addison-Wesley Publishing | id = ISBN 0-486-44546-1 (Dover edition)
*cite book | first = Jürgen | last = Jost | title = Riemannian Geometry and Geometric Analysis | year = 2005 | edition = (4th ed.) | publisher = Springer | location = New York | id = ISBN 3-540-25907-4
*cite book | last = Sharpe | first = R. W. | title = Differential Geometry: Cartan's Generalization of Klein's Erlangen Program | publisher = Springer | location = New York | year = 1997 | id = ISBN 0-387-94732-9
*cite book | last = Steenrod | first = Norman | title = The Topology of Fibre Bundles | publisher = Princeton University Press | location = Princeton | year = 1951 | id = ISBN 0-691-00548-6
Wikimedia Foundation. 2010.