Sun-Yung A. Chang,Yuxin Ge
Abstract:In this paper, we establish some compactness results of conformally compact Einstein metrics on $4$-dimensional manifolds. Our results were proved under assumptions on the behavior of some local and non-local conformal invariants, on the compactness of the boundary metrics at the conformal infinity, and on the topology of the manifolds.
What problem does this paper attempt to address?
This paper aims to solve the compactness problem of four - dimensional conformally compact Einstein manifolds (CCE). Specifically, the author studies the compactness of a class of conformally compact Einstein metrics \(g^+\) on a four - dimensional manifold \(X\), where \(X\) is a four - dimensional manifold and the boundary \(\partial X\) is three - dimensional.
### Main problems
The main objective of the paper is to establish compactness results for this class of metrics under the following assumptions:
1. **Behavior of local and non - local conformal invariants**: Assume that certain local and non - local conformal invariants are bounded within a certain range.
2. **Compactness of boundary metrics**: Assume that the boundary metrics are compact at the conformal infinity.
3. **Topological properties of manifolds**: Assume that the topological properties of the manifolds satisfy certain conditions, for example, \(H^1(X,\mathbb{Z})=H^2(X,\mathbb{Z}) = 0\).
### Specific content
- **Definitions and background**: The author introduces a class of 2 - tensors \(S\) that are pointwise conformally invariant on the boundary, and its definition is inspired by the Gauss - Bonnet formula.
- **Functional functionals**: A functional functional is considered, which is invariant under conformal transformations. The critical metrics satisfy the well - known condition \(B_{ij}=0\) in the interior, where \(B_{ij}\) is the Bach tensor, and satisfy specific conditions on the boundary.
- **Main theorem**: The author proves that under the above assumptions, if the boundary metrics form a compact family in the \(C^{k + 3}\) norm and there is no concentration phenomenon in the \(L^1\) norm of the \(S\) tensor, then the corresponding Fefferman - Graham compactified metric family is compact in the \(C^{k+2,\alpha}\) norm.
- **Corollaries**: Based on the main theorem, the author also establishes several corollaries, further exploring the compactness results under different conditions.
### Mathematical tools
- **Q - curvature**: The Q - curvature \(Q_4\) on a 4 - dimensional Riemannian manifold is defined, and its relationship with the Paneitz operator is discussed.
- **Conformal invariants**: The non - local curvature tensors \(T\) and \(Q_3\) on the boundary are discussed, and the relationships between these tensors in the case of a totally geodesic boundary.
- **Yamabe invariant**: The Yamabe energy functional on a 4 - dimensional compact manifold and its associated Yamabe constant are introduced.
### Technical details
- **Fefferman - Graham compactification**: A special Fefferman - Graham compactification method is chosen so that the Q - curvature \(Q_4\) is identically zero in the interior of the manifold.
- **\(\varepsilon\)-regularity**: An \(\varepsilon\)-regularity result is proved to increase the order of regularity.
- **Blow - up analysis**: Through blow - up analysis, the blow - up phenomena on the boundary and in the interior are excluded, thus establishing the uniform boundedness of the \(L^2\) norm of the curvature tensor.
### Conclusion
Through rigorous mathematical analysis, the paper proves that under the given conditions, the metric family of four - dimensional conformally compact Einstein manifolds is compact in an appropriate norm. This result is of great significance for understanding the properties of high - dimensional conformal geometry and Einstein manifolds.