Algorithmic computation of de Rham cohomology of complements of complex affine varieties (Q1569843): Difference between revisions

Let \(U\subseteq\mathbb{C}^n\) be a Zariski-open subset. An algorithm is presented to compute the de Rham cohomology groups \(H^i_{DR} (U,\mathbb{C})\). The algorithm is based on Gröbner basis computations in Weyl algebras. The algorithm is a generalization of an algorithm by \textit{T. Oaku} and \textit{N. Takayama} for hypersurfaces [J. Pure Appl. Algebra 139, 201-233 (1999; Zbl 0960.14008)]. The method is based on the result that the de Rham complex in the derived category is the tensor product over \({\mathcal O}_{\mathbb{C}^n}\) of the sheaf of differential \(n\)-forms on \(\mathbb{C}^n\) with a resolution of \({\mathcal O}_U\), \({\mathcal O}_U\) considered as a module over the sheaf of differential operators on \(\mathbb{C}^n\).