×

环形球面上理想的原理化。 (英语) Zbl 1473.14026号

奇点的解析理论不仅应该证明每个空间\(Z\)都可以通过对\(Z'\到Z\)的修改来解析,而且其解析应该是
规范意义上的理论区分了一个分辨率(Z{res}到Z\);
建设性的意义是有一个明确的算法程序来获得可分辨分辨率(Z{res}到Z\);
函数的意义是,对于每个平滑态射(Y到Z),分辨率(Y{res}到Y)是(Z{res}\到Z)的回拉(在适当的范畴中)。
这篇文章是已公布的系列文章中的第一篇,该系列文章为精细饱和对数Deligne-Mumford堆栈的形态(Z到B)建立了这样的解决方案。本文本身只处理案例\(B=\mathrm{Spec}(k)\)平凡的日志点,即绝对案例。
起点是对数方案的分辨率。作者提出了一个扩展的泛函原理,即分辨率不仅应该是经典光滑映射(Y\到Z\)的泛函,而且应该是对数光滑映射(Y\到Z\)的泛函。这使得有必要通过Kummer中心的放大来解决,即Kummerétale拓扑中的理想。这种放大不一定是对数方案,而是对数Deligne-Mumford堆栈;因此,分辨率的自然设置是(精细饱和)对数Deligne-Mumford堆栈。对数平滑的Deligne-Mumford堆栈称为环形球体。
该算法有两种版本,一种是嵌入式的,即理想在环形球面上的原理化,另一种是非嵌入式的,就是奇异点的求解。
该算法不专门针对普通对数结构的经典算法。当它以具有平凡对数结构的簇\(Z\)开始时,那么\(Z_{res}\)通常既没有平凡对数结构,也不是一个方案,而是一个诚实的环形球面。
该算法比求解经典方案奇点的算法复杂得多,因为它不需要单独考虑异常除数,但它仍然很复杂。它使用最大接触超曲面上的对数归纳法来降低标记理想的对数阶。此外,在几个所谓的清洁过程中,必须确保理想的解决方案与对数结构有良好的相互作用。
本文完成后,作者之一的学生Ming Hao Quek发现了一种更简单、更规范、可能更快的算法,可以在相同的设置中解决对数奇点,请参阅[M.H.先生。奎克,“通过加权环形放大的对数分辨率”,预打印,arXiv:2005.05939号]. 这是通过允许在Kummerétale拓扑中不再理想的更一般的中心来实现的;它是梦想算法第页,共页[D.阿布拉莫维奇等,“通过加权放大实现功能嵌入分辨率”,预打印,arXiv公司:1906.07106].

MSC公司:

14E15号机组 奇点的整体理论和解析(代数几何方面)
14A20型 泛化(代数空间、堆栈)
14A21型 对数代数几何,对数方案
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Abramovich,D.,Chen,Q.,Marcus,S.,Wise,J.:稳定对数映射空间的有界性。《欧洲数学杂志》。Soc.192783-2809(2017)Zbl 06773013 MR 3692887·Zbl 1453.14081号
[2] Abramovich,D.,Denef,J.,Karu,K.:非封闭场上的弱环面化。手稿数学142257-271(2013)Zbl 1279.14020 MR 3081008·兹比尔1279.14020
[3] Abramovich,D.,de Jong,A.J.:光滑性、半稳定性和环形几何。《代数几何杂志》6,789-801(1997)Zbl 0906.14006 MR 1487237·Zbl 2006年6月14日
[4] Abramovich,D.,Karu,K.:特征0的弱半稳定还原。发明。数学139,241-273(2000)Zbl 0958.14006 MR 1738451·Zbl 0958.14006号
[5] Abramovich,D.,Temkin,M.:环面格式上可对角化群作用的挠化。J.Algebra472,279-338(2017)Zbl 1376.14051 MR 3584880·Zbl 1376.14051号
[6] Abramovich,D.,Temkin,M.,Włodarczyk,J.:环形球状、去包裹和Kummer爆破(D.Rydh的附录)。代数数论(待发);arXiv:1709.03206(2017)·Zbl 1467.14003号
[7] Abramovich,D.,Temkin,M.,Włodarczyk,J.:理想的原则化和对数变体的规范化去角化。2017,http://www.math.purdue.edu/people/bio/wlodarcz/预印本/稳定色品种.pdf。
[8] Ahmadian,R.:一种用于三次折叠的局部单项式理想滑轮的原理算法,并应用于环形化。代数杂志454139-180(2016)Zbl 1400.14103 MR 3473423·Zbl 1400.14103号
[9] Bergh,D.:使用阿贝尔稳定器对驯化堆栈进行功能分解。作曲。数学1531257-1315(2017)Zbl 1372.14002 MR 3705256·Zbl 1372.14002号
[10] Bierstone,E.,Da Silva,S.,Milman,P.D.,Vera Pacheco,F.:通过放大避免简单的正常交叉实现去角化。程序。阿默尔。数学。Soc.142,4099-4111(2014)Zbl 1312.14045 MR 3266981·Zbl 1312.14045号
[11] Bierstone,E.,Milman,P.:奇点正则分解的简单构造性证明。In:代数几何中的有效方法(Castiglionselo,1990),Progr。数学。94,Birkhäuser波士顿,马萨诸塞州波士顿,11-30(1991)Zbl 0743.14012 MR 1106412·Zbl 0743.14012号
[12] Bierstone,E.,Milman,P.:通过爆破局部不变量的最大层,在特征零点进行标准去角化。发明。数学128,207-302(1997)Zbl 0896.14006 MR 1440306·兹比尔0896.14006
[13] Bierstone,E.,Milman,P.:复曲面和二项式变体的去角化。《代数几何杂志》15,443-486(2006)Zbl 1120.14009 MR 2219845·Zbl 1120.14009号
[14] Bierstone,E.,Milman,P.:奇点分解中的函数性。出版物。RIMS京都大学44,609-639(2008)Zbl 1151.14012 MR 2426359·Zbl 1151.14012号
[15] Bierstone,E.,Milman,P.:除极小奇点外的分辨率I.高级数学。2313022-3053(2012)Zbl 1257.14002 MR 2970472·Zbl 1257.14002号
[16] Cutkosky,S.D.:语态的局部单数化和因式分解。Astérisque 260(1999)Zbl 0941.14001 MR 1734239·Zbl 0941.14001号
[17] Cutkosky,S.D.:从3个折叠到表面的形态的单一化。数学课堂笔记。1786,Springer,Berlin(2002)Zbl 1057.14009 MR 1927974·Zbl 1057.14009号
[18] Cutkosky,S.D.:超越扩张的局部单项式化。傅里叶协会(格勒诺布尔)55,1517-1586(2005)Zbl 1081.14020 MR 2172273·Zbl 1081.14020号
[19] Cutkosky,S.D.:三重优势态的Toroidalization。内存。阿默尔。数学。Soc.190,vi+222 pp.(2007)Zbl 1133.14013 MR 2356202·Zbl 1133.14013号
[20] Cutkosky,S.D.,Kashcheyeva,O.:从非奇异折叠到表面的强准备态射的单数化。J.代数275275-320(2004)Zbl 1057.14008 MR 2047449·Zbl 1057.14008号
[21] Deligne,P.,Mumford,D.:给定属曲线空间的不可约性。高等科学研究院。出版物。数学36,75-109(1969)Zbl 0181.48803 MR 0262240·Zbl 0181.48803号
[22] Gillam,W.D.,Molcho,S.:带角的对数可微空间和流形。arXiv:1507.06752(2015)
[23] Hironaka,H.:特征为零的域上代数簇奇点的解析。一、 二、。数学年鉴。(2) 79、109-203、205-326(1964)Zbl 0122.38603 MR 0199184·Zbl 1420.14031号
[24] Hironaka,H.:奇点的理想主义指数。收录于:代数几何(马里兰州巴尔的摩,1976年),约翰·霍普金斯大学出版社,马里兰州巴尔的摩,52-125(1977)Zbl 0496.14011 MR 0498562·Zbl 0496.14011号
[25] Hironaka,H.:无限近奇点理论。J.韩国数学。Soc.40,901-920(2003)兹bl 1055.14013 MR 1996845·Zbl 1055.14013号
[26] Illusie,L.,Temkin,M.:第八届博览会。Gabber修正定理(绝对情况)。阿斯特里斯克363-364,103-160(2014)Zbl 1327.14072 MR 3329777·Zbl 1327.14071号
[27] de Jong,A.J.:曲线和变化族。傅里叶协会(格勒诺布尔)47,599-621(1997)Zbl 0868.14012 MR 1450427·Zbl 0868.14012号
[28] Karu,K.:特征零点的半稳定归约。波士顿大学博士论文(1999)MR 2698884·Zbl 0986.14019号
[29] Karu,K.:曲面族和三重曲面族特征零点的半稳定约化。离散计算。Geom.23,111-120(2000)Zbl 0986.14019 MR 1727125·Zbl 0986.14019号
[30] 加藤,K.:Fontaine-Illusie的对数结构。收录于:代数分析、几何和数论(马里兰州巴尔的摩,1988年),约翰·霍普金斯大学出版社,马里兰州巴尔的摩,191-224(1989)Zbl 0776.14004 MR 1463703·Zbl 0776.14004号
[31] Kato,K.:环面奇点。阿默尔。《数学杂志》1161073-1099(1994)Zbl 0832.14002 MR 1296725·Zbl 0832.14002号
[32] Kollár,J.:奇点解析讲座。数学年鉴。Stud.166,普林斯顿大学出版社,普林斯顿,新泽西州(2007)Zbl 1113.14013 MR 2289519 Zbl 06944229·Zbl 1113.14013号
[33] Kollár,J.:环形爆破的部分分辨率。突尼斯数学杂志1,3-12(2019)Zbl 1408.14060 MR 3907731·Zbl 1408.14060号
[34] Laumon,G.,Moret-Bailly,L.:《巴黎圣战报》。埃尔格布。数学。格伦兹格布。柏林施普林格39号(2000)Zbl 0945.14005 MR 1771927·Zbl 0945.14005号
[35] Nizioł,W.:环面奇点:对数向上和全局分辨率。《代数几何杂志》15,1-29(2006)Zbl 0945.14005 MR 2177194·Zbl 1100.14011号
[36] 奥古斯:对数代数几何讲座。剑桥高级数学研究生。178,剑桥大学出版社,剑桥(2018)Zbl 06944229 MR 3838359·Zbl 1437.14003号
[37] 奥尔森,M.:代数空间和堆栈。阿默尔。数学。Soc.Colloq.出版。62,美国。数学。Soc.,Providence,RI(2016)Zbl 1346.14001 MR 3495343·Zbl 1346.14001号
[38] Schwartz,A.J.:等特征0中态射的函数平滑。哈佛大学博士论文(1992)MR 2687722
[39] 堆栈项目作者:堆栈项目。http://stacks.math.columbia.edu
[40] Temkin,M.:相对曲线的稳定修改。《代数几何杂志》19,603-677(2010)Zbl 1211.14032 MR 2669727·Zbl 1211.14032号
[41] Temkin,M.:特征零点中拟优方案的函数去角化:非嵌入情况。杜克大学数学。J.161,2207-2254(2012)兹比尔1285.14015 MR 2957701·Zbl 1285.14015号
[42] Temkin,M.:通过p-蚀变缓和蒸馏和脱氮。数学年鉴。(2) 186、97-126(2017)Zbl 1370.14015 MR 3665001·Zbl 1370.14015号
[43] Temkin,M.:Q上的函数设计:边界和嵌入情况。以色列J.Math.224,455-504(2018)Zbl 1423.14105 MR 3799764·Zbl 1423.14105号
[44] O.维拉市长:Hironaka决议的建设性。科学年鉴。埃科尔规范。补充(4)22,1-32(1989)Zbl 0675.14003 MR 985852·Zbl 0675.14003号
[45] O.村市长:修补当地制服。科学年鉴。埃科尔规范。补充(4)25,629-677(1992)Zbl 0782.14009 MR 1198092·Zbl 0782.14009号
[46] Włodarczyk,J.:特征零点的简单Hironaka分辨率。J.Amer。数学。Soc.18,779-822(2005)Zbl 1084.14018 MR 2163383·Zbl 1084.14018号
[47] 沃达尔奇克,J。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。