ScalingStacks

Lemma 4.3 [0320]

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

Lemma 4.3

Let ω\omega be a Kähler form on XUX_{U}, ωS​F\omega_{SF} the semi-flat Kähler form on X0X_{0}, such that

∫Xbω=∫XbωS​F=ϵ.\int_{X_{b}}\omega=\int_{X_{b}}\omega_{SF}=\epsilon.

Then [ωS​F−ω]=0[\omega_{SF}-\omega]=0 in H2​(XU∗,𝐑)H^{2}(X_{U^{*}},{\bf R}), and furthermore, there exists a holomorphic section σ\sigma of f:XU→Uf:X_{U}\rightarrow U and a function φ\varphi on XU∗X_{U^{*}} such that

ωS​F−Tσ∗​ω=i​∂∂¯​φ,\omega_{SF}-T_{\sigma}^{*}\omega=i\partial\bar{\partial}\varphi,

where TσT_{\sigma} is translation by the section σ\sigma.

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