### Abstract

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.

Original language | English (US) |
---|---|

Pages (from-to) | 863-882 |

Number of pages | 20 |

Journal | Advances in Theoretical and Mathematical Physics |

Volume | 22 |

Issue number | 5 |

DOIs | |

State | Published - Jan 1 2018 |

### Fingerprint

### Keywords

- Initial data set
- Jang's equation
- Marginally outer trapped surfaces

### ASJC Scopus subject areas

- Mathematics(all)
- Physics and Astronomy(all)

### Cite this

*Advances in Theoretical and Mathematical Physics*,

*22*(5), 863-882. https://doi.org/10.4310/AJM.2018.v22.n5.a4

**On the geometry and topology of initial data sets with horizons.** / Andersson, Lars; Dahl, Mattias; Galloway, Gregory J.; Pollack, Daniel.

Research output: Contribution to journal › Article

*Advances in Theoretical and Mathematical Physics*, vol. 22, no. 5, pp. 863-882. https://doi.org/10.4310/AJM.2018.v22.n5.a4

}

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

PY - 2018/1/1

Y1 - 2018/1/1

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 - Advances in Theoretical and Mathematical Physics

JF - Advances in Theoretical and Mathematical Physics

SN - 1095-0761

IS - 5

ER -