ScalingStacks

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

00AB

Proposition 4.4. Given small numbers 0<λ,κ≪10<\lambda,\kappa\ll 1, then for δ,ϵ,t\delta,\epsilon,t sufficiently small depending on λ\lambda and κ\kappa, the function ϕC​Y,t\phi_{CY,t} is near its minimum with large probability:

dμt({ϕC​Y,t−minXtϕC​Y,t≥κ/5})<λ.d\mu_{t}(\{\phi_{CY,t}-\min_{X_{t}}\phi_{CY,t}\geq\kappa/5\})<\lambda.
00AC

Proof. We wish to compare ωC​Y,t\omega_{CY,t} with ωψ,t\omega_{\psi,t} from Lemma 4.2 by an L1L^{1}-stability estimate. Pick a parameter cc such that

dμt({ψt−ϕC​Y,t−c≤0})≥λ.d\mu_{t}(\{\psi_{t}-\phi_{CY,t}-c\leq 0\})\geq\lambda.

Since the potential ϕC​Y,t\phi_{CY,t} has a uniform bound, Theorem 2.1 implies another uniform Skoda estimate with modified constants

∫Xte−α​u​d​μt≤A,∀u∈P​S​H​(Xt,ωC​Y,t)​ with ​supXtu=0.\int_{X_{t}}e^{-\alpha u}d\mu_{t}\leq A,\quad\forall u\in PSH(X_{t},\omega_{CY,t})\text{ with }\sup_{X_{t}}u=0.

We also have the L1L^{1}-stability property for ωψ,t\omega_{\psi,t} in Lemma 4.2:

∫Xt|d​μt−ωψ,tnVol​(Xt,ωψ,t)|<δ.\int_{X_{t}}|d\mu_{t}-\frac{\omega_{\psi,t}^{n}}{\text{Vol}(X_{t},\omega_{\psi,t})}|<\delta.

We then apply the uniform L1L^{1}-stability estimate Theorem 2.6, with Y=XtY=X_{t}, ω=ωC​Y,t\omega=\omega_{CY,t} and ϕ=ψt−ϕC​Y,t−c\phi=\psi_{t}-\phi_{CY,t}-c. In this construction δ,ϵ,t\delta,\epsilon,t are sufficiently small, chosen successively depending on λ\lambda and κ\kappa. We conclude

supXt(ψt−ϕC​Y,t−c)≤C⁡(λ)​δ1/(2​n+3)≪κ.\sup_{X_{t}}(\psi_{t}-\phi_{CY,t}-c)\leq C(\lambda)\delta^{1/(2n+3)}\ll\kappa.

Now |ψt|≤3​ϵ≪κ|\psi_{t}|\leq 3\epsilon\ll\kappa, so infXtϕC​Y,t>−c−κ/10.\inf_{X_{t}}\phi_{CY,t}>-c-\kappa/10.

Taking the contrapositive, if we choose c=−infXtϕC​Y,t−κ/10c=-\inf_{X_{t}}\phi_{CY,t}-\kappa/10, then

dμt({ψt−ϕC​Y,t−c≤0})<λ,d\mu_{t}(\{\psi_{t}-\phi_{CY,t}-c\leq 0\})<\lambda,

whence for ϵ≪κ\epsilon\ll\kappa, using again |ψt|≤3​ϵ|\psi_{t}|\leq 3\epsilon,

dμt({ϕC​Y,t−infϕC​Y,t≥κ/5})<λ.d\mu_{t}(\{\phi_{CY,t}-\inf\phi_{CY,t}\geq\kappa/5\})<\lambda.

∎

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