It seems me that there is a "difference" (at least apparently) in how the Belinfante-Rosenfeld tensor is thought of in section 7.4 of Volume 1 of Weinberg's QFT book and in section 2.5.1 of the conformal field theory book by di Francesco et. al.

I would be glad if someone can help reconcile the issue.

Schematically the main issue as I see is this -

If the action and the lagrangian density is writable as $ I = \int d^4x L$ and $\omega_{\mu \nu}$ be the small parameter of Lorentz transformation then Weinberg is thinking of $\omega_{\mu \nu}$ to be space-time independent and he is varying the action to write it in the form, $\delta I = \int d^4x (\delta L = (A^{\mu \nu})\omega_{\mu \nu}) $ Then some symmetrized form of whatever this $A^{\mu \nu}$ comes out to be is what is being called the Belinfante tensor. ( Its conservation needs the fields to satisfy the equations of motion)

But following Francesco et.al's set-up I am inclined to think of $\omega_{\mu \nu}$ as being space-time dependent and then the variation of the action will also pick up terms from the Jacobian and the calculation roughly goes as saying, $\delta I = \int (\delta(d^4x)) L + \int d^4x (\delta L)$. Since under rigid Lorentz transformations the volume element is invariant the coefficient of $\omega_{\mu \nu}$ in the first variation will vanish but the second variation will produce a coefficient say $B^{\mu \nu}$. But both the variations will produce a coefficient for the derivative of $\omega_{\mu \nu}$ and let them be $C^{\mu \nu \lambda}$ and $D^{\mu \nu \lambda}$ respectively.
Now the argument will be that since the original action was to start off invariant under Lorentz transformations, when evaluated about them, the $B^{\mu \nu}$ should be $0$ and on shifting partial derivatives the sum of $C^{\mu \nu \lambda}$ and $D^{\mu \nu \lambda}$ is the conserved current (..and its not clear whether their conservation needs the field to satisfy the equation of motion..)

So by the first way $A^{\mu \nu}$ will be the conserved current and in the second the conserved current will be, $C^{\mu \nu \lambda} + D^{\mu \nu \lambda}$ (the C tensor will basically look like $-x^\nu \eta^{\lambda \mu}L$)

Is the above argument correct?

If yes then are the two arguments equivalent?

How or is Weinberg's argument taking into account the contribution to the conserved current from the variation of the Jacobian of the transformation?

I took the liberty of editing the question to correct the volume number in Weinberg's trilogy: it's volume 1, and also the name of the first author of the yellow book, which is "di Francesco" and not just "Francesco".
–
José Figueroa-O'FarrillOct 2 '11 at 15:48

A derivation of the Belinfante improvement tensor from the perspective of Cartan geometry is done in my Phys.SE answer here.
–
Qmechanic♦Jul 22 at 14:21

2 Answers
2

The two derivations are actually identical, except for the fact that Weinberg didn't have the general form of the Noether theorem for symmetries acting on the space-time coordinates as well as on the fields (Equation 2.141 in Di Francesco, Mathieu and Sénéchal's book).
As a consquence, Weinberg had to compute the variation of the action with respect to the Lorentz generators from scratch (including the substitution of the equations of motion).

Furthermor, I wanted to remark that the term depending on the variation of the space time coordinates in the general form of the Noether theorem is not due to the noninvariance of the Minkowski space time measure $d^4x$ as this measure is invariant under both translations and Lorentz transformations. The extra term is due to the dependence of the Lagrangian on the space time coordinates through its dependence on the fields.

Now, both authors use the derivation as a means of computation of the Belinfante & Rosenfeld 3-tensor whose divergence is to be added to the canonical energy momentum tensor to obtain the symmetric Belinfante energy momentum tensor. The principle upon which this computation is based is that the orbital part of the canonical conserved current corresponding the Lorentz symmetry
must have the form:

$M^{\mu\nu\rho} = x^{\nu} T_B^{\mu\rho} - x^{\rho} T_B^{\mu\nu} $

