A note on mass-minimising extensions

TL;DR

This paper explores the problem of mass-minimising extensions in general relativity, adapting Bartnik's methods to include boundaries and fixed conformal classes, and discusses conditions for the infimum to be achieved.

Contribution

It modifies Bartnik's variational approach to include boundary conditions and fixed conformal classes, providing new insights into the existence of mass-minimising extensions.

Findings

Modified Bartnik's argument for boundary cases

Provided conditions for infimum realization in fixed conformal classes

Connected critical points of ADM mass to static and stationary solutions

Abstract

A conjecture related to the Bartnik quasilocal mass, is that the infimum of the ADM energy, over an appropriate space of extensions to a compact 3-manifold with boundary, is realised by a static metric. It was shown by Corvino [Comm. Math. Phys. 214(1), (2000)] that if the infimum is indeed achieved, then it is achieved by a static metric; however, the more difficult question of whether or not the infimum is achieved, is still an open problem. Bartnik [Comm. Anal. Geom. 13(5), (2005)] then proved that critical points of the ADM mass, over the space of solutions to the Einstein constraints on an asymptotically flat manifold without boundary, correspond to stationary solutions. In that article, he stated that it should be possible to use a similar construction to provide a more natural proof of Corvino's result. In the first part of this note, we discuss the required modifications to Bartnik's argument to adapt it to include a boundary. Assuming that certain results concerning a Hilbert manifold structure for the space of solutions carry over to the case considered here, we then demonstrate how Bartnik's proof can be modified to consider the simpler case of scalar-flat extensions and obtain Corvino's result. In the second part of this note, we consider a space of extensions in a fixed conformal class. Sufficient conditions are given to ensure that the infimum is realised within this class.