# Ricci tensor of the orthogonal space

+ 5 like - 0 dislike
62 views

While reading this article I got stuck with Eq.$(54)$. I've been trying to derive it but I can't get their result. I believe my problem is in understanding their hints. They say that they get the result from the Gauss embedding equation and the Ricci identities for the 4-velocity, $u^a$. Is the Gauss equation they refer the one in the wiki article?

Looking at the terms that appear in their equation it looks like the Raychaudhuri equation or the Einstein field equations are to be used in the derivation in order to get the density and the cosmological constant, but even though I realize this I can't really get their result.

Can anyone point me in the right direction?

$Note:$The reason why I'm trying so hard to prove their result is because I wanted to know if it would still be valid if the orthogonal space were 2 dimensional (aside some constants). It appears to be the case but to be sure I needed to be able to prove it.

This post imported from StackExchange Physics at 2014-03-22 17:15 (UCT), posted by SE-user PML

retagged Mar 25, 2014
Is the Gauss equation they refer the one in the wiki article?: I think it is, according to page 610 (or 30 of the file) of link.springer.com/article/10.1007%2Fs10714-009-0760-7.

This post imported from StackExchange Physics at 2014-03-22 17:15 (UCT), posted by SE-user Taiki
@Taiki nice reference. It appears to be so. I think I might be on the right track, after several pages of calculations. Your reference has been very helpful. Thank you.

This post imported from StackExchange Physics at 2014-03-22 17:15 (UCT), posted by SE-user PML

+ 4 like - 0 dislike

I don't have time to do the full calculation (it will be rather long!), but I'll indicate what I think are the steps that get you there:

We start with our congruence given by the normalized vector field $u^a$, $u_au^a=-1$

The covariant derivative of $u^a$ splits into a part parallel to the congruence and a part orthogonal to it: $$\nabla_au_b=-u_a\dot{u_b}+{\tilde{\nabla}}_au_b$$ Where the tilde derivative is defined by projecting orthogonal to $u^a$ $${\tilde{\nabla}}_au_b=h_a^ch_b^d\nabla_cu_d$$ $$h_a^b=\delta_a^b+u_au^b$$Now we can decompose ${\tilde{\nabla}}_au_b$ into its irreducible parts $${\tilde{\nabla}}_au_b = \omega_{ab}+\frac{1}{3}\Theta h_{ab}+\sigma_{ab}$$ Where $\omega_{ab}$ is the antisymmetric part, $\Theta$ is the trace part, and $\sigma_{ab}$ is the trace-free symmetric part.

In most derivations of the Gauss-Codazzi equations, they assume that $u_a$ is vorticity-free ($\omega$ is the vorticity). Here we can't make that assumption. We wish to investigate curvature orthogonal to the congruence so we want to calculate $$({\tilde{\nabla}}_a{\tilde{\nabla}}_b-{\tilde{\nabla}}_b{\tilde{\nabla}}_a)X_c$$ where X is a vector field orthogonal to the congruence. Directly substituting for the ${\tilde{\nabla}}$ factors a couple of pages of calculation got me to $$({\tilde{\nabla}}_a{\tilde{\nabla}}_b-{\tilde{\nabla}}_b{\tilde{\nabla}}_a)X_c$$ $$=2\omega_{ab}{\dot{X}}_{<c>}+(^{\perp}R_{abcd})X_d+(K_{cb}K_{da}-K_{ca}K_{db})X^d$$where$$K_{ab}={\tilde{\nabla}}_bu_a$$ (I'm using the angle brackets and time derivatives defined in eqns (9) and (10) of your reference and the perp just means project all free indices using the $h$'s. Also the Gauss Codazzi section in Wald is useful here. Oh BTW I can't guarantee signs and factors of two!).

I believe the next step would be to contact this equation to obtain the desired three-Ricci tensor. It contains all the ingredients in your desired equation (54). The only problem is that you still have the (projected) Riemann tensor involved. To get rid of that you would have to use the field equations - this will bring in ingredients like $\pi_{ab}$

Sorry - it's more of a long hint than an answer, but it is a rather messy calculation! (you may have already completed it yourself now...)

This post imported from StackExchange Physics at 2014-03-22 17:15 (UCT), posted by SE-user twistor59
answered Jun 1, 2013 by (2,500 points)
Ah, your answer/hint (=)) is spot on. I wasn't sure of one definition and an incorrect use was making me run in circles. Thank you very much for your effort. I just checked Wald's book and indeed is very (very!) useful. Thank you once again. I didn't know that the calculation was so messy or I should have given a greater bounty...=/ Thank you once again.

This post imported from StackExchange Physics at 2014-03-22 17:15 (UCT), posted by SE-user PML

 Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead. To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL. Please consult the FAQ for as to how to format your post. This is the answer box; if you want to write a comment instead, please use the 'add comment' button. Live preview (may slow down editor)   Preview Your name to display (optional): Email me at this address if my answer is selected or commented on: Privacy: Your email address will only be used for sending these notifications. Anti-spam verification: If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:p$\hbar\varnothing$sicsOverflowThen drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds). To avoid this verification in future, please log in or register.