Jensen measures and annihilators of holomorphic functions (Q2267723)

Let \(M\) be a relatively compact domain in a complex manifold \(N\). We denote by \(A(\overline M)\) the uniform algebra of functions continuous on the closure \(\overline M\) and holomorphic on \(M\) and by \(C(M)\) the set of all continuous functions on \(M\). Let \(\mathbb{D}\) be the unit disk in \(\mathbb{C}\) and let \(M'=\mathbb{D}\times M\subset\mathbb{C}\times N\). In the paper under review, the authors introduce a continuous operator \(G^*:C^*(\overline{M'})\to C^*(\overline{M})\) and an operator \(P^*:C^*(\overline{M})\to C^*(\overline{M'})\) which is the right inverse of \(G^*\). The operator \(G^*\) has the following important property: for any \(z\in M\) it transforms the set \(J((z,0),M')\) of all Jensen measures on \(M'\) with barycenters at \((z,0)\) into measures in \(A^\bot(\overline M)\). The authors obtain the description of the space \(A^\bot(\overline M)\) in terms of Jensen measures: for any \(z\in M\), the set \(A^\bot(\overline M)\) is the weak-\(\ast\) closure of the real positive cone over \(G^*(J((z,0),M'))\). To alleviate the investigation, the authors consider two subspaces of \(C(\overline{M'})\): the space \(S(\overline{M'})\) of functions holomorphic in average and the space \(h(\overline{M'})\) of functions pluriharmonic on \(M'\). These spaces are more flexible and more easy to study than the set \(A^\bot(\overline M)\). It is shown that \(P^*(A^\bot(\overline M))=S^\bot(\overline{M'})\) while \(G^*(S^\bot(\overline{M'}))=A^\bot(\overline M)\) and \(P^*(A^\bot(\overline M))\subset h^\bot(\overline{M'})\) while \(G^*(h^\bot(\overline{M'}))=A^\bot(\overline M)\). The real annihilators of \(h(\overline M)\) are annihilators of the space \(h_{\mathbb{R}}(M)\) of real pluriharmonic functions on \(M\). In the paper, a simple description of this space is provided. In the final part, the authors address the Mergelyan property for \(A(\overline M)\) which is known only for strongly pseudoconvex domains and some particular cases. They show that it is equivalent to the Mergelyan property for spaces \(S(\overline{M'})\) and \(h(\overline{M'})\).