ScalingStacks

Proof. [051W]

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

Proof.

At the first stage, we will analyze the regularity of ω\omega. By definition,

(4.68) Tn−2n​ω=T​π∗​ωD+π∗​ψ+d​z∧Θ.T^{\frac{n-2}{n}}\omega=T\pi^{*}\omega_{D}+\pi^{*}\psi+dz\wedge\Theta.

To start with, let us compute the lifting π∗​ψ\pi^{*}\psi. By (3.264),

(4.69) π∗​ψ=π∗​ω~0+12​r​(y​d​y¯+y¯​d​y)∧Γ+r​d​Γ+π∗​(O′​(r)​d​y+O′​(r)​d​y¯)+π∗​O′​(r2),\pi^{*}\psi=\pi^{*}\tilde{\omega}_{0}+\frac{1}{2r}(yd\bar{y}+\bar{y}dy)\wedge\Gamma+rd\Gamma+\pi^{*}(O^{\prime}(r)dy+O^{\prime}(r)d\bar{y})+\pi^{*}O^{\prime}(r^{2}),

where

(4.70) ω~0=−14​r​d​y∧d​y¯\tilde{\omega}_{0}=\frac{\sqrt{-1}}{4r}dy\wedge d\bar{y}

is the standard form in the model setting (2.45). We also notice that

(4.71) π∗​(O′​(r)​d​y+O′​(r)​d​y¯)\displaystyle\pi^{*}(O^{\prime}(r)dy+O^{\prime}(r)d\bar{y}) =s​O′​(s2),\displaystyle=sO^{\prime}(s^{2}),
(4.72) π∗​O′​(r2)\displaystyle\pi^{*}O^{\prime}(r^{2}) =O′​(s4).\displaystyle=O^{\prime}(s^{4}).

Now by definition

(4.73) Θ=Θ0+zr​Γ+k−+k+k−−k+​Γ+θ+θf=Θ0+zr​Γ+O′​(s2).\Theta=\Theta_{0}+\frac{z}{r}\Gamma+\frac{k_{-}+k_{+}}{k_{-}-k_{+}}\Gamma+\theta+\theta_{f}=\Theta_{0}+\frac{z}{r}\Gamma+O^{\prime}(s^{2}).

Moreover, according to the discussions in Section 2, we have

(4.74) π∗​ω~0+d​z∧Θ0=ωℂ2,\pi^{*}\tilde{\omega}_{0}+dz\wedge\Theta_{0}=\omega_{\mathbb{C}^{2}},

where ωℂ2=−12​(d​u1∧d​u¯1+d​u2∧d​u¯2)\omega_{\mathbb{C}^{2}}=\frac{\sqrt{-1}}{2}(du_{1}\wedge d\bar{u}_{1}+du_{2}\wedge d\bar{u}_{2}) is the standard Kähler form of ℂ2\mathbb{C}^{2}. Therefore,

(4.75) π∗​ψ+d​z∧Θ=\displaystyle\pi^{*}\psi+dz\wedge\Theta= ωℂ2+r​d​Γ+12​r​(y​d​y¯+y¯​d​y)∧Γ+d​z∧(zr​Γ)+O′​(s3).\displaystyle\omega_{\mathbb{C}^{2}}+rd\Gamma+\frac{1}{2r}(yd\bar{y}+\bar{y}dy)\wedge\Gamma+dz\wedge(\frac{z}{r}\Gamma)+O^{\prime}(s^{3}).

Using the relation r2=|y|2+z2r^{2}=|y|^{2}+z^{2} and the simple computation

(4.76) d⁡(r​Γ)=r​d​Γ+d​r∧Γ=r​d​Γ+12​r​(y​d​y¯+y¯​d​y)∧Γ+d​z∧(zr​Γ),d(r\Gamma)=rd\Gamma+dr\wedge\Gamma=rd\Gamma+\frac{1}{2r}(yd\bar{y}+\bar{y}dy)\wedge\Gamma+dz\wedge(\frac{z}{r}\Gamma),

we have

π∗​ψ+d​z∧Θ=\displaystyle\pi^{*}\psi+dz\wedge\Theta= ωℂ2+d⁡(r​Γ)+O′​(s3)\displaystyle\omega_{\mathbb{C}^{2}}+d(r\Gamma)+O^{\prime}(s^{3})
(4.77) =\displaystyle= ωℂ2+O′​(s3),\displaystyle\omega_{\mathbb{C}^{2}}+O^{\prime}(s^{3}),

where we use the fact that r=12​s2r=\frac{1}{2}s^{2} and hence r​Γ=s2​Γr\Gamma=s^{2}\Gamma is smooth on 𝕃\mathbb{L}. Then it follows that

(4.78) Tn−2n​ω=T​π∗​ωD+ωℂ2+O′​(s3).T^{\frac{n-2}{n}}\omega=T\pi^{*}\omega_{D}+\omega_{\mathbb{C}^{2}}+O^{\prime}(s^{3}).

Hence we see the (1,1)(1,1)-form ω\omega locally extends to a C2,αC^{2,\alpha}-form across the subset {u1=u2=0}\{u_{1}=u_{2}=0\}.

Now we analyze the regularity of the holomorphic volume form Ω\Omega which is given by

(4.79) Ω=−1​(h​d​z+−1​Θ)∧π∗​ΩD.\Omega=\sqrt{-1}(hdz+\sqrt{-1}\Theta)\wedge\pi^{*}\Omega_{D}.

By Lemma 3.30, locally we have

(4.80) π∗​ΩD=F⁡(u1​d​u2+u2​d​u1+2​−1​u1​u2​Γ)∧π∗​ΩH+O~​(s2)​(u1​d​u2+u2​d​u1)+O~​(s3).\pi^{*}\Omega_{D}=F(u_{1}du_{2}+u_{2}du_{1}+2\sqrt{-1}u_{1}u_{2}\Gamma)\wedge\pi^{*}\Omega_{H}+\widetilde{O}(s^{2})(u_{1}du_{2}+u_{2}du_{1})+\widetilde{O}(s^{3}).

Also

(4.81) h​d​z+−1​Θ=q⁡(z)​d​z+1|u1|2+|u2|2​(−u¯2​d​u2+u¯1​d​u1+−1​(|u1|2−|u2|2)​Γ)+O′​(s2).hdz+\sqrt{-1}\Theta=q(z)dz+\frac{1}{|u_{1}|^{2}+|u_{2}|^{2}}(-\bar{u}_{2}du_{2}+\bar{u}_{1}du_{1}+\sqrt{-1}(|u_{1}|^{2}-|u_{2}|^{2})\Gamma)+O^{\prime}(s^{2}).

Therefore,

(4.82) Ω=F​d​u1∧d​u2∧ΩH+−1​F​(u2​d​u1−u1​d​u2)∧Γ∧ΩH+O~​(s2)+s​O′​(s2).\Omega=Fdu_{1}\wedge du_{2}\wedge\Omega_{H}+\sqrt{-1}F(u_{2}du_{1}-u_{1}du_{2})\wedge\Gamma\wedge\Omega_{H}+\widetilde{O}(s^{2})+sO^{\prime}(s^{2}).

This implies that Ω\Omega also extends to a C2,αC^{2,\alpha} form across {u1=u2=0}\{u_{1}=u_{2}=0\}. This is equivalent to saying that the almost complex structure JJ determined by Ω\Omega extends to a C2,αC^{2,\alpha} almost complex structure on ℳ\mathcal{M}. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.