On \(L^2\)-estimates for \(\bar\partial\) on a pseudoconvex domain in a complete Kähler manifold with positive holomorphic bisectional curvature (Q472074)

This paper is concerned with \(L^{2}\)-estimates for \(\overline{\partial}\) and with the Diederich-Fornæss exponent on relatively compact subdomains of Kähler manifolds with positive holomorphic bisectional curvature. When the domain is assumed \(C^{2}\), \(L^{2}\)-estimates were obtained by \textit{G. M. Henkin} and \textit{A. Iordan} [Asian J. Math. 4, No. 4, 855--884 (2000; Zbl 0998.32021)] for \(\overline{\partial}\) with values in a vector bundle. For \(C^{1,1}\) domains in \(\mathbb{C}\mathbb{P}^{n}\), \textit{J. Cao} and \textit{M.-C. Shaw} [Math. Z. 256, No. 1, 175--192 (2007; Zbl 1124.32017)] generalized earlier results by \textit{T. Ohsawa} and \textit{N. Sibony} [Nagoya Math. J. 149, 1--8 (1998; Zbl 0911.32027)] on plurisuharmonicity of a positive power of the boundary distance; they also obtained \(L^{2}\)-estimates for \(\overline{\partial}\). The author obtains two results concerning the Diederich-Fornæss exponent. First, she proves that a lower bound for the exponent on a relatively compact \(C^{2}\) pseudoconvex domain in a complete Kähler manifold (not assumed compact, i.e., not necessarily biholomorphic to some \(\mathbb{C}\mathbb{P}^{n}\)) with positive holomorphic bisectional curvature is given by the Takeuchi constant of the domain (Theorem 5.1). The second result is for domains with positive inner reach defined by a \(C^{1}\) plurisubharmonic function, which satisfy an additional geometric regularity condition (formulated in terms of a certain auxiliary function \(\tau_{\Omega}\)). For these domains, there also exists \(\alpha >0\) such that \(-(d_{b\Omega}(\cdot))^{\alpha}\) is strictly plurisubharmonic near the boundary (Theorem 7.1). Concerning \(L^{2}\)-estimates, two results are obtained. First, assuming that on the relatively compact domain \(\Omega\), there exists a smooth bounded plurisubharmonic exhaustion function that goes to zero near the boundary like \(1/\log(d_{b\Omega})\) and whose Hessian is bounded from below by \(1/(-\log(d_{b\Omega}))\), it is shown that \(\overline{\partial}\) can be solved with \(L^{2}\)-estimates for \((p,q)\)-forms, \(0\leq p\leq n\), \(1\leq q\leq n\) (Theorem 6.2). Here no boundary regularity is assumed (beyond what is implied by the existence of the `nice' exhaustion function). The proof uses a technique introduced by \textit{B. Berndtsson} and \textit{P. Charpentier} [Math. Z. 235, No. 1, 1--10 (2000; Zbl 0969.32015)]. The second result (Therorem 7.2) gives \(L^{2}\)-estimates for \(\overline{\partial}\) for the class of domains described above in Theorem 7.1. Here, the proof uses the plurisubharmonic function(s) provided by Theorem 7.1 combined again with the aforementioned technique of Berndtsson and Charpentier. In a final section, these results are used to obtain \(L^{2}\) existence of the \(\overline{\partial}\)-Neumann operator and Sobolev estimates for small Sobolev indices (roughly speaking up to half of the Diederich-Fornæss exponent).