ScalingStacks

Proof of Proposition 3.26 . [050Z]

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 of Proposition 3.26.

Given the above Lemma we first obtain that

(3.306) d​w¯1=a1​d​y¯+y¯​(d​a1+2​a¯2​d​y¯)+O~​(|y|2),d\bar{w}_{1}=a_{1}d\bar{y}+\bar{y}(da_{1}+2\bar{a}_{2}d\bar{y})+\widetilde{O}(|y|^{2}),

then

(3.307) w1​d​w¯1=a12​y​d​y¯+|y|2​a1​d​a1+a1​y​(2​a¯2​y¯+a2​y)​d​y¯+O~​(|y|3).w_{1}d\bar{w}_{1}=a_{1}^{2}yd\bar{y}+|y|^{2}a_{1}da_{1}+a_{1}y(2\bar{a}_{2}\bar{y}+a_{2}y)d\bar{y}+\widetilde{O}(|y|^{3}).

Hence

(3.308) dDc​|w1|2=−1​a12​(y​d​y¯−y¯​d​y)+−1​a1​a¯2​y¯​(2​y​d​y¯−y¯​d​y)−−1​a1​a2​y​(2​y¯​d​y−y​d​y¯)+O~​(|y|3).d_{D}^{c}|w_{1}|^{2}=\sqrt{-1}a_{1}^{2}(yd\bar{y}-\bar{y}dy)+\sqrt{-1}a_{1}\bar{a}_{2}\bar{y}(2yd\bar{y}-\bar{y}dy)-\sqrt{-1}a_{1}a_{2}y(2\bar{y}dy-yd\bar{y})+\widetilde{O}(|y|^{3}).

On the other hand, we have

(3.309) |w1|2=a12​|y|2+a1​(a2​y+a¯2​y¯)​|y|2+O~​(|y|4).|w_{1}|^{2}=a_{1}^{2}|y|^{2}+a_{1}(a_{2}y+\bar{a}_{2}\bar{y})|y|^{2}+\widetilde{O}(|y|^{4}).

So

(3.310) dDc​|w1|2=a12​dDc​|y|2+|y|2​dDc​a12+dDc​(a1​(a2​y+a¯2​y¯)​|y|2)+O~​(|y|3).d_{D}^{c}|w_{1}|^{2}=a_{1}^{2}d_{D}^{c}|y|^{2}+|y|^{2}d_{D}^{c}a_{1}^{2}+d_{D}^{c}(a_{1}(a_{2}y+\bar{a}_{2}\bar{y})|y|^{2})+\widetilde{O}(|y|^{3}).

Now by Lemma 3.27,

(3.311) dDc​(a1​y)=dDc​w1+O~​(|y|)=−−1​d​w1+O~​(|y|),d_{D}^{c}(a_{1}y)=d_{D}^{c}w_{1}+\widetilde{O}(|y|)=-\sqrt{-1}dw_{1}+\widetilde{O}(|y|),

so

(3.312) dDc​y=−−1​d​y+O~​(|y|).d_{D}^{c}y=-\sqrt{-1}dy+\widetilde{O}(|y|).

Similarly, dDc​y¯=−1​d​y¯+O~​(|y|)d_{D}^{c}\bar{y}=\sqrt{-1}d\bar{y}+\widetilde{O}(|y|). Plugging these into (3.310), and compare with (3.308) we obtain

(3.313) dDc​|y|2=−1​(y​d​y¯−y¯​d​y)−2​|y|2​dDc​log⁡a1+O~​(|y|3).\displaystyle d_{D}^{c}|y|^{2}=\sqrt{-1}(yd\bar{y}-\bar{y}dy)-2|y|^{2}d_{D}^{c}\log a_{1}+\widetilde{O}(|y|^{3}).

Thanks to Lemma 3.27, a1=|σ|−1a_{1}=|\sigma|^{-1} which is a smooth function on HH, so

(3.314) dDc​|y|2=−1​(y​d​y¯−y¯​d​y)+2​|y|2​dHc​log⁡|σ|+O~​(|y|3).\displaystyle d_{D}^{c}|y|^{2}=\sqrt{-1}(yd\bar{y}-\bar{y}dy)+2|y|^{2}d_{H}^{c}\log|\sigma|+\widetilde{O}(|y|^{3}).

By Lemma 3.25, Γ=12​dHc​log⁡|σ|\Gamma=\frac{1}{2}d_{H}^{c}\log|\sigma|, so we conclude

(3.315) dDc​|y|2=−1​(y​d​y¯−y¯​d​y)+4​|y|2​Γ+O~​(|y|3).d_{D}^{c}|y|^{2}=\sqrt{-1}(yd\bar{y}-\bar{y}dy)+4|y|^{2}\Gamma+\widetilde{O}(|y|^{3}).

∎

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