Continuous Symmetries and Conservation Laws. Noether s Theorem

Transcription

1 Nature always creates the best of all options. Aristoteles (384 BC 322 BC) 8 Continuous Symmetries and Conservation Laws. Noether s Theorem In many physical systems, the action is invariant under some continuous set of transformations. In such systems, there exist local and global conservation laws analogous to current and charge conservation in electrodynamics. The analogs of the charges can be used to generate the symmetry transformation, from which they were derived, with the help of Poisson brackets, or after quantization, with the help of commutators. 8.1 Point Mechanics Consider a simple mechanical system with a generic action A = tb t a dtl(q(t), q(t),t). (8.1) Continuous Symmetries and Conservation Law Suppose A is invariant under a continuous set of transformations of the dynamical variables: q(t) q (t) = f(q(t), q(t)), (8.2) where f(q(t), q(t)) is some functional of q(t). Such transformations are called symmetry transformations. Thereby it is important that the equations of motion are not used when establishing the invariance of the action under (8.2). If the action is subjected successively to two symmetry transformations, the result is again a symmetry transformation. Thus, symmetry transformations form a group called the symmetry group of the system. For infinitesimal symmetry transformations (8.2), the difference δ s q(t) q (t) q(t) (8.3) will be called a symmetry variation. It has the general form δ s q(t) = ǫ (q(t), q(t),t). (8.4) 619

2 620 8 Continuous Symmetries and Conservation Laws. Noether s Theorem Symmetry variations must not be confused with ordinary variations δq(t) used in Section 1.1 to derive the Euler-Lagrange equations (1.8). While the ordinary variations δq(t) vanish at initial and final times, δq(t b ) = δq(t a ) = 0 [recall (1.4)], the symmetry variations δ s q(t) are usually nonzero at the ends. Let us calculate the change of the action under a symmetry variation(8.4). Using the chain rule of differentiation and an integration by parts, we obtain δ s A = [ ] L dt t a q(t) L t δ s q(t)+ L q(t) q(t) δ t b sq(t). (8.5) t a tb For orbits q(t) that satisfy the Euler-Lagrange equations (1.8), only boundary terms survive, and we are left with δ s A = ǫ L q t a (q, q,t). (8.6) t b Under the symmetry assumption, δ s A vanishes for any orbit q(t), implying that the quantity Q(t) L q (q, q,t) (8.7) is the same at times t = t a and t = t b. Since t b is arbitrary, Q(t) is independent of the time t, i.e., it satisfies Q(t) Q. (8.8) It is a conserved quantity, a constant of motion. The expression on the right-hand side of (8.7) is called Noether charge. The statement can be generalized to transformations δ s q(t) for which the action is not directly invariant but its symmetry variation is equal to an arbitrary boundary term: δ s A = ǫλ(q, q,t) t b. (8.9) t a In this case, Q(t) = L (q, q,t) Λ(q, q,t) (8.10) q is a conserved Noether charge. It is also possible to derive the constant of motion (8.10) without invoking the action, but starting from the Lagrangian. For it we evaluate the symmetry variation as follows: [ ] L δ s L L(q+δ s q, q+δ s q) L(q, q)= q(t) L t δ s q(t)+ d [ ] L q(t) dt q(t) δ sq(t).(8.11)

3 8.1 Point Mechanics 621 On account of the Euler-Lagrange equations (1.8), the first term on the right-hand side vanishes as before, and only the last term survives. The assumption of invariance of the action up to a possible surface term in Eq. (8.9) is equivalent to assuming that the symmetry variation of the Lagrangian is a total time derivative of some function Λ(q, q, t): δ s L(q, q,t) = ǫ d Λ(q, q,t). (8.12) dt Inserting this into the left-hand side of (8.11), we find ǫ d [ ] L (q, q,t) Λ(q, q,t) = 0, (8.13) dt q thus recovering again the conserved Noether charge (8.8). The existence of a conserved quantity for every continuous symmetry is the content of Noether s theorem [1] Alternative Derivation Let us do the substantial variation in Eq. (8.5) explicitly, and change a classical orbit q c (t), that extremizes the action, by an arbitrary variation δ a q(t). If this does not vanish at the boundaries, the action changes by a pure boundary term that follows directly from (8.5): δ a A = L t b q δ aq. (8.14) t a From this equation we can derive Noether s theorem in yet another way. Suppose we subject a classical orbit to a new type of symmetry variation, to be called local symmetry transformations, which generalizes the previous symmetry variations(8.4) by making the parameter ǫ time-dependent: δs t q(t) = ǫ(t) (q(t), q(t),t). (8.15) The superscript t of δs t q(t) indicates the new time dependence in the parameter ǫ(t). These variations may be considered as a special set of the general variations δ a q(t) introduced above. Thus also δs t A must be a pure boundary term of the type (8.14). For the subsequent discussion it is useful to introduce the infinitesimally transformed orbit and the associated Lagrangian: q ǫ (t) q(t)+δs t q(t) = q(t)+ǫ(t) (q(t), q(t),t), (8.16) L ǫ L(q ǫ (t), q ǫ (t)). (8.17) Using the time-dependent parameter ǫ(t), the local symmetry variation of the action can be written as [ tb L δsa t ǫ = dt t a ǫ(t) d L ǫ ] ǫ(t)+ d [ ] L ǫ t b ǫ(t). (8.18) dt ǫ(t) dt ǫ t a

4 622 8 Continuous Symmetries and Conservation Laws. Noether s Theorem Along the classical orbits, the action is extremal and satisfies the equation δa δǫ(t) = 0, (8.19) which translates for a local action to an Euler-Lagrange type of equation: L ǫ ǫ(t) d L ǫ dt ǫ(t) = 0. (8.20) This can also be checked explicitly by differentiating (8.17) according to the chain rule of differentiation: L ǫ ǫ(t) L ǫ ǫ(t) = Lǫ Lǫ (q, q,t)+ q(t) q(t) (q, q,t); (8.21) = Lǫ (q, q,t), (8.22) q(t) and inserting on the right-hand side the ordinary Euler-Lagrange equations (1.8). We now invoke the symmetry assumption that the action is a pure surface term under the time-independent transformations (8.15). This implies that L ǫ ǫ = d Λ. (8.23) dt Combining this with (8.20), we derive a conservation law for the charge: Q = Lǫ ǫ Λ. (8.24) Inserting here Eq. (8.22), we find that this is the same charge as that derived by the previous method. 8.2 Displacement and Energy Conservation As a simple but physically important example consider the case that the Lagrangian does not depend explicitly on time, i.e., that L(q, q,t) L(q, q). Let us perform a time translation on the coordinate frame: t = t ǫ. (8.25) In the new coordinate frame, the same orbit has the new description q(t ) = q(t), (8.26) i.e., the orbit q(t) at the translated time t is precisely the same as the orbit q(t) at the original time t. If we replace the argument of q(t) in (8.26) by t, we describe a

