ScalingStacks

Lemma 4.18 . [00S6]

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

Lemma 4.18.

(Local Skoda estimate) Consider any φ∈P​S​H​(Xs,s−1​ωF​S)\varphi\in PSH(X_{s},s^{-1}\omega_{FS}) normalised to supXsφ=0\sup_{X_{s}}\varphi=0. There are uniform positive constants α\alpha, CC, such that the local potentials ϕ\phi satisfy

  • •

    In a log scale in the toric region,

    −∫|zmi|∼|zmi​(P)|e−α​s​(ϕ−−∫ϕ)dμs≤C.\mathchoice{{\vbox{\hbox{$\textstyle-$ }}\kern-7.98003pt}}{{\vbox{\hbox{$\scriptstyle-$ }}\kern-6.26338pt}}{{\vbox{\hbox{$\scriptscriptstyle-$ }}\kern-5.6363pt}}{{\vbox{\hbox{$\scriptscriptstyle-$ }}\kern-5.45924pt}}\!\int_{|z^{m_{i}}|\sim|z^{m_{i}}(P)|}e^{-\alpha\sqrt{s}(\phi-\mathchoice{{\vbox{\hbox{$\textstyle-$ }}\kern-6.57559pt}}{{\vbox{\hbox{$\scriptstyle-$ }}\kern-4.84631pt}}{{\vbox{\hbox{$\scriptscriptstyle-$ }}\kern-3.71837pt}}{{\vbox{\hbox{$\scriptscriptstyle-$ }}\kern-3.36836pt}}\!\int\phi)}d\mu_{s}\leq C.
  • •

    In a boundary type chart,

    −∫UPe−α​s​(ϕ−−∫ϕ)dμs≤C.\mathchoice{{\vbox{\hbox{$\textstyle-$ }}\kern-7.98003pt}}{{\vbox{\hbox{$\scriptstyle-$ }}\kern-6.26338pt}}{{\vbox{\hbox{$\scriptscriptstyle-$ }}\kern-5.6363pt}}{{\vbox{\hbox{$\scriptscriptstyle-$ }}\kern-5.45924pt}}\!\int_{U_{P}}e^{-\alpha\sqrt{s}(\phi-\mathchoice{{\vbox{\hbox{$\textstyle-$ }}\kern-6.57559pt}}{{\vbox{\hbox{$\scriptstyle-$ }}\kern-4.84631pt}}{{\vbox{\hbox{$\scriptscriptstyle-$ }}\kern-3.71837pt}}{{\vbox{\hbox{$\scriptscriptstyle-$ }}\kern-3.36836pt}}\!\int\phi)}d\mu_{s}\leq C.

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