Formal power series for asymptotically hyperbolic Bach-flat metrics

It has been observed by Maldacena that one can extract asymptotically anti-de Sitter Einstein 4-metrics from Bach-flat spacetimes by imposing simple principles and data choices. We cast this problem in a conformally compact Riemannian setting. Following an approach pioneered by Fefferman and Graham for the Einstein equation, we find formal power series for conformally compactifiable, asymptotically hyperbolic Bach-flat 4-metrics expanded about conformal infinity. We also consider Bach-flat metrics in the special case of constant scalar curvature and in the special case of constant Q-curvature. This allows us to determine the free data at conformal infinity and to select those choices that lead to Einstein metrics. The asymptotically hyperbolic mass is part of that free data, in contrast to the pure Einstein case. Higher-dimensional generalizations of the Bach tensor lack some of the geometrical meaning of the 4-dimensional case, but for a generalized Bach equation suited to the Fefferman–Graham technique, we are able to obtain a relatively complete result illustrating an interesting splitting of the free data into low-order “Dirichlet” and high-order “Neumann” pairs.