Fact-checked by Grok 2 weeks ago

Killing vector field

In differential geometry, a Killing vector field is a vector field on a Riemannian or pseudo-Riemannian manifold whose flow consists of isometries, preserving the metric tensor under infinitesimal transformations.^[1] Named after the German mathematician Wilhelm Killing (1847–1923), who introduced the concept in his work on non-Euclidean geometries and Lie algebras, it satisfies the Killing equation \nabla_i \xi_j + \nabla_j \xi_i = 0, where \xi is the vector field and \nabla denotes the Levi-Civita connection, equivalently expressed as the vanishing of the Lie derivative of the metric: \mathcal{L}_\xi g = 0.^[2]^[1] Killing vector fields capture the infinitesimal symmetries of the manifold's geometry, forming a Lie algebra under the Lie bracket, with the algebra's dimension at most n(n+1)/2 for an n-dimensional manifold, corresponding to the maximum number of independent isometries.^[1] Their covariant derivative \nabla \xi is skew-symmetric, implying that the divergence vanishes (\operatorname{div} \xi = 0) and, for constant-length fields, their integral curves are geodesics.^[1] In applications, such as general relativity, Killing vectors represent spacetime symmetries like time translations or rotations, enabling conserved quantities along geodesics via Noether's theorem and simplifying the search for exact solutions to the Einstein field equations, as seen in metrics like Schwarzschild or Kerr.^[3]^[4] For instance, stationary spacetimes admit a timelike Killing vector, facilitating analyses of black hole horizons and gravitational waves.^[5]

Definition

Formal Definition

A Killing vector field on a pseudo-Riemannian manifold (M, g) is a smooth vector field \xi such that the Lie derivative of the metric tensor g with respect to \xi vanishes, i.e.,

\mathcal{L}_\xi g = 0.

This condition ensures that the infinitesimal flow generated by \xi preserves the metric structure of the manifold.^[4] Equivalently, in a coordinate basis, \xi satisfies the Killing equation

\nabla_\mu \xi_\nu + \nabla_\nu \xi_\mu = 0,

where \nabla denotes the Levi-Civita connection compatible with g. This symmetric form arises directly from the vanishing Lie derivative, as the metric compatibility \nabla_\rho g_{\mu\nu} = 0 simplifies the general expression for \mathcal{L}_\xi g_{\mu\nu}.^[4] The Killing equation derives from the requirement that the one-parameter family of diffeomorphisms \phi_t generated by the flow of \xi consists of isometries, satisfying g(\phi_t^* Y, \phi_t^* Z) = g(Y, Z) for all vector fields Y, Z on M. Differentiating this preservation condition with respect to the parameter t at t=0 yields the infinitesimal criterion \mathcal{L}_\xi g = 0. In local coordinates, the explicit form of the Lie derivative is

\mathcal{L}_\xi g_{\mu\nu} = \xi^\rho \partial_\rho g_{\mu\nu} + g_{\mu\sigma} \partial_\nu \xi^\sigma + g_{\sigma\nu} \partial_\mu \xi^\sigma = 0.

Using \nabla_\rho g_{\mu\nu} = 0, this reduces to the Killing equation above.^[4] The set of all Killing vector fields on M forms a vector space, which carries a natural Lie algebra structure under the Lie bracket of vector fields; its dimension equals that of the Lie algebra of the isometry group of (M, g), providing a bound on the number of independent symmetries.^[1]

Geometric Interpretation

A Killing vector field on a pseudo-Riemannian manifold represents a continuous symmetry of the metric tensor, acting as an infinitesimal generator of isometries that preserve the geometric structure.^[6] Along its integral curves, distances remain unchanged, embodying directions in which the manifold's intrinsic geometry is invariant under infinitesimal deformations.^[3] This symmetry manifests in physical contexts, such as spacetime, where such fields correspond to conserved quantities like energy or angular momentum along geodesics.^[7] The flow generated by a Killing vector field \xi, denoted \phi_t, produces a one-parameter group of transformations that are isometries for sufficiently small t, thereby preserving lengths, angles, and volumes throughout the manifold.^[6] This flow integrates into the full isometry group of the space, with the Killing fields forming a Lie algebra under the Lie bracket, capturing the algebraic structure of these symmetries.^[8] In essence, the exponential map along \xi yields local isometries, linking the vector field directly to the manifold's symmetry group. Named after Wilhelm Killing, who introduced these fields in the late 1880s while investigating Lie groups and spaces of constant curvature, the concept arose from efforts to classify continuous transformation groups in non-Euclidean geometries.^[9] Killing's work, detailed in his 1888–1890 publications in Mathematische Annalen, emphasized their role in infinitesimal motions preserving metric properties.^[8] Unlike arbitrary vector fields, whose flows generally distort the metric and alter geometric quantities, only Killing fields maintain invariance of the metric under their action, distinguishing them as the precise carriers of geometric symmetries.^[6] This selective preservation ensures that the Lie derivative of the metric vanishes, underscoring their unique status among tangent vector fields.^[3]

Examples

On Compact Manifolds

