Ricci Tensor/Scalar Contraction Manipulation Q&A

Click For Summary
SUMMARY

The discussion centers on the manipulation of the Ricci tensor and Ricci scalar within the context of differential geometry. The participants clarify the definitions of the Ricci tensor, expressed as ##R_{ab}=R_{acbd}g^{cd}##, and the Ricci scalar, ##R=R_{ab}g^{ab}##. They explore the implications of index contraction, specifically questioning the validity of the expression ##g^{ad}g^{ce}(\bigtriangledown_{a}R_{bcde}+\bigtriangledown_{b}R_{cade}+\bigtriangledown_{c}R_{abde})=2\bigtriangledown^{a}R_{ab}-\bigtriangledown_{b}R##. The discussion highlights the importance of understanding the symmetries of the Riemann tensor, particularly its antisymmetry in the first two and last two indices, which aids in resolving the confusion regarding the minus sign in the equation.

PREREQUISITES
  • Understanding of Ricci tensor and Ricci scalar definitions
  • Familiarity with index notation and tensor contraction
  • Knowledge of Riemann tensor symmetries
  • Basic concepts of differential geometry
NEXT STEPS
  • Study the properties of the Riemann tensor, focusing on its antisymmetry
  • Learn about tensor contraction techniques in differential geometry
  • Explore the implications of Ricci curvature in general relativity
  • Investigate the relationship between Ricci tensor and Einstein's field equations
USEFUL FOR

Mathematicians, physicists, and students of general relativity who are looking to deepen their understanding of tensor calculus and the geometric properties of spacetime.

binbagsss
Messages
1,291
Reaction score
12
So my textbook definitions of the ricci tensor and ricci scalar are:
##R_{ab}=R_{acbd}g^{cd}## - I note the contraction is over the 2nd and 4th index. and the 1st and 3rd.
##R=R_{ab}g^{ab}##

Now, I'm trying to show that ##g^{ad}g^{ce}(\bigtriangledown_{a}R_{bcde}+\bigtriangledown_{b}R_{cade}+\bigtriangledown_{c}R_{abde})=2\bigtriangledown^{a}R_{ab}-\bigtriangledown_{b}R##

It's obvious that the ##R## term must come from ##g^{ad}g^{ce}\bigtriangledown_{b}R_{cade}## . But, I'm not seeing this properly, if the ricci vector is defined for the contraction to only be over specific indicies -or can it be any 2? As here the summation is over indicies consecutive to each other, but in the definition given above its over the 1st and 3rd, and 2nd and 4th.

Also, I'm totally clueless as to where a minus sign is coming from?

Thanks very much !

 
Last edited:
Physics news on Phys.org
binbagsss said:
So my textbook definitions of the ricci tensor and ricci scalar are:
##R_{ab}=R_{acbd}g^{ad}g^{cd}## - I note the contraction is over the 2nd and 4th index. and the 1st and 3rd.
This does not make sense, you have three ds in your right hand side. Even if you replace the ##g^{ad}## by ##g^{ac}##, the right hand side does not have any free indices at all and the left hand side has a and b as free.
 
Orodruin said:
This does not make sense, you have three ds in your right hand side. Even if you replace the ##g^{ad}## by ##g^{ac}##, the right hand side does not have any free indices at all and the left hand side has a and b as free.
Apologies. edited.
 
binbagsss said:
As here the summation is over indicies consecutive to each other, but in the definition given above its over the 1st and 3rd, and 2nd and 4th.

Also, I'm totally clueless as to where a minus sign is coming from?

Do you perhaps know some symmetries that the Riemann tensor has?
 
binbagsss said:
Apologies. edited.
It still cannot be true. The left hand side has two free indices and the right hand side none.
 
Orodruin said:
It still cannot be true. The left hand side has two free indices and the right hand side none.
Edited, apologies again ! ta.
 
So what symmetries of the Riemann tensor are you familiar with?
 
Orodruin said:
So what symmetries of the Riemann tensor are you familiar with?
Ah yes. antisymmetric in the last/first two indices. the only thing i can see to explain a minus sign. thank you !
 
Apologies, another q, is the ricci vector defined to be over the 2nd and 4th only?

And then by use of ##R_{abcd}=R_{badc} ##, which is from swapping both the first 2 indices and the last 2, double negative, this is equivalent to contracting over the 1st and 3rd, or by definition is it either the 2nd and 4th or 1st and 3rd.

Thanks.
 
  • #10
binbagsss said:
Apologies, another q, is the ricci vector defined to be over the 2nd and 4th only?

And then by use of ##R_{abcd}=R_{badc} ##, which is from swapping both the first 2 indices and the last 2, double negative, this is equivalent to contracting over the 1st and 3rd, or by definition is it either the 2nd and 4th or 1st and 3rd.

Thanks.

As you noticed, the two choices are equivalent due to the anti-symmetries of the tensor. It does not matter which one you select.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 6 ·
Replies
6
Views
1K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 17 ·
Replies
17
Views
4K
  • · Replies 10 ·
Replies
10
Views
2K
Replies
12
Views
3K
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K