 Killing vector field

A Killing vector field describes a direction in which geometry has a continuous symmetry: moving points together along its flow of a vector field preserves the metric tensor, including its pairing of tangent vectors. Such a symmetry gives a geodesic conserved quantity from a Killing vector, often a component of momentum or angular momentum. The direction may vary with position: rotation provides the basic example.

On a Riemannian manifold or Lorentzian manifold with metric tensor $g$, a smooth vector field $K$ is a Killing vector field when its Lie derivative of $g$ vanishes. If ${\Phi }_s$ is its local flow of a vector field, the equivalent statements areThe middle equality uses the pullback of a covariant tensor: the local flow maps are isometries on their domains. The last equality is the Killing equation, using the Levi-Civita connection. The infinitesimal condition holds throughout an open domain and integrates to exact local isometries; it is stronger than making the first derivatives of $g$ vanish at a single point. See Tong, section 4.3.1, equation (4.29).

For example, on the interval $0<x<1$ with Euclidean metric $d{x}^2$, $K={\partial }_x$ translates points by $x\mapsto x+s$. This is a local isometry, but a point reaches the end of the interval in finite flow parameter. A local flow of a vector field can be incomplete; see Killing fields on incomplete manifolds need not generate global isometries. The full-plane translation and rotation examples under Euclidean Killing vector field instead have flows for every real $s$.