A ambiguous variation of Einstein-Hilbert action

[archipatelin]

A ambiguous variation of Einstein--Hilbert action

Variation of EH action is:

<br /> \delta S_{EH}=\int_{\Omega}{\delta(R\sqrt{-g})dx^4}=<br /> \int_{\Omega}{G_{\mu\nu}\delta{g^{\mu\nu}}\sqrt{-g}dx^4}=0,<br />​

where

<br /> G_{\mu\nu}:=R_{\mu\nu}-\frac{1}{2}g_{\mu\nu}R<br />​

is symmetric einstein's tensor.

The action have to be extremal for each volume \Omega. This implicate

<br /> G_{\mu\nu}\delta{g^{\mu\nu}}=0.<br />​

Becouse variation of metric is arbitrary and G_{\mu\nu} is principal independed on \delta{g^{\mu\nu}}, latest equation is equivalent with

<br /> G_{\mu\nu}=0.<br />​

This are ordinary einstein's vacuum equations.

But variation of metric is symmetric tensor, therefore more general form of vacuum
field equations are

<br /> S_{\mu\nu}:=G_{(\mu\nu)}+F_{[\mu\nu]}=0,<br />​

where F_{\mu\nu} is whatever antisymmetric tensor build it from metric and its derivations.

Why we can ignore this tensor (it is proven that there is not exist)?

 

[haushofer]

Because the righthand side is the energy momentum tensor, which per definition is symmetric (well, for special-relativistic field theories this is not entirely true, which is the cause for the need of something called the Belinfante tensor).

Also, the metric is symmetric, so theoretically you could add ANY antisymmetric tensor to your expression, because contracting it with \delta g_{\mu\nu} gives zero anyway. However, this term has to be divergenceless due to covariant energy-momentum conservation. Which tensor should that be?