Abstract
In this paper, a new proof of the Positive Mass Theorem is established through a newly discovered monotonicity formula, holding along the level sets of the Green’s function of an asymptotically flat 3-manifolds. In the same context and for \(1<p<3\), a Geroch-type calculation is performed along the level sets of p-harmonic functions, leading to a new proof of the Riemannian Penrose Inequality under favourable assumptions. A new characterisation of scalar curvature lower bounds in terms of the monotonicity formulas is also given.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 A Monotonic Quantity for the Green’s Functions
In the context of contemporary geometric analysis, monotonicity formulas are known to play a central role not only because of their tremendous implications, but also because they clarify the theory, eventually leading to a deeper understanding of the overall picture. Some of the most relevant examples come from the study of geometric flows such as, e.g., Huisken’s monotonicity formulas for the Mean Curvature Flow [25], Perelman’s entropy formulas for the Ricci Flow [37], or Geroch’s monotonicity of the Hawking Mass along the Inverse Mean Curvature Flow [21, 26]. However, this is not the only scene where these formulas play a dominant role. For example, it must be noticed that a monotonicity formula is also at the core of comparison geometry, through the nowadays classical Bishop–Gromov Volume Comparison Theorem. Starting from this observation, Colding [16] and Colding-Minicozzi [17, 18] discovered in recent years analogous monotonic quantities on manifolds with nonnegative Ricci curvature, where the level set flow of the distance function is replaced by the level set flow of a harmonic function. This new class of monotonicity formulas, together with their extension to the case of p-harmonic functions, \(1<p<n\), has revealed to be extremely flexible and powerful, leading to the proof of new geometric inequalities [1, 9, 42] as well as to a new proof of classical results [2, 4]. More in general, level set methods for harmonic functions have been recently employed to investigate the geometry of asymptotically flat initial data in general relativity [3, 6, 14, 24]. Further comments on the latter point will be given in the next section. Here, we establish the following monotonicity result, holding along the level set flow of the Green’s functions on complete nonparabolic 3-manifolds with nonnegative scalar curvature, whose topology is sufficiently simple. Recall that a complete Riemannian manifold is said to be nonparabolic if it admits a positive Green function, otherwise it is said to be parabolic.
Theorem 1.1
Let (M, g) be a complete, noncompact, nonparabolic 3-dimensional Riemannian manifold with nonnegative scalar curvature and \(H_2(M;{\mathbb {Z}})=\{0\}\). Let u be the maximal distributional solution to
for some \(o \in M\), and let \(F:(0, + \infty )\rightarrow {\mathbb {R}}\) be the function defined as
where \(\textrm{Crit}(u)\) is the set of the critical points of u, and \(\textrm{H}\) is the mean curvature of the level set \(\{u= 1 - 1/t\}{\setminus }\textrm{Crit}(u)\) computed with respect to the \(\infty \)–pointing unit normal vector field \(\nu ={\nabla u}/{\vert \nabla u \vert }\). Then, we have that
provided \(1- 1/s\) and \(1 - 1/t\) are regular values of u.
More specifically, we are going to prove that, under the above assumptions, the function F admits a nondecreasing locally absolutely continuous representative, defined in \((0,+\infty )\) and still denoted by F, whose \(L^1_{loc}\)-weak derivative satisfies
a.e. in \((0,+\infty )\). Here, \(\textrm{R}^{\Sigma _{t}}\) and \(\nabla ^{\Sigma _{t}}\) denote the scalar curvature and the Levi-Civita connection of the metric induced by g on the regular part \(\Sigma _t\) of the level set \(\{ u= 1- 1/t\}\). By \(\textrm{h}\) and \(\textrm{H}\), we indicate the second fundamental form and the mean curvature of \(\Sigma _t\), both computed with respect to the \(\infty \)–pointing unit normal vector field \(\nu ={\nabla u}/{\vert \nabla u \vert }\), wheras \(\mathring{\textrm{h}}\) represents the traceless second fundamental form of \(\Sigma _t\). In particular, as soon as \(\Sigma _t\) is a connected regular level set of u, one can easily deduce that \(F'(t)\) is nonnegative. In fact
by the Gauss-Bonnet Theorem, and all the remaining terms in (1.3) are manifestly nonnegative.
Remark 1.2
It should be noted that, in a recent work [36], a new monotonicity formula holding along the level sets of the Green’s function was discovered by Munteanu and Wang, working essentially in the same framework as in Theorem 1.1. However, both the monotonicity formulas and the geometric conclusions are considerably different from ours.
Observe that the existence of the solution u to (1.1) is equivalent to the existence of the minimal positive Green’s function \({\mathcal {G}}_{o}\) vanishing at infinity and having a pole at o, and it is guaranteed in many reasonable frameworks, such as the one – particularly relevant to us – of asymptotically flat manifolds. Indeed, u and \({\mathcal {G}}_{o}\) are related by the identity \(u=1-4\pi {\mathcal {G}}_{o}\). As it is well known, u is smooth on \(M \setminus \{ o\}\) and proper, so that its level sets are compact. It follows then from [23, Theorem 1.7] that they also have finite 2-dimensional Hausdorff measure. For the reader’s convenience, we also recall that the set \(\textrm{Crit}(u)\) has locally finite 1-dimensional Hausdorff measure (see for instance [22, Theorem 1.1]), and that the set of the critical values of u has zero Lebesgue measure by Sard’s Theorem, whereas the set of regular values of u is open, by the same argument as in [6, Theorem 2.3]. Building on the previous observations, it is not hard to realise that the function F given in (1.2) is well defined, as its summands come from the integration of bounded functions on sets with finite measure. To justify this latter sentence, one only needs to check that \(|\, |\nabla u| \, \textrm{H} \, |\) is bounded on \(\{u=\tau \}\setminus \textrm{Crit}(u)\), for every \(\tau \in (-\infty , 1)\). Since u is harmonic, \(\textrm{H}\) can be expressed as
away from \(\textrm{Crit}(u)\), where angle brackets \(\langle \cdot ,\cdot \rangle \) denote the scalar product, taken with respect to the metric g. Consequently, one has that
whenever \(\vert \nabla u\vert \ne 0\). We are now ready to prove Theorem 1.1. For the sake of exposition, we first give a proof under the favourable assumption that \(\textrm{Crit}(u) = \emptyset \), and then we proceed with the proof of the full statement.
Proof in the absence of critical points.
In this case, all of the level sets of u are regular and diffeomorphic to the 2-sphere (see the discussion after formula (1.7)), and in turn the function F is everywhere continuously differentiable in its domain of definition. We claim that \(F'(t) \ge 0\) for every \(t \in (0, + \infty )\). We start observing that
where \(\Delta _{\Sigma _{t}}\) is the Laplace-Beltrami operator of the metric induced on \(\Sigma _{t}=\{u=1-\frac{1}{t}\}\). Observe that formula (1.6) can be deduced via standard evolution equations for hypersurfaces moving in normal directions (see for example [27, Theorem 3.2]). Here, in particular, the vector velocity is given by \(\nabla u / |\nabla u|^2\). With the help of the Gauss equation, the integrand on the right hand side of (1.6) can be expressed as
Substituting the latter expression into (1.6) and using standard manipulations, one easily arrives at
Now, we notice that the last summand of the right hand side is always nonnegative, as the scalar curvature of (M, g) is nonnegative by assumption. The first two summands also give a nonnegative contribution, by virtue of Gauss-Bonnet Theorem combined with the observation that \(\Sigma _t\) is closed and connected for all \(t \in (0,+\infty )\). It is worth pointing out that when critical points are not present, the connectedness of the level sets of u follows by rather elementary considerations, without any further assumption on the topology of (M, g). In fact, on one hand, the asymptotic behaviour of u near the pole implies that in this region at least one level set of u is necessarily diffeomorphic to a 2-sphere. On the other hand, the same must be true for every level set of u, since \(\nabla u\) never vanishes. \(\square \)
Proof
Let us consider the vector field Y, defined as
where u is the solution to problem (1.1). The vector field Y is well defined and smooth on the open set \(M_{o}{\setminus } \textrm{Crit}(u)\), where \(M_{o}\) is defined as
With the help of the Bochner formula, the divergence of Y on \(M_{o}\setminus \textrm{Crit}(u)\) can be expressed as
where in the computation we took advantage of the fact that u is harmonic. Using the Gauss equation in combination with the standard identity \(\vert \nabla \nabla u\vert ^{2}=\vert \nabla u\vert ^{2} \vert \textrm{h}\vert ^{2}+\vert \,\nabla \vert \nabla u\vert \,\vert ^{2}+\vert \,\nabla ^{\Sigma _t}\vert \nabla u\vert \,\vert ^{2}\), one can work out an equivalent expression for \(\textrm{div}(Y)\), adapted to (the regular portion of) the level sets of u, namely
Here, \(\textrm{h}, \textrm{H}, \textrm{R}^{\Sigma }\), and \(\nabla ^\Sigma \) are all referred to the regular portion of the level set of u that passes through the point where \(\textrm{div}(Y)\) is computed. Setting
for every \(t \in (0, +\infty )\), and using the Divergence Theorem, it is not hard to check that
provided no critical values of u are contained in the interval \([1-1/s, 1-1/t]\). We aim at proving that a similar statement holds true also in the presence of critical values, showing \(\Phi \in W^{1,1}_{loc}(0,+\infty )\). As a first step in this direction, we claim that
where \({\mathbb {I}}_{M_{o}\setminus \textrm{Crit}(u)}\) denotes the characteristic function of \(M_{o}\setminus \textrm{Crit}(u)\). Let us observe that if K is a compact subset of \(M_o\), then, by Sard’s Theorem, K is contained in the set
for some \(0<s<t\), such that both \(1- 1/s\) and \(1 - 1/t\) are regular values of u. As we are dealing with the case where critical values of u are present in the interval \((1-1/s, 1-1/t)\), we have that necessarily the open subset \(\{ 1-1/s< u < 1 - 1/t\}\) must contain critical points of u, so that the vector field Y is no longer smooth and well defined everywhere. To overcome this issue, we consider a sequence of cut-off functions \(\{ \eta _k\}_{k \in {\mathbb {N}}^+}\), where, for every \(k \in {\mathbb {N}}^+\), the function \(\eta _k:[0,+\infty ) \rightarrow [0,1]\) is smooth, nondecreasing, and obeying the following structural conditions:
Using these cut-off functions, we define for every \(k \in {\mathbb {N}}^+\) the vector field
It is immediate to observe that for every \(k \in {\mathbb {N}}^+\), \(Y_k\) is a smooth vector field defined in \(M_{o}\). Moreover, on any given compact subset of \(M_{o}\setminus \textrm{Crit}(u)\), the vector field \(Y_k\) coincides with the vector field Y, provided k is large enough. For any such \(Y_k\), the divergence is readily computed as follows
An important feature of the above expression is that the last summand is always nonnegative. Taking into account these simple considerations and applying the Divergence Theorem, one gets
where we set
Concerning the functions \(D_k\), we have that
Since the function on the right hand side belongs to \(L^{1}_{loc}(M_o)\), Lebesgue’s Dominated Convergence Theorem implies that \(D\, {\mathbb {I}}_{M_{o}{\setminus }\textrm{Crit}(u)}\in L^{1}(E_{s}^{t})\) and that
This fact, combined with inequality (1.12), implies that the sequence of the integrals of the functions \(P_k\) is uniformly bounded in k. On the other hand, the \(P_k\)’s are clearly nonnegative and they converge monotonically and pointwise to the function \(P\,\,{\mathbb {I}}_{M_{o}\setminus \textrm{Crit}(u)}\). The Monotone Convergence Theorem thus yields
In particular, we have that \(P\, {\mathbb {I}}_{M_{o}{\setminus }\textrm{Crit}(u)}\in L^{1}(E_{s}^{t})\). Since \(\textrm{div}(Y){\mathbb {I}}_{M_{o}\setminus \textrm{Crit}(u)}=(P+D){\mathbb {I}}_{M_{o}\setminus \textrm{Crit}(u)}\), it follows then that \(\textrm{div}(Y){\mathbb {I}}_{M_{o}{\setminus }\textrm{Crit}(u)}\in L^{1}_{loc}(M_o)\), as desired.
Having the claim (1.10) at hand, we are now going to prove that \(\Phi \in W^{1,1}_{loc}(0,+\infty )\) with weak derivative given by
a.e. in \((0,+\infty )\). The latter is in \(L^1_{loc}(0,+\infty )\), thanks precisely to claim (1.10) coupled with the elementary properties of the integrals and the Coarea Formula. The following argument is inspired by [9]. Let \(\chi \) be a test function belonging to \(C_{c}^{\infty }(0,+\infty )\). We have that
where the second equality follows by the Coarea Formula, the third one by Lebesgue’s Dominated Convergence Theorem, whereas the last one is a simple integration by parts. We now let \(0<s<t<+ \infty \) be such that \(\textrm{supp}\chi \subset (s,t)\). Setting
on \(M_{o}\setminus \textrm{Crit}(u)\) and using formula (1.11), one gets
Using the elementary inequality (1.5), it is not hard to show that
so that \(Q\,{\mathbb {I}}_{M_{o}{\setminus }\textrm{Crit}(u)} \in L^1_{loc}(M_o)\), whereas \(|\nabla u|/(1-u)\,\, \eta '_{{k}}\big (\vert \nabla u\vert /(1-u)\big )\) is always bounded. As \(\lim _{k \rightarrow + \infty }\eta _k'(\tau )=0\) for every \(\tau \in (0, + \infty )\), the Dominated Convergence Theorem implies that
All in all we get
where in the last identity we used (1.9) together with the Coarea Formula. It is now clear that \(\Phi \in W^{1,1}_{loc}(0,+\infty )\). As \(F(t)=4\pi t+\Phi (t)\), it is also clear that F belongs to \(W^{1,1}_{loc}(0,+\infty )\) and that its weak derivative coincides a.e. with the expression in (1.3). In particular, the function F admits a (locally) absolutely continuous representative – still denoted by F – satisfying the following identity, for any pair of positive real numbers \(s < t\)
where \({\mathcal {N}}\) is the set of the critical values of u and it is negligible, by Sard’s Theorem. Since all the level sets corresponding to regular values of u are closed regular surfaces, the monotonicity of F follows by the very same considerations made after formula (1.7), with just one important exception. Indeed, in the present context, we need a different argument to ensure that the regular level sets of u are connected, so that, by the Gauss-Bonnet Theorem, one obtains the inequality \(4\pi - 2\pi \chi (\{ u=1-\frac{1}{\tau } \}) \ge 0\), for every \(\tau \in (0,+\infty ){\setminus } {\mathcal {N}}\). Here is where the assumption \(H_2(M;{\mathbb {Z}})=\{0\}\) comes into play. To see this, suppose by contradiction that for some \(\tau \in (0,+\infty ){\setminus }{\mathcal {N}}\) the (regular) level set \(\Sigma = \{ u=1-\frac{1}{\tau }\}\) is given by the disjoint union of at least two connected components \(\Sigma '\) and \(\Sigma ''\), so that \(\Sigma '\) and \(\Sigma ''\) are two closed hypersurfaces. By the triviality of \(H_2(M;{\mathbb {Z}})\), we have that each closed 2-dimensional surface in (M, g) is the boundary of a 3-dimensional bounded open domain. In particular, there exist two bounded connected and open subsets \(\Omega ', \Omega '' \subset M\) such that \(\partial \Omega ' = \Sigma '\) and \(\partial \Omega '' = \Sigma ''\). If o doesn’t belong to \(\Omega '\), then \(\overline{\Omega '}\) is contained in \(M_{o}\), and by the Strong Maximum Principle u must then be constant in \(\overline{\Omega '}\). But this is impossible, as all the level sets of u have finite 2-dimensional Hausdorff measure, since u is harmonic. The same argument obviously applies to \(\Omega ''\); therefore, the pole o must belong to both \(\Omega '\) and \(\Omega ''\), so that these latter turn out to have a nonempty intersection. Consequently, either \(\Omega '\subset \Omega ''\) or \(\Omega ''\subset \Omega '\), since \(\partial \Omega ' = \Sigma '\) and \(\partial \Omega '' = \Sigma ''\) are disjoint. On the other hand, by the Strong Maximum Principle u must then be constant either in \(\overline{\Omega ''}\setminus \Omega '\) or in \(\overline{\Omega '}{\setminus } \Omega ''\) respectively, which is again a contradiction. \(\square \)
Combining the above theorem with some standard facts about the asymptotic behaviour of the Green’s functions near the pole, one gets the following corollary, that should be regarded as an abstract Positive Mass Theorem, holding in a more general framework, where the total mass is replaced by the quantity \(\lim _{t \rightarrow + \infty } F(t)\), or more likely, by \(\sup _{o \in M} \lim _{t \rightarrow + \infty } F_o(t) \), where the index o here is reminiscent of the pole of the Green’s function that we are considering.
Corollary 1.3
Under the assumptions of Theorem 1.1, we have that
Moreover, if \(\lim _{t \rightarrow + \infty } F(t) = 0\), then (M, g) is isometric to \(({\mathbb {R}}^3, g_{{\mathbb {R}}^3})\).
Proof
We first claim that \(\lim _{t\rightarrow 0^+}F(t) = 0\). To see this fact, we recall that u is related to the minimal positive Green’s function \({\mathcal {G}}_o\) of (M, g) with pole at o through the formula \(u=1-4\pi {\mathcal {G}}_{o}\). Consequently, there holds
for every \(t\in (0,+\infty )\setminus {\mathcal {N}}\). On the other hand, it is well known (see for example [35]) that \({\mathcal {G}}_o\) displays the following asymptotic behaviour near the pole:
where r denotes the distance to the pole o. As a consequence, in a sufficiently small neighborhood of o, the function u is subject to the bounds
for some positive constants \(C_{i}>0\), \(i=1, \ldots , 5\). Combining these bounds with (1.5) and (1.16), we conclude that
Plugging these estimates into the definition of F, it easily follows that \(F(t)\rightarrow 0\), as \(t \rightarrow 0^+\). Combining this fact with the nonotonicity of F yield (1.15).
Let us now focus our attention on the rigidity statement, so that, in what follows, we will assume that \(\lim _{t \rightarrow + \infty } F(t) = 0\). By the above discussion, we have that u behaves like \(1- 1/r\) and \(\nabla u\) behaves like \(\nabla r/r^2\) in a sufficiently small neighborhood of the pole o. In particular, there exists a maximal time \(T>0\) such that \(\nabla u \ne 0\) in \(u^{-1}(-\infty , 1 - 1/T)\). It follows that F is continuously differentiable on the interval (0, T). Moreover, using (1.15), one easily gets that \(F'\equiv 0\) in (0, T), so that all the positive summands in formula (1.7) are forced to vanish for every \(t \in (0,T)\). This fact has very strong implications. First of all \(\nabla ^{\Sigma _t}|\nabla u| \equiv 0\) implies that \(|\nabla u| = f (u)\), for some positive function \(f:(0,T) \rightarrow (0, + \infty )\). It turns out that such a function can be made explicit. Indeed, from (1.7) one also has that \(\textrm{H}= 2 f(u)/(1-u)\). On the other hand, it follows from (1.4) that \(\textrm{H}= -\partial |\nabla u|/ \partial u = -f'(u)\). All in all, we have that f obeys the ODE
Now, the only solution to this ODE which is compatible with the asymptotic behaviour of u and \(|\nabla u|\), as \(u \rightarrow - \infty \), is given by \(f(u) = (1-u)^2\). Since \(u<1\) on the whole manifold, f never vanishes, so that \(T= +\infty \) and \(|\nabla u| \ne 0\) everywhere. In particular, all the level sets of u are regular and diffeomorphic to each other. More precisely, by the vanishing of the Gauss-Bonnet term in (1.7), they are all diffeomorphic to a 2-sphere and M is diffeomorphic to \({\mathbb {R}}^3\). So far we have that the metric g can be written on \(M \setminus \{o\}\) as
where \(g_{ij} (u, \!\vartheta ) \, d\vartheta ^i \otimes d\vartheta ^j\) represents the metric induced by g on the level sets of u. Exploiting the vanishing of the traceless second fundamental form of the level sets in (1.7), it turns out that the coefficients \(g_{ij}(u,\!\vartheta )\) obey the following first order system of PDE’s
Arguing as in [15, Theorem 1.1, Case 2], one can deduce that \(g_{ij} (u, \!\vartheta ) \, d\vartheta ^i \otimes d\vartheta ^j = (1-u)^{-2} g_{{\mathbb {S}}^2},\) so that g takes the form
The prescription \(\textrm{R}\equiv 0\), which also follows from (1.7), implies that \(u=1-1/r\) and \(g = g_{{\mathbb {R}}^3}\), if used in combination with the asymptotic behaviour of u and \(|\nabla u|\), as \(u \rightarrow - \infty \). \(\square \)
Remark 1.4
The validity of both Theorem 1.1 and Corollary 1.3 might suggest the interpretation of the monotonic quantity F as a potential-theoretic notion of quasi-local mass. This impression is confirmed in Sect. 3, where the small sphere limit of the monotonic quantities is analysed in details.
2 Proof of the Positive Mass Theorem
Building on Theorem 1.1, we present in this section a new proof of the (Riemannian) Positive Mass Theorem, originally due to Schoen and Yau [38, 39] and Witten [41]. To be more precise, we will present a complete and self-contained treatment of this famous inequality in the case where the underlying manifold is diffeomorphic to \({\mathbb {R}}^3\) and has Scwarzschildian asymptotics. On the other hand, thanks to a number of preparatory lemmata, which are now collected in [14, Proposition 2.1], this is sufficient to deduce the general statement. It goes as follows:
Theorem 2.1
(Positive Mass Theorem). Let (M, g) be a complete, asymptotically flat, 3-dimensional Riemannian manifold with nonnegative scalar curvature. Then, the total ADM-mass of (M, g) is nonnegative. In symbols,
Moreover, \(m_{ADM}(M,g)=0\) if and only if (M, g) is isometric to \(({\mathbb {R}}^{3},g_{{\mathbb {R}}^3})\).
In what follows we just discuss the case where (M, g) has only one end, from which the general statement can be deduced by nowadays standard arguments. For the reader’s convenience, we recall that a complete, 3-dimensional, one-ended Riemannian manifold (M, g) is said to be asymptotically flat (of order \(\tau \)) if there exists a compact set K such that \(M\setminus K\) is diffeomorphic to the exterior of a closed ball \({\mathbb {R}}^{3}\setminus {\overline{B}}\), through a so called asymptotically flat coordinate chart \(x=(x^{1},x^{2},x^{3})\). In such a chart, the metric coefficients obey the expansion
for some constant \(\tau > 1/2\). Moreover, we assume that the scalar curvature is integrable on M. These latter conditions guarantee that the total ADM-mass of (M, g), which can be computed through the chart x as
is a well defined geometric invariant, whose value does not depend on the particular asymptotically flat coordinate chart employed in the above computation (see e.g. [8]).
Before proceeding with our proof of Theorem 2.1, let us mention that since the original work of Schoen and Yau, several other approaches have been proposed to prove this crucial result. Far from being complete and referring the reader to [30] for a comprehensive survey on this topic, we just mention that the first alternative proof was found by Witten [41], using harmonic spinors. Another route to the Positive Mass Theorem was subsequently provided by the Huisken–Ilmanen’s theory of the Weak Inverse Mean Curvature Flow [26], in combination with the Monotonicity of the Hawking Mass observed by Geroch [21]. Yet another proof of the Positive Mass Theorem has been recently proposed by Li [32], using the Ricci Flow. Finally, in a recent paper, Bray, Kazaras, Kuhri and Stern [14] were able to provide a new argument, based on the study of the level sets of linearly growing harmonic functions combined with integral identities, deduced via the Bochner technique. This latter approach, inspired by [40], turned out to be flexible enough to also allow for the treatment of the space-time case [13, 24], and, together with some of the computations carried out in [28, 29], is probably the method that displays the largest number of analogy with ours. On this regard, it should be mentioned that level set methods, combined with Bochner technique and integral identities, have recently found some applications to the study of static metrics in general relativity [3, 6], even when the function under consideration is not necessarily harmonic [10,11,12].
Proof
For the sake of notation, let us set \(m = m_{ADM} (M,g)\), and let us focus on the first part of the positive mass statement, i.e., \(m\ge 0\). By the very accurate discussion given in [14, Section 2], and in particular from [14, Proposition 2.1], the analysis can be reduced to the case where the underlying manifold M is diffeomorphic to \({\mathbb {R}}^3\) and there exists a distinguished asymptotically flat coordinate chart \(x=(x^1,x^2,x^3)\) – called Schwarzschildian coordinate chart – in which the metric g can be expressed as
A manifold of this kind clearly fulfills all the assumptions made in Theorem 1.1. In particular, there exists the solution u to (1.1), and consequently the function F defined as in (1.2). Also, in virtue of the monotonicity of F established in Theorem 1.1, we have that
As we have seen in the proof of Corollary 1.3, it is a general fact that \(\lim _{t\rightarrow 0^+}F(t) = 0\). We now claim that \(\lim _{t\rightarrow +\infty } \!F(t)= 8 \pi m\). It is clear that combining this claim with (2.4), one easily gets \(m \ge 0\). In order to compute the limit of F(t) as \(t \rightarrow + \infty \), it is useful to understand the asymptotic behaviour of u at infinity. This is done in the following lemma.
Lemma 2.2
The function u satisfies the asymptotic expansion at infinity
where \(x= (x^1,x^2,x^3)\) is a Schwarzschildian coordinate chart at infinity, \(\phi \) satisfies \(\Delta _{{\mathbb {S}}^{2}}\phi =-2\phi \), and \(0<\alpha <1/2\) is a fixed real number that can be chosen as small as desired.
Proof of Lemma 2.2
First of all we notice that by virtue of the Schwarzschildian asymptotics (2.3), our metric is asymptotically flat of order \(\tau =1\). In particular, by [34, Appendix A], we know that
for some fixed \(0<\alpha <1/2\), that can be chosen as small as desired. Moreover, we have that \({\mathcal {C}}=1\), in view of (1.16). Our aim is to investigate the structure of the remainder h, eventually proving that
Writing the equation \(\Delta u=0\) in terms of the background Euclidean metric \(g_{{\mathbb {R}}^3}\), it is readily seen that h satisfies the equation
where we have set \({\mathcal {U}}=1+\frac{m}{2\vert x\vert }\), for the ease of the reader. To proceed, we plug into (2.7) the ansatz
with \(f(x)=O_{2}\big (\vert x\vert ^{-2 + \alpha }\big )\) and find out that the new remainder f satisfies the equation
Observing that \({\mathcal {U}} \rightarrow 1\) as \(|x|\rightarrow +\infty \), our claim on f is that
To prove this claim, we observe that, since \(f(x)=O_{2}\big (\vert x\vert ^{-2+ \alpha }\big )\), the right hand side of (2.9) can be estimated by an \(O_{1}\big (\vert x\vert ^{-5 + \alpha }\big )\). Moreover, among the elements lying in the kernel of \(\Delta _{{\mathbb {R}}^3}\) which are compatible with the condition \(f(x)=O_{2}\big (\vert x\vert ^{-2 + \alpha }\big )\), the ones with the slowest decay rate are of the form \({\phi (x/\vert x\vert )}/({2\vert x\vert ^{2}})\), for some \(\phi \) as in the statement of the lemma, whereas the other ones can be estimated by an \(O_{2}\big (\vert x\vert ^{-3}\big )\). The claim, as well as the thesis of the lemma, follows now from the standard theory for elliptic PDEs. \(\square \)
With Lemma 2.2 at hand, we can now compute the limit on the right hand side of (2.4). To this aim, it is convenient to rewrite F as
By virtue of Lemma 2.2, we have that
so that
In particular, for every \(\varepsilon >0\), there exists \(t_\varepsilon >0\) such that whenever \(u\ge 1-1/t_\varepsilon \) one has that
Using this fact in combination with (1.16), we deduce that, for every \(t\ge t_\varepsilon \), it holds
Therefore, we have that \(\lim _{t \rightarrow + \infty }F(t) = 8\pi m\) and in turn that \(m\ge 0\).
The rigidity statement, i.e. the fact that (M, g) and \(({\mathbb {R}}^{3},g_{{\mathbb {R}}^3})\) are isometric if \(m=0\), can be deduced from the validity of the inequality \(m \ge 0\), through the nowadays standard argument proposed in the original Schoen-Yau’s paper [38] (see also [30, pp. 95–97 and p. 102]). \(\square \)
3 Small Sphere Limits and Nonnegative Scalar Curvature
As mentioned in Remark 1.4, Theorem 1.1 and Corollary 1.3 support the notion of the quantity F, introduced in (1.1), as a quasi-local mass. This section provides additional evidence in favour of this idea. Specifically, we will calculate the small sphere limits of our quantities and observe that they can be utilized to accurately determine, with only a constant factor discrepancy, the scalar curvature’s precise value. It is important to note that in General Relativity this geometric invariant coincides for time-symmetric initial data sets with mass/energy density. Therefore, it is reassuring to contemplate that the very same quantities that allow us to establish the non-negativity of the total mass are inherently connected to mass density. Before delving into the explicit computations, let us briefly review the well-established case of the Hawking mass, which serves as a prominent example of quasi-local mass. The Hawking mass is defined as follows:
where \(\Sigma \) is a smooth closed surface embedded in a 3-dimensional Riemannian manifold (M, g). In [19] the following small-sphere limit of the Hawking mass was computed, leading to
where q is a point in M, \(B_q(t)\) is the ball of radius t centred at q, and \({\textrm{R}}\) denotes the scalar curvature of (M, g). We are going to prove that a similar expansion holds for (a localised version of) the monotonic quantities introduced in Sect. 1. To this aim, let us consider a local Green’s function \({\mathcal {G}}_{q}\) with pole at \(q \in M\), i.e., the unique distributional solution (see [7]) to the problem
where we agree that \(r_q= \textrm{inj}(q)/2\) if \(\textrm{inj}(q)<+ \infty \), and \(r_q=1\) otherwise. Here, of course, \(\textrm{inj}(q)\) denotes the injectivity radius at q. In particular, the distance function \(d_{g}(q,\cdot )\) is smooth on the punctured ball \(B_q^*(r_q) = B_q(r_q) \setminus \{ q\}\). Following [33, Proposition B.1], it is immediate to check that if \((x^1,x^2,x^3)\) is a normal coordinate system centred at q, then \({\mathcal {G}}_q\) satisfies the asymptotic expansion
where the exponent \(\tau \) can be chosen arbitrarily in (0, 1). Notice that, since \(\vert x(\cdot )\vert =d_{g}(q,\cdot )\), the constant \(A_q\) remains the same regardless of the set of normal coordinates centered at q that is being used. To introduce the localised analog of the monotonic quantity F defined in (1.1), it is convenient to consider, on the punctured (closed) ball \({\overline{B}}_{r}^{\,*}(r_q)\), the function
By the maximum principle, the range of \(u_q\) coincides with the interval \((-\infty , 1+ 4\pi A_q]\). In analogy with (1.1), we set
for \(t \in I_q\), where the set \(I_q\) depends on the sign of the constant \(A_q\). More precisely, if \(A_q <0\), we let \(I_q = (0, -1/4\pi A_q)\), whereas if \(A_q \ge 0\), we let \(I_q = (0, +\infty )\). Notice that this choice might appear slightly restrictive in the case where \(A_q>0\), as it corresponds to consider only the level sets of \(u_q\) with values in \((-\infty , 1)\). Indeed, it would be possible to extend the definition of \(F_q\) to the set \((-\infty , - 1/ 4 \pi A_q)\) in order to cover the whole natural range of \(u_q\). However, since we are only interested in the small sphere limit of our quantities, this will result in an unnecessary complication. With these notations at hand we are now ready to state the main result of this section.
Theorem 3.1
(Small Sphere Limit). Let (M, g) be a complete, 3-dimensional Riemannian manifold. Then, at every point \(q \in M\), the following expansion holds
where \({\textrm{R}}\) is the scalar curvature of g and \(F_q\) is the quantity defined in (3.4).
An immediate consequence of the aforementioned statement is the following characterization of the non-negativity of the scalar curvature in terms of the monotonicity of the functions \(F_q\), for \(q \in M\).
Corollary 3.2
(Scalar Curvature Lower Bound). Let (M, g) be a complete, 3–dimensional Riemannian manifold. Then, the scalar curvature \({\textrm{R}}\) of the metric g is nonnegative on M if and only if for every \(q \in M\) the function \(F_q\) is either nonnegative or monotonically non decreasing on an initial portion \((0, \varepsilon _q]\) of \(I_q\), for some \(\varepsilon _q >0\).
It is worth noticing that the above characterisation might suggest a plausible notion of synthetic scalar curvature lower bound, to be empoyed in the context of nonsmooth differential and Riemannian geometry.
Proof of Theorem 3.1
As the point q will remain unchanged throughout the proof, we drop it from the notation whenever it is possible. Our first claim is that
where \(\Omega (t)= \{u<1-1/t\}\) and \(\vert \Omega (t)\vert \) denote its measure. In a given normal coordinates system \((x^1,x^2,x^3)\) centred at q, so that (3.2) hold, we have that the following expansions are in force
where the function u is defined as in (3.3), and we have set \(x_\alpha = \delta _{\alpha \beta } x^\beta \). Moreover, as far as distance, area and volume are concerned, it is easily seen that, for every \(p \in \Sigma _t= \{ u = 1-1/t\}\),
as expected. Arguing as in the proof of Corollary 1.3, it is not hard to show that \(\lim _{t \rightarrow 0^+} F(t) = 0\). By l’Hôpital’s rule, we have that Claim (3.6) is equivalent to
Notice that, by virtue of (3.9), we can always select a small initial interval of times such that the level sets \(\Sigma _t\) of u are regular. In the same interval, both the function \(t \mapsto F(t)\) and \(t \mapsto |\Omega (t)|\) turn out to be continuously differentiable. In particular, we can compute
where the second formula is an easy consequence of the Coarea Formula, whereas the first one follows from (1.7), taking into account that, for small enough t, all the level sets \(\Sigma _t\) are spherical, and thus
by the Gauss-Bonnet Theorem. To compute the limit in (3.13), we first observe that
since, by formulas (3.7) and (3.9), one has
On the other hand, the simple Taylor expansion of the scalar curvature at q gives
which implies
Combinig (3.14) with (3.16), one gets
Hence, Claim (3.13) is proven, if we can show that
Actually, we are going to prove that the function in square brackets is of order \(O(|x|^{2-2\tau })\), as \(|x| \rightarrow 0\). The desired estimate will then be a consequence of (3.12). To this end, we first observe that the expansions (3.7), (3.9) and (3.11) imply that
and thus the last summand in the square brackets is of order \(O(|x|^{2-2\tau })\). To evaluate the first summand, we recall identity (1.4) and we observe that
where in the last row we used the asymptotic expasions (3.8), (3.9), (3.10) and (3.11). It follows that
Finally, we need to prove that also \(\vert \mathring{\textrm{h}}\vert ^{2}\,=\,\, O(\vert x\vert ^{2-2\tau })\). To see this, let \(\varepsilon >0\) be a positive real number such that \(\varepsilon ^2<1/3\) and let \(U_\alpha \) be the open set defined by
for \(\alpha = 1,\!\ldots ,\!3\). Due to our choice of \(\varepsilon >0\), it is easy to realize that
Without loss of generality, let us focus on the open set \(U_1\) and prove the desired estimate \(\vert \mathring{\textrm{h}}\vert ^{2}\,=\,\, O(\vert x\vert ^{2-2\tau })\) on it. To perform our computations, it is convenient to consider on \(U_1\), the frame field given by \(\{\nabla u/|\nabla u|, X_2, X_3\}\), where the vector fields \(X_2\) and \(X_3\) are defined as
It is immediate to check that \(\nabla u / |\nabla u|\) is orthogonal to both \(X_2\) and \(X_3\) and that the latter are linearly independent on \(U_1\). To complete the set-up, we let \(\{du/|\nabla u|, \xi ^2, \xi ^3 \}\) be the dual co-frame of \(\{\nabla u/|\nabla u|, X_2, X_3\}\). In this framework, using the expansions (3.8), (3.9) and (3.10), we can write
where \(i,j \in \{ 2,3\}\). From the first of above expressions and by the fact that \(|x^1| > \varepsilon |x|\), it follows that \(g_\Sigma ^{ij} = O(|x|^4)\) on \(U_1\), and in turn that
where we also took advantage of expansion (3.11) in order to get the desired cancellation. Since the same estimate holds on \(U_2\) and \(U_3\), we finally have that (3.18) is proven, so that in turn also Claim (3.6) is proven. Using the third estimate in (3.12), we have that Claim (3.6) can be reformulated as follows
Therefore, in order to obtain the expansion (3.5), it is sufficient to show that
By l’Hôpital’s rule, this reduces to proving that
The latter statement follows from (3.14), combined with
where in the last two identities we used (3.15) and the fact that \(\int _{\Sigma _t} \!|\nabla u| \,d \sigma = 4 \pi \). \(\square \)
4 Further Directions: Geroch-Type Calculation for p-Harmonic Functions
In this last section, we extend the monotonicity formula (1.7) to the nonlinear potential theoretic setting, where harmonic functions are replaced by p-harmonic functions, with \(1<p<3\). Subsequently, we show how these new monotonicity formulas can be employed to deduce the Riemannian Penrose Inequality under favourable assumptions. The treatment of the general case is beyond the purposes of the present note and it is deferred to [5]. We consider, for every \(1<p<3\), the unique solution u to the problem
where (M, g) is a 3-dimensional, complete, asymptotically flat Riemannian manifold with nonnegative scalar curvature and smooth, connected, minimal boundary. Assume that \(|\nabla u| \ne 0\) everywhere, so that u is smooth.
Remark 4.1
Notice that the condition \(|\nabla u| \ne 0\), though far from being optimal, is automatically satisfied by relevant classes of boundary geometries. For example, following [31], one can show that, in the Euclidean setting, mean convex and star-shaped boundaries give rise to p-capacitary potentials whose gradient is never vanishing. It is also worth noticing that the monotonicity of the functions \(F_{p}\), defined below, still holds if the set of the critical values of the p-harmonic function u is negligible and the regular level sets of u are connected.
To introduce our monotonic quantities, we recall that the p-capacity of \(\partial M\) is defined as
which is related to u through the well known identities
In analogy with (1.2), we define, for every \(1<p<3\), the function
where
and the variable t ranges in \(\left[ \big (c_{p}\,\,\frac{p-1}{3-p}\,\big )^{\!\frac{p-1}{3-p}}, + \infty \right) \). Proceeding in the same spirit as in the smooth proof of Theorem 1.1, we compute
where \(\Sigma _t= \{ u = \alpha _p(t)\}\). Using the traced Gauss equation, as in Sect. 1, we obtain
By standard manipulations, we finally get
Again, the right hand side is nonnegative by virtue of Gauss-Bonnet Theorem and by the assumption \(\textrm{R}\ge 0\).
Let us illustrate how the above monotonicity result might be employed to deduce the Riemannian Penrose Inequality. We start observing that the monotonicity of \(F_p\) implies
where we have used the short-hand notation \(\beta _{p} = \big (c_{p}\,\,\frac{p-1}{3-p}\,\big )^{\frac{p-1}{3-p}}\). By the minimality of \(\partial M\), we immediately get
To compute the limit on the right hand side of (4.7), we first observe that \(F_p\) rewrites as
where
To evaluate the asymptotic behaviour of \(I_p\), we assume that, in a distinguished Schwarzschildian coordinate chart \((x^{1},x^{2},x^{3})\) at infinity, the function u satisfies
for some \(\phi \) satisfying \(\Delta _{{\mathbb {S}}^{2}}\phi =-2\phi \). The above expansion implies in particular that
In turn, we get
In other words, for every \(\varepsilon >0\), there exists \(t_\varepsilon >0\) such that, whenever \(u (x)\ge \alpha _p(t_\varepsilon )\), it holds
Therefore, for every \(t \ge t_\varepsilon \), we get that
where we have used (4.3) and (4.5), and in turn that
Combining this limit with the inequalities in (4.7) and (4.8) yields \(2m \ge \beta _{p}\). By definition of \(\beta _p\) and \(c_p\), this means that
Finally, passing to the limit as \(p\rightarrow 1^{+}\) with the help of [20, Theorem 1.2], we get that
where \(\partial M^*\) denotes the strictly outward minimising hull of \(\partial M\) and is defined as in [20]. Assuming now that \(\partial M\) is an outermost minimal surface, then it is also strictly outward minimising and thus \(|\partial M^*| = |\partial M|\), which implies the validity of the desired inequality.
Data Availibility
The authors declare that the present manuscript has no associated data.
References
Agostiniani, V., Fogagnolo, M., Mazzieri, L.: Sharp geometric inequalities for closed hypersurfaces in manifolds with nonnegative Ricci curvature. Inventiones mathematicae 222(3), 1033–1101 (2020)
Agostiniani, V., Fogagnolo, M., Mazzieri, L.: Minkowski inequalities via nonlinear potential theory. Arch. Ration. Mech. Anal. 244(1), 51–85 (2022)
Agostiniani, V., Mazzieri, L.: On the geometry of the level sets of bounded static potentials. Commun. Math. Phys. 355(1), 261–301 (2017)
Agostiniani, V., Mazzieri, L.: Monotonicity formulas in potential theory. Calc. Var. Part. Differ. Equ. 59(1), 32 (2020)
Agostiniani, V., Mazzieri, L., Mantegazza, C., Oronzio, F.: Riemannian Penrose Inequality via nonlinear potential theory, arXiv Preprint Server: arXiv:2205.11642v1 (2022)
Agostiniani, V., Mazzieri, L., Oronzio, F.: A geometric capacitary inequality for sub-static manifolds with harmonic potentials. Math. Eng. 4(2), 40 (2022)
Aubin, T.: Nonlinear Analysis on Manifolds. Monge–Ampère equations, Springer, Berlin (1982)
Bartnik, R.: The mass of an asymptotically flat manifold. Commun. Pure Appl. Math. 39(5), 661–693 (1986)
Benatti, L., Fogagnolo, M., Mazzieri, L.: Minkowski inequality on complete Riemannian manifolds with nonnegative Ricci curvature. Anal. PDE (to appear), arXiv Preprint Server: arXiv:2101.06063v5 (2022)
Borghini, S., Chruściel, P.T., Mazzieri, L.: On the uniqueness of Schwarzschild–deSitter Spacetime. Arch. Ration. Mech. Anal. 247(2), 35 (2023)
Borghini, S., Mazzieri, L.: On the mass of static metrics with positive cosmological constant: I. Class. Quantum Gravity 35(12), 43 (2018)
Borghini, S., Mazzieri, L.: On the mass of static metrics with positive cosmological constant: II. Commun. Math. Phys. 377(3), 2079–2158 (2020)
Bray, H., Hirsch, S., Kazaras, D., Khuri, M., Zhang, Y.: Spacetime Harmonic Functions and Applications to Mass. Perspectives in Scalar Curvature, Vol. 2, pp. 593–639. World Scientific, Singapore (2023)
Bray, H., Kazaras, D., Khuri, M., Stern, D.: Harmonic functions and the mass of 3-dimensional asymptotically flat Riemannian manifolds. J. Geom. Anal. 32(6), 29 (2022)
Catino, G., Mantegazza, C., Mazzieri, L.: On the global structure of conformal gradient solitons with nonnegative Ricci tensor. Commun. Contemp. Math. 14(6), 12 (2012)
Colding, T.H.: New monotonicity formulas for Ricci curvature and applications. I. Acta Math. 209(2), 229–263 (2012)
Colding, T.H., Minicozzi, W.P.: Monotonicity and its analytic and geometric implications. Proc. Natl. Acad. Sci. 110(48), 19233–19236 (2013)
Colding, T.H., Minicozzi, W.P.: Ricci curvature and monotonicity for harmonic functions. Calc. Var. Part. Differ. Equ. 49(3), 1045–1059 (2014)
Fan, X.-Q., Shi, Y., Tam, L.-F.: Large-sphere and small-sphere limits of the Brown–York mass. Commun. Anal. Geom. 17(1), 37–72 (2009)
Fogagnolo, M., Mazzieri, L.: Minimising hulls, \(p\)-capacity and isoperimetric inequality on complete Riemannian manifolds. J. Funct. Anal. 283(9), 49 (2022)
Geroch, R.: Energy extraction. Ann. NY Acad. Sci. 224(1), 108–117 (1973)
Hardt, R., Hoffmann-Ostenhof, H., Hoffmann-Ostenhof, T., Nasirashvili, N.: Critical sets of solutions to elliptic equations. J. Differ. Geom. 51(2), 359–373 (1999)
Hardt, R., Simon, L.: Nodal sets for solutions of elliptic equations. J. Differ. Geom. 30(2), 505–522 (1989)
Hirsch, S., Kazaras, D., Khuri, M.: Spacetime harmonic functions and the mass of 3-dimensional asymptotically flat initial data for the Einstein equations. J. Differ. Geom. 122(2), 223–258 (2022)
Huisken, G.: Asymptotic behavior for singularities of the mean curvature flow. J. Differ. Geom. 31(1), 285–299 (1990)
Huisken, G., Ilmanen, T.: The inverse mean curvature flow and the Riemannian Penrose inequality. J. Differ. Geom. 59(3), 353–437 (2001)
Huisken, G., Polden, A.: Geometric Evolution Equations for Hypersurfaces, Calculus of Variations and Geometric Evolution Problems: Lectures given at the 2nd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Cetraro, Italy, June 15–22, 1996, pp. 45–84. Springer, Berlin (1999)
Jezierski, J.: Positivity of mass for certain spacetimes with horizons. Class. Quantum Gravity 6(11), 1535–1539 (1989)
Jezierski, J., Kijowski, J.: Positivity of total energy in general relativity. Phys. Rev. D. Third Ser. 36(4), 1041–1044 (1987)
Lee, D.: Geometric Relativity, Graduate Studies in Mathematics, vol. 201. American Mathematical Society (2019)
Lewis, J.L.: Capacitary functions in convex rings. Arch. Ration. Mech. Anal. 66(3), 201–224 (1977)
Li, Y.: Ricci flow on asymptotically Euclidean manifolds. Geom. Topol. 22(3), 1837–1891 (2018)
Li, Y., Zhu, M.: Sharp Sobolev trace inequalities on Riemannian manifolds with boundaries. Commun. Pure Appl. Math. 50(5), 449–487 (1997)
Mantoulidis, C., Miao, P., Tam, L.-F.: Capacity, quasi-local mass, and singular fill-ins. J. für die reine und angewandte Mathematik Crelles J. 2020(768), 55–92 (2020)
Mari, L., Rigoli, M., Setti, A.G.: On the \(1/{\rm H}\)-flow by \(p\)-Laplace approximation: new estimates via fake distances under Ricci lower bounds. Am. J. Math. 144(3), 779–849 (2022)
Munteanu, O., Wang, J.: Comparison theorems for \(3\)D manifolds with scalar curvature bounds. Int. Math. Res. Not. 2023(3), 2215–2242 (2023)
Perelman, G.: The entropy formula for the Ricci flow and its geometric applications, arXiv Preprint Server: arXiv:math/0211159 (2002)
Schoen, R., Yau, S.-T.: On the proof of the positive mass conjecture in general relativity. Commun. Math. Phys. 65(1), 45–76 (1979)
Schoen, R., Yau, S.-T.: The energy and the linear momentum in of space-times in general relativity. Commun. Math. Phys. 79(1), 47–51 (1981)
Stern, D.: Scalar curvature and harmonic maps to \({\mathbb{S} }^1\). J. Differ. Geom. 122(2), 259–269 (2022)
Witten, E.: A new proof of the positive energy theorem. Commun. Math. Phys. 80(3), 381–402 (1981)
Xia, C., Yin, J.: Anisotropic p-capacity and anisotropic Minkowski inequality. Sci. China Math. 65(3), 559–582 (2022)
Acknowledgements
The authors are members of the Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA), which is part of the Istituto Nazionale di Alta Matematica (INdAM). Francesca Oronzio is supported by the ERC-STG Grant 759229: HiCoS “Higher Co-dimension Singularities: Minimal Surfaces and the Thin Obstacle Problem”. The authors thank G. Ascione, L. Benatti and C. Mantegazza for various useful discussions during the preparation of the manuscript.
Funding
Open access funding provided by Università degli Studi di Trento within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Communicated by P. Chrusciel.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Agostiniani, V., Mazzieri, L. & Oronzio, F. A Green’s Function Proof of the Positive Mass Theorem. Commun. Math. Phys. 405, 54 (2024). https://doi.org/10.1007/s00220-024-04941-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00220-024-04941-8