ScalingStacks

Proof. [032J]

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.

The mapping

Φ:φ∈P​S​H​(X,ω)↦ωφ:=ω+d​dc​φ∈𝒯[ω]​(X)\Phi:\varphi\in PSH(X,\omega)\mapsto\omega_{\varphi}:=\omega+dd^{c}\varphi\in{\mathcal{T}}_{[\omega]}(X)

is a continuous affine mapping whose kernel consists of constants mappings: indeed ωφ=ωψ\omega_{\varphi}=\omega_{\psi} implies that φ−ψ\varphi-\psi is pluriharmonic hence constant by the maximum principle. Moreover Φ\Phi is surjective: if ω′≥0\omega^{\prime}\geq 0 is cohomologous to ω\omega then ω′=ω+d​dc​φ\omega^{\prime}=\omega+dd^{c}\varphi for some φ∈L1​(X,ℝ)\varphi\in L^{1}(X,\mathbb{R}) -this is the celebrated d​dcdd^{c}-lemma on Kähler manifolds (see e.g. lemma 8.6, chapter VI in [15]). Thus φ\varphi coincides almost everywhere with a function of P​S​H​(X,ω)PSH(X,\omega) and ω′=Φ⁡(φ)\omega^{\prime}=\Phi(\varphi). ∎

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