5 8.2 Displacement and Energy Conservation 623 time-translated orbit in terms of the original coordinates. This implies the symmetry variation of the form (8.4): δ s q(t) = q (t) q(t) = q(t +ǫ) q(t) The symmetry variation of the Lagrangian is in general = q(t )+ǫ q(t ) q(t) = ǫ q(t). (8.27) δ s L = L(q (t), q (t)) L(q(t), q(t)) = L q δ sq(t)+ L q δ s q(t). (8.28) Inserting δ s q(t) from (8.27) we find, without using the Euler-Lagrange equation, δ s L = ǫ ( L q ) L q + q q = ǫ d L. (8.29) dt This has precisely the form of Eq. (8.12), with Λ = L as expected, since time translations are symmetry transformations. Here the function Λ in (8.12) happens to coincide with the Lagrangian. According to Eq. (8.10), we find the Noether charge Q = L q q L(q, q) (8.30) to be a constant of motion. This is recognized as the Legendre transform of the Lagrangian which is, of course, the Hamiltonian of the system. s Let us briefly check how this Noether charge is obtained from the alternative formula (8.10). The time-dependent symmetry variation is here under which the Lagrangian is changed by δs t L = L L ǫ q + q q δ t sq(t) = ǫ(t) q(t), (8.31) Lǫ Lǫ ( ǫ q +ǫ q) = ǫ+ ǫ, (8.32) ǫ ǫ with and L ǫ ǫ = L q (8.33) q L ǫ ǫ = L L q + q q ǫ q = d L. (8.34) dt This shows that time translations fulfill the symmetry condition (8.23), and that the Noether charge (8.24) coincides with the Hamiltonian found in Eq. (8.10).

6 624 8 Continuous Symmetries and Conservation Laws. Noether s Theorem 8.3 Momentum and Angular Momentum While the conservation law of energy follows from the symmetry of the action under time translations, conservation laws of momentum and angular momentum are found if the action is invariant under translations and rotations. Consider a Lagrangian of a point particle in a euclidean space L = L(x i (t),ẋ i (t),t). (8.35) In contrast to the previous discussion of time translation invariance, which was applicable to systems with arbitrary Lagrange coordinates q(t), we denote the coordinates here by x i to emphasize that we now consider cartesian coordinates. If the Lagrangian does depend only on the velocities ẋ i and not on the coordinates x i themselves, the system is translationally invariant. If it depends, in addition, only on ẋ 2 = ẋ i ẋ i, it is also rotationally invariant. Thesimplest example isthelagrangianofapointparticleofmassmineuclidean space: L = m 2 ẋ2. (8.36) It exhibits both invariances, leading to conserved Noether charges of momentum and angular momentum, as we now demonstrate Translational Invariance in Space Under a spatial translation, the coordinates x i change to x i = x i +ǫ i, (8.37) where ǫ i are small numbers. The infinitesimal translations of a particle path are [compare (8.4)] Under these, the Lagrangian changes by δ s x i (t) = ǫ i. (8.38) δ s L = L(x i (t),ẋ i (t),t) L(x i (t),ẋ i (t),t) = L x iδ sx i = L x iǫi = 0. (8.39) By assumption, the Lagrangian is independent of x i, so that the right-hand side vanishes. This has to be compared with the symmetry variation of the Lagrangian around the classical orbit, calculated via the chain rule, and using the Euler- Lagrange equation: ( L δ s L = x d ) L δ i dt ẋ i s x i + d [ ] L dt ẋ iδ sx i = d [ ] L ǫ i. (8.40) dt ẋ i

7 8.3 Momentum and Angular Momentum 625 This has the form (8.6), from which we extract a conserved Noether charge (8.7) for each coordinate x i : These are simply the canonical momenta of the system Rotational Invariance Under rotations, the coordinates x i change to p i = L ẋi. (8.41) x i = R i jx j, (8.42) where R i j is an orthogonal 3 3 -matrix. Infinitesimally, this can be written as R i j = δ i j ω k ǫ kij, (8.43) where is an infinitesimal rotation vector. The corresponding rotation of a particle path is δ s x i (t) = x i (t) x i (t) = ω k ǫ kij x j (τ). (8.44) It is useful to introduce the antisymmetric infinitesimal rotation tensor in terms of which ω ij ω k ǫ kij, (8.45) δ s x i = ω ij x j. (8.46) Then we can write the change of the Lagrangian under δ s x i, as δ s L = L(x i (t),ẋ i (t),t) L(x i (t),ẋ i (t),t) δ s L = = L x iδ sx i + L ẋ iδ sẋ i, (8.47) ( L + L ) ω x ixj ẋ iẋj ij = 0. (8.48) If the Lagrangian depends only on the rotational invariants x 2,ẋ 2,x ẋ, and on powers thereof, the right-hand side vanishes on account of the antisymmetry of ω ij. This ensures the rotational symmetry. We now calculate once more the symmetry variation of the Lagrangian via the chain rule and find, using the Euler-Lagrange equations, ( L δ s L = x d ) L δ i dt ẋ i s x i + d dt = d [ ] L ω dt ẋ ixj ij = 1 [ d 2dt [ L ẋ iδ sx i ] L x i (i j) ẋj ] ω ij. (8.49)

8 626 8 Continuous Symmetries and Conservation Laws. Noether s Theorem The right-hand side yields the conserved Noether charges of type (8.7), one for each antisymmetric pair i, j: L ij = x i L L xj ẋj ẋ i xi p j x j p i. (8.50) These are the antisymmetric components of angular momentum. Had we worked with the original vector form of the rotation angles ω k, we would have found the angular momentum in the more common form: L k = 1 2 ǫ kijl ij = (x p) k. (8.51) The quantum-mechanical operators associated with these, after replacing p i i / x i, have the well-known commutation rules In the tensor notation (8.50), these become [ˆL i, ˆL j ] = iǫ ijkˆlk. (8.52) [ˆL ij, ˆL kl ] = i ( δ ikˆljl δ ilˆljk +δ jlˆlik δ jkˆlil ). (8.53) Center-of-Mass Theorem Consider now the transformations corresponding to a uniform motion of the coordinate system. We shall study the behavior of a set of free massive point particles in euclidean space described by the Lagrangian L(ẋ i ) = n m n 2 ẋ2 n. (8.54) to Under Galilei transformations, the spatial coordinates and the time are changed ẋ i (t) = x i (t) v i t, (8.55) t = t, where v i is the relative velocity along the ith axis. The infinitesimal symmetry variations are which change the Lagrangian by Inserting the explicit form (8.54), we find δ s x i (t) = ẋ i (t) x i (t) = v i t, (8.56) δ s L = L(x i v i t,ẋ i v i ) L(x i,ẋ i ). (8.57) δ s L = n m n 2 [ (ẋ i n v i ) 2 (ẋ n i ) 2]. (8.58)

