Minimal free resolutions of homogenized \(D\)-modules (Q5960294): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Strategies for computing minimal free resolutions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An algorithm for de Rham cohomology groups of the complement of an affine variety via \(D\)-module computation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algorithms for \(D\)-modules -- restriction, tensor product, localization, and local cohomology groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Gröbner deformations of hypergeometric differential equations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3216881 / rank | |||
Normal rank |
Latest revision as of 00:11, 4 June 2024
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
0 references
0 references