4.6 Gluing the regions [023Z]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
4.6 Gluing the regions
We now glue the potential in the generic region , and the potential in the region (and a completely similar potential in the region ). We now take a smooth cutoff function , with
The glued potential is defined for ,
| (35) |
where is some large fixed constant, specifying the gluing region (resp. ). For large , then agrees with , while for , then agrees with .
Lemma 4.12.
For , the local -norm of the metric gluing error
In particular the glued metric remains Kähler.
Proof.
In the gluing region , namely and are comparably large, the deviation between and comes from the small deviation between the Tian-Yau potential and the Calabi ansatz, and the correction term . Ignoring the exponentially small effects, the only important term is . We compute from Lemma 4.7
∎
We also need to extend the gluing ansatz to a Kähler metric over the compact region with . We can first extend to a smooth potential over , which may not be Kähler inside a fixed compact set. Taking a very ample linear system for , we can construct a Fubini-Study metric on . Using the defining section of the divisor , we can regard the Fubini-Study metric as a function on , of the form
Clearly tends to infinity near at a speed comparable to . We take some large constant , and depending on , and add to the term Intuitively, the cutoff function turns off the Fubini-Study potential outside a large compact subset. By making large enough, we can improve to be Kähler in a fixed compact set. For , the cutoff error in the region is suppressed by , and the metric remains positive. By a slight abuse, we shall continue to use to refer to the global Kähler metric on .
Define the volume error function by
| (36) |
Corollary 4.13.
The volume form error of the glued ansatz is
Proof.
For , Lemma 4.11 says that the volume form error of is . In the gluing region , the volume form error is controlled by the metric gluing error, which is again by Lemma 4.12. What happens near is completely analogous. Finally, in the compact region , the smoothness of means that the local -norm is . ∎