ScalingStacks

2.3 Uniform normalization [02GD]

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

2.3 Uniform normalization

The comparison principle (see [K] ,[EGZ]) yields for any s>0s>0 and τ∈[0,1]\tau\in[0,1]

τnCapωt({φt≤−s−τ})Vt≤∫{φt≤−s}(ωt+d​dc​φt)nVt.\tau^{n}\frac{\mathrm{Cap}_{\omega_{t}}(\{\varphi_{t}\leq-s-\tau\})}{V_{t}}\leq\int_{\{\varphi_{t}\leq-s\}}\frac{(\omega_{t}+dd^{c}\varphi_{t})^{n}}{V_{t}}.

It is now an exercise to derive from this inequality an a priori L∞−L^{\infty}-estimate,

‖φt‖L∞​(X)≤C5+s0​(ωt),\|\varphi_{t}\|_{L^{\infty}(X)}\leq C_{5}+\ {s}_{0}(\omega_{t}),

where s0​(ωt){s}_{0}(\omega_{t}) (see [EGZ],[BGZ]) is the smallest number s>0s>0 satisfying the condition enC0nCapωt({ψ≤−s})/Vt≤1e^{n}C_{0}^{n}\mathrm{Cap}_{\omega_{t}}(\{\psi\leq-s\})/V_{t}\leq 1 for all ψ∈P​S​H​(X,ωt)\psi\in PSH(X,\omega_{t}) such that supXψ=0\sup_{X}\psi=0. Recall from ([GZ 1], Prop. 3.6) that

Capωt({ψ≤−s−τ})Vt≤1s​(∫X(−ψ)​ωtnVt+n).\frac{\mathrm{Cap}_{\omega_{t}}(\{\psi\leq-s-\tau\})}{V_{t}}\leq\frac{1}{s}\left(\int_{X}(-\psi)\frac{\omega_{t}^{n}}{V_{t}}+n\right).

Since ωtnVt≤C1​ω1n\frac{\omega_{t}^{n}}{V_{t}}\leq C_{1}\omega_{1}^{n}, it follows that

Capωt({ψ≤−s−τ})Vt≤1s​(C1​∫X(−ψ)​ω1n+n).\frac{\mathrm{Cap}_{\omega_{t}}(\{\psi\leq-s-\tau\})}{V_{t}}\leq\frac{1}{s}\left(C_{1}\int_{X}(-\psi)\omega_{1}^{n}+n\right).

Since ψ\psi is ω1−\omega_{1}-psh and normalized, we know that there is a constant A=A⁡(X,ω1)>0A=A(X,\omega_{1})>0 such that C1​∫X(−ψ)​ω1n≤AC_{1}\int_{X}(-\psi){\omega_{1}^{n}}\leq A for any such ψ\psi. Therefore s0​(ωt)≤s0:=en​C0n​(A+n)s_{0}(\omega_{t})\leq s_{0}:=e^{n}C_{0}^{n}(A+n) for any t∈]0,1]t\in]0,1]. Finally we obtain the required uniform estimate for all t∈]0,1]t\in]0,1].

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