ScalingStacks

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 MM, which would then uniquely extend to M¯\bar{M} 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 {η~1,…,η~l}\{\tilde{\eta}_{1},\dots,\tilde{\eta}_{l}\} on (ℂ∗)l(\mathbb{C}^{*})^{l} such that the local equation for {Pσ=0}\{P_{\sigma}=0\} is η~1=0\tilde{\eta}_{1}=0. In these coordinates the top degree holomorphic form on MM will be Ω=Ωτ∧d​η2∧⋯∧ηl\Omega=\Omega_{\tau}\wedge d\eta_{2}\wedge\dots\wedge\eta_{l}, where Ωτ\Omega_{\tau} is the standard orbifold volume form. Then, Ω\Omega is easily seen to coincide with the local expression for the distinguished form ΩC​Y\Omega_{CY} on Zσ,τZ_{\sigma,\tau}. ∎

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