ScalingStacks

Proof. [045B]

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 ω(1)\omega^{(1)} is a Kähler form only in a bounded region, it makes sense as a closed 2-form over the entire (ℂ∗)2×ℝμ(\mathbb{C}^{*})^{2}\times\mathbb{R}_{\mu}. The integral ∫T2ω(1)\int_{T^{2}}\omega^{(1)} is a cohomological invariant, which can be evaluated asymptotically on a T2T^{2}-cycle as η1,η2\eta_{1},\eta_{2} stay bounded and μ→+∞\mu\to+\infty. By choosing the T2T^{2}-cycle on which μ,y1,y2\mu,y_{1},y_{2} are constants,

∫T2ω(1)=−12​∫T2W(1)p​q¯​d​ηp∧d​η¯q=−12​∫T2(W(1)1​2¯−W(1)2​1¯)​d​x1∧d​x2=∫T2Im​(W(1)2​1¯)​d​x1∧d​x2=Im​(a2​1¯)+∫T2γ4​d​x1∧d​x2.\begin{split}\int_{T^{2}}\omega^{(1)}=&\frac{\sqrt{-1}}{2}\int_{T^{2}}W^{p\bar{q}}_{(1)}d\eta_{p}\wedge d\bar{\eta}_{q}=\frac{\sqrt{-1}}{2}\int_{T^{2}}(W^{1\bar{2}}_{(1)}-W^{2\bar{1}}_{(1)})dx_{1}\wedge dx_{2}\\ =&\int_{T^{2}}\text{Im}(W^{2\bar{1}}_{(1)})dx_{1}\wedge dx_{2}=\text{Im}(a_{2\bar{1}})+\int_{T^{2}}\gamma_{4}dx_{1}\wedge dx_{2}.\end{split}

But by Lemma 4.10 and Proposition 4.13, the quantity γ4→0\gamma_{4}\to 0 as μ→+∞\mu\to+\infty, so the only contribution is ∫T2ω(1)=Im​(a2​1¯).\int_{T^{2}}\omega^{(1)}=\text{Im}(a_{2\bar{1}}). ∎

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