Local-to-global maximality for plurisubharmonic functions with locally analytic singularities

We prove that a locally maximal plurisubharmonic function on a domain in ${\text{bC}}^n$, $n\ge 2$, is maximal if it has locally analytic singularities with a two-sided locally bounded remainder. McAdam’s theorem gives a necessary bound on the analytic spread of the local defining ideals. Comparison on a normalized blow-up then controls the singularities of competing functions. As a consequence, maximality is characterized by the vanishing of the Bedford–Taylor Monge–Ampère measure off the pole set together with the analytic spread bound.