Lemma 3.33 . [051C] 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
Lemma 3.33 .
Let ψ \psi be the ( 1 , 1 ) (1,1) -current in Proposition 3.31 , then the following holds:
(1)
The cohomology class [ ∂ z ψ ( z ) ] ∈ H 2 ( D , ℝ ) [\partial_{z}\psi(z)]\in H^{2}(D;\mathbb{R}) is given by k − [ ω D ] k_{-}[\omega_{D}] and k + [ ω D ] k_{+}[\omega_{D}] for z < 0 z<0 and z > 0 z>0 respectively.
(2)
At z = 0 z=0 , we have
(3.381)
∂ z ψ ( 0 ) = 1 2 ( k − + k + ) ω D . \partial_{z}\psi(0)=\frac{1}{2}(k_{-}+k_{+})\omega_{D}.
In particular, it extends smoothly across P P .