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 17 original proof heading/text diagnostics lack independently established complete proof boundaries; diagnostic occurrences may overlap and are not a count of distinct proofs. Complete original source context · Original author HTML
Lemma 4.3
Let ω \omega be a Kähler form on X U X_{U} , ω S F \omega_{SF}
the semi-flat Kähler form on X 0 X_{0} , such that
∫ X b ω = ∫ X b ω S F = ϵ . \int_{X_{b}}\omega=\int_{X_{b}}\omega_{SF}=\epsilon.
Then [ ω S F − ω ] = 0 [\omega_{SF}-\omega]=0 in H 2 ( X U ∗ , 𝐑 ) H^{2}(X_{U^{*}},{\bf R}) , and
furthermore, there exists a holomorphic section σ \sigma of
f : X U → U f:X_{U}\rightarrow U and a function φ \varphi on X U ∗ 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 .