C-树与C型塑单体的一致展示
组合数学
2020-06-16 v1 表示论
摘要
在本文中,我们通过一个有限收敛展示 引入 装饰的 C 型塑单体,记为 ,其生成集 由容许列和一个元素 组成。由 Squier 的一致完备定理,该展示通过识别一族生成合流(即生成 胞腔)扩展为一致展示。这里的生成 胞腔是长度为 的字的临界分支。我们将晶体结构的观念适配到 ,并证明 胞腔的形状在 Kashiwara 算子的作用下保持不变。从而我们将一致展示的研究化简为仅描述其源为最高权字的生成 胞腔。随后我们引入称为 树的组合对象,它们参数化 中的最高权字。树简化了 Lecouvey 引入的 C 型插入算法的计算,并且我们证明 中的生成 胞腔的形状至多为 。作为推论,我们证明 Hage 引入的 的列展示具有形状至多为 的生成 胞腔。这与 A 型的情况形成对比,在 A 型中 的列展示的 胞腔形状至多为 。
引用
@article{arxiv.2006.03456,
title = {C-trees and a coherent presentation for the plactic monoid of type C},
author = {Uran Meha},
journal= {arXiv preprint arXiv:2006.03456},
year = {2020}
}
备注
35 pages