A Gröbner Basis Method for Modules over Rings of Differential Operators

AbstractWe study modules over the ring D0 of differential operators with power series coefficients. For D0-modules, we introduce a new notion of F-Gröbner basis and present an algorithmic method to compute it. Our method is more algebraic than that of Castro (1986, 1987) which is based on the Weierstrass-Hironaka division theorem. The essential point of our method consists in using a filtration of D0 introduced by Kashiwara (1983). This enables us to extend some of the algorithmic methods for rings of power series to D0-modules. As applications, we can compute, in some cases, the characteristic variety, and the dimension of the space of solutions, of a system of linear partial differential equations via F-Gröbner bases. The relation to previously known methods is also stated