A paradigmatic example of a Killing vector field arises on the circle S^1, equipped with the standard metric ds^2 = d\theta^2 where \theta \in [0, 2\pi). The vector field \partial_\theta generates rotations and preserves the metric, as the metric components are independent of \theta, satisfying the Killing equation \nabla_i \xi_j + \nabla_j \xi_i = 0.^[1] On the 2-sphere S^2 with the round metric ds^2 = d\vartheta^2 + \sin^2 \vartheta \, d\phi^2 where \vartheta \in [0, \pi] and \phi \in [0, 2\pi), there are three independent Killing vector fields corresponding to the Lie algebra of SO(3), reflecting the rotational symmetries of the sphere. These are explicitly given by

K_1 = \cos \phi \, \partial_\vartheta - \cot \vartheta \sin \phi \, \partial_\phi, \quad K_2 = -\sin \phi \, \partial_\vartheta - \cot \vartheta \cos \phi \, \partial_\phi, \quad K_3 = \partial_\phi.

The general solution to the Killing equation on S^2 can be expressed as \xi_\vartheta = A \sin \phi + B \cos \phi and \xi_\phi = \cos \vartheta \sin \vartheta (A \cos \phi - B \sin \phi) + C \sin^2 \vartheta, where A, B, C are constants parameterizing the three-dimensional space of Killing fields.^[10]^[11] To verify these satisfy the Killing equation, one solves the system \nabla_\mu \xi_\nu + \nabla_\nu \xi_\mu = 0 using the Christoffel symbols of the metric, such as \Gamma^\vartheta_{\phi\phi} = -\sin \vartheta \cos \vartheta and \Gamma^\phi_{\vartheta\phi} = \cot \vartheta. The resulting partial differential equations, including \partial_\vartheta \xi_\vartheta = 0 and \partial_\phi \xi_\phi + \sin \vartheta \cos \vartheta \, \xi_\vartheta = 0, admit precisely the above solutions, confirming preservation of the metric under the flows generated by these fields.^[10]^[11] In general, on a compact Riemannian manifold without boundary, every Killing vector field is complete, generating a global one-parameter group of isometries, and the full isometry group forms a compact Lie group acting on the manifold.^[12]

On Euclidean and Minkowski Spaces

In Euclidean space \mathbb{R}^n equipped with the flat metric ds^2 = \sum_{i=1}^n dx_i^2, the Killing vector fields consist of translations and rotations, forming a basis for the Lie algebra of the Euclidean group \mathrm{ISO}(n). Translations are generated by the constant vector fields \partial/\partial x^i for i = 1, \dots, n, which preserve the metric since the Christoffel symbols vanish in Cartesian coordinates.^[1] These fields correspond to infinitesimal shifts along each coordinate axis, and their flows yield global translations of the space. Rotations arise from antisymmetric tensors A_{ij} = -A_{ji}, yielding vector fields of the form \xi = \sum_{i<j} A_{ij} (x^i \partial_{x^j} - x^j \partial_{x^i}), which generate the special orthogonal group \mathrm{SO}(n).^[1] For example, in \mathbb{R}^3, the rotational Killing fields include -y \partial_x + x \partial_y (rotation around the z-axis), -z \partial_x + x \partial_z (around the y-axis), and -z \partial_y + y \partial_z (around the x-axis). The full space of Killing fields has dimension n(n+1)/2, comprising n translations and n(n-1)/2 rotations, making Euclidean space maximally symmetric among n-dimensional Riemannian manifolds. All such fields are affine, meaning their components are at most linear in the coordinates.^[1] In Minkowski space \mathbb{R}^{3,1} with the metric ds^2 = -dt^2 + dx^2 + dy^2 + dz^2, the Killing vector fields generate the Lie algebra of the Poincaré group, including translations, rotations, and Lorentz boosts, with total dimension $10 = 4(4+1)/2. Translations remain the constant fields \partial_t and \partial_{x^i} for i=1,2,3, preserving the flat metric as in the Euclidean case. Rotations match those in \mathbb{R}^3, acting on the spatial coordinates while leaving t fixed. Boosts, which mix time and space, include the field t \partial_x + x \partial_t for the boost along the x-direction, with analogous forms for y and z.^[13]^[14] Like Euclidean space, Minkowski space is maximally symmetric, and all Killing fields are affine transformations.^[13]

In Curved Spacetimes

