×

Newton-Okounkov体、团簇对偶性和格拉斯曼人的镜像对称性。 (英语) Zbl 1439.14142号

摘要:我们使用团簇结构和镜像对称性来显式描述格拉斯曼人的一类自然牛顿-奥库努科夫体。我们考虑Grassmannian\(\mathbb{X}=\mathrm{组}_{n-k}(\mathbb{C}^n),以及镜像对偶Landau-Ginzburg模型((check{mathbb}X}}^{circ},W:check{mathbb{X}}^{cic}\to\mathbb{C}),其中\(check}}=\mathrm{组}(_k)((mathbb{C}^n)^*)和超势(W)有一个简单的普吕克坐标表达式。格拉斯曼人同时具有簇变种和簇变种的结构;粗略地说,簇的多样性是通过将一组tori沿着双向映射粘合在一起而获得的。给定一个plabic图或更一般地说,一个簇种子(G),我们考虑两个相关的坐标系:网络或(mathcal{X})-簇图(Phi_G:(mathbb{C}^*)^{k(n-k)}到{mathbb}X}}^{circ})和Plücker簇或(n-k)}\检查{\mathbb{X}}^{\circ}\)。这里的\({\mathbb{X}}^{\circ}\)和\(\check{\mathbb{X{}^{\ circ})分别是\(\mathbb{X}\)与\(\check{\mathbb{X}}\)中的开放正电子阵变种。对于每一个(mathcal{X})-簇图(Phi_G)和(mathbb{X}\setminus{mathbb}X}}^{circ})中的充分边界除数(D),我们关联了一个Newton-Okounkov体(Delta_G(D)),它定义为有理点的凸壳;这些点是从(mathbb{X})上的(f)的Laurent多项式(Phi_G^*(f))的前导项的多阶得到的,极点由(D)的某些倍数限定。另一方面,使用镜像侧的(mathcal{A})-簇图(Phi_G^{vee}),通过将超势(W)写为\(mathcal{A}\)-簇坐标中的Laurent多项式,然后进行热带化,我们获得了一组有理多胞体-用不等式描述。我们的第一个主要结果是,Newton-Okounkov体(Delta_G(D))和镜面上热带化得到的多面体重合。作为应用,我们构造了对应于这些Newton-Okounkov体(扩张)的Grassmannian到正规复曲面变体的简并。我们的第二个主要结果是在簇种子(G)对应于plabic图的情况下,Newton-Okounkov体的晶格点的杨图显式组合公式。这个公式是根据格拉斯曼的量子舒伯特微积分来解释的。

MSC公司:

14月15日 格拉斯曼流形、舒伯特流形、旗流形
14J33型 镜像对称(代数几何方面)
52B20型 凸几何中的格多面体(包括与交换代数和代数几何的关系)
13层60 簇代数

软件:

