Extremal ω-plurisubharmonic functions as envelopes of disc functionals
- First Online:
- Cite this article as:
- Magnússon, B.S. Ark Mat (2011) 49: 383. doi:10.1007/s11512-010-0128-y
For each closed, positive (1,1)-current ω on a complex manifold X and each ω-upper semicontinuous function φ on X we associate a disc functional and prove that its envelope is equal to the supremum of all ω-plurisubharmonic functions dominated by φ. This is done by reducing to the case where ω has a global potential. Then the result follows from Poletsky’s theorem, which is the special case ω=0. Applications of this result include a formula for the relative extremal function of an open set in X and, in some cases, a description of the ω-polynomial hull of a set.