In spaces of constant curvature, such as the hyperbolic plane \mathbb{H}^n, the maximum number of independent Killing vector fields is \frac{n(n+1)}{2}, achieved due to the maximal symmetry of these manifolds, though their realizations differ from those in flat space.^[15]^[1] The two-dimensional hyperbolic plane \mathbb{H}^2 provides a concrete example of a curved manifold with constant negative curvature, modeled by the upper half-plane \{ (x,y) \mid y > 0 \} equipped with the Riemannian metric ds^2 = \frac{dx^2 + dy^2}{y^2}. This space admits exactly three independent Killing vector fields, generating the isometry group \mathrm{PSL}(2,\mathbb{R}). These fields correspond to geometrically distinct transformations: horizontal translations (e.g., \partial_x), dilations or scalings (e.g., x \partial_x + y \partial_y), and rotations or inversions (e.g., -y \partial_x + x \partial_y). The horocyclic translations, in particular, generate parabolic isometries that preserve horocycles (curves orthogonal to geodesics approaching the boundary at infinity).^[16]^[17] In general relativity, curved spacetimes like those describing black holes exhibit Killing vector fields reflecting residual symmetries. The Schwarzschild spacetime, modeling a non-rotating black hole of mass M, has the metric ds^2 = -\left(1 - \frac{2M}{r}\right) dt^2 + \left(1 - \frac{2M}{r}\right)^{-1} dr^2 + r^2 d\Omega^2 in coordinates (t, r, \theta, \phi) for r > 2M. Outside the event horizon, the timelike Killing vector field \partial_t encodes time-translation invariance, remaining orthogonal to spatial hypersurfaces. To verify it satisfies the Killing equation \nabla_\mu \xi_\nu + \nabla_\nu \xi_\mu = 0 (where \xi = \partial_t), note that the metric components are independent of t, so the Lie derivative \mathcal{L}_\xi g_{\mu\nu} = \partial_t g_{\mu\nu} - g_{t\nu,\mu} - g_{\mu t,\nu} = 0, as the partial derivative vanishes and the Christoffel symbols do not introduce t-dependence in the relevant terms. This symmetry implies conservation of energy for geodesics. Additionally, three rotational Killing fields (e.g., \partial_\phi, \sin\phi \partial_\theta + \cot\theta \cos\phi \partial_\phi, etc.) arise from spherical symmetry.^[18]/07%3A_Symmetries/7.01%3A_Killing_Vectors) For rotating black holes, the Kerr metric extends this structure while preserving fewer symmetries. In Boyer-Lindquist coordinates, the metric describes an axially symmetric spacetime with mass M and angular momentum parameter a, featuring two independent Killing vector fields: the timelike \partial_t (asymptotically representing time translations) and the axial \partial_\phi (generating rotations about the spin axis). These fields lead to conserved quantities along geodesics: the energy E = -u_t from \partial_t (where u^\mu is the four-velocity) and the azimuthal angular momentum L_z = u_\phi from \partial_\phi, enabling separable equations of motion via the Carter constant from an associated Killing tensor. Unlike Schwarzschild, Kerr lacks full spherical symmetry, reducing the total to these two vector fields plus the tensor for additional structure.^[19]^[20]^[21]

Properties

Flow and Isometry Preservation

A Killing vector field \xi on a pseudo-Riemannian manifold (M, g) generates a one-parameter group of diffeomorphisms \phi_t, known as its flow, which satisfies \phi_t^* g = g for all t in the domain of the flow. This property ensures that each \phi_t is a local isometry of the manifold.^[22] If \xi is complete, meaning its integral curves can be extended indefinitely, the flow extends to all real t \in \mathbb{R}, yielding a global one-parameter group of isometries.^[12] The preservation of the metric by the flow is captured infinitesimally by the condition that the Lie derivative of g along \xi vanishes: \mathcal{L}_\xi g = 0. This equation links directly to the defining property of Killing vector fields and characterizes the flow's first-order expansion as metric-preserving.^[23] Consequently, the flow maintains key geometric structures, including distances and angles locally. Killing vector fields also preserve the volume form induced by the metric up to sign, ensuring that the flow is volume-preserving in the oriented case. This follows from the divergence-free condition \operatorname{div}_g \xi = 0 in the Riemannian setting, which implies that the flow does not alter volumes along integral curves.^[23] The Lie algebra of Killing vector fields, isomorphic to the Lie algebra of the isometry group, admits a Cartan decomposition \mathfrak{g} = \mathfrak{k} \oplus \mathfrak{p}, where \mathfrak{k} is the subalgebra of "orthogonal" (compact) transformations and \mathfrak{p} the "symmetric" complement, defined using an involutive automorphism compatible with the metric.^[24] On complete Riemannian manifolds, a Killing vector field with closed orbits generates a compact subgroup of the isometry group, as the closure of its one-parameter subgroup is a compact Lie group acting via periodic flows.^[25]

Geodesics and Conservation

Killing vector fields generate flows that consist of isometries, preserving the Levi-Civita connection on the manifold. As a result, these flows map geodesics to geodesics, with the affine parameter preserved up to affine reparametrization.^[1] A key consequence is the existence of conserved quantities along geodesics. Consider a geodesic curve \gamma with tangent vector u, satisfying \nabla_u u = 0. For a Killing vector field \xi, the scalar g(\xi, u) remains constant along \gamma. This follows from the directional derivative along the geodesic:

u \cdot \nabla_u (g(\xi, u)) = g(\nabla_u \xi, u) + g(\xi, \nabla_u u).

The second term vanishes since \nabla_u u = 0. For the first term, the Killing equation \mathcal{L}_\xi g = 0 implies \nabla_X \xi + \nabla_\xi X = 0 in the symmetric part, or more precisely, g(\nabla_X \xi, Y) + g(X, \nabla_Y \xi) = 0 for all vector fields X, Y. Setting X = Y = u yields $2 g(\nabla_u \xi, u) = 0, so g(\nabla_u \xi, u) = 0. Thus, the derivative is zero, confirming conservation.^[7]^[26] In general relativity, this conservation law manifests physically. In a stationary spacetime admitting a timelike Killing vector \xi, the quantity E = -g(\xi, u) represents the conserved energy per unit mass for a test particle following the geodesic, where u is the four-velocity normalized to g(u, u) = -1. Similarly, spacelike Killing vectors yield conserved angular momenta.^[7]^[27] Killing vectors also induce conserved currents from the stress-energy tensor. If the spacetime satisfies \nabla_\mu T^{\mu\nu} = 0, then the current J^\mu = T^{\mu\nu} \xi_\nu is covariantly conserved, \nabla_\mu J^\mu = 0, due to the Killing equation and the contracted Bianchi identities. Integrating this over a spacelike hypersurface yields conserved charges, such as the Komar mass associated with a timelike Killing vector, defined as

