Theorem 3.10 . [04ZS] 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
Theorem 3.10 .
If P ⊂ Q P\subset Q is an embedded submanifold of co-dimension 3 3 , then for any p ∈ P p\in P , there is a neighborhood 𝒰 \mathcal{U} of p p in Q Q , and a Green’s current G U G_{U} for U = 𝒰 ∩ P U=\mathcal{U}\cap P in 𝒰 \mathcal{U} satisfying
(3.46)
Δ G U = 2 π ⋅ δ U in 𝒰 , \displaystyle\Delta G_{U}=2\pi\cdot\delta_{U}\ \ \ \ \text{in}\ \ \ \ \ \mathcal{U},
and the local 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}
+ \displaystyle+
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}),
where H → = H α e α \overrightarrow{H}=H^{\alpha}e_{\alpha} is the mean curvature of P ⊂ Q P\subset Q and the 3 3 -form Π 3 ( 4 ) \Pi_{3}^{(4)} is defined in (3.45 ).