03.02.07 · differential-geometry / manifolds

Killing fields and infinitesimal isometries

shipped3 tiersLean: nonepending prereqs

Anchor (Master): Killing 1891 Math. Ann. 39; Kobayashi-Nomizu Foundations Vol. 1 Ch. 6

Intuition [Beginner]

A Killing field is a vector field whose flow preserves distances on the manifold. Imagine the surface of a sphere: rotating it around its axis does not stretch or compress any part of the surface. The arrow field describing this rotation, pointing "east" at every point and vanishing at the poles, is a Killing field.

The name comes from Wilhelm Killing, who studied these fields in the 1890s. A Killing field represents an infinitesimal isometry: a tiny motion that preserves the metric. More Killing fields means more symmetry. A generic curved surface has no Killing fields at all; the round sphere has three.

The reason the concept matters: symmetries constrain geometry. If you know the Killing fields, you know a great deal about the manifold's shape. The maximum number of independent Killing fields on an $n$ -dimensional manifold is $n (n + 1) /2$ , achieved only by flat space, the round sphere, and hyperbolic space.

Visual [Beginner]

A sphere with arrows tangent to the latitude circles, representing the rotation Killing field around the vertical axis. The arrows vanish at the north and south poles (marked with dots) and are longest at the equator. A second set of fainter arrows shows a different rotation axis, indicating that the sphere has multiple independent Killing fields.

Each independent Killing field corresponds to a rotation about a different axis.

Worked example [Beginner]

The rotation field on $S^{2}$ . Consider the unit sphere $S^{2}$ in $R^{3}$ with the standard round metric. The rotation around the $z$ -axis sends $(x, y, z)$ to $(x cos t - y sin t, x sin t + y cos t, z)$ for each angle $t$ .

The corresponding Killing field assigns to each point the velocity of this rotation. At the point $(x, y, z)$ , the velocity is $(- y, x, 0)$ .

Step 1. At the point $(1, 0, 0)$ , the Killing field has value $(0, 1, 0)$ , tangent to the sphere, pointing in the $y$ -direction.

Step 2. At the point $(0, 0, 1)$ (the north pole), the Killing field is $(0, 0, 0)$ , because the rotation fixes the pole.

Step 3. At the point $(1/ 2, 0, 1/ 2)$ , the value is $(0, 1/ 2, 0)$ , which has length $1/ 2 \approx 0.71$ , smaller than the equatorial value of $1$ .

What this tells us: the Killing field encodes the rotation symmetry, and its length at each point measures how fast that point moves.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Definition (Killing vector field). Let $(M, g)$ be a Riemannian manifold. A smooth vector field $X$ on $M$ is a Killing vector field (or infinitesimal isometry) if the Lie derivative of the metric $g$ along $X$ vanishes:

$L_{X} g = 0.$

In local coordinates $(x^{1}, \dots, x^{n})$ , the Killing equation reads:

$X^{k} \frac{\partial g _{ij}}{\partial x ^{k}} + g_{k j} \frac{\partial X ^{k}}{\partial x ^{i}} + g_{ik} \frac{\partial X ^{k}}{\partial x ^{j}} = 0.$

Equivalently, $X$ is Killing if and only if its flow $φ_{t}$ consists of isometries: $φ_{t}^{*} g = g$ for all $t$ in the domain of the flow. Using the Levi-Civita connection $\nabla$ , the Killing equation becomes the antisymmetry condition $g (\nabla_{Y} X, Z) + g (Y, \nabla_{Z} X) = 0$ for all vector fields $Y, Z$ , which states that $\nabla X$ is a skew-symmetric endomorphism of each tangent space.

Counterexamples to common slips

A divergence-free field need not be Killing. On $R^{2}$ , the field $X = (x^{2}, - 2 x y)$ has divergence $2 x - 2 x = 0$ but is not Killing: it does not generate a distance-preserving flow.
A unit-length field need not be Killing. The radial field $X = x^{i} \partial_{i}$ on $R^{n} ∖ {0}$ has constant speed along each ray but generates dilations, which scale the metric.
A geodesic field need not be Killing. The field $\partial_{r}$ on $R^{n}$ is both geodesic and Killing, but on a general warped product $d r^{2} + f (r)^{2} d θ^{2}$ , the geodesic field $\partial_{r}$ fails the Killing equation unless $f$ is constant.

Key theorem with proof [Intermediate+]

