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

DOI10.1016/S0022-4049(99)00012-2zbMATH Open0960.14008arXivmath/9801114MaRDI QIDQ1295789FDOQ1295789

Toshinori Oaku, Nobuki Takayama

Publication date: 2 September 1999

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

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.

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

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

zbMATH Keywords

[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=Gr%EF%BF%BD%EF%BF%BDbner+basis&go=Go Gr��bner basis]Bernstein polynomialWeyl algebraD-moduleGrothendieck-Deligne comparisoncomplex sheaf cohomology

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)

Cites Work

• Singularities and topology of hypersurfaces
• Gröbner basis and the problem of contiguous relations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the De Rham cohomology of algebraic varieties
• The Riemann-Hilbert problem for holonomic systems
• B-functions and holonomic systems. Rationality of roots of B-functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Equations différentielles à points singuliers réguliers
• On the holonomic systems of linear differential equations. II
• On holonomic systems of microdifferential equations. III: Systems with regular singularities
• Title not available (Why is that?)
• Faisceaux algébriques cohérents
• Theory of hypergeometric functions. With an appendix by Toshitake Kohno
• Algorithmic computation of local cohomology modules and the local cohomological dimension of algebraic varieties
• Algorithms for \(D\)-modules -- restriction, tensor product, localization, and local cohomology groups
• 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
• An algorithm of computing \(b\)-functions
• The analytic continuation of generalized functions with respect to a parameter
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Strategies for computing minimal free resolutions
• Algorithmic methods for Fuchsian systems of linear partial differential equations
• Title not available (Why is that?)
• On the characteristic variety of a holonomic system with regular singularities
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (33)

• Effective scalar products of D-finite symmetric functions
• Cohomology, stratifications and parametric Gröbner bases in characteristic zero.
• Bernstein–Sato varieties and annihilation of powers
• Title not available (Why is that?)
• A localization algorithm for \(D\)-modules
• Castelnuovo-Mumford regularity and computing the de Rham cohomology of smooth projective varieties
• Minimal resolutions of geometric \(\mathcal D\)-modules
• Effective homology and periods of complex projective hypersurfaces
• Computing periods of rational integrals
• 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
• Local systems on analytic germ complements
• On Lyubeznik type invariants
• Local Bernstein-Sato ideals: algorithm and examples
• Introduction to Algorithms for D-Modules with Quiver D-Modules
• 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
• Algorithm for computing Bernstein-Sato ideals associated with a polynomial mapping.
• Comparison of theoretical complexities of two methods for computing annihilating ideals of polynomials
• 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
• Computing the cup product structure for complements of complex affine varieties.
• Feynman integral relations from parametric annihilators
• Bernstein-Sato ideals and local systems
• On the computation of Bernstein-Sato ideals.
• Effective de Rham cohomology — The general case

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)