Algorithmic stratification of \(\mathbb R\Hom_{\mathcal D}(\mathcal M, \mathcal N)\) for regular algebraic \(\mathcal D\)-modules on \(\mathbb C^n\) (Q2456556): Difference between revisions

Let \(M\) be a holonomic \(\mathcal{D}\)-module on \(\mathbb{C}^n\). We give an algorithm to stratify \(\mathbb{C}^n\) such that on all strata \(X\) each restriction (derived inverse image) module \(H^i (\rho_{X, \mathbb{C}^n}(M))\) is a connection. For regular holonomic modules this stratifies the solution complex \(\mathbb{R}\Hom_{\mathcal{D}_{\mathbb{C}^{n, an}}} (M_{an}, \mathcal{O}_{an})\) of sheaves of (higher) holomorphic solutions of \(M\). We also give an algorithm to compute the dimension of the cohomology modules of the solution complex over all strata.