With the signature and , direct expansion of the two spatial projection tensors gives
This restriction is negative definite on spatial vectors. The positive spatial induced metric is instead , whose pullback to a time slice is the used in the line element. The spatial metric sign for a unit timelike normal is important here: the plus sign in the PDF's claimed equality is incompatible with its normal normalization: is not even transverse to .
The spatial covariant derivative of a spatial tensor projects every index, including its derivative index. Projection only on the derivative index is sufficient for a scalar but not for a general tensor. Using metric compatibility of the spacetime Levi-Civita connection, we obtain
Each term contains a normal contracted with its spatial projection tensor. Consequently , and the negative spatial restriction also satisfies . This proves the requested metric compatibility of the spatial covariant derivative after correcting the source's metric sign. Contracting indices gives the particular expression written in the question.

Articles by others on the same topic (0)

There are currently no matching articles.