枫树;多晶的
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] M.Akhtar,《多边形箭袋》,预印本,arXiv:1907.08634[math.AG]。
[2] M.Akhtar、T.Coates、S.Galkin和A.M.Kasprzyk,Minkowski多项式和突变,SIGMA对称可积几何。方法应用。8(2012),第094号·2014年5月12日
[3] V.Alexeev和M.Brion,球面变体的Toric简并,Selecta Math。(N.S.)10(2004),第4期,453-478·Zbl 1078.14075号 ·doi:10.1007/s00029-005-0396-8
[4] D.Anderson,Okounkov体和复曲面简并,数学。Ann.356(2013),第3期,1183-1202·Zbl 1273.14104号 ·doi:10.1007/s00208-012-0880-3
[5] V.V.Batyrev、I.Ciocan-Fontanine、B.Kim和D.van Straten,部分标志流形的镜像对称和复曲面退化,数学学报。184(2000),第1期,第1-39页·Zbl 1022.14014号 ·doi:10.1007/BF02392780
[6] A.Berenstein、S.Fomin和A.Zelevinsky,规范基和全正矩阵的参数化,高等数学。122(1996),第1期,第49-149页·兹伯利0966.17011 ·doi:10.1006/aima.1996.0057
[7] A.Berenstein、S.Fomin和A.Zelevinsky,《簇代数》,第三卷:上界和双Bruhat细胞,杜克数学。J.126(2005),第1期,第1-52页·Zbl 1135.16013号 ·doi:10.1215/S0012-7094-04-12611-9
[8] A.Berenstein和D.Kazhdan,《几何晶体和单能晶体,II:从单能双晶到晶体碱》,载于《量子群》,Contemp。数学。433,美国。数学。Soc.,普罗维登斯,2007年,13-88·兹比尔1154.14035
[9] A.Berenstein和A.Zelevinsky,舒伯特变种的完全积极性,评论。数学。Helv公司。72(1997),第1期,第128-166页·Zbl 0891.20030号 ·doi:10.1007/PL00000363
[10] L.Bossinger,X.Fang,G.Fourier,M.Hering,和M.Lanini,通过plabic图的\(\operatorname{Gr}(2,n)\)和\(\operatorname}(3,6)\)的Toric简并,Ann.Comb。22(2018),第3期,491-512·兹比尔1454.14119 ·doi:10.1007/s00026-018-0395-z
[11] L.Bossinger、B.Frías-Medina、T.Magee和A.Nájera Chávez,《簇变种的Toric简并与簇二元性》,预印本,arXiv:1809.08369v3[math.AG]·Zbl 1454.13030号
[12] M.Brion,《Séminaire d'algèbre Paul Dubreil et Marie-Paule Malliavin》(巴黎,1986年)中的“应用时刻的图像”,数学课堂笔记。1296年,柏林施普林格,1987年,177-192年·Zbl 0667.58012号
[13] D.A.Cox、C.Haase、T.Hibi和A.Higashitani,扩张多面体的整数分解性质,电子。J.Combin.21(2014),第4号,第4.28条·Zbl 1308.52012号
[14] T.Eguchi、K.Hori和C.S.Xiong,引力量子上同调,国际。现代物理学杂志。A 12(1997),第9期,1743-1782·Zbl 1072.32500号 ·doi:10.1142/S0217751X97001146
[15] V.Fock和A.Goncharov,局部系统的模空间和高等Teichmüller理论,Publ。数学。高等科学研究院。103(2006),第1期,第1-211页·Zbl 1099.14025号
[16] V.Fock和A.Goncharov,《星团系综、量子化和双对数》,《科学年鉴》。埃及。标准。上级。(4) 42(2009),第6期,865-930·Zbl 1180.53081号 ·doi:10.24033/asens.2112
[17] S.Fomin和A.Zelevinsky,《簇代数》,I:基础,J.Amer。数学。Soc.15(2002),第2期,第497-529页·Zbl 1021.16017号 ·doi:10.1090/S0894-0347-01-00385-X
[18] S.Fomin和A.Zelevinsky,簇代数,IV:系数,合成。数学。143(2007),第1期,第112-164页·Zbl 1127.16023号 ·doi:10.1112/S0010437X06002521
[19] W.Fulton,《保守主义变体导论》,《数学年鉴》。研究生131,普林斯顿大学出版社,普林斯顿,1993年·Zbl 0813.14039号
[20] W.Fulton和C.Woodward,关于舒伯特类的量子乘积,J.代数几何。13(2004),第4期,641-661·Zbl 1081.14076号 ·doi:10.1090/S1056-3911-04-00365-0
[21] E.Gawrilow和M.Joswig,《多边形组合与计算》(Oberwolfach,1997)中的“多边形:分析凸多边形的框架”,DMV Sem.29,Birkhäuser,巴塞尔,2000,43-73·兹伯利0960.68182
[22] M.Gekhtman、M.Shapiro、A.Stolin和A.Vainshtein,与Grassmannians中的簇代数结构兼容的泊松结构,Lett。数学。物理。100(2012),第2期,139-150·兹比尔1252.53093 ·doi:10.1007/s11005-012-0547-8
[23] M.Gekhtman、M.Shapiro和A.Vainshtein,《簇代数和泊松几何》,Mosc。数学。J.3(2003),第3期,899-934·Zbl 1057.53064号 ·doi:10.17323/109-4514-2003-3-899-934
[24] I.M.Gel'fand和M.L.Tsetlin,幺模矩阵群的有限维表示,Doklady Akad。Nauk SSSR(N.S.)71(1950),825-828·Zbl 0037.15301号
[25] A.B.Givental,“定态相位积分、量子Toda晶格、标志流形和镜像猜想”,载于《奇点理论专题》,Amer。数学。社会事务处理。序列号。2 180,美国。数学。普罗维登斯,1997年,103-115·Zbl 0895.3206号
[26] A.Goncharov和L.Shen,规范基几何和镜像对称,《发明》。数学。202(2015),第2期,487-633·Zbl 1355.14030号 ·doi:10.1007/s00222-014-0568-2
[27] A.Goncharov和L.Shen,Donaldson-局部系统模空间的Tomas变换,高等数学。327 (2018), 225-348. ·Zbl 1434.13022号
[28] B.H.Gross和N.R.Wallach,《关于齐次射影变种的希尔伯特多项式和希尔伯特级数》,《算术几何与自守形式》,高等法学出版社。数学。(ALM)19,国际出版社,马萨诸塞州萨默维尔,2011年,253-263·Zbl 1310.14044号
[29] M.Gross,P.Hacking和S.Keel,簇代数的二元几何,代数。地理。2(2015),第2期,137-175·Zbl 1322.14032号 ·doi:10.14231/AG-2015-007
[30] M.Gross、P.Hacking、S.Keel和M.Kontsevich,簇代数的规范基,J.Amer。数学。Soc.31(2018),第2期,497-608·Zbl 1446.13015号 ·doi:10.1090/jams/890
[31] M.Harada和K.Kaveh,可积系统,复曲面简并和Okounkov体,发明。数学。202(2015),编号3,927-985·Zbl 1348.14122号 ·doi:10.1007/s00222-014-0574-4
[32] R.Hartshorne,代数几何,梯度。数学课文。纽约斯普林格52号,1977年·Zbl 0367.14001号
[33] J.Judd,旗品种超电位的热带临界点,J.Algebra 497(2018),102-142·Zbl 1419.14087号 ·doi:10.1016/j.代数.2017.11.019
[34] M.Kashiwara,个人沟通,2009年7月。
[35] K.Kaveh,SAGBI基础和球面品种向复曲面品种的退化,密歇根数学。J.53(2005),第1期,109-121·Zbl 1076.14071号 ·doi:10.1307/mmj/1114021088
[36] K.Kaveh,Crystal bases and Newton-Okounkov bodys,Duke Math。J.164(2015),第13期,2461-2506·Zbl 1428.14083号 ·doi:10.1215/00127094-3146389
[37] K.Kaveh和A.G.Khovanskii,与还原基团作用相关的凸体,Mosc。数学。J.12(2012),第2期,369-396·Zbl 1284.14061号 ·doi:10.17323/109-4514-2012-12-2-369-396
[38] K.Kaveh和A.G.Khovanskii,Newton-Okounkov体,积分半群,分次代数和交集理论,数学年鉴。(2) 176(2012),第2期,925-978·Zbl 1270.14022号 ·doi:10.4007/annals.2012.176.2.5
[39] K.Kaveh和A.G.Khovanskii,仿射变种上的凸体和代数方程,预印本,arXiv:0804.4095v1[math.AG]·Zbl 1316.52011年
[40] K.Kaveh和C.Manon,Khovanskii基地,高等级估价和热带几何,SIAM J.Appl。代数几何。3(2019),第2期,292-336·Zbl 1423.13145号 ·doi:10.137/17M1160148
[41] A.Knutson、T.Lam和D.E.Speyer,正电子体变种:杂乱和几何,作曲。数学。149(2013),第10期,1710-1752·Zbl 1330.14086号 ·doi:10.1112/S0010437X13007240
[42] Y.Kodama和L.Williams,KP孤子和Grassmannian的总正性,发明。数学。198(2014),第3期,637-699·Zbl 1306.35109号 ·doi:10.1007/s00222-014-0506-3
[43] A.Küronya、V.Lozovanu和C.Maclean,凸体作为除数的Okounkov体出现,高级数学。229(2012),第5期,2622-2639·兹比尔1253.14008 ·doi:10.1016/j.aim.2012.01.013
[44] R.Lazarsfeld和M.Mustaţ,线性级数相关的凸体,《科学年鉴》。埃及。标准。上级。(4) 42(2009),第5期,783-835·Zbl 1182.14004号
[45] K.Lee和R.Schifler,簇代数的正性,数学年鉴。(2) 182(2015),第1期,73-125·Zbl 1350.13024号 ·doi:10.4007/编年史。2015.1821.2
[46] G.Lusztig,量子化包络代数产生的规范基,J.Amer。数学。Soc.3(1990),第2期,447-498·Zbl 0703.17008号 ·doi:10.1090/S0894-0347-1990-1035415-6
[47] G.Lusztig,“约化群中的全正性”,《李论与几何》,Progr。数学。123,Birkhäuser Boston,波士顿,1994,531-568·兹伯利0845.20034
[48] G.Lusztig,《量子群导论》,1994年版重印,修订版。Birkhäuser类。,Birkhäuser/Springer,纽约,2010年·Zbl 1246.17018号
[49] D.Maclagan和B.Sturmfels,热带几何学导论,Grad。学生数学。阿默尔161。数学。Soc.,普罗维登斯,2015年·Zbl 1321.14048号
[50] T.Magee,Fock-Goncharov猜想和(U子集)的多面体锥{SL}_n\)和基仿射空间\(\text{SL}_n/U),预打印,arXiv:1502.03769v1[math.AG]。
[51] T.Markwig,热带几何广义Puiseux级数的一个领域,Rend。塞明。马特大学政治学院。都灵68(2010),第1号,79-92·2010年4月12日Zbl
[52] R.J.Marsh和K.Rietsch,旗品种参数化,代表。理论8(2004),212-242·兹比尔1053.14057 ·doi:10.1090/S1088-4165-04-00230-4
[53] R.J.Marsh和K.Rietsch,《格拉斯曼人的B模型连接和镜像对称》,预印本,arXiv:1307.1085v2[math.AG]·Zbl 1453.14104号
[54] R.J.Marsh和J.S.Scott,作为二聚体配分函数的普吕克坐标的扭曲,Comm.Math。物理。341(2016),第3期,821-884·Zbl 1341.13009号 ·doi:10.1007/s00220-015-2493-7
[55] G.Muller,个人沟通,2016年。
[56] G.Muller和D.E.Speyer,正小行星品种的扭曲,Proc。伦敦。数学。Soc.(3)115(2017),第5期,1014-1071·Zbl 1408.14154号 ·doi:10.1112/plms.12056
[57] Y.Nohara和K.Ueda,格拉斯曼和多边形空间上可积系统的Toric退化,名古屋数学。J.214(2014),125-168·Zbl 1304.37037号 ·doi:10.1215/0277630-2643839
[58] A.Okounkov,多重数的Brunn-Minkowski不等式,发明。数学。125(1996),第3期,405-411·Zbl 0893.52004号 ·doi:10.1007/s002220050081
[59] A.Okounkov,“多重性和牛顿多胞体”,基里洛夫表征理论研讨会,Amer。数学。社会事务处理。序列号。2 181,美国。数学。普罗维登斯州立大学,1998年,231-244·Zbl 0920.20032号
[60] A.Okounkov,“为什么多重数是对数曲线?”,载于《几何和物理中的轨道方法》(马赛,2000年),Progr。数学。213,Birkhäuser Boston,波士顿,2003,329-347·Zbl 1063.22024号
[61] A.Postnikov,量子舒伯特微积分的仿射方法,杜克数学。J.128(2005),第3期,473-509·Zbl 1081.14070号 ·doi:10.1215/S0012-7094-04-12832-5
[62] A.Postnikov,《总体积极性》,《格拉斯曼主义与网络》,预印本,网址:http://www-math.mit.edu/apost/papers/tpgrass.pdf。
[63] A.Postnikov、D.Speyer和L.Williams,《匹配多面体、复曲面几何和格拉斯曼的非负部分》,预印本,arXiv:0706.2501v3[math.AG]·Zbl 1264.20045号 ·doi:10.1007/s10801-008-0160-1
[64] A.Postnikov、D.Speyer和L.Williams,《匹配多面体、复曲面几何和完全非负Grassmannian》,《代数组合》30(2009),第2期,第173-191页·兹比尔1264.20045 ·doi:10.1007/s10801-008-0160-1
[65] J.Propp,《图形定向的格结构》,预印本,arXiv:math/0209005v1[math.CO]。
[66] K.Rietsch,彼得森变种完全非负部分的镜像构造,名古屋数学。J.183(2006),105-142·Zbl 1111.14048号 ·doi:10.1017/S0027763000009272
[67] K.Rietsch,(qH^{ast}_T(G/P){(q)})的镜像对称结构,高级数学。217(2008),第6期,2401-2442·兹伯利1222.14107
[68] J.S.Scott,格拉斯曼和簇代数,Proc。伦敦。数学。Soc.(3)92(2006),第2期,345-380·Zbl 1088.2009年 ·doi:10.1112/S0024611505015571
[69] L.Shen和D.Weng,《格拉斯曼人的循环筛选和簇对偶性》,预印本,arXiv:1803.06901v1[math.RT]·Zbl 1471.13048号
[70] D.Speyer和L.Williams,热带全正Grassmannian,代数组合22(2005),第2期,189-210·Zbl 1094.14048号 ·doi:10.1007/s10801-005-2513-3
[71] K.Talaska,与平面网络相关的普吕克坐标公式,国际数学。Res.不。IMRN 2008,艺术ID号081·Zbl 1170.05031号
[72] K.Talaska和L.Williams,格拉斯曼网络参数化,代数数论7(2013),第9期,2275-2311·Zbl 1281.14042号 ·doi:10.2140/ant.2013.7.2275
[73] B.Teissier,《估值理论及其应用》第二卷(萨斯卡通,SK,1999)中的“估值、变形和双曲面几何”,Fields Inst.Commun。33,美国。数学。Soc.,普罗维登斯,2003年,361-459·Zbl 1061.14016号
[74] H.Williams,集群合奏和Kac-Moody小组,高级数学。247 (2013), 1-40. ·Zbl 1317.13056号 ·doi:10.1016/j.aim.2013.07.008
[75] L.Williams,Maple代码,可按要求提供。
[76] A.Yong,量子舒伯特微积分的度界,Proc。阿默尔。数学。Soc.131(2003),第9期,2649-2655·Zbl 1064.14066号 ·doi:10.1090/S0002-9939-03-06850-3
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。