ScalingStacks

Proof. [02CA]

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.

By general theory, what the statement really means is that for any singular point xx in WW, there is a neighborhood UU, and a nowhere zero holomorphic nn form Θ\Theta on Wr​e​g∩UW^{reg}\cap U with ∫Wr​e​g∩UΘ∧Θ¯<∞\int_{W^{reg}\cap U}\Theta\wedge\overline{\Theta}<\infty. We first consider the cases L=KX2L=K_{X}^{2} and KX−1K_{X}^{-1}. Previous discussion has shown that for any xx, there is a neighborhood UU of xx, an integer k>0k>0, a constant C>0C>0, and a section ss of LkL^{k} over X∞∖Σ=Wr​e​gX_{\infty}\setminus\Sigma=W^{reg} with C−1≤‖s⁡(x)‖2≤CC^{-1}\leq\|s(x)\|^{2}\leq C for x∈Wr​e​g∩Ux\in W^{reg}\cap U. Here the norm is taken with respect to the Kähler-Einstein metric. When L=KX2L=K_{X}^{2}, we define Θ=(s⊗s¯)12​k\Theta=(s\otimes\overline{s})^{\frac{1}{2k}}, then

∫Wr​e​g∩UΘ∧Θ¯=∫Wr​e​g∩U‖s‖1k​𝑑v​o​l≤C12​k​V​o​l​(W).\int_{W^{reg}\cap U}\Theta\wedge\overline{\Theta}=\int_{W^{reg}\cap U}\|s\|^{\frac{1}{k}}dvol\leq C^{\frac{1}{2k}}Vol(W).

When L=−KXL=-K_{X}, we define Θ=(s∗⊗s∗¯)1k\Theta=(s^{*}\otimes\overline{s^{*}})^{\frac{1}{k}}, where s∗s^{*} is the dual section of ss. So ‖s∗‖=‖s‖−1\|s^{*}\|=\|s\|^{-1}. Then

∫Wr​e​g∩UΘ∧Θ¯=∫Wr​e​g∩U‖s∗‖2k​𝑑v​o​l≤C−1k​V​o​l​(W).\int_{W^{reg}\cap U}\Theta\wedge\overline{\Theta}=\int_{W^{reg}\cap U}\|s^{*}\|^{\frac{2}{k}}dvol\leq C^{-\frac{1}{k}}Vol(W).

In the Calabi-Yau case, since Θi\Theta_{i} has norm one, we easily see that there is a limit holomorphic volume form Θ\Theta on X∞∖Σ=Wr​e​gX_{\infty}\setminus\Sigma=W^{reg} with norm one. Then ∫Wr​e​gΘ∧Θ¯=V​o​l​(W).\int_{W^{reg}}\Theta\wedge\overline{\Theta}=Vol(W). ∎

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