English

The strong topology of $\omega$-plurisubharmonic functions

Differential Geometry 2023-05-10 v3 Complex Variables

Abstract

On (X,ω)(X,\omega) compact K\"ahler manifold, given a model type envelope ψPSH(X,ω)\psi\in PSH(X,\omega) (i.e. a singularity type) we prove that the Monge-Amp\`ere 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 A\mathcal{A} of model type envelopes with positive total mass representing different singularities types, the sets XA,YAX_{\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 ψA\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\`ere operator produces an homeomorphism between XAX_{\mathcal{A}} and YAY_{\mathcal{A}}. As an application we also prove the strong stability of a sequence of solutions of prescribed complex Monge-Amp\`ere equations when the measures have uniformly LpL^{p}-bounded densities for p>1p>1 and the prescribed singularities are totally ordered.

Keywords

Cite

@article{arxiv.2002.00665,
  title  = {The strong topology of $\omega$-plurisubharmonic functions},
  author = {Antonio Trusiani},
  journal= {arXiv preprint arXiv:2002.00665},
  year   = {2023}
}

Comments

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