On the structure of conformally compact Einstein metrics (Q607795)

Let \(M\) be the interior of a compact \((n+1)\)-dimensional manifold \(\bar M\) with non-empty boundary \(\partial M\). A complete metric \(g\) on \(M\) is \(C^{m,\alpha}\) conformally compact if there exist a defining function \(\rho\) on \(\bar M\) such that the conformally equivalent metric \(\widetilde g=\rho^2 g\) extends to a \(C^{m,\alpha}\) Riemannian metric on the compactification \(\bar M\). The defining function is a smooth, non-negative function \(\rho\) on \(\bar M\) such that \(\rho^{-1}(0)=\partial M\) and \(d\rho\neq 0\) on \(\partial M\). In this paper, conformally compact Einstein metrics \(g\) are studied. Several distinct results are proved, such as boundary regularity in dimension \(n+1=4\) and local existence and uniqueness. The structure of the moduli space of these metrics is also studied.