ScalingStacks

Verified tagged author-source HTML · 1912.02360v1 · cited publication edition alignment unverified.

00SP

Proof. Let χ\chi be a compactly supported nonnegative smooth function on the square {|xi|<1}⊂ℝn\{|x_{i}|<1\}\subset\mathbb{R}^{n}, equal to one on {|xi|≤1/2}\{|x_{i}|\leq 1/2\}. We identify χ\chi with χ∘s−1​Log\chi\circ s^{-1}\text{Log}, and denote ωs​t​d=−1​∑d​log⁡zi∧d​log⁡zi¯\omega_{std}=\sqrt{-1}\sum d\log z_{i}\wedge d\overline{\log z_{i}}. Then

−C​s−2​ωs​t​d≤−1​∂∂¯​χ≤C​s−2​ωs​t​d.-Cs^{-2}\omega_{std}\leq\sqrt{-1}\partial\bar{\partial}\chi\leq Cs^{-2}\omega_{std}.

The basic obervation is that if TT is a positive current of bidegree (n−1,n−1)(n-1,n-1), then by integration by part,

∫E−1​∂∂¯​u∧T≤∫supp​(χ)χ​−1​∂∂¯​u∧T=∫supp​(χ)u​−1​∂∂¯​χ∧T≤C​s−2​∫supp​(χ)ωs​t​d∧T.\begin{split}&\int_{E}\sqrt{-1}\partial\bar{\partial}u\wedge T\leq\int_{\text{supp}(\chi)}\chi\sqrt{-1}\partial\bar{\partial}u\wedge T\\ &=\int_{\text{supp}(\chi)}u\sqrt{-1}\partial\bar{\partial}\chi\wedge T\leq Cs^{-2}\int_{\text{supp}(\chi)}\omega_{std}\wedge T.\end{split}

Iterating this argument to lower the power of −1​∂∂¯​u\sqrt{-1}\partial\bar{\partial}u,

∫E(−1​∂∂¯​u)n≤C​s−2​n​∫Uωs​t​dn≤C​s−n.\int_{E}(\sqrt{-1}\partial\bar{\partial}u)^{n}\leq Cs^{-2n}\int_{U}\omega_{std}^{n}\leq Cs^{-n}.

The second statement is proved similarly by removing −1​∂∂¯​v\sqrt{-1}\partial\bar{\partial}v factors iteratively. ∎

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.