On a twisted de Rham complex

From MaRDI portal



Abstract: We show that, given a projective regular function f on a smooth quasi-projective variety over C, the corresponding cohomology groups of the algebraic de Rham complex with twisted differential d-df and of the complex of algebraic forms with differential df have the same dimension (a result announced by Barannikov and Kontsevitch). We generalize the result to de Rham complexes with coefficients in a mixed Hodge Module.


Let \(\widetilde f:\widetilde X\to\mathbb{P}^1\) be a morphism from a smooth projective variety \(\widetilde X\) over \(\mathbb{C}\) to the projective line and let \(f:X\to\mathbb{A}^1\) be its restriction over the affine line \(\mathbb{A}^1\). A result of \textit{M. Kontsevitch} and \textit{S. Barannikov} says that the hypercohomology spaces on \(X\) of the complexes \((\Omega_X^\bullet, d-df\wedge)\) and \((\Omega_X^\bullet, df\wedge)\) have the same (finite) dimension. Motivated by this result, the author of the present paper proves the following generalization: Given a mixed Hodge module \((M,F)\) on \(X\), the hypercohomology spaces on \(X\) of the complexes \((\Omega_X^\bullet \otimes_{{\mathcal O}_X}M,\;\nabla-df\wedge)\) and \((\Omega^\bullet_X\otimes_{{\mathcal O}_X} \text{gr}^FM,\;\text{gr}^F\nabla-df \wedge)\) have the same (finite) dimension. An analytic version of this result concerning the vanishing cycle functor is also established.











This page was built for publication: On a twisted de Rham complex

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