ScalingStacks

Proof. [0526]

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.

We denote

(4.129) h^−=A−−∫T−0h⁡(u)​𝑑u−12​log⁡‖SH‖.\hat{h}_{-}=A_{-}-\int_{T_{-}}^{0}h(u)du-\frac{1}{2}\log\|S_{H}\|.

By the Poincaré-Lelong equation we have

(4.130) dD​dDc​log⁡‖SH‖2=4​π​δH−(k−−k+)​ωD,d_{D}d_{D}^{c}\log{\|S_{H}\|}^{2}=4\pi\delta_{H}-(k_{-}-k_{+})\omega_{D},

where δH\delta_{H} denotes the current of integration along HH. By directly taking derivatives and use (2.13) we obtain that outside HH,

(4.131) dDdDc(∫0T−h(z)dz)=∫0T−dDdDch(z)dz=∫0T−−∂z2ω~(z)dz=−∂zω~|z=T−+∂zω~|z=0d_{D}d_{D}^{c}(\int_{0}^{T_{-}}h(z)dz)=\int_{0}^{T_{-}}d_{D}d_{D}^{c}h(z)dz=\int_{0}^{T_{-}}-\partial_{z}^{2}\tilde{\omega}(z)dz=-\partial_{z}\tilde{\omega}|_{z=T_{-}}+\partial_{z}\tilde{\omega}|_{z=0}

By (3.349) and (3.381), the right hand side is given by −12​(k−−k+)​ωD+ϵT-\frac{1}{2}(k_{-}-k_{+})\omega_{D}+\epsilon_{T}. Now using the asymptotics of hh near PP in (4.17), one sees that h^−\hat{h}_{-} is bounded near HH. So the following current equation holds globally on DD

(4.132) dD​dDc​h^−=ϵTd_{D}d_{D}^{c}\hat{h}_{-}=\epsilon_{T}

Now

(4.133) ∫Dh^−​ωDn−1=A−​∫DωDn−1+∫D∫0T−h​ωDn−1​𝑑z=BT\int_{D}\hat{h}_{-}\omega_{D}^{n-1}=A_{-}\int_{D}\omega_{D}^{n-1}+\int_{D}\int_{0}^{T_{-}}h\omega_{D}^{n-1}dz=B_{T}

So by standard elliptic regularity we get the conclusion for h^−\hat{h}_{-}. The proof for the other equation is similar. ∎

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