ScalingStacks

Proof. [045H]

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

Proof.

We focus on w1​1¯=γ1+γ3w^{1\bar{1}}=\gamma_{1}+\gamma_{3}, where γ1,γ3\gamma_{1},\gamma_{3} admit the Green’s representation (4.11). We split the integral on SS into the short distance contribution from S∩{|η1−η1′|,|η2−η2′|≲12}S\cap\{|\eta_{1}-\eta^{\prime}_{1}|,|\eta_{2}-\eta^{\prime}_{2}|\lesssim\frac{1}{2}\} and the long distance contribution from S∩{|η1−η1′|≳12 or |η2−η2′|≳12}S\cap\{|\eta_{1}-\eta^{\prime}_{1}|\gtrsim\frac{1}{2}\text{ or }|\eta_{2}-\eta^{\prime}_{2}|\gtrsim\frac{1}{2}\}.

The short distance contribution to the integral w1​1¯w^{1\bar{1}} is

−πA1/2∫S∩{|η1−η1′|,|η2−η2′|≲12}γ(η1−η1′,η2−η2′,μ)−1dη2′∧dη¯2′.-\pi A^{1/2}\int_{S\cap\{|\eta_{1}-\eta^{\prime}_{1}|,|\eta_{2}-\eta^{\prime}_{2}|\lesssim\frac{1}{2}\}}\gamma(\eta_{1}-\eta_{1}^{\prime},\eta_{2}-\eta_{2}^{\prime},\mu)\sqrt{-1}d\eta_{2}^{\prime}\wedge d\bar{\eta}_{2}^{\prime}.

Applying Lemma 4.2, we can replace the periodic Newtontian potential γ\gamma by the ordinary Newtonian potential, so the short distance contribution is replaced by

−πA1/2∫S∩{|η1−η1′|,|η2−η2′|≲12}−18​π2​|(η1−η1′,η2−η2′,μ)|a3−1dη2′∧dη¯2′,-\pi A^{1/2}\int_{S\cap\{|\eta_{1}-\eta^{\prime}_{1}|,|\eta_{2}-\eta^{\prime}_{2}|\lesssim\frac{1}{2}\}}-\frac{1}{8\pi^{2}|(\eta_{1}-\eta_{1}^{\prime},\eta_{2}-\eta_{2}^{\prime},\mu)|_{a}^{3}}\sqrt{-1}d\eta_{2}^{\prime}\wedge d\bar{\eta}_{2}^{\prime},

at a cost of a smooth error of order O(A−1/4)O(A^{-1/4}). The measure −1​d​η2′∧d​η¯2′\sqrt{-1}d\eta_{2}^{\prime}\wedge d\bar{\eta}_{2}^{\prime} is equal to 2​|z1′|2A​ai​j¯​zi′​z¯j′​d​𝒜​(η1′,η2′)2\frac{|z_{1}^{\prime}|^{2}}{Aa^{i\bar{j}}z_{i}^{\prime}\bar{z}_{j}^{\prime}}d\mathcal{A}(\eta_{1}^{\prime},\eta_{2}^{\prime}), so the above expression is

∫S∩{|η1−η1′|,|η2−η2′|≲12}−18​π2​|(η1−η1′,η2−η2′,μ)|a3−2​π​|z1′|2A1/2​ai​j¯​zi′​z¯j′d𝒜(η1′,η2′).\int_{S\cap\{|\eta_{1}-\eta^{\prime}_{1}|,|\eta_{2}-\eta^{\prime}_{2}|\lesssim\frac{1}{2}\}}-\frac{1}{8\pi^{2}|(\eta_{1}-\eta_{1}^{\prime},\eta_{2}-\eta_{2}^{\prime},\mu)|_{a}^{3}}\frac{-2\pi|z_{1}^{\prime}|^{2}}{A^{1/2}a^{i\bar{j}}z_{i}^{\prime}\bar{z}_{j}^{\prime}}d\mathcal{A}(\eta_{1}^{\prime},\eta_{2}^{\prime}).

We may assume the submanifold S∩{|η1−η1′|,|η2−η2′|≲12}S\cap\{|\eta_{1}-\eta^{\prime}_{1}|,|\eta_{2}-\eta^{\prime}_{2}|\lesssim\frac{1}{2}\} is graphical, so Lemma 4.15 applies after scaling. Thus the short distance contribution to w1​1¯w^{1\bar{1}} is

−14​π​R−2​π​|z1′|2A1/2​ai​j¯​zi′​z¯j′+O(A−1/4)=|z1′|22​R​A1/2​ai​j¯​zi′​z¯j′+O(A−1/4),-\frac{1}{4\pi R}\frac{-2\pi|z_{1}^{\prime}|^{2}}{A^{1/2}a^{i\bar{j}}z_{i}^{\prime}\bar{z}_{j}^{\prime}}+O(A^{-1/4})=\frac{|z_{1}^{\prime}|^{2}}{2RA^{1/2}a^{i\bar{j}}z_{i}^{\prime}\bar{z}_{j}^{\prime}}+O(A^{-1/4}),

where the complex coordinates zi′z_{i}^{\prime} are computed at h→​(ξ2)∈S\vec{h}(\xi_{2})\in S. But the factor |z1|2A1/2​ai​j¯​zi​z¯j\frac{|z_{1}|^{2}}{A^{1/2}a^{i\bar{j}}z_{i}\bar{z}_{j}} varies slowly, so we may as well compute it at (η1,η2,μ)(\eta_{1},\eta_{2},\mu).

The long distance contribution to w1​1¯w^{1\bar{1}} is O(A−1/4max(1,log(A−1/4ϱ)))O(A^{-1/4}\max(1,\log(A^{-1/4}\varrho))) by following the same steps as in Section 4.2, 4.3, using Lemma 4.1. Combining the two contributions,

|w1​1¯−|z1|22​R​A1/2​ai​j¯​zi​z¯j|≤CA−1/4max(1,log(A−1/4ϱ))).|w^{1\bar{1}}-\frac{|z_{1}|^{2}}{2RA^{1/2}a^{i\bar{j}}z_{i}\bar{z}_{j}}|\leq CA^{-1/4}\max(1,\log(A^{-1/4}\varrho))).

The cases of wp​q¯w^{p\bar{q}} and v=A​ap​q¯​wp​q¯v=Aa^{p\bar{q}}w^{p\bar{q}} are similar. ∎

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