Outermost apparent horizons diffeomorphic to unit normal bundles
type: Item
instance of: scholarly article
title: Outermost apparent horizons diffeomorphic to unit normal bundles
zbMATH Open document ID: 1475.53039
author: Mattias Dahl
author: Eric Larsson
published in: The Asian Journal of Mathematics
publication date: 2020-08-26T00:00:00Z
full work available at URL: https://arxiv.org/abs/1606.08418
review text: In this paper, the authors study asymptotically Euclidean metrics, which are Riemannian manifolds which have an end where the metric converges to that of Euclidean flat space. In particular, they study the \emph{outermost apparent horizon}, which is defined to be a bounding minimal hypersurface which encloses all other bounding minimal hypersurfaces. The main motivation of this paper is to study the following question: Is the existence of a positive scalar curvature metric sufficient for a compact, bounding manifold to be the outermost apparent horizon in an asymptotically Euclidean manifold of nonnegative scalar curvature? This question is related to the large-scale geometry of spacetime in general relativity, so has applications in mathematical physics. The authors are not able to answer this question, but are able to construct many new examples of outermost apparent horizons in a systematic way. The main result of this paper is to show that given a smooth submanifold \(S \subset \mathbb{R}^n\) of codimension at least three, it is possible to construct a Riemannian metric of \(\mathbb{R}^n \backslash S\) which is asymptotically Euclidean and for which the outermost apparent horizon is diffeomorphic to the unit normal bundle of \(S\). The authors do this using an explicit metric which is defined in terms of the Green's function of the Euclidean Laplacian. As a result of this theorem, they show that horizons can be diffeomorphic to products of spheres, have many components, or even have arbitrary fundamental group. Going further, they find that given compact a embedded smooth submanifold of codimension at least 3, then there is an asymptotically Euclidean metric on \(\mathbb{R}^n\) with non-negative scalar curvature for which the outermost apparent horizon is diffeomorphic to the unit normal bundle. Furthermore, the horizon is the graph of a smooth function on the unit normal bundle in terms of normal coordinates for \(S\).
reviewed by: Gabriel Khan
Mathematics Subject Classification ID: 53C21
Mathematics Subject Classification ID: 53A10
Mathematics Subject Classification ID: 53C80
Mathematics Subject Classification ID: 83C57
zbMATH DE Number: 7240171
zbMATH Keywords: asymptotically Euclidean manifolds
zbMATH Keywords: outermost apparent horizon
zbMATH Keywords: positive scalar curvature
zbMATH Keywords: black holes
zbMATH Keywords: general relativity
MaRDI profile type: MaRDI publication profile
arXiv ID: 1606.08418
Recommended article: Existence of outermost apparent horizons with product of spheres topology
Recommended article: The differentiability of horizons along their generators
Recommended article: Regularity of horizons and the area theorem
Recommended article: On the differentiability of compact Cauchy horizons
Recommended article: On the differentiability order of horizons
Recommended article: Degenerate horizons, Einstein metrics, and Lens space bundles
Recommended article: Extremal isolated horizons: a local uniqueness theorem
Recommended article: de Sitter space and extremal surfaces for spheres
Recommended article: Universal horizons in maximally symmetric spaces
Recommended article: Geometry of generic isolated horizons
description: scientific article