×

推导出的McKay对应关系的对数版本。 (英语) Zbl 1411.14022号

设(X)是域(k)上的一个精细饱和对数格式。本文研究了与\(X\)相关的两个主要对象:无限根堆栈\(\sqrt[\infty]X\)和赋值化\(X^{text{val}}\)。无穷根堆栈是通过取\(\sqrt[n]X\)的逆极限而获得的,代数堆栈是通过提取\(X\)对数结构的非平凡轨迹中除数的所有\(n)个根而获得的\(X^{text{val}})是通过取(X\)的所有对数爆破(X_mathcal{I})的逆极限得到的。这两个都是堆叠的pro-objects,它们的完美复合体类别被定义为在(sqrt[n]X\)和(X_mathcal{I}\)上完美复合体dg-categories的共线。
现在假设(X)具有对数平坦基(S)的对数模式(f:X到S)的“简单对数半稳定态射”。这意味着,(f)是对数光滑和垂直的,对于具有图像(s)和非平凡对数结构的(x)的每个几何点(x),都存在同构(上划线M_{s,s}\cong\mathbbN\)和(上划线M_{x,x}\conc\mathbb{N}^{r+1}\)与(r\ge 0\),因此映射(上划线M _{s、s}到上划线M _{x,x})用\(r \)-折叠对角线图\(\ mathbb N\ to \ mathbbN^{r+1}\)标识。
本文的第一个主要结果(被视为全局McKay对应)证明了完全复形的dg-范畴(X^{text{Perf}(X^{val}}_\infty)\cong\text{Perf}_(\sqrt[\infty]X)\)的等价性,其中(X_\inffy)是通过自然映射(sqrt[\ infty]S\ to S\)将族(f:X\ to S~)拉回。如果\(S\)是DVR的频谱,\(0\In\sqrt[\infty]S\)为闭点,则上述等效限制为中心光纤上的等效\(\text{Perf}((X^{text{val}}_\infty)_0)\cong\text{Perf}([\sqrt[\infty]X)_0。
本文的下一个主要结果可以看作是抛物线带轮的分类删减:设(Y,D)是由(k)上的光滑簇(Y)给出的一对,该光滑簇上有一个正规交叉因子(D)。设\(Y',D')\ to(Y,D)\)是对数放大,使得\(Y'',D'\)又是一个具有正规交叉因子的光滑簇。然后,具有有理权重的相干抛物带的有界导出类之间存在等价性(D^b(text{Par}(Y,D)))。

MSC公司:

第14页 滑轮、滑轮衍生类别等(MSC2010)
14D06日 代数几何中的纤维化、简并
14E16号 麦凯通信
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] D.Abramovich和Q.Chen,《Deligne-Faltings对II的稳定对数映射》,《亚洲数学杂志》(2014),465-488.10.4310/AJM.2014.v18.n3.a5·Zbl 1321.14025号 ·doi:10.4310/AJM.2014.v18.n3.a5
[2] D.Abramovich、Q.Chen、D.Gillam、Y.Huang、M.Olsson、M.Satriano和S.Sun,对数几何和模(英文摘要),收录于模手册,第一卷,数学高级讲座(ALM),第24卷,编辑G.Farkas和H.Morrison(国际出版社,马萨诸塞州萨默维尔,2013),第1-61页·Zbl 1322.14023号
[3] D.Abramovich、Q.Chen、S.Marcus、M.Ulirsch和J.Wise,对数结构的骨架和扇子,收录于《非阿基米德和热带几何学》,西蒙斯专题讨论会,编辑M.Baker和S.Payne(查姆斯普林格,2016),287-336.1007/978-319-30945-3_9·兹伯利1364.14047 ·doi:10.1007/978-3-319-30945-39
[4] D.Abramovich,Q.Chen,S.Marcus和J.Wise,稳定对数映射空间的有界性,《欧洲数学杂志》。Soc.(JEMS)19(2017),2783-2809.10.4171/JEMS/728·Zbl 1453.14081号 ·doi:10.4171/JEMS/728
[5] D.Abramovich和B.Fantechi,《退化公式中的Orbifold技术》,《科学年鉴》。标准。超级的。比萨Cl.Sci。(5)16 (2016), 519-579. ·Zbl 1375.14182号
[6] D.Abramovich,K.Matsuki和S.Rashid,关于Morelli及其环面扩张之后复曲面双有理映射的因式分解定理的注记,东北数学。J.(2)51(1999),489-537.10.2748/tmj/1178224717·Zbl 0991.14020号 ·doi:10.2748/tmj/1178224717
[7] D.Abramovich和A.Vistoli,压缩稳定映射的空间,J.Amer。数学。Soc.15(2002),27-75(电子版)。10.1090/S0894-0347-01-00380-0·Zbl 0991.14007号 ·doi:10.1090/S0894-0347-01-00380-0
[8] D.Abramovich和J.Wise,对数Gromov-Write理论中的双有理不变性,作曲。数学.154(2018),595-620.10.1112/S0010437X17007667·Zbl 1420.14124号 ·doi:10.1112/S0010437X17007667
[9] K.Altmann,孤立复曲面Gorenstein奇点的普遍变形,发明。数学128(1997),443-479.10007/s002220050148·Zbl 0894.14025号 ·doi:10.1007/s002220050148
[10] V.Baranovsky和J.Pecharich,《关于派生范畴和奇异范畴的等价性》,Cent。欧洲数学杂志第8期(2010年),1-14.10.2478/11533-009-0063-y·兹比尔1191.14004 ·doi:10.2478/s11533-009-0063-y
[11] D.Ben-Zvi、J.Francis和D.Nadler,《导出代数几何中的积分变换和Drinfeld中心》,J.Amer。数学。Soc.23(2010),909-966.10.1090/S0894-0347-10-00669-7·Zbl 1202.14015号 ·doi:10.1090/S0894-0347-10-00669-7
[12] D.Ben-Zvi、D.Nadler和A.Preygel,相干带轮的积分变换,《欧洲数学杂志》。Soc.(JEMS)19(2017),3763-3812.10.4171/JEMS/753·Zbl 1402.14020号 ·doi:10.4171/JEMS/753
[13] I.Biswas,抛物线束作为球形束,杜克数学。J.88(1997),305-326.10.1215/0012-7094-97-08812-8·Zbl 0955.14010号 ·doi:10.1215/S0012-7094-97-08812-8
[14] N.Borne,《纤维抛物线与种族冠军》,国际数学。Res.不。IMRN2007(2007),艺术ID rnm049,38.10.1093/imrn/rnm048·Zbl 1197.14035号 ·doi:10.1093/imrn/rnm049
[15] N.Borne和A.Vistoli,对数方案上的抛物线滑轮,Adv.Math.231(2012),1327-1363,2016年10月10日/j.aim.2012.06.015·Zbl 1256.14002号 ·doi:10.1016/j.aim.2012.06.015
[16] T.Bridgeland,A.King和M.Reid,《麦凯对应作为派生范畴的等价物》,J.Amer。数学。Soc.14(2001),535-554(电子版)。10.1090/S0894-0347-01-00368-X·Zbl 0966.14028号 ·doi:10.1090/S0894-0347-01-00368-X
[17] I.Burban和B.Kreussler,节点weierstrass立方体上的Fourier-Mukai变换和半稳定滑轮,J.Reine Angew。数学.2005(2005),45-82.10.1515/crll.2005.2005.584.45·Zbl 1085.14018号 ·doi:10.1515/crll.2005.2005.584.45
[18] D.Carchedi,S.Scherotzke,N.Sibilla和M.Talpo,Kato-Nakayama空间,无限根堆栈和profinite同伦类型的对数方案,Geom。白杨21(2017),3093-3158.10.2140/gt.2017.21.3093·Zbl 1401.14113号 ·doi:10.2140/gt.2017.21.3093
[19] Q.Chen,《稳定对数映射到分隔符对I》,《数学年鉴》。(2) 180(2014),455-521.10.4007/年鉴2014.180.2.2·Zbl 1311.14028号 ·doi:10.4007/annals.2014.180.2.2
[20] A.Chiodo,Néron的Pic^0模型通过Pic^0,预印本(2015),arXiv:1509.06483。
[21] L.Cohn,微分分级范畴arek线性稳定∞-范畴,预印本(2013),arXiv:1308.2587。
[22] D.A.Cox,《保守主义品种和保守主义决议》(Birkhäuser Basel,Basel,2000),259-284·Zbl 0969.14035号
[23] V.Drinfeld,Dg类别的Dg商,J.Algebra272(2004),643-6910.1016/J.jalgebra.2003.05.001·Zbl 1064.18009号 ·doi:10.1016/j.jalgebra.2003.05.001
[24] V.Drinfeld和D.Gaitsgory,关于代数堆栈的一些有限性问题,Geom。功能。分析23(2013),149-294.10.10007/s00039-012-0204-5·Zbl 1272.14005号 ·doi:10.1007/s00039-012-0204-5
[25] A.Grothendieck和J.Dieudonné(编辑),《埃及教育》:IV.教育地区教育与社会形态,特洛伊西亚政党,Publ。数学。高等科学研究院。,28 (1966). ·Zbl 0144.19904号
[26] D.Gaitsgory,《几何语言注释:堆栈上的准相干滑轮》(2011),http://abel.math.harvard.edu/gaitsgde/GL/QCohtext.pdf。
[27] D.Gaitsgory,Ind-cocherent滑轮(2012),www.math.harvard.edu/gaitsgde/GL/IndCohtext.pdf。
[28] A.Geraschenko和M.Satriano,《托利克阵营一:堆叠扇子的理论》,Trans。阿默尔。数学。Soc.367(2015),1033-1071.10.1090/S0002-9947-2014-06063-7·Zbl 1346.14034号 ·doi:10.1090/S0002-9947-2014-06063-7
[29] D.Gieseker,稳定束模空间的退化,J.Differential Geom.19(1984),173-206.10.4310/jdg/1214438427·Zbl 0557.14008号 ·doi:10.4310/jdg/1214438427
[30] M.Gross和B.Siebert,对数gromov-write不变量,J.Amer。数学。Soc.26(2013),451-510.10090/S0894-0347-2012-00757-7·Zbl 1281.14044号 ·doi:10.1090/S0894-0347-2012-00757-7
[31] D.Holmes,《普遍雅可比的Néron模型》,Preprint(2014),arXiv:1412.2243。
[32] L.Illusie,对数空间(根据K.Kato),摘自Barsotti代数几何研讨会,数学透视,第15卷(学术出版社,加州圣地亚哥,1994),183-203.1016/B978-0-12-197270-7.50013-9·Zbl 0832.14015号 ·doi:10.1016/B978-0-12-197270-7.50013-9
[33] L.Illusie,《K.Fujiwara、K.Kato和C.Nakayama关于对数上同调的工作概述》,载于《上同调p-adiques et applications arithmeétiques》,II,Astérisque,279,(2002),271-322·Zbl 1052.14005号
[34] M.Kapranov和E.Vassatel,Kleinian奇点,衍生范畴和Hall代数,数学。Ann.316(2000),565-576.10.1007/s002080050344·Zbl 0997.14001号 ·doi:10.1007/s002080050344
[35] K.Kato,《对数退化与迪乌多内理论》,预印本。
[36] K.Kato,Fontaine-Illusie的对数结构,《代数分析、几何和数论》,马里兰州巴尔的摩,1988年(马里兰州巴尔的摩约翰霍普金斯大学出版社,1989年),191-224年·Zbl 0776.14004号
[37] K.Kato和C.Nakayama,C上对数方案的对数Betti上同调、对数故事上同调和对数de Rham上同调,Kodai Math。J.22(1999),161-186.10.2996/kmj/1138044041·Zbl 0957.14015号 ·doi:10.2996/kmj/1138044041
[38] Y.Kawamata,Log creant birational maps and derived categories,J.Math。科学。东京大学12(2005),211-231·Zbl 1095.14014号
[39] B.Keller,《关于微分等级类别》,《国际数学家大会论文集》,马德里,2006年8月22日至30日(欧洲数学学会,苏黎世,2007),151-190.10.4171/022-2/8·兹比尔1140.18008 ·doi:10.4171/022-2/8
[40] G.Kempf、F.F.Knudsen、D.Mumford和B.Saint-Donat,《环形嵌入,数学课堂讲稿》,第1卷(Springer,Berlin,Heidelberg,1973),2007年10月10日/BFb0070318·Zbl 0271.14017号 ·doi:10.1007/BFb0070318
[41] 李俊杰,gw变体的退化公式,《微分几何》60(2002),199-293.10.4310/jdg/1090351102·Zbl 1063.14069号 ·doi:10.4310/jdg/1090351102
[42] 李建华、鲍森,《配额模式和相干系统的良好退化》,《Comm.Ana》。Geom.23(2015),841-921.10.4310/CAG.2015.v23.n4.a5·Zbl 1349.14014号 ·doi:10.4310/CAG.2015.v23.n4.a5
[43] J.Lurie,高等代数(2016),http://www.math.harvard.edu/lurie/papers/HA.pdf。
[44] J.Martens和M.Thaddeus,作为束的模堆栈的还原群的压缩,合成。数学152(2016),62-98.10.1112/S0010437X15007484·Zbl 1390.14043号 ·doi:10.1112/S0010437X15007484
[45] A.Niles,通过扭曲稳定映射的椭圆曲线模,代数数论7(2013),2141-2202.10.2140/ant.2013.7.2141·Zbl 1333.11057号 ·doi:10.2140/ant.2013.7.2141
[46] W.Nizioł,《环面奇点:对数向上和整体分辨率》,J.Algebraic Geom.15(2006),1-29.10.1090/S1056-3911-05-00409-1·Zbl 1100.14011号 ·doi:10.1090/S1056-3911-05-00409-1
[47] W.Nizioł,逻辑模式的K-理论。一、 文件。数学13(2008),505-551·兹比尔1159.19003
[48] W.Nizioł,通过K理论的半稳定猜想,杜克数学。J.141(2008),151-178.10.1215/S0012-7094-08-14114-6·Zbl 1157.14009号 ·doi:10.1215/S0012-7094-08-14114-6
[49] M.Olsson,对数代数堆栈和对数方案模,加州大学伯克利分校博士论文(ProQuest LLC,密歇根州安阿伯,2001)。
[50] M.Olsson,对数几何和代数堆栈,《科学年鉴》。埃及。标准。上级。(4) 36(2003),747-791.10.1016/j.ansens.2002.11.001·Zbl 1069.14022号 ·doi:10.1016/j.ansens.2002.11.001
[51] M.Olsson,半稳定品种的通用原木结构,东北数学。J.(2)55(2003),397-438.10.2748/tmj/1113247481·兹伯利1069.14015 ·doi:10.2748/tmj/1113247481
[52] M.Olsson,对数余切复数,数学。Ann.333(2005),859-931.10.1007/s00208-005-0707-6·Zbl 1095.14016号 ·doi:10.1007/s00208-005-0707-6
[53] V.Pahnke,Uniformisierung log-abelscher Varieäten,Schriftenreihe des Mathematischen Institutes der Universityät Münster 3 Serie(乌尔姆大学,2005年)·Zbl 1115.14039号
[54] J.Pascaleff和N.Sibilla,拓扑Fukaya范畴和穿孔表面的镜像对称,预印(2016),arXiv:1604.06448·Zbl 1421.53085号
[55] N.Rozenblyum,《∞类过滤性结肠炎》,预印本(2012年),http://www.math.harvard.edu/gaitsgde/GL/colimits.pdf。
[56] P.Berthelot、A.Grothendieck和L.Illusie(编辑),《十字路口与黎曼-罗赫的交集》,《阿尔盖布里克的Géométrie》(SGA 6),Bois Marie,1966-1967年,《数学讲义》,第225卷(施普林格,柏林,海德堡,1971年)·Zbl 0222.14012号
[57] S.Scherotzke、N.Sibilla和M.Talpo,对数方案的加法不变量,预印本(2018),arXiv:1803.06398·Zbl 1411.14022号
[58] N.Sibilla,维度1中的镜像对称和Fourier-Mukai变换,同调镜像对称和热带几何学,Unione Matematica Italiana的讲义,第15卷(Springer,Cham,2014),407-428·Zbl 1316.14038号
[59] N.Sibilla,关于在派生类别上映射类组操作的注释,Proc。阿默尔。数学。Soc.142(2014),1837-1848.10.1090/S0002-9939-2014-11914-9·Zbl 1297.14046号 ·doi:10.1090/S0002-9939-2014-11914-9
[60] PSolis,曲线上G-束模量的完全退化,Preprint(2013),arXiv:1311.6847。
[61] Stacks项目作者。Stacks项目(2018年),http://stacks.math.columbia.edu。
[62] GTabuada,联合国儿童基金会(Une structure de catégorie de modèles de Quillen sur la catégorie des dg catégories),C.R.数学。阿卡德。科学。巴黎340(2005年),2016年10月15日至10日/j.crma.2004.11.007·Zbl 1060.18010号 ·doi:10.1016/j.crma.2004.11.007
[63] M.Talpo,极化对数方案上抛物线滑轮的模量,Trans。阿默尔。数学。Soc.369(2017),3483-3545.10.1090/tran/6747·Zbl 1401.14063号 ·doi:10.1090/tran/6747
[64] M.Talpo,实际重量作为Kato-Nakayama空间滑轮的抛物线滑轮,《高级数学》336(2018),97-148.10.1016/j.aim.2018.07.031·Zbl 1403.14034号 ·doi:10.1016/j.aim.2018.07.031
[65] M.Talpo和A.Vistoli,对数结构的一般形式,Boll。意大利统一材料协会(2017),doi:10.1007/s40574-017-0149-6·Zbl 1423.14015号
[66] M.Talpo和A.Vistoli,Kato-Nakayama空间作为超越根堆栈,国际数学。Res.不。IMRN(2017),rnx079;doi:10.1093/imrn/rnx079·Zbl 1409.14006号
[67] M.Talpo和A.Vistoli,对数方案上的无限根堆栈和准相干带轮,Proc。伦敦。数学。Soc.(3)117(2018),1187-1243.10.1112/plms.12109·Zbl 1439.14014号 ·doi:10.1112/plms.12109
[68] R.W.Thomason和T.Trobaugh,方案和派生范畴的高等代数K-理论,收录于《格罗森迪克费斯切里夫》,第三卷,《数学进展》,第88卷(Birkhäuser,马萨诸塞州波士顿,1990年),247-435.1007/978-0-8176-4576-2_10·Zbl 0731.14001号 ·doi:10.1007/978-0-8176-4576-2_10
[69] 托恩,dg-范畴的同伦理论和派生的森田理论,发明。数学167(2007),615-667.10.1007/s00222-006-0025-y·Zbl 1118.18010号 ·数字对象标识代码:10.1007/s00222-006-0025-y
[70] B.Toön,《关于dg-范畴的讲座》,《代数和拓扑K-理论专题》,数学课堂讲稿,第2008卷(Springer,Berlin,Heidelberg,2011),243-302·Zbl 1216.18013号
[71] J.Włodarczyk,爆破和爆破中双有理复曲面图的分解,Trans。阿默尔。数学。Soc.349(1997),373-41.10.1090/S0002-9947-97-01701-7·Zbl 0867.14005号 ·doi:10.1090/S0002-9947-97-01701-7
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。