Register to reply

Covariant global constants of motion in GR?

by tom.stoer
Tags: constants, covariant, global, motion
Share this thread:
tom.stoer
#1
Sep5-11, 04:06 PM
Sci Advisor
P: 5,366
We know that in GR it is not possible for arbitrary spacetimes to define a conserved energy by using a 3-integral. There are some obstacles like
  • the covariant conservation law DT = 0 (D = covariant derivative; T = energy-momentum-tensor) does not allow for the usual dV integration (like dj = 0)
  • only with a timelike killing field k one can define a conserved energy-momentum 4-vector t with t = kT and dt =0
  • ...

Now let's forget about this specific case and ask the following more general questions:

Suppose we have a 4-dim. pseudo-Riemannian manifold M with spacelike foliations F, F', F'', ... For each F one can define a family of 3-volumes VF(t) covering M where t indicates a timelike direction (coordinate) perpendicular to VF(t). For each VF(t) one can define 3-integrals

[itex]Q_F[q] = \int_{V_F(T)} \,q[/itex]

using differential forms q?

Under which conditions do these Q represent "reasonable physical obervables" with a well-defined, covariant transformation law? Under which conditions can one find a conservation law

[itex]\frac{dQ_F[\omega]}{dt} = 0[/itex]

Are there some physical relevant examples for q? How can q be constructed from the metric g (or a 3-bein e w.r.t to the 3-volume VF)?
Phys.Org News Partner Science news on Phys.org
Sapphire talk enlivens guesswork over iPhone 6
Geneticists offer clues to better rice, tomato crops
UConn makes 3-D copies of antique instrument parts
PAllen
#2
Sep5-11, 05:23 PM
Sci Advisor
PF Gold
P: 5,027
The following is the best I know bridging the gap between purely local statements and statements at infinity:

http://relativity.livingreviews.org/...es/lrr-2009-4/
tom.stoer
#3
Sep5-11, 05:45 PM
Sci Advisor
P: 5,366
:-) I know this review article already; nevertheless - thanks a lot.

Do you have any idea regarding the more mathematical questions I am asking? I mean: the Q as defined above need not necessarily be energy (momentum, angular momentum), but "some global conserved quantity" ...

PAllen
#4
Sep5-11, 09:47 PM
Sci Advisor
PF Gold
P: 5,027
Covariant global constants of motion in GR?

Quote Quote by tom.stoer View Post
:-) I know this review article already; nevertheless - thanks a lot.

Do you have any idea regarding the more mathematical questions I am asking? I mean: the Q as defined above need not necessarily be energy (momentum, angular momentum), but "some global conserved quantity" ...
Nope. I understand the question, but have no idea of the answer. I will follow this thread with interest.
tom.stoer
#5
Sep6-11, 07:20 AM
Sci Advisor
P: 5,366
One idea is to consider topological invariants of 3-manifolds. One would have to study the effects of black hole formation, i.e. whether a 3-invariant is destroyed by a black hole singularity.

It would be interesting to study invariants which can be defined via integrals of local expressions. Then there is the question whether one can find a "locally conserved 4-vector current" which defines the invariant ...
pervect
#6
Sep6-11, 06:25 PM
Emeritus
Sci Advisor
P: 7,596
Are you familiar with Noether's theorem? It may not do precisely what you want, but it does associate symmetries of the action with conserved quantities.

I think the correspondence works both ways (i.e. symmetries of the action imply the existence of conserved quantities,and vica-versa), though I'm not actually 100% sure on that point.
tom.stoer
#7
Sep7-11, 12:11 AM
Sci Advisor
P: 5,366
I am familiar with Noether's theorem.

It allows one to construct locally conserved currents, but the problem in GR is to construct globally conserved charges (via integration); that does not work in GR in general; a famous example is the construction of a conserved energy.
TrickyDicky
#8
Sep7-11, 07:20 AM
P: 3,006
Quote Quote by tom.stoer View Post
One idea is to consider topological invariants of 3-manifolds. One would have to study the effects of black hole formation, i.e. whether a 3-invariant is destroyed by a black hole singularity.

It would be interesting to study invariants which can be defined via integrals of local expressions. Then there is the question whether one can find a "locally conserved 4-vector current" which defines the invariant ...

I also think it would be interesting, I've one question though, isn't something like a 4D current what is made to vanish in GR by imposing a covariantly divergence-less stress-energy tensor?
To get a globally conserved quantity, wouldn't you need an explicit choice of frame of reference? But this is exactly what you can't do in GR if you want to respect the general covariance of the 4-manifold. You would be imposing an artificial gauge.
WannabeNewton
#9
Sep7-11, 07:27 AM
C. Spirit
Sci Advisor
Thanks
WannabeNewton's Avatar
P: 5,427
Quote Quote by TrickyDicky View Post
To get a locally conserved quantity, wouldn't you need an explicit choice of frame of reference?
What do you mean by that?
TrickyDicky
#10
Sep7-11, 07:33 AM
P: 3,006
Quote Quote by tom.stoer View Post
Suppose we have a 4-dim. pseudo-Riemannian manifold M with spacelike foliations F, F', F'', ... For each F one can define a family of 3-volumes VF(t) covering M where t indicates a timelike direction (coordinate) perpendicular to VF(t). For each VF(t) one can define 3-integrals

[itex]Q_F[q] = \int_{V_F(T)} \,q[/itex]

using differential forms q?

Under which conditions do these Q represent "reasonable physical obervables" with a well-defined, covariant transformation law? Under which conditions can one find a conservation law

[itex]\frac{dQ_F[\omega]}{dt} = 0[/itex]

Are there some physical relevant examples for q? How can q be constructed from the metric g (or a 3-bein e w.r.t to the 3-volume VF)?
Under the same conditions that the energy quantity is obtained, I would guess? thru a KV field relevant for the quantity that one wants conserved like spacelike KV for momentum?
So they would have the same problem as with energy, don't you think?
TrickyDicky
#11
Sep7-11, 07:38 AM
P: 3,006
Quote Quote by WannabeNewton View Post
What do you mean by that?
I,ve edited the post to change it, a little lapsus.
I understand what tom stoer looks for is the globally conserved quantity (integral), maybe I misinterpreted him.
WannabeNewton
#12
Sep7-11, 07:55 AM
C. Spirit
Sci Advisor
Thanks
WannabeNewton's Avatar
P: 5,427
Quote Quote by TrickyDicky View Post
I,ve edited the post to change it, a little lapsus.
Oh, yes then I do agree with you. The path dependence of parallel transport on curved manifolds will certainly change the result of the integral based on the reference frame.
tom.stoer
#13
Sep7-11, 08:24 AM
Sci Advisor
P: 5,366
Constructing a globally conserved quantity from a conserved four-vector current density dj=0 works as usual by Stokes theorem. But constructing something like that based on a conserved tensor density DT=0 does not work b/c Stokes theorem does not apply to the Christoffel symbols appearing in the covariant derivative of T.

What I am looking for are some less restrictive conditions to construct a conserved entity Q as an integral over spacelike 3-manifolds and a "3-density" q (dj=0 is sufficient, but perhaps a weaker condition is available).

That's why I am asking for topological invariants of 3-manifolds. A simple example is the Gauss–Bonnet theorem for 2-manifolds. Is there something similar for 3-manifolds? Can the integrands (Gauss–Bonnet: curvature) be interpreted physically?
TrickyDicky
#14
Sep7-11, 12:52 PM
P: 3,006
Quote Quote by tom.stoer View Post
Constructing a globally conserved quantity from a conserved four-vector current density dj=0 works as usual by Stokes theorem. But constructing something like that based on a conserved tensor density DT=0 does not work b/c Stokes theorem does not apply to the Christoffel symbols appearing in the covariant derivative of T.
Sure, and therefore either you do the physically unjustified kv thing (see http://www.physicsforums.com/showpos...2&postcount=52 ) or I'd say you can't construct such thing in GR.



Quote Quote by tom.stoer View Post
That's why I am asking for topological invariants of 3-manifolds. A simple example is the Gauss–Bonnet theorem for 2-manifolds. Is there something similar for 3-manifolds? Can the integrands (Gauss–Bonnet: curvature) be interpreted physically?
I've read something about 3-dim topological invariants in the context of QFT and quantum gravity but I'm not sure if that is what you are interested in or if they can be interpreted physically. What kind of physical property do you imagine?
tom.stoer
#15
Sep7-11, 04:34 PM
Sci Advisor
P: 5,366
We agree on dj=0 and DT=0.

My question is if there could be other approaches (besides Noether currents) from which invariants as integrals over a spacelike 3-manifold can be constructed.

Regarding physically relevant examples: the Gauss-Bonnet theorem measures the (topologically constant) "total curvature". You could e.g. calculate a "mean curvature" by deviding by the volume. That's certainly interesting.
TrickyDicky
#16
Sep7-11, 05:09 PM
P: 3,006
Quote Quote by tom.stoer View Post
Regarding physically relevant examples: the Gauss-Bonnet theorem measures the (topologically constant) "total curvature". You could e.g. calculate a "mean curvature" by deviding by the volume. That's certainly interesting.
Quoting D. Hilbert: the Gauss-Bonnet theorem is just a 2-dimensional version of Einstein's field equation.
tom.stoer
#17
Sep7-11, 05:29 PM
Sci Advisor
P: 5,366
Look at my first post.

Using the Gauss-Bonnet theorem in two dimensions my q would correspond to the Gaussian curvature. Are there examples for such a q on spacelike 3-manifold? Are there other approaches (besides Noether currents) from which invariants as integrals over a spacelike 3-manifold can be constructed?

Remember: I am not talking about arbitrary 3-manifolds, but about spacelike 3-manifolds derived from a foliation of 4-dim. spacetime.
TrickyDicky
#18
Sep7-11, 05:40 PM
P: 3,006
Quote Quote by tom.stoer View Post
Look at my first post.

Using the Gauss-Bonnet theorem in two dimensions my q would correspond to the Gaussian curvature. Are there examples for such a q on spacelike 3-manifold? Are there other approaches (besides Noether currents) from which invariants as integrals over a spacelike 3-manifold can be constructed?

Remember: I am not talking about arbitrary 3-manifolds, but about spacelike 3-manifolds derived from a foliation of 4-dim. spacetime.
Tom, I understand your question, and as I said, I'm not aware of any other approach and IMO probably there's no such. But I would sure be glad if someone came up with something like that.


Register to reply

Related Discussions
Local constants of motion? Differential Equations 1
Independent constants of motion Advanced Physics Homework 0
Isometries and constants of motion Differential Geometry 0
Local vs Global Constants of Motion General Physics 3
Constants Of Motion Advanced Physics Homework 4