ScalingStacks

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

00S6

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.
00S7

Proof. Apply the standard Skoda inequality (cf. Thm 2.1) to the rescaled function s1/2​(ϕ−−∫ϕ)s^{1/2}(\phi-\mathchoice{{\vbox{\hbox{$\textstyle-$ }}\kern-7.83337pt}}{{\vbox{\hbox{$\scriptstyle-$ }}\kern-6.11674pt}}{{\vbox{\hbox{$\scriptscriptstyle-$ }}\kern-5.48965pt}}{{\vbox{\hbox{$\scriptscriptstyle-$ }}\kern-5.31259pt}}\!\int\phi). ∎

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