Abstract:In this paper, we establish compactness results for some classes of conformally compact Einstein metrics defined on manifolds of dimension d ≥ 4. In the special case when the manifold is the Euclidean ball with the unit sphere as the conformal infinity, the existence of such class of metrics has been established in the earlier work of C. R. Graham and J. Lee ("Einstein metrics with prescribed conformal infinity on the ball," Adv. Math. , vol. 87, no. 2, pp. 186–225, 1991). As an application of our compactness result, we derive the uniqueness of the Graham–Lee metrics. As a second application, we also derive some gap theorem, or equivalently, some results of non-existence CCE fill-ins.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the compactness and uniqueness of conformally compact Einstein (CCE) manifolds. Specifically, the authors are concerned with, on a smooth manifold \(X\) of a given dimension \(d\geq4\), for a specific class of conformally compact Einstein metrics \(g_+\), when the metric family \(\{h_i\}\) on the boundary forms a compact family, whether the adapted metrics \(\{g^*_i\}\) of these metrics also form a compact family. In addition, as an application, the authors also explore the uniqueness of such metrics and some non - existence results (or called gap theorems).
### Main problems
1. **Compactness problem**: Given a series of conformally compact Einstein manifolds \((X,\{g_+^i\})\), where \(M = \partial X\) is the boundary of the manifold, \(\{g_i\} = \{r^2g_+^i\}\) is a series of compactified metrics, and \(\{h_i\} = \{g_i|_{\partial X}\}\) forms a compact family. Under what conditions do there exist some representative elements \(\bar{g}_i\in[g_i]\) such that \(\{\bar{g}_i|_{\partial X}=h_i\}\) also forms a compact family?
2. **Uniqueness problem**: Under certain conditions, prove the uniqueness of a specific class of conformally compact Einstein metrics.
3. **Non - existence results**: Explore the non - existence of conformally compact Einstein metrics filling a given conformal infinity in some cases.
### Solutions
- **Compactness**: By analyzing the regularity of the adapted metric \(g^*\), especially when the dimension \(d\) is even, use the properties of the obstruction tensor to establish compactness results.
- **Uniqueness**: Through the compactness results, combined with the known properties of the obstruction tensor, prove the uniqueness of a specific class of conformally compact Einstein metrics.
- **Non - existence**: Use the compactness results and uniqueness results to deduce the non - existence of conformally compact Einstein metrics filling a given conformal infinity in some cases.
### Specific steps
1. **Compactness in even dimensions**:
- Use the properties of the obstruction tensor to establish elliptic equations, thereby obtaining the regularity of the adapted metric \(g^*\).
- Through the regularity results, use proof by contradiction to prove compactness.
2. **Compactness in odd dimensions**:
- Since there are non - local terms in odd dimensions, adopt different strategies to obtain the regularity of the adapted metric \(g^*\).
- Use the regularity assumption of the fixed boundary, combined with weighted spaces and functional analysis techniques, to avoid degeneracy problems and establish \(\epsilon\)-regularity.
3. **Uniqueness and non - existence**:
- As an application of the compactness results, prove the uniqueness of a specific class of conformally compact Einstein metrics.
- Deduce the non - existence of conformally compact Einstein metrics filling a given conformal infinity in some cases.
### Conclusions
- The authors have successfully established the compactness results of conformally compact Einstein manifolds in even and odd dimensions.
- As an application, the uniqueness of a specific class of conformally compact Einstein metrics has been proven, and some non - existence results have been deduced.
These results are not only of great significance in mathematics, but also have important applications in theoretical physics, especially in the study of the AdS/CFT correspondence.