4.5 Extended Example: Anomalies in Gauge Theories 221
one also verifies explicitely the relations
γ
µ
γ
ν
="
µν
γ
5
+g
µν
, (4.164)
which will be useful later on.
The spinor Ψ
L
≡(ψ
1
, 0) will be called left-handed (γ
5
Ψ
L
=+Ψ
L
), while the
spinor Ψ
R
≡(0,ψ
2
) with γ
5
Ψ
R
=−Ψ
R
will be called right-handed.
In spite of the considerable simplifications compared to the four-dimensional
QED, the dynamics of the model (4.158) is still too complicated for our purpose.
In order to simplify the situation further let us consider the system described by
(4.158) in a finite spatial domain of length L. We impose periodic boundary con-
ditions on the gauge field and (just for convenience) antiperiodic ones for the
massless Dirac fermions. Thus
A
t, −
1
2
L
= A
t, +
1
2
L
,Ψ
t, −
1
2
L
=−Ψ
t, +
1
2
L
.
(4.165)
These conditions impose that the gauge field A and the Dirac fermions Ψ
can be expanded in Fourier modes, i.e exp(ikx 2π/L) for the bosons and
exp[i(k +1/2)x 2π/L) for the fermions.
Now let us recall that the Lagrange density (4.158) is invariant under the local
gauge transformations
Ψ −→ e
iα(t,x )
Ψ, A
µ
−→ A
µ
−∂
µ
α(t, x). (4.166)
It is quite evident that all modes for the field A
1
except for the zero mode can be
gauged away. Indeed, terms of the type a(t)exp(ikx 2π/L) in A
1
with nonzero
momentum can be gauged away with α(t, x) =−(ik)
−1
a(t)exp(ikx 2π/L).This
choice for the gauge function is in agreement with the boundary conditions
(4.165), i.e. the gauge function is periodic on the circle with radius L.As
a consequence we can treat A
1
in the most general case as x-independent.
However, the possibilities provided by gauge invariance are not exhausted
yet. There exist another class of legal gauge transformations which are not
periodic in x:
α(t, x) =
2π
L
nx n =±1, ±2,... . (4.167)
Since ∂α/∂x = const. and ∂α/∂t = 0 the periodicitiy of the gauge field is not vio-
lated. For the phase factor exp(iα) the analogous assertion is valid- the difference
of phases at the endpoints of the interval [−L/2, L/2] is equal to 2πn.
As a result, we arrive at the conclusion that A
1
should not be considered in the
whole interval (−∞, +∞). The points A
1
, A
1
±2π/L, A
1
=±4π/L,etc.are
equivalent with respect to the gauge transformations (4.167) and must be iden-
tified. In other words, the variable A
1
should be considered only in the interval
[0, 2π/L]. Beyond this interval we find gauge copies of this interval. In the com-
monly accepted terminology we may say that A
1
lives on the circle with length
2π/L.