9 8.3 Momentum and Angular Momentum 627 This can be written as a total time derivative: δ s L = d dt Λ = d [ ] m n ẋ i n dt vi + v2 2 t, (8.59) n proving that Galilei transformations are symmetry transformations in the Noether sense. By assumption, the velocities v i in (8.55) are infinitesimal, so that the second term can be ignored. By calculating δ s L once more via the chain rule with the help of the Euler- Lagrange equations, and by equating the result with (8.59), we find the conserved Noether charge Q = n ( = L ẋ iδ sx i Λ n m n ẋ i n t+ n m n x i n ) v i. (8.60) Since the direction of the velocity v i is arbitrary, each component is separately a constant of motion: N i = n m n ẋ i t+ n m n x n i = const. (8.61) This is the well-known center-of-mass theorem [2]. Indeed, introducing the centerof-mass coordinates x i i CM n x n, (8.62) nm n and the associated velocities v i CM = nm n ẋ n i nm n, (8.63) the conserved charge (8.61) can be written as N i = n m n ( vcm i t+xi CM ). (8.64) The time-independence of N i implies that the center-of-mass moves with uniform velocity according to the law x i CM (t) = xi 0CM +vi CMt, (8.65) where x i 0CM = Ni nm n (8.66) is the position of the center of mass at t = 0. Note that in non-relativistic physics, the center-of-mass theorem is a consequence of momentum conservation since momentum mass velocity. In relativistic physics, this is no longer true.

10 628 8 Continuous Symmetries and Conservation Laws. Noether s Theorem Conservation Laws Resulting from Lorentz Invariance In relativistic physics, particle orbits are described by functions in spacetime x µ (τ), (8.67) where τ is an arbitrary Lorentz-invariant parameter. The action is an integral over some Lagrangian: A = dτl(x µ (τ),ẋ µ (τ),τ), (8.68) where ẋ µ (τ) denotes the derivative with respect to the parameter τ. If the Lagrangian depends only on invariant scalar products x µ x µ,x µ ẋ µ, ẋ µ ẋ µ, then it is invariant under Lorentz transformations where Λ µ ν is a 4 4 matrix satisfying x µ ẋ µ = Λ µ ν x ν, (8.69) ΛgΛ T = g, (8.70) with the Minkowski metric g µν = (8.71) For a free massive point particle in spacetime, the Lagrangian is L(ẋ(τ)) = Mc g µν ẋ µ ẋ ν. (8.72) It is reparametrization invariant under τ f(τ), with an arbitrary function f(τ). Under translations δ s x µ (τ) = x µ (τ) ǫ µ (τ), (8.73) the Lagrangian is obviously invariant, satisfying δ s L=0. Calculating this variation once more via the chain rule with the help of the Euler-Lagrange equations, we find From this we obtain the Noether charges ( τν L 0 = dτ τ µ x µδ sx µ + L ) ẋ µδ sẋ µ τν = ǫ µ dτ d ( ) L. (8.74) τ µ dτ ẋ µ p µ L ẋ µ = Mc ẋ µ (τ) gµν ẋ µ ẋ ν = Mcuµ, (8.75)

11 8.3 Momentum and Angular Momentum 629 which satisfy the conservation law d dτ p µ(t) = 0. (8.76) They are the conserved four-momenta of a free relativistic particle. The quantity u µ ẋ µ gµν ẋ µ ẋ ν (8.77) is the dimensionless relativistic four-velocity of the particle. It has the property u µ u µ = 1, and it is reparametrization invariant. By choosing for τ the physical time t = x 0 /c, we can express u µ in terms of the physical velocities v i = dx i /dt as u µ = γ(1,v i /c), with γ 1 v 2 /c 2. (8.78) Note the minus sign in the definition (8.75) of the canonical momentum with respect to the nonrelativistic case. It is necessary to write Eq. (8.75) covariantly. The derivative with respect to ẋ µ transforms like a covariant vector with a subscript µ, whereas the physical momenta are p µ. For small Lorentz transformations near the identity we write where Λ µ ν = δ µ ν +ω µ ν, (8.79) ω µ ν = g µλ ω λν (8.80) is an arbitrary infinitesimal antisymmetric matrix. An infinitesimal Lorentz transformation of the particle path is δ s x µ (τ) = ẋ µ (τ) x µ (τ) = ω µ νx ν (τ). (8.81) Under it, the symmetry variation of a Lorentz-invariant Lagrangian vanishes: ( L δ s L = + L ) ω µ x µxν ẋ µẋν ν = 0. (8.82) This has to be compared with the symmetry variation of the Lagrangian calculated via the chain rule with the help of the Euler-Lagrange equation ( L δ s L = x d ) L δ µ dτ ẋ µ s x µ + d [ ] L dτ ẋ µδ sx µ = d [ ] L ω µ dτ ẋ µẋν ν = 1 2 ω µ ν d ( x µ L x ν L ). (8.83) dτ ẋ ν ẋ µ

12 630 8 Continuous Symmetries and Conservation Laws. Noether s Theorem By equating this with (8.82), we obtain the conserved rotational Noether charges [containing again a minus sign as in (8.75)]: L µν = x µ L ẋ ν +x ν L ẋ µ = x µ p ν x ν p µ. (8.84) They are four-dimensional generalizations of the angular momenta (8.50). The quantum-mechanical operators ˆL µν i(x µ ν x ν µ ) (8.85) obtained after the replacement p µ i / x µ satisfy the four-dimensional spacetime generalization of the commutation relations (8.53): [ˆL µν, ˆL κλ ] = i ( g µκˆlνλ g µλˆlνκ +g νλˆlµκ g νκˆlµλ ). (8.86) The quantities L ij coincide with the earlier-introduced angular momenta (8.50). The conserved components L 0i = x 0 p i x i p 0 M i (8.87) yield the relativistic generalization of the center-of-mass theorem (8.61): M i = const. (8.88) 8.4 Generating the Symmetry Transformations As mentioned in the introduction to this chapter, the relation between invariances and conservation laws has a second aspect. With the help of Poisson brackets, the charges associated with continuous symmetry transformations can be used to generate the symmetry transformation from which they were derived. Explicitly, δ sˆx = iǫ[ˆq,ˆx(t)]. (8.89) The charge derived in Section 7.2 from the invariance of the system under time displacement is the most famous example for this property. The charge (8.30) is by definition the Hamiltonian, Q H, whose operator version generates infinitesimal time displacements by the Heisenberg equation of motion: ˆx(t) = i[ĥ,ˆx(t)]. (8.90) This equation is obviously the same as (8.89). To quantize the system canonically, we may assume the Lagrangian to have the standard form L(x,ẋ) = M 2 ẋ2 V(x), (8.91)

13 8.4 Generating the Symmetry Transformations 631 so that the Hamiltonian operator becomes, with the canonical momentum p ẋ: Ĥ = ˆp2 2M +V(ˆx). (8.92) Equation (8.90) is then a direct consequence of the canonical equal-time commutation rules [ˆp(t),ˆx(t)] = i, [ˆp(t), ˆp(t)] = 0, [ˆx(t),ˆx(t)] = 0. (8.93) The charges (8.41), derived in Section 7.3 from translational symmetry, are another famous example. After quantization, the commutation rule (8.89) becomes, with (8.38), ǫ j = iǫ i [ˆp i (t),ˆx j (t)]. (8.94) This coincides with one of the canonical commutation relations (here it appears only for time-independent momenta, since the system is translationally invariant). The relativistic charges (8.75) of spacetime generate translations via δ sˆx µ = ǫ µ = iǫ ν [ˆp ν (t),ˆx µ (τ)], (8.95) in agreement with the relativistic canonical commutation rules (29.27). Similarly we find that the quantized versions of the conserved charges L i in Eq. (8.51) generate infinitesimal rotations: δ sˆx j = ω i ǫ ijkˆx k (t) = iω i [ˆL i,ˆx j (t)], (8.96) whereas the quantized conserved charges N i of Eq. (8.61) generate infinitesimal Galilei transformations, and that the charges M i of Eq. (8.87) generate pure rotational Lorentz transformations: δ sˆx j = ǫ iˆx 0 = iǫ i [M i,ˆx j ], δ sˆx 0 = ǫ iˆx i = iǫ i [M i,ˆx 0 ]. (8.97) Since the quantized charges generate the rotational symmetry transformations, they form a representation of the generators of the symmetry group. When commuted with each other, they obey the same commutation rules as the generators of the symmetry group. The charges (8.51) associated with rotations, for example, have the commutation rules [ˆL i, ˆL j ] = iǫ ijkˆlj, (8.98) which are the same as those between the 3 3 generators of the three-dimensional rotations (L i ) jk = iǫ ijk. The quantized charges of the generators (8.84) of the Lorentz group satisfy the commutation rules (8.86) of the 4 4 generators (8.85) [ˆL µν, ˆL µλ ] = ig µµˆlνλ. (8.99) This follows directly from the canonical commutation rules (8.95) [i.e., (29.27)].

