arXiv subjects

Marcus A. Khuri

Publications and source records attributed to Marcus A. Khuri.

At least 19 recordsLinked to original sources

arXiv2023

Black Lenses in Kaluza-Klein Matter

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.

gr-qc↗

arXiv2022

The Topology of General Cosmological Models

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.

gr-qc↗

arXiv2021

The Positive Mass Theorem with Angular Momentum and Charge for Manifolds with Boundary

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.

gr-qc↗

arXiv2021

A Bakry-Émery Almost Splitting Result With Applications to the Topology of Black Holes

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.

math.DG↗

arXiv2019

Harmonic Functions and The Mass of 3-Dimensional Asymptotically Flat Riemannian Manifolds

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.

math.DG↗

arXiv2018

Bekenstein Bounds, Penrose Inequalities, and Black Hole Formation

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.

gr-qc↗

arXiv2017

Transformations of Asymptotically AdS Hyperbolic Initial Data and Associated Geometric Inequalities

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.

gr-qc↗

arXiv2017

Compactness and Non-compactness for the Yamabe Problem on Manifolds With Boundary

We study the problem of conformal deformation of Riemannian structure to constant scalar curvature with zero mean curvature on the boundary. We prove compactness for the full set of solutions when the boundary is umbilic and the dimension $n \leq 24$. The Weyl Vanishing Theorem is also established under these hypotheses, and we provide counter-examples to compactness when $n \geq 25$. Lastly, our methods point towards a vanishing theorem for the umbilicity tensor, which is anticipated to be fundamental for a study of the nonumbilic case.

math.DG↗

arXiv2016

The Area-Angular Momentum-Charge Inequality for Black Holes With Positive Cosmological Constant

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.

gr-qc↗

arXiv2015

Deformations of Charged Axially Symmetric Initial Data and the Mass-Angular Momentum-Charge Inequality

We show how to reduce the general formulation of the mass-angular momentum-charge inequality, for axisymmetric initial data of the Einstein-Maxwell equations, to the known maximal case whenever a geometrically motivated system of equations admits a solution. It is also shown that the same reduction argument applies to the basic inequality yielding a lower bound for the area of black holes in terms of mass, angular momentum, and charge. This extends previous work by the authors [4] (arXiv:1401.3384), in which the role of charge was omitted. Lastly, we improve upon the hypotheses required for the mass-angular momentum-charge inequality in the maximal case.

gr-qc↗

arXiv2015

Inequalities Between Size and Charge for Bodies and the Existence of Black Holes Due to Concentration of Charge

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.

gr-qc↗

arXiv2015

Existence of Black Holes Due to Concentration of Angular Momentum

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.

gr-qc↗

arXiv2015

Deformations of Axially Symmetric Initial Data and the Mass-Angular Momentum Inequality

We show how to reduce the general formulation of the mass-angular momentum inequality, for axisymmetric initial data of the Einstein equations, to the known maximal case whenever a geometrically motivated system of equations admits a solution. This procedure is based on a certain deformation of the initial data which preserves the relevant geometry, while achieving the maximal condition and its implied inequality (in a weak sense) for the scalar curvature; this answers a question posed by R. Schoen. The primary equation involved, bears a strong resemblance to the Jang-type equations studied in the context of the positive mass theorem and the Penrose inequality. Each equation in the system is analyzed in detail individually, and it is shown that appropriate existence/uniqueness results hold with the solution satisfying desired asymptotics. Lastly, it is shown that the same reduction argument applies to the basic inequality yielding a lower bound for the area of black holes in terms of mass and angular momentum.

gr-qc↗

arXiv2014

On the Penrose Inequality for Charged Black Holes

In arXiv:0905.2622v1 and arXiv:0910.4785v1, Bray and Khuri outlined an approach to prove the Penrose inequality for general initial data sets of the Einstein equations. In this paper we extend this approach so that it may be applied to a charged version of the Penrose inequality. Moreover, assuming that the initial data is time symmetric, we prove the rigidity statement in the case of equality for the charged Penrose inequality, a result which seems to be absent from the literature. A new quasi-local mass, tailored to charged initial data sets is also introduced, and used in the proof.

math.DG↗

arXiv2013

A Penrose-Like Inequality for General Initial Data Sets

We establish a Penrose-Like Inequality for general (not necessarily time symmetric) initial data sets of the Einstein equations which satisfy the dominant energy condition. More precisely, it is shown that the ADM energy is bounded below by an expression which is proportional to the square root of the area of the outermost future (or past) apparent horizon.

math.DG↗

arXiv2013

A Penrose-Like Inequality with Charge

We establish a Penrose-like inequality for general (not necessarily time-symmetric) initial data sets of the Einstein-Maxwell equations, which satisfy the dominant energy condition. More precisely, it is shown that the ADM energy is bounded below by an expression which is proportional to the sum of the square root of the area of the outermost future (or past) apparent horizon and the square of the total charge. The proportionality constants depend on the solution to a linear elliptic equation which incorporates the charge. In addition, a corrected version of the Penrose-like inequality in [13] is presented.

gr-qc↗

arXiv2013

Rigidity in the Positive Mass Theorem with Charge

In this paper we show how a natural coupling of the Dirac equation with the generalized Jang equation, leads to a proof of the rigidity statement in the positive mass theorem with charge, without the maximal slicing condition, provided a solution to the coupled system exists.

gr-qc↗

arXiv2013

On the Bartnik extension problem for the static vacuum Einstein equations

We develop a framework for understanding the existence of asymptotically flat solutions to the static vacuum Einstein equations with prescribed boundary data consisting of the induced metric and mean curvature on a 2-sphere. A partial existence result is obtained, giving a partial resolution of a conjecture of Bartnik on such static vacuum extensions. The existence and uniqueness of such extensions is closely related to Bartnik's definition of quasi-local mass.

math.DG↗