ScalingStacks

2 Proof of the theorem [02G8]

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 Proof of the theorem

2.1 Preliminary remarks

Uniform control of ctc_{t}. Observe that ω0k=0\omega_{0}^{k}=0 for m<k≤nm<k\leq n, hence for all t∈]0,1]t\in]0,1],

ωtn=∑k=1m(nk)​tn−k​ω0k∧ωXn−k.\omega_{t}^{n}=\sum_{k=1}^{m}{n\choose k}t^{n-k}{\omega_{0}}^{k}\wedge{\omega_{X}}^{n-k}.

Note that ]0,1]∋t⟼tm−nωtn]0,1]\ni t\longmapsto t^{m-n}\omega_{t}^{n} is increasing (hence decreases as t↘0+t\searrow 0^{+}) and satisfies for t∈]0,1]t\in]0,1]

(1) (nm)ω0m∧ωXn−m∫Xω0m∧ωXn−m≤ωtntn−m​∫Xω0m∧ωXn−m≤ω1n∫Xω0m∧ωXn−m.{n\choose m}\qquad\frac{\omega_{0}^{m}\wedge\omega_{X}^{n-m}}{\int_{X}\omega_{0}^{m}\wedge\omega_{X}^{n-m}}\leq\frac{\omega_{t}^{n}}{t^{n-m}\int_{X}\omega_{0}^{m}\wedge\omega_{X}^{n-m}}\leq\frac{\omega_{1}^{n}}{\int_{X}\omega_{0}^{m}\wedge\omega_{X}^{n-m}}.

In particular t⟼ctt\longmapsto c_{t} is increasing in t∈]0,1]t\in]0,1] and

0<(nm)∫Xω0m∧ωXn−m∫XF​ωXn=:c0≤ct≤c1.0<{n\choose m}\frac{\int_{X}\omega_{0}^{m}\wedge\omega_{X}^{n-m}}{\int_{X}F\omega_{X}^{n}}=:c_{0}\ \ \leq\ \ c_{t}\leq\ \ c_{1}.

Uniform control of densities. Let JπJ_{\pi} denote the (modulus square) of the Jacobian of the mapping π\pi, defined through

ω0m∧ωXn−m=Jπ​ωXn.\omega_{0}^{m}\wedge\omega_{X}^{n-m}=J_{\pi}\omega_{X}^{n}.

Let us rewrite the equation (⋆)t(\star)_{t} as follows

(ωt+d​dc​φt)n=ft​ωtn,(\omega_{t}+dd^{c}\varphi_{t})^{n}=f_{t}\omega_{t}^{n},

where for t∈]0,1]t\in]0,1]

0≤ft:=ct​tn−m​F​ωXnωtn≤c1​FJπ.0\leq f_{t}:=c_{t}t^{n-m}F\frac{\omega_{X}^{n}}{\omega_{t}^{n}}\leq c_{1}\frac{F}{J_{\pi}}.

Observe that

∫Xft​ωtn=ct​tn−m​∫XF​ωtn=∫Xωtn=:V​o​lωt​(X),\int_{X}f_{t}\omega_{t}^{n}=c_{t}t^{n-m}\int_{X}F\omega_{t}^{n}=\int_{X}\omega_{t}^{n}=:Vol_{\omega_{t}}(X),

hence (ft)(f_{t}) is uniformly bounded in L1​(ωt/Vt)L^{1}(\omega_{t}/V_{t}), Vt:=V​o​lωt​(X)V_{t}:=Vol_{\omega_{t}}(X). We actually need a slightly stronger information.

Lemma 2.1

There exists p′>1p^{\prime}>1 and a constant C=C⁡(π,‖F‖Lp​(X))>0C=C(\pi,\|F\|_{L^{p}(X)})>0 such that for all t∈]0,1]t\in]0,1]

∫Xftp′​ωtn≤C​V​o​lωt​(X).\int_{X}f_{t}^{p^{\prime}}\omega_{t}^{n}\leq C\,Vol_{\omega_{t}}(X).

Proof of the lemma. Set Vt:=V​o​lωt=∫XωtnV_{t}:=Vol_{\omega_{t}}=\int_{X}\omega_{t}^{n} and observe that

