ScalingStacks

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.

Complete original source context · Original author HTML

Proof of Theorem 3.10.

Let ϕ2\phi_{2} be the 33-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 33-current ℜ=O′​(r2)\mathfrak{R}=O^{\prime}(r^{2}) such that

(3.244) Δ​ℜ=𝔅1\Delta\mathfrak{R}=\mathfrak{B}_{1}

and hence the 33-current

(3.245) GU≡ϕ2+ℜG_{U}\equiv\phi_{2}+\mathfrak{R}

satisfies the equation

(3.246) Δ​GU=2​π​δU.\Delta G_{U}=2\pi\delta_{U}.

Moreover, by Lemma 3.21, GUG_{U} has the expansion

GU=\displaystyle G_{U}= 12​r​(1−Hα​yα2)​d​y1∧d​y2∧d​y3+12​r​yβ​Ai​α​β​d​xi∧d​yα^−14​Ai​j​α​β​r⋅d​yα​β^∧d​xi∧d​xj\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) +316​(Ai​α,α+1​Aj​α,α+2−Ai​α,α+2​Aj​α,α+1)​d​(r​yα)∧d​xi∧d​xj+r−3​Π3(4)+O′​(r2).\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.

∎

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