# Cosmological Constant, Einstein equation Quick Question

1. Jan 29, 2015

### binbagsss

So Einstein Equation: $G_{uv}= 8 \pi G T_{uv}$,

Justifying the cosmological constant can be included is done by noting that $\bigtriangledown^{a}g_{ab} =0$ and so including it on the LHS, conservation of energy-momentum tensor still holds.

I'm not sure why $\bigtriangledown^{a}g_{ab} =0$. The source I'm using says to 'recall' this, and it is talking about the FRW tensor.

The only thing I can think of is the fundamental theorem of Riemannian geometry : $\bigtriangledown_{a}g_{bc}= 0$. But this doesn't does look right as it has 3 free indicies, not 1, and a lower indice instead of a upper on the $\bigtriangledown$

Thanks for your help in advance.

On a side note, I think I am confused between 'divergence' and 'covariant derivative', when we say $\bigtriangledown_{a} T^{ab} = 0$, conservation of energy-momentum tensor that its 'divergence' is zero, is this saying it's convariant derivative is zero?

2. Jan 29, 2015

### Matterwave

The requirement that $\nabla^a g_{ab}=0$ arises from the more stringent requirement that $\nabla_a g_{bc}=0$ as is the case if the connection is to be metric compatible. In other words, this is one of the defining attributes of a "metric connection".

A "covariant divergence" is a divergence in that it has a contraction on the index with which you are taking the derivative of. Saying "the divergence is 0" means $\nabla_a T^{abc...}=0$. Saying "the covariant derivative is 0" means $\nabla_a T^{bcd...}=0$. Some times the covariant derivative is only 0 along some curve (e.g. for geodesic tangents along geodesics) and in that case, we mathematically specify $u^a\nabla_a T^{bcd...}=0$ meaning it's parallel transported along that curve.

3. Jan 30, 2015

### binbagsss

Thanks for your reply. So $\nabla_a g_{bc}=0$ implies $\nabla^a g_{ab}=0$ ?
How would you show this? Would you argue that a,b,c range over 0,1,2,3 (In 4-d) and then this is the particular case of a=b? And then raise an index?

4. Jan 31, 2015

### Matterwave

If $\nabla_a g_{bc}$ applies for all $a,b,c$, then it should certainly apply for when $a=b$ right? And then you can raise the index like you say...but it is certainly the case tht $g^{ab}\times 0=0$ so I'm not sure why you want to carry out this step.

5. Jan 31, 2015

### DrGreg

$$\nabla^a g_{ab}=\nabla^d g_{db}=g^{da}\nabla_a g_{db}=\sum_{a,d} \left( g^{da} \times 0 \right) = 0$$

6. Jan 31, 2015

### binbagsss

But isn't $\nabla_a$ covariant derivaitve? I'm not sure what $\nabla^{a}$ is called, but don't they describe different things physically?

7. Jan 31, 2015

### binbagsss

thanks. although I'm not sure I understand the summation in the last equality, as the d,a do not appear twice.

8. Jan 31, 2015

### DrGreg

I suppose I could have written it as
$$\nabla^a g_{ab}=\nabla^d g_{db}=g^{da}\nabla_a g_{db}=g^{da}0_{adb} = 0$$
where $0_{adb} = 0$

9. Jan 31, 2015

### Matterwave

Why would they in the presence of a metric? Any vector $A^a$ has an associated co-vector $A_a=g_{ab}A^b$.

10. Jan 31, 2015

### ChrisVer

Another way to see that is instead of taking the Einstein equations as you got them , with indices down, to write them equivalently with indices up:

$G^{\mu \nu} = 8 \pi G T^{\mu \nu}$

Then you can insert the cosmological constant by using [the more used to you convention of the covariant derivative] $\nabla_a g^{bc} =0 \Rightarrow \nabla_a g^{ac}=0$. However it's just what other people have already posted here.

11. Feb 2, 2015

### binbagsss

Thanks. And is it referred to divergences in both cases : $\nabla_a T^{abc...}=0$ and $\nabla^a T^{abc...}=0$ i.e - whether the index on 'nabla' is up or down. Is one more conventional than the other?

12. Feb 2, 2015

### Matterwave

When you see two indices which are the same, it should always be one upper index and one lower index. It should never be both up like in your second equation.

13. Feb 4, 2015

### binbagsss

Apologies typo , the nabla with the second indice was suppose to read $\nabla^{a}T_{abc}$- are they both referred to as divergence and is one more conventional than the other?

14. Feb 4, 2015

### Matterwave

Yes, they are both "divergences".

Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook