scientific article; zbMATH DE number 17171
Transcendental methods, Hodge theory (algebro-geometric aspects) (14C30) Other algebro-geometric (co)homologies (e.g., intersection, equivariant, Lawson, Deligne (co)homologies) (14F43) Transcendental methods of algebraic geometry (complex-analytic aspects) (32J25) Stratifications; constructible sheaves; intersection cohomology (complex-analytic aspects) (32S60)
[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\).
- On the Lefschetz and Hodge-Riemann theorems
- The Hard Lefschetz Theorem and the topology of semismall maps
- On the hard Lefschetz theorem in intersection homology for complex varieties with isolated singularities
- scientific article; zbMATH DE number 67239
- Hard Lefschetz theorem for nonrational polytopes
- On the hard Lefschetz theorem in intersection homology for complex varieties with isolated singularities
- Hard Lefschetz theorem for Sasakian manifolds
- On the Hard Lefschetz Conjecture for Lawson Homology
- scientific article; zbMATH DE number 3927358 (Why is no real title available?)
- scientific article; zbMATH DE number 3979238 (Why is no real title available?)
- scientific article; zbMATH DE number 67239 (Why is no real title available?)
- The hard Lefschetz property for Hamiltonian GKM manifolds
- Hard Lefschetz theorem and Hodge-Riemann relations for intersection cohomology of nonrational polytopes
- The Hard Lefschetz Theorem and the topology of semismall maps
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3973870)
