Ricci-Tensor from Riemann in higher dimensional flat space

In summary, the conversation is about a problem involving an extension to the Robertson-Walker Metric for a flat space. The goal is to calculate the Ricci-Tensor for this metric. The person asking for help has made a mistake in their calculation, specifically in taking into account the components of the Riemann tensor when the indices are the same. Another person helps them by pointing out the error and providing the correct calculation. The person who made the mistake expresses their gratitude and can now continue with their calculations.
  • #1
wildemar
20
0
This is driving me nuts.
(I originally posted this to the coursework section, but in thinking about this, I felt that it might not be the right place (this is for a term paper, not really any ongoing coursework, so there). Hope I'm not imposing ... I feel quite embarrassed on this one, since it should be simple. Enough of my babbling.)

Mission statement
The problem deals with an extension to the Robertson-Walker Metric for a flat space. To the usual 3 spatial dimensions with scale factor a(t), d more are appended with another scale factor b(t).

I thus have the following line-element:
[itex]
\mathrm{d}s^2 = - \mathrm{d}t^2 + a(t)^2 \sum_{\alpha=1}^{3} (\mathrm{d} x^\alpha)^2+ b(t)^2 \sum_{\mu=1}^{3} (\mathrm{d} x^\mu)^2
[/itex]

I need to calculate the Ricci-Tensor for this.

My attempt at a solution
For the given metric, I get the following Riemann (we can assume that this is right, Maple says so, but feel free to correct me (the paper I'm using as a reference has positive signs for the first two components listed):
[itex]
R_{0 \alpha 0 \alpha} = -a \ddot{a} \quad\quad
R_{0 \mu 0 \mu} = -b \ddot{b} \quad\quad
R_{\alpha\beta\alpha\beta} = a^2 \dot{a}^2 \quad\quad
R_{\mu\nu\mu\nu} = b^2 \dot{b}^2 \quad\quad
R_{\alpha\mu\alpha\mu} = a \dot{a} b \dot{b}
[/itex]
(Note that alpha and beta run over the usual 3 spatial dimensions while mu and nu run over the d additional ones. All Latin indices run over all dimensions available, including time.)

I then said (no summation convention here)
[tex]
\begin{align*}
R_{ab}
&= \sum_{c,d=0}^{4+d} g^{cd} R_{cadb}
= \sum_{c=0}^{4+d} g^{cc} R_{cacb} \\
&= (-1) \cdot R_{0a0b}
+ \sum_{\alpha = 1}^{3} a^{-2} R_{\alpha a \alpha b}
+ \sum_{\mu = 4}^{3+d} b^{-2} R_{\mu a \mu b} \\
&= (-1) \cdot R_{0 a 0 b}
+ \quad 3 \, \frac{R_{\alpha a \alpha b}}{a^2} \quad\
+ \quad d \, \frac{R_{\mu a \mu b}}{b^2}
\end{align*}
[/tex]
where the Greek indices in the last line are symbolic in the way that you can use any value that is in line with the above convention as all those components are equal.

So with this I get
[tex]
\begin{align*}
R_{00} &= -3\frac{\ddot{a}}{a} - d \frac{\ddot{b}}{b} \\
R_{\alpha\alpha} &= a \ddot{a} + 3 \dot{a}^2 + d \frac{a \dot{a} \dot{b}}{b} \\
R_{\mu\mu} &= b \ddot{b} + 3 \frac{\dot{a} b \dot{b}}{a} + d \dot{b}^2
\end{align*}
[/tex]


The Problem
Both Maple and the paper I'm working through say that in the second line it should read 2 instead of 3 and in the third d-1 instead of d (I apparently can't use any additional latex in this post, so you'll have to use your imaginations).
That is, in the last two lines, the "pure" spatial terms (those that have no mixed indices of normal and higher dimensions) occur on time less than what I calculate.

I can't for the life of me find the error I'm making. This isn't a complicated calculation at all, but I'm completely stumped.
 
Physics news on Phys.org
  • #2
Uhm, anyone?

If what I'm writing is unclear, or even if you think what I do is correct, I'd really like to know. Sorry to bother you.

Maybe this is more appropriate in the GR section? If so, can I move the thread?
 
Last edited:
  • #3
wildemar said:
Uhm, anyone?

If what I'm writing is unclear, or even if you think what I do is correct, I'd really like to know. Sorry to bother you.

Maybe this is more appropriate in the GR section? If so, can I move the thread?

I just saw your post. I have been doing tons of calculations similar to these for calculations in brane world models (and I do everything by hand) so I will check your question tomorrow (it's too late now, I need to go to sleep)

Regards
 
  • #4
wildemar said:
Uhm, anyone?

If what I'm writing is unclear, or even if you think what I do is correct, I'd really like to know. Sorry to bother you.

Maybe this is more appropriate in the GR section? If so, can I move the thread?

Hi,


I only had time to look at your calculation this afternoon, sorry about the delay.


The reason is this: The components of the Riemann tensor are zero whenever the four indices are identical. So [tex] R_{1111} = R_{2222} = R_{3333} ... = 0 [/tex]

Therefore you have to be careful. When you give the expressions for [tex] R_{\alpha \beta \alpha \beta} [/tex] for example, it is valid only if [tex] \alpha \neq \beta [/tex].


Now, look at when you calculate the Ricci tensor with two spatial indices. In that case, you cannot write

[tex] \sum_{\alpha=1}^3 a^{-2} R_{\alpha a \alpha b} = 3 \frac{R_{\alpha a \alpha b}}{a^2} [/tex]

It's clear if you write it out. For example consider [tex] R_{11} [/tex]
We should get

[tex] R_{11} = \frac{1}{a^2} \bigl( R_{2121} + R_{3131} \bigr) = 2 \dot{a}^2 [/tex]

i.e., the term [tex] R_{1111} [/tex] must not be included.

The same problem arises when you find R with two [tex] \mu [/tex] indices. In that case, the sum over the mu that you wrote should not include the term [tex] R_{\mu \mu \mu \mu} [/tex] so the factor in front of the sum is (d-1), not d.


I hope this helps. It is tricky. And since most people just use Maple, they don't have to worry about this kind of subtleties. Since I have done tons of calculations by hand, I have had to deal with this kind of tricky issues very often and had nobody to help. I hope that my hours of struggle will have helped you out a bit!


Patrick
 
  • #5
*slaps forehead*

Man! Thanks Patrick. That was it, of course. Gee, there it was, right before my eyes and I didn't see. You're the man now, dog! :)

Really, I can not express how grateful I am. Now I can finally start doing some serious calculations again.

regards,
/W
 

FAQ: Ricci-Tensor from Riemann in higher dimensional flat space

What is the Ricci tensor in higher dimensional flat space?

The Ricci tensor in higher dimensional flat space is a mathematical tensor that describes the curvature of a space with more than three dimensions. It is derived from the Riemann curvature tensor and is a key component in Einstein's theory of general relativity.

How is the Ricci tensor related to the Riemann curvature tensor?

The Ricci tensor is a contraction of the Riemann curvature tensor, which means that it is formed by taking a sum of certain components of the Riemann tensor. This allows us to describe the curvature of a space using fewer components and simplifies the equations used in general relativity.

What is the significance of studying the Ricci tensor in higher dimensional flat space?

Studying the Ricci tensor in higher dimensional flat space has many applications in theoretical physics, particularly in the study of higher-dimensional spacetimes and the behavior of matter in these spaces. It also has implications for our understanding of gravity and the behavior of spacetime on a large scale.

How does the Ricci tensor change in higher dimensional flat space?

In higher dimensional flat space, the Ricci tensor becomes more complex and has more components compared to the traditional three-dimensional case. This is due to the increased number of dimensions, which allows for more ways for spacetime to curve and deform.

Can the Ricci tensor be used to describe the geometry of higher dimensional flat space?

Yes, the Ricci tensor is a key component in describing the geometry of higher dimensional flat space. It allows us to calculate the curvature of the space and understand how it changes in different directions. This is crucial in understanding the behavior of matter and energy in these spaces and how they interact with each other.

Back
Top