Positive energy theorem

Last updated November 10, 2023

The positive energy theorem (also known as the positive mass theorem) refers to a collection of foundational results in general relativity and differential geometry. Its standard form, broadly speaking, asserts that the gravitational energy of an isolated system is nonnegative, and can only be zero when the system has no gravitating objects. Although these statements are often thought of as being primarily physical in nature, they can be formalized as mathematical theorems which can be proven using techniques of differential geometry, partial differential equations, and geometric measure theory.

Richard Schoen and Shing-Tung Yau, in 1979 and 1981, were the first to give proofs of the positive mass theorem. Edward Witten, in 1982, gave the outlines of an alternative proof, which were later filled in rigorously by mathematicians. Witten and Yau were awarded the Fields medal in mathematics in part for their work on this topic.

An imprecise formulation of the Schoen-Yau / Witten positive energy theorem states the following:

Given an asymptotically flat initial data set, one can define the energy-momentum of each infinite region as an element of Minkowski space. Provided that the initial data set is geodesically complete and satisfies the dominant energy condition, each such element must be in the causal future of the origin. If any infinite region has null energy-momentum, then the initial data set is trivial in the sense that it can be geometrically embedded in Minkowski space.

The meaning of these terms is discussed below. There are alternative and non-equivalent formulations for different notions of energy-momentum and for different classes of initial data sets. Not all of these formulations have been rigorously proven, and it is currently an open problem whether the above formulation holds for initial data sets of arbitrary dimension.

Historical overview

The original proof of the theorem for ADM mass was provided by Richard Schoen and Shing-Tung Yau in 1979 using variational methods and minimal surfaces. Edward Witten gave another proof in 1981 based on the use of spinors, inspired by positive energy theorems in the context of supergravity. An extension of the theorem for the Bondi mass was given by Ludvigsen and James Vickers, Gary Horowitz and Malcolm Perry, and Schoen and Yau.

Gary Gibbons, Stephen Hawking, Horowitz and Perry proved extensions of the theorem to asymptotically anti-de Sitter spacetimes and to Einstein–Maxwell theory. The mass of an asymptotically anti-de Sitter spacetime is non-negative and only equal to zero for anti-de Sitter spacetime. In Einstein–Maxwell theory, for a spacetime with electric charge $Q$ and magnetic charge $P$ , the mass of the spacetime satisfies (in Gaussian units)

M\geq {\sqrt {Q^{2}+P^{2}}},

with equality for the Majumdar–Papapetrou extremal black hole solutions.

Initial data sets

An initial data set consists of a Riemannian manifold $(M, g)$ and a symmetric 2-tensor field $k$ on $M$ . One says that an initial data set $(M, g, k)$ :

is time-symmetric if $k$ is zero
is maximal if $tr g k = 0$ ^[1]
satisfies the dominant energy condition if

R^{g}-|k|_{g}^{2}+(\operatorname {tr} _{g}k)^{2}\geq 2{\big |}\operatorname {div} ^{g}k-d(\operatorname {tr} _{g}k){\big |}_{g},

where

R g

denotes the scalar curvature of

g

.^[2]

Note that a time-symmetric initial data set $(M, g, 0)$ satisfies the dominant energy condition if and only if the scalar curvature of $g$ is nonnegative. One says that a Lorentzian manifold $(M, g)$ is a development of an initial data set $(M, g, k)$ if there is a (necessarily spacelike) hypersurface embedding of $M$ into $M$ , together with a continuous unit normal vector field, such that the induced metric is $g$ and the second fundamental form with respect to the given unit normal is $k$ .

This definition is motivated from Lorentzian geometry. Given a Lorentzian manifold $(M, g)$ of dimension $n + 1$ and a spacelike immersion $f$ from a connected $n$ -dimensional manifold $M$ into $M$ which has a trivial normal bundle, one may consider the induced Riemannian metric $g = f * g$ as well as the second fundamental form $k$ of $f$ with respect to either of the two choices of continuous unit normal vector field along $f$ . The triple $(M, g, k)$ is an initial data set. According to the Gauss-Codazzi equations, one has

