## Prof. Dr. Carla Cederbaum

### Project leader, Researcher

**Professor**

Universität Tübingen

E-mail: cederbaum(at)math.uni-tuebingen.de

Telephone: 07071/2974318

Homepage: http://math.uni-tuebingen.de/~cederbaum

## Project

**41**Geometrically defined asymptotic coordinates in general relativity
**5**Index theory on Lorentzian manifolds

## Publications

In 2015, Mantoulidis and Schoen constructed 3-dimensional asymptotically Euclidean manifolds with non-negative scalar curvature whose ADM mass can be made arbitrarily close to the optimal value of the Riemannian Penrose Inequality, while the intrinsic geometry of the outermost minimal surface can be ``far away'' from being round. The resulting manifolds, called *extensions*, are geometrically not ``close'' to a spatial Schwarzschild manifold. This suggests instability of the Riemannian Penrose Inequality. Their construction was later adapted to n+1 dimensions by Cabrera Pacheco and Miao, suggesting instability of the higher dimensional Riemannian Penrose Inequality. In recent papers by Alaee, Cabrera Pacheco, and Cederbaum and by Cabrera Pacheco, Cederbaum, and McCormick, a similar construction was performed for asymptotically Euclidean, electrically charged initial data sets and for asymptotically hyperbolic Riemannian manifolds, respectively, obtaining 3-dimensional extensions that suggest instability of the Riemannian Penrose Inequality with electric charge and of the conjectured asymptotically hyperbolic Riemannian Penrose Inequality in 3 dimensions. This paper combines and generalizes all the aforementioned results by constructing suitable asymptotically hyperbolic or asymptotically Euclidean extensions with electric charge in n+1 dimensions for n greater or equal to 2.

Besides suggesting instability of a naturally conjecturally generalized Riemannian Penrose Inequality, the constructed extensions give insights into an ad hoc generalized notion of Bartnik mass, similar to the Bartnik mass estimate for minimal surfaces proven by Mantoulidis and Schoen via their extensions, and unifying the Bartnik mass estimates in the various scenarios mentioned above.

**Related project(s):****40**Construction of Riemannian manifolds with scalar curvature constraints and applications to general relativity**41**Geometrically defined asymptotic coordinates in general relativity

Photon surfaces are timelike, totally umbilic hypersurfaces of Lorentzian spacetimes. In the first part of this paper, we locally characterize all possible photon surfaces in a class of static, spherically symmetric spacetimes that includes Schwarzschild, Reissner--Nordström, Schwarzschild-anti de Sitter, etc., in n+1dimensions. In the second part, we prove that any static, vacuum, "asymptotically isotropic" n+1-dimensional spacetime that possesses what we call an "equipotential" and "outward directed" photon surface is isometric to the Schwarzschild spacetime of the same (necessarily positive) mass, using a uniqueness result by the first named author.

Journal | accepted in JMP |

Link to preprint version |

**Related project(s):****5**Index theory on Lorentzian manifolds

The Bartnik mass is a notion of quasi-local mass which is remarkably difficult to compute. Mantoulidis and Schoen [2016] developed a novel technique to construct asymptotically flat extensions of minimal Bartnik data in such a way that the ADM mass of these extensions is well-controlled, and thus, they were able to compute the Bartnik mass for minimal spheres satisfying a stability condition. In this work, we develop extensions and gluing tools, à la Mantoulidis and Schoen, for time-symmetric initial data sets for the Einstein-Maxwell equations that allow us to compute the value of an ad-hoc notion of charged Barnik mass for suitable charged minimal Bartnik data.

Journal | ADV. THEOR. MATH. PHYS |

Volume | 23 (0) |

Pages | 1951--1980 |

Link to preprint version |

**Related project(s):****5**Index theory on Lorentzian manifolds

We investigate Bartnik's static metric extension conjecture under the additional assumption of axisymmetry of both the given Bartnik data and the desired static extensions. To do so, we suggest a geometric flow approach, coupled to the Weyl-Papapetrou formalism for axisymmetric static solutions to the Einstein vacuum equations. The elliptic Weyl-Papapetrou system becomes a free boundary value problem in our approach. We study this new flow and the coupled flow--free boundary value problem numerically and find axisymmetric static extensions for axisymmetric Bartnik data in many situations, including near round spheres in spatial Schwarzschild of positive mass.

