×

Gröbner基、对称矩阵和C型Kazhdan-Lusztig变种。 (英语) Zbl 07811232号

Let\(\operatorname{西班牙语}_{2n}是特征为(0)的代数闭域上的辛群。考虑(operatorname)中上三角可逆矩阵的相反Borel子群(分别是(B_{2n}^-\){西班牙语}_{2n}\)(分别是\(\运算符名称中的下三角可逆矩阵{西班牙语}_{2n}\))。对于各种类型的C总计标志\(\operatorname{西班牙语}_{2n}/B_{2n}^+\)的C型相对舒伯特细胞\(\ Omega_v ^{\circ}\)由相应的Weyl群\(C_n\)的元素索引,该Weyl群\(C_n\)可以被识别为满足\(v(2n-i+1)=2n-v(i)+1\)的置换集\(v\ in S_{2n}\),对于\(1\leq i\leq n\)。每个C型相对的舒伯特细胞或变种都是对\(\运算符名称的限制{西班牙语}_对应A类舒伯特细胞或变种的{2n}/B_{2n{^+\)。以下A.吴A.勇[J.Algebra 320,第2期,495–520(2008;Zbl 1152.14046号); Am.J.数学。134,第4期,1089–1137(2012年;Zbl 1262.13044号)]作者将C型Kazhdan-Lusztig变种({mathcal N}{v,w}=X_w\cap\Omega_v^{circ})定义为a型舒伯特变种(X_w)与相反的C型舒伯特细胞(Omega-v^{circ}\)的交集,或者等价地,C型舒贝尔变种与相反的C-舒伯特细胞的交集。
第一个主要结果,命题4.7表明,对于避免置换,相反类型C舒伯特细胞(Omega_v^{circ})的坐标环(R_v)可以用多项式环({mathbb K}[z{ij}]])来标识,其不确定性是一般对称的项(n次n次)非零项位于斜Young图中的矩阵。通过选择坐标,作者确定了C型Kazhdan-Lusztig变种的定义理想,首先表明这些理想正是相反细胞所回避的地方。利用这种描述,在定理4.15中,他们给出了这些理想相对于任何对角项阶具有无平方初始项的Gröbner基。因此,他们获得了他们的初始理想的素分解和他们的多级希尔伯特级数的组合公式。

MSC公司:

14月15日 格拉斯曼流形、舒伯特流形、旗流形
14个M12 决定性品种
14N15号 经典问题,舒伯特微积分
13页第10页 Gröbner碱;理想和模块的其他基础(例如Janet和border基础)

软件:

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

参考文献:

[1] H.H.Andersen、J.C.Jantzen和W.Soergel,量子群在单位根的表示和半单群在特征根的表示:(p)的独立性,Astérisque220(1994),321·兹比尔0802.17009
[2] 安德森,符号置换的图和基本集,电子。J.Combine5(2018),第3期,论文3.46,23·兹伯利1412.14033
[3] D.Anderson、T.Ikeda、M.Jeon和R.Kawago,无理Schubert变种中奇点的多重性,预印本,arXiv:2112.073752021。
[4] N.Bergeron和S.Billey,RC图和舒伯特多项式,实验。数学2(1993),第4期,257-269·Zbl 0803.05054号
[5] S.Billey和M.Haiman,经典群的舒伯特多项式,J.Amer。数学。Soc.8(1995),第2期,443-482·Zbl 0832.05098号
[6] S.C.Billey,Kostant多项式和(G/B)的上同调环,杜克数学。J.96(1999),第1期,205-224·Zbl 0980.22018号
[7] S.C.Billey、W.Jockusch和R.P.Stanley,舒伯特多项式的一些组合性质,《代数组合》2(1993),第4期,第345-374页·Zbl 0790.05093号
[8] A.S.Buch和R.Rimányi,Grothendieck多项式的特殊化,C.R.数学。阿卡德。科学。Paris339(2004),第1期,第1-4页·Zbl 1051.14062号
[9] A.Fink、J.Rajchgot和S.Sullivant,矩阵舒伯特变种和高斯条件独立模型,J.代数组合44(2016),第4期,1009-1046·Zbl 1411.14060号
[10] S.Fomin和A.N.Kirillov,《杨巴克斯特方程、对称函数和舒伯特多项式》,《形式幂级数和代数组合学第五届会议论文集》(Florence,1993),第153卷,1996年,第123-143页·Zbl 0852.05078号
[11] W.Fulton,Flags,Schubert多项式,简并位点,行列式,杜克数学。J.65(1992),第3期,381-420·Zbl 0788.14044号
[12] W.Fulton,Young tableaux,伦敦数学学会学生课本,第35卷,剑桥大学出版社,1997年。应用于表示理论和几何学·Zbl 0878.14034号
[13] W.Fulton和P.Pragacz,舒伯特变种和简并位点,数学讲义,第1689卷,施普林格,柏林,1998年。附录J由作者与I.Ciocan‐Fontanine合作编写·Zbl 0913.14016号
[14] S.R.Ghorpade和K.N.Raghavan,辛Grassmannian中Schubert变量上点的Hilbert函数,Trans。阿默尔。数学。Soc.358(2006),第12期,5401-5423·Zbl 1111.14046号
[15] E.Gorla,J.C.Migliore和U.Nagel,Gröbner bases via linkage,J.Algebra384(2013),110-134·Zbl 1315.13042号
[16] E.Gorla,《对称阶梯和G‐biliaison》,联络,肖特基问题和不变理论,Progr。数学。,第280卷,Birkhäuser Verlag,巴塞尔,2010年,第49-62页·Zbl 1203.13015号
[17] W.Graham,等变理论和舒伯特变种,2002年。未发布。
[18] D.R.Grayson和M.E.Stillman,Macaulay 2,代数几何研究软件系统。可在网址:http://www.math.uiuc.edu/Macauly2/。
[19] Z.Hamaker、E.Marberg和B.Pawlowski,《内卷化管梦》,塞姆出版社。洛萨。组合82B(2020年),第63、12条·Zbl 1435.05235号
[20] F.Harary,图的邻接矩阵的行列式,SIAM Rev.4(1962),202-210·Zbl 0113.17406号
[21] T.Ikeda、L.C.Mihalcea和H.Naruse,经典群的双舒伯特多项式,《高等数学》226(2011),第1期,840-886·Zbl 1291.05222号
[22] 池田(T.Ikeda)和纳鲁斯(H.Naruse),激励杨图和等变Schubert演算,Trans。阿默尔。数学。Soc.361(2009),第10期,5193-5221·Zbl 1229.05287号
[23] J.C.Jantzen,代数群的表示,《数学调查与专著》,第二版,第107卷,美国数学学会,普罗维登斯,RI,2003年·Zbl 1034.20041号
[24] D.Kazhdan和G.Lusztig,Coxeter群和Hecke代数的表示,发明。《数学53》(1979),第2期,165-184·Zbl 0499.20035号
[25] A.N.Kirillov,《关于经典群的双Schubert和Grothendieck多项式》,Preprint,arXiv:1504.014692015年。
[26] A.N.Kirillov和H.Naruse,使用idCoxeter代数构造经典类型的双重Grothendieck多项式,东京J.Math.39(2017),第3期,695-728·Zbl 1364.05081号
[27] A.Knutson,Schubert补片退化为子字复合体,Transform。第13组(2008年),第3-4、715-726号·Zbl 1200.14099号
[28] A.Knutson,Frobenius spliting,point‐counting,and degregation,Preprint,arXiv:0911.49412009年。
[29] A.Knutson和E.Miller,Coxeter群中的子词复合体,《高级数学》184(2004),第1期,161-176·Zbl 1069.20026号
[30] A.Knutson和E.Miller,Schubert多项式的Gröbner几何,数学年鉴。(2) 161(2005),第3期,1245-1318·Zbl 1089.14007号
[31] B.Kostant和S.Kumar,广义旗变种的(T)-等变(K)-理论,J.Differential Geom.32(1990),第2期,549-603·Zbl 0731.55005号
[32] V.Kreiman,等变K理论中的Schubert类和Lagrangian Grassmannian的等变上同调,预印本,arXiv:06022452006。
[33] V.Lakshmibai和K.N.Raghavan,标准单项式理论,《数学科学百科全书》,第137卷,施普林格,柏林,2008年。不变量理论方法,不变量理论和代数变换群,8·Zbl 1137.14036号
[34] E.Marberg和B.Pawlowski,《正交和辛轨道闭合的理论公式》,《高等数学》372(2020),107299,43·兹比尔1440.19006
[35] E.Miller和B.Sturmfels,组合交换代数,数学研究生教材,第227卷,Springer,纽约,2005年·Zbl 1090.13001号
[36] H.Sachs、Über Teiler、Faktoren和charakteritische石墨烯多聚体。一、 威斯。苏黎世理工学院。《伊尔梅诺》12(1966),7-12·Zbl 0138.19503号
[37] E.Smirnov和A.Tutubalina,经典群舒伯特多项式的Pipe dreams,Preprint,arXiv:2009.1412020。
[38] R.P.Stanley,《组合数学和交换代数》,第二版,《数学进展》,第41卷,Birkhäuser Boston,Inc.,马萨诸塞州波士顿,1996年·Zbl 0838.13008号
[39] J.Tymoczko,Billey在组合学、几何学和拓扑学中的公式,Schubert calculus-Osaka 2012,高级数学研究生。,第71卷,数学。Soc.,日本,东京,2016年,第499-518页·Zbl 1379.05125号
[40] M.Willems,Cohomologie et \(K \)‐théorie equivalariates des variétés de Bott‐Samelson et des variaés d dreaaux,公牛。Soc.数学。France132(2004),第4期,569-589·Zbl 1087.19004号
[41] A.Woo,超八面体基团的Hultman元素,电子。J.Combine5(2018),第2期,论文2.41,25·Zbl 1486.20052号
[42] A.Woo和A.Yong,《Schubert变种的管理奇点》,J.Algebra320(2008),第2期,495-520·Zbl 1152.14046号
[43] A.Woo和A.Yong,《卡日丹·卢斯提格理想的Gröbner基础》,Amer。《数学杂志》134(2012),第4期,1089-1137·Zbl 1262.13044号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。