{\begin{aligned}{\overline {G}}(\nu ,\nu )&={\frac {1}{2}}{\Big (}R^{g}-|k|_{g}^{2}+(\operatorname {tr} ^{g}k)^{2}{\Big )}\\{\overline {G}}(\nu ,\cdot )&=d(\operatorname {tr} ^{g}k)-\operatorname {div} ^{g}k.\end{aligned}}

where $G$ denotes the Einstein tensor $Ricg - .mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}1/2Rgg$ of g and $ν$ denotes the continuous unit normal vector field along $f$ used to define $k$ . So the dominant energy condition as given above is, in this Lorentzian context, identical to the assertion that $G (ν, \cdot)$ , when viewed as a vector field along $f$ , is timelike or null and is oriented in the same direction as $ν$ .^[3]

The ends of asymptotically flat initial data sets

In the literature there are several different notions of "asymptotically flat" which are not mutually equivalent. Usually it is defined in terms of weighted Hölder spaces or weighted Sobolev spaces.

However, there are some features which are common to virtually all approaches. One considers an initial data set $(M, g, k)$ which may or may not have a boundary; let $n$ denote its dimension. One requires that there is a compact subset $K$ of $M$ such that each connected component of the complement $M - K$ is diffeomorphic to the complement of a closed ball in Euclidean space $ℝ n$ . Such connected components are called the ends of $M$ .

Formal statements

Schoen and Yau (1979)

Let $(M, g, 0)$ be a time-symmetric initial data set satisfying the dominant energy condition. Suppose that $(M, g)$ is an oriented three-dimensional smooth Riemannian manifold-with-boundary, and that each boundary component has positive mean curvature. Suppose that it has one end, and it is asymptotically Schwarzschild in the following sense:

Suppose that $K$ is an open precompact subset of $M$ such that there is a diffeomorphism $Φ : ℝ 3 - B 1 (0) \to M - K$ , and suppose that there is a number $m$ such that the symmetric 2-tensor
$h_{ij}=(\Phi ^{\ast }g)_{ij}-\delta _{ij}-{\frac {m}{2|x|}}\delta _{ij}$
on $ℝ 3 - B 1 (0)$ is such that for any $i, j, p, q$ , the functions $|x|^{2}h_{ij}(x),$ $|x|^{3}\partial _{p}h_{ij}(x),$ and $|x|^{4}\partial _{p}\partial _{q}h_{ij}(x)$ are all bounded.

Schoen and Yau's theorem asserts that $m$ must be nonnegative. If, in addition, the functions $|x|^{5}\partial _{p}\partial _{q}\partial _{r}h_{ij}(x),$ $|x|^{5}\partial _{p}\partial _{q}\partial _{r}\partial _{s}h_{ij}(x),$ and $|x|^{5}\partial _{p}\partial _{q}\partial _{r}\partial _{s}\partial _{t}h_{ij}(x)$ are bounded for any $i,j,p,q,r,s,t,$ then $m$ must be positive unless the boundary of $M$ is empty and $(M, g)$ is isometric to $ℝ 3$ with its standard Riemannian metric.

Note that the conditions on $h$ are asserting that $h$ , together with some of its derivatives, are small when $x$ is large. Since $h$ is measuring the defect between $g$ in the coordinates $Φ$ and the standard representation of the $t = constant$ slice of the Schwarzschild metric, these conditions are a quantification of the term "asymptotically Schwarzschild". This can be interpreted in a purely mathematical sense as a strong form of "asymptotically flat", where the coefficient of the $| x | -1$ part of the expansion of the metric is declared to be a constant multiple of the Euclidean metric, as opposed to a general symmetric 2-tensor.

Note also that Schoen and Yau's theorem, as stated above, is actually (despite appearances) a strong form of the "multiple ends" case. If $(M, g)$ is a complete Riemannian manifold with multiple ends, then the above result applies to any single end, provided that there is a positive mean curvature sphere in every other end. This is guaranteed, for instance, if each end is asymptotically flat in the above sense; one can choose a large coordinate sphere as a boundary, and remove the corresponding remainder of each end until one has a Riemannian manifold-with-boundary with a single end.

Schoen and Yau (1981)

Let $(M, g, k)$ be an initial data set satisfying the dominant energy condition. Suppose that $(M, g)$ is an oriented three-dimensional smooth complete Riemannian manifold (without boundary); suppose that it has finitely many ends, each of which is asymptotically flat in the following sense.

