No label defined (Q3973870)

[For the entire collection see Zbl 0722.00013.] In this note we want to establish the hard Lefschetz theorem for the cases of concave and convex algebraic manifolds over \(\mathbb{C}\). This classes of varieties admit a nice Hodge theory for the singular cohomology groups \(H^ n(U,\mathbb{C})\) with certain restrictions on \(n\). ``Nice'' means that we have a behavior just like in the compact smooth case. The results are the following: Theorem I (hard Lefschetz in the concave case). Let \(X\) be an irreducible projective \(\mathbb{C}\)-scheme, \(Y\subset X \) a closed subscheme such that \(U:=X\backslash Y\) is smooth and let \(U^{an}\) be the associated complex manifold. If \({\mathcal L}\in\text{Pic}(X)\) is an ample line bundle on \(X\) with first Chern class \(\omega\in H^ 2(X^{an},\mathbb{C})\), then there is a natural isomorphism \(L^ r:H^{\dim X-r}(U^{an},\mathbb{C})\to H_ c^{\dim X+r}(U^{an},\mathbb{C})\), for each \(r\geq\dim Y+1\) which, composed with the canonical map \(H^ \bullet_ C(U^{an},\mathbb{C})\to H^ \bullet(U^{an},\mathbb{C})\), is the \(r\)-fold cup product with \(\omega| U^{an}\). Moreover, this map induces bijections \(L^ r:H^ j(U^{an},\Omega^ i)\to H_ c^{j+r}(U^{an},\Omega^{i+r})\) for \(i+j<\text{codim}(Y,X)-1\). Theorem II (hard Lefschetz in the convex case). Let \(X\) be an irreducible smooth projective \(\mathbb{C}\)-scheme, \(Y\subset X\) an effective divisor and \(U:=X\backslash Y\). We assume that the normal bundle \(N_{Y| X}\) of \(Y\) in \(X\) is \(k\)-ample in the sense of Sommese. If \({\mathcal L}\in\text{Pic}(X)\) is an ample line bundle on \(X\) with characteristic class \(\omega\), then the \(r\)-fold cup product with \(\omega| U^{an}\) induces an isomorphism \(L^ r:H_ c^{\dim X-r}(Y^{an},\mathbb{C})\to H^{\dim X+r}(U^{an},\mathbb{C})\) for each \(r\geq k+1\). --- Moreover, the induced mappings \(L^ r:H_ c^ j(U^{an},\Omega^ i)\to H^{j+r}(U^{an},\Omega^{i+r})\) are bijective for \(i+j\leq\dim X-k- 1\). Corollary. In the situation of theorem II, the canonical maps \(H^ n_ c(U^{an},\mathbb{C})\to H^ n(U^{an},\mathbb{C})\), \(H^ j_ c(U^{an},\Omega^ i)\to H^ j(U^{an},\Omega^ i)\) are injective for \(n\leq\dim X-k-1\), resp. \(i+j\leq\dim X-k-1\).