ScalingStacks

Proof. [02FA]

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.

Let π:X→V\pi:X\to V be a resolution of VV. We may define a semipositive big smooth form on XX by ω=π∗​Ω\omega=\pi^{*}\Omega. By Theorem 2.1 and Proposition 3.1 we can solve uniquely (ω+d​dc​φ¯)n=f∘π​ωn(\omega+dd^{c}\bar{\varphi})^{n}=f\circ\pi\omega^{n} where φ¯\bar{\varphi} is a continuous function on XX such that ω+d​dc​φ¯\omega+dd^{c}\bar{\varphi} is semipositive. Let FF be a fiber of π\pi and i:F→Xi:F\to X the inclusion map. FF is connected by Zariski’s main theorem. Furthermore i∗​ω+d​dc​i∗​φ¯i^{*}\omega+dd^{c}i^{*}\bar{\varphi} is semipositive on FF. Since i∗​ω=0i^{*}\omega=0, it follows that i∗​φi^{*}\varphi is a continuous psh function on FF. Hence i∗​φ¯i^{*}\bar{\varphi} is constant. This implies that φ¯=φ∘π\bar{\varphi}=\varphi\circ\pi where φ\varphi is a continuous function on VV. We do have (Ω+d​dc​φ)n=f​Ωn(\Omega+dd^{c}\varphi)^{n}=f\Omega^{n}. ∎

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