Local-to-global maximality for plurisubharmonic functions with locally analytic singularities
We prove that a locally maximal plurisubharmonic function on a domain in $\bC^n$, $n\geq2$, is maximal if it has locally analytic singularities with a two-sided locally bounded remainder. Using McAdam's theorem, we show that local maximality forces the analytic spread of each defining ideal to be less than $n$. We use normalized blow-ups and Siu's analyticity theorem to compare singularities through generic divisorial Lelong numbers. We also obtain a criterion for maximality in terms of maximality outside the pole set and the analytic spread of the local defining ideals.