7.4. Global weighted analysis on and the proof of the main theorem
Now we are in a position to set up the
whole package to implement
the global weighted analysis on the glued manifold.
To begin with,
let
be the -Kähler structure constructed in Section 7.3.
on . So we define the linear spaces
|
|
|
|
| (7.154) |
|
|
|
|
which are equipped with the weighted norms
| (7.155) |
|
|
|
|
| (7.156) |
|
|
|
|
such that both and are Banach spaces.
As in Section 7.3.2, the parameters
are chosen as
| (7.157) |
|
|
|
|
| (7.158) |
|
|
|
|
Morevoer, is sufficiently small such that
| (7.159) |
|
|
|
and .
For , starting with the Kähler structure , we will solve the nonlinear equation
| (7.160) |
|
|
|
Let be defined by
| (7.161) |
|
|
|
Then (7.160) is equivalent to
| (7.162) |
|
|
|
Now we write
| (7.163) |
|
|
|
for any , where
| (7.164) |
|
|
|
is the linearization of and
| (7.165) |
|
|
|
|
The proof of the following is identical to Proposition 6.4.
Proposition 7.13 (Nonlinear error estimate).
There exists a constant independent of
such that for all
| (7.166) |
|
|
|
and
| (7.167) |
|
|
|
we have the pointwise estimate
| (7.168) |
|
|
|
The global version of the weighted Schauder estimate Proposition 4.22 takes the following form. Note that the weighted Schauder estimate on the neck is given by Proposition 6.9.
Proposition 7.14 (Weighted Schauder estimate, the global version).
For every , there exists a uniform constant (independent of ) such that for every
,
| (7.169) |
|
|
|
The proof is similar to the proof of Proposition 4.22. From the construction of the metric in Section 7.3 the rescaled limit geometries will be the same as in the case of the neck studied in Section 4.3, except two possible incomplete Calabi model space limits replaced by the two Tian-Yau metrics on the ends. We omit the details.
Proposition 7.15 (Global injectivity estimates).
For all parameters , ,
satisfying
| (7.170) |
|
|
|
there exists a uniform constant (independent of ) such that for every
,
| (7.171) |
|
|
|
| (7.172) |
|
|
|
The proof is very similar to the proof of Proposition 6.8, by using a contradiction argument and applying various Liouville theorems. We omit the details and only mention two different points. The first point is that from our construction of on , if we rescale around points in Region , then we will get the Tian-Yau spaces (instead of the incomplete Calabi model spaces) as limits, and we need to use Theorem 5.2. The second point is that the other rescaled limits will be exactly the same as considered in the proof of Proposition 6.8, and this follows from the fact that by construction our metric away from the region is essentially a small perturbation of the neck region .
Now given Proposition 7.15 as before it is straightforward to see that for sufficiently small, there is a solving the Calabi-Yau equation (7.160). By uniqueness of Calabi-Yau metrics, we know must agree with the Calabi-Yau metric on in the Introduction. The geometric statements in Theorem 1.1 then follow from similar arguments as in Section 6.4. We omit the details.