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 in , there is a neighborhood , and a nowhere zero holomorphic form on with . We first consider the cases and . Previous discussion has shown that for any , there is a neighborhood of , an integer , a constant , and a section of over with for . Here the norm is taken with respect to the Kähler-Einstein metric. When , we define , then
When , we define , where is the dual section of . So . Then
In the Calabi-Yau case, since has norm one, we easily see that there is a limit holomorphic volume form on with norm one. Then ∎