ScalingStacks

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.

Complete original source context · Original author HTML

Theorem 3.10.

If P⊂QP\subset Q is an embedded submanifold of co-dimension 33, then for any p∈Pp\in P, there is a neighborhood 𝒰\mathcal{U} of pp in QQ, and a Green’s current GUG_{U} for U=𝒰∩PU=\mathcal{U}\cap P in 𝒰\mathcal{U} satisfying

(3.46) Δ​GU=2​π⋅δUin𝒰,\displaystyle\Delta G_{U}=2\pi\cdot\delta_{U}\ \ \ \ \text{in}\ \ \ \ \ \mathcal{U},

and the local 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}
+\displaystyle+ 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}),

where H→=Hα​eα\overrightarrow{H}=H^{\alpha}e_{\alpha} is the mean curvature of P⊂QP\subset Q and the 33-form Π3(4)\Pi_{3}^{(4)} is defined in (3.45).

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