A Killing vector field satisfies the condition ^ ^ ^ ^ \~/ m Kn + \~/ n Km = 0, 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 ^gmn.