with $T_B$ both conserved and symmetric (as can be checked by a direct computation), therefore, they arrange the extra-terms they obtained to bring the Lorentz canonical current to this form and as a consequence they obtain the required tensor to be added.

I wanted to add that both authors use the derivatives of the symmetry group parameters in their intermediate computations, but this is not required. The same currents can be obtained for variation with respect to global constant parameters. If the action were locally invariant (with respect to variable parameters), then the currents would have been conserved off-shell. This is the Noether's second theorem.

Finally, I want to refer you to the this article of Gotay and Marsden describing a method of obtaining a symmetric and (gauge invariant) energy-momentum tensor directly based on Noether's theory.

Thanks for the link to Gotay/Marsden. It should be pointed out that this paper is precisely a formalisation of the idea that the stress-energy tensor is the gauge current for diffeomorphisms, which is also the idea underlying the usual derivation of the Noether charge by taking the parameter to depend on the spacetime point.
–
José Figueroa-O'FarrillOct 5 '11 at 12:20

Why are we looking for a symmetric tensor in the first place?
–
user7757May 22 '14 at 6:42

@ramanujan_dirac: The energy momentum tensor constitutes of the source term in Einstein equations: $R_{\mu\nu}-g_{\mu\nu}R = \frac{8\pi G}{c^4}T_{\mu\nu}$, and both the Ricci curvature and the metric tensor are symmetric.
–
David Bar MosheMay 22 '14 at 7:10

The two derivations are indeed different, but the resulting object should be the same: it should be symmetric and conserved on-shell.

In fact, perhaps the cleanest way to derive it is to couple the theory to gravity and then vary the resulting action with respect to the metric.
If we let
$$
S = \int_M d^4x \sqrt{-g} \mathcal{L}
$$
denote the action of the theory coupled to gravity (i.e., put the theory on a lorentzian manifold by covariantising derivatives,...) then the Belinfante stress-energy tensor is defined (up to perhaps a constant) by
$$
T_{\mu\nu} = \frac{1}{\sqrt{-g}} \frac{\delta S}{\delta g^{\mu\nu}}~.
$$

This form has the virtue that it is easy to see that if the theory is invariant under homotheties -- $\delta g_{\mu\nu} = \lambda g_{\mu\nu}$ for some constant $\lambda$ -- the stress-energy tensor is traceless.

I am aware of this metric variation way of thinking about it. Can you kindly explain as to how are the two ways of thinking about the stress-energy tensor actually equivalent? For specific Lagrangians that I have worked with the final answers look very different! For any special case doing the calculation by my second alternative seems to completely obscure any connection to $T^{\mu \nu}$ - that factor never explicitly appears!
–
user6818Oct 2 '11 at 19:53

2

The equivalence is essentially the following. If you have a classical continuous symmetry and wish to gauge it, then the gauge field couples to the conserved current. Here you have the metric as playing the role of the gauge field for the diffeomorphism invariance, which is the translation symmetry of the original theory which has been gauged by coupling to gravity.
–
José Figueroa-O'FarrillOct 2 '11 at 21:15

I was inquiring about the equivalence between the two approaches which I stated. The Weinberg way of doing it where one sees only rigid transformations and there is nothing from the Jacobian and the di Francesco way of thinking where the symmetry is local and the current gets contributions from the Jacobian. Why are these two ways equivalent (or are they!?)
–
user6818Oct 4 '11 at 1:26

They are evidently equivalent in that they give rise to the same stress-energy tensor. I really don't understand the question.
–
José Figueroa-O'FarrillOct 4 '11 at 8:04

Thats precisely not very clear. The general expressions in the two books are clearly very different looking and for specific Lagrangians where I have tried the answers are obviously very different. No equivalence is obvious! Even conceptual its not clear that these two should be the same - the entire framework seems so different.
–
user6818Oct 4 '11 at 20:37