计算全纯 D-模间的同态
环与代数
2007-05-23 v1
摘要
设 K 为复数域的子域,D 为 K[x_1,...,x_n] 上 K-线性微分算子的 Weyl 代数。若 M 与 N 为全纯左 D-模,我们给出一个算法,计算有限维向量空间 hom_D(M,N) 的显式生成元。这使我们能算法性地判定两个给定全纯模是否同构。更一般地,我们的算法可用于得到任意 i 下 ext^i_D(M,N) 的显式生成元。
引用
@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}
}
备注
30 pages, AMS-LaTex, uses verbatim,amsmath,latexsym,amssymb,amsbsy,diagrams