ScalingStacks

Lemma 4.1 [031Z]

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.1

Let ω\omega be a real closed (1,1)(1,1) form on XU∗X_{U^{*}}, with

ω=i2​(α​ϑv∧ϑ¯v+β​ϑh∧ϑ¯v+β¯​ϑv∧ϑ¯h+γ​ϑh∧ϑ¯h).\omega={i\over 2}(\alpha\vartheta_{\rm v}\wedge\bar{\vartheta}_{\rm v}+\beta\vartheta_{\rm h}\wedge\bar{\vartheta}_{\rm v}+\bar{\beta}\vartheta_{\rm v}\wedge\bar{\vartheta}_{\rm h}+\gamma\vartheta_{\rm h}\wedge\bar{\vartheta}_{\rm h}).

There exists a function φ\varphi on XU∗X_{U^{*}} such that ω=i​∂∂¯​φ\omega=i\partial\bar{\partial}\varphi if and only if ω\omega represents the zero cohomology class on XU∗X_{U^{*}} and

∫Xbβ​d​x1∧d​x2=0\int_{X_{b}}\beta dx_{1}\wedge dx_{2}=0

for all b∈U∗b\in U^{*}. Furthermore, for 0<r1<r20<r_{1}<r_{2}, let Ur1,r2={y∈U|r1<|y|<r2}U_{r_{1},r_{2}}=\{y\in U\,|\,r_{1}<|y|<r_{2}\}. If r1<r1′<r2′<r2r_{1}<r_{1}^{\prime}<r_{2}^{\prime}<r_{2} and U¯r1,r2⊆U∗\overline{U}_{r_{1},r_{2}}\subseteq U^{*}, then there exists a constant CC depending only on r1,r2,r1′,r2′r_{1},r_{2},r_{1}^{\prime},r_{2}^{\prime} and the periods of ff over Ur1,r2U_{r_{1},r_{2}} such that φ\varphi can be chosen with

‖φ‖Ck+2,α′≤C⁡(‖α‖Ck,α+‖β‖Ck,α+‖γ‖Ck,α).\|\varphi\|^{\prime}_{C^{k+2,\alpha}}\leq C(\|\alpha\|_{C^{k,\alpha}}+\|\beta\|_{C^{k,\alpha}}+\|\gamma\|_{C^{k,\alpha}}).

Here, we compute the Ck,αC^{k,\alpha} norm of a function on f−1​(Ur1,r2)f^{-1}(U_{r_{1},r_{2}}) by thinking of them as functions on 𝒯Ur1,r2∗{\cal T}^{*}_{U_{r_{1},r_{2}}}, which we embed in 𝐂2{\bf C}^{2} by the coordinates xx and yy. We can then use the standard Ck,αC^{k,\alpha} norms on a bounded open set of 𝒯Ur1,r2∗{\cal T}_{U_{r_{1},r_{2}}}^{*} which contains a fundamental domain of each fibre. The norm ∥⋅∥′Ck,α\|\cdot\|^{\prime}_{C^{k,\alpha}} denotes the similar norm of a function over Ur1′,r2′U_{r_{1}^{\prime},r_{2}^{\prime}}.

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