ScalingStacks

Verified tagged author-source HTML · 0905.4718v1 · cited publication edition alignment unverified.

We now let ω~y\tilde{\omega}_{y} be the restriction ω~t|Xy\tilde{\omega}_{t}|_{X_{y}}. We have the following estimate for the volume form of ω~y\tilde{\omega}_{y} on XyX_{y}:

(3.7) ω~yn−mωyn−m=ω~tn−m∧ω0mωXn−m∧ω0m=ω~tn−m∧ω0mω~tn⋅ω~tnH​ωXn≤(ω~tn−1∧ω0ω~tn)m​ct​tn−m​eEH=(trω~t​ω0)m​ct​tn−m​eEH≤C​tn−mσλ.\begin{split}\frac{\tilde{\omega}_{y}^{n-m}}{\omega_{y}^{n-m}}&=\frac{\tilde{\omega}_{t}^{n-m}\wedge\omega_{0}^{m}}{\omega_{X}^{n-m}\wedge\omega_{0}^{m}}=\frac{\tilde{\omega}_{t}^{n-m}\wedge\omega_{0}^{m}}{\tilde{\omega}_{t}^{n}}\cdot\frac{\tilde{\omega}_{t}^{n}}{H\omega_{X}^{n}}\\ &\leq\left(\frac{\tilde{\omega}_{t}^{n-1}\wedge\omega_{0}}{\tilde{\omega}_{t}^{n}}\right)^{m}\frac{c_{t}t^{n-m}e^{E}}{H}\\ &=(\textrm{tr}_{\tilde{\omega}_{t}}\omega_{0})^{m}\frac{c_{t}t^{n-m}e^{E}}{H}\leq\frac{Ct^{n-m}}{\sigma^{\lambda}}.\end{split}

Notice that when we restrict to XyX_{y} we have

ω~y=(ω0+t​ωX+−1​∂∂¯​φt)|Xy=t​ωy+(−1​∂∂¯​φt)|Xy.\tilde{\omega}_{y}=(\omega_{0}+t\omega_{X}+\sqrt{-1}\partial\overline{\partial}\varphi_{t})|_{X_{y}}=t\omega_{y}+(\sqrt{-1}\partial\overline{\partial}\varphi_{t})|_{X_{y}}.

It is convenient to define a function φt¯\underline{\varphi_{t}} on Y\f⁡(S)Y\backslash f(S) by

φt¯​(y)=∫Xyφt​ωyn−m.\underline{\varphi_{t}}(y)=\int_{X_{y}}\varphi_{t}\omega_{y}^{n-m}.

This is just the “integration along the fibers” of φt\varphi_{t}, and we will also denote by φt¯\underline{\varphi_{t}} its pullback to X\SX\backslash S via ff. We also define a function on X\SX\backslash S by

ψ=1t​(φt−φt¯),\psi=\frac{1}{t}\left(\varphi_{t}-\underline{\varphi_{t}}\right),

so that we have ∫Xyψ​ωyn−m=0\int_{X_{y}}\psi\omega_{y}^{n-m}=0 and on XyX_{y} we have

(3.8) (ωy+−1​∂∂¯​ψ)n−m=ω~yn−mtn−m≤Cσλ​ωyn−m.(\omega_{y}+\sqrt{-1}\partial\overline{\partial}\psi)^{n-m}=\frac{\tilde{\omega}_{y}^{n-m}}{t^{n-m}}\leq\frac{C}{\sigma^{\lambda}}\omega_{y}^{n-m}.

We can then apply Yau’s L∞L^{\infty} estimate for complex Monge-Ampère equations [Y1] to the inequality (3.8). Since the volume of XyX_{y} is constant equal to 11, the Sobolev constant of ωy\omega_{y} is uniformly bounded (Lemma 3.2) and the Poincaré constant is controlled by Lemma 3.4, Yau’s L∞L^{\infty} estimate gives

(3.9) supXy|φt−φt¯|=t​supXy|ψ|≤t​C​eB​σ​(y)−λ,\sup_{X_{y}}\left|\varphi_{t}-\underline{\varphi_{t}}\right|=t\sup_{X_{y}}|\psi|\leq tCe^{B\sigma(y)^{-\lambda}},

where we increased the constant BB to absorb the term σ−λ\sigma^{-\lambda} in (3.8). Recall that from (2.8) we have a uniform bound for the oscillation of φt\varphi_{t}.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.