Minimal free resolutions of homogenized \(D\)-modules (Q5960294)
From MaRDI portal
scientific article; zbMATH DE number 1727964
Language | Label | Description | Also known as |
---|---|---|---|
English | Minimal free resolutions of homogenized \(D\)-modules |
scientific article; zbMATH DE number 1727964 |
Statements
Minimal free resolutions of homogenized \(D\)-modules (English)
0 references
15 April 2002
0 references
The explicit computation of minimal resolutions of a \(D\)-module is a fundamental problem in analysis \(D\)-modules. The authors of this paper give a method to compute the minimal resolution of a \(D\)-module. They define the notion of a minimal resolution that is adapted to a filtration by homogenizing a module over the ring of differential operators. They prove that the computation of a free solution of the homogenized module is possible by applying a modification of the algorithm of La Scala and Stillman. Then one can obtain a free resolution of the original module by dehomogenization, which is small enough to compute some operations like restriction and integration. They have implemented the algorithm in the computer algebra system Kan and computed some examples by using the program.
0 references
minimal resolutions
0 references
\(D\)-modules
0 references
filtrations
0 references
rings of differential operators
0 references
algorithms
0 references