3

Suppose you have a classical theory of real or complex scalar fields on flat spacetime, with a Lagrangian density that is space- and time-translationally invariant but explicitly breaks rotational symmetry. Then I believe the following logic is correct:

  1. As derived in the bottom half of Srednicki pg. 137, the stress-energy tensor $T_{\mu \nu}$ - defined as the Noether current corresponding to the translational symmetry - is conserved: $\partial_\mu T^{\mu \nu} = 0$. (I don't believe that this derivation assumes full Lorentz-invariance of the Lagrangian density, but I may be wrong.)

  2. From the conservation of $T_{\mu \nu}$, it follows that the divergence of the angular momentum tensor $$M^{\mu \nu \rho} := x^\nu T^{\mu \rho} - x^\rho T^{\mu \nu}$$ equals the antisymmetric part of the stress-energy tensor: $$\partial_\mu M^{\mu \nu \rho} := T^{[\nu \rho]}.$$

We're led to one of two possible conclusions: either (a) the stress-energy tensor is not symmetric, or (b) angular momentum is conserved even though the action is not rotationally invariant. Both of these conclusions seems kind of weird to me; I was under the impression that you can always choose to symmetrize the stress-energy tensor,* but I don't see why angular momentum (the Noether current corresponding to rotational symmetry) would be conserved in a system that isn't rotationally symmetic.

Which conclusion is correct? Or is there a mistake in my logic and neither of them is correct?


*I know that the canonical stress-energy tensor in classical EM is not symmetric, but I want to exclude gauge theories from this question because the question of gauge redundany adds an additional complication that I don't think is relevant to my question. My impression had been that while the canonical stress-energy tensor for a general translationally-invariant theory is not always symmetric, you can always add a total derivative to it that renders it symmetric without changing any of the conserved quantities, and that this symmetrized version is what goes into the angular momentum tensor. But now I'm starting to suspect that that may not be the case for a non-rotationally-invariant action.

tparker
  • 47,418
  • 1
    Related: https://physics.stackexchange.com/q/37764/ , https://physics.stackexchange.com/q/69572/ – tparker Aug 01 '21 at 22:03

1 Answers1

2

I like to answer these kinds of questions with a simple working example. So let's write a simple scalar field theory that breaks rotation but not translation invariance: \begin{equation} \mathcal{L}= -\frac{1}{2} \left( \eta^{\mu\nu} + \lambda e^\mu e^\nu \right) \partial_\mu \phi \partial_\nu \phi \end{equation} where $\lambda$ is a constant and $e^\mu$ is some fixed unit norm ($\eta_{\mu\nu} e^\mu e^\nu=1$) spacelike 4-vector that is constant over spacetime.

Now let's do a variation with a spacetime dependent shift $\epsilon(x)$; we will then use the trick that because translations with $\epsilon={\rm const}$ are a symmetry we can always write the variation as $\delta \mathcal{L}=-\partial_\mu \epsilon_\nu \tilde{T}^{\mu\nu}$, which after an integration by parts is $\epsilon_\mu \partial_\nu \delta T^{\mu\nu}$ (where $\tilde{T}$ and $T$ potentially differ by a term whose divergence is identically zero). Then since $\partial_\mu T^{\mu\nu}=0$ on shell, we can identify $T^{\mu\nu}$ as the stress-energy tensor.

More concretely, we write $x^\mu \rightarrow x^\mu - \epsilon^\mu(x)$, so $\phi \rightarrow \phi + \epsilon^\mu \partial_\mu \phi$ and $\partial_\mu \phi \rightarrow \partial_\mu \phi + \epsilon^\nu \partial_\mu \partial_\nu \phi + \partial_\nu \phi \partial_\mu \epsilon^\nu$, leading to

\begin{eqnarray} % \delta \mathcal{L} &=& - \frac{1}{2} \left[ \eta^{\rho\sigma} + \lambda e^\rho e^\sigma \right] \left[ \delta(\partial_\rho \phi) \partial_\sigma \phi + \partial_\rho \phi \delta (\partial_\sigma \phi) \right] \\ % &=& - \frac{1}{2} \left[ \eta^{\rho\sigma} + \lambda e^\rho e^\sigma \right] \left[ \epsilon^\nu \partial_\rho \partial_\nu \phi \partial_\sigma \phi + \epsilon^\nu \partial_\sigma \partial_\nu \phi \partial_\rho \phi + \partial_\rho \phi \partial_\nu \phi \partial_\sigma \epsilon^\nu + \partial_\sigma \phi \partial_\nu \phi \partial_\rho \epsilon^\nu \right] \\ % &=& - \frac{1}{2} \left[ \eta^{\rho\sigma} + \lambda e^\rho e^\sigma \right] \left[ \epsilon^\nu \partial_\nu \left( \partial_\rho \phi \partial_\sigma \phi \right) - \epsilon_\mu \partial_\sigma \left(\partial^\mu \phi \partial_\rho \phi \right) - \epsilon_\mu \partial_\rho \left(\partial^\mu \phi \partial_\sigma \phi \right) \right] \\ % &=& \epsilon_\mu \partial_\nu \left[ \partial^\mu \phi \partial^\nu \phi - \frac{1}{2} \eta^{\mu\nu} (\partial \phi)^2 + \lambda \left( e^\mu \partial^\nu \phi e^\rho \partial_\rho \phi - \frac{1}{2} e^\mu e^\nu (\partial \phi)^2\right) \right]\\ % &=& \epsilon_\mu \partial_\nu \left[T_{\rm K.G.}^{\mu\nu} + \lambda T_{\rm S.B.}^{\mu\nu} \right] \end{eqnarray} where $T_{\rm K.G.}^{\mu\nu} = \partial^\mu \phi \partial^\nu \phi - \frac{1}{2} \eta^{\mu\nu}(\partial \phi)^2$ is the stress tensor for a massless Klein-Gordon field, and the term $T^{\mu\nu}_{\rm S.B.}$ is the stress-energy tensor due to the breaking of rotational symmetry (S.B.=symmetry breaking).

Indeed, the expression for $T^{\mu\nu}_{\rm S.B.}$ \begin{equation} T^{\mu\nu}_{\rm S.B.} = e^\mu \partial^\nu \phi e^\rho \partial_\rho \phi - \frac{1}{2} e^\mu e^\nu (\partial \phi)^2 \end{equation}

has a non-vanishing anti-symmetric part $\sim (e \cdot \partial)\phi e^{[\mu}\partial^{\nu]} \phi $. One way to explain in words what is happening is that $\epsilon_\mu$ is never directly contracted with $e^\rho$ or $e^\sigma$, and unlike the metric tensor there is no way to "generate more" $e^\rho$ or $e^\sigma$ by raising and lowering indices. Another way is to explain the difference between the rotationally invariant and symmetry breaking terms is to point out that if we replace $e^\mu e^\rho$ with $\eta^{\mu\rho}$ in the first term of $T^{\mu\nu}_{\rm S.B.}$, the first term becomes $\partial^\mu\phi \partial^\nu \phi$, which is symmetric; the "symmetry breaking" term $\sim e^\mu e^\rho$ picks out a special direction on which the final answer can depend, which allows for an anti-symmetric part. To be honest, this isn't the result I was expecting when I started working this out (although I don't know why since there is no way angular momentum can be conserved and I agree with the logic in your question), but as far as I can tell it is correct.

