Computing homomorphisms between holonomic D-modules
From MaRDI portal
Computing homomorphisms between holonomic \(D\)-modules
Abstract: Let K be a subfield of the complex numbers, and let D be the Weyl algebra of K-linear differential operators on K[x_1,...,x_n]. If M and N are holonomic left D-modules we present an algorithm that computes explicit generators for the finite dimensional vector space hom_D(M,N). This enables us to answer algorithmically whether two given holonomic modules are isomorphic. More generally, our algorithm can be used to get explicit generators for ext^i_D(M,N) for any i.
Recommendations
- Computing Homomorphism Spaces between Modules over Finite Dimensional Algebras
- scientific article; zbMATH DE number 3899105
- Publication:4728554
- Computing structures of holonomic D-modules associated with a simple line singularity
- scientific article; zbMATH DE number 4099665
- scientific article; zbMATH DE number 1150459
- scientific article; zbMATH DE number 1344961
- Holonomic \(\mathcal D\)-modules and positive characteristic
- Holonomic D-modules on abelian varieties
- Homomorphisms of complexes via homologies
Cites work
- Algorithmic computation of de Rham cohomology of complements of complex affine varieties
- Algorithmic computation of local cohomology modules and the local cohomological dimension of algebraic varieties
- Algorithms for \(b\)-functions, restrictions, and algebraic local cohomology groups of \(D\)-modules
- Algorithms for \(D\)-modules -- restriction, tensor product, localization, and local cohomology groups
- An algorithm for de Rham cohomology groups of the complement of an affine variety via D-module computation
- Decompositions of algebras over \(\mathbb{R}\) and \(\mathbb{C}\)
- scientific article; zbMATH DE number 3786948 (Why is no real title available?)
- scientific article; zbMATH DE number 49937 (Why is no real title available?)
- scientific article; zbMATH DE number 1206418 (Why is no real title available?)
- scientific article; zbMATH DE number 595200 (Why is no real title available?)
- On the holonomic systems of linear differential equations. II
- On the theory of b-functions
Cited in
(12)- A D-modules approach on the equations of the Rees algebra
- The computation of the logarithmic cohomology for plane curves
- Algorithmic stratification of \(\mathbb R\Hom_{\mathcal D}(\mathcal M, \mathcal N)\) for regular algebraic \(\mathcal D\)-modules on \(\mathbb C^n\)
- Gröbner bases and logarithmic \(\mathcal D\)-modules.
- Factoring and decomposing a class of linear functional systems
- Algebraic solutions of Jacobi equations
- scientific article; zbMATH DE number 1344961 (Why is no real title available?)
- Computing Homomorphism Spaces between Modules over Finite Dimensional Algebras
- Combinatorially determined zeroes of Bernstein--Sato ideals for tame and free arrangements
- Polynomial and rational solutions of holonomic systems
- Polynomial solutions for general linear polynomial ordinary integro-differential systems
- The ring of polynomial ordinary integro-differential operators is an effective Cramer ring
This page was built for publication: Computing homomorphisms between holonomic \(D\)-modules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5960295)
