Plurisubharmonic and holomorphic functions relative to the plurifine topology (Q542849)

The paper presents a systematic study of plurifinely plurisubharmonic (\(\mathcal F\)-psh) and plurifinely holomorphic (\(\mathcal F\)-holomorphic) functions. The authors present various properties of these functions and discuss interrelations between them. Let \(\varOmega\subset\mathbb C^n\), \(U\subset\mathbb C^m\) be plurifinely open. Among other results the authors prove the following theorems: (1) Let \(h:U\longrightarrow\mathbb C^n\) be weakly \(\mathcal F\)-holomorphic. Then: - \(h\) is continuous in the \(\mathcal F\)-topologies; - if \(f\) is strongly \(\mathcal F\)-psh (resp.~strongly \(\mathcal F\)-holomorphic) function on \(\varOmega\), then \(f\circ h\) is weakly \(\mathcal F\)-psh (resp.~weakly \(\mathcal F\)-holomorphic) function on \(h^{-1}(\varOmega)\). (2) A function \(f:\varOmega\longrightarrow[-\infty,+\infty)\) is weakly \(\mathcal F\)-psh iff \(f\) is \(\mathcal F\)-locally bounded from above and \(f\circ h\) is \(\mathbb R^{2n}\)-finely hypoharmonic on \(h^{-1}(\varOmega)\) for every \(\mathbb C\)-affine bijection \(h:\mathbb C^n\longrightarrow\mathbb C^n\). (3) Let \(f:\varOmega\longrightarrow[-\infty,+\infty)\) be \(\mathcal F\)-locally bounded from above and weakly \(\mathcal F\)-psh on \(\varOmega\setminus E\), where \(E\) is \(\mathcal F\)-closed and pluripolar. Then \(f\) has a unique extension to a weakly \(\mathcal F\)-psh function \(f^\ast\) on \(\varOmega\) and \(f^\ast(z)=\mathcal F\text{-}\limsup_{\varOmega\setminus E\ni\zeta\to z}f(\zeta)\), \(z\in\varOmega\). (4) If \((f_\alpha)_\alpha\) is a uniformly \(\mathcal F\)-locally upper bounded family of weakly \(\mathcal F\)-psh functions and \(f:=\sup_\alpha f_\alpha\), then \(f^\ast\) is weakly \(\mathcal F\)-psh and the set \(\{z\in\varOmega: f(z)<f^\ast(z)\}\) is pluripolar. (5) If \(f\) is weakly \(\mathcal F\)-psh (resp.~weakly \(\mathcal F\)-holomorphic) and \(h:U\longrightarrow\mathbb C^n\) is weakly \(\mathcal F\)-holomorphic, then \(f\circ h\) is weakly \(\mathcal F\)-psh (resp.~weakly \(\mathcal F\)-holomorphic) on \(h^{-1}(\varOmega)\).