On the energy-momentum tensor Rirdo E. Gmbo Srví Deprtmento de Físi, Universidd Nionl de L Plt C.C. 67, 1900 L Plt, Argentin Dted: September 10, 2002 We lrify the reltion mong nonil, metri nd Belinfnte s energy-momentum tensors for generl tensor field theories. For ny tensor field T, we define new tensor field T, in terms of whih the Belinfnte tensor is redily omputed. We show tht the ltter is the one tht rises nturlly from Noether Theorem for n rbitrry spe-time nd it oinides on-shell with the metri one. PACS numbers: 03.50.De, 11.30.-j rxiv:mth-ph/0306020v1 6 Jun 2003 I. INTRODUCTION Symmetry s wide or s nrrow s you my define its mening, is one ide whih mn through the ges hs tried to omprehend nd rete order, beuty, nd perfetion. Hermnn Weyl [1] For mny dedes suitble definition for the energy-momentum tensor hs been under investigtion. This is more thn merely tehnil point, not only beuse T b should provide meningful physil onserved quntities but lso beuse it is the soure of Einstein s grvittionl field equtions. In flt spe-time the nonil energy-momentum tensor rises from Noether s Theorem by onsidering the onserved urrents ssoited to trnsltion invrine. However, only for slr fields the energy-momentum tensor onstruted in this wy turns out to be symmetri. Moreover, for Mxwell s theory, it breks guge symmetry. Of ourse, it is possible to orret it through Belinfnte s symmetriztion proedure [2], lthough this is usully presented s n d ho presription see for exmple [3, 4]. On the other hnd, ompletely different pproh, bsed on the diffeomorphism invrine of the theory, leds to the metri energy-momentum tensor see for exmple [5] whih is, by definition, symmetri nd guge invrint. The im of this pper is to lrify the reltion mong these tensors. In setion 2, we define the tensor T, whih turns out to be very useful tool for the rest of our work. In setion 3, we nlyze the reltion mong the different energy-momentum tensors for generl tensor field theories on n rbitrry spe-time of ny dimension. II. LIE DERIVATIVES AND THE TENSOR T Let ξ be vetor field on semirimnnin mnifold of dimension n nd φ t lol one-prmeter group of diffeomorphism generted by ξ. This diffeomorphism mps eh tensor field T t p of the type r,s into φ t T φp, the pullbk of T. The Lie derivtive L ξ T of tensor field T with respet to ξ is defined to be minus the derivtive with respet to t of this fmily of tensor fields, evluted t t = 0, i.e. 1 L ξ T = lim t 0 t T p φ t T p. 1 Thus, it mesures how muh the tensor field Tx devites from being formlly invrint under the infinitesiml trnsformtion x = x tξ, with t 1. Eletroni ddress: quique@venus.fisi.unlp.edu.r
2 The oordinte omponents re L ξ T b1...bp 1... q = T b1...bp 1... q ξ T b2...bp 1... q ξ b1 T b1...bp 1... q ξ b2... + T b1...bp 2... q 1 ξ + T b1...bp 1... q 2 ξ +.... 2 Of ourse, for ny torsion free onnetion, the prtil derivtives n be repled by ovrint ones. The following definition will prove useful. For eh tensor field T 1...p d 1...d q of type p,q we define tensor field T 1...p d 1...d q b of type p+1,q +1, suh tht T 1...p d 1...d q b := T 2...p d 1...d q δ 1 b + T 1...p d 1...d q δ 2 b +... T 1...p bd 2...d q δ d 1 T 1...p d 1b...d q δ d 2.... 3 For slr field ϕ we define ϕ = 0, sine there is no index to be repled. So, in terms of T, 2 n be written s L ξ T 1...p d 1...d q = T 1...p d 1...d q ξ T 1...p d 1...d q b ξ b = T b1...bp 1... q ξ T 1...p d 1...d q b ξ b, 4 where denotes the ovrint derivtive ssoited to the Levi-Civit onnetion. In index free nottion, our definition 3 reds T ξ := ξ T L ξ T. 5 Some simple exmples re in order. For instne, for the tensor δ b we hve δ b d = δ bδ d δ dδ b = 0, 6 whih expresses the ft tht L ξ δ b = ξδ b = 0. Moreover, for the metri tensor we hve g b d = g db δ g d δ b, 7 nd so L ξ g b = g b ξ g b d ξ d = g db ξ d +g d b ξ d = ξ b + b ξ. 8 On the other hnd, the well known expression for the derivtive of the volume element n lso be obtined from 1 L ξ g = g g b L ξ g b = g ξ, 9 2 ε 1 2... n b = ε 2... n δ b 1 ε 1... n δ b 2 = ε 1 2... n δ b, 10 where ε 1 2... n is the Levi-Civit lternting symbol. Consequently, with this nottion, other lssil formuls of Rii lulus simplify: or where R d b is the Riemnn urvture tensor. Notie tht T 1...p d 1...d q = T 1...p d 1...d q +Γ b T 1...p d 1...d q b, 11 b b T 1...p d 1...d q = R d b T 1...p d 1...d q d, 12 T S = T S+T S, 13
D ξ T b 1.. ċ1... Sd1..ė1... = Dξ T b1..ċ1... Sd1..ė1... +Tb1..ċ1...D ξs d1..ė1.... 20 3 nd e T 1...p d 1...d q b = e T 1...p d 1...d q b δ e bt 1...p d 1...d q, 14 beuse there is n dditionl ovrint index to be repled in the left-hnd side. When there is no dnger of onfusion, we shll suppress the unneessry indies nd write, for instne, 14 s or, s in next setion, even s e T..... ạ b = e T...... b δ e bt......, 15 e T b = e T b δ e bt. 16 We shll now onsider the ommuttor [L ξ, ] between the Lie derivtive L ξ nd the ovrint one ssoited to the Levi-Civit onnetion. It is mp whih tkes eh smooth tensor field of type p,q to smooth p,q +1 tensor field. In the index nottion, we denote the tensor field resulting from the tion of [L ξ, ] on T b1...bp 1... q by D ξ T b1...bp 1... q. On slr fields it vnishes, for Moreover, its tion on the metri tensor is very simple Sine, for ny two tensors T nd S we hve [L ξ, ]f = L ξ df dl ξ f = 0 so D ξ f = 0. 17 D ξ g b = L ξ g b = b ξ + ξ b. 18 [L ξ, ]T S = [L ξ, ]T S+T [L ξ, ]S, 19 We n derive the generl formul for the tion of [L ξ, ] on n rbitrry tensor field from the Leibnitz rule 20 if we know its tion on slrs nd one-forms or vetors. However, we n hieve it esier by using the symbol T......, for where we hve used 15 nd 12. By defining for ny tensor field T......, we n write D ξ T...... = L ξ T...... L ξ T...... = ξ b b T...... T...... b b ξ ξ b b T...... T...... b b ξ Notie tht C ξ b is symmetri in the lower indies, for = ξ b b b T...... + T...... b b ξ = R bd ξd + b ξ T...... b, 21 C ξ b := R bd ξd + b ξ, 22 D ξ T...... = C ξ b T..... ḅ. 23 C ξ b = R bd ξ d + b ξ + b b ξ where we hve used the symmetry properties of the Riemnn tensor. Now, for the metri tensor 23 reds = R bd +R db ξ d + b ξ = R db ξ d + b ξ = C ξ b, 24 D ξ g b = L ξ g b = C ξb C ξb. 25
4 By index substitution, we lso hve b L ξ g = C ξb C ξb, 26 L ξ g b = C ξb C ξb. 27 We dd equtions 25 nd 26 nd then subtrt eqution 27. Using the symmetry property of C ξ b we find C ξ d b = 1 2 gd L ξ g b + b L ξ g L ξ g b = 1 2 gd b ξ + ξ b + b ξ + ξ ξ b + b ξ. 28 Of ourse, 28 n be redily obtined by dding to the definition 22 the null term 3 [ b ξ ]. Therefore, we see tht C ξ b re liner ombintions of the ovrint derivtives of the Lie derivtive of the metri tensor. Thus we n write 23 s D ξ T...... = 1 2 T...... b L ξ g b + b L ξ g L ξ g b. 29 Notie tht the tion of [L ξ, ] on ny tensor field vnishes when L ξ g b = b ξ + ξ b = 0, nd so Lie derivtive nd the ovrint one ommute in this se. In prtiulr, it ours when ξ b is Killing vetor, so for ny tensor field T...... when ξb is Killing vetor field. L ξ T...... = L ξ T......, 30 III. THE ENERGY-MOMENTUM TENSOR Let us onsider field theory where the Lgrngin L is lol funtion of olletion of tensor fields ψ b1...bp l 1... q defined on semiriemnnin mnifold, their first ovrint derivtives ψ b1...bp l 1... q, nd the metri tensor g b. Often we shll suppress ll tensor indies nd denote the fields by ψ l. As usul, we obtin the equtions of motion by requiring tht the tion S = L ψ l,ψ l,g b g d n x, 31 Ω be sttionry under rbitrry vritions of the fields δψ l in the interior of ny ompt region Ω. Thus, one obtins ψ l = ψ l. 32 The tion 31 must be independent of the oordintes we hoose. Needles to sy, tht even in flt spe-time we re llowed to use urviliner oordintes, so it must be invrint under generl oordintes trnsformtions. By mking hnge of oordintes generted by the vetor field ξ, x x tξ, the tion n be written s S = L t gt dx, 33 Ω t where L t = L φ t ψ l,φ t ψ l,φ t g b, tht is the sme funtion L evluted on the Lie drgged tensors fields, nd g t = detφ t g b. Now, tking the derivtive of 33 with respet to t nd evluting it t t = 0 we get three terms: d Ω dt L t t=0 g d n x+ L d gt Ω dt dx t=0 + d L g d n x = 0. 34 dt Ω t t=0
The first one, by definition, ontins the Lie derivtive of L; the seond one, the derivtive of the volume element 9, while the lst one see Fig. 1 is boundry term whih by using the Guss theorem n be rewritten s volume integrl, so we get 0 = [L ξ L + L ξ L ξ ] g d n x Ω = [L ξ L L ξ ] g d n x. 35 Therefore, tking into ount tht the vetor field ξ is ompletely rbitrry, we hve Ω 5 Ω tξ Ω t FIG. 1: The boundry ontribution to eqution 34. L ξ L L ξ = 0, 36 whih just reflets tht the Lgrngin L must be slr funtion. Thus, the result is very simple, the invrine of the tion under generl oordinte trnsformtions requires L to be n slr funtion, nd 36 must hold for ny vetor field ξ. Now, tking into ount tht the Lgrngin L depends on the oordintes only through the tensor fields ψ l, ψ l nd g b, we n write 36 s ψ l L ξ ψ l + ψ l L ξ ψ l + g b L ξ g b L ξ = 0, 37 whih is liner ombintion of the vetor field ξ b nd its first derivtives b ξ. Now, from 4 see lso 3 for our definition of ψ l d we n write nd, onsequently L ξ ψ l = b ψ l ξ b ψ l b b ξ, 38 L ξ ψ l = b ψ l ξ b ψ l b b ξ = b ψ l ξ b ψl b b ξ +δ b ψ l b ξ = b ψ l ξ b ψl b b ξ + b ψ l ξ b + b b ψ l ξ b, 39 where in the seond line we hve used 15. Using the field equtions 32, 38 nd 39 we n write the first two terms in 37 s L ξ ψ l + b ψ l ξ b ψ l ψ l ψ l ψl b Now, we shll rewrite the lst term. From 12 we n write L ξ ψ l = ψ l ξ b + b b ψ l ξ b. 40 ψ l = ψ l R d b ψ l d = R b d ψ l b b ψ l ψ l ψl [d], 41
6 where, s usul ψ l [d] = 1 2 ψ l d ψ l d. Now, defining we n rewrite 41 s { symmetri under b }} { T b := ψl [b] + ψl [] + [b] ψl, ψ l b ψ l ψ l 42 } {{ } ntisymmetri under b ψ l b b ψ l = R b d T d, 43 sine there is no ontribution from the lst two terms in T d, due to the ntisymmetry of the Riemnn tensor in the lst two indies. But, using now the symmetry properties of R b d nd T b, we get ψ l b b ψ l = 1 2 Rb d T d +R b d T d = 1 2 Rb d +R b d T d = 1 2 Rb d T d = 1 2 T b = Tb, 44 So, we n write the lst term in 40 s ψ l b b ψ l ξ b = Tb ξ b = Tb ξ b Tb ξ b. 45 Hene, the first two terms in 37 n be written s ψ l b ψ l ξ b + Tb ξ b ψl b b + T ξ b. ψ l 46 Therefore, the requirement tht L be slr leds, for ny ξ b, to b ψ l ξ b + ψ Tb ξ b L ξ l [ + 2 ] ψl b b + T +g b L ξ b = 0, 47 g b ψ l where we hve used 8 nd the obvious symmetry of the tensor field g b. Now, we define the nonil energy-momentum tensor s T b C := ψ l b ψ l +g b L. 48 nd the metri one s TM b := 2 ψl b b + T +g b L. 49 g b ψ l By definition, TM b is symmetri, for it follows redily from 42, the definition of T b, tht the term between brkets in 49 is symmetri. By using these definitions, for ny vetor field ξ, we n write 47 s TC b ξ b + Tb ξ b +TM b ξ b = 0. 50
7 Therefore, defining the Belinfnte energy-momentum tensor we finlly get or, lterntively T b B := T b C Tb = ψ l b ψ l Tb +g b L, 51 T b B ξ b T b M ξ b = 0, 52 T b B T b M ξ b + T b M ξ b = 0. 53 Moreover, tking into ount the symmetry of TM b, we n lso write 52 s T b B ξ b 1 2 Tb M L ξ g b = 0. 54 Eqution 52, rewritten form of 36, whih holds for ny vetor field ξ, hs severl importnt onsequenes. In ft, we shll use it in five different wys: i Let us restrit ttention to the se where ξ is Killing vetor field, i.e. genertor of n infinitesiml isometry, so L ξ g b = ξ b + b ξ = 0. From 54, we diretly obtin the Noether onserved urrent Jξ ssoited to this symmetry J ξ = T b B ξ b = 0 55 for, in this se, the lst term in 54 lerly vnishes. So, we n think of TB b fields to vetor fields suh tht s liner funtion from ovetor T B Killing ovetor = onserved urrent. 56 ii At ny point of the mnifold we n hoose Riemnnin norml oordintes x α i.e., lol inertil oordinte system. Moreover, we n hoose for ξ b ny set of n liner independent ovetors with onstnt omponents in this oordinte system. For instne, the dul bsis ovetors dx α b. So, in this lol oordinte system, 54 reds α T αβ B ξ β +T αβ B αξ β T αβ M αξ β = α T αβ B ξ β = 0, 57 beuse of the vnishing of Chistoffel symbols nd prtil derivtives of ξ β. Hene, we get α T αβ B this is tensor reltion, then = αt αβ B = 0. But T b B = 0. 58 iii Now, we integrte 53 over ny ompt region Ω, tking rbitrry vetor fields ξ vnishing everywhere exept in its interior. The first ontribution my be trnsformed into n integrl over the boundry whih vnishes s ξ is zero there. Sine the seond term must therefore be zero for rbitrry ξ, it follows tht T b M = 0. 59 iv Now, oming bk to 53, we see tht the diffeomorphism invrine of the tion yields not only T b = 0, but lso T b M B = T b B Tb M ξ b = T b B Tb M ξ b = 0, 60 for ny ovetor field ξ b. Therefore, sine ξ b is rbitrry, we onlude tht both tensors oinide Therefore, we hve shown tht T b B = T b M. 61 TB b = 0, TM b = 0, nd Tb B = Tb M, 62 follow s onsequene of the diffeomophism invrine of the tion.
v For ny ovetor ξ b, due to the symmetry of T b, it holds Tb ξ b + T b Tb ξ b = ξ b = 1 2 = 1 Tb 2 ξ b R T d db ξ b +R T d db ξ b = R Tb ξ b = 0, 63 beuse of the symmetry of the Rii tensor R b. Thus, we n lso write 50 s T b C ξ b + T b ξ b T b M ξ b = 0. 64 The lst term in 64 vnishes for ny Killing vetor field owing to the symmetry of TM b. So, besides Tb B ξ b, we get n other onserved urrent T b C ξ b + T b ξ b, 65 whih is, in generl, liner in the Killing vetor field ξ nd its first ovrint derivtives. Of ourse, this urrent differs from T b B ξ b by the divergentless vetor T b ξ b. For slr fields ψ l the lst term in this urrent is bsent, sine ψ l vnishes in this se, nd both urrents oinide. On the other hnd, for generl tensor fields, this vnishing lso ours if there exists prllel Killing vetor, i.e. ξ b = 0. So, T b C ξ b = T b C ξ b = 0, for ny prllel ξ b, 66 thus, the vetor TC b is orthogonl to ξb. Of ourse, this ours in flt spe-time, where we n lwys find n liner independent prllel vetors, for exmple the rtesin oordintes vetors. Then, in tht se, we hve TC b = 0. But, s we re going to see, this is n exeption. TC b 0 for urved spe-time. Notie tht, the onservtion of the urrent 65 mens tht L ξ ψ l L ξ = 0, 67 ψ l whih holds for ny Killing vetor ξ nd fields stisfying the field equtions 32. This result n lso be redily obtined from 36 using the ft, shown in the preeding setion, tht the Lie derivtive with respet to Killing vetor field nd the ovrint one ommute. Some omments re in order. We wnt to point out tht TB b does not depend on Killing vetors. Tb B depends on the fields, their derivtives nd the metri, nd TB b = 0 is lwys true, even when the metri hs no isometry t ll. But, of ourse, tensor by itself does not give rise to ny onserved quntity[7] so, in order to onstrut onserved quntities, it is neessry to hve Killing vetor t hnd to onstrut the urrent Jξ = Tb C ξ b. The TB b s defined in 51 is the one tht rises nturlly from Noether s theorem, sine 55 shows tht if spetime dmits Killing vetor we obtin from TB b onserved urrent J ξ. Thus, for instne, the nn+1/2 urrents in Minkowski spe-time, re obtined from TB b by ontrting it with the orresponding Killing vetors. The nonil energy-momentum tensor TC b is not symmetri exept for slr fields. It is not even guge invrint for guge theories. Of ourse, in flt spe-time, it holds TC b = 0. But, s we mentioned bove, it is worthwhile notiing tht this is not even true for urved spe-time. Sine, tking into ount tht the Lgrngin L depends on the oordintes only through the tensor fields ψ l, ψ l nd g b, we n ompute b L = ψ l b ψ l + = ψ l b ψ l + = ψ l b ψ l b ψ l ψ l b ψ l ψ l b b ψ l ψ l ψ l R d b ψ l d, 68 8
9 where we hve used the field equtions 32, nd 12. So, we get T b C = ψ l R b d ψ l d. 69 Thus, exept for slr fields, TC b is not onserved when spe-time is urved. Moreover, even in flt spe-time, for Killing field ξ b it holds TC bξ b = T [b] C ξ b, so it vnishes only for prllel ξ b s for generl tensor fields, sine TC b is not symmetri. Then we get from Tb C only n onserved urrents ssoited to the prllel Killing vetors trnsltions. A similr result holds for urved spe-time, even though TC b 0. In ft, if there exists prllel Killing vetor ξ b = 0, 66 shows tht TC bξ b = 0. Therefore, the nonil energy-momentum tensor TC b is rther n exeption tht ours only when spe-time dmits prllel Killing vetors. Our omputtions lerly show tht, in generl, it is TB b nd not Tb C the one tht rises nturlly from Noether s Theorem, so there is no reson to expet muh from TC b. So, we find no reson to strt from TC b nd then symmetrize it in order to get the right tensor Tb B see for exmple [3, 4]. After ll, we n lwys find nonsense orretion to wrong result to get the right one. Notie tht, TB b = Tb M mens tht for ny slr Lgrngin depending on the tensor fields ψ l, ψ l nd g b, for fields stisfying the field equtions, it must hold 2 g b = ψ l ψl b ψ l b ψ l. 70 It is worthwhile notiing tht 70 is onsequene of L = 0, sine for ny slr L we hve L b = 0 = ψ l ψ l b + ψ l ψl b + g d g d b, 71 tking into ount tht g d b = δ δ b d δ d δb, we get But, from 15, we hve 2 g b = ψ l ψ l b + ψ l ψl b. 72 ψ l b = ψl b δ b ψ l. 73 Thus 2 g b = ψ l ψl b + ψ l ψl b ψ l b ψ l. 74 Now, for fields stisfying the field equtions 32, we get 70. For instne, for slr field φ the first term in 70 vnishes, sine φ = 0, nd so we get 2 g b = φ b φ. 75 For eletromgneti fields, we hve Ãd b = δd Ab, nd so 2 = δd g b A Ab b A = F b d A A. 76 Moreover, s the right hnd-side of 70 is symmetri tensor field, so is the left hnd-side. Hene, for fields stisfying the field eqution, we hve b ψl ψ l = ψ l b ψ l b ψl b ψ l. 77 ψ l ψ l
Usully the metri energy-momentum tensor is defined through the vrition of the tion 31 see for instne [5] δs := 1 TM b δg b g d n x, 78 2 Ω where δg b r rbitrry vritions of the metri vnishing everywhere exept in the interior of Ω. We n esily show tht it oinides with the one defined in 49 for, under the hnge g b g b +δg b, δl = ψ l δ ψ l + g b δg b. 79 10 But, ording to 11 δ ψ l = δ ψ l +Γ b ψ l b = δγ b ψ l b. 80 Thus, by using the well known reltion we n write the first term in 79 s δγ b = 1 2 gbd δg d + δg d d δg, 81 δ ψ l = 1 ψl b δg b + δg b b δg ψ l 2 ψ l = 1 ψl b b + T δg b. 82 2 ψ l Therefore, under the hnge g b g b +δg b δ L g = 1 2 2 g b ψl b + ψ l + 1 2 ψl b b + T ψ l b T +g b L δg b g g δg b, 83 where we hve used the well known result δ g = 1 2 g g b δg b. 84 Finlly, by integrting 83 over ny ompt region Ω, tking rbitrry symmetri tensor fields δg b vnishing everywhere exept in its interior, we show tht definitions 49 nd 78 oinide. Eqution 82 shows tht the term between brkets in 49 rises from the Lgrngin dependene on the ffine onnetion. In prtiulr, it is bsent for slr or eletromgneti fields. Thus, in these ses, we hve TM b := 2 +g b L. 85 g b In these ses, the tilde lulus turns out lso to be unneessry. In ft, there is simpler definition for the energy-momentum tensor for Mxwell s Theory [6] TE.M. b := 2 F b F +gb L, 86 whih turns out to be symmetri nd guge invrint, for ny field theory where the Lgrngin L is lol funtion of F b, the exterior derivtive A b b A, of one-form field A b.
11 IV. CONCLUSIONS Summrizing, we hve shown tht the Belinfnte energy-momentum is the one tht rises nturlly from Noether theorem when the metri hs isometries, nd ll the urrents re written s Jξ = Tb C ξ b. Moreover, it oinides with TM b for generl tensor field theories. On the other hnd, the utility of our definition of T is pprent if we tke into ount tht most of the equtions of this work ontin t lest one tilde. Aknowledgments I m grteful to Jorge Solomin for vluble disussions. This work ws supported in prt by CONICET, Argentin. [1] Hermnn Weyl: Symmetry, Prineton University Press, 1952. [2] F. J. Belinfnte, Physi VII, 449 1940. [3] L. D. Lndu nd E. M. Lifshitz: The Clssil Theory of Fields, Addison-Wesley, Reding, Mss. 1971. [4] J. D. Jkson: Clssil Eletrodynmis, John Wiley & Sons, New York 1975. [5] S. W. Hwking nd G. F. R. Ellis: The lrge sle struture of spe-time, Cmbridge University Press, Cmbridge 1973 [6] Rirdo E. Gmbo Srví: J. Phys. A: Mth. Gen. 35, 9199 2002. [7] For T b = gt b g +T Γ b.