Suita conjecture and the Ohsawa-Takegoshi extension theorem (Q358821): Difference between revisions

\textit{N. Suita} conjectured in [Arch. Ration. Mech. Anal. 46, 212--217 (1972; Zbl 0245.30014)] that for a bounded domain \(D\) in the complex plane the following inequality holds \[ c_D ^2 (z)\leq \pi K_D (z) . \] Here \(c_D (z)\) is the logarithmoc capacity of the complemant of \(D\) with respect to \(z \in D\), and \[ K_D (z) =\sup \bigg\{ |f(z)|^2\;\bigg|\; f \text{ is holomorphic in } D, \int _D | f|^2 dV \leq 1 \bigg\} \] is the Bergman kernel on the diagonal. Suita verified this for simply conncted and doubly connected domains. \textit{T. Ohsawa} [Nagoya Math. J. 137, 145--148 (1995; Zbl 0817.32013)] proved \[ c_D ^2 (z)\leq 750 \pi K_D (z), \] and related the conjucture to \(L^2\) estimates for the \(\bar{\partial }\) operator. In this paper the author finds the optimal constant \(C=\frac{\pi }{(c_U (0))^2}\) in the estimate from the Ohsawa-Takegoshi extension theorem: \[ \int _D | F|^2 e^{-\varphi } dV \leq C \int _{D' } | f|^2 e^{-\varphi } dV, \] where \(D\subset \mathbb C ^{n-1} \times U\) is pseudoconvex, \(0\in U\) is bounded in \(\mathbb C\), \(\varphi \) is plurisubharmonic in \(D\), and \(F\) is a holomorphic extension to \(D\) of \(f\) holomorphic in \(D'=D \cap \{ z_n =0 \}\) that minimizes the left hand side of this estimate. Using this result Błocki proves the Suita conjecture.