 Killing equation

The Killing equation tests whether a candidate vector field generates a local isometry, without needing to solve for its flow of a vector field. For the Levi-Civita connection of a metric tensor $g$, it isParentheses mean averaging over the two index orders. The equation says the symmetric part of the covariant derivative vanishes, not that the entire covariant derivative vanishes. The Lie derivative of the metric tensor gives the coordinate formThe last two terms account for how tangent vectors move with the field; checking only $K^{\rho }{\partial }_{\rho }{g}_{\mu \nu }$ misses this. See Carroll, section 5, equations (5.33) and (5.41)-(5.42).

For the Euclidean Killing vector field $K=-y{\partial }_x+x{\partial }_y$, the Euclidean metric in Cartesian coordinates makes covariant derivatives ordinary partial derivatives. Its diagonal equations give ${\partial }_x{K}_x={\partial }_y{K}_y=0$, and its mixed equation gives ${\partial }_x{K}_y+{\partial }_y{K}_x=1-1=0$. Thus a varying vector field can preserve a constant metric tensor. In contrast, $K=x{\partial }_x+y{\partial }_y$ gives $({\mathcal{L}}_{K}g{)}_{xx}=2$ and fails the Killing equation, despite the constant metric components.

If $K={\partial }_z$ is a coordinate basis vector, its components are constant and the coordinate form reduces to ${\partial }_z{g}_{\mu \nu }=0$. Hence independence of the metric components from $z$ supplies a Killing vector field. This shortcut applies to that coordinate generator, not to an arbitrary varying vector field.