ScalingStacks

Proof. [04ZP]

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.

This is a local result so we can work with the geodesic ball Br​(p)B_{r}(p) for any p∈Pp\in P such that Br​(p)¯⊂⊂Q\overline{B_{r}(p)}\subset\subset Q and Br​(p)¯∩P⊂⊂P\overline{B_{r}(p)}\cap P\subset\subset P. We will show that the 44-current d​GPdG_{P} is a harmonic in Br​(p)B_{r}(p) in the distributional sense. In fact, for any test form χ∈Ω0m−4​(Br​(p))\chi\in\Omega^{m-4}_{0}(B_{r}(p)) we have

(3.44) (Δ⁡(d⁡(GP)),χ)=(d​Δ​GP,χ)=(Δ​GP,𝑑χ)=(2​π​δP,𝑑χ)=2​π​∫P𝑑χ=2​π​∫∂Br​(p)∩Pχ=0.(\Delta(d(G_{P})),\chi)=(d\Delta G_{P},\chi)=(\Delta G_{P},d\chi)=(2\pi\delta_{P},d\chi)=2\pi\int_{P}d\chi=2\pi\int_{\partial B_{r}(p)\cap P}\chi=0.

Therefore, d⁡(GP)d(G_{P}) is a harmonic 44-current in Br​(p)B_{r}(p) and hence it is smooth in Br​(p)B_{r}(p). ∎

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