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.
Source coverage notes Source fidelity gap: the original arXiv HTML omits an author TeX footnote attached to equation e:def-omega, including its reference to Remark r:error-function. The retained HTML is preserved as published; the original author TeX remains available. TeX correspondence is not complete. 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 = a 1 d y ¯ + y ¯ ( d a 1 + 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)
w 1 d w ¯ 1 = a 1 2 y d y ¯ + | y | 2 a 1 d a 1 + a 1 y ( 2 a ¯ 2 y ¯ + a 2 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)
d D c | w 1 | 2 = − 1 a 1 2 ( y d y ¯ − y ¯ d y ) + − 1 a 1 a ¯ 2 y ¯ ( 2 y d y ¯ − y ¯ d y ) − − 1 a 1 a 2 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)
| w 1 | 2 = a 1 2 | y | 2 + a 1 ( a 2 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)
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 + 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)
d D c ( a 1 y ) = d D c w 1 + O ~ ( | y | ) = − − 1 d w 1 + 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)
d D c y = − − 1 d y + O ~ ( | y | ) . d_{D}^{c}y=-\sqrt{-1}dy+\widetilde{O}(|y|).
Similarly, d D c 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)
d D c | y | 2 = − 1 ( y d y ¯ − y ¯ d y ) − 2 | y | 2 d D c log a 1 + 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 , a 1 = | σ | − 1 a_{1}=|\sigma|^{-1} which is a smooth function on H H , so
(3.314)
d D c | y | 2 = − 1 ( y d y ¯ − y ¯ d y ) + 2 | y | 2 d H c 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 , Γ = 1 2 d H c log | σ | \Gamma=\frac{1}{2}d_{H}^{c}\log|\sigma| , so we conclude
(3.315)
d D c | 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}).
∎