Principal bundle

In the mathematical area of topology, a principal bundle is a mathematical object that formalizes some of the essential features of the Cartesian product ${\displaystyle X\times G}$ of a topological space ${\displaystyle X}$ with a group ${\displaystyle G}$, but without requiring a product structure. In the same way as with the Cartesian product, a principal bundle ${\displaystyle P}$ is equipped with

1. An action of ${\displaystyle G}$ on ${\displaystyle P}$, analogous to ${\displaystyle (x,g)h=(x,gh)}$ for a product space (where ${\displaystyle (x,g)}$ is an element of ${\displaystyle P}$ and ${\displaystyle h}$ is the group element from ${\displaystyle G}$; the group action is conventionally a right action).
2. A projection onto ${\displaystyle X}$. For a product space, this is just the projection onto the first factor, ${\displaystyle (x,g)\mapsto x}$.

Unless it is the product space ${\displaystyle X\times G}$, a principal bundle lacks a preferred choice of identity cross-section; it has no preferred analog of ${\displaystyle x\mapsto (x,e)}$. Likewise, there is not generally a projection onto ${\displaystyle G}$ generalizing the projection onto the second factor, ${\displaystyle X\times G\to G}$ that exists for the Cartesian product. It may also have a complicated topology that prevents it from being realized as a product space.

A common example of a principal bundle is the frame bundle ${\displaystyle F(E)}$ of a vector bundle ${\displaystyle E}$, which consists of all ordered bases of the vector space attached to each point. The group ${\displaystyle G,}$ 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. Important cases are principal U(1)-bundles and principal SU(2)-bundles.