ScalingStacks

Proof. [054W]

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.

This amounts to proving that

(6.24) ∫ℳTℱ⁡(−1​∂∂¯​ϕ)​ωTn=0.\int_{\mathcal{M}_{T}}\mathscr{F}(\sqrt{-1}\partial\bar{\partial}\phi)\omega_{T}^{n}=0.

By Stokes’ theorem,

(6.25) ∫ℳT(ωT+−1​∂∂¯​ϕ)n−∫ℳTωTn=∫∂ℳTγ,\int_{\mathcal{M}_{T}}(\omega_{T}+\sqrt{-1}\partial\bar{\partial}\phi)^{n}-\int_{\mathcal{M}_{T}}\omega_{T}^{n}=\int_{\partial\mathcal{M}_{T}}\gamma,

where γ\gamma is the sum of terms involving one factor dc​ϕd^{c}\phi and either d​dc​ϕdd^{c}\phi or ωT\omega_{T}. We claim that γ\gamma identically vanishes on ∂ℳT\partial\mathcal{M}_{T}. It suffices to show ∂t⌟​γ=0\partial_{t}\lrcorner\gamma=0. Since by assumption ϕ\phi is S1S^{1}-invariant, so we have ∂tϕ=0\partial_{t}\phi=0. By the Neumann boundary condition, we also have dcϕ(∂t)=0d^{c}\phi(\partial_{t})=0 on ∂ℳT\partial\mathcal{M}_{T}. This follows from the observation that J∂t=∇zJ\partial_{t}=\nabla z. Now

(6.26) ∂t⌟​ωT|∂ℳT\displaystyle\partial_{t}\lrcorner\omega_{T}|_{\partial\mathcal{M}_{T}} =d​z|∂ℳT=0,\displaystyle=dz|_{\partial\mathcal{M}_{T}}=0,
(6.27) ∂t⌟​d​dc​ϕ\displaystyle\partial_{t}\lrcorner dd^{c}\phi =ℒ∂t​(dc​ϕ)−d⁡(∂t⌟​dc​ϕ)=−d⁡(∂t⌟​dc​ϕ).\displaystyle=\mathcal{L}_{\partial_{t}}(d^{c}\phi)-d(\partial_{t}\lrcorner d^{c}\phi)=-d(\partial_{t}\lrcorner d^{c}\phi).

The last term vanishes on ∂ℳT\partial\mathcal{M}_{T} since dcϕ(∂t)=0d^{c}\phi(\partial_{t})=0 pointwise on ∂ℳT\partial\mathcal{M}_{T}. ∎

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