ScalingStacks

2.4 Local L 1 estimate [008E]

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.4 Local L1L^{1} estimate

Given a local chart on EJ0E_{J}^{0} with ℂ∗\mathbb{C}^{*}-coordinates z1,…​zpz_{1},\ldots z_{p} and ℂ\mathbb{C}-coordinates zp+1,…,znz_{p+1},\ldots,z_{n}, and a point qq therein, we shall refer to the subregion

{12|zi(q)|≲|zi|≲2|zi(q)|,1≤i≤p}\{\frac{1}{2}|z_{i}(q)|\lesssim|z_{i}|\lesssim 2|z_{i}(q)|,\quad 1\leq i\leq p\}

as a log scale.

Lemma 2.6.

(Local L1L^{1}-estimate) Within every log scale there is a uniform bound on the L1L^{1}-average integral

−∫l​o​c|u|∏1p−1dlogzi∧dlogz¯i∧∏p+1n−1dzk∧dz¯k≤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_{loc}|u|\prod_{1}^{p}\sqrt{-1}d\log z_{i}\wedge d\log\bar{z}_{i}\wedge\prod_{p+1}^{n}\sqrt{-1}dz_{k}\wedge d\bar{z}_{k}\leq C.
Proof.

We induct on the depth of the strata. For p=0p=0 this follows from Prop. 2.4. So let us assume the bound is achieved for depth <p<p. For a given chart, we consider the local psh function uβu_{\beta} associated to uu and produce the convex average function u¯β\bar{u}_{\beta} as in Lemma 2.2. Since a definite neighbourhood of the boundary of the chart lies inside less deep strata, we know that near the boundary |u¯β|≤C|\bar{u}_{\beta}|\leq C by the induction hypothesis and the convexity condition. Using convexity again in the interior of the chart we see |u¯β|≤C|\bar{u}_{\beta}|\leq C in the whole chart.

Within any log scale, by construction the local average −∫l​o​c(uβ−u¯β)=0.\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_{loc}(u_{\beta}-\bar{u}_{\beta})=0. But uβ≤Cu_{\beta}\leq C by u≤0u\leq 0, hence

−∫l​o​c|uβ−u¯β|≲−∫l​o​c(uβ−u¯β)+≤C.\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_{loc}|u_{\beta}-\bar{u}_{\beta}|\lesssim\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_{loc}(u_{\beta}-\bar{u}_{\beta})_{+}\leq C.

Using |u−uβ|≤C|u-u_{\beta}|\leq C we conclude the local L1L^{1}-estimate on uu. ∎

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