×

晶体和树:准Kashiwara算子、二叉树的幺半群和Robinson-Schensted型对应。 (英语) Zbl 1382.05073号

摘要:Kashiwara的晶体图有一个自然的幺半群结构,它是通过标识出现在同构组件相同位置的标记顶点的单词而产生的。著名的platic幺半群(Young tableaux的幺半群)就是这样从一般线性李代数(mathfrak)的(q)类比晶体图中产生的{gl}n\),以及所谓的Kashiwara算子与Young tableaux的组合数学和Robinson-Shensted-Knuth对应关系完美地相互作用。作者之前为相关的低乳酸幺半群(拟里本表的幺半群)构建了类似的“准晶体”结构,该结构具有类似的整洁组合特性。本文为sylvester和Baxter幺半群(分别是二叉搜索树的幺半群和双叉搜索树对的幺半)构造了一个类似的“晶体型”结构。这两个幺半群都是从这个结构中产生的,就像platic幺半群从通常的晶体图中产生一样。研究了该结构与罗宾逊-申斯泰德-克努特对应的sylvester和Baxter版本之间的相互作用。然后利用这个结构证明了关于这些幺半群元素分解数的结果,并证明了这两个幺半群都满足非平凡恒等式。

MSC公司:

2015年5月 群和代数的组合方面(MSC2010)
05年5月5日 对称函数和推广
2005年5月20日 自由半群,生成器和关系,单词问题
05二氧化碳
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Kashiwara,M.,《通用包络代数的(q)-类似物的结晶化》,《公共数学》。物理。,133, 2, 249-260 (1990) ·Zbl 0724.17009号
[2] Kashiwara,M.,《关于泛包络代数的(Q)-类似物的晶体基》,杜克数学出版社。J.,63,2465-516(1991)·Zbl 0739.17005号
[3] 麦克唐纳,I.,《对称函数和霍尔多项式》(2008),克拉伦登出版社,牛津大学出版社·Zbl 0899.05068号
[4] Green,J.,GLn的多项式表示,数学课堂讲稿。,第830卷(2006),施普林格
[5] Lothaire,M.,《单词代数组合数学》,《数学百科全书》。申请。,第90卷(2002),剑桥大学出版社·Zbl 1001.68093号
[6] Fulton,W.,Young Tableaux:《表象理论和几何的应用》,伦敦数学。Soc.Stud.Texts,第35卷(1997),剑桥大学出版社·Zbl 0878.14034号
[7] 拉斯库克斯,A。;Schützenberger,M.-P.,Le monoíde plaxique,(代数和几何组合学中的非交换结构。代数和几何结合学中的不交换结构,四里科,第109卷(1981年),CNR:CNR罗马),129-156·Zbl 0517.20036号
[8] 拉斯库克斯,A。;Schützenberger,M.-P.,H.O.Foulkes的Surune猜想,C.R.Acad。科学。巴黎。A-B、286、7、A323-A324(1978)·兹伯利0374.20010
[9] 拉斯库克斯,A。;Schützenberger,M.-P.,Schubert多项式和Littlewood-Richardson规则,Lett。数学。物理。,第10、2、3、111-124页(1985年)·Zbl 0586.20007号
[10] 拉斯库克斯,A。;Schützenberger,M.-P.,表aux和非交换Schubert多项式,Funct。分析。申请。,23, 3, 223-225 (1990) ·Zbl 0717.20017号
[11] Jedrzejewski,F.,《模式的Plactic分类》,(Agon,C.;Andreatta,M.;Assayg,G.;Amiot,E.;Bresson,J.;Mandereau,J.,《音乐中的数学和计算》,《计算科学讲义》,第6726卷(2011年),斯普林格出版社),350-353·Zbl 1339.00010号
[12] Schützenberger,M.-P.,Pour le monoide plaxique,数学。科学。《哼》,第140卷(1997年)·兹布尔0948.20040
[13] van Leeuwen,M.A.,《Littlewood-Richardson规则及相关组合学》(Stembridge,J.R.;Thibon,J.-Y.;van Leuwen,M A.,《组合数学与表示理论的相互作用》(2001),日本数学学会:日本东京数学学会),95-145·Zbl 0991.05101号
[14] Cain,A.J。;Malheiro,A.,结晶低乳酸单胚:从准Kashiwara算子到准带状表的Robinson-Shensted-Knuth型对应,J.Algebraic Combin.45,2475-524(2017)·Zbl 1359.05135号
[15] 克罗布,D。;Thibon,J.-Y.,非交换对称函数IV:量子线性群和Hecke代数at \(q=0),J.代数组合,6,4,339-376(1997)·Zbl 0881.05120号
[16] 克罗布,D。;Thibon,J.-Y.,非交换对称函数V:(U_q(g l_N))的退化版本,国际。代数计算杂志。,9, 3-4, 405-430 (1999) ·Zbl 1040.17010号
[17] Novelli,J.-C.,关于低乳酸单体,离散数学。,217, 1-3, 315-336 (2000) ·Zbl 0960.05106号
[18] Hivert,F。;诺维利,J.-C。;Thibon,J.-Y.,二叉搜索树代数,Theoret。计算。科学。,339, 1, 129-165 (2005) ·Zbl 1072.05052号
[19] Giraudo,S.,双二叉树对上的代数和组合结构,J.代数,360,115-157(2012)·Zbl 1253.05146号
[20] Cain,A.J。;格雷,R.D。;Malhero,A.,Crystal monoids&Crystal bases:(A_n,B_n,C_n,D_n)和(G_2)型plactic monoids的重写系统和双自动结构·Zbl 1401.05302号
[21] Shimozono,M.,《假人水晶》(2005),注释
[22] Kashiwara,M。;Nakashima,T.,经典李代数的(q)-类比表示的晶体图,J.代数,165,2295-345(1994)·Zbl 0808.17005号
[23] Hivert,F.,Hecke代数,差分算子,拟对称函数,高等数学。,155, 2, 181-238 (2000) ·Zbl 0990.05129号
[24] Cain,A.J。;格雷,R.D。;Malhero,A.,关于有限完全重写系统、有限派生类型和齐次幺半群的自动性·Zbl 1371.68135号
[25] Knuth,D.E.,《计算机编程的艺术:排序和搜索》(1998),艾迪森·韦斯利·Zbl 0895.65001号
[26] 凯恩,A.J。;Malheiro,A.,plactic、hypolactic、sylvester、Baxter和相关幺半群的恒等式·Zbl 1405.05193号
[27] Brightwell,G。;Winkler,P.,计数线性扩展,秩序,8,3225-242(1991)·Zbl 0759.06001号
[28] Priez,J.-B.,组合Hopf代数的格:具有多重性的二叉树,(形式幂级数和代数组合学(2013),The Association。离散数学与理论计算机科学:协会。离散数学与理论计算机科学(南希)·Zbl 1294.05191号
[29] Hivert,F.,《组合Hopf代数导论:示例和实现》,(Gazeau,J.-P.;Nešetřil,J.;Rovan,B.,《物理和理论计算机科学:从数字和语言到(量子)密码学》。物理和理论计算机科学:从数字和语言到(量子)密码学,北约安全。科学。序列号。D Inf.Commun公司。安全。,第7卷(2007),IOS出版社)·Zbl 1131.68420号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。