An algorithm for de Rham cohomology groups of the complement of an affine variety via D-module computation

DOI10.1016/S0022-4049(99)00012-2MaRDI QIDQ1295789zbMATH OpenFDO

Authors Toshinori Oaku, Nobuki Takayama

Publication date 2 September 1999

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9801114

zbMATH Keywords

Bernstein polynomialWeyl algebraD-moduleGrothendieck-Deligne comparisoncomplex sheaf cohomologyGröbner basis

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials (14F10) de Rham cohomology and algebraic geometry (14F40) Computational aspects of higher-dimensional varieties (14Q15)

Abstract: We give an algorithm to compute the following cohomology groups on $U=C^{n}setminusV(f)$ for any non-zero polynomial $finQ[x_1,\mathrm{...},x_n]$; 1. $H^k(U,C_U)$, $C_U$ is the constant sheaf on $U$ with stalk $C$. 2. $H^k(U,Vsc)$, $Vsc$ is a locally constant sheaf of rank 1 on $U$. We also give partial results on computation of cohomology groups on $U$ for a locally constant sheaf of general rank and on computation of $H^k(C^{n}setminusZ,C)$ where $Z$ is a general algebraic set. Our algorithm is based on computations of Gr"obner bases in the ring of differential operators with polynomial coefficients.

Recommendations

• Algorithmic computation of de Rham cohomology of complements of complex affine varieties
• Algorithmic computation of local cohomology modules and the local cohomological dimension of algebraic varieties
• Combinatorial algorithms for computing degenerations of modules of finite dimension
• De Rham cohomology of differential modules on algebraic varieties
• De Rham cohomology of differential modules on algebraic varieties
• scientific article; zbMATH DE number 1009685
• Analysis of an algorithm to compute the cohomology groups of coherent sheaves and its applications
• Algorithms for \(D\)-modules -- restriction, tensor product, localization, and local cohomology groups
• The algebraic de Rham cohomology of representation varieties
• A modular algorithm for computing cohomologies of Lie algebras and superalgebras

Cites work

• scientific article; zbMATH DE number 4027871 (Why is no real title available?)
• scientific article; zbMATH DE number 4029720 (Why is no real title available?)
• scientific article; zbMATH DE number 4031886 (Why is no real title available?)
• scientific article; zbMATH DE number 4046107 (Why is no real title available?)
• scientific article; zbMATH DE number 3786948 (Why is no real title available?)
• scientific article; zbMATH DE number 52944 (Why is no real title available?)
• scientific article; zbMATH DE number 3482682 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 638938 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 715013 (Why is no real title available?)
• scientific article; zbMATH DE number 1163426 (Why is no real title available?)
• scientific article; zbMATH DE number 1996519 (Why is no real title available?)
• scientific article; zbMATH DE number 957489 (Why is no real title available?)
• Algorithmic computation of local cohomology modules and the local cohomological dimension of algebraic varieties
• Algorithmic methods for Fuchsian systems of linear partial differential equations
• Algorithms for \(D\)-modules -- restriction, tensor product, localization, and local cohomology groups
• Algorithms for \(b\)-functions, restrictions, and algebraic local cohomology groups of \(D\)-modules
• Algorithms for the \(b\)-function and \(D\)-modules associated with a polynomial
• An algorithm of computing \(b\)-functions
• B-functions and holonomic systems. Rationality of roots of B-functions
• Equations différentielles à points singuliers réguliers
• Faisceaux algébriques cohérents
• Gröbner basis and the problem of contiguous relations
• On holonomic systems of microdifferential equations. III: Systems with regular singularities
• On the De Rham cohomology of algebraic varieties
• On the characteristic variety of a holonomic system with regular singularities
• On the holonomic systems of linear differential equations. II
• Singularities and topology of hypersurfaces
• Strategies for computing minimal free resolutions
• The Riemann-Hilbert problem for holonomic systems
• The analytic continuation of generalized functions with respect to a parameter
• Theory of hypergeometric functions. With an appendix by Toshitake Kohno

Cited in

(34)

• On the computation of Bernstein-Sato ideals.
• Computing the cup product structure for complements of complex affine varieties.
• Effective de Rham cohomology — The general case
• Effective scalar products of D-finite symmetric functions
• Cohomology, stratifications and parametric Gröbner bases in characteristic zero.
• Introduction to algorithms for \(D\)-modules with quiver \(D\)-modules
• A localization algorithm for \(D\)-modules
• scientific article; zbMATH DE number 1736033 (Why is no real title available?)
• Castelnuovo-Mumford regularity and computing the de Rham cohomology of smooth projective varieties
• Minimal resolutions of geometric \(\mathcal D\)-modules
• Computing periods of rational integrals
• Effective homology and periods of complex projective hypersurfaces
• Computing homomorphisms between holonomic \(D\)-modules
• Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic \(D\)-modules
• ON A BERNSTEIN–SATO POLYNOMIAL OF A MEROMORPHIC FUNCTION
• Effective de Rham cohomology: the hypersurface case
• Local systems on analytic germ complements
• On Lyubeznik type invariants
• Local Bernstein-Sato ideals: algorithm and examples
• Algorithmic computation of de Rham cohomology of complements of complex affine varieties
• An algorithmic approach to Chevalley’s Theorem on images of rational morphisms between affine varieties
• The computation of the logarithmic cohomology for plane curves
• Bernstein-Sato varieties and annihilation of powers
• Comparison of theoretical complexities of two methods for computing annihilating ideals of polynomials
• Algorithm for computing Bernstein-Sato ideals associated with a polynomial mapping.
• Invariant modules and the reduction of nonlinear partial differential equations to dynamical systems
• Hyperplane arrangements satisfy (un)twisted logarithmic comparison theorems, applications to \(\mathscr{D}_X\)-modules
• Computing differential equations for integrals associated to smooth Fano polytope
• Algorithms for \(D\)-modules -- restriction, tensor product, localization, and local cohomology groups
• Gröbner Bases in D-Modules: Application to Bernstein-Sato Polynomials
• Minimal free resolutions of homogenized \(D\)-modules
• Local Cohomology—An Invitation
• Bernstein-Sato ideals and local systems
• Feynman integral relations from parametric annihilators

Describes a project that uses

Uses Software

• Kan

This page was built for publication: An algorithm for de Rham cohomology groups of the complement of an affine variety via \(D\)-module computation

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