M = -\frac{1}{8\pi} \oint_S \nabla^\mu \xi^\nu \, dS_{\mu\nu},

where S is a closed two-surface. This provides a geometric measure of total energy in asymptotically flat stationary vacuum spacetimes.^[28]

Lie Algebra Structure

The space of all Killing vector fields on a Riemannian manifold (M, g) forms a Lie subalgebra of the Lie algebra of smooth vector fields on M, as it is closed under the Lie bracket. Specifically, if \xi and \eta are Killing vector fields, then their Lie bracket [\xi, \eta] = \mathcal{L}_\xi \eta satisfies the Killing equation \mathcal{L}_{[\xi, \eta]} g = 0, since the flows generated by \xi and \eta are local isometries and the composition of isometries is an isometry. This subalgebra, often denoted \mathfrak{kill}(M, g) or \mathfrak{iso}(M, g), is isomorphic to the Lie algebra of the isometry group \mathrm{Isom}(M, g). The dimension of \mathfrak{kill}(M, g) is at most \frac{n(n+1)}{2} for an n-dimensional manifold M, corresponding to the dimension of the Lie algebra \mathfrak{o}(n) of the orthogonal group, which is realized maximally on spaces of constant sectional curvature such as Euclidean space or spheres. On a complete Riemannian manifold, every Killing vector field is complete, meaning its integral curves are defined for all real parameters and generate global one-parameter subgroups of isometries.^[12] For semisimple Lie algebras of Killing fields, a Cartan involution \theta: \mathfrak{kill}(M, g) \to \mathfrak{kill}(M, g) plays a key role in the structure theory, defined by \theta(\xi) = -\xi^*, where \xi^* denotes the adjoint of \xi with respect to the invariant bilinear form induced by the metric g on the space of Killing fields. This involution satisfies \theta^2 = \mathrm{id} and is used to decompose the Lie algebra as \mathfrak{kill}(M, g) = \mathfrak{k} \oplus \mathfrak{p}, where \mathfrak{k} is the +1-eigenspace (fixed by \theta) and \mathfrak{p} is the -1-eigenspace, facilitating the study of symmetric spaces associated with the isometry group. A concrete example occurs on the 2-sphere S^2 endowed with the round metric, where the space of Killing fields is 3-dimensional and isomorphic to the Lie algebra \mathfrak{so}(3). A basis \{\xi_1, \xi_2, \xi_3\} for this algebra satisfies the commutation relations

[\xi_i, \xi_j] = \epsilon_{ijk} \xi_k,

where \epsilon_{ijk} is the Levi-Civita symbol, reflecting the rotation symmetries of the sphere. If the metric g is analytic, then every Killing vector field is analytic, as solutions to the overdetermined system of partial differential equations defining Killing fields inherit analyticity from the coefficients via elliptic regularity. Rigidity theorems further constrain the existence of non-trivial Killing fields in curved spaces; for instance, on compact manifolds with almost nonpositive Ricci curvature admitting a Killing field, the manifold must be flat or have constant curvature under additional assumptions.

Applications

In General Relativity

In general relativity, Killing vector fields play a crucial role in characterizing spacetime symmetries, particularly in stationary and axisymmetric solutions to the Einstein field equations. A spacetime is stationary if it admits a timelike Killing vector field, which allows for a coordinate system where the metric components are independent of time, simplifying the equations and enabling the study of equilibrium configurations. For axisymmetric spacetimes, an additional spacelike Killing vector field corresponding to rotations further reduces the problem, permitting the separation of variables in the Einstein equations and facilitating the construction of exact solutions like the Kerr metric.^[29] These symmetries are essential for reducing the dimensionality of the field equations from four to two, as the metric can be expressed in terms of functions depending only on two coordinates.^[30] Killing horizons represent null surfaces in spacetime where a Killing vector field becomes null and is hypersurface-orthogonal, serving as event horizons for black holes in stationary spacetimes. For instance, in the Kerr black hole, the event horizon is generated by a linear combination of the timelike and axial Killing fields.^[31] On such a horizon H, the surface gravity \kappa is defined by the relation \xi^\nu \nabla_\nu \xi^\mu = \kappa \xi^\mu, where \xi is the Killing vector tangent to the horizon generators; this scalar measures the strength of the gravitational acceleration at the horizon and is invariant under rescalings of \xi.^[31] Killing horizons provide a geometric framework for black hole thermodynamics, linking the zeroth law to the constancy of \kappa along the horizon.^[32] The Komar integral offers a conserved quantity associated with a Killing vector field, defining physical parameters like mass and angular momentum in asymptotically flat spacetimes. For a timelike Killing vector \xi, the Komar mass is given by

