Lemma 6.5 (Removable singularity) . [0551] 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 6.5 (Removable singularity).
Let ( M n , g ) (M^{n},g) be a Riemannian manifold such that B R ( p ) B_{R}(p)
has a compact closure in B 2 R ( p ) B_{2R}(p) . Let K ⊂ M n K\subset M^{n} be a smooth submanifold with dim ( K ) = k 0 ≤ n − 3 \dim(K)=k_{0}\leq n-3 . If u u is harmonic in B R ( p ) ∖ K B_{R}(p)\setminus K and there is some
ϵ ∈ ( 0 , 1 ) \epsilon\in(0,1) such that
(6.41)
| u ( x ) | ≤ C d g ( x , K ) ( n − 2 − k 0 ) − ϵ , |u(x)|\leq\frac{C}{d_{g}(x,K)^{(n-2-k_{0})-\epsilon}},
then u u is harmonic in B R ( p ) B_{R}(p) .