Suppose that $K\subset M$ is an open precompact subset such that $M\smallsetminus K$ has finitely many connected components $M_{1},\ldots ,M_{n},$ and for each $i=1,\ldots ,n$ there is a diffeomorphism $\Phi _{i}:\mathbb {R} ^{3}\smallsetminus B_{1}(0)\to M_{i}$ such that the symmetric 2-tensor $h_{ij}=(\Phi ^{\ast }g)_{ij}-\delta _{ij}$ satisfies the following conditions:

$|x|h_{ij}(x),$ $|x|^{2}\partial _{p}h_{ij}(x),$ and $|x|^{3}\partial _{p}\partial _{q}h_{ij}(x)$ are bounded for all $i,j,p,q.$

Also suppose that

$|x|^{4}R^{\Phi _{i}^{\ast }g}$ and $|x|^{5}\partial _{p}R^{\Phi _{i}^{\ast }g}$ are bounded for any $p$
$|x|^{2}(\Phi _{i}^{\ast }k)_{ij}(x),$ $|x|^{3}\partial _{p}(\Phi _{i}^{\ast }k)_{ij}(x),$ and $|x|^{4}\partial _{p}\partial _{q}(\Phi _{i}^{\ast }k)_{ij}(x)$ for any $p,q,i,j$
$|x|^{3}((\Phi _{i}^{\ast }k)_{11}(x)+(\Phi ^{\ast }k)_{22}(x)+(\Phi _{i}^{\ast }k)_{33}(x))$ is bounded.

The conclusion is that the ADM energy of each $M_{1},\ldots ,M_{n},$ defined as

{\text{E}}(M_{i})={\frac {1}{16\pi }}\lim _{r\to \infty }\int _{|x|=r}\sum _{p=1}^{3}\sum _{q=1}^{3}{\big (}\partial _{q}(\Phi _{i}^{\ast }g)_{pq}-\partial _{p}(\Phi _{i}^{\ast }g)_{qq}{\big )}{\frac {x^{p}}{|x|}}\,d{\mathcal {H}}^{2}(x),

is nonnegative. Furthermore, supposing in addition that

$|x|^{4}\partial _{p}\partial _{q}\partial _{r}h_{ij}(x)$ and $|x|^{4}\partial _{p}\partial _{r}\partial _{s}\partial _{t}h_{ij}(x)$ are bounded for any $i,j,p,q,r,s,$

the assumption that ${\text{E}}(M_{i})=0$ for some $i\in \{1,\ldots ,n\}$ implies that $n = 1$ , that $M$ is diffeomorphic to $ℝ 3$ , and that Minkowski space $ℝ 3,1$ is a development of the initial data set $(M, g, k)$ .

Witten (1981)

Let $(M,g)$ be an oriented three-dimensional smooth complete Riemannian manifold (without boundary). Let $k$ be a smooth symmetric 2-tensor on $M$ such that

R^{g}-|k|_{g}^{2}+(\operatorname {tr} _{g}k)^{2}\geq 2{\big |}\operatorname {div} ^{g}k-d(\operatorname {tr} _{g}k){\big |}_{g}.

Suppose that $K\subset M$ is an open precompact subset such that $M\smallsetminus K$ has finitely many connected components $M_{1},\ldots ,M_{n},$ and for each $\alpha =1,\ldots ,n$ there is a diffeomorphism $\Phi _{\alpha }:\mathbb {R} ^{3}\smallsetminus B_{1}(0)\to M_{i}$ such that the symmetric 2-tensor $h_{ij}=(\Phi _{\alpha }^{\ast }g)_{ij}-\delta _{ij}$ satisfies the following conditions:

$|x|h_{ij}(x),$ $|x|^{2}\partial _{p}h_{ij}(x),$ and $|x|^{3}\partial _{p}\partial _{q}h_{ij}(x)$ are bounded for all $i,j,p,q.$
$|x|^{2}(\Phi _{\alpha }^{\ast }k)_{ij}(x)$ and $|x|^{3}\partial _{p}(\Phi _{\alpha }^{\ast }k)_{ij}(x),$ are bounded for all $i,j,p.$

For each $\alpha =1,\ldots ,n,$ define the ADM energy and linear momentum by

