Distributional boundary values of holomorphic functions on product domains (Q2406020)

Let \(\Omega\) be a relatively compact domain in a complex manifold \(M\) that may be written as \( \Omega=\bigcap_{j=1}^N\Omega_j,\) where each \(\Omega_j \subset M \) is a smoothly bounded domain. If for each subset \(S \subset \{ 1, \dots , N\}\) the intersection \(B_S=\bigcap_{j=1}^N b\Omega_j,\) if nonempty, is a \(CR\) manifold of \(CR\)-dimension \(n-\{S\},\) we say that \(\Omega\) is a domain with generic corners. Impose on \(M\) any metric compatible with its topology (we assume that all manifolds appearing in this paper are countable at infinity). Denote by \(\operatorname{dist}(z, X)\) the distance from a point \(z \in M\) to a set \(X\) induced by the chosen metric. If \(\Omega\subset\subset M\) is a relatively compact domain, then a holomorphic \(f \in\mathcal O(\Omega)\) is said to be of polynomial growth if there is a \(C > 0\) and \(k \geq 0\) such that for each \(z \in \Omega\) we have that \[ |f(z)| \leq\frac{C}{\operatorname{dist}(z, \partial\Omega)^k}. \] Denote the space of holomorphic functions of polynomial growth on \(\Omega\) by \(A^{-\infty}(\Omega)\). The main result of this article is the following: Theorem 1. Let \(\Omega\) be a domain with generic corners in a complex manifold \(M\), and let \(f \in A^{-\infty}(\Omega)\). There is a \((0, 1)\)-current \(\mathbf{bc}f \in D^\prime_{0,1}(M)\) such that the following holds. If \(U\) is a coordinate neighborhood of \( M\), and \(\psi \in D^{n,n-1}(M)\) is a smooth \((n,n-1)\)-form which has support in \(U\), and if there is a vector \(v \in \mathbb C^n\) such that, in the coordinates on \(U\), the vector \(v\) points outward from \(\Omega\) along each \(\partial\Omega_j\) inside \(U\), then we have \[ (\mathbf{bc} f, \psi)=\lim_{\varepsilon\downarrow 0}\int_{\partial \Omega}f_\varepsilon \psi, \] where \(f_\varepsilon(z)=f(z-\varepsilon v).\) Here the authors refer to \(\mathbf{bc} f\) as the boundary current induced by the holomorphic function \(f\) of polynomial growth. In fact, the existence of the boundary value is purely local: if \(p\in \partial\Omega,\) \( \mathbb B \) is a ball with respect to some coordinate system centered at \(p\) and \(f\) is a holomorphic function on \(\mathbb B\cap \Omega\) with polynomial growth as one approaches \(B\cap \partial\Omega\), then there exists a boundary current \(\mathbf{bc} f \in D^\prime_{0,1}(B)\) defined again by the equality above, and supported on \(B\cap \partial\Omega.\) If \(\Omega \subset\subset M\) is a smoothly bounded domain, we define a subspace \(X^{0,1}_\Omega(M)\) of \(D^\prime_{0,1}(M)\) as follows. A current \(\gamma \in D^\prime_{0,1}(M)\) belongs to \(X^{0,1}_\Omega(M)\) if and only if \(\gamma\) satisfies the following two conditions: {\parindent=6mm \begin{itemize}\item[(1)] \(\gamma\) satisfies the Weinstock condition with respect to \(\Omega\). \item[(2)] There is a face distribution a \(\alpha \in D^\prime_{0,1}(M)\) which induces \(\gamma\) in the following way. If \(i: \partial\Omega \rightarrow M\) is the inclusion map, we have \[ \gamma=i_*(\alpha)^{0,1}. \] \end{itemize}} Here \(i_*\) is the pushforward operation on currents by \(i\), and, for a 1-current \(\theta\) on a complex manifold, we write \[ \theta=\theta^{0,1}+\theta^{1,0} \] the decomposition of \(\theta\) into parts of bidegree \((0, 1)\) and \((1, 0)\). \(X^{0,1}_\Omega(M)\) is a closed subspace of the space \(D^\prime_{0,1}(M)\) and therefore carries the subspace topology. Theorem 2. Let \(\Omega \subset\subset M\) be a domain with \(C^\infty\)-smooth boundary. Then the map \[ \mathbf{bc}: A^{-\infty}(\Omega)\rightarrow X^{0,1}_\Omega(M) \] is an isomorphism of topological vector spaces. Let \( M_1, \ldots, M_N\) be complex manifolds, let \(D_j\subset M_j\) be a domain with \(C^\infty\)-smooth boundary. Set \(\Omega=D_1\times\ldots\times D_N\). Theorem 3. Let \(\Omega\) be a product domain as above. Then the map \[ \mathbf{bc}: A^{-\infty}(\Omega)\rightarrow Y^{0,1}_\Omega(M) \] is an isomorphism of topological vector spaces.