ScalingStacks

Lemma 6.4 . [02FC]

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 6.4.

For every U1⊂⊂UU_{1}\subset\subset U, ∫U1r​e​gv<∞\int_{U_{1}^{reg}}v<\infty iff XX is log terminal.

If VV is log terminal, then the Radon measure μ=j∗​v\mu=j_{*}v satisfies μ=f​Ωn\mu=f\Omega^{n} with f∈L1+ε​(U1,Ωn)f\in L^{1+\varepsilon}(U_{1},\Omega^{n}) for some ε>0\varepsilon>0.

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