An alternative proof of an extension theorem of T. Ohsawa (Q1590956): Difference between revisions

Let \(D\subset\mathbb{C}^n\) be an arbitrary pseudoconvex domain in \(\mathbb{C}^n\). For a plurisubharmonic function \(\psi\) on \(D\), we denote by \(H^2(D,\psi)\) the Hilbert space of holomorphic functions in \(L^2(D,\psi)\). We also fix an affine linear subspace \(H\subset\mathbb{C}^n\) of codimension \(k\) for which \(D'=D\cap H\neq\emptyset\). Then the extension theorem of T. Ohsawa can be stated in the following form. Theorem. Assume that there exists on \(D\) a plurisubharmonic function \(V\) such that \[ C_V :=\sup_{D}(V+2k\log \text{dist}(\cdot, H))<\infty . \] Then there exists a continuous linear extension operator \(E^V_\psi: H^2(D',\psi+V)\to H^2(D,\psi)\) whose operator norm is bounded by \[ \|E^V_\psi\|^2\leq C_ne^{C_V} . \] The constant \(C_n\) depends only on the dimension and not on the choice of \(\psi\) and \(D\). The authors give an elementary proof for the theorem of Ohsawa that allows so-called negligible weights in the extension. Their proof is free of tools from Kähler geometry. The paper contains an application to the Bergman kernel.