A
Killing vector field satisfies the condition
, which is the
coordinate-invariant expression of the existence of a
time-translation invariance of the background metric. The carets
indicate that the derivatives are defined, and the indices are
lowered by the background metric
.