A general extension theorem for cohomology classes on non reduced analytic subspaces (Q2400395): Difference between revisions

The authors generalize the Ohsawa-Takegoshi extension theorem with the goal to prove it with the weakest possible hypothesis. The main theorem goes as follows: Let \(E\) be a holomorphic line bundle over a holomorphically convex Kähler manifold \(X\). Let \(h\) be a (possibly) singular Hermitian metric on \(E\), \(\psi\) a quasi-plurisubharmonic function with neat analytic singularities on \(X\). If there exists a continuous function \(\delta>0\) on \(X\) such that \[ \Theta_{E,h}+(1+\alpha\delta)i \partial\bar{\partial} \psi \geq 0 \] in the sense of currents for all \(\alpha\in[0,1]\), then the morphism induced by the natural inclusion \(\mathcal I(he^{-\psi})\to \mathcal I(h)\), namely \[ H^q(X,K_{X}\otimes E\otimes \mathcal I(he^{-\psi}))\to H^q(X,K_{X}\otimes E\otimes \mathcal I(h)), \] is injective for every \(q\geq 0\). It is noted that most of the argument carries on to the case when \(X\) is only weakly pseudoconvex, yet at one place there is a problem and hence this case remains open. An alternative proof using an idea of the third author is presented.