×
Katsuyoshi Ohara；新一田岛

一种计算Grothendieck局部残差的算法。一： 形状基础案例。 （英语） 兹比尔1474.32015

数学。计算。科学。 13，编号1-2，205-216（2019）.
摘要：Grothendieck局部剩余是在符号计算的背景下考虑的。我们方法的基本思想是使用局部上同调、完整（D）模和Noether算子。介绍了一种在形状基条件下计算有理形式Grothendieck局部剩余的有效方法。描述了在Weyl代数上避免使用Gröbner基的结果算法及其实现。文中还给出了一些例子以供说明。

引用于1审查
引用于三文件

MSC公司：

32A27型 几个复杂变量的残差
13N10型 微分算子的交换环及其模

关键词：

局部残留物；局部上同调；完整系统；计算机代数

软件：

打开XM；Risa/Asir公司
PDF格式BibTeX公司 XML格式引用
\textit{K.Ohara}和\textit{S.Tajima}，数学。计算。科学。13，编号1--2，205-216（2019；Zbl 1474.2015）
全文： 内政部

参考文献：

[1] Altman，A.，Kleiman，S.：格罗森迪克二重性理论简介。数学课堂讲稿，第146卷。柏林施普林格（1970）·Zbl 0215.37201号 ·doi:10.1007/BFb0060932
[2] Ehrenpreis，L.：多复变量的傅里叶分析。威利，纽约（1970年）·Zbl 0195.10401号
[3] Gianni，P.，Mora，T.：使用Gröbner基的多项式方程组的代数解。收录于：AAECC 5会议记录，LNCS第356卷，第247-257页（1989年）·Zbl 0692.13012号
[4] Gianni，P.，Trager，B.，Zacharias，G.：Gröbner基和多项式理想的主分解。J.塞姆。计算。6, 149-167 (1988) ·Zbl 0667.13008号 ·doi:10.1016/S0747-7171（88）80040-3
[5] Griffiths，P.，Harris，J.：代数几何原理。威利，纽约（1978）·Zbl 0408.14001号
[6] Hartshorne，R.：残差与对偶。数学课堂讲稿，第20卷。柏林施普林格（1966）·Zbl 0212.26101号 ·doi:10.1007/BFb0080482
[7] Kashiwara，M.：关于最大超定线性微分方程组。I.研究所数学。科学。10, 563-579 (1975) ·Zbl 0313.58019号 ·doi:10.2977/pims/1195192011
[8] Kashiwara，M.：关于线性微分方程的完整系统。二、。发明。数学。49121-135（1978年）·Zbl 0401.32005年 ·doi:10.1007/BF01403082
[9] Kashiwara，M.：关于微微分方程的完整系统。三： 具有正则奇点的系统。Res.Inst.数学。科学。17813-979（1981年）·Zbl 0505.58033号 ·doi:10.2977/prims/1195184396
[10] Nakamura，Y.，Tajima，S.：带微分算子的剩余演算。九州J.数学。54127-138（2000年）·Zbl 0993.3208号 ·doi:10.2206/kyushujm.54.127
[11] Noro，M.：计算多项式理想主分解的新算法。In:数学软件-ICMS 2010。计算机科学课堂讲稿，第6327卷，第233-244页。柏林施普林格出版社（2010年）·Zbl 1229.13003号
[12] Noro，M.等人：《Risa/Asir计算机代数系统》，1994-2018年。http://www.math.kobe-u.ac.jp/Asir网站/ ·Zbl 1027.68152号
[13] Oaku，T.：关于\[D\]D-模的\[b\]b-函数、限制和代数局部上同调群的算法。高级申请。数学。19, 61-105 (1997) ·Zbl 0938.32005号 ·doi:10.1006/aama.1997.0527
[14] Oaku，T.，Takayama，N.：\[D\]D-模-限制、张量积、局部化和局部上同调群的算法。J.纯应用。代数156，267-308（2001）·Zbl 0983.13008号 ·doi:10.1016/S0022-4049（00）00004-9
[15] OpenXM提交人：OpenXM，一个集成数学软件系统的项目。1998-2018. 网址：http://www.openxm.org
[16] Pham，F.：高斯-马宁差异系统奇点。Birkhäuser，巴塞尔（1979年）·Zbl 0524.32015号
[17] Palamodev，V.P.：常系数线性微分算子。施普林格，纽约（1970年）·Zbl 0191.43401号 ·doi:10.1007/978-3642-46219-1
[18] Tajima，S.：关于附属于零维主理想的Noether微分算子——形状基情形。收录于：《有限或无限维复杂分析与应用》，第357-366页。福冈九州大学出版社（2005）·兹比尔1140.32302
[19] Tajima，S.：Noether微分算子和Grothendieck局部剩余。RIMS Koky Do roku 1432，123-136（2005）（日语）
[20] Tajima，S.，Oaku，T.，Nakamura，Y.：多维局部剩余和完整的D-模。RIMS科基罗库1033，59-70（1998）·兹比尔0944.32008
[21] Tajima，S.，Nakamura，Y.：Grothendieck局部残留物的计算方面。Séminaires et CongrèS 10，287-305（2005）·Zbl 1089.3202号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。