Extremal \(\omega \)-plurisubharmonic functions as~envelopes of disc functionals (Q691161): Difference between revisions

A generalization of a theorem by \textit{E. A. Poletsky} [in: Several complex variables and complex geometry, Proc. Summer Res. Inst., Santa Cruz/CA (USA) 1989, Proc. Symp. Pure Math. 52, Part 1, 163--171 (1991; Zbl 0739.32015)] on the characterization of extremal plurisubharmonic functions as lower envelopes of disk functionals is given. The author studies quasi-plurisubharmonic functions instead of plurisubharmonic ones and does that on complex manifolds. First, an extremal function related to a real-valued upper semicontinuous function on the manifold is defined. This is done by a process resembling the construction of a Perron-Bremmerman envelope. The main result is that this function can be expressed by the so-called disc functional, that is, it is the infimum over a family of analytic discs such that the origin is mapped to the fixed point in the manifold. The value to be minimized is an expression involving the integral over the boundary of the embedded disc of the given upper semicontinuous function with respect to uniform probability measure on the boundary and the Riesz potential of the pullback of a given closed positive \((1,1)\) current on the manifold by the analytic disc itself. So a function defined by a supremum can also be defined by infimum which sometimes can be useful as it is proved to be in the case of plurisubharmonic functions. The main difficulty is to consider the case when the current does not have a global potential. This case is shown to follow from the global one by a reduction procedure.