Proof.
The volume form error will be smaller than the metric deviation due to extra cancellation effects.
Recall the computation of from Lemma 4.9 above.
Notice is a volume form, so must take one and from either a pair of cross derivative terms, or from a factor for . The differentiation of and the powers of would only produce factors on without dependence. By thinking about all the possible ways to take wedge products contributing to , we get an absolutely convergent series within :
|
|
|
(33) |
where the coefficients are top degree forms on the factor, without dependence. Here we write as a reminder that we have ignored the exponentially small errors from identifying the tubular neighbourhood with the normal bundles of , which is holomorphically trivial up to finite cover.
We now identify the leading term . By thinking about form types, this comes from the binomial expansion term
|
|
|
which is
|
|
|
From the explicit formula (24) for ,
|
|
|
and recalling the complex Monge-Ampère equation for the Tian-Yau metric in Theorem 4.2, the above simplifies to
|
|
|
Up to exponentially small errors from complex structure identifications, in terms of the local defining functions for ,
|
|
|
and the above reduce to
for the constant in (28). In short, the leading term cancels with .
The subleading terms are suppressed by the factor , and the fast convergence of the power series means we only need to consider . In the Tian-Yau core region , the crude information is that
has local norm . This explains the decay in the subregion.
For , the deviation between the Tian-Yau potential and the Calabi ansatz potential is , namely (for some changing constant ). After replacing by , we recover the potential in the generic region. Ignoring exponentially small complex structure errors as usual, then is by construction a solution to the complex Monge-Ampère equation. This explains the exponential decay for .
∎