×

双广义初始理想与Hilbert格式。 (英语) Zbl 1397.14009号

摘要:遵循《交换代数》一书中的方法。从代数几何的角度来看。柏林:施普林格出版社(1995;Zbl 0819.13001号)],由D.艾森布德,其中作者通过外幂项上合适的总序来描述一般初始理想,我们首先介绍泛型初始扩展符Grassmannian的子集,然后双泛型初始理想所谓的GL-稳定子集希尔伯特计划。我们讨论了这些新概念的特征,并引入了一个偏序,它给出了它们的另一个有用的描述。双泛型初始理想是理解Hilbert格式某些几何性质的合适点:它们为Borel理想对应给定不可约分量的点提供了必要条件,Hilbert格式中不可约分量个数的下界和每个不可约成分中的最大Hilbert函数。此外,我们证明了每个具有光滑双泛型初始理想的孤立分量都是有理的。作为副产品,我们证明了希尔伯特方案参数化余维2的子模式的Cohen-Macaulay轨迹是与仿射空间同构的开放子集的并集。这将通过以下方式提高结果J.福格蒂《美国数学杂志》(Am.J.Math.90,511–521)(1968年;Zbl 0176.18401号)]以及R.特雷格[J.Algebra 125,No.1,58-65(1989;Zbl 0705.14047号)].

MSC公司:

