Regularity of the \(\bar{\partial}\)-equation and Liouville's theorem for pseudoconcave compacts in \(\mathbb{CP}^n\) (Q2852446)

Let \(\mathcal{O}(-1)\) denote the tautological line bundle over \(\mathbb{CP}^n\) and \(\mathcal{O}(1)\), its dual, the hyperplane bundle. \(\mathcal{O}(m)\) is then the \(m^{th}\) power of the hyperplane bundle, and \(\mathcal{O}(-m)\), its dual. Let \(D\subset \mathbb{CP}^n\) be pseudoconcave. The main results are regularity estimates for solutions \(u\) to \(\overline{\partial}u =f\), where \(f \in W^{1-\epsilon}_{0,q} (D,\mathcal{O}(-m))\). The author further shows that holomorphic sections of \(\mathcal{O}(-m)\) in \(W^{1-\epsilon}\) vanish on \(D\). NEWLINENEWLINENEWLINENEWLINE First, for \(\Omega \subset\mathbb{CP}^n\) pseudoconvex, Sobolev estimates for \((n,q)\)-form solutions \(u\) to the \(\overline{\partial}\)-equation \(\overline{\partial} u =f\), \(f \in W^{\epsilon}_{n,q} (\Omega,\mathcal{O}(m))\) are obtained: NEWLINE\[NEWLINE \|u\|_{\epsilon}\leq C_{\epsilon} \|f\|_{\epsilon} NEWLINE\]NEWLINE for all \(\epsilon\geq 0\) less than some \(\epsilon_0\), \(0<\epsilon_0\leq 1/2\). These estimates are obtained from weighted \(L^2\) estimates (with weights as negative powers of the distance to the boundary function) which are themselves obtained using standard \(L^2\) techniques of Andreotti-Vesentini and Hörmander. Weighted \(L^2\) estimates were also the subject of results of \textit{G. M. Henkin} and \textit{A. Iordan} [Asian J. Math. 4, No. 4, 855--884 (2000; Zbl 0998.32021)] which also provide the special case of \(\epsilon=0\) in the results under review here.NEWLINENEWLINEDuality arguments (and trivial extensions from \(\Omega\) to \(\mathbb{CP}^n\)) lead to estimates of the form \(\|u\|_{-\epsilon}\leq C_{\epsilon} \|f\|_{-\epsilon}\) for solutions, \(u\), to \(\overline{\partial} u =f\) when \(f\in W^{-\epsilon}_{0,q} (\mathbb{CP}^n,\mathcal{O}(-m))\).NEWLINENEWLINENow for \(D\subset \mathbb{CP}^n\) a pseudoconcave domain the above results are applied to \(\Omega=\mathbb{CP}^n\setminus \overline{D}\) to obtain the main results.