M = -\frac{1}{8\pi} \oint_{S_\infty} \nabla^\mu \xi^\nu \, dS_{\mu\nu},

where the integral is over a 2-sphere at spatial infinity, equivalent to -\frac{1}{8\pi} \int_S \star d\xi in differential form notation; this yields the total gravitational mass.^[33] Similarly, for a spacelike axial Killing vector \phi, the angular momentum is J = \frac{1}{16\pi} \oint_{S_\infty} \nabla^\mu \phi^\nu \, dS_{\mu\nu}.^[34] These integrals are derived from the Bianchi identities and the Killing equation, ensuring conservation without reference to matter content.^[33] Killing vector fields constrain the structure of black hole solutions through the no-hair theorem, which states that stationary, axisymmetric, uncharged black holes in vacuum are uniquely described by the Kerr metric, parameterized solely by mass and angular momentum. The presence of these symmetries implies the absence of additional "hair" or independent parameters, as deviations would violate the rigidity of the horizon or asymptotic flatness.^[35] This uniqueness arises from the alignment of Killing fields with the horizon geometry and the integrability conditions they impose on the metric. In numerical general relativity simulations post-2020, approximate or hidden Killing vector fields have been employed to exploit symmetries in binary black hole mergers, enhancing computational efficiency for waveform generation by enforcing approximate isometries during the inspiral and ringdown phases.^[36]

In Riemannian Geometry

In Riemannian geometry, Killing vector fields describe infinitesimal symmetries of manifolds equipped with positive-definite metrics, preserving distances and angles along their integral curves. These fields are particularly significant for studying rigidity and classification of manifolds, as they generate one-parameter subgroups of isometries that constrain the possible geometries. Unlike in pseudo-Riemannian settings, the elliptic nature of positive metrics often leads to finite-dimensional spaces of Killing fields, enabling tools like integration by parts and maximum principles to derive vanishing theorems and bounds. Spaces of constant curvature provide canonical examples where Killing vector fields exhaust the isometry group. On the n-dimensional sphere S^n, the isometry group O(n+1) acts transitively, and its Lie algebra \mathfrak{so}(n+1) is realized by Killing fields that include rotations preserving the round metric. Similarly, Euclidean \mathbb{R}^n admits translations and rotations as Killing fields, forming the Lie algebra \mathfrak{e}(n). For hyperbolic space \mathbb{H}^n, the isometry group SO^+(n,1) is generated by Killing fields satisfying the Killing equation \nabla_X Y + \nabla_Y X = 0 for vector fields X, Y, with the Lorentz group structure ensuring maximal symmetry. In three dimensions, these extend to Thurston's eight model geometries for irreducible 3-manifolds, such as hyperbolic 3-manifolds where discrete subgroups of PSL(2,\mathbb{C}) yield finite-volume quotients, and the transitive action of the isometry group is spanned by Killing fields that classify the geometry. The Bochner technique, leveraging Weitzenböck formulas, demonstrates the non-existence of non-trivial Killing fields under certain curvature conditions. The Weitzenböck formula for a vector field X on a Riemannian manifold (M,g) relates the rough Laplacian to the connection Laplacian plus a curvature term: \Delta X = \nabla^* \nabla X - \mathrm{Ric}(X,\cdot)^\sharp, where \mathrm{Ric} is the Ricci tensor. For Killing fields, which satisfy \nabla_X Y + \nabla_Y X = 0, integrating this over a compact manifold yields \int_M |\nabla X|^2 \, dV = -\int_M \mathrm{Ric}(X,X) \, dV. If the Ricci curvature is positive, \mathrm{Ric}(X,X) > 0 for X \neq 0, the integral identity implies that no such non-zero Killing field exists on compact manifolds. The Myers-Steenrod theorem formalizes the structure of these symmetries, proving that the isometry group \mathrm{Isom}(M,g) of a Riemannian manifold is a Lie group (possibly with multiple components), with its Lie algebra precisely the space of Killing vector fields under the Lie bracket. In applications, Killing fields preserve geometric quantities in variational problems. In minimal surface theory, the flow generated by a Killing field on the ambient manifold preserves the area functional and mean curvature operator, mapping minimal submanifolds to minimal submanifolds, which aids in rigidity results for embedded surfaces in symmetric spaces. For homogeneous Riemannian manifolds G/H, where G is a Lie group acting transitively via isometries, the associated Killing fields span the tangent spaces at every point, enabling the construction of invariant metrics and the study of invariant curvatures. Modern geometric analysis highlights Killing fields in evolution equations, such as Ricci flow, where initial symmetries generated by Killing fields persist under the flow \frac{\partial}{\partial t} g = -2 \mathrm{Ric}(g), preserving the evolution of curvature and facilitating singularity analysis in symmetric cases.

Generalizations

Conformal Killing Fields

A conformal Killing vector field on a pseudo-Riemannian manifold (M, g) of dimension n is a vector field \xi such that the Lie derivative of the metric satisfies \mathcal{L}_\xi g = \lambda g for some smooth scalar function \lambda: M \to \mathbb{R}.^[37] This condition implies that the flows generated by \xi preserve the metric up to a positive scale factor, yielding conformal diffeomorphisms of the manifold.^[38] In local coordinates, the defining equation takes the form

