Noether's theorem and Lorentzian Boost
2005.10.20
Mathematics, Natural Sciences

A good question about Noether's theorem that most textbooks do not address: what is the conservation law corresponding to Lorentzian boost?

We first start with some background material.

  1. We are interested in working on Minkowski space, i.e. R1+n with the Minkowski metric mαβdxαdxβ given by -c2dt2+∑1≤i≤ndxi2. We typically normalize by setting c = 1.
  2. The symmetries in Minkowski space is given by the Poincaré group, a.k.a. inhomogeneous Lorentz group, which consists of space-time translations, spacial rotations, and Lorentz boosts (rotations about the light-cone; what produces the time-dilation effect in special relativity). These are the isometries on Minkowski space. The Lorentz group has a corresponding Lie Algebra, the generators of which are the following:
    • Tμ = ∂/∂xμ
    • Lμν = xμν - xνμ
    (Notice that we follow the convention of Einstein summation and that lowering and raising of indices being done with respect to the metric.) The vector fields T corresponds to the various translations. The vector fields L corresponds to the Lorentz transformations: the spacial restrictions of which (Lij,≠0) corresponds to the special orthogonal group (i.e. rotations) on Rn.
  3. The above generators of the symmetry groups are also called Killing vector fields. Recall that we can speak of the Lie derivative corresponding to a vector field X, which we denote by LX. The deformation tensor of X is the two tensor given by LXg, where g is the metric of the manifold. We denote the deformation tensor by (X)Π. Killing's equation gives that a symmetry in space-time (i.e. one that doesn't change the metric) is generated by a vector field for which the deformation tensor is 0.
  4. The energy-momentum tensor Qμν is a symmetric, divergence free two-tensor that satisfies the positive energy condition (or in some cases, the dominant energy condition) of Q(X,Y) > 0 (≥ 0) for future-oriented time-like vector fields X and Y.
Noether's theorem says that symmetries corresponds to conservation laws. How do we arrive at that?

Consider the quantity P(X)μ = QμνXν for an arbitrary vector field X. We look at its divergence.

μPμ = ∂μQμνXν + QμνμXν
By the divergence free condition on Q, the first term on the right hand side is zero. By the symmetry condition, we can symmetrize the second term on the right hand side as following:
μPμ = ½ Qμν ( ∂μXν + ∂νXμ )
We raise the index on Q and lower it on the conjugate portions, and using the definition of the Lie derivative, we see
μPμ = ½ Qμν (LXg)μν = ½ Qμν (X)Πμν
So we see that in the case of X being a Killing v.f. the quantity P=P(X) is divergence free.

We then integrate over a space-time slab. We denote the space-like hyper-surface {s}×Rn by Σ(s)

0tΣ(s)μPμdx ds = 0
by Stokes theorem, we can rewrite the left hand side as an integral over the boundary
Σ(t)P0 dx - ∫Σ(0)P0 dx = 0
which implies that the spacial integral of P0 is a conserved quantity (doesn't change with time).

Putting in the T vectors for the Killing v.f. we see immediately that P(Tμ)0 = Q. For μ = 0, this is the relationship that time translation symmetry equals conservation of energy. For μ ≠ 0, we get spacial translation symmetry equals conservation of momentum.

If we put in the rotational vectors (the spacial L vectors), we see rotational symmetry gives rise to conservation of angular momentum. The problem is, what about the Lorentzian boost?

Let's work it out: the Lorentzian boost is given by L0i = t ∂i+ xit. Plugging it in to the P relation, we get that

∫Q00xi + Q0it
is conserved. Noticing that t is constant on each time-slice Σ(t), we get the following equation
t2 ∫t2Q0i - t1 ∫t1Q0i = ∫t1Q00 xi - ∫t2Q00 xi
Well, we already know that Q0i, the linear momentum, is a conserved quantity. But how do we interpret this equation? it says something about the change in time multiplied by the group momentum is equals to something else.

Here we need to recall our renormalization: c = 1. In fact, if we didn't renormalize, there would be a factor of c2 floating around. In fact, we have

(t2-t1)∫t2Q0i = c-2 (∫t1Q00 xi - ∫t2Q00 xi)
Well, Q00 is the energy density. Its integral is the total energy. And we recall the famous equation of Einstein: E = mc2. Morally speaking, then, c-2Q00 is a mass density on the space time. Which means that the integrals on the right hand side corresponds to mass moments, or otherwise known as center of mass.

So in reality, the boost symmetry produces a variant of the mass-transport equation. It states that the center of mass of the entire system will be transported linearly by the momentum over time.

Posted at 15:38:18 EDT by W comment

blogCentralFront Page
2009.11.20 00:41:20 GMT Feynman's Messenger Lectures online Just found out something rather cool: Microsoft Research, through Project Tuva, is publishing videos of Richard Feynman's Messenger Lectures. Go watch.
2009.11.18 11:05:07 GMT Alcohol consumption Different cultures certainly have different views on alcohol. For example, at Hertford College Oxford, wine is allowed if reasonably drunk and 4) A small amount of beer or lager will be allowed wher
2009.11.16 19:17:31 GMT Luc visits; Willie doesn't check e-mail Holy cow! I just realized that I spent a day at work without checking e-mail! Okay, to be honest, today I was hosting Luc Nguyen, who we invited to speak on his work about the regularity near the sing
2009.11.15 18:19:32 GMT Chicken soup Chicken soup is not just good for the soul. It has been scientifically proven to mitigate inflammation. Maybe mommy's chicken soup was the reason that the same bug that took Pin out of commission for
2009.11.10 17:58:53 GMT Sayonara, e-nibbles; hullo, Gee-Mi-Ni It's final: e-nibbles is no more. e-nibbles was my trusty Dell D600 which I purchased summer after my Junior year in college through the Student Computer Initiative. Immediately after receiving the ob
2009.09.30 10:12:57 BST Ahhh! Cruft discovered in pre-print. Ack, I should've known better. I stayed up a bit later on Monday night than I intended to. I was asked, by Claude, last week, about whether certain cases (in particular the Born-Infeld model) not cove
2009.09.28 18:30:27 BST Spiders spiders everywhere Wow! Third post today, and here I thought I have been neglecting my blog. Anyway, it turns out that I am not the only person to have noticed the large number of spiders in Britain this autumn. Going o
2009.09.28 15:12:09 BST Causality of generalized wave-maps--paper on arXiv Oh, almost forgot. New paper on arXiv. Gary Gibbons showed via explicit computations using eigenvalues that the Skyrmion equation obeys the dominant energy condition. In my paper, I proved the dominan
2009.09.28 14:42:39 BST The evolution debate as an illustration of speciation I was reading some article or another in Wired, which happens to be about dinosaurs. And of course, the religious kooks came out of the woodwork to attack evolution on the comment board. And it occurr
2009.09.02 12:42:44 BST New beginnings: first days at Cambridge Heh. Did you, dear reader, notice the change on the date-stamp for the previous entry? It was posted in British Standard Time. Yes, I am now taking a position in the Department of Pure Mathematics and