0≤ft​ωtnVt≤c1​F​ωXn∫Xω0m∧ωXn−m=C2​F​ωXn,0\leq f_{t}\frac{\omega_{t}^{n}}{V_{t}}\leq c_{1}F\frac{\omega_{X}^{n}}{\int_{X}\omega_{0}^{m}\wedge\omega_{X}^{n-m}}=C_{2}F\omega_{X}^{n},

where C2:=c1​∫XJπ​ωXnC_{2}:=c_{1}\int_{X}J_{\pi}\omega_{X}^{n}.

This shows that the densities ftf_{t} are uniformly in L1L^{1} w.r.t. the normalized volume fomrs ωtn/Vt\omega_{t}^{n}/\penalty V_{t}.

Since JπJ_{\pi} is locally given as the square of the modulus of a holomorphic function which does not vanish identically, there exists α∈]0,1[\alpha\in]0,1[ such that Jπ−α∈L1​(X)J_{\pi}^{-\alpha}\in L^{1}(X). Fix β∈]0,α[\beta\in]0,\alpha[ satisfying the condition β/p+β/α=1\beta/\penalty p+\beta/\penalty\alpha=1. It follows from Hölder’s inequality that

∫Xftβ​ωXn≤(∫XFp​ωXn)β/p​(∫XJπ−α​ωXn)β/α.\int_{X}f_{t}^{\beta}\omega_{X}^{n}\leq\Bigl(\int_{X}F^{p}\omega_{X}^{n}\Bigr)^{\beta/\penalty p}\Bigl(\int_{X}J_{\pi}^{-\alpha}\omega_{X}^{n}\Bigr)^{\beta/\penalty\alpha}.

Setting ε:=β/q\varepsilon:=\beta/\penalty q and using Hölder’s inequality again , we obtain

∫Xft1+ε​ωtnVt≤C2​∫Xftε​F​ωXn.\int_{X}f_{t}^{1+\varepsilon}\frac{\omega_{t}^{n}}{V_{t}}\leq C_{2}\int_{X}f_{t}^{\varepsilon}F\omega_{X}^{n}.

Now applying again Hölder inequality we get

∫Xft1+ε​ωtnVt≤C2​(∫Xftβ​ωX)1/q​‖F‖Lp​(X).\int_{X}f_{t}^{1+\varepsilon}\frac{\omega_{t}^{n}}{V_{t}}\leq C_{2}\Bigl(\int_{X}f_{t}^{\beta}\omega_{X}\Bigr)^{1/\penalty q}\|F\|_{L^{p}(X)}.

Therefore denoting by p′:=1+εp^{\prime}:=1+\varepsilon, we have the following uniform estimate

∫Xftp′ωtnVt≤C(π,∥F∥Lp​(X)),∀t∈]0,1],\int_{X}f_{t}^{p^{\prime}}\frac{\omega_{t}^{n}}{V_{t}}\leq C(\pi,\|F\|_{L^{p}(X)}),\forall t\in]0,1],

where

C⁡(π,‖F‖Lp​(X)):=C2​(∫XJπ−α​ωXn)β/α​q​‖F‖Lp​(X)1+β/q.C(\pi,\|F\|_{L^{p}(X)}):=C_{2}\Bigl(\int_{X}J_{\pi}^{-\alpha}\omega_{X}^{n}\Bigr)^{\beta/\penalty\alpha q}\|F\|_{L^{p}(X)}^{1+\beta/\penalty q}.

▶\blacktriangleright

2.2 Uniform domination by capacity

We now show that the measure μt:=ft​ωtn/V​o​lωt\mu_{t}:=f_{t}\omega_{t}^{n}/\penalty Vol_{\omega_{t}} are uniformly strongly dominated by the normalized capacity Capωt/V​o​lωt​(X).\mathrm{Cap}_{\omega_{t}}/\penalty Vol_{\omega_{t}}(X). It actually follows from a carefull reading of the no parameter proof given in [EGZ], [BGZ].

Lemma 2.2

There exists a constant C0=C0​(π,‖F‖Lp​(ωXn))>0C_{0}=C_{0}(\pi,\|F\|_{L^{p}(\omega_{X}^{n})})>0 such that for any compact set K⊂XK\subset X and t∈]0,1]t\in]0,1],

