 
Summary: ON THE STRUCTURE OF CONFORMALLY COMPACT EINSTEIN METRICS
MICHAEL T. ANDERSON
Abstract. Let M be an (n+1)dimensional manifold with nonempty boundary, satisfying 1(M, M) =
0. The main result of this paper is that the space of conformally compact Einstein metrics on M
is a smooth, infinite dimensional Banach manifold, provided it is nonempty. We also prove full
boundary regularity for such metrics in dimension 4 and a local existence and uniqueness theorem
for such metrics with prescribed metric and stressenergy tensor at conformal infinity, again in
dimension 4. This result also holds for LorentzianEinstein metrics with a positive cosmological
constant.
1. Introduction.
Let M be the interior of a compact (n + 1)dimensional manifold ŻM with nonempty boundary
M. A complete metric g on M is Cm, conformally compact if there is a defining function on
ŻM such that the conformally equivalent metric
(1.1) g = 2
g
extends to a Cm, Riemannian metric on the compactification ŻM. A defining function is a smooth,
nonnegative function on ŻM with 1(0) = M and d = 0 on M.
The induced Riemannian metric = gM is called the boundary metric associated to the
compactification g. Since there are many possible defining functions, and hence many conformal
compactifications of a given metric g, only the conformal class [] of on M is uniquely deter