{\text{E}}(M_{\alpha })={\frac {1}{16\pi }}\lim _{r\to \infty }\int _{|x|=r}\sum _{p=1}^{3}\sum _{q=1}^{3}{\big (}\partial _{q}(\Phi _{\alpha }^{\ast }g)_{pq}-\partial _{p}(\Phi _{\alpha }^{\ast }g)_{qq}{\big )}{\frac {x^{p}}{|x|}}\,d{\mathcal {H}}^{2}(x),

{\text{P}}(M_{\alpha })_{p}={\frac {1}{8\pi }}\lim _{r\to \infty }\int _{|x|=r}\sum _{q=1}^{3}{\big (}(\Phi _{\alpha }^{\ast }k)_{pq}-{\big (}(\Phi _{\alpha }^{\ast }k)_{11}+(\Phi _{\alpha }^{\ast }k)_{22}+(\Phi _{\alpha }^{\ast }k)_{33}{\big )}\delta _{pq}{\big )}{\frac {x^{q}}{|x|}}\,d{\mathcal {H}}^{2}(x).

For each $\alpha =1,\ldots ,n,$ consider this as a vector $({\text{P}}(M_{\alpha })_{1},{\text{P}}(M_{\alpha })_{2},{\text{P}}(M_{\alpha })_{3},{\text{E}}(M_{\alpha }))$ in Minkowski space. Witten's conclusion is that for each $\alpha$ it is necessarily a future-pointing non-spacelike vector. If this vector is zero for any $\alpha ,$ then $n=1,$ $M$ is diffeomorphic to $\mathbb {R} ^{3},$ and the maximal globally hyperbolic development of the initial data set $(M,g,k)$ has zero curvature.

Extensions and remarks

According to the above statements, Witten's conclusion is stronger than Schoen and Yau's. However, a third paper by Schoen and Yau^[4] shows that their 1981 result implies Witten's, retaining only the extra assumption that $|x|^{4}R^{\Phi _{i}^{\ast }g}$ and $|x|^{5}\partial _{p}R^{\Phi _{i}^{\ast }g}$ are bounded for any $p.$ It also must be noted that Schoen and Yau's 1981 result relies on their 1979 result, which is proved by contradiction; therefore their extension of their 1981 result is also by contradiction. By contrast, Witten's proof is logically direct, exhibiting the ADM energy directly as a nonnegative quantity. Furthermore, Witten's proof in the case $\operatorname {tr} _{g}k=0$ can be extended without much effort to higher-dimensional manifolds, under the topological condition that the manifold admits a spin structure.^[5] Schoen and Yau's 1979 result and proof can be extended to the case of any dimension less than eight.^[6] More recently, Witten's result, using Schoen and Yau (1981)'s methods, has been extended to the same context.^[7] In summary: following Schoen and Yau's methods, the positive energy theorem has been proven in dimension less than eight, while following Witten, it has been proven in any dimension but with a restriction to the setting of spin manifolds.

As of April 2017, Schoen and Yau have released a preprint which proves the general higher-dimensional case in the special case $\operatorname {tr} _{g}k=0,$ without any restriction on dimension or topology. However, it has not yet (as of May 2020) appeared in an academic journal.

Applications

In 1984 Schoen used the positive mass theorem in his work which completed the solution of the Yamabe problem.
The positive mass theorem was used in Hubert Bray's proof of the Riemannian Penrose inequality.

Related Research Articles

Distributions, also known as Schwartz distributions or generalized functions, are objects that generalize the classical notion of functions in mathematical analysis. Distributions make it possible to differentiate functions whose derivatives do not exist in the classical sense. In particular, any locally integrable function has a distributional derivative.

In mathematics and classical mechanics, the Poisson bracket is an important binary operation in Hamiltonian mechanics, playing a central role in Hamilton's equations of motion, which govern the time evolution of a Hamiltonian dynamical system. The Poisson bracket also distinguishes a certain class of coordinate transformations, called canonical transformations, which map canonical coordinate systems into canonical coordinate systems. A "canonical coordinate system" consists of canonical position and momentum variables that satisfy canonical Poisson bracket relations. The set of possible canonical transformations is always very rich. For instance, it is often possible to choose the Hamiltonian itself $as one of the new canonical momentum coordinates.$

