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[x1,...,xn]. If M and N are holonomic left D-modules we present an algorithm that computes explicit generators for the finite dimensional vector space homD(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 extiD(M,N) for any i.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.