Killing vector fields