Garrett M. Brown
Abstract:We show that if $(M,\omega)$ is a compact Kähler manifold with positive/negative scalar curvature, then the blowup of $M$ at any point also furnishes a positive/negative scalar curvature Kähler metric in classes which make the exceptional divisor small. In the case of Kähler surfaces with positive scalar curvature, this extends a result of N. Hitchin to surfaces and answers a conjecture of C. LeBrun in the affirmative, as a result completing the classification of such surfaces.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how to keep the positive or negative property of the scalar curvature unchanged after performing the Blowup operation on points on a complex manifold. Specifically, the paper focuses on whether, on a compact Kähler manifold \( (M, \omega) \) with positive or negative scalar curvature, after performing the Blowup operation on any point \( p \in M \), a Kähler metric with the same positive or negative scalar curvature can be found in some specific Kähler classes.
### Main contributions of the paper
1. **Main theorem**:
- If \( (M, \omega) \) is a compact Kähler manifold with positive (or negative) scalar curvature and \( p \in M \), then for a sufficiently small \( \epsilon \), there exists a Kähler metric on the Blowup manifold \( \text{Bl}_p M \) whose scalar curvature is also positive (or negative), and this metric lies in the class \( \pi^*[\omega] - \epsilon^2 [E] \), where \( E \) is the exceptional divisor.
2. **Special cases**:
- On a two - dimensional Kähler manifold (i.e., a Kähler surface), if the original manifold has positive scalar curvature, then the Blowup manifold can also maintain positive scalar curvature. This result fills a gap in a conjecture of C. LeBrun and completes the classification of compact Kähler surfaces with positive scalar curvature.
### Paper structure
1. **Introduction**:
- Briefly introduces the research background and main results.
2. **Metric \( \omega_\epsilon \) on Blowup**:
- Constructs an initial family of metrics \( \omega_\epsilon \), by gluing the metric on the original manifold with a specific metric on the Blowup region.
3. **Weighted Hölder spaces**:
- Introduces weighted Hölder spaces, which provide uniform estimates under the parameter \( \epsilon \).
4. **Estimates of the adjoint operator of the linearized operator**:
- Proves the uniform estimates in the weighted Hölder spaces of the adjoint operator of the linearized operator.
5. **Improved \( \omega_\epsilon \) when \( n = 2 \)**:
- In the two - dimensional case, improves \( \omega_\epsilon \) to obtain better gluing region behavior.
6. **Proof of the main theorem**:
- Utilizes the contraction mapping principle, through the estimates in the previous section, perturbs the initial family of metrics \( \omega_\epsilon \) into a Kähler metric that approximates the scalar curvature of the original metric.
7. **Positive scalar curvature Kähler surfaces and further discussion**:
- Discusses the classification results of positive scalar curvature Kähler metrics in the two - dimensional case, and briefly mentions the negative scalar curvature case and the high - dimensional case.
### Conclusion
This paper successfully proves the possibility of maintaining the positive or negative property of the scalar curvature after the Blowup operation by constructing and analyzing a specific family of Kähler metrics, especially on two - dimensional Kähler surfaces, and this result has important theoretical significance.