14二氧化碳 参数化(Chow和Hilbert方案)
2015年第14季度 高维变量的计算方面
13页第10页 Gröbner碱;理想和模块的其他基础(例如Janet和border基础)
14E08号 代数几何中的合理性问题
15A75号 外代数,格拉斯曼代数
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Hilbert方案的组成部分。可在http://aimpl.org/hilbertschemes网站 ·Zbl 0986.14002号
[2] Ballico,E.,Bertone,C.,Roggero,M.:具有有界正则性的Hilbert格式的点轨迹。Commun公司。《代数》43(7),2912-2931(2015)·Zbl 1333.14008号 ·doi:10.1080/0927872.2014.907905
[3] 拜耳,D。;芒福德,D.,代数几何中可以计算什么?,剑桥第34号,第1-48页(1993)·Zbl 0846.13017号
[4] Bayer,D.,Stillman,M.:检测\[M\]M-正则性的一个标准。发明。数学。87(1), 1-11 (1987) ·Zbl 0625.13003号 ·doi:10.1007/BF01389151
[5] Bayer,D.,Stillman,M.:关于用反向字典序细化除法序的定理。杜克大学数学。J.55(2),321-328(1987)·Zbl 0638.06003号 ·doi:10.1215/S0012-7094-87-05517-7
[6] Berton,C.:具有给定Hilbert多项式的拟稳定理想和borel固定理想。申请。代数工程通讯。计算。26(6), 507-525 (2015) ·Zbl 1327.13098号 ·doi:10.1007/s00200-015-0263-6
[7] Bertone,C.,Cioffi,F.,Lella,P.,Roggero,M.:在强稳定理想上有效计算标记格式的升级方法。J.塞姆。计算。50, 263-290 (2013) ·Zbl 1314.14008号 ·doi:10.1016/j.jsc.2012.07.006
[8] Berton,C.,Cioffi,F.,Roggero,M.:类麦考利标记基。可从arXiv:1211.7264[math.AC]获取(2015)·Zbl 0638.06003号
[9] Bertone,C.,Lella,P.,Roggero,M.:Hilbert方案的Borel公开封面。J.塞姆。计算。53, 119-135 (2013) ·Zbl 1312.14011号 ·doi:10.1016/j.jsc.2013.01.001
[10] Bourbaki,N.:交换代数。第1-7章。《数学要素》(柏林)。柏林施普林格(1998),法语翻译,1989年英语翻译重印·Zbl 0902.13001号
[11] Brachat,J.、Lella,P.、Mourrain,B.、Roggero,M.:延伸器和希尔伯特方案。Annali della Scuola Normale Superiore di Pisa,科学分类(2015)。doi:10.2422/2036-2145.201407_003·Zbl 1342.14008号
[12] Caviglia,G.,Sbara,E.:零泛型初始理想。马努斯克。数学。148(3), 507-520 (2015) ·Zbl 1329.13045号 ·doi:10.1007/s00229-015-0748-4
[13] Ceria,M.:JMBConst.lib。奇异4-0-2库,用于构造J标记方案。网址:http://www.singular.uni-kl.de/svn/trunk/singular/LIB/JMSConst.LIB (2012) ·Zbl 1333.14008号
[14] Ciliberto,C.,Sernesi,E.:品种家族和希尔伯特模式。《黎曼曲面讲座》(的里雅斯特,1987年),第428-499页。世界科学出版物,Teaneck(1989)·Zbl 0800.14002号
[15] Cioffi,F.,Lella,P.,Marinari,M.G.,Roggero,M.:点的分段和希尔伯特格式。离散数学。311, 2238-2252 (2011) ·Zbl 1243.14007号 ·doi:10.1016/j.disc.2011.07.011
[16] Cioffi,F.,Roggero,M.:强稳定理想的平坦族和Gröbner基的推广。J.塞姆。计算。46, 1070-1084 (2011) ·Zbl 1231.13024号 ·doi:10.1016/j.jsc.2011.05.009
[17] Decker,W.,Greuel,G.-M.,Pfister,G.,Schönemann,H.:奇异4-0-2-多项式计算的计算机代数系统。http://www.singular.uni-kl.de(2015年)·Zbl 0966.13013号
[18] 艾森巴德:交换代数。以代数几何的观点,数学研究生教材,第150卷。施普林格,纽约(1995)·Zbl 0819.13001号
[19] 艾森巴德:《Syzygies的几何学》。交换代数和代数几何第二课程,数学研究生教材,第229卷。施普林格,纽约(2005)·Zbl 1066.14001号
[20] Eliahou,S.,Kervaire,M.:一些单项式理想的最小分解。《代数杂志》129(1),1-25(1990)·Zbl 0701.13006号 ·doi:10.1016/0021-8693(90)90237-I
[21] 埃林斯鲁德(Ellingsrud),G.:《希尔伯特多样余维》(Sur le schéma de Hilbert des variétés de codimensions)。科学年鉴。École Norm学院。补编(4)8(4),423-431(1975)·Zbl 0325.14002号
[22] Ferrarese,G.,Roggero,M.:Hilbert方案的同质变种。《国际代数杂志》3(9-12),547-557(2009)·Zbl 1193.13001号
[23] Flöystad,G.:可从一般初始理想推导出的性质。J.纯应用。代数136(2),127-140(1999)·Zbl 0966.13013号 ·doi:10.1016/S0022-4049(97)00165-5
[24] Fogarty,J.:代数曲面上的代数族。美国数学杂志。90, 511-521 (1968) ·Zbl 0176.18401号 ·doi:10.2307/2373541
[25] 加利戈,A.:《韦尔斯特拉斯的建议》,《变量复合体的函数》(Sém.François Norguet,1970-1973年10月;A la mémoire d’AndréMartineau),《尼斯大学数学与科学物理研究所1973年5月16日第三个循环周期》。在:数学讲义。,第409卷,第543-579页,柏林施普林格出版社(1974)·Zbl 0846.13017号
[26] 格罗森迪克,A.:意大利国家银行。IV、 高等科学研究所。出版物。数学。1(32), 361 (1967) ·Zbl 0153.22301号
[27] Harris,J.:代数几何,数学研究生教材,第133卷。施普林格,纽约(1995年)。第一堂课,1992年原版的修正重印本·Zbl 1222.13017号
[28] Hartshorne,R.:希尔伯特格式的连通性。高等科学研究院。出版物。数学。29, 5-48 (1966) ·Zbl 0171.41502号
[29] Hartshorne,R.:代数几何。数学研究生教材,第52卷。纽约州施普林格市(1977年)·兹伯利0367.14001 ·doi:10.1007/978-1-4757-3849-0
[30] Lella,P.:计算Hilbert格式的Borel不动点的算法的有效实现。摘自:符号和代数计算国际研讨会论文集,ISSAC(2012)·Zbl 1323.68611号
[31] Lella,P.,Roggero,M.:希尔伯特方案的理性组件。帕多瓦大学Rendiconti del Seminario Matematico dell’Universityádi Padova 126,11-45(2011)·Zbl 1236.14006号
[32] Mall,D.:希尔伯特函数层的连通性和其他连通性结果。J.纯应用。代数150(2),175-205(2000)·Zbl 0986.14002号 ·doi:10.1016/S0022-4049(99)00068-7
[33] Mayes,S.:通用初始理想简介。研讨会幻灯片。可在http://www-personal.umich.edu/erman/615/Mayes_Gins(2013)·Zbl 1312.14011号
[34] Mora,T.:求解多项式方程组。二、。麦考利范式与格罗布纳技术,《数学及其应用百科全书》,第99卷。剑桥大学出版社,剑桥(2005)·Zbl 1161.13306号
[35] Piene,R.,Schlessinger,M.:关于扭曲立方体空间的Hilbert格式紧化。美国数学杂志。107(4), 761-774 (1985) ·Zbl 0589.14009 ·doi:10.2307/2374355
[36] A.A.里夫斯:希尔伯特方案的半径。J.代数几何。4(4), 639-657 (1995) ·Zbl 0859.14002号
[37] Roggero,M.,Terracini,L.:具有指定初始理想的理想。国际数学。论坛5(53-56),2731-2750(2010)·Zbl 1222.13017号
[38] Seiler,W.M.:对合和\[\delta\]δ-正则性的组合方法。可解型多项式代数中的对合基。申请。代数工程通讯。计算。20(3-4), 207-259 (2009) ·兹比尔1175.13012 ·doi:10.1007/s00200-009-0098-0
[39] Seiler,W.M.:对合和δ-正则性的组合方法。二、。具有Pommaret基的多项式模的结构分析。申请。代数工程通讯。计算。20(3-4), 261-338 (2009) ·Zbl 1175.13011号 ·doi:10.1007/s00200-009-0101-9
[40] Treger,R.:关于定义算术Cohen-Macaulay格式的方程III.J.代数125(1),58-65(1989)·Zbl 0705.14047号 ·doi:10.1016/0021-8693(89)90293-7
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。