A disc formula for plurisubharmonic subextensions in manifolds (Q2347955): Difference between revisions

Let \(W\) be a domain in a complex manifold \(X\) and \({\mathcal A}_X^W\) be the collection of all holomorphic disks \({\overline {\mathbb D}}\to X\) with boundaries in \(W\). Under certain conditions on the topological properties of \({\mathcal A}_X^W\), a formula for the largest plurisubharmonic subextension of an upper semicontinuous function \(\phi\) on \(W\) to \(X\) was proved in [\textit{F. Lárusson} and \textit{E. A. Poletsky}, Mich. Math. J. 62, No. 3, 551--565 (2013; Zbl 1311.32014)]: \[ \sup\big\{u(x):\;u\in PSH(X), \;u|_W\leq\phi\big\}=\inf\left\{\int_{\partial {\mathbb D}} \phi\circ f\, d\lambda: \;f\in {\mathcal A}_X^W, \;f(0)=x \right\}. \] In the paper under review, the above disk formula is proved in the case when \(X\) is an \((n-1)\)-complete complex manifold of dimension \(n\) with smooth \((n-1)\)-convex exhaustion function \(\rho\) and \(W=\{x: \rho(x)>c\}\).