Existence, regularity, and properties of generalized apparent horizons (Q625470)

The author proves the following conjecture of Tom Ilmanen and Hubert Bray by using the construction in [\textit{M. Eichmair}, The Plateau problem for marginally trapped surfaces. \url{arXiv:0711.4139v3} preprint (2007)]. Conjecture. Let \((M^n,g,p)\) be a complete asymptotically flat initial data set which contains a generalized trapped surface, and let \(2\leq n\leq 7\). Then there exists a unique outermost generalized trapped surface \(\Sigma^{n-1}\subset M^n\). Moreover, this surface \(\Sigma^{n-1}\) is a generalized apparent horizon and it is outer area minimizing (every hypersurface which encloses it has at least its area).