Algorithmic stratification of \(\mathbb R\Hom_{\mathcal D}(\mathcal M, \mathcal N)\) for regular algebraic \(\mathcal D\)-modules on \(\mathbb C^n\) (Q2456556)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Algorithmic stratification of \(\mathbb R\Hom_{\mathcal D}(\mathcal M, \mathcal N)\) for regular algebraic \(\mathcal D\)-modules on \(\mathbb C^n\) |
scientific article |
Statements
Algorithmic stratification of \(\mathbb R\Hom_{\mathcal D}(\mathcal M, \mathcal N)\) for regular algebraic \(\mathcal D\)-modules on \(\mathbb C^n\) (English)
0 references
19 October 2007
0 references
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.
0 references
\(\mathcal{D}\)-modules
0 references
solution functor
0 references
algorithmic stratification
0 references
Gröbner bases
0 references
0 references