Plurifinely plurisubharmonic functions and the Monge Ampère operator (Q2509987): Difference between revisions

Let \(\Omega\) be an open set of \(\mathbb C^n\) and denote by \({\mathcal F}\) the plurifine topology on \(\Omega\). In the first part of this paper and by analogy with the notion of maximal plurisubharmonic functions, the authors introduce the notion of \({\mathcal F}\)-maximal \({\mathcal F}\)-plurisubharmonic functions. In order to clarify this concept of \({\mathcal F}\)-maximality, some related properties are given. In the second part, the authors extend the well-known relation between maximality and the Monge-Ampère operator to \({\mathcal F}\)-maximality. In particular, they prove that a finite \({\mathcal F}\)-plurisubharmonic function \(u\) on an \({\mathcal F}\)-domain \(U\) satisfies \((dd^cu)^n=0\) if and only if \(u\) is \({\mathcal F}\)-locally \({\mathcal F}\)-maximal outside some pluripolar set.