ScalingStacks

Preliminary considerations [02E3]

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

Preliminary considerations

Thanks to Lemma 3.2 – here we use that D−ε∈L1D^{-\varepsilon}\in L^{1} – and Theorem 2.1, for every t∈[0,1]t\in[0,1] there is a unique continuous function φt∈P​S​H​(X,ω0+t​Ω)\varphi_{t}\in PSH(X,\omega_{0}+t\Omega) such that

(ωo+t​Ω+d​dc​φt)n=Ct​|s1|2​k+…+|sp|2​k|t1|2​l+…+|tq|2​l​eF​Ωn​ and ​supXφt=−1,(\omega_{o}+t\Omega+dd^{c}\varphi_{t})^{n}=C_{t}\frac{|s_{1}|^{2k}+\ldots+|s_{p}|^{2k}}{|t_{1}|^{2l}+\ldots+|t_{q}|^{2l}}e^{F}\Omega^{n}\text{ and }\sup_{X}\varphi_{t}=-1,

where Ct>0C_{t}>0 is an adequate normalisation constant and ‖φt‖𝒞0​(X)\|\varphi_{t}\|_{{\mathcal{C}}^{0}(X)} is uniformly bounded by a constant independant of t≥0t\geq 0.

We cannot use right away [Y], Theorem 8 p. 403, to ensure that (φt)(\varphi_{t}) be smooth outside BB for t>0t>0, since our integral condition is stronger than his. However we can use [Y], Thm 3, p 365 to conclude that, in case ∩i{ti=0}=∅\cap_{i}\{t_{i}=0\}=\emptyset, (φt)(\varphi_{t}) is smooth outside BB and d​dc​φtdd^{c}\varphi_{t} is a form whose coefficients are globally bounded on XX, hence φt∈𝒞1,1​(X)\varphi_{t}\in{\mathcal{C}}^{1,1}(X) for t>0t>0. Since this does not imply ellipticity if ∩i{si=0}≠∅\cap_{i}\{s_{i}=0\}\not=\emptyset, this does not imply higher regularity on the whole of XX.

The required uniformity in t>0t>0 is not proved in [Y]. To deal with this case, we use a nice trick due to H.Tsuji [Ts].

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