Maxwell’s equations in relativistically covariant form are
Since we can define a 2-form
. We can also define a 1-form
. Then we can re-express Maxwell’s equations using exterior differentiation and the Hodge star.
The continuity equation then follows from the inhomogeneous Maxwell equation. We expect from the homogeneous Maxwell equation that
. In fact this is only true locally. This means that for every event
in our spacetime
there is an open set
with
and a 1-form
on
with
. This follows from Poincare’s lemma.
We cannot say the exists globally. For instance if
, the area form of the unit sphere in spherical coordinates, then
since
by antisymmetry of wedge product of 1-forms. Also, taking
to be the unit sphere, we know that
. However, by Stokes’ Theorem, if
then
. So, we cannot have
globally.
Physically we interpret this as a magnetic monopole with magnetic charge and worldline, the time axis,
. Mathematically, what is happening is that the complement of the time axis has nontrivial topology. Specifically its second de Rham cohomology is nontrivial. Intuitively, there is a kind of 2-dimensional, spherical “hole” in the complement of the time axis.
In addition to being nonglobal, the potential is defined only up to addition of a closed 1-form since
. We would like to find a global mathematical object corresponding to the potential which doesn’t depend on our “choice of gauge”. This is our motivation for understanding connections on principal bundles.