ScalingStacks

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

2.6 Uniform global Skoda estimate

We are interested in the following class of measures, motivated by Calabi-Yau measures (cf. section 3.1). Let aia_{i} be non-negative real numbers assigned to i∈Ii\in I, with min⁡ai=0\min a_{i}=0. Let

m=max{|J|−1:EJ≠∅,ai=0 for i∈J}.m=\max\{|J|-1:E_{J}\neq\emptyset,a_{i}=0\text{ for }i\in J\}.

We say the measures d​μtd\mu_{t} on XtX_{t} satisfy a uniform upper bound of class (ai)(a_{i}), if on the local charts of each EJ0E_{J}^{0},

dμt≤C|log⁡|t||m|z0|2​a0⋯|zp|2​ap∏1p−1dlogzi∧dlogz¯i∧∏p+1n−1dzk∧dz¯k.d\mu_{t}\leq\frac{C}{|\log|t||^{m}}|z_{0}|^{2a_{0}}\cdots|z_{p}|^{2a_{p}}\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}. (4)

The normalisation factor ensures ∫Xtd​μt≤C\int_{X_{t}}d\mu_{t}\leq C independent of tt, by a straightforward local calculation.

0085

Theorem 2.9. (Uniform Skoda estimate) Suppose the measures d​μtd\mu_{t} on XtX_{t} satisfy a uniform upper bound of class (ai)(a_{i}). Then there are uniform positive constants α\alpha and AA, such that

∫Xte−α​u​d​μt≤A,∀u∈P​S​H​(Xt,ωt)​ with ​supXtu=0.\int_{X_{t}}e^{-\alpha u}d\mu_{t}\leq A,\quad\forall u\in PSH(X_{t},\omega_{t})\text{ with }\sup_{X_{t}}u=0.
0086

Proof. We choose the charts so that each point on XtX_{t} is covered by ≤C\leq C log scales. Summing over the local Skoda estimates from all log scales, ∫Xte−α​u​d​μt\int_{X_{t}}e^{-\alpha u}d\mu_{t} is bounded by

C|log⁡|t||m​∑log scales∫l​o​c|z0|2​a0​…​|zp|2​ap​∏1p−1​d​log⁡zi∧d​log⁡z¯i∧∏p+1n−1​d​zk∧d​z¯k≤C.\begin{split}&\frac{C}{|\log|t||^{m}}\sum_{\text{log scales}}\int_{loc}|z_{0}|^{2a_{0}}\ldots|z_{p}|^{2a_{p}}\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.\end{split}

∎

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