It's always possible to define a symmetric stress-energy tensor by defining it as a variation of the action with respect to the metric, but I take it from the question that this is not what you are interested in.

Another question is whether it is possible to add piece that is identically divergence free to $T^{\mu\nu}_{\rm S.B.}$ to cancel the anti-symmetric part... I suspect (but am not 100% sure) the answer is yes, since I would think you should be able to derive the Einstein-Hilbert version of the stress-energy tensor in this way. (This isn't always possible but I suspect it probably is in this example)

Andrew
  • 48,573
  • The Wikipedia article on the stress-energy tensor says "In the presence of spin or other intrinsic angular momentum, the canonical Noether stress energy tensor fails to be symmetric." I guess that an term that explicitly breaks rotational symmetric counts as "intrinsic angular momentum"? Other relevant-seeming wiki articles are the ones on the spin tensor and the – tparker Aug 03 '21 at 00:16
  • Belinfante–Rosenfeld stress–energy tensor. I understand the second article's logic that "a source of spin-current implies a non-symmetric canonical energy–momentum tensor", although I don't understand the former article's last inequation. I guess they're implicitly also assuming that the spin tensor is not conserved, although they never say that and it's a key assumption. – tparker Aug 03 '21 at 00:20
  • 1
    @tparker I suspect the wikipedia article is implicitly assuming Poincaire invariance? Or that the spacetime is maximally symmetric? I think for general backgrounds it is not always possible to define spin globally. It might just be that in theories with less symmetry, there are fewer "guarantees" on the form of the stress-energy tensor. One thing I was thinking about is that one component of the angular momentum should still be conserved in this toy model (rotations around $e^\mu$)... that fall out somehow although I haven't checked it. – Andrew Aug 03 '21 at 00:32
  • So here's my understanding of these work - do you know if these steps are all correct? 1. For any classical field theory on flat spacetime, the generator of rotations about a point (whether or not it's a Noether current for a symmetry) equals (schematically) $x \times T$, where $T$ is the generator of translations. 2. If the theory is translationally symmetric, then $T$ is conserved. 3. If the theory is rotationally symmetric, then $T$ is symmetric. Does that seem right? – tparker Aug 03 '21 at 00:33
  • @tparker I honestly haven't spent a lot of time thinking about defining $T$ as a generator of translations, in the cases where there is not translation invariance (and hence $T$ follows from Noether's theorem). But it must be possible to do this and seems interesting, do you know any good references that discuss that? Because of that, I am not sure about point 1. I think 2. is only true for spin-0, and for higher spin fields it depends on exactly how you define $T$ (and in particular if you include spin contributions in $T$).(...) – Andrew Aug 03 '21 at 00:41
  • I think I agree with 3. based on my toy model. Case 4. is pretty weird and I'm not 100% sure how you would define $T$ in this case, since there is no Noether current for translation. But, there is an angular momentum tensor, so maybe if it has the form $x \wedge T$ you could use that to define $T$. (And of course you can define $T$ as a generator of translations but as I said I don't know how this works) OTOH the "vary the metric" definition of the stress-energy tensor is always symmetric. So... sadly I think I am missing information needed to really answer this. – Andrew Aug 03 '21 at 00:41
  • But I think this is related to a confusion I've had for a while... the way "symmetry" is defined in quantum mechanics as an operation acting on states in Hilbert space that conserves probabilities, makes me think that "translations" should be a "symmetry" in the Hilbert space sense, even if the dynamics are not translation invariant. So maybe the "symmetry operator" representing translations on Hilbert space in non-translation invariant theories is what you're looking for, if that makes any sense. – Andrew Aug 03 '21 at 00:48
  • So it looks like in your toy example, the Einstein-Hilbert version of the stress tensor (by which I assume you just mean $\delta \mathcal{L}/\delta g_{\mu \nu}$) is just the ordinary KG stress tensor? So to add something to the canonical version to get the EH version, you need to add (the negative of) $T_\text{S.B}$ itself? I can't tell if $T_\text{S.B}$ is a total divergence. – tparker Aug 03 '21 at 00:57
  • @tparker Yes, I'm using "EH" to just be a short hand for $2/\sqrt{-g} \delta S/\delta g^{\mu\nu}.$ I think there should be a term in $T_{\mu\nu}$ proportional to $\lambda$ coming from the variation of $\sqrt{-g}$, so $T^{\mu\nu} = T^{\mu\nu}_{\rm K.G.}+\lambda g^{\mu\nu} (e\cdot \partial \phi)^2$ (up to factors of 2). – Andrew Aug 03 '21 at 01:02