1. Introduction
Symmetries are at the core of well-established physical theories, and they keep playing a central role in the mainstream of current research. Fundamental Lagrangians in physics are founded on symmetry principles. Moreover, symmetries are linked, via Noether’s theorem, to conservations laws. Well-known examples are the energy and momentum conservation and its relation with the invariance under space–time translations, as well as the conservation of the net fermion number (the difference in the number of fermions and anti-fermions that is proportional to the net electric charge) in Dirac’s relativistic theory, which result from the global phase invariance of the action.
When the symmetries of free theories are also preserved by interactions, the conservation laws are maintained, and they can be used to understand patterns in diverse physical phenomena. In quantum electrodynamics, for instance, the phase invariance is preserved by the coupling of the Dirac and the electromagnetic field, and this ensures the conservation of the net fermion number in all physical processes [
1]. Another illustrative example is the gravitationally induced creation of particles, either bosons or fermions, in an expanding homogenous universe [
2,
3,
4,
5]. This particle creation occurs in pairs, and the symmetry of the background under space-like translations ensures that, if one particle is created with wavenumber
, its partner has wavenumber
. As a consequence, there is no creation of net momentum, as expected on symmetry grounds. In a similar way, phase invariance implies that the gravitational field cannot create a net fermion number in an expanding universe.
However, in special cases, the implications of classical symmetries do not extend to quantum theory, and the classical charge conservation breaks down. This was first noticed by studying massless fermions coupled to an electromagnetic field [
6,
7]. A massless fermion is called a (Weyl) left-handed fermion if it has helicity
, and a right-handed fermion if
(A left-handed (right-handed) anti-fermion has helicity
(
)). Recall that the equations of motion for the two sectors decouple in the massless limit, and this allows one to write a theory for massless fermions that involves only one of the two helicities, something that is not possible for non-zero mass. The action of this theory also enjoys phase invariance, so the number of left-handed and right-handed fermions is
separately conserved. This is to say, in the classical theory, there are two independent Noether currents,
and
, associated with left- and right-handed massless fermions, respectively, that satisfy continuity equations
and
. Rather than using
and
, it is more common to re-write these conservation laws in terms of the so-called vector and axial currents, defined by their sum and difference, respectively,
and
, where
is the four-component Dirac spinor, that encapsulates both left- and right-handed (Weyl) fermions, and
,
are the Dirac matrices.
What is the situation in quantum theory? It turns out that the conservation law for
holds also quantum mechanically, so the quantum number
(associated with the net fermion number, i.e., the electric charge) is preserved in any physical process. For instance, in the presence of a time-dependent electromagnetic background, charged fermions and antifermions are spontaneously created (this is the electromagnetic analog of the gravitationally induced particle creation mentioned above [
8,
9,
10]), but in such a way that the total fermion number (or electric charge) does not change. This is because the number of created right- or left-handed antifermions equals the number of left- or right-handed fermions:
However, it turns out that the difference in the created number of right-handed and left-handed fermions is not identically zero. This means that it is possible to create a net amount of helicity:
The simplest scenario where this is possible is for a constant magnetic field, say, in the third spatial direction
, together with a pulse of electric field parallel to it,
. One can show that, in this situation, the net creation of helicity per unit volume
V is given by (see [
1] for a proof involving an adiabatic electric pulse)
where
q is the electric charge of the fermion, and the fermionic field is assumed to start in the vacuum state at early times before the electric field is switched on. Hence, if the integral
is different from zero, particles with different helicities are created in different amounts. In contrast,
remains strictly constant. For an arbitrary electromagnetic background, the previous result generalizes to
The key point is that Equation (
4) is equivalent to the quantum-mechanical symmetry breaking of the fermion chiral symmetry:
, as expressed in the anomalous non-conservation of the current [
6,
7].
where
is the electromagnetic field strength,
its dual, and the presence of
ℏ makes manifest that this is a quantum effect. Equations (
5) and (
4) are connected by the standard relation between a current and the charge associated with it:
.
The discovery of the chiral anomaly of Equation (
5) was not arrived at by computing the number of fermions created, but rather by directly computing the quantity
. In that calculation, the anomaly arises from the renormalization subtractions needed to calculate the expectation value
. The operator
is non-linear (quadratic) in the fermion field, and in quantum field theory expectation values of non-linear operators are plagued with ultraviolet divergences. One must use renormalization techniques to extract the physical, finite result. A detailed study shows that renormalization methods that respect the gauge invariance of the electromagnetic background break the fermionic chiral symmetry of the classical theory. The fact that Expression (
5) was able to accurately explain the decay ratio of processes that could not be understood otherwise, like the decay of the neutral pion to two photons, was an important milestone in the quantum field theory and the study of anomalies.
A similar anomaly appears when the electromagnetic background is replaced by a gravitational field [
11]. In this case, renormalization methods that respect general covariance give rise to a violation of the classical conservation law
, which becomes
where
is the Riemann tensor and
its dual, and
is the covariant derivative. For gravitational fields for which a particle interpretation is available at early and late times, this chiral anomaly also manifests in the net helicity contained in the fermionic particles created during the evolution:
Typical configurations where this integral is non-zero are the gravitational collapse of a neutron star, or the merger of two compact objects as the ones recently observed by the LIGO-Virgo collaboration [
12,
13].
In contrast to the anomaly of Equation (
5) induced by an electromagnetic background, the chiral anomaly induced by gravity affects every sort of massless spin-
fields, either charged or neutral. This is a consequence of the universal character of gravity, encoded in the equivalence principle, that guarantees that, if Equation (
6) is valid for a type of massless spin-
field, it must also be valid for any other type.
There is no reason to believe, however, that these anomalies are specific to spin
fermions, and one could in principle expect that a similar effect will arise for other types of fields that classically admit chiral-type symmetries. This is the case of photons. One then expects that photons propagating in the presence of a gravitational field will not preserve their net helicity, or, in the language of particles, that the gravitational field will created photons with different helicities in unequal amounts, in the same way it happens for fermions (one also expects a similar effect for gravitons). For photons, the analog of the classical chiral symmetry of fermions is given by electric-magnetic duality rotations [
14]
As first proved in [
15], these transformations leave the action of electrodynamics invariant if sources (charges and currents) are not present, and the associated Noether charge is precisely the difference between the intensity of the right- and left-handed circularly polarized electromagnetic waves, i.e., the net helicity. This symmetry is exact in the classical theory even in the presence of an arbitrary gravitational background, as pointed out some years later in [
16]. However, in exact analogy with the fermionic case, quantum effects can break this symmetry of the action and induce an anomaly [
17,
18]. In the language of particles, this would imply that the difference in the number of photons with helicities
,
, is not necessarily conserved in curved spacetimes. The analogy with the fermionic case also suggests that the current
associated with the symmetry under duality rotations of the classical theory fails to be conserved quantum mechanically, with a non-conservation law of the type
where
is a numerical coefficient to be determined. In a recent work [
18,
19], we have proved that this is in fact the case, and obtained that
is different from zero and given by
. In this paper, we will provide a general overview of these results from a different perspective, and with more emphasis on conceptual aspects.
2. Electric-Magnetic Duality Rotations and Self- and Anti Self-Dual Fields
To study electric-magnetic rotations of Equation (
8), it is more convenient to change variables to the self- and anti-self-dual components of the electromagnetic field, defined by
, since for them the transformation of Equation (
8) takes a diagonal form:
A discrete duality transformation , corresponds to . Then, the operator produces . It is for this reason that and are called the self- and anti-self-dual components of the electromagnetic field, respectively.
There are other aspects that support the convenience of these variables. For instance, under a Lorentz transformation, the components of
and
mix with each other. Indeed, under an infinitesimal Lorentz transformation of rapidity
, the electric and magnetic fields transform as
. (We recall that the rapidity
completely characterizes a Lorentz boost: its modulus contains the information of the Lorentz factor
, via
, and its direction indicates the direction of the boost). However, when
and
are combined into
, it is easy to see that the components of
and
no longer mix:
Note also that, under an ordinary infinitesimal (counterclockwise) rotation of angle
around the direction of a unit vector
, the complex vectors
transform as
. Hence, a boost corresponds to a rotation of an imaginary angle. These are the transformation rules associated with the two irreducible representations of the Lorentz group for fields of spin
. In the standard terminology [
20,
21], they correspond to the
representation for
, and the
one for
. More generally, for any element of the restricted Lorentz group
(rotations + boots), the above complex fields transform as
where
are the infinitesimal generators of the group of rotations. The ± sign in the above equation distinguishes the two inequivalent (three-dimensional) representations of the Lorentz group. They are, however, equivalent under the subgroup of rotations. This makes transparent the fact that electrodynamics describes fields of spin
, something that is more obscure when working with
and
, the field strength
, or even the vector potential
.
Another useful aspect of self- and anti-self-dual variables concerns the equations of motion. The source-free Maxwell equations
when written in terms of
, take the form
Notice that, in contrast to
and
, the self- and anti-self-dual fields are not coupled by the dynamics. The general solution to these field equations is a linear combination of positive and negative frequency plane waves
where
and
are complex numbers that quantify the wave amplitudes. The polarization vectors are given by
where
and
are any two real, space-like unit vectors transverse to
(we choose their orientation such that
). Positive-frequency Fourier modes
describe waves with helicity
for self-dual fields, and with negative helicity
for anti-self-dual fields. This is also in agreement with the general fact that a massless field associated with the Lorentz representation
describes particles with helicity
, while a
-field describes particles with helicity
[
20]. Compared with massless fermions,
is the analog of a right-handed Weyl spinor, which transforms under the
Lorentz representation, and
is the analog of a left-handed Weyl spinor.
The constraints
can be used to introduce the potentials
, as follows:
Maxwell equations then reduce to first-order differential equations for the potentials:
Both sets of equations, for the fields of Equation (
14) and for the potentials of Equation (
17), can be written more compactly as follows (the equations for
and
are obtained by complex conjugation)
The numerical constants
are three
matrices, for
, and the bar over
indicates complex conjugation. The components of these matrices in an inertial frame are
It is trivial to check by direct substitution that Equation (
18) is equivalent to Equations (
14) and (
17), respectively. These anti-symmetric matrices are Lorentz invariant symbols. They are self-dual (
), and the conjugate matrices are anti-self-dual (
).
The two sets of equations in Equation (
18) were shown in [
19] to contain the same information. One can thus formulate source-free Maxwell theory entirely in terms of complex potentials.
3. Noether Symmetry and Conserved Charge
In this section, we show that electric-magnetic rotations of Equation (
8) are a symmetry of the classical theory, and obtain an expression for the associated conserved charge. This can be more easily done by working in Hamiltonian formalism. The phase space of electrodynamics is usually parametrized by the pair of fields
, with
. The Hamiltonian of the theory is easily obtained by the Legendre transform from the Lagrangian, and it reads
In this expression,
is regarded as a Lagrangian multiplier that enforces the Gauss law constraint
. The phase space is equipped with a Poisson structure given by
, which induces a natural symplectic product
.
From the form of the electric-magnetic rotations of Equation (
8), we see that the infinitesimal transformation of the canonical variables reads
where
is defined by
; therefore, it can be understood as an “electric potential” (note that in the source-free theory
can be always defined, since
).
Now, the generator of the transformation of Equation (
21) can be determined by
is gauge invariant, and one can easily check that it generates the correct transformation by computing Poisson brackets
It is also straightforward to check that
. Therefore, the canonical transformation generated by
, i.e., the electric-magnetic duality transformation of Equation (
21), is a symmetry of the source-free Maxwell theory, and
is a constant of motion.
Taking into account the form of the generic solutions, Equation (
15), to the field equations, the conserved charge reads
This expression makes it clear that is proportional to the difference in the intensity of the self- and anti-self-dual parts of field or, equivalently, the difference between the right and left circularly polarized components. In the quantum theory, measures the difference in the number of photons with helicities and . For this reason, we recognize as the V-Stokes parameter that describes the polarization state of the electromagnetic radiation.
Although we have restricted here to Minkowski spacetime, the argument generalizes to situations in which a gravitational field is present [
16]. A generally covariant proof in curved spacetimes in the Lagrangian formalism is given in [
19], where the associated Noether current was obtained:
5. Discussion
The result shown in Equation (
57) implies that the classical Noether charge
is not necessarily conserved in the quantum theory, and its change between two instants
and
can be written as
where in the last equality we have written
in terms of the electric
and magnetic
parts of the Weyl curvature tensor. Note the close analogy with the chiral spin 1/2 anomaly shown in Equation (
4). This result implies that the polarization state of the quantum electromagnetic field can change in time, even in the complete absence of electromagnetic sources, due to the influence of gravitational dynamics and quantum electromagnetic effects (notice the presence of
ℏ). In this precise sense, one can think about the spacetime as an optically active medium.
Since
is proportional to
ℏ, one could expect the net effect of the anomaly to be small. However, recall that
. Thus, the net number
is only given by the (dimensionless) geometric integral on the RHS of Equation (
58). A sufficiently strong gravitational background could lead to a significant effect. It is also important to remark that Expression (
58) accounts for the net helicity created out of an initial
vacuum state—we call this
spontaneous creation of helicity. However, it is well-known in the study of particle creation by gravitational fields that the spontaneous creation effect for bosons always comes together with the
stimulated counterpart, if the initial state is not the vacuum but rather contains quanta on it (see [
2,
24,
25]). The stimulated effect is enhanced by the number of initial quanta. For the same reason, the value of
is expected to be enhanced if the initial state of radiation is not the vacuum but rather an excited state, as for instance a coherent state which describes accurately the radiation emitted by, say, an astrophysical object. However, remember that the average number of photons in such a coherent state is macroscopic, so it can lead to detectable effects. Therefore, it is conceivable that the change in the polarization of electromagnetic radiation crossing a region of strong gravitational field, produced for instance by the merger of two compact objets, takes macroscopic values. The computation of the exact value of the RHS of Equation (
58) in such a situation requires the use of numerical relativity techniques, and this will be the focus of a future project.
Finally, we want to mention that the experimental investigation of this anomaly could be relevant in other areas of physics, as in condensed matter physics [
26], non-linear optics [
27], or analogue gravity in general. For instance, metamaterials can be designed to manifest properties that are difficult to find in nature [
28]. In this case, the medium, and not a distribution of mass-energy, can originate effective geometries [
27]. They thus may mimic a curved spacetime with optimal values of Equation (
58) and could serve to test the photon right–left asymmetry originating from the electric-magnetic quantum anomaly.