Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Principal bundle
Summary
In mathematics, a principal bundle is a mathematical object that formalizes some of the essential features of the Cartesian product of a space with a group . In the same way as with the Cartesian product, a principal bundle is equipped with
An action of on , analogous to for a product space.
A projection onto . For a product space, this is just the projection onto the first factor, .
Unlike a product space, principal bundles lack a preferred choice of identity cross-section; they have no preferred analog of . Likewise, there is not generally a projection onto generalizing the projection onto the second factor, that exists for the Cartesian product. They may also have a complicated topology that prevents them from being realized as a product space even if a number of arbitrary choices are made to try to define such a structure by defining it on smaller pieces of the space.
A common example of a principal bundle is the frame bundle of a vector bundle , which consists of all ordered bases of the vector space attached to each point. The group in this case, is the general linear group, which acts on the right in the usual way: by changes of basis. Since there is no natural way to choose an ordered basis of a vector space, a frame bundle lacks a canonical choice of identity cross-section.
Principal bundles have important applications in topology and differential geometry and mathematical gauge theory. They have also found application in physics where they form part of the foundational framework of physical gauge theories.
A principal -bundle, where denotes any topological group, is a fiber bundle together with a continuous right action such that preserves the fibers of (i.e. if then for all ) and acts freely and transitively (meaning each fiber is a G-torsor) on them in such a way that for each and , the map sending to is a homeomorphism. In particular each fiber of the bundle is homeomorphic to the group itself. Frequently, one requires the base space to be Hausdorff and possibly paracompact.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.