Theorem (Lie-derivative characterisation of Killing fields). Let $(M, g)$ be a Riemannian manifold. A smooth vector field $X$ is Killing if and only if $L_{X} g = 0$ . The space of Killing fields on a connected Riemannian manifold forms a Lie algebra under the Lie bracket, with dimension at most $n (n + 1) /2$ .

Proof. The equivalence occupies the first part; the algebraic structure and dimension bound occupy the second.

Equivalence. ( $\Rightarrow$ ) If $X$ is Killing, the flow $φ_{t}$ satisfies $φ_{t}^{*} g = g$ for all $t$ . Differentiating at $t = 0$ :

$\frac{d}{d t}_{t = 0} φ_{t}^{*} g = L_{X} g = 0.$

( $\Leftarrow$ ) Suppose $L_{X} g = 0$ . The identity $\frac{d}{d t} φ_{t}^{*} g = φ_{t}^{*} (L_{X} g)$ holds by naturality of the Lie derivative under diffeomorphisms. Since $L_{X} g = 0$ , the right-hand side vanishes, so $φ_{t}^{*} g$ is constant in $t$ . At $t = 0$ , $φ_{0} = Id$ gives $φ_{0}^{*} g = g$ , so $φ_{t}^{*} g = g$ for all $t$ .

Lie algebra. If $X$ and $Y$ are Killing, the Jacobi identity for Lie derivatives gives:

$L_{[X, Y]} g = [L_{X}, L_{Y}] g = L_{X} (L_{Y} g) - L_{Y} (L_{X} g) = 0.$

Dimension bound. A Killing field $X$ is determined by its value $X_{p}$ and covariant derivative $(\nabla X)_{p}$ at a single point $p \in M$ . Given two points $p, q$ joined by a geodesic $γ$ , parallel transport along $γ$ determines $X_{q}$ and $(\nabla X)_{q}$ from the data at $p$ , using the Killing equation. The data $X_{p} \in T_{p} M$ contributes $n$ dimensions. The data $(\nabla X)_{p}$ lies in $so (T_{p} M)$ by the antisymmetry condition, contributing $n (n - 1) /2$ dimensions. The total is $n + n (n - 1) /2 = n (n + 1) /2$ . $□$

Bridge. The Lie-derivative characterisation builds toward the isometry-group theory where the Killing equation appears again in 03.02.03 as the infinitesimal shadow of a smooth map preserving the metric. The foundational reason this framework works is that linearising the nonlinear isometry condition yields a linear PDE, and this is exactly the passage from global symmetry to infinitesimal symmetry. The bridge is between isometries as group elements and Killing fields as Lie-algebra elements, and the smooth structure 03.02.02 makes the Lie derivative well-defined across all charts, identifying each one-parameter subgroup of isometries with a unique Killing field.

Exercises [Intermediate+]

Exercise 7 (hard, symbolic).

Prove that a Killing field $X$ on a connected Riemannian manifold $(M, g)$ is determined by the pair $(X_{p}, (\nabla X)_{p})$ at a single point $p$ .

Hint

If $X$ and $Y$ are Killing fields with $X_{p} = Y_{p}$ and $(\nabla X)_{p} = (\nabla Y)_{p}$ , consider the Killing field $Z = X - Y$ and show that $Z$ vanishes on a neighbourhood of $p$ using the exponential map, then extend to all of $M$ by connectedness.

Answer

Let $Z = X - Y$ . Then $Z$ is Killing (the Killing fields form a vector space) with $Z_{p} = 0$ and $(\nabla Z)_{p} = 0$ . For any unit vector $v \in T_{p} M$ , the geodesic $γ_{v} (t) = exp_{p} (t v)$ satisfies $\frac{d}{d t} g (Z, \overset{γ}{˙}) = 0$ (Exercise 5), so $g (Z, \overset{γ}{˙})$ is constant. At $t = 0$ : $g (Z_{p}, v) = 0$ and $(\nabla_{v} Z)_{p} = 0$ , so $Z$ vanishes to first order at $p$ . Along $γ_{v}$ , both the tangential and normal components of $Z$ satisfy a second-order ODE (the Jacobi equation restricted by the Killing condition) with zero initial data. By uniqueness for ODEs, $Z$ vanishes along every geodesic from $p$ , hence on all of $M$ by connectedness.

Exercise 8 (hard, symbolic).

