ScalingStacks

Proof of Proposition 3.28 . [0514]

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 of Proposition 3.28.

The goal is to show A0=1A_{0}=1 and A1=0A_{1}=0 in the expansion (3.317). We work in the above special coordinates centered at p∈Hp\in H.

The first step is to show that the O′​(1)O^{\prime}(1)-term in the expansion of ψ\psi given by Proposition 3.24 in fact vanishes along N0​(p)N_{0}(p). To this end, notice that ∂y=σ=∂w1\partial_{y}=\sigma=\partial_{w_{1}} at p∈Hp\in H and hence by Lemma 3.27,

(3.324) w1=y+a2​y2+O~​(|y|3).w_{1}=y+a_{2}y^{2}+\widetilde{O}(|y|^{3}).

Since the only non-trivial Christofell symsbols at pp are Γi​j1\Gamma_{ij}^{1} and Γi¯​j¯1¯\Gamma_{\bar{i}\bar{j}}^{\bar{1}} for i,j≥2i,j\geq 2, it easily follows that

(3.325) d​|σ|​(p)=0.d|\sigma|(p)=0.

Combining (3.325) and Lemma 3.25,

(3.326) Γ⁡(p)=12​(dHc​log⁡|σ|)​(p)=0,\Gamma(p)=\frac{1}{2}(d_{H}^{c}\log|\sigma|)(p)=0,

for each p∈Hp\in H. Therefore, along the fiber N0​(p)N_{0}(p) of the normal bundle N0​(p)N_{0}(p), the expansion of ψ\psi in Proposition 3.24 becomes

(3.327) ψ=−14​|y|​d​y∧d​y¯+O⁡(|y|).\psi=\frac{\sqrt{-1}}{4|y|}dy\wedge d\bar{y}+O(|y|).

Next, we will compute the coefficients A0​(p)A_{0}(p) and A1​(p)A_{1}(p) in (3.317). As in the proof of Lemma 3.27, we obtain that

(3.328) ∂wj∂y​(p)=∂wj∂y¯=0,j≥2,\frac{\partial w_{j}}{\partial y}(p)=\frac{\partial w_{j}}{\partial\bar{y}}=0,\ \ j\geq 2,

and

(3.329) ∂2wj∂y2​(p)=∂2wj∂y​∂y¯​(p)=∂2wj∂y¯2​(p)=0,j≥1.\frac{\partial^{2}w_{j}}{\partial y^{2}}(p)=\frac{\partial^{2}w_{j}}{\partial y\partial\bar{y}}(p)=\frac{\partial^{2}w_{j}}{\partial\bar{y}^{2}}(p)=0,\ \ j\geq 1.

This particularly implies that a2​(p)=0a_{2}(p)=0 and along the fiber N0​(p)N_{0}(p),

(3.330) wj=O⁡(|y|3),j≥2.w_{j}=O(|y|^{3}),\ \ j\geq 2.

By Lemma 3.29, ∂w1gi​j¯​(p)=0\partial_{w_{1}}g_{i\bar{j}}(p)=0 for all 1≤i,j≤n−11\leq i,j\leq n-1, then the expansion of ωD\omega_{D} along the fiber N0​(p)N_{0}(p) is at least quadratic in the w1w_{1}-direction, i.e.

(3.331) ωD\displaystyle\omega_{D} =\displaystyle= −12​(d​w1∧d​w¯1+∑j=2n−1d​wj∧d​w¯j)+O⁡(∑j=2n−1|wj|2)+O⁡(|w1|2)\displaystyle\frac{\sqrt{-1}}{2}\Big(dw_{1}\wedge d\bar{w}_{1}+\sum_{j=2}^{n-1}dw_{j}\wedge d\bar{w}_{j}\Big)+O\Big(\sqrt{\sum_{j=2}^{n-1}|w_{j}|^{2}}\Big)+O(|w_{1}|^{2})
=\displaystyle= −12​(d​w1∧d​w¯1+∑j=2n−1d​wj∧d​w¯j)+O⁡(|y|2).\displaystyle\frac{\sqrt{-1}}{2}(dw_{1}\wedge d\bar{w}_{1}+\sum_{j=2}^{n-1}dw_{j}\wedge d\bar{w}_{j})+O(|y|^{2}).

By (3.324) and (3.330), along the fiber N0​(p)N_{0}(p), we have

(3.332) d​w1=d​y+O⁡(|y|2).dw_{1}=dy+O(|y|^{2}).

and

(3.333) d​wj=d​wj′+O⁡(|y|2),j≥2.dw_{j}=dw_{j}^{\prime}+O(|y|^{2}),\ \ j\geq 2.

So we get

(3.334) ωD=−12​(d​y∧d​y¯+∑j=2n−1d​wj′∧d​w¯j′)+O⁡(|y|2)\omega_{D}=\frac{\sqrt{-1}}{2}(dy\wedge d\bar{y}+\sum_{j=2}^{n-1}dw_{j}^{\prime}\wedge d\bar{w}_{j}^{\prime})+O(|y|^{2})

Since by definition,

(3.335) (TrωD⁡ψ)⋅ωDn−1(n−1)!=ψ∧ωDn−2(n−2)!.\Big(\Tr_{\omega_{D}}\psi\Big)\cdot\frac{\omega_{D}^{n-1}}{(n-1)!}=\psi\wedge\frac{\omega_{D}^{n-2}}{(n-2)!}.

by elementary manipulations we get that A0​(p)=1A_{0}(p)=1 and A1​(p)=0A_{1}(p)=0. ∎

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