Division theorems for exact sequences (Q1945153): Difference between revisions

The division theorem of Skoda for holomorphic functions on pseudoconvex domains in \(\mathbb C^n\), an analogue of Hilbert's Nullstellensatz, plays an important role in algebraic geometry, see e.g. Siu's proof of the invariance of plurigenera or the effective version of the Nullstellensatz given by Ein and Lazarsfeld. The main result in the paper under review generalizes Skoda's result by a division theorem for (generically) exact sequences \(E\overset{\phi}{\rightarrow} E'\overset{\psi}{\rightarrow} E''\) of Hermitian holomorphic vector bundles over an \(n\)-dimensional Kähler manifold \(M\). In this setting let \(L\) be a Hermitian line bundle over \(M\) and allow the Hermitian structures of the bundles \(E, E', E'', L\) to have singularities in a subvariety \(Z\varsubsetneq M\) such that \(M\backslash Z\) is weakly pseudoconvex and \(\phi^{-1}(0)\subset Z\). Under specific differential geometric conditions on the bundles \(E\), \(Hom (E,E')\) and \(L\) it is shown that for every \(\overline\partial\)-closed \((n,k-1)\)-form \(f\) with values in \(L\oplus E'\), bounded in some specific \(L^2\)-norm and with \(\psi(f)=0\), the equation \(f=\phi(h)\) has a solution with a \(\overline\partial\)-closed \((n,k-1)\)-form \(h\) with values in \(L\oplus E\), \(1\leq k\leq n\). Moreover a specific \(L^2\)-norm of \(h\) is bounded by the \(L^2\)-norm of \(f\). Essential for the result is the proof of an inequality and an estimate for \(L^2\)-norms of specific differential forms. The reduction of the theorem to this estimate is achieved by using results of \textit{H. Skoda} [Ann. Sci. Éc. Norm. Supér. (4) 5, 545--579 (1972; Zbl 0254.32017)] and \textit{D. Varolin} [Math. Z. 259, No. 1, 1--20 (2008; Zbl 1140.32006)]. The author applies the main result to the Koszul complex associated to a section of a holomorphic vector bundle over a complex manifold. He obtains further division theorems, among them the division theorem of Skoda as a special case. For related results see also \textit{J.-P. Demailly} [Ann. Sci. Éc. Norm. Supér. (4) 15, 457--511 (1982; Zbl 0507.32021)].