Bundle of connections

An affine bundle over a manifold whose sections are connections on a fixed bundle.
Bundle of connections

Let π ⁣:PM\pi\colon P\to M be a . The set of on PP is an affine space; the “bundle of connections” packages this affineness pointwise over MM.

Definition (Connection bundle; principal case)

The bundle of connections of PP is the affine bundle

C(P)M \mathcal{C}(P) \to M

defined as the quotient

C(P):=J1P/G, \mathcal{C}(P) := J^1P / G,

where J1PJ^1P is the of PP and GG acts by prolongation of the principal right action.

It has the property that:

  • Sections of C(P)M\mathcal{C}(P)\to M are in natural bijection with principal connections on PP.

Moreover, C(P)M\mathcal{C}(P)\to M is an affine bundle modeled on the vector bundle

TMAd(P), T^*M \otimes \mathrm{Ad}(P),

so the difference of two connections is an Ad(P)\mathrm{Ad}(P)-valued 1-form (a section of TMAd(P)T^*M\otimes \mathrm{Ad}(P)). Here TMT^*M is the and Ad(P)\mathrm{Ad}(P) is the adjoint bundle associated to PP.

Vector bundle variant

If EME\to M is a vector bundle, the set of is an affine space modeled on Ω1(M;End(E))\Omega^1(M;\mathrm{End}(E)), and there is an analogous affine bundle over MM whose sections correspond to connections on EE.

Examples

  1. Trivial principal bundle. If P=M×GP=M\times G, then choosing the product trivialization identifies connections with g\mathfrak{g}-valued 1-forms on MM, so C(P)\mathcal{C}(P) is (noncanonically) isomorphic to an affine bundle modeled on TM(M×g)T^*M\otimes (M\times \mathfrak{g}).
  2. Line bundles. For a principal U(1)U(1)-bundle, the difference of two connections is an ordinary real 1-form on MM, reflecting that Ad(P)\mathrm{Ad}(P) is a trivial real line bundle.
  3. Levi–Civita as a section. The Levi–Civita connection determines a distinguished section of the connection bundle of the orthonormal frame bundle of a Riemannian manifold.