In mathematics, a Killing tensor or Killing tensor field is a generalization of a Killing vector, for symmetric tensor fields instead of just vector fields. It is a concept in Riemannian and pseudo-Riemannian geometry, and is mainly used in the theory of general relativity. Killing tensors satisfy an equation similar to Killing's equation for Killing vectors. Like Killing vectors, every Killing tensor corresponds to a quantity which is conserved along geodesics. However, unlike Killing vectors, which are associated with symmetries (isometries) of a manifold, Killing tensors generally lack such a direct geometric interpretation. Killing tensors are named after Wilhelm Killing.

Definition and properties

edit

In the following definition, parentheses around tensor indices are notation for symmetrization. For example:

 

Definition

edit

A Killing tensor is a tensor field   (of some order m) on a (pseudo)-Riemannian manifold which is symmetric (that is,  ) and satisfies:[1][2]

 

This equation is a generalization of Killing's equation for Killing vectors:

 

Properties

edit

Killing vectors are a special case of Killing tensors. Another simple example of a Killing tensor is the metric tensor itself. A linear combination of Killing tensors is a Killing tensor. A symmetric product of Killing tensors is also a Killing tensor; that is, if   and   are Killing tensors, then   is a Killing tensor too.[1]

Every Killing tensor corresponds to a constant of motion on geodesics. More specifically, for every geodesic with tangent vector  , the quantity   is constant along the geodesic.[1][2]

Examples

edit

Since Killing tensors are a generalization of Killing vectors, the examples at Killing vector field § Examples are also examples of Killing tensors. The following examples focus on Killing tensors not simply obtained from Killing vectors.

FLRW metric

edit

The Friedmann–Lemaître–Robertson–Walker metric, widely used in cosmology, has spacelike Killing vectors corresponding to its spatial symmetries, in particular rotations around arbitrary axes and in the flat case for   translations along  ,  , and  . It also has a Killing tensor

 

where a is the scale factor,   is the t-coordinate basis vector, and the −+++ signature convention is used.[3]

Kerr metric

edit

The Kerr metric, describing a rotating black hole, has two independent Killing vectors. One Killing vector corresponds to the time translation symmetry of the metric, and another corresponds to the axial symmetry about the axis of rotation. In addition, as shown by Walker and Penrose (1970), there is a nontrivial Killing tensor of order 2.[4][5][6] The constant of motion corresponding to this Killing tensor is called the Carter constant.

Killing–Yano tensor

edit

An antisymmetric tensor of order p,  , is a Killing–Yano tensor fr:Tenseur de Killing-Yano if it satisfies the equation

 .

While also a generalization of the Killing vector, it differs from the usual Killing tensor in that the covariant derivative is only contracted with one tensor index.

Conformal Killing tensor

edit

Conformal Killing tensors are a generalization of Killing tensors and conformal Killing vectors. A conformal Killing tensor is a tensor field   (of some order m) which is symmetric and satisfies[4]

 

for some symmetric tensor field  . This generalizes the equation for conformal Killing vectors, which states that

 

for some scalar field  .

Every conformal Killing tensor corresponds to a constant of motion along null geodesics. More specifically, for every null geodesic with tangent vector  , the quantity   is constant along the geodesic.[4]

The property of being a conformal Killing tensor is preserved under conformal transformations in the following sense. If   is a conformal Killing tensor with respect to a metric  , then   is a conformal Killing tensor with respect to the conformally equivalent metric  , for all positive-valued  .[7]

See also

edit

References

edit
  1. ^ a b c Carroll 2003, pp. 136–137
  2. ^ a b Wald 1984, p. 444
  3. ^ Carroll 2003, p. 344
  4. ^ a b c Walker, Martin; Penrose, Roger (1970), "On Quadratic First Integrals of the Geodesic Equations for Type {22} Spacetimes" (PDF), Communications in Mathematical Physics, 18 (4): 265–274, doi:10.1007/BF01649445, S2CID 123355453
  5. ^ Carroll 2003, pp. 262–263
  6. ^ Wald 1984, p. 321
  7. ^ Dairbekov, N. S.; Sharafutdinov, V. A. (2011), "On conformal Killing symmetric tensor fields on Riemannian manifolds", Siberian Advances in Mathematics, 21: 1–41, arXiv:1103.3637, doi:10.3103/S1055134411010019