Abstract:We study local structure of the moduli space of compact Einstein metrics with respect to the boundary conformal metric and mean curvature. In dimension three, we confirm M. Anderson's conjecture in a strong sense, showing that the map from Einstein metrics to such boundary data is generically a local diffeomorphism. In dimensions greater than three, we obtain similar results for Ricci flat metrics and negative Einstein metrics under new non-degenerate boundary conditions.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the local structure theory on the boundary of Einstein manifolds. Specifically, the authors studied the local structure of the compact Einstein metric moduli space with boundaries, especially the mapping regarding the boundary conformal metric and the mean curvature. The following are the specific problems that the paper attempts to solve:
1. **Verification of the Main Conjecture in the Three - Dimensional Case**:
- The paper confirms the conjecture proposed by M. Anderson in the three - dimensional case, that is, the mapping from Einstein metrics to boundary data (conformal class and mean curvature) is generally a local diffeomorphism.
- This means that within an open neighborhood, Einstein metrics can be uniquely parameterized by their boundary data.
2. **Similar Results in the High - Dimensional Case**:
- For cases where the dimension is greater than three, the authors obtained similar conclusions under new non - degenerate boundary conditions, especially for Ricci - flat metrics and negative Einstein metrics.
- Specifically, they proved that under certain non - degenerate boundary conditions, the boundary mapping is a local diffeomorphism on an open dense subset.
3. **Definition and Properties of Boundary Conditions**:
- The authors introduced non - degenerate boundary conditions and H - non - degenerate boundary conditions and discussed the significance of these conditions in different dimensions.
- For example, when the scalar curvature and the mean curvature on the boundary are non - zero constants, the non - degenerate boundary condition is equivalent to the second eigenvalue of the Laplacian operator being positive.
4. **Discussion of Related Problems**:
- The paper also discussed other problems related to Anderson's boundary data, such as the conformal immersion problem. Specifically, the authors explored whether, given a closed orientable surface Σ and any Anderson boundary data ([γ], φ), there exists an immersion f: Σ → R³ such that its induced metric and mean curvature satisfy the given data.
- The authors gave results on local existence and further proved the geometric uniqueness on star - shaped regions.
### Main Contributions
- **Strong - Form Verification in the Three - Dimensional Case**: The paper not only verified Anderson's conjecture but also proved in a stronger form that the boundary mapping is a local diffeomorphism on an open dense subset.
- **New Results in the High - Dimensional Case**: In the high - dimensional case, by introducing non - degenerate boundary conditions, the authors obtained similar results, especially in the case of Ricci - flat metrics and negative Einstein metrics.
- **Detailed Analysis of Boundary Conditions**: The paper carried out a detailed analysis of non - degenerate boundary conditions and H - non - degenerate boundary conditions, providing a basis for subsequent research.
### Mathematical Tools and Techniques
- **Green - type Identities**: The authors used Green - type identities to deal with the linearization of the Einstein operator and derived some useful identities.
- **Elliptic Operators and Fredholm Theory**: By introducing the harmonic gauge, the problem was transformed into the study of elliptic operators, and Fredholm theory was used to analyze the kernel of the linearization.
- **Infinitesimal Rigidity**: The infinitesimal rigidity problem under conformal Cauchy boundary conditions was discussed, especially the strong results in the three - dimensional case.
### Conclusion
Through in - depth research on the local structure on the boundary of Einstein manifolds, this paper not only verified Anderson's conjecture but also proposed new non - degenerate boundary conditions in the high - dimensional case, providing an important theoretical basis for understanding the structure of the Einstein metric moduli space.