TY - JOUR

T1 - On the geometry and topology of initial data sets with horizons

AU - Andersson, Lars

AU - Dahl, Mattias

AU - Galloway, Gregory J.

AU - Pollack, Daniel

N1 - Publisher Copyright:
© 2018 International Press.
Copyright:
Copyright 2019 Elsevier B.V., All rights reserved.

PY - 2018

Y1 - 2018

N2 - We study the relationship between initial data sets with horizons and the existence of metrics of positive scalar curvature. We define a Cauchy Domain of Outer Communications (CDOC) to be an asymptotically flat initial set (M, g,K) such that the boundary ∂M of M is a collection of Marginally Outer (or Inner) Trapped Surfaces (MOTSs and/or MITSs) and such that M \ ∂M contains no MOTSs or MITSs. This definition is meant to capture, on the level of the initial data sets, the well known notion of the domain of outer communications (DOC) as the region of spacetime outside of all the black holes (and white holes). Our main theorem establishes that in dimensions 3 ≤ n ≤ 7, a CDOC which satisfies the dominant energy condition and has a strictly stable boundary has a positive scalar curvature metric which smoothly compactifies the asymptotically flat end and is a Riemannian product metric near the boundary where the cross sectional metric is conformal to a small perturbation of the initial metric on the boundary ∂M induced by g. This result may be viewed as a generalization of Galloway and Schoen's higher dimensional black hole topology theorem [17] to the exterior of the horizon. We also show how this result leads to a number of topological restrictions on the CDOC, which allows one to also view this as an extension of the initial data topological censorship theorem, established in [10] in dimension n = 3, to higher dimensions.

AB - We study the relationship between initial data sets with horizons and the existence of metrics of positive scalar curvature. We define a Cauchy Domain of Outer Communications (CDOC) to be an asymptotically flat initial set (M, g,K) such that the boundary ∂M of M is a collection of Marginally Outer (or Inner) Trapped Surfaces (MOTSs and/or MITSs) and such that M \ ∂M contains no MOTSs or MITSs. This definition is meant to capture, on the level of the initial data sets, the well known notion of the domain of outer communications (DOC) as the region of spacetime outside of all the black holes (and white holes). Our main theorem establishes that in dimensions 3 ≤ n ≤ 7, a CDOC which satisfies the dominant energy condition and has a strictly stable boundary has a positive scalar curvature metric which smoothly compactifies the asymptotically flat end and is a Riemannian product metric near the boundary where the cross sectional metric is conformal to a small perturbation of the initial metric on the boundary ∂M induced by g. This result may be viewed as a generalization of Galloway and Schoen's higher dimensional black hole topology theorem [17] to the exterior of the horizon. We also show how this result leads to a number of topological restrictions on the CDOC, which allows one to also view this as an extension of the initial data topological censorship theorem, established in [10] in dimension n = 3, to higher dimensions.

KW - Initial data set

KW - Jang's equation

KW - Marginally outer trapped surfaces

UR - http://www.scopus.com/inward/record.url?scp=85058986797&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85058986797&partnerID=8YFLogxK

U2 - 10.4310/AJM.2018.v22.n5.a4

DO - 10.4310/AJM.2018.v22.n5.a4

M3 - Article

AN - SCOPUS:85058986797

VL - 22

SP - 863

EP - 882

JO - Asian Journal of Mathematics

JF - Asian Journal of Mathematics

SN - 1093-6106

IS - 5

ER -