14 632 8 Continuous Symmetries and Conservation Laws. Noether s Theorem 8.5 Field Theory A similar relation between continuous symmetries and constants of motion holds in field theory Continuous Symmetry and Conserved Currents Let A be the action of an arbitrary field ϕ(x), and suppose that a transformation of the field A = d 4 xl(ϕ, ϕ,x), (8.100) δ s ϕ(x) = ǫ (ϕ, ϕ,x) (8.101) changes the Lagrangian density L merely by a total derivative δ s L = ǫ µ Λ µ, (8.102) or equivalently, that it changes the action A by a surface term δ s A = ǫ d 4 x µ Λ µ. (8.103) Then δ s L is called a symmetry transformation. Given such a symmetry transformation, we can find a current four-vector that has no four-divergence j µ = L µ ϕ Λµ (8.104) µ j µ (x) = 0. (8.105) The expression on the right-hand side of (8.104) is called a Noether current, and (8.105) is referred to as the associated current conservation law. It is a local conservation law. The proof of (8.105) is just as simple as that of the time-independence of the charge (8.10) associated with the corresponding symmetry of the mechanical action (8.1) in Section 8.1. We calculate the symmetry variation of L under the symmetry transformation in a similar way as in Eq. (8.11), and find ( ) ( ) L δ s L = ϕ L L µ δ s ϕ+ µ µ ϕ µ ϕ δ sϕ ( ) ( ) L = ǫ ϕ L L µ + µ µ ϕ µ ϕ. (8.106)

15 8.5 Field Theory 633 Then we invoke the Euler-Lagrange equation to remove the first term. Equating the second term with (8.102), we obtain ( ) L µ j µ µ µ ϕ Λµ = 0. (8.107) The relation between continuous symmetries and conservation is called Noether s theorem [1]. Assuming all fields to vanish at spatial infinity, we can derive from the local law (8.107) a global conservation law for the charge that is obtained from the spatial integral over the charge density j 0 : Q(t) = d 3 xj 0 (x,t). (8.108) Indeed, we may write the time derivative of the charge as an integral d dt Q(t) = d 3 x 0 j 0 (x,t) (8.109) and adding on the right-hand side a spatial integral over a total three-divergence, which vanishes due to the boundary conditions, we find d dt Q(t) = Thus the charge is conserved: d 3 x 0 j 0 (x,t) = d 3 x[ 0 j 0 (x,t)+ i j i (x,t)] = 0. (8.110) Alternative Derivation d Q(t) = 0. (8.111) dt There is again an alternative derivation of the conserved current that is analogous to Eqs. (8.15) (8.24). It is based on a variation of the fields under symmetry transformations whose parameter ǫ is made artificially spacetime-dependent ǫ ǫ(x), thus extending (8.15) to δ x sϕ(x) = ǫ(x) (ϕ(x), µ ϕ(x),x). (8.112) As before in Eq. (8.17), we calculate the Lagrangian density for a slightly transformed field ϕ ǫ (x) ϕ(x)+δ x sϕ(x), (8.113) calling it L ǫ L(ϕ ǫ (t), ϕ ǫ (t)). (8.114) The corresponding action differs from the original one by {[ L δs x ǫ A = dx ǫ(x) L ǫ ] [ ]} L ǫ µ δǫ(x)+ µ µ ǫ(x) µ ǫ(x) δǫ(x). (8.115)

16 634 8 Continuous Symmetries and Conservation Laws. Noether s Theorem From this we obtain the Euler-Lagrange-like equation L ǫ ǫ(x) L ǫ µ µ ǫ(x) = 0. (8.116) By assumption, the action is a pure surface term under x-independent transformations, implying that L ǫ ǫ(x) = µλ µ. (8.117) Together with (8.116), we see that j µ = δx s L µ ǫ(x) Λµ (8.118) has no four-divergence. By the chain rule of differentiation we calculate δs t L = L(x) L ǫ + ϕ ν ϕ νǫ, (8.119) and see that L ǫ µ ǫ(x) = L (ϕ, ϕ,x), (8.120) µ ϕ so that the current (8.118) coincides with (8.104) Local Symmetries If we apply the alternative derivation of a conserved current to a local symmetry, such as a local gauge symmetry, the current density (8.118) vanishes identically. Let us illuminate the symmetry origin of this phenomenon. To be specific, we consider directly the field theory of electrodynamics. The theory does have a conserved charge resulting from the global U(1)-symmetry of the matter Lagrangian. There is a conserved current which is the source of a massless particle, the photon. This is described by a gauge field which is minimally coupled to the conserved current. A similar structure exists for many internal symmetries giving rise to nonabelian versions of the photon, such as gluons, whose exchange causes the strong interactions, and W- and Z-vector mesons, which mediate the weak interactions. It is useful to reconsider Noether s derivation of conservation laws in such theories. The conserved matter current in a locally gauge-invariant theory cannot be found anymorebytherule(8.118),whichwassousefulinthegloballyinvarianttheory. For the gauge transformation of quantum electrodynamics, the derivative with respect to the local field transformation ǫ(x) would simply be given by j µ = δl µ Λ. (8.121)

17 8.5 Field Theory 635 This would be identically equal to zero, due to local gauge invariance. We may, however, subject just the matter field to a local gauge transformation at fixed gauge fields. Then we obtain the correct current j µ L. (8.122) µ Λ em Since the complete change under local gauge transformations δs x L vanishes identically, we can alternatively vary only the gauge fields and keep the particle orbit fixed: j µ = L. (8.123) µ Λ m This is done most simply by forming the functional derivative with respect to the gauge field, thereby omitting the contribution of em L: j µ = m L µ Λ. (8.124) An interesting consequence of local gauge invariance can be found for the gauge field itself. If we form the variation of the pure gauge field action em δ s A = em A d 4 x tr δsa x µ, (8.125) δa µ and insert for δ x sa an infinitesimal pure gauge field configuration δ x s A µ = i µ Λ(x), (8.126) the right-hand side must vanish for all Λ(x). After a partial integration this implies the local conservation law µ j µ (x) = 0 for the current: j µ (x) = i δ em A δa µ. (8.127) In contrast to the earlier conservation laws derived for matter fields, which were valid only if the matter fields obey the Euler-Lagrange equations, the current conservation law for gauge fields is valid for all field configurations. It is an identity which we may call Bianchi identity due to its close analogy with the Bianchi identities in Riemannian geometry. To verify the conservation of(12.63), we insert the Lagrangian(12.3) into (12.63) and find j ν = µ F µν /2. This current is trivially conserved for any field configuration due to the antisymmetry of F µν.

