Consider a gauge field, described by the gauge potential and the field strength , where . This is invariant under the gauge transformation
(1.1.1) |
where is a map from the spacetime to complex numbers with absolute value one, . We can write with a real function , and we then have a more familiar
(1.1.2) |
but it will be important for us that can be multi-valued, so that we identify
(1.1.3) |
Consider a field , with the gauge transformation given by
(1.1.4) |
We require here that specifies the transformations of all fields in the system uniquely. Then needs to be an integer; fractional powers are not uniquely defined.
The covariant derivative given by
(1.1.5) |
and the kinetic term is gauge-invariant. We write the action of the gauge field as
(1.1.6) |
The coefficient in the denominator is slightly unconventional, but this choice removes various annoying factors later. Then the force between two particles obtained by quantizing the field is proportional to . In phenomenological literature the combination is often called the electric charge, but in this lecture note we call the integer the electric charge. It might also be tempting to rescale to eliminate the factor of from the denominator above. But we stick to the convention that the periodicity of is , see (1.1.3).
An electric particle with charge in the first quantized setup, Wick-rotated to the Euclidean signature, couples to the gauge field via
(1.1.7) |
where is the worldline. The integrality of in this approach can be seen as follows. Due to the periodicity of (1.1.3), the line integral is determined only up to an addition of an integral multiple of . Inside the path integral, needs to be well defined. Then needs to be an integer.
Adding (1.1.6) and (1.1.7) and writing down the equation of motion for , we see that
(1.1.8) |
where are the electric field components, is the sphere at infinity,
(1.1.9) |
where
(1.1.10) |
is the dual field strength. We also use the notation interchangeably.
Next, consider a space with the origin removed. Surround the origin by a sphere. The gauge fields on the northern and the southern hemispheres are related by gauge transformation:
(1.1.11) |
on the equator. Then we have
(1.1.12) |
where is an integer. We call the magnetic charge of the configuration. The energy contained in the Coulombic magnetic field diverges at the origin; but you should not worry too much about it, as the quantized electric particle also has a Coulombic electric field whose energy diverges. They are both rendered finite by renormalization. When is nonzero, the configuration is called a magnetic monopole. Usually we simply call it a monopole.
Put a particle with electric charge , and another particle with magnetic charge on two separate points. The combined electric and magnetic field generate an angular momentum around the axis connecting two points via their Poynting vector, see Fig. 1.1. A careful computation shows that the total angular momentum contained in the electromagnetic field is , which is consistent with the quantum-mechanical quantization of the angular momentum.
More generally, we can consider dyons, which are particles with both electric and magnetic charges. If we have a particle with electric charge and magnetic charge , and another particle with electric charge and magnetic charge , the total angular momentum is times
(1.1.13) |
We call this combination the Dirac pairing of two sets of charges and .