41

I've consulted several books for the explanation of why

$$\nabla _{\mu}g_{\alpha \beta} = 0,$$

and hence derive the relation between metric tensor and affine connection $\Gamma ^{\sigma}_{\mu \beta} $

$$\Gamma ^{\gamma} _{\beta \mu} = \frac{1}{2} g^{\alpha \gamma}(\partial _{\mu}g_{\alpha \beta} + \partial _{\beta} g_{\alpha \mu} - \partial _{\alpha}g_{\beta \mu}).$$

But I'm getting nowhere. May be I've to go through the concepts of manifold much deeper.

micage
  • 3
Aftnix
  • 949

6 Answers6

79

The connection is chosen so that the covariant derivative of the metric is zero. The vanishing covariant metric derivative is not a consequence of using "any" connection, it's a condition that allows us to choose a specific connection $\Gamma^{\sigma}_{\mu \beta}$. You could in principle have connections for which $\nabla_{\mu}g_{\alpha \beta}$ did not vanish. But we specifically want a connection for which this condition is true because we want a parallel transport operation which preserves angles and lengths.

twistor59
  • 17,244
  • 2
  • 56
  • 84
13

It can be show easily by the next reasoning. $$ DA_{i} = g_{ik}DA^{k}, $$ because $DA_{i}$ is a vector (according to the definition of covariant derivative). On the other hand, $$ DA_{i} = D(g_{ik}A^{k}) = g_{ik}DA^{k} + A^{k}Dg_{ik}. $$ So, $$ g_{ik}DA^{k} + A^{k}Dg_{ik} = g_{ik}DA^{k} \Rightarrow Dg_{ik} = 0. $$ So, it isn't a condition, it is a consequence of covariance derivative and metric tensor definition.

The relation between Christoffel's symbols and metric tensor derivations can be earned by cyclic permutation of indexes in the covariance derivative $g_{ik; l}$ expression, which is equal to zero.

4

Here is another straight forward calculation, but assuming the existence of locally flat coordinates $\xi^i\left(x^\mu\right)$. Then \begin{align} D_\rho g_{\mu \nu} &= \partial_\rho g_{\mu \nu} - g_{\mu \sigma} \Gamma_{\nu\rho}^{\sigma} - g_{\sigma\nu} \Gamma_{\mu\rho}^{\sigma} \\ &= \partial_\rho \left( \frac{\partial \xi^i}{\partial x^\mu}\frac{\partial \xi^i}{\partial x^\nu} \right) - g_{\mu \sigma} \frac{\partial x^\sigma}{\partial \xi^i} \frac{\partial^2 \xi^i}{\partial x^\nu \partial x^\rho} - g_{\sigma \nu} \frac{\partial x^\sigma}{\partial \xi^i} \frac{\partial^2 \xi^i}{\partial x^\mu \partial x^\rho} \\ &= \frac{\partial^2 \xi^i}{\partial x^\rho \partial x^\mu}\frac{\partial \xi^i}{\partial x^\nu} + \frac{\partial \xi^i}{\partial x^\mu}\frac{\partial^2 \xi^i}{\partial x^\rho \partial x^\nu} - \frac{\partial \xi^j}{\partial x^\mu}\underbrace{\frac{\partial \xi^j}{\partial x^\sigma} \frac{\partial x^\sigma}{\partial \xi^i}}_{\delta^j_i} \frac{\partial^2 \xi^i}{\partial x^\nu \partial x^\rho} - \frac{\partial \xi^j}{\partial x^\sigma}\frac{\partial \xi^j}{\partial x^\nu}\frac{\partial x^\sigma}{\partial \xi^i} \frac{\partial^2 \xi^i}{\partial x^\mu \partial x^\rho} \\ &= 0 \end{align}

Diger
  • 391
2

This is only meant to supplement the first answer.

If we think physically, then we live in one particular (pseudo-)Riemannian world. In this world, there is only one metric tensor (up to scalar) and it can pretty much be measured. If I found it here, and if an alien measured it, and we compared our answers, they would be scalar multiples of each other (choice of Parisian metre stick for me, choice of Imperial foot for the alien, or, vice versa..). There is precisely one connection, and it can be calculated from the metric.

So I quarrel with the word used by @twistor59, «chosen». There is no choice. Given a metric, the connection is determined. I agree with the rest of the answer, but would like to see the word «chosen» replaced by «given». I would rather say,

given a metric, the connection is determined by the metric.

1

Consider the analogy with Newtonian gravity. In Newtonian gravity, we have a potential $\Phi$, and differentiating that gives the gravitational field.

In GR, the metric plays the role of the potential, and by differentiating it we get the Christoffel coefficients, which can be interpreted as measures of the gravitational field.

Now in GR we have the equivalence principle (e.p.), and one way of stating the e.p. is that we can always choose a local frame of reference such that the gravitational field is zero. Therefore coordinates exist such that $\nabla_\alpha g_{\mu\nu}=0$. But $g$ is a tensor, and the whole point of the covariant derivative $\nabla$ is that it's a tensor (unlike the partial derivatives with respect to the coordinates). And a tensor that's zero in one set of coordinates is zero in all other coordinates. Therefore we must have $\nabla_\alpha g_{\mu\nu}=0$ in whatever set of coordinates we choose.

0

A simple way to prove that is by using inditial notation. Let US define $$\bf{G}=g_{ij}\bf{g}^i\bf{g}^j.$$

$$\bf{G},r=g_{ij_,r} \bf{g^ig^j}+g_{ij}\bf{g}^{i}_{,r}\bf{g^j}+g_{ij}\bf{g}^i\bf{g}^j_{,r}=(\Gamma_{irj}+\Gamma_{jri})-g_{ij}\Gamma^i_{rk}\bf{g^kg^j}-g_{ij}\Gamma^j_{k})\bf{g^ig^k}.$$ Interchanging in RHS at the first negative term, k by i, and in the second one, k by j, we may factorize by $\bf{g^ig^j}$ to get $$\bf{G}_{,r}=(\Gamma_{irj}+\Gamma_{jri}-g_{kj}\Gamma^k_{ri}-g_{ik}\Gamma^k_{rj})\bf{g^ig^j}=(\Gamma_{irj}+\Gamma_{jri}-\Gamma_{rij}-\Gamma_{rji})\bf{g^ig^j}.$$ We define the covariant derivative of the metric tensor, $g_{ij\big{|}r},$ as the terms enclosed into parentheses, i.e. $$g_{ij}\big{|}_r=\Gamma_{irj}+\Gamma_{jri}-\Gamma_{rij}-\Gamma_{rji}=0.$$