Ok so I seem to be missing something here.
I know that the number of independent coefficients of the Riemann tensor is 112n2(n2−1), which means in 2d it's 1 (i.e. Riemann tensor given by Ricci Scalar) and in 3d it's 6 (i.e. Riemann Tensor given by Ricci tensor).
But why does that constrain the Riemann tensor to only be a function of the metric? Why not a tensorial combination of derivatives of the metric?
What I mean is why is the Riemann tensor in 2D of the form Rabcd=R2(gacgbd−gadgbc)
and in 3D, Rabcd=f(Rac)gbd−f(Rad)gbc+f(Rbd)gac−f(Rbc)gad where f(Rab)=Rab−14Rgab?
Wikipedia says something about the Bianchi identities but I can't work it out. A hint I got (for the 2d case at least) was to consider the RHS (the terms in parenthesis) and show that it satisfies all the required properties of the Riemann tensor (sraightforward) and proceed from there - but, I have not been able to come up with any argument as to why there must be a unique tensor satisfying those properties.
Of course I could brute force it by computing Rabcd from the Christoffel symbols etc., but surely there must be a more elegant method to prove the statements above.
Help, anyone? I haven't been able to find any proofs online - maybe my Googling skills suck.
Answer
The simplicity of geometry in lower dimensions is because the Riemann curvature tensor could be expressed in terms of simpler tensor object: scalar curvature and metric (in 2d) or Ricci tensor and metric (in 3d). That fact, of course, does not alter the possibility to write Riemann tensor (as well as Ricci tensor and scalar curvature) as a combination of metric derivatives. But each term in such a combination is not a tensor - only the whole object.
Now, let us recapture, why in lower dimensions we are able to reduce the Riemann tensor to a combination of lower rank tensor objects.
For 3d case, definition of Ricci tensor:
Rab=Rabcdgac
contains 6 independent components, exactly the number of independent components in Riemann tensor. So, this equation could be reversed, thus expressing Rabcd in terms of Rab and gab.
In 2d case we could similarly start with definition of Ricci scalar:
R=Rabgab,
and reverse it expressing Rab through gab and R. The next step would be to express Riemann tensor with gab and Rab (and thus through scalar R only).
No comments:
Post a Comment