Proof of Theorem 3.10 . [050L] 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 Theorem 3.10 .
Let ϕ 2 \phi_{2} be the 3 3 -current defined in Lemma 3.21
such that
(3.243)
Δ ϕ 2 = 2 π δ U + 𝔅 1 , \Delta\phi_{2}=2\pi\delta_{U}+\mathfrak{B}_{1},
with 𝔅 1 = O ′ ( 1 ) \mathfrak{B}_{1}=O^{\prime}(1) .
So Lemma 3.22 implies that there is some 3 3 -current
ℜ = O ′ ( r 2 ) \mathfrak{R}=O^{\prime}(r^{2}) such that
(3.244)
Δ ℜ = 𝔅 1 \Delta\mathfrak{R}=\mathfrak{B}_{1}
and hence
the 3 3 -current
(3.245)
G U ≡ ϕ 2 + ℜ G_{U}\equiv\phi_{2}+\mathfrak{R}
satisfies the equation
(3.246)
Δ G U = 2 π δ U . \Delta G_{U}=2\pi\delta_{U}.
Moreover, by Lemma 3.21 , G U G_{U} has the expansion
G U = \displaystyle G_{U}=
1 2 r ( 1 − H α y α 2 ) d y 1 ∧ d y 2 ∧ d y 3 + 1 2 r y β A i α β d x i ∧ d y α ^ − 1 4 A i j α β r ⋅ d y α β ^ ∧ d x i ∧ d x j \displaystyle\frac{1}{2r}(1-\frac{H^{\alpha}y_{\alpha}}{2})dy_{1}\wedge dy_{2}\wedge dy_{3}+\frac{1}{2r}y_{\beta}A_{i\alpha\beta}dx_{i}\wedge dy_{\widehat{\alpha}}-\frac{1}{4}A_{ij\alpha\beta}r\cdot dy_{\widehat{\alpha\beta}}\wedge dx_{i}\wedge dx_{j}
(3.247)
+ 3 16 ( A i α , α + 1 A j α , α + 2 − A i α , α + 2 A j α , α + 1 ) d ( r y α ) ∧ d x i ∧ d x j + r − 3 Π 3 ( 4 ) + O ′ ( r 2 ) . \displaystyle+\frac{3}{16}(A_{i\alpha,\alpha+1}A_{j\alpha,\alpha+2}-A_{i\alpha,\alpha+2}A_{j\alpha,\alpha+1})d(ry_{\alpha})\wedge dx_{i}\wedge dx_{j}+r^{-3}\Pi_{3}^{(4)}+O^{\prime}(r^{2}).
The proof of Theorem 3.10 is done.