A rank-n tensor on a Lorentzian manifold whose contraction with n arbitrary causal future-directed vectors is non-negative is said to have the dominant property. These tensors, up to sign, are called causal tensors, and we determine their general mathematical properties in arbitrary dimension N. Then, we prove that rank-2 tensors which map the null cone on itself are causal tensors. Previously it has been shown that, to any tensor field A on a Lorentzian manifold there is a corresponding ‘superenergy’ tensor field T{A} (defined as a quadratic sum over all Hodge duals of A) which always has the dominant property. Here we prove that, conversely, any symmetric rank-2 tensor with the dominant property can be written in a canonical way as a sum of N superenergy tensors of simple forms. We show that the square of any rank-2 superenergy tensor is proportional to the metric in dimension N ≤ 4, and that the square of the superenergy tensor of any simple form is proportional to the metric in arbitrary dimension. Conversely, we prove in arbitrary dimension that any symmetric rank-2 tensor T whose square is proportional to the metric must be a causal tensor and, up to sign, the superenergy of a simple p-form, and that the trace of T determines the rank p of the form. This generalizes, with respect to both the dimension N and the rank p, the classical algebraic Rainich conditions, which are necessary and sufficient conditions for a metric to originate algebraically in some physical field. Furthermore, it has the important geometric interpretation that the set of superenergy tensors of simple forms is precisely the set of tensors which leave the null cone invariant and preserve its time orientation. It also means that all involutory Lorentz transformations can be represented as superenergy tensors of simple forms, and that any rank-2 superenergy tensor is the sum of at most N conformally involutory Lorentz transformations. Non-symmetric null cone preserving maps are shown to have a symmetric part with the dominant property and are classified according to the null eigenvectors of the skew-symmetric part. We therefore obtain a complete classification of all conformal Lorentz transformations and singular null cone preserving maps on any Lorentzian manifold of any dimension.
Read full abstract