Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes Source fidelity gap: the original arXiv HTML omits an author TeX footnote attached to equation e:def-omega, including its reference to Remark r:error-function. The retained HTML is preserved as published; the original author TeX remains available. TeX correspondence is not complete. Complete original source context · Original author HTML
Proof.
This amounts to proving that
(6.24)
∫ ℳ T ℱ ( − 1 ∂ ∂ ¯ ϕ ) ω T n = 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 ω T n = ∫ ∂ ℳ 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 d c ϕ d^{c}\phi and either d d c ϕ 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 S 1 S^{1} -invariant, so we have ∂ t ϕ = 0 \partial_{t}\phi=0 . By the Neumann boundary condition, we also have d c ϕ ( ∂ t ) = 0 d^{c}\phi(\partial_{t})=0 on ∂ ℳ T \partial\mathcal{M}_{T} . This follows from the observation that J ∂ t = ∇ z J\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 d c ϕ \displaystyle\partial_{t}\lrcorner dd^{c}\phi
= ℒ ∂ t ( d c ϕ ) − d ( ∂ t ⌟ d c ϕ ) = − d ( ∂ t ⌟ d c ϕ ) . \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 d c ϕ ( ∂ t ) = 0 d^{c}\phi(\partial_{t})=0 pointwise on ∂ ℳ T \partial\mathcal{M}_{T} .
∎