Prove that the Killing fields of the round sphere $(S^{n}, g_{round})$ form the Lie algebra $so (n + 1)$ . Conclude that the dimension of the Killing algebra is $n (n + 1) /2$ .

Hint

Embed $S^{n} \subset R^{n + 1}$ . Each skew-symmetric matrix $A \in so (n + 1)$ defines a vector field on $S^{n}$ by $X_{A} (p) = A p$ (the action of the matrix on the position vector). Show this is tangent to $S^{n}$ and Killing, and that the map $A \mapsto X_{A}$ is an injective Lie-algebra homomorphism. For surjectivity, count dimensions using the bound from the Key Theorem.

Answer

For $A \in so (n + 1)$ , define $X_{A} (p) = A p$ . Since $A^{T} = - A$ , one has $p^{T} (A p) = - (A p)^{T} p = - p^{T} A^{T} p = p^{T} A p$ , which forces $p \cdot (A p) = 0$ , so $X_{A}$ is tangent to $S^{n}$ . The one-parameter group $exp (t A)$ acts by orthogonal transformations on $R^{n + 1}$ , restricting to isometries of $S^{n}$ , so $X_{A}$ is Killing. The map $A \mapsto X_{A}$ is linear and preserves the Lie bracket because $[X_{A}, X_{B}] = X_{[A, B]}$ (the flow of $X_{A}$ is $p \mapsto exp (t A) p$ , and the Lie bracket of two such fields corresponds to the commutator of the matrices). The map is injective: if $A p = 0$ for all $p \in S^{n}$ , then $A = 0$ . For surjectivity: $dim so (n + 1) = n (n + 1) /2$ , which equals the maximum dimension of the Killing algebra, so the map is an isomorphism.

Advanced results [Master]

Theorem 1 (Killing algebra). The Killing fields of a connected Riemannian manifold $(M, g)$ form a finite-dimensional Lie algebra $kill (M, g)$ with $dim kill (M, g) \leq n (n + 1) /2$ . Equality holds if and only if $(M, g)$ has constant sectional curvature.

Theorem 2 (Killing algebra as Lie algebra of the isometry group). If $(M, g)$ is a complete connected Riemannian manifold, the Killing algebra $kill (M, g)$ is the Lie algebra of the full isometry group $Isom (M, g)$ . Each Killing field integrates to a one-parameter subgroup of isometries, and the exponential map of $Isom (M, g)$ maps $kill (M, g)$ into $Isom (M, g)_{0}$ , the identity component.

Theorem 3 (Killing fields and geodesic completeness). On a complete connected Riemannian manifold, every Killing field is complete: its flow exists for all time. This follows from Hopf-Rinow together with the fact that a Killing field has constant length along geodesics, preventing finite-time blow-up.

Theorem 4 (Vanishing theorem for negative curvature). If $(M, g)$ is a compact Riemannian manifold with strictly negative Ricci curvature, then $M$ admits no nonzero Killing fields. The proof uses the Bochner formula: for a Killing field $X$ , integration of $Δ \frac{1}{2} ∣ X ∣^{2} = ∣\nabla X ∣^{2} + Ric (X, X)$ over $M$ forces $X = 0$ when $Ric < 0$ .

Theorem 5 (Structure of maximally symmetric spaces). The simply connected $n$ -dimensional Riemannian manifolds with $n (n + 1) /2$ Killing fields are, up to scaling, exactly $R^{n}$ (flat), $S^{n}$ (positive curvature), and $H^{n}$ (negative curvature). Their isometry groups are the semidirect product $R^{n} ⋊ O (n)$ , $O (n + 1)$ , and $O^{+} (n, 1)$ respectively.

Synthesis. The Killing equation $L_{X} g = 0$ is the foundational reason that infinitesimal symmetries of a Riemannian manifold correspond to global isometries; the central insight is that a Killing field integrates to a one-parameter group of isometries, and the Lie-bracket structure identifies the Killing algebra with the Lie algebra of the full isometry group. This pattern generalises from vector fields on single manifolds to group actions on fibre bundles, where moment maps play the analogous role. Putting these together with the dimension bound, a Riemannian manifold of dimension $n$ has at most $n (n + 1) /2$ Killing fields, achieved precisely for space forms. The bridge is that the smooth structure 03.02.02 makes the Lie derivative well-defined across all charts, and this is exactly the framework that smooth maps 03.02.03 between manifolds formalise for transporting metric information.