18 636 8 Continuous Symmetries and Conservation Laws. Noether s Theorem 8.6 Canonical Energy-Momentum Tensor As an important example for the field theoretic version of the theorem, consider the usual case that the Lagrangian density does not depend explicitly on the spacetime coordinates x: L = L(ϕ, ϕ). (8.128) We then performatranslationalong anarbitrarydirection ν = 0,1,2,3of spacetime under which field ϕ(x) transforms as x µ = x µ ǫ µ, (8.129) ϕ (x ) = ϕ(x). (8.130) This equation expresses the fact that the field has the same value at the same absolute point in space and time, which in one coordinate system is labeled by the coordinates x µ and in the other by x µ. Under an infinitesimal translation of the field configuration coordinate, the Lagrangian density undergoes the following symmetry variation where δ s L L(ϕ (x), ϕ (x)) L(ϕ(x), ϕ(x)) L = ϕ(x) δ sϕ(x)+ L µ ϕ µδ s ϕ(x), (8.131) δ s ϕ(x) = ϕ (x) ϕ(x) (8.132) is the symmetry variation of the fields. For the particular transformation (8.130) the symmetry variation becomes simply The Lagrangian density (8.128) changes by δ s ϕ(x) = ǫ ν ν ϕ(x). (8.133) δ s L(x) = ǫ ν ν L(x). (8.134) Hence the requirement (8.103) is satisfied and δ s ϕ(x) is a symmetry transformation. The function Λ happens to coincide with the Lagrangian density Λ = L. (8.135) We can now define a set of currents j ν µ, one for each ǫ ν. In the particular case at hand, the currents j ν µ are denoted by Θ ν µ, and read: Θ ν µ = L µ ϕ νϕ δ ν µ L. (8.136)

19 8.6 Canonical Energy-Momentum Tensor 637 They have no four-divergence µ Θ ν µ (x) = 0. (8.137) As a consequence, the total four-momentum of the system, defined by P µ = d 3 xθ µ0 (x), (8.138) is independent of time. The alternative derivation of the currents goes as follows. Introducing we see that δ x s ϕ(x) = ǫν (x) ν ϕ(x), (8.139) δ x sϕ(x) = ϕ ν (x) ν ϕ(x). (8.140) On the other hand, the chain rule of differentiation yields Hence δ x s L = L ϕ(x) ǫν (x) ν ϕ(x)+ L µ ϕ(x) {[ µǫ ν (x)] ν ϕ+ǫ ν µ ν ϕ(x)}. (8.141) L ǫ µ ǫ ν (x) = L µ ϕ νϕ, (8.142) and we obtain once more the energy-momentum tensor (8.136). Note that (8.142) can also be written as L ǫ µ ǫ ν (x) = L µ ϕ δsϕ x ǫ ν (x). (8.143) Since ν is a contravariant vector index, the set of currents Θ ν µ forms a Lorentz tensor called the canonical energy-momentum tensor. The component Θ 0 0 = L 0 ϕ 0ϕ L (8.144) is recognized to be the Hamiltonian density in the canonical formalism Electromagnetism As an important physical application of the field theoretic Noether theorem, consider the free electromagnetic field with the action L = 1 4c F λκf λκ, (8.145) where F λκ are the components of the field strength F λκ λ A κ κ A λ. Under a translation in space and time from x µ to x µ ǫδ ν µ, the vector potential undergoes a similar change as in (8.130): A µ (x ) = Λ µ (x). (8.146)

20 638 8 Continuous Symmetries and Conservation Laws. Noether s Theorem As before, this equation expresses the fact that at the same absolute spacetime point, which in the two coordinate frames is labeled once by x and once by x, the field components have the same numerical values. The equation transformation law (8.146) can be rewritten in an infinitesimal form as δ s A λ (x µ ) A λ (x µ ) A λ (x µ ) Under it, the field tensor changes as follows so that the Lagrangian density is a total four-divergence: = A λ (x µ +ǫδ ν µ ) A λ (x µ ) (8.147) = ǫ ν A λ (x µ ). (8.148) δ s F λκ = ǫ ν F λκ, (8.149) δ s L = ǫ 1 2c F λκ ν F λκ = ǫ ν L (8.150) Thus, the spacetime translations (8.148) are symmetry transformations, and the currents are conserved: Θ ν µ = L µ A λ νa λ δ ν µ L (8.151) µ Θ ν µ (x) = 0. (8.152) Using L/ µ A λ = F µ λ, the currents (8.151) become more explicitly Θ µ ν = 1 (F µλ ν A λ 1 ) c 4 δ ν µ F λκ F λκ. (8.153) They form the canonical energy-momentum tensor of the electromagnetic field Dirac Field We now turn to the Dirac field which has the well-known action A = d 4 xl(x) = d 4 x ψ(x)(iγ µ µ M)ψ(x), (8.154) where γ µ are the Dirac matrices ( 0 σ γ µ µ = σ µ 0 ). (8.155) Here σ µ, σ µ are four 2 2 matrices σ µ (σ 0,σ i ). σ µ (σ 0, σ i ), (8.156)

21 8.6 Canonical Energy-Momentum Tensor 639 whose zeroth component is the unit matrix ( ) 1 0 σ 0 =, (8.157) 0 1 and whose spatial components consist of the Pauli spin matrices ( ) ( ) ( ) i 1 0 σ 1 =, σ 2 =, σ 3 =. (8.158) 1 0 i On behalf of the algebraic properties of the Pauli matrices σ i σ j = δ ij +iǫ ijk σ k, (8.159) the Dirac matrices (8.155) satisfy the anticommutation rules Under spacetime translations {γ µ,γ ν } = 2g µν. (8.160) x µ = x µ ǫ µ, (8.161) the Dirac field transforms in the same way as the previous scalar and vector fields: or infinitesimally: The same is true for the Lagrangian density, where and Thus we obtain the Noether current with the local conservation law From (8.154), we see that ψ (x ) = ψ(x), (8.162) δ s ψ(x) = ǫ µ µ ψ(x). (8.163) L (x ) = L(x), (8.164) δ s L(x) = ǫ µ µ L(x). (8.165) Θ ν µ = L µ ψ λ νψ λ +c.c. δ ν µ L, (8.166) µ Θ ν µ (x) = 0. (8.167) L µ ψ λ = 1 2 ψγ µ, (8.168) so that we obtain the canonical energy-momentum tensor of the Dirac field: Θ ν µ = 1 2 ψγ µ ν ψ λ +c.c. δ ν µ L (8.169)

