Maximality of plurifinely plurisubharmonic functions (Q2195189)

Let \(\Omega\subset\mathbb C^n\) be open in the plurifine topology, i.e., the weakest topology in which all plurisubharmonic functions on \(\Omega\) are continuous. A function \(u:\Omega\longrightarrow[-\infty,+\infty)\) is called \(\mathcal F\)-plurisubharmonic if \(u\) is \(\mathcal F\)-upper semicontinuous and finely subharmonic on every complex affine line. We say that \(u\) is \(\mathcal F\)-maximal in \(\Omega\) if for every bounded \(\mathcal F\)-open set \(G\) with \(\overline G\subset\Omega\), and for every \(\mathcal F\)-plurisubharmonic function \(v\) on \(G\) that is bounded from above and extends \(\mathcal F\)-upper semicontinuously to \(\overline G^{\mathcal F}\), if \(v\leq u\) on \(\partial_{\mathcal F}G\), then \(v\leq u\) on \(G\). We say that \(u\) belongs to \(\mathcal M(\Omega)\) if for every \(\mathcal F\)-open sets \(G\) with \(\overline G\subset\Omega\) there exists a negative plurisubharmonic function \(\varphi\) defined on a Euclidean neighborhood of \(G\) such that \(\forall \varepsilon>0\exists M>1/\varepsilon: \varepsilon\varphi\leq u\) on \(G\cap\{u=-M\}\). The main result of the paper states that if \(u\in\mathcal M(\varOmega)\), \(u<0\), then \(u\) is \(\mathcal F\)-locally \(\mathcal F\)-maximal in \(\Omega\) if and only if \(u\) is \(\mathcal F\)-maximal in \(\Omega\). It is a generalization of a theorem from the paper [the author et al., Potential Anal. 48, No. 1, 115--123 (2018; Zbl 1383.32009)].