V. Agostiniani,L. Mazzieri,F. Oronzio
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$-manifold. 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.
What problem does this paper attempt to address?
This paper attempts to provide a new proof of the Positive Mass Theorem through a newly discovered monotonicity formula. Specifically, the authors studied the level sets of the Green function on asymptotically flat 3 - manifolds and, using the monotonicity formula on these level sets, proposed a completely new proof method. In addition, for the case of 1 < p < 3, the authors also carried out Geroch - type calculations along the level sets of p - harmonic functions, thereby giving a new proof of the Riemannian Penrose inequality under favorable assumptions. At the same time, the paper also proposed a new method for characterizing the lower bound of scalar curvature, which is also based on the monotonicity formula.
### Main contributions of the paper
1. **New proof of the Positive Mass Theorem**:
- By introducing a new monotonicity formula, the authors studied the properties of the Green function on asymptotically flat 3 - manifolds. This monotonicity formula exhibits a specific monotonicity along the level sets of the Green function, thus providing a new proof method for the Positive Mass Theorem.
2. **New proof of the Riemannian Penrose inequality**:
- For the case of 1 < p < 3, the authors carried out Geroch - type calculations along the level sets of p - harmonic functions and obtained a new proof of the Riemannian Penrose inequality. This result holds under certain favorable assumptions.
3. **Characterization of the lower bound of scalar curvature**:
- The authors proposed a new method to characterize the lower bound of scalar curvature using the monotonicity formula. This method not only deepens the understanding of geometric inequalities but also provides new tools for research in related fields.
### Formulas and technical details
- **Monotonicity formula**:
\[
F(t) := 4\pi t - t^2 \int_{\{u = 1 - 1/t\} \setminus \text{Crit}(u)} |\nabla u| H \, d\sigma + t^3 \int_{\{u = 1 - 1/t\} \setminus \text{Crit}(u)} |\nabla u|^2 \, d\sigma
\]
where \(\text{Crit}(u)\) is the set of critical points of \(u\), \(H\) is the mean curvature of the level set, and \(\nu=\frac{\nabla u}{|\nabla u|}\) is the unit normal vector field pointing to infinity.
- **Derivative of the monotonicity formula**:
\[
F'(t) = 4\pi + \int_{\{u = 1 - 1/t\} \setminus \text{Crit}(u)} \left[ -\frac{R_{\Sigma_t}}{2} + \frac{|\nabla_{\Sigma_t} \nabla u|^2}{|\nabla u|^2} + \frac{R}{2} + \frac{|\tilde{h}|^2}{2} + \frac{3}{4} \left( \frac{2|\nabla u|}{1 - u} - H \right)^2 \right] d\sigma
\]
where \(R_{\Sigma_t}\) and \(\nabla_{\Sigma_t}\) respectively represent the scalar curvature and Levi - Civita connection induced by the metric on \(\Sigma_t\), \(h\) and \(H\) respectively represent the second fundamental form and the mean curvature, and \(\tilde{h}\) represents the traceless second fundamental form.
### Small - ball limit
The paper also explored the properties of the monotonicity formula in the small - ball limit, which can be used to accurately determine the value of scalar curvature. Specifically, the authors calculated the small - ball limit of the local Green function and showed the relationship between these limits and scalar curvature.
### Conclusion
By introducing a new monotonicity formula, the authors not only provided new proof methods for the Positive Mass Theorem and the Riemannian Penrose inequality but also proposed a new...