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.07.03 22:41:26 EDT Valentine for the relativity geek This just came randomly into my head (well, while I am trying to think up a T-shirt design). A (really geeky) valentine's day card for your favourite relativity geek: Rμν - ½ R gμν
2009.06.12 11:42:48 EDT Introducing my new blog: Asking Questions After thinking about it for a while, I've decided that I will get a WordPress account. Most of the reasons are given in this post from a few months ago. In any case, this will not mean the death of bl
2009.05.31 00:27:49 EDT A list of Japanese restaurants Mom was on a plane, and sat next to a Japanese ex-pat, so she asked for restaurant recommendations. This is the list: Restaurant RIKI 141 E 45 St. Phone: 212-986-1109 Sakagura 211 E 43 St. B1F. Phone
2009.05.06 16:45:31 EDT Journal: Call me doctor Whoa! I am a PhD* now. I didn't sleep too well last night. I was way too nervous. There was really no reason for me to be though: I do not know (which is different from there doesn't exist) of a case
2009.04.29 19:46:57 EDT Unconventional Derivation of Kerr Metric I've posted one set of lecture notes on an unconventional derivation of the Kerr metric. This is a condensation of the lecture I gave on Apr 23 for MAT 451 in Princeton University.
2009.04.28 11:23:22 EDT Are we putting too much faith in the savior? Hypothetically speaking, would it have been better for President Obama if, instead of the Democratic landslide of 2008, he was elected to face an adversarial congress dominated by Republican majoritie
2009.04.17 18:22:07 EDT Dissertation status: finished! The dissertation is done! Actually I finished it yesterday around 2:30 pm. But I haven't had the chance to blog about it until now. Something about having a late afternoon seminar yesterday, more semi
2009.03.28 17:16:04 EDT A problem in modular arithmetic In an New York Times Magazine article on Freeman Dyson, the following problem is posed: Does there exist a natural number in base 10 where if you move the last digit to the front, e.g. transfrom 12345
2009.03.19 12:02:42 EDT Gowers's experiment and future of blogOhm A remarkable on-line collaboration in mathematics happened recently. Tim Gowers initiated a fairly modest program some 6 weeks ago, trying to get a heuristic justification (or refutation) on how one s
2008.12.16 22:43:46 EST Illustrious company My advisor invited me over for dinner tonight. He wrote the book on nonlinear PDE techniques in the global theory for general relativity. Around the table were also I. M. Sigal, who wrote the book on