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.
As a preliminary remark, although is a Kähler form only in a bounded region, it makes sense as a closed 2-form over the entire . The integral is a cohomological invariant, which can be evaluated asymptotically on a -cycle as stay bounded and . By choosing the -cycle on which are constants,
|
|
|
But by Lemma 4.10 and Proposition 4.13, the quantity as , so the only contribution is
∎