Dirac monopole connection on the Hopf bundle

A principal U(1) connection on the Hopf bundle whose curvature is a nonzero two-form on the 2-sphere.
Dirac monopole connection on the Hopf bundle

Consider the π:S3S2\pi:S^3\to S^2, a principal U(1)U(1)-bundle.

Definition (Dirac monopole connection)

A Dirac monopole connection is a on π:S3S2\pi:S^3\to S^2 whose curvature 2-form on the base represents the generator of H2(S2;Z)H^2(S^2;\mathbb Z) under the usual normalization for circle bundles.

One standard description uses local gauge potentials on the usual two-chart cover of S2S^2:

  • On UN=S2{south pole}U_N=S^2\setminus\{\text{south pole}\}, choose a local section and define a 1-form ANA_N.
  • On US=S2{north pole}U_S=S^2\setminus\{\text{north pole}\}, choose a local section and define a 1-form ASA_S.

These satisfy on the overlap UNUSU_N\cap U_S the gauge relation

AS=ANdχ A_S = A_N - d\chi

for a transition function eiχ:UNUSU(1)e^{i\chi}:U_N\cap U_S\to U(1) of winding number 11.

A convenient explicit choice in spherical coordinates (θ,φ)(\theta,\varphi) on the overlap is

AN=1cosθ2dφ,AS=1+cosθ2dφ, A_N=\frac{1-\cos\theta}{2}\,d\varphi, \qquad A_S=-\frac{1+\cos\theta}{2}\,d\varphi,

which differ by AS=ANdφA_S=A_N-d\varphi on the overlap (so χ=φ\chi=\varphi).

Curvature

The 2-form is globally well-defined on S2S^2 by

F=dAN=dAS=12sinθdθdφ. F = dA_N = dA_S = \frac12\sin\theta\, d\theta\wedge d\varphi.

This is a nonzero multiple of the standard area form. In particular, FF is not exact as a globally defined 2-form with the integrality normalization for U(1)U(1)-bundles; geometrically, this encodes the nontriviality of the Hopf bundle.

Examples

  1. Holonomy around latitude circles.
    Fix θ=θ0\theta=\theta_0. Parallel transport around the loop φ[0,2π]\varphi\in[0,2\pi] produces a phase in U(1)U(1) whose argument is the integral of ANA_N (or ASA_S) along the loop; this equals half the solid angle enclosed, matching the curvature-area interpretation.

  2. Higher charge monopoles.
    Replacing the transition function eiφe^{i\varphi} by einφe^{in\varphi} yields a family of principal U(1)U(1)-bundles and connections with curvature nFnF, corresponding to Chern number nn.

  3. Intrinsic description on the total space.
    There is a canonical U(1)U(1)-invariant 1-form on S3S^3 (a contact form) whose kernel defines the horizontal distribution; pushing this connection down recovers the above local potentials on the base.