Dimension bound for Killing vector fields
ID: dimension-bound-for-killing-vector-fields
On a connected -dimensional pseudo-Riemannian manifold, evaluation of a Killing vector field and its first derivative is injective by Killing transport. The value has components and the Killing equation makes the derivative an antisymmetric two-tensor with components. Their sum gives the bound. Flat metrics attain it through with . Connectedness is essential for a uniform global bound in terms of : independent fields can be supported on different connected components.
New to topics? Read the docs here!