Boundary regularity, uniqueness and non-uniqueness for AH Einstein metrics on 4-manifolds. (Q1413095)

In this paper the author studies several aspects of asymptotically hyperbolic (AH) Einstein metrics on an open 4-manifold \(M\) with compact boundary \(\partial M\). These metrics are complete Einstein metrics \(g\) on \(M\), normalized so that \(\text{Ric}(g)=-3g\), which are conformally compact in the sense of Penrose, in that there exists a defining function \(\rho\) for \(\partial M\) in \(M\), such that the conformally equivalent metric \(\overline{g}=\rho^2 g\) extends to a Riemannian metric on \(\overline{M}\). The metric \(g\) is \(L^{k,p}\) or \(C^{m,\alpha}\) conformally compact if there exists a defining function such that the metric \(\overline{g}\) has a \(L^{k,p}\) or \(C^{m,\alpha}\) extension to \(\overline{M}\). The first purpose of this paper is to study the boundary regularity of conformal compactifications \(\overline{g}\) of AHE metrics \(g\). Theorem 1: Let \(M\) be a \(4\)-manifold and \(g\) an AH Einstein metric on \(M\). Suppose \(g\) has an \(L^{k,p}\) conformal compactification, for some \(p>4\), in which the boundary metric \(\gamma\) is \(C^{m,\alpha}\), \(m\geq 3\), \(\alpha>0\). Then \((M,g)\) has a \(C^{m,\alpha}\) conformal compactification with the same boundary metric. This result holds also if \(m=\infty\) or \(m=\omega\). The second purpose of this paper is to study the uniqueness question, i.e. to what extent an AH Einstein metric on \((M,g)\) is uniqueness determined by its conformal infinity \((\partial M,[\gamma])\), or by data of \((M,g)\) at infinity. In the third part of this paper the finiteness issue is analyzed, i.e. when a given boundary metric \((\partial M,\gamma)\) bounds finitely or infinitely many AH Einstein \(4\)-manifolds \((M_i,g_i)\). The main result is, roughly speaking, that under reasonably natural conditions only conformally flat boundary data can bound infinitely many AH Einstein metrics.