The Jensen envelope is plurisubharmonic on all manifolds
Loading...
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
The Jensen envelope $Jϕ$ of an upper semicontinuous function $ϕ$ on a complex manifold X is defined at $x\in X$ as the infimum of $μ(ϕ)$ over all Jensen measures $μ$ centred at x. The Poisson envelope $Pϕ$ is defined by using only the boundary measures of analytic discs centred at x. One of the main open problems in the theory of disc functionals is whether the Poisson envelope is plurisubharmonic on an arbitrary manifold. This is equivalent to the two envelopes being equal, so plurisubharmonicity of $Jϕ$ is a necessary condition for $Pϕ$ to be plurisubharmonic. We prove that the Jensen envelope is plurisubharmonic, with no assumptions on the manifold X. Hence $Jϕ$ is the largest plurisubharmonic function smaller than $ϕ$. We also show that the Poisson envelope is plurisubharmonic if and only if boundary measures of analytic discs are dense among Jensen measures.
The paper, while correct, has been withdrawn, as the main result turned out to be an easy consequence of Edwards' Theorem. This was belatedly discovered by the authors and later pointed out by an anonymous referee
The paper, while correct, has been withdrawn, as the main result turned out to be an easy consequence of Edwards' Theorem. This was belatedly discovered by the authors and later pointed out by an anonymous referee