Algorithmic stratification of R Hom_D(M,N) for regular algebraic D-modules on C~n

摘要

Let M be a holonomic D-module on C~n. We give an algorithm to stratify C~n such that on all strata X each restriction (derived inverse image) module H~i (ρx,C~n (M)) is a connection. For regular holonomic modules this stratifies the solution complex R Hom_(D_(C~(n, an))) (M_(an), O_(an)) of sheaves of (higher) holomorphic solutions of M. We also give an algorithm to compute the dimensions of the cohomology modules of the solution complex over all strata.