Principal Bundles and Ehresmann Connections

Principal bundles provide the natural framework for connections in their full generality. The theory unifies Riemannian geometry, gauge theory, and the geometry of fiber bundles.

Principal Bundles

Definition7.8Principal $G$-bundle

Let $G$ be a Lie group. A principal $G$ -bundle over $M$ is a smooth fiber bundle $\pi: P \to M$ with a free right $G$ -action $P \times G \to P$ such that:

The action preserves fibers: $\pi(p \cdot g) = \pi(p)$ .
The orbit space $P/G$ is diffeomorphic to $M$ via $\pi$ .
$P$ is locally trivial: each point of $M$ has a neighborhood $U$ with $\pi^{-1}(U) \cong U \times G$ equivariantly.

ExampleFrame bundle

The frame bundle $\mathrm{Fr}(M) \to M$ of an $n$ -manifold has fiber over $p$ consisting of all ordered bases (frames) of $T_pM$ . It is a principal $\mathrm{GL}(n, \mathbb{R})$ -bundle. For a Riemannian manifold, the orthonormal frame bundle is a principal $O(n)$ -bundle.

Ehresmann Connections

Definition7.9Ehresmann connection

An Ehresmann connection on a principal $G$ -bundle $P \to M$ is a $G$ -equivariant distribution $H \subset TP$ (the horizontal distribution) complementary to the vertical subbundle $V = \ker(d\pi)$ :

T_pP = V_p \oplus H_p \quad \text{for all } p \in P,

with $H_{p \cdot g} = (R_g)_* H_p$ ( $G$ -equivariance).

Definition7.10Connection 1-form

Equivalently, an Ehresmann connection is a $\mathfrak{g}$ -valued 1-form $\omega \in \Omega^1(P; \mathfrak{g})$ satisfying:

$\omega(A^\#) = A$ for all $A \in \mathfrak{g}$ , where $A^\#$ is the fundamental vector field.
$R_g^*\omega = \mathrm{Ad}(g^{-1})\omega$ ( $G$ -equivariance).

The horizontal space is $H_p = \ker(\omega_p)$ .

Associated Bundles and Induced Connections

Definition7.11Associated vector bundle

Given a principal $G$ -bundle $P \to M$ and a representation $\rho: G \to \mathrm{GL}(V)$ , the associated vector bundle is $E = P \times_G V = (P \times V)/G$ , where $G$ acts by $(p, v) \cdot g = (p \cdot g, \rho(g^{-1})v)$ .

Theorem7.3Correspondence of connections

There is a bijection between connections on a principal $G$ -bundle $P$ and connections on any associated vector bundle $E = P \times_G V$ . The Levi-Civita connection on a Riemannian manifold corresponds to a connection on the orthonormal frame bundle.

ExampleLine bundles and $U(1)$ connections

A Hermitian line bundle $L \to M$ is associated to a principal $U(1)$ -bundle. A connection on $L$ is locally a 1-form $A \in \Omega^1(U)$ (the vector potential), and the curvature is $F = dA$ , a closed 2-form. The first Chern class $c_1(L) = [\frac{F}{2\pi}] \in H^2(M; \mathbb{Z})$ is a topological invariant.

RemarkChern-Weil theory

Given a connection $\omega$ on a principal $G$ -bundle with curvature $\Omega$ , and an $\mathrm{Ad}$ -invariant polynomial $P$ on $\mathfrak{g}$ , the form $P(\Omega) \in \Omega^{2k}(M)$ is closed, and its cohomology class is independent of the connection. This produces characteristic classes: Chern classes (for $U(n)$ -bundles), Pontryagin classes (for $O(n)$ -bundles), and the Euler class (for oriented bundles). These are topological invariants of the bundle computed from any connection.