The dominant energy condition on an initial data set requires its scalar energy density and momentum covector to satisfy
Thus the energy density is nonnegative and dominates the momentum density pointwise. The densities must be defined using one consistent
normalization of the Einstein constraint equations. When the cosmological constant
is zero and ,
this condition reduces to nonnegativescalar
curvature of the Riemannian metric. In charged
data the corresponding matter condition subtracts the electromagnetic energy and
momentum before taking the norm.
Chruściel, P. T.; Galloway, G. J.; and Pollack, D. "Mathematical General Relativity: A Sampler." Bull. Amer. Math. Soc.47,
567-638, 2010. https://doi.org/10.1090/S0273-0979-2010-01304-5.Dain,
S. and Gabach-Clement, M. E. "Geometrical Inequalities Bounding Angular
Momentum and Charges in General Relativity." Living Rev. Relativ.21,
Article 5, 2018. https://doi.org/10.1007/s41114-018-0014-7.