22 640 8 Continuous Symmetries and Conservation Laws. Noether s Theorem 8.7 Angular Momentum Let us now turn to angular momentum in field theory. Consider first the case of a scalar field ϕ(ẋ). Under a rotation of the coordinates, x i = R i jx j, (8.170) the field does not change, if considered at the same space point, i.e., The infinitesimal symmetry variation is: Using the infinitesimal form (8.46) of (8.170), we see that ϕ (x i ) = ϕ(x i ). (8.171) δ s ϕ(x) = ϕ (x) ϕ(x). (8.172) δx i = ω ij x j, (8.173) δ s ϕ(x) = ϕ (x 0,x i δx i ) ϕ(x) = i ϕ(x)x j ω ij. (8.174) Suppose we are dealing with a Lorentz-invariant Lagrangian density that has no explicit x-dependence: Then the symmetry variation is L = L(ϕ(x), ϕ(x)). (8.175) δ s L = L(ϕ (x), ϕ (x)) ϕ(ϕ(x), ϕ(x)) L = ϕ(x) δ sϕ(x)+ ϕ ϕ(x) µδ s ϕ(x). (8.176) For a Lorentz-invariant L, the derivative L/ µ ϕ is a vector proportional to µ ϕ. For the Lagrangian density, the rotational symmetry variation Eq. (8.174) becomes [ L δ s L = ϕ iϕx j + L ] µ ϕ µ( i Lx j ) ω ij = [ ( i L)x j + L j ϕ iϕ ] ω ij = i ( Lx j ω ij ). (8.177) The right-hand side is a total derivative. In arriving at this result, the antisymmetry of ϕ ij has been used twice: first for dropping the second term in the brackets, which

23 8.8 Four-Dimensional Angular Momentum 641 is possible since L/ i ϕ is proportional to i ϕ as a consequence of the assumed rotational invariance 1 of L. Second it is used to pull x j inside the last parentheses. Calculating δ s L once more with the help of the Euler-Lagrange equations gives Thus the Noether charges δ s L = L L δ sϕ+ L µ ϕ µδ s ϕ (8.178) ( ) ( ) L = ϕ L L µ δ s ϕ+ µ µ ϕ µ ϕ δ sϕ ( ) L = µ µ ϕ iϕ x j ω ij. L ij,µ = have no four-divergence ( ) L µ ϕ iϕx j δ µ i L x j (i j) (8.179) µ L ij,µ = 0. (8.180) The associated charges L ij = d 3 xl ij,µ (8.181) are called the total angular momenta of the field system. In terms of the canonical energy-momentum tensor the current density L ij,µ can also be rewritten as Θ ν µ = L µ ϕ νϕ δ ν µ L, (8.182) L ij,µ = x i Θ jµ x j Θ iµ. (8.183) 8.8 Four-Dimensional Angular Momentum A similar procedure can be applied to pure Lorentz transformations. An infinitesimal boost to rapidity ζ i produces a coordinate change This can be written as x µ = Λ µ νx ν = x µ +δ µ iζ i x ν +δ µ 0ζ i x i. (8.184) 1 Recall the similar argument after Eq. (8.48) δx µ = ω µ νx ν, (8.185)

24 642 8 Continuous Symmetries and Conservation Laws. Noether s Theorem where ω ij = 0, ω 0i = ω i0 = ζ i. (8.186) With the tensor ω µ ν, the restricted Lorentz transformations and the infinitesimal rotations can be treated on the same footing. The rotations have the form (8.185) for the particular choice ω ij = ǫ ijk ω k, ω 0i = ω i0 = 0. (8.187) We can now identify the symmetry variations of the field as being δ s ϕ(x) = ϕ (x µ δx µ ) ϕ(x) = µ ϕ(x)x ν ω µ ν. (8.188) Just as in (8.177), the Lagrangian density transforms as the total derivative δ s ϕ = µ (Lx ν )ω µ ν, (8.189) and we obtain the Noether currents ( ) L L µν,λ = λ ϕ λ ϕx ν δ µλ Lx ν +(µ ν). (8.190) The right-hand side can be expressed in terms of the canonical energy-momentum tensor (8.136), so that we find L µν,λ = These currents have no four-divergence ( ) L λ ϕ λ ϕx ν δ µλ Lx ν +(µ ν) = x µ Θ νλ x ν Θ µλ. (8.191) λ L µν,λ = 0. (8.192) The associated charges L µν d 3 xl µν,0 (8.193) are independent of time. For the particular form of ω µν in (8.186), we find time-independent components L i0. The components L ij coincide with the previously-derived angular momenta. The constancy of L i0 is the relativistic version of the center-of-mass theorem (8.65). Indeed, since L i0 = d 3 x(x i Θ 00 x 0 Θ i0 ), (8.194)

25 8.9 Spin Current 643 we can define the relativistic center of mass and the average velocity d x i 3 CM = xθ 00 x i, (8.195) d3 xθ00 vcm i = c d3 xθ i0 = cpi d3 xθ00 P0. (8.196) Since d 3 xθ i0 = P i is the constant momentum of the system, also v i CM is a constant. Thus, theconstancy ofl 0i implies thecenter-of-massmoves withtheconstant velocity x i CM(t) = x i 0CM +v i 0CMt, (8.197) with x i 0CM = L0i /P 0. The quantities L µν are referred to as four-dimensional orbital angular momenta. It is important to point out that the vanishing divergence of L µν,λ makes Θ νµ symmetric: λ L µν,λ = λ (x µ Θ νλ x ν Θ µλ ) = Θ νµ Θ νµ = 0. (8.198) Thus, translationally invariant field theories whose orbital angular momentum is conserved have always a symmetric canonical energy-momentum tensor. 8.9 Spin Current Θ µν = Θ νµ. (8.199) If the field ϕ(x) is no longer a scalar but carries spin degrees of freedom, the derivation of the four-dimensional angular momentum becomes slightly more involved Electromagnetic Fields Consider first the case of electromagnetism where the relevant field is the four-vector potential A µ (x). When going to a new coordinate frame x µ = Λ µ νx ν, (8.200) the vector field at the same point remains unchanged in absolute spacetime. However, since the components A µ refer to two different basic vectors in the different frames, they must be transformed accordingly. Indeed, since A µ is a vector and transforms like x µ, it must satisfy the relation characterizing a vector field: A µ (x ) = Λ µ νa ν (x). (8.201)

26 644 8 Continuous Symmetries and Conservation Laws. Noether s Theorem For an infinitesimal transformation this implies a symmetry variation δ s x µ = ω µ νx ν, (8.202) δ s A µ (x) = A µ (x) A µ (x) = A µ (x δx) A µ (x) = ω µ νa ν (x) ω λ νx ν λ A µ. (8.203) The first term is a spin transformation, the other an orbital transformation. The orbital transformation can also be written in terms of the generators ˆL µν of the Lorentz group defined in (8.84) as δ orb s A µ (x) = iω µνˆlµν A(x). (8.204) It is convenient to introduce 4 4 spin transformation matrices L µν with the matrix elements: (L µν ) λκ i(g µλ g νκ g µκ g νλ ). (8.205) They satisfy the same commutation relations (8.86) as the differential operators ˆL µν defined in Eq. (8.85). By adding together the two generators ˆL µν and L µν, we form the operator of total four-dimensional angular momentum and can write the symmetry variation (8.203) as Ĵ µν ˆL µν +L µν, (8.206) δ orb s A µ (x) = iω µν Ĵ µν A(x). (8.207) If the Lagrangian density involves only scalar combinations of four-vectors A µ, and if it has no explicit x-dependence, it changes under Lorentz transformations like a scalar field: L (x ) L(A (x ), A (x )) = L(A(x), A(x)) L(x). (8.208) Infinitesimally, this makes the symmetry variation a pure gradient term: δ s L = ( µ Lx ν )ω µ ν. (8.209) Thus Lorentz transformations are symmetry transformations in the Noether sense. Following Noether s construction (8.179), we calculate the current of total fourdimensional angular momentum: J µν,λ = L ( ) L A ν A κ x ν δ µλ Lx ν (µ ν). (8.210) λ A µ λ A κ µ

