ScalingStacks

Proof. [0457]

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.

Consider γ4\gamma_{4} at a given point in the region (4.14). Its integral formula (4.11) can be split into two parts, corresponding to far away sources |(y1−y1′,y2−y2′,μ)|a′≳A1/4|(y_{1}-y_{1}^{\prime},y_{2}-y_{2}^{\prime},\mu)|_{a}^{\prime}\gtrsim A^{1/4} and nearby sources |(y1−y1′,y2−y2′,μ)|a′≲A1/4|(y_{1}-y_{1}^{\prime},y_{2}-y_{2}^{\prime},\mu)|_{a}^{\prime}\lesssim A^{1/4}.

For far away sources, we use Lemma 4.1 to write the integrand γ\gamma as a dominant term −14​π​𝔸​|(y1−y1′,y2−y2′,μ)|a′-\frac{1}{4\pi\sqrt{\mathbb{A}}|(y_{1}-y_{1}^{\prime},y_{2}-y_{2}^{\prime},\mu)|_{a}^{\prime}} plus a remainder term estimated by C|(y1−y1′,y2−y2′,μ)|a′3\frac{C}{|(y_{1}-y_{1}^{\prime},y_{2}-y_{2}^{\prime},\mu)|_{a}^{\prime 3}}. The dominant term does not contribute to γ4−γ¯4\gamma_{4}-\bar{\gamma}_{4} because it is constant in the x1,x2x_{1},x_{2} direction. The remainder term contribution to γ4\gamma_{4} is bounded by

CA1/2Im∫S∩{dist≳A1/4}1|(y1−y1′,y2−y2′,μ)|a′3−1dη2′∧dη¯1′≤CA−1/4.CA^{1/2}\text{Im}\int_{S\cap\{\text{dist}\gtrsim A^{1/4}\}}\frac{1}{|(y_{1}-y_{1}^{\prime},y_{2}-y_{2}^{\prime},\mu)|_{a}^{\prime 3}}\sqrt{-1}d\eta_{2}^{\prime}\wedge d\bar{\eta}_{1}^{\prime}\leq CA^{-1/4}.

The contribution from nearby sources only arises if our given point of interest is too close to SS along one of 𝔇1\mathfrak{D}_{1}, 𝔇2\mathfrak{D}_{2} or 𝔇3\mathfrak{D}_{3} directions; we focus on 𝔇1\mathfrak{D}_{1}. Lemma 4.2 allows us to write γ\gamma as −18​π2​|(η1−η1′,η2−η2′,μ)|a3-\frac{1}{8\pi^{2}|(\eta_{1}-\eta_{1}^{\prime},\eta_{2}-\eta_{2}^{\prime},\mu)|_{a}^{3}} plus a well controlled remainder term. By the exponential decay property of the measure Im​−1​d​η2′∧d​η¯1′\text{Im}\sqrt{-1}d\eta_{2}^{\prime}\wedge d\bar{\eta}_{1}^{\prime},

CA1/2e−2​π​y2∫S∩{dist≲A1/4}−1​d​η1′∧d​η¯1′|(η1−η1′,η2−η2′,μ)|a3≤Ce−2​π​y2R−1≤CA−1/4.\begin{split}&CA^{1/2}e^{-2\pi y_{2}}\int_{S\cap\{\text{dist}\lesssim A^{1/4}\}}\frac{\sqrt{-1}d\eta_{1}^{\prime}\wedge d\bar{\eta}_{1}^{\prime}}{|(\eta_{1}-\eta_{1}^{\prime},\eta_{2}-\eta_{2}^{\prime},\mu)|_{a}^{3}}\leq Ce^{-2\pi y_{2}}R^{-1}\leq CA^{-1/4}.\end{split}

Combining the above shows |γ4−γ¯4|≤CA−1/4|\gamma_{4}-\bar{\gamma}_{4}|\leq CA^{-1/4}.

All these arguments carry through to γ1,γ2,γ3\gamma_{1},\gamma_{2},\gamma_{3} except the exponential decay of the measure. This is compensated by staying sufficiently far from 𝔇i\mathfrak{D}_{i}. ∎

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