Minimal free resolutions of homogenized \(D\)-modules (Q5960294): Difference between revisions

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.