Metric compatibility of the spatial covariant derivative

ID: metric-compatibility-of-the-spatial-covariant-derivative

For a unit timelike normal , the induced metric is . The spatial covariant derivative projects the derivative and all free indices with the spatial projection tensor . Metric compatibility gives ; projecting kills the normal factor in each term. Thus the spatial covariant derivative is compatible with the induced metric.

New to topics? Read the docs here!