An algorithm for computing Grothendieck local residues. II: General case

DOI10.1007/S11786-019-00439-YMaRDI QIDQ782706zbMATH OpenOpenAlexWikidataFDO

Authors Katsuyoshi Ohara, Shinichi Tajima

Publication date 28 July 2020

Published in Mathematics in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

local cohomologyNoether operatorsholonomic \(D\)-moduleslocal residues

Mathematics Subject Classification ID

Commutative rings of differential operators and their modules (13N10) Sheaves of differential operators and their modules, (D)-modules (32C38) Residues for several complex variables (32A27)

Abstract: Grothendieck local residue is considered in the context of symbolic computation. Based on the theory of holonomic D-modules, an effective method is proposed for computing Grothendieck local residues. The key is the notion of Noether operator associated to a local cohomology class. The resulting algorithm and an implementation are described with illustrations.

Recommendations

• An algorithm for computing Grothendieck local residues. I: Shape basis case
• scientific article; zbMATH DE number 2230045
• scientific article; zbMATH DE number 1500721
• scientific article; zbMATH DE number 2030118
• scientific article; zbMATH DE number 3989761

Cites work

• scientific article; zbMATH DE number 45273 (Why is no real title available?)
• scientific article; zbMATH DE number 1961541 (Why is no real title available?)
• scientific article; zbMATH DE number 1377861 (Why is no real title available?)
• scientific article; zbMATH DE number 5066321 (Why is no real title available?)
• scientific article; zbMATH DE number 3304418 (Why is no real title available?)
• scientific article; zbMATH DE number 3310292 (Why is no real title available?)
• scientific article; zbMATH DE number 2230045 (Why is no real title available?)
• 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
• An algorithm for computing Grothendieck local residues. I: Shape basis case
• Gröbner bases and primary decomposition of polynomial ideals
• New algorithms for computing primary decomposition of polynomial ideals
• On Noether differential operators attached to a zero-dimensional primary ideal -- shape basis case
• On holonomic systems of microdifferential equations. III: Systems with regular singularities
• On the holonomic systems of linear differential equations. II
• On the maximally overdetermined system of linear differential equations. I

Cited in

(10)

• An effective method for computing Grothendieck point residue mappings
• An algorithm for computing Grothendieck local residues. I: Shape basis case
• scientific article; zbMATH DE number 2230045 (Why is no real title available?)
• Algorithms for \(D\)-modules -- restriction, tensor product, localization, and local cohomology groups
• Effective Algorithm for Computing Noetherian Operators of Positive Dimensional Ideals
• scientific article; zbMATH DE number 3989761 (Why is no real title available?)
• scientific article; zbMATH DE number 2030118 (Why is no real title available?)
• Computation of Jeffrey-Kirwan residues using Gröbner bases
• Effective algorithm for computing Noetherian operators of zero-dimensional ideals
• Computing Grothendieck point residues via solving Holonomic systems of first order partial differential equations

Describes a project that uses

Uses Software

• Risa/Asir

This page was built for publication: An algorithm for computing Grothendieck local residues. II: General case

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