Franc Forstneric
The Poletsky-Rosay theorem on singular complex spaces
If $u$ is an upper semicontinuous function on a locally irreducible complex space $X$, then the largest plurisubharmonic function $v$ that is less or equal to $u$ is obtained as the pointwise infimum of the averages of $u$ over the boundaries of analytic discs in $X$. This was proved by Poletsky (1993) for $X=\mathbb C^n$ and by Rosay (2003) for $X$ a complex manifold. Applications include the description of the plurisubharmonic and the pluripolar hull of a compact set in a complex space.