Proof.
At the first stage, we will analyze the regularity of .
By definition,
| (4.68) |
|
|
|
To start with, let us compute the lifting . By (3.264),
| (4.69) |
|
|
|
where
| (4.70) |
|
|
|
is the standard form in the model setting (2.45).
We also notice that
| (4.71) |
|
|
|
|
| (4.72) |
|
|
|
|
Now by definition
| (4.73) |
|
|
|
Moreover, according to the discussions in Section 2, we have
| (4.74) |
|
|
|
where is the standard Kähler form of .
Therefore,
| (4.75) |
|
|
|
|
Using the relation and the simple computation
| (4.76) |
|
|
|
we have
|
|
|
|
| (4.77) |
|
|
|
|
where we use the fact that and hence is smooth on . Then it follows that
| (4.78) |
|
|
|
Hence we see the -form locally extends to a -form across the subset .
Now we analyze the regularity of the holomorphic volume form which is given by
| (4.79) |
|
|
|
By Lemma 3.30, locally we have
| (4.80) |
|
|
|
Also
| (4.81) |
|
|
|
Therefore,
| (4.82) |
|
|
|
This implies that also extends to a form across . This is equivalent to saying that the almost complex structure determined by extends to a almost complex structure on .
∎