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

DOI10.1016/S0022-4049(99)00012-2zbMath0960.14008arXivmath/9801114MaRDI QIDQ1295789

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

Gröbner basisD-moduleWeyl algebraBernstein polynomialGrothendieck-Deligne comparisoncomplex sheaf cohomology

Mathematics Subject Classification ID

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

Related Items

Local Cohomology—An Invitation ⋮ On Lyubeznik type invariants ⋮ Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic \(D\)-modules ⋮ On the computation of Bernstein-Sato ideals. ⋮ Computing differential equations for integrals associated to smooth Fano polytope ⋮ Castelnuovo-Mumford regularity and computing the de Rham cohomology of smooth projective varieties ⋮ ON A BERNSTEIN–SATO POLYNOMIAL OF A MEROMORPHIC FUNCTION ⋮ Cohomology, stratifications and parametric Gröbner bases in characteristic zero. ⋮ Gröbner Bases in D-Modules: Application to Bernstein-Sato Polynomials ⋮ Introduction to Algorithms for D-Modules with Quiver D-Modules ⋮ Comparison of theoretical complexities of two methods for computing annihilating ideals of polynomials ⋮ Bernstein–Sato varieties and annihilation of powers ⋮ Feynman integral relations from parametric annihilators ⋮ Invariant modules and the reduction of nonlinear partial differential equations to dynamical systems ⋮ Algorithms for \(D\)-modules -- restriction, tensor product, localization, and local cohomology groups ⋮ The computation of the logarithmic cohomology for plane curves ⋮ Minimal resolutions of geometric \(\mathcal D\)-modules ⋮ Computing the cup product structure for complements of complex affine varieties. ⋮ Computing periods of rational integrals ⋮ Minimal free resolutions of homogenized \(D\)-modules ⋮ Computing homomorphisms between holonomic \(D\)-modules ⋮ Algorithm for computing Bernstein-Sato ideals associated with a polynomial mapping. ⋮ Local systems on analytic germ complements ⋮ Bernstein-Sato ideals and local systems ⋮ Effective de Rham cohomology — The general case ⋮ A localization algorithm for \(D\)-modules ⋮ Algorithmic computation of de Rham cohomology of complements of complex affine varieties ⋮ Local Bernstein-Sato ideals: algorithm and examples ⋮ Effective scalar products of D-finite symmetric functions

Uses Software

• Kan

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Faisceaux algébriques cohérents
• The Riemann-Hilbert problem for holonomic systems
• On the characteristic variety of a holonomic system with regular singularities
• Singularities and topology of hypersurfaces
• B-functions and holonomic systems. Rationality of roots of B-functions
• On the holonomic systems of linear differential equations. II
• Strategies for computing minimal free resolutions
• Algorithmic computation of local cohomology modules and the local cohomological dimension of algebraic varieties
• An algorithm of computing \(b\)-functions
• Algorithms for the \(b\)-function and \(D\)-modules associated with a polynomial
• Algorithms for \(b\)-functions, restrictions, and algebraic local cohomology groups of \(D\)-modules
• On holonomic systems of microdifferential equations. III: Systems with regular singularities
• The analytic continuation of generalized functions with respect to a parameter
• Algorithmic methods for Fuchsian systems of linear partial differential equations
• Equations différentielles à points singuliers réguliers
• Gröbner basis and the problem of contiguous relations
• Theory of Hypergeometric Functions
• On the De Rham cohomology of algebraic varieties
• Algorithms for \(D\)-modules -- restriction, tensor product, localization, and local cohomology groups