Spaces of analytic functions on essentially pluripolar compacta (Q1624182): Difference between revisions

For a Stein manifold \(\Omega\) of dimension \(n\) and a compact set \(K \subset \Omega\), the space of holomorphic germs in \(K\) is denoted by \(A(K)\). The aim of the paper is to determine when \(A(K)\) and \(A(0)\) are isomorphic as topological vector spaces; here, \(0\) means the origin in \(\mathbb C^n\). To do so, a new concept is introduced, namely, the notion of essential pluripolarity. In the special case \(\Omega = \mathbb C^2\) and \(K \subset \mathbb C\), the compact set \(K \times \{0\}\) is essentially pluripolar if and only if \(K\) is polar in \(\mathbb C\). The general definition is more complicated and surprisingly uses Runge domains. The main theorem states that \(A(K) \cong A(0)\) if and only if \(K\) is essentially pluripolar. Its proof consists of two parts. In the first part, is is shown that \(A(K)\) is essentially pluripolar if and only if \(A(K)'\) has (DN). The main tool from pluripotential theory in this part is a result on pluripolar hulls due to \textit{N. Levenberg} and \textit{E. A. Poletsky} [Mich. Math. J. 46, No. 1, 151--162 (1999; Zbl 0963.32024)]. The second part of the proof is the result that \(A(K)'\) has (DN) if and only if \(A(K) \cong A(0)\). This part uses a result concerning the existence of a basis of \textit{A. Aytuna} et al. [Math. Ann. 283, No. 2, 193--202 (1989; Zbl 0643.46001)].