The strong topology of $\omega$-plurisubharmonic functions

Abstract

On $(X,\omega )$ compact Kähler manifold, given a model type envelope $\psi \in PSH(X,\omega )$ (i.e. a singularity type) we prove that the Monge-Ampère operator is an homeomorphism between the set of $\psi$-relative finite energy potentials and the set of $\psi$-relative energy measures endowed with their strong topologies given as the coarsest refinements of the weak topologies such that the relative energies become continuous. Moreover, given a totally ordered family $\mathcal{A}$ of model type envelopes with positive total mass representing different singularities types, the sets $X_{\mathcal{A}},Y_{\mathcal{A}}$ given respectively as the union of all $\psi$-relative finite energy potentials and of all $\psi$-relative finite energy measures varying $\psi \in \overline{\mathcal{A}}$ have two natural strong topologies which extends the strong topologies on each component of the unions. We show that the Monge-Ampère operator produces an homeomorphism between $X_{\mathcal{A}}$ and $Y_{\mathcal{A}}$. As an application we also prove the strong stability of a sequence of solutions of prescribed complex Monge-Ampère equations when the measures have uniformly $L^p$-bounded densities for $p>1$ and the prescribed singularities are totally ordered.

Lemma 2.14 added to correct a minor mistake. Other small changes. Final version, to appear in Analysis & PDE journal

Cited by in corpus (1)

• Kähler-Einstein metrics with prescribed singularities on Fano manifolds