In mathematics, the covariant derivative is a way of specifying a derivative along tangent vectors of a manifold. Alternatively, the covariant derivative is a way of introducing and working with a connection on a manifold by means of a differential operator, to be contrasted with the approach given by a principal connection on the frame bundle – see affine connection. In the special case of a manifold isometrically embedded into a higher-dimensional Euclidean space, the covariant derivative can be viewed as the orthogonal projection of the Euclidean directional derivative onto the manifold's tangent space. In this case the Euclidean derivative is broken into two parts, the extrinsic normal component and the intrinsic covariant derivative component.

In differential geometry, a field in mathematics, a Poisson manifold is a smooth manifold endowed with a Poisson structure. The notion of Poisson manifold generalises that of symplectic manifold, which in turn generalises the phase space from Hamiltonian mechanics.

In mathematics, specifically the algebraic theory of fields, a normal basis is a special kind of basis for Galois extensions of finite degree, characterised as forming a single orbit for the Galois group. The normal basis theorem states that any finite Galois extension of fields has a normal basis. In algebraic number theory, the study of the more refined question of the existence of a normal integral basis is part of Galois module theory.

<span class="mw-page-title-main">Semisimple Lie algebra</span> Direct sum of simple Lie algebras

In mathematics, a Lie algebra is semisimple if it is a direct sum of simple Lie algebras..

In mathematics, a differentiable manifold is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One may then apply ideas from calculus while working within the individual charts, since each chart lies within a vector space to which the usual rules of calculus apply. If the charts are suitably compatible, then computations done in one chart are valid in any other differentiable chart.

In physics, a sigma model is a field theory that describes the field as a point particle confined to move on a fixed manifold. This manifold can be taken to be any Riemannian manifold, although it is most commonly taken to be either a Lie group or a symmetric space. The model may or may not be quantized. An example of the non-quantized version is the Skyrme model; it cannot be quantized due to non-linearities of power greater than 4. In general, sigma models admit (classical) topological soliton solutions, for example, the Skyrmion for the Skyrme model. When the sigma field is coupled to a gauge field, the resulting model is described by Ginzburg–Landau theory. This article is primarily devoted to the classical field theory of the sigma model; the corresponding quantized theory is presented in the article titled "non-linear sigma model".

In theoretical physics, the Wess–Zumino model has become the first known example of an interacting four-dimensional quantum field theory with linearly realised supersymmetry. In 1974, Julius Wess and Bruno Zumino studied, using modern terminology, dynamics of a single chiral superfield whose cubic superpotential leads to a renormalizable theory.

In the mathematical field of differential geometry, a smooth map between Riemannian manifolds is called harmonic if its coordinate representatives satisfy a certain nonlinear partial differential equation. This partial differential equation for a mapping also arises as the Euler-Lagrange equation of a functional called the Dirichlet energy. As such, the theory of harmonic maps contains both the theory of unit-speed geodesics in Riemannian geometry and the theory of harmonic functions.

In mathematics, a holomorphic vector bundle is a complex vector bundle over a complex manifold $X$ such that the total space $E$ is a complex manifold and the projection map $π : E \to X$ is holomorphic. Fundamental examples are the holomorphic tangent bundle of a complex manifold, and its dual, the holomorphic cotangent bundle. A holomorphic line bundle is a rank one holomorphic vector bundle.

In mathematics and mathematical physics, raising and lowering indices are operations on tensors which change their type. Raising and lowering indices are a form of index manipulation in tensor expressions.

Stochastic quantum mechanics is an interpretation of quantum mechanics. This interpretation is based on a reformulation of quantum mechancis in which the dynamics of all particles is governed by a stochastic differential equation. Thus, according to the stochastic interpretation, quantum particles follow well-defined random trajectories in space(time), similar to a Brownian motion.

In algebra, the Nichols algebra of a braided vector space is a braided Hopf algebra which is denoted by $and named after the mathematician Warren Nichols. It takes the role of quantum Borel part of a pointed Hopf algebra such as a quantum groups and their well known finite-dimensional truncations. Nichols algebras can immediately be used to write down new such quantum groups by using the Radford biproduct.$

Lagrangian field theory is a formalism in classical field theory. It is the field-theoretic analogue of Lagrangian mechanics. Lagrangian mechanics is used to analyze the motion of a system of discrete particles each with a finite number of degrees of freedom. Lagrangian field theory applies to continua and fields, which have an infinite number of degrees of freedom.

