Suppose we had a principal -bundle
with a connection
with curvature
.
The Lie algebra is just the set of imaginary numbers
with trivial Lie bracket
. The local potential is a real-valued 1-form
defined by
. The local field strength
is defined by
.
A change of gauge is given by with
. We see that local connections are related by
, so that local potentials are related by
. Local curvatures are related by
, so that local field strengths are related by
. This means that the field strength is globally defined on
.
By the Bianchi identity we have so
, so the homogeneous Maxwell equation comes along for free. We can get the inhomogeneous Maxwell equation by requiring that
.
Now, consider the action on
given by multiplication
. Associated to our principal
bundle we get a vector bundle with fiber
with an induced connection
locally given by
. We will write sections of the associated bundle as
. We can define the d’Alembert operator
. If we require the Klein-Gordon equation,
, then we have a theory of a charged spin-0 particle coupled to electromagnetism.
In order to couple electromagnetism to more interesting particles like Dirac’s electron, we need to incorporate spin somehow.