Division theorems for exact sequences

Algebras of holomorphic functions of several complex variables (32A38) (overlinepartial) and (overlinepartial)-Neumann operators (32W05) Global differential geometry of Hermitian and Kählerian manifolds (53C55)

Abstract: Under certain integrability and geometric conditions, we prove division theorems for the exact sequences of holomorphic vector bundles and improve the results in the case of Koszul complex. By introducing a singular Hermitian structure on the trivial bundle, our results recover Skoda's division theorem for holomorphic functions on pseudoconvex domains in complex Euclidean spaces.

Review text

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)].

Recommendations

Cites work

Cited in

(11)

This page was built for publication: Division theorems for exact sequences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1945153)