Full proof set [Master]

Proposition 1 (Bochner vanishing). If $(M, g)$ is a compact Riemannian manifold with $Ric < 0$ , then every Killing field on $M$ vanishes identically.

Proof. Let $X$ be a Killing field. The Bochner formula for a Killing field gives:

$Δ \frac{1}{2} ∣ X ∣^{2} = ∣\nabla X ∣^{2} + Ric (X, X) .$

Integrate over $M$ :

$0 = \int_{M} Δ \frac{1}{2} ∣ X ∣^{2} d V = \int_{M} ∣\nabla X ∣^{2} d V + \int_{M} Ric (X, X) d V .$

The first term is non-negative. The second term is strictly negative unless $X = 0$ (since $Ric < 0$ ). Both terms must vanish, forcing $X = 0$ . $□$

Proposition 2 (Completeness of Killing fields). On a complete connected Riemannian manifold, every Killing field is complete.

Proof. Let $X$ be a Killing field and $γ : (a, b) \to M$ a maximal integral curve of $X$ . If $b < \infty$ , pick any $t_{0} \in (a, b)$ and set $p = γ (t_{0})$ . The length $∣ X_{γ (t)} ∣$ is constant along $γ$ (since $X$ is Killing, its length is constant along its own flow). So $∣ \overset{γ}{˙} (t) ∣ = ∣ X_{p} ∣$ for all $t$ . Since $M$ is complete, the exponential map at $γ (t_{0})$ is defined on all of $T_{γ (t_{0})} M$ . The integral curve extends by flowing from $γ (t_{0})$ for time $b - t_{0}$ , contradicting maximality. So $b = \infty$ ; similarly $a = - \infty$ . $□$

Connections [Master]

Smooth structures and atlases 03.02.02. The Killing equation $L_{X} g = 0$ requires the metric $g$ and the vector field $X$ to be smooth objects on the manifold. The smooth atlas is what makes the Lie derivative well-defined across chart transitions, and the local coordinate form of the Killing equation is computed within individual charts.
Smooth maps between manifolds 03.02.03. An isometry is a smooth map $f : M \to M$ with $f^{*} g = g$ . A Killing field is the infinitesimal version: the derivative of a one-parameter family of isometries. The passage from smooth diffeomorphisms to vector fields via the flow construction 03.02.03 is what turns the global isometry condition into the local Killing equation.
Topological manifolds 03.02.01. The underlying topological manifold determines whether Killing fields can exist at all. The topology constrains the isometry group: for instance, a compact manifold of negative Ricci curvature has no Killing fields by the Bochner vanishing theorem, and the hairy ball theorem forces every Killing field on $S^{2}$ to vanish somewhere.

Historical & philosophical context [Master]

Wilhelm Killing introduced the study of infinitesimal isometries in his 1891 paper on the Clifford-Klein space forms ^{[Killing 1891]}, in the context of classifying spaces of constant curvature. Killing's original motivation came from his work on Lie algebras: the classification of simple Lie algebras (completed by Cartan in 1894) required understanding the symmetries of homogeneous spaces, and Killing fields provided the infinitesimal language for these symmetries.

The modern formulation via the Lie derivative crystallised in the mid-20th century, primarily through Kobayashi and Nomizu's Foundations of Differential Geometry (1963--69), which established the correspondence between Killing fields and the Lie algebra of the isometry group as a cornerstone of Riemannian geometry.

Bibliography [Master]

@article{killing1891,
  author = {Killing, Wilhelm},
  title = {Ueber die {C}lifford-{K}lein'schen {R}aumformen},
  journal = {Math. Ann.},
  volume = {39},
  pages = {257--278},
  year = {1891}
}

@book{kobayashi-nomizu-vol1,
  author = {Kobayashi, Shoshichi and Nomizu, Katsumi},
  title = {Foundations of Differential Geometry},
  volume = {1},
  publisher = {Wiley Interscience},
  year = {1963}
}

@book{do-carmo-riemannian,
  author = {do Carmo, Manfredo P.},
  title = {Riemannian Geometry},
  publisher = {Birkh\"auser},
  year = {1992}
}

@book{lee-riemannian,
  author = {Lee, John M.},
  title = {Introduction to Riemannian Manifolds},
  edition = {2},
  publisher = {Springer},
  year = {2018}
}