\nabla_\mu \xi_\nu + \nabla_\nu \xi_\mu = \frac{2}{n} g_{\mu\nu} (\nabla_\rho \xi^\rho),

where \nabla denotes the Levi-Civita connection and indices are raised/lowered with g.^[37] Here, \lambda = \frac{2}{n} \nabla_\rho \xi^\rho, and the equation consists of \frac{1}{2} n (n+1) linear partial differential equations for the n components of \xi.^[37] When \lambda = 0, the field reduces to a strict Killing vector field, preserving the metric exactly.^[37] The flows of conformal Killing fields generate one-parameter subgroups of conformal transformations, which are diffeomorphisms pulling back the metric to a scalar multiple of itself.^[38] In two dimensions, the solution space is infinite-dimensional locally, corresponding to the Cauchy-Riemann equations, allowing for a rich structure of conformal symmetries.^[37] For compact manifolds without boundary and n > 2, the space of solutions is finite-dimensional.^[37] In flat Euclidean space \mathbb{R}^n, explicit examples include the dilation vector field \xi^\alpha = x^\alpha \partial_\alpha, which scales coordinates by x^\alpha \to (1 + \epsilon) x^\alpha and the metric by (1 + \epsilon)^{-2}.^[38] Another class comprises the special conformal transformations, with \xi^\alpha = B^\beta x_\beta x^\alpha - \frac{1}{2} (x_\beta x^\beta) B^\alpha for constant B^\alpha, generating inversions composed with translations.^[38] These, together with translations and rotations, span the full conformal algebra. Conformal Killing fields extend the Killing symmetries in contexts like the AdS/CFT correspondence, where bulk isometries in anti-de Sitter space induce conformal transformations on the boundary field theory.^[39] In flat space of dimension n \geq 3, the maximum number of independent conformal Killing fields is \frac{1}{2}(n+1)(n+2), forming a Lie algebra isomorphic to \mathfrak{so}(n+1,1).^[38]

Killing Tensors and Forms

A Killing tensor is a symmetric covariant tensor field K_{\mu\nu} of rank 2 on a pseudo-Riemannian manifold that satisfies the overdetermined partial differential equation

\nabla_\lambda K_{\mu\nu} + \nabla_\mu K_{\lambda\nu} + \nabla_\nu K_{\lambda\mu} = 0,

where \nabla denotes the Levi-Civita connection; this condition generalizes the Killing vector equation by requiring the tensor to preserve the metric in a symmetrized sense along geodesic flows.^[40]^[41] This equation implies that contractions of K with the metric yield additional structure constants beyond those from Killing vectors alone. For affinely parametrized geodesics with tangent vector u^\mu, the quantity K_{\mu\nu} u^\mu u^\nu is conserved along the worldline, providing quadratic integrals of motion that reveal hidden symmetries in spacetimes lacking sufficient Killing vectors for full integrability.^[42] In the Kerr metric, the Carter tensor serves as a prototypical example, yielding the Carter constant as this conserved quantity, which enables the separation of the Hamilton-Jacobi equation into solvable ordinary differential equations despite the spacetime's four-dimensional complexity.^[43] Killing-Yano tensors extend this framework to antisymmetric forms; a rank-2 Killing-Yano tensor f_{\mu\nu} obeys

\nabla_\mu f_{\nu\rho} + \nabla_\nu f_{\mu\rho} = 0,

ensuring that its contractions generate conserved currents for geodesics and scalar fields.^[41]^[45] Such tensors produce Killing tensors through the symmetrized outer product, specifically K_{\mu\nu} = f_{\mu\lambda} f^\lambda{}_\nu, which inherits the Killing condition and yields higher-order symmetries.^[46] In black hole metrics like Kerr-NUT-(A)dS, rank-2 Killing-Yano tensors underpin the separability of the Hamilton-Jacobi and Klein-Gordon equations, facilitating exact solutions for geodesic motion and wave propagation in higher dimensions.^[47]^[48] Post-2020 research has explored their role in integrable systems, such as tensionless string dynamics on curved backgrounds, and in probing quantum chaos through spectral properties of quantized conserved operators. Supersymmetric extensions appear in supergravity solutions, where Killing-Yano forms align with Killing spinors to preserve half of the supersymmetry while generating additional conserved charges.^[41]^[49]

References

