1.2 The S and the T transformations

The Maxwell equation is given by

∂[μFνρ] = 0,∂μFμν = 0 (1.2.1)

or equivalently in the differential form notation by

dF = d⋆F = 0. (1.2.2)

This set of equations is invariant under the exchange

F ↔ ⋆F. (1.2.3)

In terms of the electric field E→ and the magnetic field B→, which we schematically denote by F = (E→,B→), the transformation does

F = (E→,B→)→⋆F = (B→,−E→)→⋆2F = (−E→,−B→). (1.2.4)

This operation is often called the S transformation.

To preserve the quantization of the electric and magnetic charges (1.1.8), (1.1.12), the dual field strength FD and the dual coupling eD need to be defined so that

FD = 4π e2⋆F, 4π e2 4π eD2 = 1. (1.2.5)

Under this transformation, the charge (n,m) is transformed as

particle 1 (n,m) →S (−m,n), particle 2 (n′,m′) →S (−m′,n′), Dirac pairingnm′− n′m = − mn′− (−m′)n. (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 U(1) gauge field is given by

1 2e(ϕ)2FμνFμν + 𝜃(ϕ) 16π2FμνF̃μν. (1.2.7)

The Maxwell equation is now

∂[μFνρ] = 0, (1.2.8) ∂μ 4π e(ϕ)2Fμν + 𝜃(ϕ) 2π F̃μν = 0. (1.2.9)

Decompose F = (E→,B→) as before. The equations above show that the magnetic field satisfying the Gauss law is still B→, but the electric field satisfying the Gauss law is now the combination

E→conserved = 4π e(ϕ)2E→ + 𝜃(ϕ) 2π B→. (1.2.10)

Therefore , we have

∫ S2B→ ⋅ dn→ = 2πm,∫ S2E→conserved ⋅ dn→ = 2πn (1.2.11)

where m and n are the integers introduced in Sec. 1.1. This shows an interesting fact: let us change ϕ adiabatically to change 𝜃(ϕ). As n is an integer, it cannot change. Therefore, E→ gets a contribution proportional to 𝜃(ϕ)B→ to keep E→conserved fixed. This is called the Witten effect [23].

The S transformation, then, exchanges (E→)conserved and B→. The dual gauge field strength FD is

FD = 4π e(ϕ)2⋆F + 𝜃 2πF, (1.2.12)

and we have

1 2e(ϕ)2FμνFμν + 𝜃(ϕ) 16π2FμνF̃μν = 1 2eD(ϕ)2FD,μνFD,μν + 𝜃D(ϕ) 16π2FD,μνF̃D,μν (1.2.13)

where eD(ϕ), 𝜃D(ϕ) are given by

τD(ϕ) = − 1 τ(ϕ) (1.2.14)

where

τ(ϕ) = 4πi e(ϕ)2 + 𝜃(ϕ) 2π ,τD(ϕ) = 4πi eD(ϕ)2 + 𝜃D(ϕ) 2π . (1.2.15)

This combination τ(ϕ) is called the complexified coupling.

We also know that, quantum mechanically, 𝜃(ϕ) and 𝜃(ϕ) + 2π cannot be distinguished, since the change in the integrand of the Euclidean path integral is

exp i∫ d4x 1 8πFμνF̃μν (1.2.16)

which is always one2 . We call it the T transformation. This does change E→conserved by adding B→, however. Equivalently, it changes the set of charges (n,m) as follows:

particle 1 (n,m) →T (n + m,m), particle 2 (n′,m′) →T (n′ + m′,m′), Dirac pairingnm′− n′m = (n + m)m′− (n′ + m′)m. (1.2.17)

We see that the Dirac pairing of two particles remain unchanged. On the complexified coupling τ(ϕ), it operates as

τ(ϕ)old→Tτ(ϕ)new = τ(ϕ)old + 1. (1.2.18)

The transformations S and T generates the action of SL(2, ℤ) on the set of charge (n,m):

S = 0−1 1 0 , S nm = −m n , Sτ = −1 τ (1.2.19) T = 11 0 1 , T nm = n + m m , Tτ = τ + 1. (1.2.20)

In general the action on τ is the fractional linear transformation

ab c d ∈SL(2, ℤ) : τ → dτ + b cτ + a. (1.2.21)