In mathematics, a harmonic morphism is a (smooth) map $:(M^{m},g)\to (N^{n},h)}$ between Riemannian manifolds that pulls back real-valued harmonic functions on the codomain to harmonic functions on the domain. Harmonic morphisms form a special class of harmonic maps i.e. those that are horizontally (weakly) conformal.

Supersymmetric theory of stochastic dynamics or stochastics (STS) is an exact theory of stochastic (partial) differential equations (SDEs), the class of mathematical models with the widest applicability covering, in particular, all continuous time dynamical systems, with and without noise. The main utility of the theory from the physical point of view is a rigorous theoretical explanation of the ubiquitous spontaneous long-range dynamical behavior that manifests itself across disciplines via such phenomena as 1/f, flicker, and crackling noises and the power-law statistics, or Zipf's law, of instantonic processes like earthquakes and neuroavalanches. From the mathematical point of view, STS is interesting because it bridges the two major parts of mathematical physics – the dynamical systems theory and topological field theories. Besides these and related disciplines such as algebraic topology and supersymmetric field theories, STS is also connected with the traditional theory of stochastic differential equations and the theory of pseudo-Hermitian operators.

Pokhozhaev's identity is an integral relation satisfied by stationary localized solutions to a nonlinear Schrödinger equation or nonlinear Klein–Gordon equation. It was obtained by S.I. Pokhozhaev and is similar to the virial theorem. This relation is also known as D.H. Derrick's theorem. Similar identities can be derived for other equations of mathematical physics.

In mathematics and theoretical physics, and especially gauge theory, the deformed Hermitian Yang–Mills (dHYM) equation is a differential equation describing the equations of motion for a D-brane in the B-model of string theory. The equation was derived by Mariño-Minasian-Moore-Strominger in the case of Abelian gauge group, and by Leung–Yau–Zaslow using mirror symmetry from the corresponding equations of motion for D-branes in the A-model of string theory.

References

↑ In local coordinates, this says $g ij k ij = 0$
↑ In local coordinates, this says $R - g ik g jl k ij k kl + (g ij k ij) 2 \geq 2(g pq (g ij k pi; j - (g ij k ij); p)(g kl k qk; l - (g kl k kl); q)) 1/2$ or, in the usual "raised and lowered index" notation, this says $R - k ij k ij + (k i i) 2 \geq 2((k pi; i - (k i i); p)(k pj; j - (k j j); p)) 1/2$
↑ It is typical to assume $M$ to be time-oriented and for $ν$ to be then specifically defined as the future-pointing unit normal vector field along $f$ ; in this case the dominant energy condition as given above for an initial data set arising from a spacelike immersion into $M$ is automatically true if the dominant energy condition in its usual spacetime form is assumed.
↑ Schoen, Richard; Yau, Shing Tung (1981). "The energy and the linear momentum of space-times in general relativity" (PDF). Comm. Math. Phys. 79 (1): 47–51. Bibcode:1981CMaPh..79...47S. doi:10.1007/BF01208285. S2CID 120151656.
↑ Bartnik, Robert (1986). "The mass of an asymptotically flat manifold". Comm. Pure Appl. Math. 39 (5): 661–693. CiteSeerX 10.1.1.625.6978 . doi:10.1002/cpa.3160390505.
↑ Schoen, Richard M. (1989). "Variational theory for the total scalar curvature functional for Riemannian metrics and related topics". Topics in calculus of variations (Montecatini Terme, 1987). Lecture Notes in Mathematics. Vol. 1365. Berlin: Springer. pp. 120–154.
↑ Eichmair, Michael; Huang, Lan-Hsuan; Lee, Dan A.; Schoen, Richard (2016). "The spacetime positive mass theorem in dimensions less than eight". Journal of the European Mathematical Society . 18 (1): 83–121. arXiv: 1110.2087 . doi: 10.4171/JEMS/584 . S2CID 119633794.

