ScalingStacks

Proposition 4.4 . [02EG]

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

Let μ\mu be a probability measure and t>0t>0. Let φ,ψ∈P​S​H​(X,ω)\varphi,\psi\in PSH(X,\omega) be such that ∫Xet​φ​𝑑μ=∫Xet​ψ​𝑑μ=1\int_{X}e^{t\varphi}d\mu=\int_{X}e^{t\psi}d\mu=1. Assume φ∈ℰ1​(X,ω)\varphi\in{\mathcal{E}}^{1}(X,\omega) is a global solution to the complex Monge-Ampère equation (ω+d​dc​φ)n=et​φ​μ(\omega+dd^{c}\varphi)^{n}=e^{t\varphi}\mu, while ψ∈𝒞0​(X∖E)\psi\in{\mathcal{C}}^{0}(X\setminus E) satisfies (ω+d​dc​ψ)n=et​ψ​μ(\omega+dd^{c}\psi)^{n}=e^{t\psi}\mu only in X∖EX\setminus E.

Then ψ∈ℰ1​(X,ω)\psi\in{\mathcal{E}}^{1}(X,\omega) and ψ≡φ\psi\equiv\varphi.

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