English

Exterior Schwarzschild initial data for degenerate apparent horizons

Differential Geometry 2020-11-09 v2

Abstract

In this note we show that if gg is a smooth Riemannian metric on S2\mathbb{S}^2 such that the first eigenvalue of the operator Lg:=Δg+KgL_g:=-\Delta_g +K_g satisfies λ1(Lg)=0\lambda_1(L_g)=0 then (S2,g)(\mathbb{S}^2, g) arises as an apparent horizon in an asymptotically flat initial data set with ADM mass arbitrarily close to the associated Hawking mass area(S2,g)/16π\sqrt{\text{area}(\mathbb{S}^2, g)/16\pi}. In particular, this determines the Bartnik quasilocal mass (introduced by Bartnik \cite{Bartnik} in 1989) associated with (S2,g)(\mathbb{S}^2, g) in this setting. We prove these by modifying the construction of Mantoulidis-Schoen \cite{MS} who proved the same results in the case λ1(Lg)>0\lambda_1(L_g)>0. It follows that λ1(g)0\lambda_1(g)\geq 0 is necessary and sufficient for (S2,g)(\mathbb{S}^2, g) to arise from an apparent horizon in an asyptotically flat space-time under the dominant energy condition and in the time symmetric setting, and that the Bartnik mass of the horizon is area(S2,g)/16π\sqrt{\text{area}(\mathbb{S}^2, g)/16\pi}.

Cite

@article{arxiv.2004.09060,
  title  = {Exterior Schwarzschild initial data for degenerate apparent horizons},
  author = {Albert Chau and Adam Martens},
  journal= {arXiv preprint arXiv:2004.09060},
  year   = {2020}
}

Comments

7 pages; details added to introduction and statements of Theorem 1.1 and Lemma 2.2

R2 v1 2026-06-23T14:57:26.472Z