27 8.9 Spin Current 645 The last two terms have the same form as the current L µν,λ of the four-dimensional angular momentum of the scalar field. Here they are the currents of the fourdimensional orbital angular momentum:. L µν,λ = Note that this current has the form ( ) L A κ x ν δ µλ Lx ν +(µ ν). (8.211) λ A κ µ L µν,λ L = i λ A ˆL µν A κ + [ δ µλ Lx ν (µ ν) ], (8.212) κ where ˆL µν are the differential operators of four-dimensional angular momentum in the commutation rules (8.86). Just as the scalar case (8.191), the currents (8.211) can be expressed in terms of the canonical energy-momentum tensor as The first term in (8.210), Σ µν,λ = L µν,λ = x µ Θ νλ x ν Θ µλ. (8.213) [ ] L A ν (µ ν), (8.214) λ A ν is referred to as the spin current. It can be written in terms of the 4 4-generators (8.205) of the Lorentz group as The two currents together, Σ µν,λ L = i ) λ A κ(lµν κσ A σ. (8.215) J µν,λ (x) L µν,λ (x)+σ µν,λ (x), (8.216) are conserved, satisfying λ J µν,λ (x) = 0. Individually, they are not conserved. The total angular momentum is given by the charge J µν = d 3 xj µν,0 (x). (8.217) It is a constant of motion. Using the conservation law of the energy-momentum tensor we find, just as in (8.198), that the orbital angular momentum satisfies λ L µν,λ (x) = [Θ µν (x) Θ νµ (x)]. (8.218) From this we find the divergence of the spin current λ Σ µν,λ (x) = [Θ µν (x) Θ νµ (x)]. (8.219)

28 646 8 Continuous Symmetries and Conservation Laws. Noether s Theorem For the charges associated with orbital and spin currents L µν (t) d 3 xl µν,0 (x), Σ µν (t) d 3 xσ µν,0 (x), (8.220) this implies the following time dependence: L µν (t) = d 3 x [Θ µν (x) Θ νµ (x)], Σ µν (t) = d 3 x[θ µν (x) Θ νµ (x)]. (8.221) Thus fields with a nonzero spin density have always a non-symmetric energy momentum tensor. In general, the current density J µν,λ of total angular momentum reads ( ) δ J µν,λ x = s L λ ω µν (x) δµλ Lx ν (µ ν). (8.222) By the chain rule of differentiation, the derivative with respect to λ ω µν (x) can come only from field derivatives, for a scalar field and for a vector field δs xl λ ω µν (x) = L λ ϕ δs xϕ ω µν (x), (8.223) δ x sl λ ω µν (x) = L λ A κ δ x sa κ ω µν. (8.224) The alternative rule of calculating angular momenta is to introduce spacetimedependent transformations δ x x = ω µ ν(x)x ν, (8.225) under which the scalar fields transform as and the Lagrangian density as δ s ϕ = λ ϕω λ ν(x)x ν, (8.226) δ x s ϕ = λlω λ ν(x)x ν = λ (x ν L)ω λ ν(x). (8.227) Byseparatingspinandorbitaltransformationsofδ x sa κ,wefindthetwocontributions σ µν,λ and L µν,λ to the current J µν,λ of the total angular momentum, the latter receiving a contribution from the second term in (8.222) Dirac Field We now turn to the Dirac field. Under a Lorentz transformation (8.200), this transforms according to the law ψ(x ) Λ ψ Λ(x)=D(Λ)ψ(x), (8.228)

29 8.9 Spin Current 647 where D(Λ) are the 4 4 spinor representation matrices of the Lorentz group. Their matrix elements can most easily be specified for infinitesimal transformations. For an infinitesimal Lorentz transformation under which the coordinates are changed by Λ µ ν = δ µ ν +ω µ ν, (8.229) δ s x µ = ω µ νx ν, (8.230) the spin components transform under the representation matrix D(δ ν µ +ω ν µ ) = (1 i 1 ) 2 ω µνσ µν, (8.231) where σ µν are the 4 4 matrices acting on the spinor space σ µν = i 2 [γ µ,γ ν ]. (8.232) From the anticommutation rules (8.160), it is easy to verify that the spin matrices S µν σ µν /2 satisfy the same commutation rules (8.86) as the previous orbital and spin-1 generators ˆL µνµ and L µν of Lorentz transformations. The field has the symmetry variation [compare (8.203)]: δ s ψ(x) = ψ (x) ψ(x) = D(δ µ ν +ω µ ν )ψ(x δx) ψ(x) = i 1 2 ω µνσ µν ψ(x) ω λ νx ν λ ψ(x) = i 1 2 ω µν ( S µν + ˆL µν) ψ(x) i 1 2 ω µνĵµν ψ(x), (8.233) the last line showing the separation into spin and orbital transformation for a Dirac particle. Since the Dirac Lagrangian is Lorentz-invariant, it changes under Lorentz transformations like a scalar field [compare (8.208)]: Infinitesimally, this amounts to L (x ) = L(x). (8.234) δ s L = ( µ Lx ν )ω µ ν. (8.235) With the Lorentz transformations being symmetry transformations in the Noether sense, we calculate the current of total four-dimensional angular momentum extending the formulas (8.191) and (8.210) for scalar field and vector potential. The result is J µν,λ = ( i L λ ψ σµν ψ i L λ ψ ˆL µν ψ +c.c. ) + [ δ µλ Lx ν (µ ν) ]. (8.236)

30 648 8 Continuous Symmetries and Conservation Laws. Noether s Theorem As before in (8.211) and (8.191), the orbital part of (8.236) can be expressed in terms of the canonical energy-momentum tensor as The first term in (8.236) is the spin current Inserting (8.168), this becomes explicitly L µν,λ = x µ Θ νλ x ν Θ µλ. (8.237) Σ µν,λ = 1 ( i L ) 2 λ ψ σµν ψ +c.c.. (8.238) Σ µν,λ = i 2 ψγ λ σ µν ψ = 1 2 ψγ [µ γ ν γ λ}] ψ = 1 2 ǫµνλκ ψγ κ ψ. (8.239) The spin density is completely antisymmetric in the three indices [3]. The conservation properties of the three currents are the same as in Eqs. (8.217) (8.221). Due to the presence of spin, the energy-momentum tensor is nonsymmetric Symmetric Energy-Momentum Tensor Since the presence of spin is the cause of asymmetry of the canonical energymomentum tensor, it is suggestive that an appropriate use of the spin current should help to construct a new modified momentum tensor T µν = Θ µν + Θ νµ, (8.240) that is symmetric, while still having the fundamental property of Θ µν that its spatial integral P µ = d 3 xt µ0 yields the total energy-momentum vector of the system. This is ensured by the fact that Θ µ0 being a three-divergence of a spatial vector. Such a construction was found in 1939 by Belinfante [4]. He introduced the tensor T µν = Θ µν 1 2 λ(σ µν,λ Σ νλ,µ +Σ λµ,ν ), (8.241) whose symmetry is manifest, due to (8.219) and the symmetry of the last two terms under the exchange µ ν. Moreover, the relation (8.241) for the µ0-components of (8.241), T µ0 = Θ µ0 1 2 λ(σ µ0,λ Σ 0λ,µ +Σ λµ,0 ), (8.242) ensures that the spatial integral over J µν,0 x µ T ν0 x ν T µ0 leads to the same total angular momentum J µν = d 3 xj µν,0 (8.243)