[1]
[PDF] Notes on Killing fields
A vector field ξ ∈ X(M) is a Killing field if Lξh·, ·i = 0. This means that h·, ·i is preserved by the flow of ξ, which then consists of isome- tries, where ...
[2]
[PDF] An Introduction to Differential Geometry Through Computation
named after the mathematician Wilhelm Killing (1847-1923). Page 139. 130 ... A vector field X is a Killing vector of the metric γ if and only if LXγ = 0 ...
[3]
5. More Geometry - Lecture Notes on General Relativity - S. Carroll
If a one-parameter family of isometries is generated by a vector field V $\scriptstyle \mu$ (x), then V $\scriptstyle \mu$ is known as a Killing vector field.
[4]
[PDF] 8.1 Lie derivatives and symmetries 8.2 Killing vectors and ... - MIT
We will use Killing vectors as tools for characterizing symmetries of spacetime; from your experience with Lagrangian mechanics, it should not surprise you ...
[5]
[PDF] General Relativity Fall 2018 Lecture 19: Symmetries, spherically ...
Killing vector fields of flat spacetime are therefore entirely determined by 10 constants: the 4 constants bµ, and the 6 components of the antisymmetric tensor ...
[6]
[PDF] Maps of Manifolds, Lie Derivatives, and Killing Fields - UC Davis Math
Finally, a vector field which generates a one-parameter group of isometries is called a Killing vector field. Using the general formulas for Lie derivatives, an.
[7]
[PDF] A Centennial: Wilhelm Killing and the Exceptional Groups
While Lie was motivated by applications to differential equations, Killing was led to his problem from his work in geometry. Let ~ be a simple Lie algebra over ...
[8]
Wilhelm Killing (1847 - 1923) - Biography - MacTutor
Wilhelm Killing was a German mathematician who introduced Lie algebras independently of Lie in his study of non-euclidean geometry. His classification of the ...
[9]
None
### Summary of Killing Vectors on the 2-Sphere
[10]
[PDF] Symmetric spaces and Cosmology. 7.1 “Find all Killing vectors on ...
Dec 4, 2008 · Let's solve the Killing equation for the two-sphere. In our case ξµ = ξµ(θ, ϕ). µ = ν = θ: Dθ ξθ + Dθξθ = 2 ∂θξθ ...
[11]
[PDF] Riemannian manifolds with many Killing vector fields
A vector field X on M is called a Killing vector field if the local 1-parameter group of diffeomorphisms generated by X consists of isometries of M.
[12]
Killing Vectors -- from Wolfram MathWorld
where all distance relationships are unchanged (i.e., there is an isometry), then the vector field is called a Killing vector. g_(ab)=(partialx^'^c)/(partialx^.<|control11|><|separator|>
[13]
[PDF] Lecture XVI: Symmetrical spacetimes - Caltech (Tapir)
Jan 4, 2012 · It is easy to see that the Killing fields form a vector space – if ξ and η are Killing fields, then aξ + bη is also a Killing field. This is ...
[14]
[0808.3740] The Lie Algebra of Local Killing Fields - arXiv
Aug 27, 2008 · In particular, we determine the number of independent local Killing fields about a given point on the manifold. Spaces of constant curvature ...
[15]
[PDF] Notes on fSL(2,R) representations arXiv:1711.08169v2 [hep-th] 21 ...
Aug 21, 2018 · These notes describe representations of the universal cover of SL(2,R) with a view toward applications in physics. Spinors on the hyperbolic ...
[16]
[PDF] chapter 2: hyperbolic geometry - UChicago Math
Jan 21, 2025 · In 3 dimensions, the boundary of the upper half- space is identified with C, and the complex projective action of PSL(2,C) on this boundary.
[17]
[PDF] General Relativity Fall 2019 Lecture 19: Symmetries, spherically ...
Nov 5, 2019 · Killing vector field should be timelike in the asymptotically flat region of spacetime. ... The Schwarzschild metric has four Killing ...
[18]
[PDF] General Relativity Fall 2019 Lecture 24: Kerr black holes
Nov 25, 2019 · This metric has two Killing vector fields, ∂t and ∂ϕ (but it does not have two more spacelike Killing fields: it is only axially symmetric ...
[19]
[PDF] arXiv:1603.02687v1 [gr-qc] 8 Mar 2016
Mar 8, 2016 · We write the spacetime metric in coordinates adapted to these symmetries (t, r, θ, φ), so that the two Killing vector fields read k = ∂t, m = ∂φ ...
[20]
[PDF] arXiv:2307.01338v1 [hep-th] 3 Jul 2023
Jul 3, 2023 · The energy and angular momentum are famously not the only conserved quantities for a point particle moving in a Kerr background. There is ...
[21]
[PDF] Chapter 16 Isometries, Local Isometries, Riemannian Coverings and ...
Definition 16.3. Given a Riemannian manifold (M,g), a vector field X is a Killing vector field iff the Lie deriva- tive of ...
[22]
[PDF] arXiv:2305.03135v1 [math.DG] 4 May 2023
May 4, 2023 · A Killing field V is a vector field that generates an isometry, i.e., the Lie derivative of the metric g vanishes LV g = 0 .
[23]
[PDF] arXiv:math/0701731v1 [math.DG] 25 Jan 2007
Jan 25, 2007 · Killing vector fields. Considering the Cartan decomposition g = k ⊕ m and using the identification of g with the Killing vector fields, we have.
[24]
compact orbits of smooth killing vector fields on riemannian manifolds
May 2, 1995 · also shows that a compact orbit can have noncompact zero-time orbits. Example. Let M = S. 1 × S1 × S1 with coordinates θ1,θ2 and θ3.
[25]
https://projecteuclid.org/journals/rocky-mountain-journal-of-mathematics/volume-30/issue-1/Compact-Orbits-of-Smooth-Killing-Vector-Fields-on-Riemannian-Manifolds/10.1216/rmjm/1022008993.pdf
[26]
[PDF] arXiv:1904.12913v1 [gr-qc] 29 Apr 2019
Apr 29, 2019 · In the framework of GR, sym- metries are associated with Killing vectors, which give rise to conserved quantities. The method to use these.
[27]
[PDF] Conserved charges in general relativity - arXiv
Jan 14, 2021 · Λ, the Komar energy (46) with the Killing vector diverges for Λ 6= 0. ... stress-energy tensor'. We summarize the above comparisons in Table 1 ...
[28]
[PDF] arXiv:0805.1451v1 [gr-qc] 10 May 2008
May 10, 2008 · When Einstein's field equations are reduced with respect to a timelike Killing field, they lead directly to an elliptic system for the ...
[29]
The Kerr metric and stationary axisymmetric gravitational fields
A treatment of Einstein's equations governing vacuum gravitational fields which are stationary and axisymmetric is shown to divide itself into three parts: ...
[30]
Properties of general stationary axisymmetric spacetimes: circularity ...
May 13, 2025 · This paper analyzes properties of stationary axisymmetric spacetimes, focusing on circularity, and provides examples of non-circular ...
[31]
An introduction to the mechanics of black holes
**Summary of Killing Horizons, Surface Gravity, and Their Role in General Relativity (GR) from arXiv:gr-qc/0611129**
[32]
[PDF] Geometry of Killing horizons 2 - Observatoire de Paris
Mar 18, 2024 · A Killing horizon is a connected null hypersurface H whose null geodesic generators are orbits of a 1-parameter group of isometries of (M,g). =⇒ ...
[33]
Covariant Conservation Laws in General Relativity | Phys. Rev.
A set of covariant conservation laws is constructed in the general theory of relativity. Their relationship to the generators of infinitesimal coordinate ...Missing: theorems | Show results with:theorems
[34]
[PDF] arXiv:1001.5429v2 [gr-qc] 30 Apr 2010
Apr 30, 2010 · 2.1 Komar mass. Stationary spacetimes admit a time-like Killing vector field kµ. The associated conserved Komar quantity is known as the Komar ...
[35]
[2401.13288] Black hole no-hair theorem for self-gravitating time ...
Jan 24, 2024 · We prove under certain weak assumptions a black hole no-hair theorem in spherically symmetric spacetimes for self-gravitating time-dependent multiple scalar ...
[36]
Hidden Killing Fields, Geometric Symmetries and Black Hole Mergers
May 3, 2021 · Abstract page for arXiv paper 2105.00736: Hidden Killing Fields, Geometric Symmetries and Black Hole Mergers.
[37]
[PDF] On the numerical computation of Killing and conformally ... - arXiv
Feb 21, 2020 · The defining equations for Killing vector fields and conformal Killing vector fields are overde- termined systems of PDE.
[38]
[PDF] On Spaces with the Maximal Number of Conformal Killing Vectors
Nov 3, 2017 · In this section we will explicitly integrate the CKV equation in a flat space of arbitrary dimension and arbitrary signature. In a space of zero ...
[39]
[PDF] Lectures on AdS/CFT from the Bottom Up - Johns Hopkins University
Abstract. AdS/CFT from the perspective of Effective Field Theory and the Conformal Bootstrap. ... ie the symmetries are conformal killing vectors. 56. Page ...
[40]
[PDF] killing and conformal killing tensors
A symmetric tensor K ∈ Γ(Symp TM) is called special conformal Killing tensor if the equation ∇XK = X · k holds for all vector fields X and some symmetric tensor.
[41]
[PDF] Uses of Killing and Killing-Yano Tensors - arXiv
Feb 21, 2022 · Killing-Yano forms (KYFs) are generalisations of KTs to antisymmetric covariant tensors. An 𝑛th rank KYF is an 𝑛-form 𝑘 that satisfies. ∇(𝜇1 𝑘𝜇2) ...
[42]
[PDF] Kerr Geometry: Lecture Notes - Troy University Spectrum
Jul 9, 2025 · Vector fields that obey the equation above are called Killing vector fields. ∂t and ∂φ are Killing vector fields in Kerr geometry. Theorem ...
[43]
[PDF] The Carter tensor is a Killing tensor of the Kerr-Newman space
In addition to the two Killing vectorfields, the Kerr-Newman metric admits a Killing tensor, called the Carter tensor [16], which represents a hidden sym- metry ...
[44]
[PDF] Killing-Yano tensors - Niels Bohr Institutet
Aug 13, 2014 · Our first example of this is conservation of quantities along geodesics. We may prove the following result: Theorem 9 (Conservation and ...<|separator|>
[45]
[PDF] Killing-Yano tensors and some applications - arXiv
Aug 3, 2011 · Abstract. The role of Killing and Killing-Yano tensors for studying the geodesic motion of the particle and the superparticle in a curved ...Missing: _μ f_νρ + f_μρ =
[46]
Black holes, hidden symmetries, and complete integrability
Nov 22, 2017 · We start with discussion of the Killing and Killing–Yano objects representing explicit and hidden symmetries. We demonstrate that the principal ...
[47]
[PDF] Killing(–Yano) Tensors in String Theory - arXiv
Dec 16, 2015 · Abstract. We construct the Killing(–Yano) tensors for a large class of charged black holes in higher dimensions and study general properties ...
[48]
Killing-Yano tensors, rank-2 Killing tensors, and conserved ...
The constants of motion are also related to the constants recently obtained in the separation of the Hamilton-Jacobi and Klein-Gordon equations (hep-th/0611245) ...