Abstract:The purpose of this article is study rigidity of free boundary minimal two-disks that locally maximize the modified Hawking mass on a Riemannian three-manifold with positive lower bound on its scalar curvature and mean convex boundary. Assuming the strict stability of {\Sigma}, we prove that a neighborhood of it in M is isometric to one of the half de Sitter-Schwarzschild space.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study the rigidity problem when the modified Hawking mass of free - boundary minimal disks is locally maximized on Riemannian three - manifolds under the conditions of scalar curvature with a positive lower bound and mean - convex boundary. Specifically, the authors explore and prove, under the assumption that Σ is strictly stable, the conclusion that a neighborhood containing Σ is locally isometric to the semi - de Sitter - Schwarzschild space in the manifold \(M\). This involves the study of free - boundary minimal surfaces and uses the modified Hawking mass to establish the connection between these surfaces and general relativity.
The main objective of the paper is to show the connection between free - boundary minimal surfaces and general relativity by using the modified Hawking mass. The modified Hawking mass is defined as:
\[
\tilde{m}_H(\Sigma)=\sqrt{\frac{|\Sigma|}{8\pi}}\left(\chi(\Sigma)-\frac{1}{8\pi}\int_\Sigma\left(H^2 + \frac{2}{3}\Lambda\right)d\sigma\right)
\]
where \(\chi(\Sigma)\) is the Euler characteristic number of \(\Sigma\), \(H\) is the mean curvature of \(\Sigma\), \(|\Sigma|\) is the area of \(\Sigma\), and \(\Lambda\) is the infimum of the scalar curvature.
The main results in the paper include:
1. **Theorem 3**: It is proved that the slices of the semi - de Sitter - Schwarzschild space are local maximum points, that is, if \(\Sigma\subset\mathbb{R}\times S^2_+\) is a two - dimensional disk embedded with a free boundary and is a normal graph on \(\Sigma_r\), then there exists \(\epsilon> 0\) such that:
- either \(\tilde{m}_H(\Sigma)<\tilde{m}_H(\Sigma_r)\)
- or \(\Sigma\) is a slice \(\Sigma_s\) for some \(s\)
2. **Theorem 4**: Suppose \((M, g)\) is a Riemannian three - manifold with a boundary, satisfying \(R\geq2\) and \(H_{\partial M}\geq0\). If \(\Sigma\) is a minimal two - dimensional disk with a strictly stable free boundary and locally maximizes the modified Hawking mass, then the Gaussian curvature of \(\Sigma\) is a constant \(1/a^2\) (where \(a\in(0, 1)\)), the geodesic curvature of \(\partial\Sigma\) is zero, and a neighborhood of \(\Sigma\) in \((M, g)\) is locally isometric to the semi - de Sitter - Schwarzschild space \(((−\epsilon,\epsilon)\times\Sigma, g_a)\).
The solutions to these problems not only deepen the understanding of free - boundary minimal surfaces but also provide a new perspective on certain phenomena in general relativity.