Hubert L. Bray

The Penrose Inequality

In 1973, R. Penrose presented an argument that the total mass of a space-time which contains black holes with event horizons of total area A should be at least \( \sqrt {A/16\pi} \). An important special case of this physical statement translates into a very beautiful mathematical inequality in Riemannian geometry known as the Riemannian Penrose inequality. This inequality was first established by G. Huisken and T. Ilmanen in 1997 for a single black hole and then by one of the authors (HB) in 1999 for any number of black holes. The two approaches use two different geometric flow techniques and are described here. We further present some background material concerning the problem at hand, discuss some applications of Penrose-type inequalities, as well as the open questions remaining.

An isoperimetric comparison theorem for Schwarzschild space and other manifolds

We give a very general isoperimetric comparison theorem which, as an important special case, gives hypotheses under which the spherically symmetric (n - 1)-spheres of a spherically symmetric n-manifold are isoperimetric hypersurfaces, meaning that they minimize (n - 1)-dimensional area among hypersurfaces enclosing the same n-volume. This result greatly generalizes the result of Bray (Ph.D. thesis, 1997), which proved that the spherically symmetric 2-spheres of 3-dimensional Schwarzschild space (which is defined to be a totally geodesic, space-like slice of the usual (3 + 1)-dimensional Schwarzschild metric) are isoperimetric. We also note that this Schwarzschild result has applications to the Penrose inequality in general relativity, as described by Bray.

On the capacity of surfaces in manifolds with nonnegative scalar curvature

Given a surface in an asymptotically flat 3-manifold with nonnegative scalar curvature, we derive an upper bound for the capacity of the surface in terms of the area of the surface and the Willmore functional of the surface. The capacity of a surface is defined to be the energy of the harmonic function which equals 0 on the surface and goes to 1 at ∞. Even in the special case of ℝ3, this is a new estimate. More generally, equality holds precisely for a spherically symmetric sphere in a spatial Schwarzschild 3-manifold. As applications, we obtain inequalities relating the capacity of the surface to the Hawking mass of the surface and the total mass of the asymptotically flat manifold.

Generalized inverse mean curvature flows in spacetime

Motivated by the conjectured Penrose inequality and by the work of Hawking, Geroch, Huisken and Ilmanen in the null and the Riemannian case, we examine necessary conditions on flows of two-surfaces in spacetime under which the Hawking quasilocal mass is monotone. We focus on a subclass of such flows which we call uniformly expanding, which can be considered for null as well as for spacelike directions. In the null case, local existence of the flow is guaranteed. In the spacelike case, the uniformly expanding condition leaves a 1-parameter freedom, but for the whole family, the embedding functions satisfy a forward-backward parabolic system for which local existence does not hold in general. Nevertheless, we have obtained a generalization of the weak (distributional) formulation of this class of flows, generalizing the corresponding step of Huisken and Ilmanen’s proof of the Riemannian Penrose inequality.

Time Flat Surfaces and the Monotonicity of the Spacetime Hawking Mass II

In this sequel paper, we give a shorter, second proof of the monotonicity of the Hawking mass for time flat surfaces under spacelike uniformly area expanding flows in spacetimes that satisfy the dominant energy condition. We also include a third proof which builds on a known formula and describe a class of sufficient conditions of divergence type for the monotonicity of the Hawking mass. These flows of surfaces may have connections to the problem in general relativity of bounding the total mass of a spacetime from below by the quasi-local mass of spacelike 2-surfaces in the spacetime.

Time Flat Surfaces and the Monotonicity of the Spacetime Hawking Mass

We identify a condition on spacelike 2-surfaces in a spacetime that is relevant to understanding the concept of mass in general relativity. We prove a formula for the variation of the spacetime Hawking mass under a uniformly area expanding flow and show that it is nonnegative for these so-called “time flat surfaces.” Such flows generalize inverse mean curvature flow, which was used by Huisken and Ilmanen to prove the Riemannian Penrose inequality for one black hole. A flow of time flat surfaces may have connections to the problem in general relativity of bounding the mass of a spacetime from below by the quasi-local mass of a spacelike 2-surface contained therein.

On wave dark matter in spiral and barred galaxies

We recover spiral and barred spiral patterns in disk galaxy simulations with a Wave Dark Matter (WDM) background (also known as Scalar Field Dark Matter (SFDM), Ultra-Light Axion (ULA) dark matter, and Bose-Einstein Condensate (BEC) dark matter). Here we show how the interaction between a baryonic disk and its Dark Matter Halo triggers the formation of spiral structures when the halo is allowed to have a triaxial shape and angular momentum. This is a more realistic picture within the WDM model since a non-spherical rotating halo seems to be more natural. By performing hydrodynamic simulations, along with earlier test particles simulations, we demonstrate another important way in which wave dark matter is consistent with observations. The common existence of bars in these simulations is particularly noteworthy. This may have consequences when trying to obtain information about the dark matter distribution in a galaxy, the mere presence of spiral arms or a bar usually indicates that baryonic matter dominates the central region and therefore observations, like rotation curves, may not tell us what the DM distribution is at the halo center. But here we show that spiral arms and bars can develop in DM dominated galaxies with a central density core without supposing its origin on mechanisms intrinsic to the baryonic matter.