A Boundary-Local Mass Cocycle and the Mass of Asymptotically Hyperbolic Manifolds

We construct a cocycle that, for a given <i>n</i>-manifold, maps a pair of asymptotically locally hyperbolic (ALH) metrics to a tractor-valued <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mrow><mml:mo>(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>-</mml:mo> <mml:mn>1</mml:mn> <mml:mo>)</mml:mo></mml:mrow> </mml:math> -form field on the conformal infinity. This requires the metrics to be asymptotically related to a given order that depends on the dimension. It then provides a local geometric quantity on the boundary that is naturally associated to the pair and can be interpreted as a relative energy-momentum density. It is distinguished as a geometric object by its property of being invariant under suitable diffeomorphisms fixing the boundary, and that act on (either) one of the argument metrics. Specialising to the case of an ALH metric <i>h</i> that is suitably asymptotically related to a locally hyperbolic conformally compact metric, we show that the cocycle determines an absolute invariant <i>c</i>(<i>h</i>), which still is local in nature. This tractor-valued <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mrow><mml:mo>(</mml:mo> <mml:mi>n</mml:mi> <mml:mo>-</mml:mo> <mml:mn>1</mml:mn> <mml:mo>)</mml:mo></mml:mrow> </mml:math> -form field on the conformal infinity is canonically associated to <i>h</i> (i.e. is not dependent on other choices) and is equivariant under the appropriate diffeomorphisms. Finally specialising further to the case that the boundary is a sphere and that a metric <i>h</i> is asymptotically related to a hyperbolic metric on the interior, we show that the invariant <i>c</i>(<i>h</i>) can be integrated over the boundary. The result pairs with solutions of the KID (Killing initial data) equation to recover the known description of hyperbolic mass integrals of Wang, and Chruściel-Herzlich.