Example 13.12.5.472C675FCEA8 A quasi-plurisubharmonic function on an open subset $U\subseteq X$ is always quasi-continuous. See [Theorem 4.20, GZ17] for the proof.
More generally, if $\varphi ,\psi $ are two quasi-plurisubharmonic functions on $U$, then the following function
\[ f(x)\coloneqq \begin{cases} \varphi (x)-\psi (x),& \textup{if }(\varphi \lor \psi )(x)\neq -\infty ;\\ \infty ,& \textup{otherwise} \end{cases} \]
is quasi-continuous.2
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.