31 8.10 Symmetric Energy-Momentum Tensor 649 as the canonical expression (8.216). Indeed, the zeroth component of (8.242) is x µ Θ ν0 x ν Θ µ0 1 2 [ k (Σ µ0,k Σ 0k,µ +Σ kµ,0 )x ν (µ ν) ]. (8.244) Integrating the second term over d 3 x and performing a partial integration gives, for µ = 0,ν = i: 1 d 3 x [ x 0 k (Σ i0,k Σ 0k,i +Σ ki,0 ) x i k (Σ 00,k Σ 0k,0 +Σ k0,0 ) ] = d 3 xσ 0i,0, 2 (8.245) and for µ = i,ν = j: 1 d 3 x [ x i k (Σ j0,k Σ 0k,j +Σ kj,0 ) (i j) ] = 2 d 3 xσ ij,0. (8.246) The right-hand sides are the contributions of spin to the total angular momentum. For the electromagnetic field, the spin current (8.214) reads explicitly Σ µν,λ = 1 c From this we calculate the Belinfante correction [ F λµ A ν (µ ν) ]. (8.247) Θ µν = 1 2c [ λ(f λµ A ν F λν A µ ) λ (F µν A λ F µλ A ν )+ λ (F νλ A µ F νµ A λ )] = 1 c λ(f νλ A µ ). (8.248) Adding this to the canonical energy-momentum tensor (8.153) Θ µν = 1 c (Fν λ µ A λ 1 4 gµν F λκ F λκ ), (8.249) we find the symmetric energy-momentum tensor T µν = 1 c (Fν λf µλ 1 4 gµν F λκ F λκ )+ 1 c ( λf νλ )A µ. (8.250) ThelasttermvanishesduetothefreeMaxwell fieldequations, λ F µν = 0. Therefore it can be dropped. Note that the proof of the symmetry of T µν involves the field equations via the divergence equation (8.219). It is useful to see what happens to Belinfante s energy-momentum tensor in the presence of an external current, i.e., if T µν is calculated from the Lagrangian L = 1 4c F µνf µν 1 c 2jµ A µ, (8.251) with an external current. The energy-momentum tensor is Θ µν = 1 (F νλ µ A λ 1 ) c 4 gµν F λκ F λκ + 1 j λ A c 2gµν λ, (8.252)

32 650 8 Continuous Symmetries and Conservation Laws. Noether s Theorem generalizing (8.25). The spin current is the same as before, and we find Belinfante s energymomentum tensor [4]: T µν = Θ µν + 1 c λ(f νλ A µ ) (8.253) = 1 c (Fν λf µλ 1 4 gµν F λκ F λκ )+ 1 c 2gµν j λ A λ + 1 c ( λf νλ )A µ. Using Maxwell s equations λ F νλ = j λ, the last term can also be rewritten as 1 c jν A µ. (8.254) This term prevents T µν from being symmetric, unless the current j λ vanishes Gravitational Field The derivation of the canonical energy-momentum tensor Θ µν for the gravitational field is similar to that for the electromagnetic field in Subsection We start from the quadratic action of the gravitational field (4.372), f A = 1 8κ d 4 x( µ h νλ µ h νλ 2 λ h µν µ h νλ +2 µ h µν ν h µ h µ h), (8.255) and identify the canonically conjugate field π λµν, as being π λµν L f λ h µν, (8.256) π λµν = 1 8κ [( λh µν µ h λν )(η λν µ h η µν λ h) η λν σ h σµ +η µν σ h σλ ]+(µ ν).(8.257) It is antisymmetric under the exchange λ µ, and symmetric under µ ν. From the integrand in (8.255) we calculate, according to the general expression (8.136), f Θ µ L ν = h λκ η µν L = π ν h λκ µ νλκ µ h λκ η µ νl = 1 2κ ( νh λκ κ h δλ +η νκ λ h η νλ κ h η νκ σ h σλ +η νκ σ h σν ) µ h λκ ηµ ν 8κ ( κh σλ κ h σλ 2 λ h σν σ h νλ +2 σ h σν ν h σ h σ h). (8.258) In order to find the symmetric energy-momentum tensor f T µν, we follow Belinfante s construction rule. The spin current density is calculated as in Subsection 8.9.1, starting from the substantial derivative of the tensor field δ s h µν = ω µ κh κν +ω ν κh µκ. (8.259)

33 8.11 Internal Symmetries 651 Following the Noether rules, we find, as in (8.215), Σ µν,λ φ = 2 (µ ν) = 2[π λµκ h νκ (µ ν)]. (8.260) λ h µκ Combining the two results according to Belinfante s formula (4.57), we obtain the symmetric energy-momentum tensor f T µν =π νλκ µ h λκ c (π λµκ h ν κ π λνκ h µ κ π µνκ h c d+π µλκ h ν κπ νλκ h µ κ π νµκ h λκ ) η µν L. (8.261) Using the field equation µ π µνλ = 0 and the Hilbert gauge (4.399) with µ φ µν = 0, this takes the simple form in φ µν : f T µν = 1 ( [2 µ φ λκ ν φ λκ µ φ ν φ η µν λ φ κσ λ φ κσ 1 )] 8κ 2 λφ λ φ. (8.262) 8.11 Internal Symmetries In quantum field theory, an important role is played by internal symmetries. They do not involve any change in the spacetime coordinate of the fields, whose symmetry transformations have the simple form φ (x) = e iαg φ(x), (8.263) where G are the generators of some Lie group and α the associated transformation parameters. The field φ may have several indices on which the generators G act as a matrix. The symmetry variation associated with (8.263) is obviously δ s φ (x) = iαgφ(x). (8.264) The most important example is that of a complex field φ and a generator G = 1, where (8.263) is simply a multiplication by a constant phase factor. One also speaks of U(1)-symmetry. Other important examples are those of a triplet or an octet of fields φ i with G being the generators of an SU(2) vector representation or an SU(3) octet representation (the adjoint representations of these groups). The first case is associated with charge conservation in electromagnetic interactions, the other two with isospin and SU(3) invariance in strong interactions. The latter symmetries are, however, not exact U(1)-Symmetry and Charge Conservation SupposethataLagrangiandensityL(x) = L(φ(x), φ(x),x)dependsonlyontheabsolute squares φ 2, φ 2, φ φ. Then L(x) is invariant under U(1)-transformations δ s φ(x) = iφ(x). (8.265)