ScalingStacks

Proof. [0086]

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

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-backed reader collection; mathematical self-containment is not assessed.