Schoen, Richard; Yau, Shing-Tung (1979). "On the proof of the positive mass conjecture in general relativity". Communications in Mathematical Physics. 65 (1): 45–76. Bibcode:1979CMaPh..65...45S. doi:10.1007/bf01940959. ISSN 0010-3616. S2CID 54217085.
Schoen, Richard; Yau, Shing-Tung (1981). "Proof of the positive mass theorem. II". Communications in Mathematical Physics. 79 (2): 231–260. Bibcode:1981CMaPh..79..231S. doi:10.1007/bf01942062. ISSN 0010-3616. S2CID 59473203.
Witten, Edward (1981). "A new proof of the positive energy theorem". Communications in Mathematical Physics. 80 (3): 381–402. Bibcode:1981CMaPh..80..381W. doi:10.1007/bf01208277. ISSN 0010-3616. S2CID 1035111.
Ludvigsen, M; Vickers, J A G (1981-10-01). "The positivity of the Bondi mass". Journal of Physics A: Mathematical and General. 14 (10): L389–L391. Bibcode:1981JPhA...14L.389L. doi:10.1088/0305-4470/14/10/002. ISSN 0305-4470.
Horowitz, Gary T.; Perry, Malcolm J. (1982-02-08). "Gravitational Energy Cannot Become Negative". Physical Review Letters. 48 (6): 371–374. Bibcode:1982PhRvL..48..371H. doi:10.1103/physrevlett.48.371. ISSN 0031-9007.
Schoen, Richard; Yau, Shing Tung (1982-02-08). "Proof That the Bondi Mass is Positive". Physical Review Letters. 48 (6): 369–371. Bibcode:1982PhRvL..48..369S. doi:10.1103/physrevlett.48.369. ISSN 0031-9007.
Gibbons, G. W.; Hawking, S. W.; Horowitz, G. T.; Perry, M. J. (1983). "Positive mass theorems for black holes". Communications in Mathematical Physics. 88 (3): 295–308. Bibcode:1983CMaPh..88..295G. doi:10.1007/BF01213209. MR 0701918. S2CID 121580771.

Textbooks

Choquet-Bruhat, Yvonne. General relativity and the Einstein equations. Oxford Mathematical Monographs. Oxford University Press, Oxford, 2009. xxvi+785 pp. ISBN 978-0-19-923072-3
Wald, Robert M. General relativity. University of Chicago Press, Chicago, IL, 1984. xiii+491 pp. ISBN 0-226-87032-4

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] In local coordinates, this says $g ij k ij = 0$

[2] In local coordinates, this says $R - g ik g jl k ij k kl + (g ij k ij) 2 \geq 2(g pq (g ij k pi; j - (g ij k ij); p)(g kl k qk; l - (g kl k kl); q)) 1/2$ or, in the usual "raised and lowered index" notation, this says $R - k ij k ij + (k i i) 2 \geq 2((k pi; i - (k i i); p)(k pj; j - (k j j); p)) 1/2$

[3] It is typical to assume $M$ to be time-oriented and for $ν$ to be then specifically defined as the future-pointing unit normal vector field along $f$ ; in this case the dominant energy condition as given above for an initial data set arising from a spacelike immersion into $M$ is automatically true if the dominant energy condition in its usual spacetime form is assumed.

[4] Schoen, Richard; Yau, Shing Tung (1981). "The energy and the linear momentum of space-times in general relativity" (PDF). Comm. Math. Phys. 79 (1): 47–51. Bibcode:1981CMaPh..79...47S. doi:10.1007/BF01208285. S2CID 120151656.

[5] Bartnik, Robert (1986). "The mass of an asymptotically flat manifold". Comm. Pure Appl. Math. 39 (5): 661–693. CiteSeerX 10.1.1.625.6978 . doi:10.1002/cpa.3160390505.

[6] Schoen, Richard M. (1989). "Variational theory for the total scalar curvature functional for Riemannian metrics and related topics". Topics in calculus of variations (Montecatini Terme, 1987). Lecture Notes in Mathematics. Vol. 1365. Berlin: Springer. pp. 120–154.

[7] Eichmair, Michael; Huang, Lan-Hsuan; Lee, Dan A.; Schoen, Richard (2016). "The spacetime positive mass theorem in dimensions less than eight". Journal of the European Mathematical Society . 18 (1): 83–121. arXiv: 1110.2087 . doi: 10.4171/JEMS/584 . S2CID 119633794.

[1]

[2]

[3]

[4]

[5]

[6]

[7]