Computing homomorphisms between holonomic D-modules
Rings and Algebras
2007-05-23 v1
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.
Cite
@article{arxiv.math/0007139,
title = {Computing homomorphisms between holonomic D-modules},
author = {Harrison Tsai and Uli Walther},
journal= {arXiv preprint arXiv:math/0007139},
year = {2007}
}
Comments
30 pages, AMS-LaTex, uses verbatim,amsmath,latexsym,amssymb,amsbsy,diagrams