Proposition 3.30 . [0515] 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
Proposition 3.30 .
We have the following expansion
(3.338) Ω D = F ( d y + 2 − 1 y Γ ) ∧ Ω H + O ~ ( | y | ) d y + O ~ ( | y | 2 ) \Omega_{D}=F(dy+2\sqrt{-1}y\Gamma)\wedge\Omega_{H}+\widetilde{O}(|y|)dy+\widetilde{O}(|y|^{2})
for some local smooth function F F H H