ScalingStacks

Proposition 6.1 . [02F7]

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

Proposition 6.1.

Let Ω\Omega be a semi-Kähler current with Ll​o​c∞L_{loc}^{\infty} potentials on VV. The Monge-Ampère measure Ωr​e​gn\Omega_{reg}^{n} is well defined on Vr​e​gV_{reg} and satisfies ∫Ur​e​gΩr​e​gn<∞, for all relatively compact subset ​U⊂V.\int_{U^{reg}}\Omega_{reg}^{n}<\infty,\text{ for all relatively compact subset }U\subset V.

For any resolution π:X→V\pi:X\to V, the Monge-Ampère measure (π∗​Ω)n(\pi^{*}\Omega)^{n} is well defined on XX and satisfies π∗​(π∗​Ω)n=j∗​Ωr​e​gn\pi_{*}(\pi^{*}\Omega)^{n}=j_{*}\Omega_{reg}^{n}. Moreover if π¯:X¯→V\bar{\pi}:\bar{X}\to V is a resolution dominating π\pi (i.e. π¯=π∘ψ\bar{\pi}=\pi\circ\psi for some bimeromorphic proper holomorphic map ψ:X¯′→X′\psi:\bar{X}^{\prime}\to X^{\prime}), then ψ∗​(π¯∗​Ω)n=(π∗​Ω)n\psi_{*}(\bar{\pi}^{*}\Omega)^{n}=(\pi^{*}\Omega)^{n}.

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