ScalingStacks

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

00AH

Proof. We need to obtain upper bound on ϕC​Y,J,t\phi_{CY,J,t}. Consider z∈UJ,t,τz\in U_{J,t,\tau} and x=Log𝒳​(z)x=\text{Log}_{\mathcal{X}}(z). Let r≪τr\ll\tau be a parameter to be fixed, so B⁡(x,3​r)⊂Int​(ΔJ)B(x,3r)\subset\text{Int}(\Delta_{J}). The function ϕ0\phi_{0} has an a priori Lipschitz estimate on Δ𝒳\Delta_{\mathcal{X}}, so the oscillation of ϕ0\phi_{0} on B⁡(x,3​r)B(x,3r) is less than C​r≪κCr\ll\kappa by choosing rr small enough.

Now we apply the mean value inequality to the psh function ϕC​Y,J,t\phi_{CY,J,t} on a ball in the local covering space of UJ,t,τ⊂(ℂ∗)nU_{J,t,\tau}\subset(\mathbb{C}^{*})^{n}, which projects to B⁡(x,r)B(x,r) via Log𝒳\text{Log}_{\mathcal{X}}. We have

ϕC​Y,J,t(z)≤−∫b​a​l​lϕC​Y,J,t,\phi_{CY,J,t}(z)\leq\mathchoice{{\vbox{\hbox{$\textstyle-$ }}\kern-7.83337pt}}{{\vbox{\hbox{$\scriptstyle-$ }}\kern-6.11674pt}}{{\vbox{\hbox{$\scriptscriptstyle-$ }}\kern-5.48965pt}}{{\vbox{\hbox{$\scriptscriptstyle-$ }}\kern-5.31259pt}}\!\int_{ball}\phi_{CY,J,t},

hence

(ϕC​Y,J,t−ϕ0∘Log𝒳)​(z)≤oscB⁡(r)​ϕ0+−∫b​a​l​l(ϕC​Y,J,t−ϕ0∘Log𝒳)≤κ10+−∫b​a​l​l(ϕC​Y,J,t−Log𝒳).\begin{split}(\phi_{CY,J,t}-\phi_{0}\circ\text{Log}_{\mathcal{X}})(z)&\leq\text{osc}_{B(r)}\phi_{0}+\mathchoice{{\vbox{\hbox{$\textstyle-$ }}\kern-7.83337pt}}{{\vbox{\hbox{$\scriptstyle-$ }}\kern-6.11674pt}}{{\vbox{\hbox{$\scriptscriptstyle-$ }}\kern-5.48965pt}}{{\vbox{\hbox{$\scriptscriptstyle-$ }}\kern-5.31259pt}}\!\int_{ball}(\phi_{CY,J,t}-\phi_{0}\circ\text{Log}_{\mathcal{X}})\\ &\leq\frac{\kappa}{10}+\mathchoice{{\vbox{\hbox{$\textstyle-$ }}\kern-7.83337pt}}{{\vbox{\hbox{$\scriptstyle-$ }}\kern-6.11674pt}}{{\vbox{\hbox{$\scriptscriptstyle-$ }}\kern-5.48965pt}}{{\vbox{\hbox{$\scriptscriptstyle-$ }}\kern-5.31259pt}}\!\int_{ball}(\phi_{CY,J,t}-\text{Log}_{\mathcal{X}}).\end{split}

But on the ball ϕC​Y,J,t−Log𝒳<κ/4\phi_{CY,J,t}-\text{Log}_{\mathcal{X}}<\kappa/4, except on a subset of the ball with d​μtd\mu_{t}-percentage ≤C​λ​r−n\leq C\lambda r^{-n}, on which we use the coarser bound ϕC​Y,J,t−ϕ0∘Log𝒳≤C\phi_{CY,J,t}-\phi_{0}\circ\text{Log}_{\mathcal{X}}\leq C. Combining these,

(ϕC​Y,J,t−ϕ0∘Log𝒳)​(z)<κ/2+C​λ​r−n<κ,(\phi_{CY,J,t}-\phi_{0}\circ\text{Log}_{\mathcal{X}})(z)<\kappa/2+C\lambda r^{-n}<\kappa,

by choosing λ\lambda sufficiently small depending on κ,τ\kappa,\tau. ∎

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