Werner M.塞勒。 对合和δ-正则性的组合方法。二： 具有Pommaret基的多项式模的结构分析。 （英语） Zbl 1175.13011号 申请。代数工程通讯。计算。 20，编号3-4，261-338（2009）. 摘要：现有的关于对合基的文献大多集中于它们的高效算法构造。相比之下，我们更关心它们的结构特性。Pommaret底座在这方面特别有用。我们展示了它们如何分别用于确定Krull维数和投影维数以及多项式模的深度。我们使用这些结果分别简单地证明了Hironaka对Cohen-Macaulay模的判据和Auslander-Buchsbaum公式的分级形式。特别强调了Pommaret基的合一理论及其在构造自由分辨率中的应用，该自由分辨率对于分量线性模来说是一般最小的。在单项式的情况下，产生的复数总是具有微分代数的结构，并且可以导出微分的显式公式。这里，当且仅当处理稳定模时，获得最小分辨率。这些观察结果概括了Eliahou和Kervaire的结果。利用我们的分解，我们证明了Pommaret基相对于逆词典学术语顺序的度始终是Castelnuovo-Mumford正则性。这种方法为文献中提出的这个不变量的许多特征提供了新的证明。这尤其包括拜耳/斯蒂尔曼和艾森巴德/戈托的标准。我们还将Pommaret基与Bermejo/Gimenez和Trung最近通过饱和计算Castelnuovo-Mumford正则性的工作联系起来。众所周知，Pommaret基并不总是存在的，而只是在所谓的正则坐标系中。我们证明了交换代数中的几个经典结果对于这些特殊坐标是正确的，这些结果只具有一般性。特别是，它们与正则序列、独立变量集、饱和和Noether正规化有关。泛型初始理想的许多性质也适用于Pommaret基的主导理想，与程度相反的词典学术语顺序有关，尽管后者通常不是Borel固定的。我们提出了一种有效构建（delta）正则坐标的确定性方法，该方法比迄今为止文献中提出的所有方法更有效。 引用于6评论引用于32文件 MSC公司： 13页第10页 Gröbner基地；理想和模块的其他基础（例如Janet和border基础） 软件：复数；麦考利2；单一 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Seiler}，应用。代数工程通讯。计算。20，编号3--4，261--338（2009；Zbl 1175.13011） 全文： 内政部 arXiv公司 参考文献： [1] Adams W.W.，Loustauna P.：Gröbner Bases简介。数学研究生课程3。美国数学学会，普罗维登斯（1994）·Zbl 0803.13015号 [2] Ahmad S.，Anwar I.：Borel型理想正则性的上界。Commun公司。藻类。36, 670–673 (2008) ·Zbl 1137.13016号 ·doi:10.1080/00927870701724110 [3] Amasaki M.：广义Weierstrass准备定理在齐次理想研究中的应用。事务处理。美国数学。Soc.317，1-43（1990年）·Zbl 0691.13019号 ·doi:10.2307/2001452 [4] Amasaki M.：分级自由模的齐次子模的广义Gröbner基和Weierstrass基。J.纯应用。代数152，3-16（2000）·Zbl 0972.13019号 ·doi:10.1016/S0022-4049（99）00131-0 [5] Apel J.：基于R.P.Stanley的一个推测。第一部分——单项式理想。J.代数梳。17, 39–56 (2003) ·Zbl 1031.13003号 ·doi:10.1023/A:1021912724441 [6] Apel J.：关于R.P.Stanley的一个猜想。第二部分——模单项式理想的商。J.代数梳。17, 57–74 (2003) ·Zbl 1031.13004号 [7] Baclawski K.，Garsia A.M.：环的组合分解。高级数学。39, 155–184 (1981) ·Zbl 0466.13003号 ·doi:10.1016/0001-8708（81）90027-X [8] Bayer D.，Charalambous H.，Popescu S.：极值Betti数及其在单项式理想中的应用。J.阿尔及利亚。221, 497–512 (1999) ·Zbl 0946.13008号 ·doi:10.1006/jabr.1999.7970 [9] 拜尔·D·芒福德：代数几何中可以计算什么？在：Eisenbud，D.，Robbino，L.（编辑）《计算代数几何与交换代数》，Symposia Mathematica 34.，pp.1-48。剑桥大学出版社剑桥（1993）·Zbl 0846.13017号 [10] Bayer D.，Stillman M.：检测M正则性的标准。发明。数学。87, 1–11 (1987) ·Zbl 0625.13003号 ·doi:10.1007/BF01389151 [11] Becker Th.，Weispfenning V.：Gröbner Bases。数学研究生课文141。施普林格，纽约（1993）·Zbl 0772.13010号 [12] Bermejo I.，Gimenez P.：饱和和Castelnuovo-Mumford正则性。J.阿尔及利亚。303, 592–617 (2006) ·Zbl 1105.13010号 ·doi:10.1016/j.代数.2005.05.020 [13] Billera L.J.、Cushman R.、Sanders J.A.：谐振子的Stanley分解。Indagat。数学。50, 375–394 (1988) ·Zbl 0669.15006号 [14] 于布林科夫。A.，Gerdt V.P.：复曲面理想的Janet基础。收录：Kredel，H.，Seiler，W.K.（编辑）Proc。莱茵计算机代数研讨会，第125-135页。曼海姆大学（2002年）·Zbl 1035.68138号 [15] Bruns，W.，Conca，A.：Gröbner基，初始理想和初始代数。预打印数学。AC/0308102（2003年）·Zbl 1052.13010号 [16] Buchberger，B.：Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomide。因斯布鲁克大学博士论文（1965年）（英语翻译：J.Symb.Comput.41（2006）475–511）·Zbl 1245.13020号 [17] Bueso J.L.、Gómez-Terrecillas J.、Lobillo F.J.、Castro-Jiménez F.J.：量子群中有效微积分的介绍。收录于：Caenepeel，S.，Verschoren，A.（eds）Rings，Hopf Algebras，and Brauer Groups，Pure and Applied Mathematics 197课堂讲稿，第55-83页。马塞尔·德克尔（Marcel Dekker），纽约（1998）·Zbl 0898.17007号 [18] Caviglia G.，Sbara E.：Castelnuovo–Mumford正则性的无特征边界。作曲。数学。141, 1365–1373 (2005) ·Zbl 1100.13020号 ·doi:10.1112/S0010437X05001600 [19] 辛佩阿什，M.：具有线性上界正则性的单项式理想。预打印数学。AC/061064（2006年） [20] 辛普森M.：Borel型理想的一个稳定性质。Commun公司。藻类。36, 674–677 (2008) ·Zbl 1142.13025号 ·doi:10.1080/00927870701724136 [21] 辛佩阿什·M。：关于博雷尔型理想的一些评论。Commun公司。藻类。37, 724–727 (2009) ·Zbl 1159.13015号 ·doi:10.1080/00927870802186227 [22] 考克斯·D、小J、奥谢·D。：理想、多样性和算法。数学本科生课文。施普林格，纽约（1992） [23] Cox D.、Little J.和O'Shea D.：使用代数几何。数学研究生课文185。施普林格，纽约（1998年） [24] Eisenbud D.：从代数几何的角度看交换代数。数学研究生课文150。施普林格，纽约（1995）·Zbl 0819.13001号 [25] Eisenbud D.，Goto S.：线性自由分辨率和最小多重性。J.阿尔及利亚。88, 89–133 (1984) ·Zbl 0531.13015号 ·doi:10.1016/0021-8693（84）90092-9 [26] Eisenbud D.，Reeves A.，Totaro B.：初始理想，Veronese子环和代数速率。高级数学。109, 168–187 (1994) ·Zbl 0839.13013号 ·doi:10.1006/aima.1994.1085 [27] Eliahou S.，Kervaire M.：一些单项式理想的最小分解。J.阿尔及利亚。129, 1–25 (1990) ·Zbl 0701.13006号 ·doi:10.1016/0021-8693（90）90237-I [28] Galligo A.：对Weierstrass的准备工作提出建议。收录于：Norguet，F.（eds）《多元变量复合函数》，数学409课堂讲稿，第543-579页。柏林施普林格（1974） [29] Gerdt V.P.：关于Pommaret和Janet碱基之间的关系。收录于：Ghanza，V.G.，Mayr，E.W.，Vorozhtsov，E.V.（编辑）《科学计算中的计算机代数——CASC 2000》，第167-182页。施普林格，柏林（2000） [30] Gerdt V.P.，Blinkov Yu。多项式理想的对合基。数学。公司。模拟。45, 519–542 (1998) ·Zbl 1017.13500号 ·doi:10.1016/S0378-4754（97）00127-4 [31] Gerdt V.P.，Blinkov Yu。答：最小对合基。数学。公司。模拟。45, 543–560 (1998) ·兹比尔1017.13501 ·doi:10.1016/S0378-4754（97）00128-6 [32] Grauert H.：u ber die变形隔离器奇异分析Mengen。发明。数学。15, 171–198 (1972) ·Zbl 0237.32011号 ·doi:10.1007/BF01404124 [33] Green M.L.：通用初始理想。收录于：Elias，J.，Giral，J.M.，Miró-Reig，R.M.，Zarzuela，S.（编辑）《交换代数六讲》，《数学进展》166，第119-186页。Birkhäuser，巴塞尔（1998年） [34] Greuel G.-M.，Pfister G.：交换代数的奇异导论。柏林施普林格出版社（2002年）·Zbl 1023.13001号 [35] Gröbner W.：《现代代数几何》，施普林格，维也纳（1949）·Zbl 0033.12706号 [36] Guillemin V.W.，Sternberg S.：传递微分几何的代数模型。牛市。美国数学。Soc.70，16-47（1964年）·兹比尔0121.38801 ·doi:10.1090/S0002-9904-1964-11019-3 [37] Hashemi A.：Borel型理想Hilbert级数的多项式时间算法。阿尔巴尼亚数学杂志。1, 145–155 (2007) ·邮编1124.13008 [38] Hausdorf M.，Sahbi M.，Seiler W.M.：{\（delta\）}-多项式理想的拟正则性。收录于：Calmet，J.，Seiler，W.M.，Tucker，R.W.（编辑）《场理论的全局可积性》，第179-200页。卡尔斯鲁厄大学（2006年）·Zbl 1178.13013号 [39] Hausdorf M.，Seiler W.M.：对合几何补全的有效代数算法。申请。藻类。工程通信公司。13, 163–207 (2002) ·Zbl 1095.13550号 ·doi:10.1007/s002000200099 [40] 赫尔曼·G：《多项式理论的碎片》。数学。安.95736-788（1926）·JFM 52.0127.01号文件 ·doi:10.1007/BF01206635 [41] Herzog J.，Hibi T.：分量线性理想。名古屋数学。J.153，141–153（1999）·Zbl 0930.13018号 [42] Herzog，J.，Popescu，D.，Vladoiu，M.：关于Borel型理想的外模。在：交换代数，康特姆。数学。331，第171-186页。阿默尔。数学。普罗维登斯州立大学（2003）·Zbl 1050.13008号 [43] Herzog J.，Soleyman Jahan A.，Yassemi S.：斯坦利分解和可分单形复形。J.Algebr。梳子。27, 113–125 (2008) ·Zbl 1131.13020号 ·doi:10.1007/s10801-007-0076-1 [44] Hironaka H.：特征为零的域上代数簇奇点的解析。安。数学。79, 109–326 (1964) ·Zbl 0122.38603号 ·doi:102307/1970486 [45] Hironaka H.：复解析空间的双纯光滑。数学学报。越南。2, 103–168 (1977) ·Zbl 0407.32006号 [46] Hironaka H.：奇点的理想主义指数。In:Igusa，J.-I.（编辑）代数几何-约翰·霍普金斯百年讲座，第52-125页。约翰·霍普金斯大学出版社，牛津（1977）·Zbl 0496.14011号 [47] Hoöten S.，Smith G.G.：单项式理想。收录于：艾森巴德·D、格雷森·D·R、斯蒂尔曼·M、斯图尔姆费尔斯·B（eds）《代数几何与麦考莱2的计算》，《数学中的算法与计算》8，第73-100页。柏林施普林格出版社（2002年）·Zbl 0996.13009号 [48] Janet M.：《德雷维埃斯·Partielles的系统方程》。Cahiers Scientifiques，《魅力IV》，高蒂尔别墅，巴黎（1929年）·JFM 55.0276.01标准 [49] 约翰·F：偏微分方程。应用数学科学1。纽约施普林格出版社（1982年） [50] Kredel H.，Weispfenning V.：计算多项式理想的维数和独立集。J.塞姆。公司。6, 231–247 (1988) ·Zbl 0665.68024号 ·doi:10.1016/S0747-7171（88）80045-2 [51] Kreuzer M.，Robbiano L.：计算交换代数1。施普林格，柏林（2000）·Zbl 0956.13008号 [52] 关于非交换G-代数的Gröbner基。收录人：Calmet，J.，Hausdorf，M.，Seiler，W.M.（编辑）Proc。欠定和超定代数或微分方程组，第99–118页。Fakultät für Informatik，卡尔斯鲁厄大学（2002） [53] Levandovskyy，V.：多项式代数的非交换计算机代数：Gröbner基，应用和实现。凯泽斯劳滕大学Fachbereich Mathematik博士论文（2005年）·Zbl 1094.16030号 [54] Mall D.：关于Gröbner和Pommaret基地之间的关系。申请。藻类。工程通信公司。9, 117–123 (1998) ·Zbl 0926.13017号 ·数字对象标识代码：10.1007/s002000050097 [55] Mayr E.W.，Meyer A.R.：交换半群和多项式理想单词问题的复杂性。高级数学。46, 305–329 (1982) ·Zbl 0506.03007号 ·doi:10.1016/0001-8708（82）90048-2 [56] McConnell J.C.和Robson J.C.：非交换Noetherian环。威利，纽约（1987）·Zbl 0644.16008号 [57] Miller E.，Sturmfels B.：组合交换代数。数学研究生论文227。施普林格，纽约（2005）·Zbl 1090.13001号 [58] Plesken W.，Robertz D.：Janet对多项式和线性偏微分方程表示和求解的方法。架构（architecture）。数学。84, 22–37 (2005) ·Zbl 1091.13018号 ·数字对象标识代码：10.1007/s00013-004-1282-x [59] Rees D.：多项式模的基本定理。程序。外倾角。Phil.Soc.52，12-16（1956年）·Zbl 0070.01601号 ·doi:10.1017/S0305004100030917 [60] Reid G.J.：将偏微分方程组简化为标准形式的算法，确定其解空间的维数并计算其泰勒级数解。Eur.J.应用。数学。2, 293–318 (1991) ·Zbl 0768.35001号 ·doi:10.1017/S095679250000577 [61] Renardy M.，Rogers R.C.：偏微分方程导论。应用数学课文13。施普林格，纽约（1993）·Zbl 0917.35001号 [62] Robertz D.：由单项锥分解指导的Noether归一化。J.塞姆。公司。44, 1359–1373 (2009) ·Zbl 1190.13026号 ·doi:10.1016/j.jsc.2009.02.004 [63] Sahbi，M.：单项式情况下的Pommaret基和Koszul同源性的计算。卡尔斯鲁厄大学Fakultät für Informatik文凭论文（2007） [64] Schreyer，F.O.：Die Berechnung von Syzygien mit dem verallgemeinenten Weierstraßschen Divisionssatz。硕士论文，Fakultät für Mathematik，汉堡大学（1980） [65] 塞勒·W·M·：泰勒和柳别兹尼克通过格勒布纳基地的决议。J.塞姆。公司。34, 597–608 (2002) ·Zbl 1040.13012号 ·doi:10.1006/jsco.2002.0573 [66] Seiler W.M.：Spencer上同调、微分方程和Pommaret基。收录于：Rosenkranz，M.，Wang，D.（编辑）Gröbner Bases In Symbolic Analysis，Radon Series on Computation and Applied Mathematics 2，pp.171-219。Walter de Gruyter，柏林（2007）·Zbl 1162.13013号 [67] Seiler，W.M.：对合——微分方程的形式理论及其在计算机代数中的应用。数学算法与计算24。柏林施普林格出版社（2009年）（即将出版） [68] Stanley R.P.：分次代数的希尔伯特函数。高级数学。28, 57–83 (1978) ·Zbl 0384.13012号 ·doi:10.1016/0001-8708（78）90045-2 [69] Stanley R.P.：线性丢番图方程和局部上同调。发明。数学。68, 175–193 (1982) ·兹比尔0516.10009 ·doi:10.1007/BF01394054 [70] 斯坦利·R.P.：组合数学与交换代数。Birkhäuser，巴塞尔（1983）·Zbl 0537.13009号 [71] Stillman M.：计算贝叶斯网络相关理想的主要分解和应用的工具。收录于：Dickenstein，A.，Emiris，I.Z.（编辑）《数学中多项式方程的求解、算法和计算》第14期，第203–239页。斯普林格，海德堡（2005）·Zbl 1152.13300号 [72] Sturmfels B.：不变量理论中的算法。符号计算中的文本和专著。温·施普林格（1993）·Zbl 0802.13002号 [73] Sturmfels B.，Trung N.V.，Vogel W.：射影方案度的界限。数学。《年鉴》302、417–432（1995）·Zbl 0828.14040号 ·doi:10.1007/BF01444501 [74] Sturmfels B.，White N.：计算环的组合分解。Combinatorica 11275-293（1991年）·Zbl 0739.68051号 [75] 泰勒，D.：R序列中单项式生成的理想。芝加哥大学博士论文（1960年） [76] Thomas J.M.：微分系统。学术讨论会出版物二十一。美国数学学会，纽约（1937） [77] Traverso C.：希尔伯特函数和Buchberger算法。J.塞姆。计算。22, 355–376 (1996) ·Zbl 0922.13019号 ·doi:10.1006/jsco.1996.0056 [78] Trung N.G.：初始理想和Castelnuovo–Mumford正则性的评估。程序。美国数学。Soc.130、1265–1274（2002年）·兹伯利1059.13011 ·网址：10.1090/S0002-9939-01-06216-5 [79] Vasconcelos W.V.：交换代数和代数几何中的计算方法。数学算法与计算2。柏林施普林格（1997） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。