Types of quantum field thories
Formally this suggests an immediate generalization where a conserved current called the magnetic current is introduced and the first of the equations above is replaced by
One thing to notice about this is that
The other thing is a more conceptual problem: the Dirac quantization condition says that the -form is not entirely arbitrary, but constrained to be the characteristic curvature -form of a degree- cocycle in ordinary differential cohomology, for instance the curvature -form of a -principal bundle with connection. But this necessarily implies that .
Indeed, to circumvent dealing with this problem Dirac, in his original argument, has considered removing from the support of any magnetic charge density.
It was Dan Freed in (Freed) who discussed that the global description of the electromagnetic field does make sense even in the presence of electric current if one generalizes the model of a degree- differential cocycle to that of a twisted cocycle.
The magnetic current -form is then realized as the curvature characteristic -form of a degree- cocycle in ordinary differential cohomology , the electromagnetic field is the curvature characteristic -form of a degree- twisted differential cocycle and the equation
expresses the twisting of by at the level of curvature forms.
This means that Dirac almost found bundle gerbes already in 1931, had he not discussed only the neighbourhood of magnetic monopoles.
Short of an experimental detection of magnetic monopoles the above considerations are of little practical relevance for ordinary electromagnetism. In their (straightforward) generalization to higher abelian gauge theory they do, however, serve to provide a more complete conceptual picture that provides the conceptual bases for effects such as the Green–Schwarz mechanism.
Namely from the very fact that in the presence of magnetic charge the gauge field is a twisted cocycle, it follows that the standard action functional for electrically charged quantum particles – the one whose consideration led Dirac to his Dirac quantization condition – in general has a quantum anomaly.
To see this, consider the following.
In the simplest case we consider a single electrically charged particle with worldline propagating inside a single patch of some cover over which the electromagnetic field is represented by a Deligne cocycle with -form . Then then action functional for the coupling of the particle to the background electromagnetic field is
This may be rewritten by introducing the corresponding distributional -form current as
This integrand may be recognized as the local connection -form of the cup product of the Deligne -cocycle and the Deligne -cocycle . This way
where now the integral including the prefactor of denotes push-forward in cohomology along , and we canonically identify degree- Deligne cohomology of the point with .
But in this formulation one can discuss what happens to this when a non-vanishing magnetic current is present. In that case is no longer a plain -cocycle, but a twisted -cocycle. Accordingly, the above push-forward to the point produces not a -valued function of , but a “twisted function”, i.e. a section of a line bundle.
Since is twisted by , this line bundle is the -cocycle
(…discussion of how this is a -cocycle on configuration space goes here…)
Comparing with the discussion at quantum anomaly, it follows that the non-triviality of this -cocycle is the higher gauge theory anomaly of the ordinary action functional describing the coupling of electric charges to the electromagnetic field in the presense of magnetic charges.
This phenomenon has traditionally been known somewhat implicitly in the context of the Green–Schwarz mechanism.
it was first noticed that when electric charge takes values in the weight lattice of the gauge group, then magnetic charge takes values in the lattice of what is now called the Langlands dual group. (This led to Montonen-Olive’s S-duality conjecture).
The interpretation of magnetic charge in terms of degree-3 cocycles in ordinary differential cohomology is in the introduction-section of