×

有理正规卷轴的爆破代数。 (英语) Zbl 1440.13026号

设\(mathbb K\)是一个域,\(n_1,\dots,n_d\)是正整数,\[R=\mathbb K[x_{1,0},\cdots,x_{1,n_1},x_}2,0}、\cdott,x_[2,n_2},\ cdots矩阵的次矩阵\[\左(\开始{数组}{cccc|cccc|c|cccc}x{1,0}和x{1,1}和\cdots&x{1,n1-1}和x{2,0}&x{2,1}&\cdots和x{2,n2-1}&\ cdots&x{d,0}&x{d\\x{1,1}和x{1,2}&\cdots&x{1,n1}&x{2,1}&x{2,2}和\cdots&x{2,n2}&\cdots-x{d,1}&x{d、2}&\cdot&x{d和nd\end{array}right),\]和\(I\)是由\(f1,\ dots,f_s\)生成的\(P\)的理想。让\(mathcal R(I)\)表示Rees代数和\(mathbb K[{mathbf f}]\)表示特殊光纤环:\[\mathcal R(I)=R[f_0t,\dots,f_st]\substeq R[t]\quad\text{and}\quad\\mathbb K[{\mathbf f}]=\mathbbK[f_0,\dotes,f_s]\subseteq R.\]将\(\mathcal R(I)\)和\(\mathbb K[{\mathbf f}]\)视为商环同态的环\[\Psi_{\mathcal F}:\mathbb K[T_1,\dotes,T_s]\to\mathbbK[{\mathbf F}]\quad\text{和}\quad\Psi_{mathcal R}:R[T_1,\dots,T_s]\ to \mathcal R(I),\]with \(\Psi__{mathcal F}(T_I)=F_I\)and \(\Psi_{matchcal R}(T1)=F_ it\)。本文找到了(Psi{mathcal F})和(Psi}mathcal R})核的生成集。
设\(c=\sum_{i=1}^d n_i\),则为\(s=\binom c2\)。理想是(mathbb P^{c+d-1})中有理法向卷轴的定义理想。多项式定义有理映射\(\Gamma:\mathbb P^{c+d-1}->\mathbbP^{s-1}\)。里斯环(mathcal R(I))是图的双齐次坐标环,特殊的光纤环是图的齐次坐标圈。因此,本文找到了(Gamma)的图形和图像的定义方程。以前已经知道结果的特殊情况,但在特殊情况下使用的技术如此不同,以至于文献中没有任何迹象表明一般情况可以用一个论点来解决。\(\mathcal R(I)\)的定义方程形成平方树二次Gröbner基。环(mathcal R(I))和(mathbb K[{mathbf f}])都是Koszul代数,并且(I)的幂(I^K)对所有(K)都具有线性分辨率。

MSC公司:

13A30型 理想的关联分次环(Rees环,形式环),解析扩散和相关主题
13立方厘米 联动、完全交叉和确定性理想
05E45型 单形复形的组合方面
2013年02月 Syzygies、分解、复数和交换环
13页第10页 Gröbner碱;理想和模块的其他基础(例如Janet和border基础)
14个M12 决定性品种
14J40型 \(n)-折叠(n>4)

软件:

麦考利2
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 格里戈里·布莱克曼;格雷戈里·史密斯。;Velasco,Mauricio,《平方和最小度变化》,J.Amer。数学。Soc.,29,3,893-913(2016)·Zbl 1388.14156号 ·doi:10.1090/jams/847
[2] Blum,Stefan,二次Koszul代数的子代数,J.代数,242,2795-809(2001)·Zbl 1042.13001号 ·doi:10.1006/jabr.2001.8804
[3] Bruns、Winfried;阿尔多·康卡;Varbaro,Matteo,通用矩阵的子函数之间的关系,高级数学。,244, 171-206 (2013) ·Zbl 1295.13010号 ·doi:10.1016/j.aim.2013.05.004
[4] Bruns、Winfried;阿尔多·康卡;瓦尔巴罗,马泰奥,《最大未成年人和线性幂》,J.Reine Angew。数学。,702,41-53(2015)·Zbl 1314.13025号 ·doi:10.1515/crelle-2013-0026
[5] Bruns、Winfried;Vetter,Udo,《行列式环》,数学课堂讲稿1327,viii+236 pp.(1988),柏林斯普林格-Verlag·Zbl 0673.13006号 ·doi:10.1007/BFb0080378
[6] Bus\'{e},Laurent,关于有理代数平面曲线的运动曲线理想方程,J.Algebra,321,82317-2344(2009)·兹比尔1168.14027 ·doi:10.1016/j.jalgebra.2009.01.030
[7] Catalano-Johnson,Michael L.,高等正割品种的可能尺寸,Amer。数学杂志。,118, 2, 355-361 (1996) ·Zbl 0871.14043号
[8] Chardin,Marc,理想的力量与形态的柄和纤维的上同调,代数数论,7,1,1-18(2013)·Zbl 1270.13008号 ·doi:10.2140/ant.2013.7.1
[9] Co A.Conca,Koszul代数和Gr“二次曲面的obner基,日本名古屋第29届交换代数研讨会论文集(2007),第127-133页。
[10] 阿尔多·康卡;赫尔佐格,J“{u} rgen公司; Valla,Giuseppe,Sagbi基及其在爆破代数中的应用,J.Reine Angew。数学。,474, 113-138 (1996) ·Zbl 0866.13010号 ·doi:10.1515/crll.1996.474.113
[11] Cox,David A.,移动曲线理想与里斯代数,定理。计算。科学。,392, 1-3, 23-36 (2008) ·Zbl 1170.13004号 ·doi:10.1016/j.tcs.2007.10.012
[12] Cutkosky,S.Dale;赫尔佐格,J“{u} rgen公司; Trung,Ngo Vi et,Castelnuovo-Mumford正则性的渐近行为,合成数学。,118, 3, 243-261 (1999) ·Zbl 0974.13015号 ·doi:10.1023/A:1001559912258
[13] Doria,A.V。;Hassanzadeh,S.H。;Simis,A.,《双有理性的无特征标准》,高等数学。,230, 1, 390-413 (2012) ·Zbl 1251.14007号 ·doi:10.1016/j.aim.2011.12.005
[14] 戴维·艾森巴德(David Eisenbud);乔·哈里斯(Joe Harris),《最低程度的变化》(百年记述)。代数几何,鲍登,1985年,缅因州布伦瑞克,1985年,Proc。交响乐。纯数学。46,3-13(1987),美国。数学。佛罗里达州普罗维登斯Soc·Zbl 0646.14036号 ·doi:10.1090/pspum/046.1/927946
[15] M2 D.R.Grayson和M.E.Stillman,Macaulay2,代数几何研究软件系统,网址:www.math.uiuc.edu/Macaulay2/。
[16] 奥尔加·霍尔茨;Sturmfels,Bernd,对称主子函数之间的超确定性关系,《代数杂志》,316,2634-648(2007)·Zbl 1130.15005号 ·doi:10.1016/j.jalgebra.2007.01.039
[17] Andrew R.Kustin。;Polini,Claudia;Ulrich,Bernd,有理正规卷轴和Rees代数的定义方程,J.Reine Angew。数学。,650, 23-65 (2011) ·Zbl 1211.13005号 ·doi:10.1515/CRELLE.2011.002
[18] 安德鲁·库斯廷(Andrew R.Kustin)。;Polini,Claudia;乌尔里奇,伯恩德,爆破和形态纤维,名古屋数学。J.,224168-201(2016)·Zbl 1408.13013号 ·文件编号:10.1017/nmj.2016.34
[19] 安德鲁·库斯廷(Andrew R.Kustin)。;Polini,Claudia;Ulrich,Bernd,定义三个Gorenstein理想高度的爆破代数的方程,代数数论,11,7,1489-1525(2017)·兹伯利1386.13014 ·doi:10.2140/ant.2017.11.1489
[20] 苏珊·莫雷(Susan Morey);Ulrich,Bernd,Rees低余维理想代数,Proc。阿默尔。数学。《社会学杂志》,124、12、3653-3661(1996)·Zbl 0882.13003号 ·doi:10.1090/S0002-9939-96-03470-3
[21] 以斯拉·米勒;Sturmfels,Bernd,组合交换代数,数学研究生课文227,xiv+417 pp.(2005),Springer-Verlag,纽约·Zbl 1090.13001号
[22] Oeding,Luke,对称矩阵各种主要子项的集合理论定义方程,代数数论,5,1,75-109(2011)·Zbl 1238.14035号 ·doi:10.2140/ant.2011.5.75
[23] 彼得森,T.凯尔;帕夫洛·皮利亚夫斯基;David E.Speyer,《非交叉标准单项式理论》,《J.代数》,第324、5、951-969页(2010年)·Zbl 1203.13026号 ·doi:10.1016/j.代数.2010.05.001
[24] 鲁维尼、什洛米、加泰罗尼亚梯形、普罗布。工程通知。科学。,28, 3, 353-361 (2014) ·Zbl 1351.05014号 ·doi:10.1017/S0269964814000047
[25] R \“{o} 梅尔,Tim,重格代数的同调性质,Illinois J.Math。,45, 4, 1361-1376 (2001) ·Zbl 1094.13525号
[26] Russo,Francesco,《关于一些特殊射影变体的几何》,Unione Matematica Italiana 18,xxvi+232 pp.(2016),Springer,Cham;意大利博洛尼亚马特马蒂亚工会·Zbl 1337.14001号 ·doi:10.1007/978-3-319-26765-4
[27] Russo、Francesco;Simis,Aron,关于双有理映射和雅可比矩阵,合成数学。,126, 3, 335-358 (2001) ·Zbl 1036.14005号 ·doi:10.1023/A:1017572213947
[28] 旧金山桑托斯;Stump,Christian;韦尔克,沃尔克马尔,非交叉集和格拉斯曼联合面体,论坛数学。Sigma,5,e5,49页(2017年)·兹比尔1362.52007 ·doi:10.1017/fms.2017.1
[29] Simis,Aron,Cremona变换和一些相关代数,J.代数,280,1162-179(2004)·Zbl 1067.14014号 ·doi:10.1016/j.jalgebra.2004.03.025
[30] 斯图尔姆费尔斯,伯恩德,Gr\“{o} 布纳基和凸多面体,大学讲座系列8,xii+162 pp.(1996),美国数学学会,普罗维登斯,RI·Zbl 0856.13020号
[31] 斯图尔姆费尔斯(Sturmfels,Bernd);怀特、尼尔、格勒“{o} 布纳基础和不变理论,高级数学。,76, 2, 245-259 (1989) ·Zbl 0695.13001号 ·doi:10.1016/0001-8708(89)90053-4
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。