ScalingStacks

Proof. [03Z0]

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 discriminant locus is the image of the singular locus 𝒞i​j={zi=zj=0}\mathcal{C}_{ij}=\{z_{i}=z_{j}=0\} under the moment map. We shall focus on 𝒞01\mathcal{C}_{01}. The holomorphic moment coordinate η\eta depends only on Ω\Omega and the T2T^{2} action, so η=z0​z1​z2\eta=z_{0}z_{1}z_{2} as before and vanishes on 𝒞01\mathcal{C}_{01}. The symplectic moment coordinates are defined by d​μi=−ι∂∂θi​ωd\mu_{i}=-\iota_{\frac{\partial}{\partial\theta_{i}}}\omega, and are normalised to be zero at (z1,z2,z3)=0(z_{1},z_{2},z_{3})=0. In particular since the Hamiltonian vector field ∂∂θ1\frac{\partial}{\partial\theta_{1}} vanishes on 𝒞01\mathcal{C}_{01}, the moment μ1\mu_{1} must be the constant zero on 𝒞01\mathcal{C}_{01}. Furthermore μ2>0\mu_{2}>0 on 𝒞01\mathcal{C}_{01} by considering the weight of the remaining S1S^{1} action at the fixed point, so the image of 𝒞01\mathcal{C}_{01} is contained in 𝔇1∪{0}\mathfrak{D}_{1}\cup\{0\}. The infinite volume condition and the formula

0≤∫𝒞01∩{μ2<m}ω=−2π∫μ2=m0dμ2=2πm,∀m≥0,0\leq\int_{\mathcal{C}_{01}\cap\{\mu_{2}<m\}}\omega=-2\pi\int_{\mu_{2}=m}^{0}d\mu_{2}=2\pi m,\quad\forall m\geq 0,

ensure that μ2\mu_{2} stretches to infinity, so 𝔇1∪{0}\mathfrak{D}_{1}\cup\{0\} is the image of 𝒞01\mathcal{C}_{01}. Likewise the image of 𝒞02\mathcal{C}_{02} is 𝔇2∪{0}\mathfrak{D}_{2}\cup\{0\} and the image of 𝒞12\mathcal{C}_{12} is 𝔇3∪{0}\mathfrak{D}_{3}\cup\{0\}. ∎

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