Algorithms for \(D\)-modules -- restriction, tensor product, localization, and local cohomology groups (Q5928859): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Changed an Item
Property / describes a project that uses
 
Property / describes a project that uses: Risa/Asir / rank
 
Normal rank

Revision as of 07:57, 28 February 2024

scientific article; zbMATH DE number 1584456
Language Label Description Also known as
English
Algorithms for \(D\)-modules -- restriction, tensor product, localization, and local cohomology groups
scientific article; zbMATH DE number 1584456

    Statements

    Algorithms for \(D\)-modules -- restriction, tensor product, localization, and local cohomology groups (English)
    0 references
    0 references
    0 references
    9 April 2002
    0 references
    An algorithm is given, valid for a class of affine \(D\)-modules which includes the holonomic \(D\)-modules, for computing cohomology groups of the restriction of a \(D\)-module to a linear subvariety. This algorithm uses a free resolution of the \(D\)-module, whose construction in turn depends on the previously established Gröbner basis theory for the Weyl algebra . Two versions of constructing the free resolution are given, one of which has been implemented in the second author's system \textbf{kan} since 1994, but is written up here for the first time. (The source code of \textbf{kan} is available from www.math.kobe-u.ac.jp/KAN.) As applications of the basic algorithm, algorithms for computing tensor product, localization, and algebraic local cohomology groups of holonomic systems are obtained. Such algorithms have been previously known only for very special cases. A further interesting application is to calculation of certain de Rham cohomology groups; see the authors' paper: \textit{T. Oaku} and \textit{N. Takayama}, J. Pure Appl. Algebra 139, 201-233 (1999; Zbl 0960.14008).
    0 references
    D-module
    0 references
    holonomic system
    0 references
    Weyl algebra
    0 references
    Gröbner basis
    0 references
    free resolution
    0 references
    calculation of de Rham cohomology groups
    0 references
    kan
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references