Analytic discs, global extremal functions and projective hulls in projective space (Q491452)

Let \(\omega\) be the Fubini-Study form for the complex projective space \(\mathbb P^n\). Let \(\mathcal {PSH}(\mathbb P^n,\omega)\) be the family of \(\omega\)-plurisubharmonic functions on \(\mathbb P^n\), i.e., \(u\in \mathcal {PSH}(\mathbb P^n,\omega)\) if \(dd^cu+\omega\geq 0\). The aim of this paper is to prove a disc formula for the quasiplurisubharmonic global extremal function for domains in \(\mathbb P^n\). Let \(W\subset \mathbb P^n\) be a domain and let \(\varphi:W\to [-\infty,+\infty)\) be an upper semicontinuous function. Then for \(x\in \mathbb P^n\) \[ \begin{multlined} \sup\Big\{u(x); u\in \mathcal {PSH}(\mathbb P^n,\omega), u|_{W}\leq \varphi \Big\}\\ =\inf\left\{-\int_{\mathbb D}\log|\cdot|f^*\omega+\int_{\mathbb T}\varphi\circ f\,d\sigma; f\in \mathcal A_{\mathbb P^n}^W, f(0)=x\right\},\end{multlined} \] where \[ \mathcal A_{\mathbb P^n}^W=\big\{f:\mathbb D\to\mathbb P^n; f\in \mathcal C(\overline {\mathbb D})\cap \mathcal O(\mathbb D), f(\mathbb T)\subset W\big\}, \] \(\mathbb D\) is the unit disc in \(\mathbb C\), and \(\mathbb T=\partial \mathbb D\). As a corollary, a characterization is proved of the projective hull \(\hat K\) of a connected compact set \(K\subset \mathbb P^n\) by the existence of analytic discs with special properties.