μt​(K)≤C0n​(Capωt​(K)V​o​lωt​(X))2.\mu_{t}(K)\leq C_{0}^{n}\left(\frac{\mathrm{Cap}_{\omega_{t}}(K)}{Vol_{\omega_{t}}(X)}\right)^{2}.

Proof: Fix a compact set K⊂XK\subset X. Set Vt:=V​o​lωt​(X)V_{t}:=Vol_{\omega_{t}}(X). Hölder’s inequality yields

μt​(K)≤(∫Xftp′​ωtnVt)1/p′​(∫KωtnVt)1/q′.\mu_{t}(K)\leq\left(\int_{X}f_{t}^{p^{\prime}}\frac{\omega_{t}^{n}}{V_{t}}\right)^{1/\penalty p^{\prime}}\left(\int_{K}\frac{\omega_{t}^{n}}{V_{t}}\right)^{1/\penalty q^{\prime}}.

It remains to dominate uniformly the normalized volume forms ωtn/Vt\omega_{t}^{n}/\penalty V_{t} by the normalized capacities Capωt/Vt\mathrm{Cap}_{\omega_{t}}/\penalty V_{t}. Fix σ>0\sigma>0 and observe that for any t∈]0,1]t\in]0,1],

∫KωtnVt≤∫Xe−σ⁡(VK,ωt−maxX⁡VK,ωt)​ωtnVt​Tωt​(K)σ,\int_{K}\frac{\omega_{t}^{n}}{V_{t}}\leq\int_{X}e^{-\sigma(V_{K,\omega_{t}}-\max_{X}V_{K,\omega_{t}})}\frac{\omega_{t}^{n}}{V_{t}}T_{\omega_{t}}(K)^{\sigma},

where

VK,ωt:=sup{ψ∈P​S​H​(X,ωt);ψ≤0,on​K}V_{K,\omega_{t}}:=\sup\{\psi\in PSH(X,\omega_{t});\psi\leq 0,\ \mathrm{on}\ K\}

is the ωt−\omega_{t}-extremal function of KK and Tωt(K):=exp(−supXVK,ωt)T_{\omega_{t}}(K):=\exp(-\sup_{X}V_{K,\omega_{t}}) is the associated ωt−\omega_{t}-capacity of KK (see [GZ 1] for their properties).

Observe that ωtn/Vt≤c1​ω1n\omega_{t}^{n}/\penalty V_{t}\leq c_{1}\omega_{1}^{n} and ωt≤ω1\omega_{t}\leq\omega_{1}, hence the family of functions VK,ωt−maxX⁡VK,ωtV_{K,\omega_{t}}-\max_{X}V_{K,\omega_{t}} is a normalized family of ω1−\omega_{1}-psh functions. Thus there exists σ>0\sigma>0 which depends only on (X,ω1)(X,\omega_{1}) and a constant B=B⁡(σ,X,ω1)B=B(\sigma,X,\omega_{1}) such that ([Z])

∫Xe−σ⁡(VK,ωt−maxX⁡VK,ωt)ωtnVt≤B,∀t∈]0,1].\int_{X}e^{-\sigma(V_{K,\omega_{t}}-\max_{X}V_{K,\omega_{t}})}\frac{\omega_{t}^{n}}{V_{t}}\leq B,\forall t\in]0,1].

The Alexander-Taylor comparison theorem (see Theorem 7.1 in [GZ 1]) now yields for a constant C3=C3​(π,‖F‖Lp​(X))C_{3}=C_{3}(\pi,\|F\|_{L^{p}(X)})

μt(K)≤C3exp[−σ(VtCapωt​(K))1/n],∀t∈]0,1].\mu_{t}(K)\leq C_{3}\exp\left[-\sigma\left(\frac{V_{t}}{\mathrm{Cap}_{\omega_{t}}(K)}\right)^{1/\penalty n}\right],\forall t\in]0,1].

We infer that there is a constant C4=C4​(π,‖F‖Lp​(X))C_{4}=C_{4}(\pi,\|F\|_{L^{p}(X)}) such that

(2) μt(K)≤C4(Capωt​(K)Vt)2,∀t∈]0,1].\mu_{t}(K)\leq C_{4}\left(\frac{\mathrm{Cap}_{\omega_{t}}(K)}{V_{t}}\right)^{2},\forall t\in]0,1].

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.