Hawking Mass Compactness conjecture

About 10 years old · traced to

Let Mj3M_j^3 be a sequence of three-dimensional oriented manifolds satisfying

Vol⁡(Mj)≤V0,Vol⁡(∂Mj)=A0,Diam⁡(Mj)≤D0.\operatorname{Vol}(M_j)\le V_0,\qquad \operatorname{Vol}(\partial M_j)=A_0,\qquad \operatorname{Diam}(M_j)\le D_0.

Assume also

Scalar⁡j≥0,H∂Mj≥0,mH(∂Mj)≤m0,\operatorname{Scalar}_j\ge 0,\qquad H_{\partial M_j}\ge 0,\qquad m_H(\partial M_j)\le m_0,

and either that there are no closed interior minimal surfaces or that MinA⁡(Mj)≥A1>0\operatorname{MinA}(M_j)\ge A_1>0. Hawking Mass Compactness conjecture. A subsequence should converge in the intrinsic flat sense, with

Mjk⟶FM∞,M(Mjk)→M(M∞),M_{j_k}\stackrel{\mathcal F}{\longrightarrow}M_\infty, \qquad {\mathbf M}(M_{j_k})\to {\mathbf M}(M_\infty),

and M∞M_\infty should satisfy the scalar-curvature and Hawking-mass bounds in some generalized sense. One might replace Hawking mass by another quasilocal mass. This is known in the rotationally symmetric setting when there are no closed interior minimal surfaces, but the general compactness statement remains open.

References

Primary source

Christina Sormani, “Scalar Curvature and Intrinsic Flat Convergence”, arXiv:1606.08949 (2016).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.