 
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 C m,# conformally compact if there is a defining function # on
•
M such that the conformally equivalent metric
(1.1)
# g = # 2 g
extends to a C m,# Riemannian metric on the compactification •
M . A defining function # is a smooth,
nonnegative function on •
