-
Mass Lower Bounds for Asymptotically Locally Flat Manifolds
Authors:
Marcus Khuri,
Jian Wang
Abstract:
We establish positive mass type theorems for asymptotically locally flat (ALF) manifolds, which have asymptotic ends modeled on circle bundles over a Euclidean base with fibers of constant length. In particular for dimensions $n\leq 7$, the mass of AF manifolds is shown to be nonnegative under the assumption of nonnegative scalar curvature if a codimension-two coordinate sphere in the asymptotic e…
▽ More
We establish positive mass type theorems for asymptotically locally flat (ALF) manifolds, which have asymptotic ends modeled on circle bundles over a Euclidean base with fibers of constant length. In particular for dimensions $n\leq 7$, the mass of AF manifolds is shown to be nonnegative under the assumption of nonnegative scalar curvature if a codimension-two coordinate sphere in the asymptotic end is trivial in homology, with zero mass achieved only for the product $\mathbb{R}^{n-1}\times S^1$. The same conclusions are obtained in dimension four for ALF manifolds admitting an almost free $U(1)$ action. Moreover, in this setting the mass is shown to be bounded below by a multiple of the degree of the circle bundle at infinity. This is the first such result illustrating how nontrivial topology of the end contributes to the mass.
△ Less
Submitted 3 September, 2025;
originally announced September 2025.
-
The Positive Mass Theorem for Creased Initial Data
Authors:
Demetre Kazaras,
Marcus Khuri,
Michael Lin
Abstract:
We establish a spacetime positive mass theorem and rigidity statement for asymptotically flat spin initial data sets with a codimension one singularity controlled by a matching Bartnik data condition involving spacetime rotations, and discuss applications. This generalizes several previous works on the topic, including results of Miao, Tsang, and Shi-Tam.
We establish a spacetime positive mass theorem and rigidity statement for asymptotically flat spin initial data sets with a codimension one singularity controlled by a matching Bartnik data condition involving spacetime rotations, and discuss applications. This generalizes several previous works on the topic, including results of Miao, Tsang, and Shi-Tam.
△ Less
Submitted 24 August, 2025;
originally announced August 2025.
-
Proof of the Spacetime Penrose Inequality With Suboptimal Constant in the Asymptotically Flat and Asymptotically Hyperboloidal Regimes
Authors:
Brian Allen,
Edward Bryden,
Demetre Kazaras,
Marcus Khuri
Abstract:
We establish mass lower bounds of Penrose-type in the setting of $3$-dimensional initial data sets for the Einstein equations satisfying the dominant energy condition, which are either asymptotically flat or asymptotically hyperboloidal. More precisely, the lower bound consists of a universal constant multiplied by the square root of the minimal area required to enclose the outermost apparent hori…
▽ More
We establish mass lower bounds of Penrose-type in the setting of $3$-dimensional initial data sets for the Einstein equations satisfying the dominant energy condition, which are either asymptotically flat or asymptotically hyperboloidal. More precisely, the lower bound consists of a universal constant multiplied by the square root of the minimal area required to enclose the outermost apparent horizon. Here the outermost apparent horizon may contain both marginally outer trapped (MOTS) and marginally inner trapped (MITS) components. The proof is based on the harmonic level set approach to the positive mass theorem, combined with the Jang equation and techniques arising from the stability argument of Dong-Song \cite{Dong-Song}. As a corollary, we also obtain a version of the Penrose inequality for 3-dimensional asymptotically hyperbolic Riemannian manifolds.
△ Less
Submitted 14 April, 2025;
originally announced April 2025.
-
The Mass-Angular Momentum Inequality for Multiple Black Holes
Authors:
Qing Han,
Marcus Khuri,
Gilbert Weinstein,
Jingang Xiong
Abstract:
This is the second in a series of two papers to establish the conjectured mass-angular momentum inequality for multiple black holes, modulo the extreme black hole 'no hair theorem'. More precisely it is shown that either there is a counterexample to black hole uniqueness, in the form of a regular axisymmetric stationary vacuum spacetime with an asymptotically flat end and multiple degenerate horiz…
▽ More
This is the second in a series of two papers to establish the conjectured mass-angular momentum inequality for multiple black holes, modulo the extreme black hole 'no hair theorem'. More precisely it is shown that either there is a counterexample to black hole uniqueness, in the form of a regular axisymmetric stationary vacuum spacetime with an asymptotically flat end and multiple degenerate horizons which is 'ADM minimizing', or the following statement holds. Complete, simply connected, maximal initial data sets for the Einstein equations with multiple ends that are either asymptotically flat or asymptotically cylindrical, admit an ADM mass lower bound given by the square root of total angular momentum, under the assumption of nonnegative energy density and axisymmetry. Moreover, equality is achieved in the mass lower bound only for a constant time slice of an extreme Kerr spacetime. The proof is based on a novel flow of singular harmonic maps with hyperbolic plane target, under which the renormalized harmonic map energy is monotonically nonincreasing. Relevant properties of the flow are achieved through a refined asymptotic analysis of solutions to the harmonic map equations and their linearization.
△ Less
Submitted 25 January, 2025;
originally announced January 2025.
-
The Spacetime Penrose Inequality for Cohomogeneity One Initial Data
Authors:
Marcus Khuri,
Hari Kunduri
Abstract:
We prove the spacetime Penrose inequality for asymptotically flat $2(n+1)$-dimensional initial data sets for the Einstein equations, which are invariant under a cohomogeneity one action of $\mathrm{SU}(n+1)$. Analogous results are obtained for asymptotically hyperbolic initial data that arise as spatial hypersurfaces in asymptotically Anti de-Sitter spacetimes. More precisely, it is shown that wit…
▽ More
We prove the spacetime Penrose inequality for asymptotically flat $2(n+1)$-dimensional initial data sets for the Einstein equations, which are invariant under a cohomogeneity one action of $\mathrm{SU}(n+1)$. Analogous results are obtained for asymptotically hyperbolic initial data that arise as spatial hypersurfaces in asymptotically Anti de-Sitter spacetimes. More precisely, it is shown that with the dominant energy condition, the total mass is bounded below by an explicit function of the outermost apparent horizon area. Furthermore, the inequality is saturated if and only if the initial data isometrically embed into a Schwarzschild(-AdS) spacetime. This generalizes the only previously known case of the conjectured spacetime Penrose inequality, established under the assumption of spherical symmetry. Additionally, in the time symmetric case, we observe that the inequality holds for $4(n+1)$-dimensional and 16-dimensional initial data invariant under cohomogeneity one actions of $\mathrm{Sp}(n+1)$ and $\mathrm{Spin}(9)$, respectively, thus treating the inequality for all cohomogeneity one actions in this regime.
△ Less
Submitted 19 April, 2024;
originally announced April 2024.
-
Boundary Behavior of Compact Manifolds With Scalar Curvature Lower Bounds and Static Quasi-Local Mass of Tori
Authors:
Aghil Alaee,
Pei-Ken Hung,
Marcus Khuri
Abstract:
A classic result of Shi and Tam states that a 2-sphere of positive Gauss and mean curvature bounding a compact 3-manifold with nonnegative scalar curvature, must have total mean curvature not greater than that of the isometric embedding into Euclidean 3-space, with equality only for domains in this reference manifold. We generalize this result to 2-tori of Guass curvature greater than $-1$, which…
▽ More
A classic result of Shi and Tam states that a 2-sphere of positive Gauss and mean curvature bounding a compact 3-manifold with nonnegative scalar curvature, must have total mean curvature not greater than that of the isometric embedding into Euclidean 3-space, with equality only for domains in this reference manifold. We generalize this result to 2-tori of Guass curvature greater than $-1$, which bound a compact 3-manifold having scalar curvature not less than $-6$ and at least one other boundary component satisfying a 'trapping condition'. The conclusion is that the total weighted mean curvature is not greater than that of an isometric embedding into the Kottler manifold, with equality only for domains in this space. Examples are given to show that the assumption of a secondary boundary component cannot be removed. The result gives a positive mass theorem for the static Brown-York mass of tori, in analogy to the Shi-Tam positivity of the standard Brown-York mass, and represents the first such quasi-local mass positivity result for non-spherical surfaces. Furthermore, we prove a Penrose-type inequality in this setting.
△ Less
Submitted 4 March, 2024;
originally announced March 2024.
-
A Quasi-Local Mass
Authors:
Aghil Alaee,
Marcus Khuri,
Shing-Tung Yau
Abstract:
We define a new gauge independent quasi-local mass and energy, and show its relation to the Brown-York Hamilton-Jacobi analysis. A quasi-local proof of the positivity, based on spacetime harmonic functions, is given for admissible closed spacelike 2-surfaces which enclose an initial data set satisfying the dominant energy condition. Like the Wang-Yau mass, the new definition relies on isometric em…
▽ More
We define a new gauge independent quasi-local mass and energy, and show its relation to the Brown-York Hamilton-Jacobi analysis. A quasi-local proof of the positivity, based on spacetime harmonic functions, is given for admissible closed spacelike 2-surfaces which enclose an initial data set satisfying the dominant energy condition. Like the Wang-Yau mass, the new definition relies on isometric embeddings into Minkowski space, although our notion of admissibility is different from that of Wang-Yau. Rigidity is also established, in that vanishing energy implies that the 2-surface arises from an embedding into Minkowski space, and conversely the mass vanishes for any such surface. Furthermore, we show convergence to the ADM mass at spatial infinity, and provide the equation associated with optimal isometric embedding.
△ Less
Submitted 6 September, 2023;
originally announced September 2023.
-
Spectral Torical Band Inequalities and Generalizations of the Schoen-Yau Black Hole Existence Theorem
Authors:
Sven Hirsch,
Demetre Kazaras,
Marcus Khuri,
Yiyue Zhang
Abstract:
Generalized torical band inequalities give precise upper bounds for the width of compact manifolds with boundary in terms of positive pointwise lower bounds for scalar curvature, assuming certain topological conditions. We extend several incarnations of these results in which pointwise scalar curvature bounds are replaced with spectral scalar curvature bounds. More precisely, we prove upper bounds…
▽ More
Generalized torical band inequalities give precise upper bounds for the width of compact manifolds with boundary in terms of positive pointwise lower bounds for scalar curvature, assuming certain topological conditions. We extend several incarnations of these results in which pointwise scalar curvature bounds are replaced with spectral scalar curvature bounds. More precisely, we prove upper bounds for the width in terms of the principal eigenvalue of the operator $-Δ+cR$, where $R$ denotes scalar curvature and $c>0$ is a constant. Three separate strategies are employed to obtain distinct results holding in different dimensions and under varying hypotheses, namely we utilize spacetime harmonic functions, $μ$-bubbles, and spinorial Callias operators. In dimension 3, where the strongest result is produced, we are also able to treat open and incomplete manifolds, and establish the appropriate rigidity statements. Additionally, a version of such spectral torus band inequalities is given where tori are replaced with cubes. Finally, as a corollary we generalize classical work of Schoen and Yau, on the existence of black holes due to concentration of matter, to higher dimensions and with alternate measurements of size.
△ Less
Submitted 27 January, 2023; v1 submitted 19 January, 2023;
originally announced January 2023.
-
Asymptotic Analysis of Harmonic Maps With Prescribed Singularities
Authors:
Qing Han,
Marcus Khuri,
Gilbert Weinstein,
Jingang Xiong
Abstract:
This is the first in a series of two papers to establish the mass-angular momentum inequality for multiple black holes. We study singular harmonic maps from domains of 3-dimensional Euclidean space to the hyperbolic plane having bounded hyperbolic distance to extreme Kerr harmonic maps. We prove that every such harmonic map admits a unique tangent harmonic map at the extreme black hole horizon. Th…
▽ More
This is the first in a series of two papers to establish the mass-angular momentum inequality for multiple black holes. We study singular harmonic maps from domains of 3-dimensional Euclidean space to the hyperbolic plane having bounded hyperbolic distance to extreme Kerr harmonic maps. We prove that every such harmonic map admits a unique tangent harmonic map at the extreme black hole horizon. The possible tangent maps are classified and shown to be shifted `extreme Kerr' geodesics in the hyperbolic plane that depend on two parameters, one determined by angular momentum and another by conical singularities. In addition, rates of convergence to the tangent map are established. Similarly, expansions in the asymptotically flat end are presented. These results, together with those of Li-Tian [24, 25] and Weinstein [35,36], provide a complete regularity theory for harmonic maps from $\mathbb R^3\setminus z\text{-axis}$ to $\mathbb H^2$ with these prescribed singularities. The analysis is additionally utilized to prove existence of the so called near horizon limit, and to compute the associated near horizon geometries of extreme black holes.
△ Less
Submitted 30 August, 2024; v1 submitted 30 December, 2022;
originally announced December 2022.
-
Black Lenses in Kaluza-Klein Matter
Authors:
Marcus A. Khuri,
Jordan F. Rainone
Abstract:
We present the first examples of formally asymptotically flat black hole solutions with horizons of general lens space topology $L(p,q)$. These 5-dimensional static/stationary spacetimes are regular on and outside the event horizon for any choice of relatively prime integers $1\leq q<p$, in particular conical singularities are absent. They are supported by Kaluza-Klein matter fields arising from h…
▽ More
We present the first examples of formally asymptotically flat black hole solutions with horizons of general lens space topology $L(p,q)$. These 5-dimensional static/stationary spacetimes are regular on and outside the event horizon for any choice of relatively prime integers $1\leq q<p$, in particular conical singularities are absent. They are supported by Kaluza-Klein matter fields arising from higher dimensional vacuum solutions through reduction on tori. The technique is sufficiently robust that it leads to the explicit construction of regular solutions, in any dimension, realising the full range of possible topologies for the horizon as well as the domain of outer communication, that are allowable with multi-axisymmetry. Lastly, as a by product, we obtain new examples of regular gravitational instantons in higher dimensions.
△ Less
Submitted 10 July, 2023; v1 submitted 13 December, 2022;
originally announced December 2022.
-
Rigid comparison geometry for Riemannian bands and open incomplete manifolds
Authors:
Sven Hirsch,
Demetre Kazaras,
Marcus Khuri,
Yiyue Zhang
Abstract:
Comparison theorems are foundational to our understanding of the geometric features implied by various curvature constraints. This paper considers manifolds with a positive lower bound on either scalar, 2-Ricci, or Ricci curvature, and contains a variety of theorems which provide sharp relationships between this bound and notions of {\em{width}}. Some inequalities leverage geometric quantities suc…
▽ More
Comparison theorems are foundational to our understanding of the geometric features implied by various curvature constraints. This paper considers manifolds with a positive lower bound on either scalar, 2-Ricci, or Ricci curvature, and contains a variety of theorems which provide sharp relationships between this bound and notions of {\em{width}}. Some inequalities leverage geometric quantities such as boundary mean curvature, while others involve topological conditions in the form of linking requirements or homological constraints. In several of these results open and incomplete manifolds are studied, one of which partially addresses a conjecture of Gromov in this setting. The majority of results are accompanied by rigidity statements which isolate various model geometries -- both complete and incomplete -- including a new characterization of round lens spaces, and other models that have not appeared elsewhere. As a byproduct, we additionally give new and quantitative proofs of several classical comparison statements such as Bonnet-Myers' and Frankel's Theorem, as well as a version of Llarull's Theorem and a notable fact concerning asymptotically flat manifolds. The results that we present vary significantly in character, however a common theme is present in that the lead role in each proof is played by \emph{spacetime harmonic functions}, which are solutions to a certain elliptic equation originally designed to study mass in mathematical general relativity.
△ Less
Submitted 25 May, 2023; v1 submitted 26 September, 2022;
originally announced September 2022.
-
Asymptotically Hyperbolic Einstein Constraint Equations with Apparent Horizon Boundary and the Penrose Inequality for Perturbations of Schwarzschild-AdS
Authors:
Marcus Khuri,
Jarosław Kopiński
Abstract:
We prove the existence of asymptotically hyperbolic solutions to the vacuum Einstein constraint equations with a marginally outer trapped boundary of positive mean curvature, using the constant mean curvature conformal method. As an application of this result, we verify the Penrose inequality for certain perturbations of Schwarzschild Anti-de Sitter black hole initial data.
We prove the existence of asymptotically hyperbolic solutions to the vacuum Einstein constraint equations with a marginally outer trapped boundary of positive mean curvature, using the constant mean curvature conformal method. As an application of this result, we verify the Penrose inequality for certain perturbations of Schwarzschild Anti-de Sitter black hole initial data.
△ Less
Submitted 2 September, 2022;
originally announced September 2022.
-
Gravitational Solitons and Complete Ricci Flat Riemannian Manifolds of Infinite Topological Type
Authors:
Marcus Khuri,
Martin Reiris,
Gilbert Weinstein,
Sumio Yamada
Abstract:
We present several new space-periodic solutions of the static vacuum Einstein equations in higher dimensions, both with and without black holes, having Kasner asymptotics. These latter solutions are referred to as gravitational solitons. Further partially compactified solutions are also obtained by taking appropriate quotients, and the topologies are computed explicitly in terms of connected sums…
▽ More
We present several new space-periodic solutions of the static vacuum Einstein equations in higher dimensions, both with and without black holes, having Kasner asymptotics. These latter solutions are referred to as gravitational solitons. Further partially compactified solutions are also obtained by taking appropriate quotients, and the topologies are computed explicitly in terms of connected sums of products of spheres. In addition, it is shown that there is a correspondence, via Wick rotation, between the spacelike slices of the solitons and black hole solutions in one dimension less. As a corollary, the solitons give rise to complete Ricci flat Riemannian manifolds of infinite topological type and generic holonomy, in dimensions 4 and higher.
△ Less
Submitted 21 April, 2022; v1 submitted 17 April, 2022;
originally announced April 2022.
-
The Geometry and Topology of Stationary Multi-Axisymmetric Vacuum Black Holes in Higher Dimensions
Authors:
Vishnu Kakkat,
Marcus Khuri,
Jordan Rainone,
Gilbert Weinstein
Abstract:
Extending recent work in 5 dimensions, we prove the existence and uniqueness of solutions to the reduced Einstein equations for vacuum black holes in $(n+3)$-dimensional spacetimes admitting the isometry group $\mathbb{R}\times U(1)^{n}$, with Kaluza-Klein asymptotics for $n\geq3$. This is equivalent to establishing existence and uniqueness for singular harmonic maps…
▽ More
Extending recent work in 5 dimensions, we prove the existence and uniqueness of solutions to the reduced Einstein equations for vacuum black holes in $(n+3)$-dimensional spacetimes admitting the isometry group $\mathbb{R}\times U(1)^{n}$, with Kaluza-Klein asymptotics for $n\geq3$. This is equivalent to establishing existence and uniqueness for singular harmonic maps $\varphi: \mathbb{R}^3\setminusΓ\rightarrow SL(n+1,\mathbb{R})/SO(n+1)$ with prescribed blow-up along $Γ$, a subset of the $z$-axis in $\mathbb{R}^3$. We also analyze the topology of the domain of outer communication for these spacetimes, by developing an appropriate generalization of the plumbing construction used in the lower dimensional case. Furthermore, we provide a counterexample to a conjecture of Hollands-Ishibashi concerning the topological classification of the domain of outer communication. A refined version of the conjecture is then presented and established in spacetime dimensions less than 8.
△ Less
Submitted 15 March, 2022;
originally announced March 2022.
-
The Positive Energy Theorem for Asymptotically Hyperboloidal Initial Data Sets With Toroidal Infinity and Related Rigidity Results
Authors:
Aghil Alaee,
Pei-Ken Hung,
Marcus Khuri
Abstract:
We establish the positive energy theorem and a Penrose-type inequality for 3-dimensional asymptotically hyperboloidal initial data sets with toroidal infinity, weakly trapped boundary, and satisfying the dominant energy condition. In the umbilic case, a rigidity statement is proven showing that the total energy vanishes precisely when the initial data manifold is isometric to a portion of the cano…
▽ More
We establish the positive energy theorem and a Penrose-type inequality for 3-dimensional asymptotically hyperboloidal initial data sets with toroidal infinity, weakly trapped boundary, and satisfying the dominant energy condition. In the umbilic case, a rigidity statement is proven showing that the total energy vanishes precisely when the initial data manifold is isometric to a portion of the canonical slice of the associated Kottler spacetime. Furthermore, we provide a new proof of the recent rigidity theorems of Eichmair-Galloway-Mendes [10] in dimension 3, with weakened hypotheses in certain cases. These results are obtained through an analysis of the level sets of spacetime harmonic functions.
△ Less
Submitted 4 October, 2022; v1 submitted 12 January, 2022;
originally announced January 2022.
-
Stability of the positive mass theorem under Ricci curvature lower bounds
Authors:
Demetre Kazaras,
Marcus Khuri,
Dan Lee
Abstract:
We establish Gromov-Hausdorff stability of the Riemannian positive mass theorem under the assumption of a Ricci curvature lower bound. More precisely, consider a class of orientable complete uniformly asymptotically flat Riemannian 3-manifolds with nonnegative scalar curvature, vanishing second homology, and a uniform lower bound on Ricci curvature. We prove that if a sequence of such manifolds ha…
▽ More
We establish Gromov-Hausdorff stability of the Riemannian positive mass theorem under the assumption of a Ricci curvature lower bound. More precisely, consider a class of orientable complete uniformly asymptotically flat Riemannian 3-manifolds with nonnegative scalar curvature, vanishing second homology, and a uniform lower bound on Ricci curvature. We prove that if a sequence of such manifolds has ADM mass approaching zero, then it must converge to Euclidean 3-space in the pointed Gromov-Hausdorff sense. In particular, this confirms Huisken and Ilmanen's conjecture on stability of the positive mass theorem under the assumptions described above. The proof is based on the harmonic level set approach to proving the positive mass theorem, combined with techniques used in the proof of Cheeger and Colding's almost splitting theorem. Furthermore, we show that the same results hold under a more general lower bound on scalar curvature.
△ Less
Submitted 9 November, 2021;
originally announced November 2021.
-
Balancing Static Vacuum Black Holes with Signed Masses in 4 and 5 Dimensions
Authors:
Marcus Khuri,
Gilbert Weinstein,
Sumio Yamada
Abstract:
We construct a new set of asymptotically flat, static vacuum solutions to the Einstein equations in dimensions 4 and 5, which may be interpreted as a superposition of positive and negative mass black holes. The resulting spacetimes are axisymmetric in 4-dimensions and bi-axisymmetric in 5-dimensions, and are regular away from the negative mass singularities, for instance conical singularities are…
▽ More
We construct a new set of asymptotically flat, static vacuum solutions to the Einstein equations in dimensions 4 and 5, which may be interpreted as a superposition of positive and negative mass black holes. The resulting spacetimes are axisymmetric in 4-dimensions and bi-axisymmetric in 5-dimensions, and are regular away from the negative mass singularities, for instance conical singularities are absent along the axes. In 5-dimensions, the topologies of signed mass black holes used in the construction may be either spheres $S^3$ or rings $S^1 \times S^2$; in particular, the negative mass static black ring solution is introduced. A primary observation that facilitates the superposition is the fact that, in Weyl-Papapetrou coordinates, negative mass singularities arise as overlapping singular support for a particular type of Green's function. Furthermore, a careful analysis of conical singularities along axes is performed, and formulas are obtained for their propagation across horizons, negative mass singularities, and corners. The methods are robust, and may be used to construct a multitude of further examples. Lastly, we show that balancing does not occur between any two signed mass black holes of the type studied here in 4 dimensions, while in 5 dimensions two-body balancing is possible.
△ Less
Submitted 26 August, 2021; v1 submitted 27 May, 2021;
originally announced May 2021.
-
Cosmic Cloaking of Rich Extra Dimensions
Authors:
Aghil Alaee,
Marcus Khuri,
Hari Kunduri
Abstract:
We present arguments that show why it is difficult to see \emph{rich} extra dimensions in the Universe. More precisely, we study the conditions under which significant size and variation of the extra dimensions in a Kaluza-Klein compactification lead to a black hole in the lower dimensional theory. The idea is based on the hoop (or trapped surface) conjecture concerning black hole existence, as we…
▽ More
We present arguments that show why it is difficult to see \emph{rich} extra dimensions in the Universe. More precisely, we study the conditions under which significant size and variation of the extra dimensions in a Kaluza-Klein compactification lead to a black hole in the lower dimensional theory. The idea is based on the hoop (or trapped surface) conjecture concerning black hole existence, as well as on the observation that dimensional reduction on macroscopically large, twisted, or highly dynamical extra dimensions contributes positively to the energy density in the lower dimensional theory and can induce gravitational collapse. We analyze these conditions and find that in an idealized scenario a threshold for the size exists, on the order of $10^{-19}m$, such that extra dimensions of length above this level must lie inside black holes, thus shielding them from the view of outside observers. The threshold is highly dependent on the size of the Universe, leading to the speculation that in the early stages of evolution truly macroscopic and large extra dimensions would have been visible.
△ Less
Submitted 25 May, 2021; v1 submitted 5 March, 2021;
originally announced March 2021.
-
Spacetime Harmonic Functions and Applications to Mass
Authors:
Hubert Bray,
Sven Hirsch,
Demetre Kazaras,
Marcus Khuri,
Yiyue Zhang
Abstract:
In the pioneering work of Stern, level sets of harmonic functions have been shown to be an effective tool in the study of scalar curvature in dimension 3. Generalizations of this idea, utilizing level sets of so called spacetime harmonic functions as well as other elliptic equations, are similarly effective in treating geometric inequalities involving the ADM mass. In this paper, we survey recent…
▽ More
In the pioneering work of Stern, level sets of harmonic functions have been shown to be an effective tool in the study of scalar curvature in dimension 3. Generalizations of this idea, utilizing level sets of so called spacetime harmonic functions as well as other elliptic equations, are similarly effective in treating geometric inequalities involving the ADM mass. In this paper, we survey recent results in this context, focusing on applications of spacetime harmonic functions to the asymptotically flat and asymptotically hyperbolic versions of the spacetime positive mass theorem, and additionally introduce a new concept of total mass valid in both settings which is encoded in interpolation regions between generic initial data and model geometries. Furthermore, a novel and elementary proof of the positive mass theorem with charge is presented, and the level set approach to the Penrose inequality given by Huisken and Ilmanen is related to the current developments. Lastly, we discuss several open problems.
△ Less
Submitted 22 February, 2021;
originally announced February 2021.
-
The Topology of General Cosmological Models
Authors:
Gregory J. Galloway,
Marcus A. Khuri,
Eric Woolgar
Abstract:
Is the universe finite or infinite, and what shape does it have? These fundamental questions, of which relatively little is known, are typically studied within the context of the standard model of cosmology where the universe is assumed to be homogeneous and isotropic. Here we address the above questions in highly general cosmological models, with the only assumption being that the average flow of…
▽ More
Is the universe finite or infinite, and what shape does it have? These fundamental questions, of which relatively little is known, are typically studied within the context of the standard model of cosmology where the universe is assumed to be homogeneous and isotropic. Here we address the above questions in highly general cosmological models, with the only assumption being that the average flow of matter is irrotational. Using techniques from differential geometry, specifically extensions of the Bonnet-Myers theorem, we derive a condition which implies a finite universe and yields a bound for its diameter. Furthermore, under a weaker condition involving the interplay between curvature and diameter, together with the assumption that the universe is finite (i.e., has closed spatial slices), we provide a concise list of possible topologies. Namely, the spatial sections then would be either the ring topologies $S^1 \times S^2$, $S^1\tilde{\times}S^2$, $S^1\times\mathbb{RP}^2$, $\mathbb{RP}^3 \# \mathbb{RP}^3$, or covered by the sphere $S^3$ or torus $T^3$. In particular, under this condition the basic construction of connected sums would be ruled out (save for one), along with the plethora of topologies associated with negative curvature. These results are obtained from consequences of the geometrization of 3-manifolds, by applying a generalization of the almost splitting theorem together with a curvature formula of Ehlers and Ellis.
△ Less
Submitted 1 June, 2022; v1 submitted 13 October, 2020;
originally announced October 2020.
-
5-Dimensional Space-Periodic Solutions of the Static Vacuum Einstein Equations
Authors:
Marcus Khuri,
Gilbert Weinstein,
Sumio Yamada
Abstract:
An affirmative answer is given to a conjecture of Myers concerning the existence of 5-dimensional regular static vacuum solutions that balance an infinite number of black holes, which have Kasner asymptotics. A variety of examples are constructed, having different combinations of ring $S^1\times S^2$ and sphere $S^3$ cross-sectional horizon topologies. Furthermore, we show the existence of 5-dimen…
▽ More
An affirmative answer is given to a conjecture of Myers concerning the existence of 5-dimensional regular static vacuum solutions that balance an infinite number of black holes, which have Kasner asymptotics. A variety of examples are constructed, having different combinations of ring $S^1\times S^2$ and sphere $S^3$ cross-sectional horizon topologies. Furthermore, we show the existence of 5-dimensional vacuum solitons with Kasner asymptotics. These are regular static space-periodic vacuum spacetimes devoid of black holes. Consequently, we also obtain new examples of complete Riemannian manifolds of nonnegative Ricci curvature in dimension 4, and zero Ricci curvature in dimension 5, having arbitrarily large as well as infinite second Betti number.
△ Less
Submitted 30 January, 2022; v1 submitted 3 September, 2020;
originally announced September 2020.
-
A Bakry-Émery Almost Splitting Result With Applications to the Topology of Black Holes
Authors:
Gregory J. Galloway,
Marcus A. Khuri,
Eric Woolgar
Abstract:
The almost splitting theorem of Cheeger-Colding is established in the setting of almost nonnegative generalized $m$-Bakry-Émery Ricci curvature, in which $m$ is positive and the associated vector field is not necessarily required to be the gradient of a function. In this context it is shown that with a diameter upper bound and volume lower bound the fundamental group of such manifolds is almost ab…
▽ More
The almost splitting theorem of Cheeger-Colding is established in the setting of almost nonnegative generalized $m$-Bakry-Émery Ricci curvature, in which $m$ is positive and the associated vector field is not necessarily required to be the gradient of a function. In this context it is shown that with a diameter upper bound and volume lower bound the fundamental group of such manifolds is almost abelian. Furthermore, extensions of well-known results concerning Ricci curvature lower bounds are given for generalized $m$-Bakry-Émery Ricci curvature. These include: the first Betti number bound of Gromov and Gallot, Anderson's finiteness of fundamental group isomorphism types, volume comparison, the Abresch-Gromoll inequality, and a Cheng-Yau gradient estimate. Finally, this analysis is applied to stationary vacuum black holes in higher dimensions to find that low temperature horizons must have limited topology, similar to the restrictions exhibited by (extreme) horizons of zero temperature.
△ Less
Submitted 16 January, 2021; v1 submitted 19 June, 2020;
originally announced June 2020.
-
Spacetime Harmonic Functions and the Mass of 3-Dimensional Asymptotically Flat Initial Data for the Einstein Equations
Authors:
Sven Hirsch,
Demetre Kazaras,
Marcus Khuri
Abstract:
We give a lower bound for the Lorentz length of the ADM energy-momentum vector (ADM mass) of 3-dimensional asymptotically flat initial data sets for the Einstein equations. The bound is given in terms of linear growth `spacetime harmonic functions' in addition to the energy-momentum density of matter fields, and is valid regardless of whether the dominant energy condition holds or whether the data…
▽ More
We give a lower bound for the Lorentz length of the ADM energy-momentum vector (ADM mass) of 3-dimensional asymptotically flat initial data sets for the Einstein equations. The bound is given in terms of linear growth `spacetime harmonic functions' in addition to the energy-momentum density of matter fields, and is valid regardless of whether the dominant energy condition holds or whether the data possess a boundary. A corollary of this result is a new proof of the spacetime positive mass theorem for complete initial data or those with weakly trapped surface boundary, and includes the rigidity statement which asserts that the mass vanishes if and only if the data arise from Minkowski space. The proof has some analogy with both the Witten spinorial approach as well as the marginally outer trapped surface (MOTS) method of Eichmair, Huang, Lee, and Schoen. Furthermore, this paper generalizes the harmonic level set technique used in the Riemannian case by Bray, Stern, and the second and third authors, albeit with a different class of level sets. Thus, even in the time-symmetric (Riemannian) case a new inequality is achieved.
△ Less
Submitted 16 January, 2021; v1 submitted 4 February, 2020;
originally announced February 2020.
-
Harmonic Functions and The Mass of 3-Dimensional Asymptotically Flat Riemannian Manifolds
Authors:
Hubert L. Bray,
Demetre P. Kazaras,
Marcus A. Khuri,
Daniel L. Stern
Abstract:
An explicit lower bound for the mass of an asymptotically flat Riemannian 3-manifold is given in terms of linear growth harmonic functions and scalar curvature. As a consequence, a new proof of the positive mass theorem is achieved in dimension three. The proof has parallels with both the Schoen-Yau minimal hypersurface technique and Witten's spinorial approach. In particular, the role of harmonic…
▽ More
An explicit lower bound for the mass of an asymptotically flat Riemannian 3-manifold is given in terms of linear growth harmonic functions and scalar curvature. As a consequence, a new proof of the positive mass theorem is achieved in dimension three. The proof has parallels with both the Schoen-Yau minimal hypersurface technique and Witten's spinorial approach. In particular, the role of harmonic spinors and the Lichnerowicz formula in Witten's argument is replaced by that of harmonic functions and a formula introduced by the fourth named author in recent work, while the level sets of harmonic functions take on a role similar to that of the Schoen-Yau minimal hypersurfaces.
△ Less
Submitted 15 November, 2019;
originally announced November 2019.
-
Geometric Inequalities for Quasi-Local Masses
Authors:
Aghil Alaee,
Marcus Khuri,
Shing-Tung Yau
Abstract:
In this paper lower bounds are obtained for quasi-local masses in terms of charge, angular momentum, and horizon area. In particular we treat three quasi-local masses based on a Hamiltonian approach, namely the Brown-York, Liu-Yau, and Wang-Yau masses. The geometric inequalities are motivated by analogous results for the ADM mass. They may be interpreted as localized versions of these inequalities…
▽ More
In this paper lower bounds are obtained for quasi-local masses in terms of charge, angular momentum, and horizon area. In particular we treat three quasi-local masses based on a Hamiltonian approach, namely the Brown-York, Liu-Yau, and Wang-Yau masses. The geometric inequalities are motivated by analogous results for the ADM mass. They may be interpreted as localized versions of these inequalities, and are also closely tied to the conjectured Bekenstein bounds for entropy of macroscopic bodies. In addition, we give a new proof of the positivity property for the Wang-Yau mass which is used to remove the spin condition in higher dimensions. Furthermore, we generalize a recent result of Lu and Miao to obtain a localized version of the Penrose inequality for the static Wang-Yau mass.
△ Less
Submitted 15 October, 2019;
originally announced October 2019.
-
Stability of the Spacetime Positive Mass Theorem in Spherical Symmetry
Authors:
Edward Bryden,
Marcus Khuri,
Christina Sormani
Abstract:
The rigidity statement of the positive mass theorem asserts that an asymptotically flat initial data set for the Einstein equations with zero ADM mass, and satisfying the dominant energy condition, must arise from an embedding into Minkowski space. In this paper we address the question of what happens when the mass is merely small. In particular, we formulate a conjecture for the stability stateme…
▽ More
The rigidity statement of the positive mass theorem asserts that an asymptotically flat initial data set for the Einstein equations with zero ADM mass, and satisfying the dominant energy condition, must arise from an embedding into Minkowski space. In this paper we address the question of what happens when the mass is merely small. In particular, we formulate a conjecture for the stability statement associated with the spacetime version of the positive mass theorem, and give examples to show how it is basically sharp if true. This conjecture is then established under the assumption of spherical symmetry in all dimensions. More precisely, it is shown that a sequence of asymptotically flat initial data satisfying the dominant energy condition, without horizons except possibly at an inner boundary, and with ADM masses tending to zero must arise from isometric embeddings into a sequence of static spacetimes converging to Minkowski space in the pointed volume preserving intrinsic flat sense. The difference of second fundamental forms coming from the embeddings and initial data must converge to zero in $L^p$, $1\leq p<2$. In addition some minor tangential results are also given, including the spacetime version of the Penrose inequality with rigidity statement in all dimensions for spherically symmetric initial data, as well as symmetry inheritance properties for outermost apparent horizons.
△ Less
Submitted 17 January, 2021; v1 submitted 26 June, 2019;
originally announced June 2019.
-
Existence and Uniqueness of Stationary Solutions in 5-Dimensional Minimal Supergravity
Authors:
Aghil Alaee,
Marcus Khuri,
Hari Kunduri
Abstract:
We study the problem of stationary bi-axially symmetric solutions of the $5$-dimensional minimal supergravity equations. Essentially all possible solutions with nondegenerate horizons are produced, having the allowed horizon cross-sectional topologies of the sphere $S^3$, ring $S^1\times S^2$, and lens $L(p,q)$, as well as the three different types of asymptotics. The solutions are smooth apart fr…
▽ More
We study the problem of stationary bi-axially symmetric solutions of the $5$-dimensional minimal supergravity equations. Essentially all possible solutions with nondegenerate horizons are produced, having the allowed horizon cross-sectional topologies of the sphere $S^3$, ring $S^1\times S^2$, and lens $L(p,q)$, as well as the three different types of asymptotics. The solutions are smooth apart from possible conical singularities at the fixed point sets of the axial symmetry. This analysis also includes the solutions known as solitons in which horizons are not present but are rather replaced by nontrivial topology called bubbles which are sustained by dipole fluxes. Uniqueness results are also presented which show that the solutions are completely determined by their angular momenta, electric and dipole charges, and rod structure which fixes the topology. Consequently we are able to identify the finite number of parameters that govern a solution. In addition, a generalization of these results is given where the spacetime is allowed to have orbifold singularities.
△ Less
Submitted 5 January, 2023; v1 submitted 28 April, 2019;
originally announced April 2019.
-
A Penrose-Type Inequality with Angular Momentum and Charge for Axisymmetric Initial Data
Authors:
Marcus Khuri,
Benjamin Sokolowsky,
Gilbert Weinstein
Abstract:
A lower bound for the ADM mass is established in terms of angular momentum, charge, and horizon area in the context of maximal, axisymmetric initial data for the Einstein-Maxwell equations which satisfy the weak energy condition. If, on the horizon, the given data agree to a certain extent with the associated model Kerr-Newman data, then the inequality reduces to the conjectured Penrose inequality…
▽ More
A lower bound for the ADM mass is established in terms of angular momentum, charge, and horizon area in the context of maximal, axisymmetric initial data for the Einstein-Maxwell equations which satisfy the weak energy condition. If, on the horizon, the given data agree to a certain extent with the associated model Kerr-Newman data, then the inequality reduces to the conjectured Penrose inequality with angular momentum and charge. In addition, a rigidity statement is also proven whereby equality is achieved if and only if the data set arises from the canonical slice of a Kerr-Newman spacetime.
△ Less
Submitted 17 January, 2021; v1 submitted 1 February, 2019;
originally announced February 2019.
-
Existence and Uniqueness of Near-Horizon Geometries for 5-Dimensional Black Holes
Authors:
Aghil Alaee,
Marcus Khuri,
Hari Kunduri
Abstract:
We prove existence of all possible bi-axisymmetric near-horizon geometries of 5-dimensional minimal supergravity. These solutions possess the cross-sectional horizon topology $S^3$, $S^1\times S^2$, or $L(p,q)$ and come with prescribed electric charge, two angular momenta, and a dipole charge (in the ring case). Moreover, we establish uniqueness of these solutions up to an isometry of the symmetri…
▽ More
We prove existence of all possible bi-axisymmetric near-horizon geometries of 5-dimensional minimal supergravity. These solutions possess the cross-sectional horizon topology $S^3$, $S^1\times S^2$, or $L(p,q)$ and come with prescribed electric charge, two angular momenta, and a dipole charge (in the ring case). Moreover, we establish uniqueness of these solutions up to an isometry of the symmetric space $G_{2(2)}/SO(4)$.
△ Less
Submitted 19 January, 2021; v1 submitted 19 December, 2018;
originally announced December 2018.
-
Plumbing Constructions and the Domain of Outer Communication for 5-Dimensional Stationary Black Holes
Authors:
Marcus Khuri,
Yukio Matsumoto,
Gilbert Weinstein,
Sumio Yamada
Abstract:
The topology of the domain of outer communication for 5-dimensional stationary bi-axisymmetric black holes is classified in terms of disc bundles over the 2-sphere and plumbing constructions. In particular we find an algorithmic bijective correspondence between the plumbing of disc bundles and the rod structure formalism for such spacetimes. Furthermore, we describe a canonical fill-in for the bla…
▽ More
The topology of the domain of outer communication for 5-dimensional stationary bi-axisymmetric black holes is classified in terms of disc bundles over the 2-sphere and plumbing constructions. In particular we find an algorithmic bijective correspondence between the plumbing of disc bundles and the rod structure formalism for such spacetimes. Furthermore, we describe a canonical fill-in for the black hole region and cap for the asymptotic region. The resulting compactified domain of outer communication is then shown to be homeomorphic to $S^4$, a connected sum of $S^2\times S^2$'s, or a connected sum of complex projective planes $\mathbb{CP}^2$. Combined with recent existence results, it is shown that all such topological types are realized by vacuum solutions. In addition, our methods treat all possible types of asymptotic ends, including spacetimes which are asymptotically flat, asymptotically Kaluza-Klein, or asymptotically locally Euclidean.
△ Less
Submitted 9 July, 2018;
originally announced July 2018.
-
The Positive Mass Theorem with Angular Momentum and Charge for Manifolds with Boundary
Authors:
Edward T. Bryden,
Marcus A. Khuri,
Benjamin D. Sokolowsky
Abstract:
Motivated by the cosmic censorship conjecture in mathematical relativity, we establish the precise mass lower bound for an asymptotically flat Riemannian 3-manifold with nonnegative scalar curvature and minimal surface boundary, in terms of angular momentum and charge. In particular this result does not require the restrictive assumptions of simple connectivity and completeness, which are undesira…
▽ More
Motivated by the cosmic censorship conjecture in mathematical relativity, we establish the precise mass lower bound for an asymptotically flat Riemannian 3-manifold with nonnegative scalar curvature and minimal surface boundary, in terms of angular momentum and charge. In particular this result does not require the restrictive assumptions of simple connectivity and completeness, which are undesirable from both a mathematical and physical perspective.
△ Less
Submitted 24 January, 2021; v1 submitted 27 June, 2018;
originally announced June 2018.
-
New Restrictions on the Topology of Extreme Black Holes
Authors:
Marcus Khuri,
Eric Woolgar,
William Wylie
Abstract:
We provide bounds on the first Betti number and structure results for the fundamental group of horizon cross-sections for extreme stationary vacuum black holes in arbitrary dimension, without additional symmetry hypotheses. This is achieved by exploiting a correspondence between the associated near-horizon geometries and the mathematical notion of $m$-quasi Einstein metrics, in addition to general…
▽ More
We provide bounds on the first Betti number and structure results for the fundamental group of horizon cross-sections for extreme stationary vacuum black holes in arbitrary dimension, without additional symmetry hypotheses. This is achieved by exploiting a correspondence between the associated near-horizon geometries and the mathematical notion of $m$-quasi Einstein metrics, in addition to generalizations of the classical splitting theorem from Riemannian geometry. Consequences are analyzed and refined classifications are given for the possible topologies of these black holes.
△ Less
Submitted 25 July, 2018; v1 submitted 3 April, 2018;
originally announced April 2018.
-
Bekenstein Bounds, Penrose Inequalities, and Black Hole Formation
Authors:
Jaroslaw S. Jaracz,
Marcus A. Khuri
Abstract:
A universal geometric inequality for bodies relating energy, size, angular momentum, and charge is naturally implied by Bekenstein's entropy bounds. We establish versions of this inequality for axisymmetric bodies satisfying appropriate energy conditions, thus lending credence to the most general form of Bekenstein's bound. Similar techniques are then used to prove a Penrose-like inequality in whi…
▽ More
A universal geometric inequality for bodies relating energy, size, angular momentum, and charge is naturally implied by Bekenstein's entropy bounds. We establish versions of this inequality for axisymmetric bodies satisfying appropriate energy conditions, thus lending credence to the most general form of Bekenstein's bound. Similar techniques are then used to prove a Penrose-like inequality in which the ADM energy is bounded from below in terms of horizon area, angular momentum, and charge. Lastly, new criteria for the formation of black holes is presented involving concentration of angular momentum, charge, and nonelectromagnetic matter energy.
△ Less
Submitted 12 February, 2018;
originally announced February 2018.
-
Asymptotically Locally Euclidean/Kaluza-Klein Stationary Vacuum Black Holes in 5 Dimensions
Authors:
Marcus Khuri,
Gilbert Weinstein,
Sumio Yamada
Abstract:
We produce new examples, both explicit and analytical, of bi-axisymmetric stationary vacuum black holes in 5 dimensions. A novel feature of these solutions is that they are asymptotically locally Euclidean in which spatial cross-sections at infinity have lens space $L(p,q)$ topology, or asymptotically Kaluza-Klein so that spatial cross-sections at infinity are topologically $S^1\times S^2$. These…
▽ More
We produce new examples, both explicit and analytical, of bi-axisymmetric stationary vacuum black holes in 5 dimensions. A novel feature of these solutions is that they are asymptotically locally Euclidean in which spatial cross-sections at infinity have lens space $L(p,q)$ topology, or asymptotically Kaluza-Klein so that spatial cross-sections at infinity are topologically $S^1\times S^2$. These are nondegenerate black holes of cohomogeneity 2, with any number of horizon components, where the horizon cross-section topology is any one of the three admissible types: $S^3$, $S^1\times S^2$, or $L(p,q)$. Uniqueness of these solutions is also established. Our method is to solve the relevant harmonic map problem with prescribed singularities, having target symmetric space $SL(3,\mathbb{R})/SO(3)$. In addition, we analyze the possibility of conical singularities and find a large family for which geometric regularity is guaranteed.
△ Less
Submitted 30 January, 2022; v1 submitted 7 February, 2018;
originally announced February 2018.
-
Bounding Horizon Area by Angular Momentum, Charge, and Cosmological Constant in 5-Dimensional Minimal Supergravity
Authors:
Aghil Alaee,
Marcus Khuri,
Hari Kunduri
Abstract:
We establish a class of area-angular momentum-charge inequalities satisfied by stable marginally outer trapped surfaces in 5-dimensional minimal supergravity which admit a $U(1)^2$ symmetry. A novel feature is the fact that such surfaces can have the nontrivial topologies $S^1 \times S^2$ and $L(p,q)$. In addition to two angular momenta, they may be characterized by `dipole charge' as well as elec…
▽ More
We establish a class of area-angular momentum-charge inequalities satisfied by stable marginally outer trapped surfaces in 5-dimensional minimal supergravity which admit a $U(1)^2$ symmetry. A novel feature is the fact that such surfaces can have the nontrivial topologies $S^1 \times S^2$ and $L(p,q)$. In addition to two angular momenta, they may be characterized by `dipole charge' as well as electric charge. We show that the unique geometries which saturate the inequalities are the horizon geometries corresponding to extreme black hole solutions. Analogous inequalities which also include contributions from a positive cosmological constant are also presented.
△ Less
Submitted 16 January, 2021; v1 submitted 5 December, 2017;
originally announced December 2017.
-
Stationary Vacuum Black Holes in 5 Dimensions
Authors:
Marcus Khuri,
Gilbert Weinstein,
Sumio Yamada
Abstract:
We study the problem of asymptotically flat bi-axially symmetric stationary solutions of the vacuum Einstein equations in $5$-dimensional spacetime. In this setting, the cross section of any connected component of the event horizon is a prime $3$-manifold of positive Yamabe type, namely the $3$-sphere $S^3$, the ring $S^1\times S^2$, or the lens space $L(p,q)$. The Einstein vacuum equations reduce…
▽ More
We study the problem of asymptotically flat bi-axially symmetric stationary solutions of the vacuum Einstein equations in $5$-dimensional spacetime. In this setting, the cross section of any connected component of the event horizon is a prime $3$-manifold of positive Yamabe type, namely the $3$-sphere $S^3$, the ring $S^1\times S^2$, or the lens space $L(p,q)$. The Einstein vacuum equations reduce to an axially symmetric harmonic map with prescribed singularities from $\mathbb{R}^3$ into the symmetric space $SL(3,\mathbb{R})/SO(3)$. In this paper, we solve the problem for all possible topologies, and in particular the first candidates for smooth vacuum non-degenerate black lenses are produced. In addition, a generalization of this result is given in which the spacetime is allowed to have orbifold singularities. We also formulate conditions for the absence of conical singularities which guarantee a physically relevant solution.
△ Less
Submitted 22 September, 2019; v1 submitted 14 November, 2017;
originally announced November 2017.
-
Nonexistence of Degenerate Horizons in Static Vacua and Black Hole Uniqueness
Authors:
Marcus Khuri,
Eric Woolgar
Abstract:
We show that in any spacetime dimension $D\ge 4$, degenerate components of the event horizon do not exist in static vacuum configurations with positive cosmological constant. We also show that without a cosmological constant asymptotically flat solutions cannot possess a degenerate horizon component. Several independent proofs are presented. One proof follows easily from differential geometry in t…
▽ More
We show that in any spacetime dimension $D\ge 4$, degenerate components of the event horizon do not exist in static vacuum configurations with positive cosmological constant. We also show that without a cosmological constant asymptotically flat solutions cannot possess a degenerate horizon component. Several independent proofs are presented. One proof follows easily from differential geometry in the near-horizon limit, while others use Bakry-Émery-Ricci bounds for static Einstein manifolds.
△ Less
Submitted 30 October, 2017; v1 submitted 26 October, 2017;
originally announced October 2017.
-
Nonexistence of Extremal de Sitter Black Rings
Authors:
Marcus Khuri,
Eric Woolgar
Abstract:
We show that near-horizon geometries in the presence of a positive cosmological constant cannot exist with ring topology. In particular, de Sitter black rings with vanishing surface gravity do not exist. Our result relies on a known mathematical theorem which is a straightforward consequence of a type of energy condition for a modified Ricci tensor, similar to the curvature-dimension conditions fo…
▽ More
We show that near-horizon geometries in the presence of a positive cosmological constant cannot exist with ring topology. In particular, de Sitter black rings with vanishing surface gravity do not exist. Our result relies on a known mathematical theorem which is a straightforward consequence of a type of energy condition for a modified Ricci tensor, similar to the curvature-dimension conditions for the $m$-Bakry-Émery-Ricci tensor.
△ Less
Submitted 14 August, 2017; v1 submitted 11 August, 2017;
originally announced August 2017.
-
Transformations of Asymptotically AdS Hyperbolic Initial Data and Associated Geometric Inequalities
Authors:
Ye Sle Cha,
Marcus A. Khuri
Abstract:
We construct transformations which take asymptotically AdS hyperbolic initial data into asymptotically flat initial data, and which preserve relevant physical quantities. This is used to derive geometric inequalities in the asymptotically AdS hyperbolic setting from counterparts in the asymptotically flat realm, whenever a geometrically motivated system of elliptic equations admits a solution. The…
▽ More
We construct transformations which take asymptotically AdS hyperbolic initial data into asymptotically flat initial data, and which preserve relevant physical quantities. This is used to derive geometric inequalities in the asymptotically AdS hyperbolic setting from counterparts in the asymptotically flat realm, whenever a geometrically motivated system of elliptic equations admits a solution. The inequalities treated here relate mass, angular momentum, charge, and horizon area.
△ Less
Submitted 28 July, 2017;
originally announced July 2017.
-
Mass-Angular Momentum Inequality For Black Ring Spacetimes
Authors:
Aghil Alaee,
Marcus Khuri,
Hari Kunduri
Abstract:
The inequality $m^3\geq \frac{27π}{4} |\mathcal{J}_{2}||\mathcal{J}_{1}-\mathcal{J}_{2}|$ relating total mass and angular momenta, is established for (possibly dynamical) spacetimes admitting black holes of ring ($S^1\times S^2$) topology. This inequality is shown to be sharp in the sense that it is saturated precisely for the extreme Pomeransky-Sen'kov black ring solutions. The physical significa…
▽ More
The inequality $m^3\geq \frac{27π}{4} |\mathcal{J}_{2}||\mathcal{J}_{1}-\mathcal{J}_{2}|$ relating total mass and angular momenta, is established for (possibly dynamical) spacetimes admitting black holes of ring ($S^1\times S^2$) topology. This inequality is shown to be sharp in the sense that it is saturated precisely for the extreme Pomeransky-Sen'kov black ring solutions. The physical significance of this inequality and its relation to new evidence of black ring instability, as well as the standard picture of gravitational collapse, are discussed.
△ Less
Submitted 8 September, 2017; v1 submitted 24 May, 2017;
originally announced May 2017.
-
The Area-Angular Momentum-Charge Inequality for Black Holes With Positive Cosmological Constant
Authors:
Edward T. Bryden,
Marcus A. Khuri
Abstract:
We establish the conjectured area-angular momentum-charge inequality for stable apparent horizons in the presence of a positive cosmological constant, and show that it is saturated precisely for extreme Kerr-Newman-de Sitter horizons. As with previous inequalities of this type, the proof is reduced to minimizing an `area functional' related to a harmonic map energy; in this case maps are from the…
▽ More
We establish the conjectured area-angular momentum-charge inequality for stable apparent horizons in the presence of a positive cosmological constant, and show that it is saturated precisely for extreme Kerr-Newman-de Sitter horizons. As with previous inequalities of this type, the proof is reduced to minimizing an `area functional' related to a harmonic map energy; in this case maps are from the 2-sphere to the complex hyperbolic plane. The proof here is simplified compared to previous results for less embellished inequalities, due to the observation that the functional is convex along geodesic deformations in the target.
△ Less
Submitted 30 November, 2016;
originally announced November 2016.
-
Inequalities Between Size, Mass, Angular Momentum, and Charge for Axisymmetric Bodies and the Formation of Trapped Surfaces
Authors:
Marcus Khuri,
Naqing Xie
Abstract:
We establish inequalities relating the size of a material body to its mass, angular momentum, and charge, within the context of axisymmetric initial data sets for the Einstein equations. These inequalities hold in general without the assumption of the maximal condition, and use a notion of size which is easily computable. Moreover, these results give rise to black hole existence criteria which are…
▽ More
We establish inequalities relating the size of a material body to its mass, angular momentum, and charge, within the context of axisymmetric initial data sets for the Einstein equations. These inequalities hold in general without the assumption of the maximal condition, and use a notion of size which is easily computable. Moreover, these results give rise to black hole existence criteria which are meaningful even in the time-symmetric case, and also include certain boundary effects.
△ Less
Submitted 16 October, 2016;
originally announced October 2016.
-
Relating Mass to Angular Momentum and Charge in 5-Dimensional Minimal Supergravity
Authors:
Aghil Alaee,
Marcus Khuri,
Hari Kunduri
Abstract:
We prove a mass-angular momentum-charge inequality for a broad class of maximal, asymptotically flat, bi-axisymmetric initial data within the context of five-dimensional minimal supergravity. We further show that the charged Myers-Perry black hole initial data are the unique minimizers. In addition, we establish a rigidity statement for the relevant BPS bound, and give a variational characterizati…
▽ More
We prove a mass-angular momentum-charge inequality for a broad class of maximal, asymptotically flat, bi-axisymmetric initial data within the context of five-dimensional minimal supergravity. We further show that the charged Myers-Perry black hole initial data are the unique minimizers. In addition, we establish a rigidity statement for the relevant BPS bound, and give a variational characterization of BMPV black holes.
△ Less
Submitted 20 April, 2017; v1 submitted 23 August, 2016;
originally announced August 2016.
-
Proof of the Mass-Angular Momentum Inequality for Bi-Axisymmetric Black Holes With Spherical Topology
Authors:
Aghil Alaee,
Marcus Khuri,
Hari Kunduri
Abstract:
We show that extreme Myers-Perry initial data realize the unique absolute minimum of the total mass in a physically relevant (Brill) class of maximal, asymptotically flat, bi-axisymmetric initial data for the Einstein equations with fixed angular momenta. As a consequence, we prove the relevant mass-angular momentum inequality in this setting for 5-dimensional spacetimes. That is, all data in this…
▽ More
We show that extreme Myers-Perry initial data realize the unique absolute minimum of the total mass in a physically relevant (Brill) class of maximal, asymptotically flat, bi-axisymmetric initial data for the Einstein equations with fixed angular momenta. As a consequence, we prove the relevant mass-angular momentum inequality in this setting for 5-dimensional spacetimes. That is, all data in this class satisfy the inequality $m^3\geq \frac{27π}{32}\left(|\mathcal{J}_1|+|\mathcal{J}_2|\right)^2$, where $m$ and $\mathcal{J}_i$, $i=1,2$ are the total mass and angular momenta of the spacetime. Moreover, equality holds if and only if the initial data set is isometric to the canonical slice of an extreme Myers-Perry black hole.
△ Less
Submitted 24 January, 2017; v1 submitted 23 October, 2015;
originally announced October 2015.
-
Reduction Arguments for Geometric Inequalities Associated With Asymptotically Hyperboloidal Slices
Authors:
Ye Sle Cha,
Marcus Khuri,
Anna Sakovich
Abstract:
We consider several geometric inequalities in general relativity involving mass, area, charge, and angular momentum for asymptotically hyperboloidal initial data. We show how to reduce each one to the known maximal (or time symmetric) case in the asymptotically flat setting, whenever a geometrically motivated system of elliptic equations admits a solution.
We consider several geometric inequalities in general relativity involving mass, area, charge, and angular momentum for asymptotically hyperboloidal initial data. We show how to reduce each one to the known maximal (or time symmetric) case in the asymptotically flat setting, whenever a geometrically motivated system of elliptic equations admits a solution.
△ Less
Submitted 13 January, 2016; v1 submitted 21 September, 2015;
originally announced September 2015.
-
Inequalities Between Size and Charge for Bodies and the Existence of Black Holes Due to Concentration of Charge
Authors:
Marcus A. Khuri
Abstract:
A universal inequality that bounds the charge of a body by its size is presented, and is proven as a consequence of the Einstein equations in the context of initial data sets which satisfy an appropriate energy condition. We also present a general sufficient condition for the formation of black holes due to concentration of charge, and discuss the physical relevance of these results.
A universal inequality that bounds the charge of a body by its size is presented, and is proven as a consequence of the Einstein equations in the context of initial data sets which satisfy an appropriate energy condition. We also present a general sufficient condition for the formation of black holes due to concentration of charge, and discuss the physical relevance of these results.
△ Less
Submitted 2 December, 2015; v1 submitted 18 May, 2015;
originally announced May 2015.
-
Existence of Black Holes Due to Concentration of Angular Momentum
Authors:
Marcus A. Khuri
Abstract:
We present a general sufficient condition for the formation of black holes due to concentration of angular momentum. This is expressed in the form of a universal inequality, relating the size and angular momentum of bodies, and is proven in the context of axisymmetric initial data sets for the Einstein equations which satisfy an appropriate energy condition. A brief comparison is also made with mo…
▽ More
We present a general sufficient condition for the formation of black holes due to concentration of angular momentum. This is expressed in the form of a universal inequality, relating the size and angular momentum of bodies, and is proven in the context of axisymmetric initial data sets for the Einstein equations which satisfy an appropriate energy condition. A brief comparison is also made with more traditional black hole existence criteria based on concentration of mass.
△ Less
Submitted 6 July, 2015; v1 submitted 20 March, 2015;
originally announced March 2015.
-
The Positive Mass Theorem for Multiple Rotating Charged Black Holes
Authors:
Marcus Khuri,
Gilbert Weinstein
Abstract:
In this paper a lower bound for the ADM mass is given in terms of the angular momenta and charges of black holes present in axisymmetric initial data sets for the Einstein-Maxwell equations. This generalizes the mass-angular momentum-charge inequality obtained by Chrusciel and Costa to the case of multiple black holes. We also weaken the hypotheses used in the proof of this result for single black…
▽ More
In this paper a lower bound for the ADM mass is given in terms of the angular momenta and charges of black holes present in axisymmetric initial data sets for the Einstein-Maxwell equations. This generalizes the mass-angular momentum-charge inequality obtained by Chrusciel and Costa to the case of multiple black holes. We also weaken the hypotheses used in the proof of this result for single black holes, and establish the associated rigidity statement.
△ Less
Submitted 23 August, 2016; v1 submitted 22 February, 2015;
originally announced February 2015.
-
Extensions of the Charged Riemannian Penrose Inequality
Authors:
Marcus Khuri,
Gilbert Weinstein,
Sumio Yamada
Abstract:
In this paper we investigate the extension of the charged Riemannian Penrose inequality to the case where charges are present outside the horizon. We prove a positive result when the charge densities are compactly supported, and present a counterexample when the charges extend to infinity. We also discuss additional extensions to other matter models.
In this paper we investigate the extension of the charged Riemannian Penrose inequality to the case where charges are present outside the horizon. We prove a positive result when the charge densities are compactly supported, and present a counterexample when the charges extend to infinity. We also discuss additional extensions to other matter models.
△ Less
Submitted 17 February, 2015; v1 submitted 18 October, 2014;
originally announced October 2014.
-
Proof of the Riemannian Penrose Inequality with Charge for Multiple Black Holes
Authors:
Marcus Khuri,
Gilbert Weinstein,
Sumio Yamada
Abstract:
We present a proof of the Riemannian Penrose inequality with charge in the context of asymptotically flat initial data sets for the Einstein-Maxwell equations, having possibly multiple black holes with no charged matter outside the horizon, and satisfying the relevant dominant energy condition. The proof is based on a generalization of Hubert Bray's conformal flow of metrics adapted to this settin…
▽ More
We present a proof of the Riemannian Penrose inequality with charge in the context of asymptotically flat initial data sets for the Einstein-Maxwell equations, having possibly multiple black holes with no charged matter outside the horizon, and satisfying the relevant dominant energy condition. The proof is based on a generalization of Hubert Bray's conformal flow of metrics adapted to this setting.
△ Less
Submitted 10 May, 2016; v1 submitted 10 September, 2014;
originally announced September 2014.
