On the size of boundary pluripolar sets

Abstract

We prove a number of results related to the size and propagation of boundary pluripolar sets, the exceptional sets for the Dirichlet problem for the complex Monge--Amp\`ere equation. We extend Stout's result that peak sets on strictly pseudoconvex domains $\Omega\subset\mathbb{C}^N$ must have topological dimension less than $N$ to also encompass non-propagating boundary pluripolar $F_\sigma$ sets. In particular, boundary pluripolar sets must propagate into the interior if their topological dimension exceeds $N-1$. We also prove that sets of sufficiently small Hausdorff dimension must be boundary pluripolar and non-propagating, provided that the domain admits peak functions with sufficient boundary regularity. Lastly, we prove that the class of Jensen measures and the class of representing measures do not coincide on any smooth, strictly pseudoconvex domain. This extends a result of Hedenmalm.