ScalingStacks

Proof. [050R]

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 essentially follows from the fact that PP is located on the slice {z=0}\{z=0\} and HH is a complex submanifold of DD. Indeed, we can decompose

(3.266) GP=ψ1∧d​z+ℛ1,G_{P}=\psi_{1}\wedge dz+\mathcal{R}_{1},

where ℛ1\mathcal{R}_{1} does not involve d​zdz. Given any compactly supported test form χ∈Ω02​n−4​(Q)\chi\in\Omega_{0}^{2n-4}(Q), we can write

(3.267) χ=β∧d​z+γ,\chi=\beta\wedge dz+\gamma,

where γ\gamma does not involve d​zdz. Immediately,

(3.268) (ℛ1,Δ​γ)=∫Qℛ1∧Δ​γ=0(\mathcal{R}_{1},\Delta\gamma)=\int_{Q}\mathcal{R}_{1}\wedge\Delta\gamma=0

and

(3.269) (ψ1∧𝑑z,Δ⁡(β∧𝑑z))=∫Qψ1∧𝑑z∧Δ⁡(β∧𝑑z)=0.(\psi_{1}\wedge dz,\Delta(\beta\wedge dz))=\int_{Q}\psi_{1}\wedge dz\wedge\Delta(\beta\wedge dz)=0.

So it follows that

(3.270) (ℛ1,Δ​χ)=(ℛ1,Δ⁡(β∧𝑑z))=(GP,Δ⁡(β∧𝑑z))=2​π​∫P(β∧𝑑z)=0.(\mathcal{R}_{1},\Delta\chi)=(\mathcal{R}_{1},\Delta(\beta\wedge dz))=(G_{P},\Delta(\beta\wedge dz))=2\pi\int_{P}(\beta\wedge dz)=0.

This implies that Δ​ℛ1=0\Delta\mathcal{R}_{1}=0 in the distributional sense. By the standard elliptic regularity, we have ℛ1∈C∞\mathcal{R}_{1}\in C^{\infty}.

Now write

(3.271) ψ1=ψ+ψ2,\psi_{1}=\psi+\psi_{2},

where ψ\psi is JDJ_{D}-invariant, i.e. of type (1,1)(1,1) in DD, and ψ2\psi_{2} is anti-JDJ_{D}-invariant. Since HH is a complex submanifold of DD, the Dirac current δP\delta_{P} is JDJ_{D}-invariant, hence JD​(GP)J_{D}(G_{P}) is also a Green’s current for PP, so we see that ψ2=12​(GP−J⁡(GP))\psi_{2}=\frac{1}{2}(G_{P}-J(G_{P})) is smooth. Then we have

(3.272) GP=ψ∧d​z+ℛ,G_{P}=\psi\wedge dz+\mathcal{R},

where ℛ=ℛ1+ψ2∧d​z\mathcal{R}=\mathcal{R}_{1}+\psi_{2}\wedge dz is smooth. Similarly since the δP\delta_{P} is invariant under z↦−zz\mapsto-z, the difference ψ⁡(z)−ψ⁡(−z)\psi(z)-\psi(-z) is smooth.

To see the expansion of ψ\psi, we notice that HH is a Kähler, in particular minimal, submanifold of DD. So the mean curvature of HH in DD vanishes. Also notice ∂z\partial_{z} is parallel on QQ so Ai​α​β=0A_{i\alpha\beta}=0 if either α=3\alpha=3 or β=3\beta=3. This then implies that

(3.273) ψ=−14​r​d​y∧d​y¯+12​r​(y​d​y¯+y¯​d​y)∧Γ+r⋅𝔸+r−3​Π2(4)+O~​(r2),\psi=\frac{\sqrt{-1}}{4r}dy\wedge d\bar{y}+\frac{1}{2r}(yd\bar{y}+\bar{y}dy)\wedge\Gamma+r\cdot\mathbb{A}+r^{-3}\Pi_{2}^{(4)}+\widetilde{O}(r^{2}),

where

(3.274) Γ\displaystyle\Gamma =−12​Ai​12​d​xi,\displaystyle=-\frac{1}{2}A_{i12}dx_{i},
(3.275) 𝔸\displaystyle\mathbb{A} =−14​Ai​j​α​β​d​xi∧d​xj.\displaystyle=-\frac{1}{4}A_{ij\alpha\beta}dx_{i}\wedge dx_{j}.

In particular, 𝔸=d​Γ\mathbb{A}=d\Gamma. Re-writing

(3.276) Ai​12=⟨∇∂xi∂y2,∂y1⟩A_{i12}=\langle\nabla_{\partial_{x_{i}}}\partial_{y_{2}},\partial_{y_{1}}\rangle

in terms of the complex coordinates y,y¯y,\bar{y} and bearing in mind (3.261) we obtain the desired formula for Γ\Gamma. ∎

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