The Maxwell equation is given by
(1.2.1) |
or equivalently in the differential form notation by
(1.2.2) |
This set of equations is invariant under the exchange
(1.2.3) |
In terms of the electric field and the magnetic field , which we schematically denote by , the transformation does
(1.2.4) |
This operation is often called the transformation.
To preserve the quantization of the electric and magnetic charges (1.1.8), (1.1.12), the dual field strength and the dual coupling need to be defined so that
(1.2.5) |
Under this transformation, the charge is transformed as
(1.2.6) |
Note that the Dirac pairing is preserved under the operation.
Let us suppose that we have a neutral real scalar field and the action of the gauge field is given by
(1.2.7) |
The Maxwell equation is now
Decompose as before. The equations above show that the magnetic field satisfying the Gauss law is still , but the electric field satisfying the Gauss law is now the combination
(1.2.10) |
Therefore , we have
(1.2.11) |
where and are the integers introduced in Sec. 1.1. This shows an interesting fact: let us change adiabatically to change . As is an integer, it cannot change. Therefore, gets a contribution proportional to to keep fixed. This is called the Witten effect [23].
The S transformation, then, exchanges and . The dual gauge field strength is
(1.2.12) |
and we have
(1.2.13) |
where , are given by
(1.2.14) |
where
(1.2.15) |
This combination is called the complexified coupling.
We also know that, quantum mechanically, and cannot be distinguished, since the change in the integrand of the Euclidean path integral is
(1.2.16) |
which is always one2 . We call it the transformation. This does change by adding , however. Equivalently, it changes the set of charges as follows:
(1.2.17) |
We see that the Dirac pairing of two particles remain unchanged. On the complexified coupling , it operates as
(1.2.18) |
The transformations and generates the action of on the set of charge :
In general the action on is the fractional linear transformation
(1.2.21) |