Proof. [05CK]
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.
The topological compactification again can be drawn from [Gro01, Prop. 2.9]. All we need to show is that a GH solution with asymptotics determined by (16) produces the right complex structure on , which would then uniquely extend to by the orbifold version of Hartog’s theorem. But this is a purely local question and it follows directly from Lemma 2.2 dropping the completeness condition (12) that becomes irrelevant.
To see matching of the volume forms let us choose local complex coordinates on such that the local equation for is . In these coordinates the top degree holomorphic form on will be , where is the standard orbifold volume form. Then, is easily seen to coincide with the local expression for the distinguished form on . ∎