A remark on the uniform extendability of the Bergman kernel function (Q1190159): Difference between revisions

Let \(D\) be a smoothly bounded domain in \(\mathbb{C}^ n\), \(H^ 2(D)\) the space of \(L^ 2\)-integrable holomorphic functions on \(D\), and \(H(\overline D)\) that of holomorphic functions which can be extended holomorphically to some open set containing \(\overline D\). Take definition: condition \(Q\) holds on \(D\) if \(P\) maps \(C_ 0^ \infty(D)\) into \(H(\overline D)\), where \(P\) is the orthogonal projection from \(L^ 2(D)\) onto \(H^ 2(D)\). In this note, the author proves that condition \(Q\) holds on \(D\) is equivalent to the following statement: For each compact subset \(K\) of \(D\), there exists an open set \(D_ K\) containing \(\overline D\) such that the Bergman kernel function \(K(z,w)\) associated to \(D\) can be extended holomorphically in \(z\) and anti-holomorphically in \(w\) to \(K(z,w)\in C^ \omega(D_ K\times D)\). As a corollary, condition \(Q\) implies an extension version of H. Cartan's theorem. And strictly pseudoconvex domains, Reinhardt domains and circular domains picking up some transverse symmetries on the boundary all satisfy the condition \(Q\).