Kodaira vanishing theorems on non-complete algebraic manifolds (Q810600)

By using the method of modulo p reduction, the following two theorems are obtained: Theorem 1. Let X be an integral complete \({\mathbb{C}}\)-scheme and let Y be a closed subscheme such that \(U=X-Y\) is smooth. Let \({\mathcal E}\) be a k-ample (in the sense of Sommese) locally free sheaf of rank \(r\) on X. Then \(H^ j(U,\Omega^ i\otimes {\mathcal E}^{\vee})=0\) for \(i+j<\dim (X)+1-r-\max \{\dim (Y)+r,k\}.\) Theorem 2. Let X be an integral smooth \({\mathbb{C}}\)-scheme and let Y be a divisor on X with n-ample normal bundle. Let \({\mathcal E}\) be a k-ample locally free sheaf of rank \(r\) on X. Then \(H^ j(X-Y,\Omega^ i\otimes {\mathcal E})=0\) for \(i+j\geq \dim (X)+r+\max \{n+r-1,k\}.\) Both theorems are valid for analytic cohomologies, too, by comparison theorems. Some Lefschetz type theorems follow from them by standard arguments. For example, let D be an ample divisor on X as in theorem 1 such that \(D_ U=U\cap D\) is smooth. Then \(H^ j(U,{\mathbb{C}})\to H^ j(D_ U,{\mathbb{C}})\) is bijective for \(j<co\dim (Y,X)-2\) and injective for \(j=co\dim (Y,X)-2\).