There should be two "dual equivalent" field formulations of the same theory in which electric (Noether) and magnetic (topological) quantum numbers exchange roles.
The idea of a close similarity between electricity and magnetism, going back to the time of André-Marie Ampère and Michael Faraday, was first made more precise with James Clerk Maxwell's formulation of his famous equations for a unified theory of electric and magnetic fields:
The symmetry between and in these equations is striking. If one ignores the sources, or adds magnetic sources, the equations are invariant under and .
Why should there be such symmetry between and ? In 1931 Paul Dirac[4] was studying the quantum mechanics of an electric charge moving in a magnetic monopole field, and he found he could only consistently define the wavefunction if the electric charge and magnetic charge satisfy the quantization condition:
Note that from the above if just one monopole of some charge exists anywhere, then all electric charges must be multiples of the unit . This would "explain" why the magnitude of the electron charge and proton charge should be exactly equal and are the same no matter what electron or proton we are considering,[note 4] a fact known to hold true to one part in 1021.[5] This led Dirac to state:
The interest of the theory of magnetic poles is that it forms a natural generalization of the usual electrodynamics and it leads to the quantization of electricity. [...] The quantization of electricity is one of the most fundamental and striking features of atomic physics, and there seems to be no explanation for it apart from the theory of poles. This provides some grounds for believing in the existence of these poles.
At weak coupling, the electrically and magnetically charged objects look very different: one an electron point particle that is weakly coupled and the other a monopole soliton that is strongly coupled. The magnetic fine structure constant is roughly the reciprocal of the usual one:
In 1977 Claus Montonen and David Olive[9] conjectured that at strong coupling the situation would be reversed: the electrically charged objects would be strongly coupled and have non-singular cores, while the magnetically charged objects would become weakly coupled and point like. The strongly coupled theory would be equivalent to weakly coupled theory in which the basic quanta carried magnetic rather than electric charges. In subsequent work this conjecture was refined by Ed Witten and David Olive,[10] they showed that in a supersymmetric extension of the Georgi–Glashow model, the supersymmetric version (N is the number of conserved supersymmetries), there were no quantum corrections to the classical mass spectrum and the calculation of the exact masses could be obtained. The problem related to the monopole's unit spin remained for this case, but soon after a solution to it was obtained for the case of supersymmetry: Hugh Osborn[11] was able to show that when spontaneous symmetry breaking is imposed in the N = 4 supersymmetric gauge theory, the spins of the topological monopole states are identical to those of the massive gauge particles.
Dual gravity
In 1979–1980, Montonen–Olive duality motivated developing mixed symmetric higher-spin Curtright field.[12] For the spin-2 case, the gauge-transformation dynamics of Curtright field is dual to graviton in D>4 spacetime. Meanwhile, the spin-0 field, developed by Curtright–Freund,[13][14] is dual to the Freund-Nambu field,[15] that is coupled to the trace of its energy–momentum tensor.
The massless linearized dual gravity was theoretically realized in 2000s for wide class of higher-spin gauge fields, especially that is related to , and supergravity.[16][17][18][19]
A massive spin-2 dual gravity, to lowest order, in D = 4[20] and N-D[21] is recently introduced as a theory dual to the massive gravity of Ogievetsky–Polubarinov theory.[22] The dual field is coupled to the curl of the energy momentum tensor.
Mathematical formalism
In a four-dimensional Yang–Mills theory with N = 4 supersymmetry, which is the case where the Montonen–Olive duality applies, one obtains a physically equivalent theory if one replaces the gauge coupling constantg by 1/g. This also involves an interchange of the electrically charged particles and magnetic monopoles. See also Seiberg duality.
In fact, there exists a larger SL(2,Z) symmetry where both g as well as theta-angle are transformed non-trivially.
The gauge coupling and theta-angle can be combined to form one complex coupling
Since the theta-angle is periodic, there is a symmetry
The quantum mechanical theory with gauge group G (but not the classical theory, except in the case when the G is abelian) is also invariant under the symmetry
while the gauge group G is simultaneously replaced by its Langlands dual groupLG and is an integer depending on the choice of gauge group. In the case the theta-angle is 0, this reduces to the simple form of Montonen–Olive duality stated above.
Philosophical implications
The Montonen–Olive duality throws into question the idea that we can obtain a full theory of physics by reducing things into their "fundamental" parts. The philosophy of reductionism states that if we understand the "fundamental" or "elementary" parts of a system we can then deduce all the properties of the system as a whole. Duality says that there is no physically measurable property that can deduce what is fundamental and what is not, the notion of what is elementary and what is composite is merely relative, acting as a kind of gauge symmetry.[note 5] This seems to favour the view of emergentism, as both the Noether charge (particle) and topological charge (soliton) have the same ontology. Several notable physicists underlined the implications of duality:
Under a duality map, often an elementary particle in one string theory gets mapped to a composite particle in a dual string theory and vice versa. Thus classification of particles into elementary and composite loses significance as it depends on which particular theory we use to describe the system.
I could go on and on, taking you on a tour of the space of string theories, and show you how everything is mutable, nothing being more elementary than anything else. Personally, I would bet that this kind of anti-reductionist behaviour is true in any consistent synthesis of quantum mechanics and gravity.
The first conclusion is that Dirac’s explanation of charge quantisation is triumphantly vindicated. At first sight it seemed as if the idea of unification provided an alternative explanation, avoiding monopoles, but this was illusory as magnetic monopoles were indeed lurking hidden in the theory, disguised as solitons.
This raises an important conceptual point. The magnetic monopole here has been treated as bona fide particle even though it arose as a soliton, namely as a solution to the classical equations of motion. It therefore appears to have a different status from the “Planckian particles” considered hitherto and discussed at the beginning of the lecture. These arose as quantum excitations of the original fields of the initial formulation of the theory, products of the quantisation procedures applied to these dynamical variables (fields).
However, this argument bears little consequence to the reality of string theory as a whole, and perhaps a better perspective might quest for the implications of the AdS/CFT correspondence, and such deep mathematical connections as Monstrous moonshine. Since experimentally tested evidence bears no resemblance to the String theory landscape; where philosophically an Anthropic principle is at its strongest a self-justification for any unprovable theory.
Notes
^Or weak–strong duality, both terms are correct.[1]
^The term S-duality began being used in the first proposals for extending the strong/weak duality conjecture from the case of supersymmetric four dimensional Yang–Mills theories to the context of superstring theory, first used by Font et al. (1990).[2] According to Jeffery Harvey the name is a "historical accident":[3] it was introduced, for reasons of practicality, to indicate the discrete symmetry group SL(2, Z) of the ten-dimensional heterotic string theory compactified to four dimensions. More details can be found, for example, in Schwarz (1997), p. 3.[1]
^Dirac (1931) treated the case of an electrically charged particle moving in a fixed magnetic monopole field. Dirac (1948) is a more general analysis of the relativistic classical and quantum dynamics of a system of moving and interacting magnetic monopoles and electric charges.