Algorithms for \(D\)-modules -- restriction, tensor product, localization, and local cohomology groups

DOI10.1016/S0022-4049(00)00004-9zbMath0983.13008arXivmath/9805006OpenAlexW2101684254MaRDI QIDQ5928859

Nobuki Takayama, Toshinori Oaku

Publication date: 9 April 2002

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

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

zbMATH Keywords

Gröbner basiscalculation of de Rham cohomology groupsD-modulefree resolutionholonomic systemkanWeyl algebra

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Sheaves of differential operators and their modules, (D)-modules (32C38) Commutative rings of differential operators and their modules (13N10) Local cohomology and algebraic geometry (14B15) Effectivity, complexity and computational aspects of algebraic geometry (14Q20)

Related Items

Minimal filtered free resolutions for analytic \(D\)-modules. ⋮ Bernstein–Sato functional equations, V-filtrations, and multiplier ideals of direct summands ⋮ Local Cohomology—An Invitation ⋮ On Lyubeznik type invariants ⋮ Local cohomology modules supported at determinantal ideals ⋮ A \(D\)-modules approach on the equations of the Rees algebra ⋮ Cohomology, stratifications and parametric Gröbner bases in characteristic zero. ⋮ GKZ hypergeometric systems of the three-loop vacuum Feynman integrals ⋮ Algorithms for computing multiplier ideals ⋮ The holonomic rank of the Fisher-Bingham system of differential equations ⋮ Multidegree for bifiltered \(D\)-modules ⋮ Introduction to Algorithms for D-Modules with Quiver D-Modules ⋮ Tangent cone algorithm for homogenized differential operators ⋮ Algorithmic stratification of \(\mathbb R\Hom_{\mathcal D}(\mathcal M, \mathcal N)\) for regular algebraic \(\mathcal D\)-modules on \(\mathbb C^n\) ⋮ Gröbner bases and logarithmic \(\mathcal D\)-modules. ⋮ Computing the support of local cohomology modules ⋮ GKZ-hypergeometric systems for Feynman integrals ⋮ Feynman integral relations from parametric annihilators ⋮ Factoring and decomposing a class of linear functional systems ⋮ Localization at hyperplane arrangements: combinatorics and \({\mathcal D}\)-modules ⋮ Finiteness properties and numerical behavior of local cohomology ⋮ \({\mathcal D}\)-modules on smooth toric varieties ⋮ The computation of the logarithmic cohomology for plane curves ⋮ Minimal resolutions of geometric \(\mathcal D\)-modules ⋮ Polynomial and rational solutions of holonomic systems ⋮ Computing the cup product structure for complements of complex affine varieties. ⋮ Minimal free resolutions of homogenized \(D\)-modules ⋮ Computing homomorphisms between holonomic \(D\)-modules ⋮ The singular locus of Lauricella's \(F_C\) ⋮ Annihilating ideals for an algebraic local cohomology class ⋮ Algorithm computing the local \(b\) function by an approximate division algorithm in \(\widehat{\mathcal D}\) ⋮ Regular \(b\)-functions of \(D\)-modules ⋮ Specialization of Appell's functions to univariate hypergeometric functions ⋮ Restriction of hypergeometric 𝒟-modules with respect to coordinate subspaces ⋮ Gröbner deformations of regular holonomic systems ⋮ An algorithm for computing Grothendieck local residues. I: Shape basis case ⋮ Local Cohomology Using Macaulay2 ⋮ An algorithm for computing Grothendieck local residues. II: General case ⋮ B-splines, Polytopes, and Their Characteristic D-modules ⋮ An algorithm for de Rham cohomology groups of the complement of an affine variety via \(D\)-module computation

Uses Software

• Risa/Asir
• 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
• Localization and primary decomposition of polynomial ideals
• Systèmes différentiels fuchsiens le long d'une sous-variété. (Fuchsian differential systems along a submanifold)
• On the theory of graded structures
• On the characteristic variety of a holonomic system with regular singularities
• Direct methods for primary decomposition
• 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
• An algorithm for de Rham cohomology groups of the complement of an affine variety via \(D\)-module computation
• Algorithmic computation of local cohomology modules and the local cohomological dimension of algebraic varieties
• Computation of the characteristic variety and the singular locus of a system of differential equations with polynomial coefficients
• 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
• A localization algorithm for \(D\)-modules
• On holonomic systems of microdifferential equations. III: Systems with regular singularities
• Algorithmic methods for Fuchsian systems of linear partial differential equations
• Gröbner deformations of hypergeometric differential equations
• Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
• Residues and duality. Lecture notes of a seminar on the work of A. Grothendieck, given at Havard 1963/64. Appendix: Cohomology with supports and the construction of the \(f^!\) functor by P. Deligne
• Gröbner basis and the problem of contiguous relations
• Polygône de Newton et $b$-fonctions pour les modules microdifférentiels