Does the Riemman tensor and the covariant derivate commute?

  • Thread starter vertices
  • Start date
  • #1
vertices
62
0
A random question - Does the Riemman tensor and the covariant derivate commute?

a yes/no answer would suffice, but any explanation would be welcome:)

From the equations, it looks as though they do for flat metrics - but if we have other manifolds, it seems to me that the Christoffel symbols may be functions of different coordinates, and as such, might be affected by the covariant derivative.
 

Answers and Replies

  • #2
Stingray
Science Advisor
671
2
The Riemann tensor of a flat metric is always zero (by definition). The covariant derivative of any zero tensor is (unsurprisingly) zero.

But more generally, what you're asking is only true if the covariant derivative of the Riemann tensor vanishes. That is a very special case.
 
  • #3
vertices
62
0
The covariant derivative of any zero tensor is (unsurprisingly) zero.

Many thanks for the reply Stingray.

I'm really going to show my ignorance here, but a zero tensor is a scalar no? From what I understand, the covariant derivative of scalar is just the partial derivative - why would this neccessarily be zero?
 
  • #4
Stingray
Science Advisor
671
2
You can have zero tensors of any rank. In this case, it is not a scalar.

Still, if all components of a tensor vanish in one coordinate system, they vanish in all others as well. You can easily check this using the standard transformation rules.

Regardless, the covariant derivative of something that is everywhere zero is zero. For example, you probably know that
[tex]
\nabla_\mu A_\nu = \partial_\mu A_\nu - \Gamma_{\mu\nu}^\gamma A_\gamma .
[/tex]
If [itex]A_\mu = 0[/itex] over some finite region, it immediately follows that [itex]\nabla_\mu A_\nu = \partial_\mu A_\nu = 0[/itex] in that same region. This result is coordinate-independent.
 
  • #5
vertices
62
0
You can have zero tensors of any rank. In this case, it is not a scalar.

Still, if all components of a tensor vanish in one coordinate system, they vanish in all others as well. You can easily check this using the standard transformation rules.

Regardless, the covariant derivative of something that is everywhere zero is zero. For example, you probably know that
[tex]
\nabla_\mu A_\nu = \partial_\mu A_\nu - \Gamma_{\mu\nu}^\gamma A_\gamma .
[/tex]
If [itex]A_\mu = 0[/itex] over some finite region, it immediately follows that [itex]\nabla_\mu A_\nu = \partial_\mu A_\nu = 0[/itex] in that same region. This result is coordinate-independent.

I see.

Thanks again, Stingray:)
 
  • #6
zerotensor
2
0
more generally, what you're asking is only true if the covariant derivative of the Riemann tensor vanishes. That is a very special case.

If the metric is not flat, then the covariant derivative does not commute. Generally speaking, in curved spaces the order in which the covariant derivatives are taken *does* matter (they do not commute). Perhaps I am mistaken, but my understanding is that the Riemann tensor actually gives us the "commutator" of covariant derivatives.
 
  • #7
Stingray
Science Advisor
671
2
If the metric is not flat, then the covariant derivative does not commute. Generally speaking, in curved spaces the order in which the covariant derivatives are taken *does* matter (they do not commute). Perhaps I am mistaken, but my understanding is that the Riemann tensor actually gives us the "commutator" of covariant derivatives.

My impression was that the OP was asking whether [itex]\nabla_a R_{bcd}{}^{f} = R_{bcd}{}^{f} \nabla_a[/itex]. You're right that the Riemann tensor does give the commutator of two covariant derivatives.
 

Suggested for: Does the Riemman tensor and the covariant derivate commute?

  • Last Post
Replies
8
Views
8K
  • Last Post
Replies
1
Views
5K
  • Last Post
Replies
15
Views
5K
  • Last Post
Replies
6
Views
8K
Replies
1
Views
881
Replies
4
Views
6K
Replies
1
Views
2K
Replies
16
Views
4K
Replies
0
Views
1K
Replies
3
Views
2K
Top