Journal | Pure and Applied Mathematics Quaterly |

Link to preprint version |

**Related project(s):****5**Index theory on Lorentzian manifolds

We study the set of trapped photons of a subcritical (a<M) Kerr spacetime as a subset of the phase space. First, we present an explicit proof that the photons of constant Boyer--Lindquist coordinate radius are the only photons in the Kerr exterior region that are trapped in the sense that they stay away both from the horizon and from spacelike infinity. We then proceed to identify the set of trapped photons as a subset of the (co-)tangent bundle of the subcritical Kerr spacetime. We give a new proof showing that this set is a smooth 5-dimensional submanifold of the (co-)tangent bundle with topology SO(3)×R2 using results about the classification of 3-manifolds and of Seifert fiber spaces. Both results are covered by the rigorous analysis of Dyatlov [5]; however, the methods we use are very different and shed new light on the results and possible applications.

Journal | General Relativity and Gravitation |

Publisher | Springer |

Link to preprint version |

**Related project(s):****5**Index theory on Lorentzian manifolds

Mantoulidis and Schoen developed a novel technique to handcraft asymptotically flat extensions of Riemannian manifolds (Σ≅S2,g), with g satisfying λ1=λ1(−Δg+K(g))>0, where λ1 is the first eigenvalue of the operator −Δg+K(g) and K(g) is the Gaussian curvature of g, with control on the ADM mass of the extension. Remarkably, this procedure allowed them to compute the Bartnik mass in this so-called minimal case; the Bartnik mass is a notion of quasi-local mass in General Relativity which is very challenging to compute. In this survey, we describe the Mantoulidis-Schoen construction, its impact and influence in subsequent research related to Bartnik mass estimates when the minimality assumption is dropped, and its adaptation to other settings of interest in General Relativity.

**Related project(s):****5**Index theory on Lorentzian manifolds

We propose a new foliation of asymptotically Euclidean initial data sets by 2-spheres of constant spacetime mean curvature (STCMC). The leaves of the foliation have the STCMC-property regardless of the initial data set in which the foliation is constructed which asserts that there is a plethora of STCMC 2-spheres in a neighborhood of spatial infinity of any asymptotically flat spacetime. The STCMC-foliation can be understood as a covariant relativistic generalization of the CMC-foliation suggested by Huisken and Yau. We show that a unique STCMC-foliation exists near infinity of any asymptotically Euclidean initial data set with non-vanishing energy which allows for the definition of a new notion of total center of mass for isolated systems. This STCMC-center of mass transforms equivariantly under the asymptotic Poincaré group of the ambient spacetime and in particular evolves under the Einstein evolution equations like a point particle in Special Relativity. The new definition also remedies subtle deficiencies in the CMC-approach to defining the total center of mass suggested by Huisken and Yau which were described by Cederbaum and Nerz.

Journal | Calc. Var. PDE (accepted) |

Link to preprint version |

**Related project(s):****5**Index theory on Lorentzian manifolds

The Bartnik mass is a quasi-local mass tailored to asymptotically flat Riemannian manifolds with non-negative scalar curvature. From the perspective of general relativity, these model time-symmetric domains obeying the dominant energy condition without a cosmological constant. There is a natural analogue of the Bartnik mass for asymptotically hyperbolic Riemannian manifolds with a negative lower bound on scalar curvature which model time-symmetric domains obeying the dominant energy condition in the presence of a negative cosmological constant. Following the ideas of Mantoulidis and Schoen [2016], of Miao and Xie [2016], and of joint work of Miao and the authors [2017], we construct asymptotically hyperbolic extensions of minimal and constant mean curvature (CMC) Bartnik data while controlling the total mass of the extensions. We establish that for minimal surfaces satisfying a stability condition, the Bartnik mass is bounded above by the conjectured lower bound coming from the asymptotically hyperbolic Riemannian Penrose inequality. We also obtain estimates for such a hyperbolic Bartnik mass of CMC surfaces with positive Gaussian curvature.

Journal | J. Geom. Phys. |

Publisher | Elsevier |

Volume | 132 |

Pages | 338--357 |

Link to preprint version | |

Link to published version |

**Related project(s):****5**Index theory on Lorentzian manifolds