[论文解读] K-theoretic Poirier-Reutenauer bialgebra

Rebecca Patrias, Pavlo Pylyavskyy|arXiv (Cornell University)|Apr 16, 2014

Algebraic structures and combinatorial models参考文献 11被引用 5

一句话总结

本文利用 K-Knuth 等价关系，引入了 Poirier-Reutenauer 双代数的 K-理论类比，建立了格罗滕迪克多项式上的双代数结构。通过标准表和 K-Knuth 等价关系，提供了 K-理论 Littlewood-Richardson 法则的新型组合推导，给出了 Grassmannian K-理论中结构常数的正则规则。

ABSTRACT

We use the K-Knuth equivalence of Buch and Samuel to define a K-theoretic analogue of the Poirier-Reutenauer Hopf algebra. As an application, we rederive the K-theoretic Littlewood-Richardson rules of Thomas and Yong and of Buch and Samuel.

研究动机与目标

• 通过 K-Knuth 等价关系，构造 Poirier-Reutenauer Hopf 代数的 K-理论类比。
• 以标准表的形式，为 K-理论 Littlewood-Richardson 法则提供组合框架。
• 利用新的双代数结构，重新推导格罗滕迪克多项式 K-理论结构常数。
• 建立 K-Knuth 等价关系与单词插入标准表之间的联系。
• 证明在新结构下，格罗滕迪克多项式基满足双代数态射性质。

提出的方法

• 通过 K-Knuth 等价关系，在标准杨表的张成空间上定义 K-理论双代数，推广经典 Knuth 等价关系。
• 引入 URT（唯一矩形化表）的概念，并通过单词的拼接与限制操作定义乘法与余乘法。
• 通过 K-Knuth 等价类与 Lascoux-Schützenberger 插入法，构造从单词到格罗滕迪克多项式的映射 φ。
• 利用双代数态射 ψ，将 K-理论双代数与对称函数环及格罗滕迪克多项式联系起来。
• 通过单词的拼接定义乘法 ∗，通过子词的连接与标准化定义余乘法 ∆。
• 证明映射 φ 保持双代数结构，即利用 K-Knuth 等价关系与插入法的性质，证明 ∆(φ([[h]])) = (φ⊗φ)(∆([[h]]))。

实验结果

研究问题

• RQ1 如何利用 K-Knuth 等价关系，将 Poirier-Reutenauer 双代数推广至 K-理论设定？
• RQ2 K-理论 Littlewood-Richardson 系数的组合结构在标准表中的表现形式为何？
• RQ3 K-理论格罗滕迪克多项式能否通过 K-理论 Poirier-Reutenauer 代数类比的双代数态射来描述？
• RQ4 URT 与 K-Knuth 等价关系在刻画 Grassmannian K-理论结构常数中起什么作用？
• RQ5 新双代数结构如何从 Buch 与 Thomas–Yong 的已知 K-理论 Littlewood-Richardson 法则中恢复出结果？

主要发现

• 本文通过 K-Knuth 等价关系，在标准杨表的张成空间上构造了 K-理论双代数结构，推广了经典的 Poirier-Reutenauer 代数。
• 将单词映射到其 K-理论格罗滕迪克多项式的映射 φ 保持双代数结构，即对任意单词 h，有 ∆(φ([[h]])) = (φ⊗φ)(∆([[h]]))。
• K-理论 Littlewood-Richardson 系数 cνλ,μ 等于满足 P(row(R)) = T 的、形状为 ν/λ 的标准表 R 的数量，其中 T 是形状为 μ 的 URT。
• K-理论的对偶 Littlewood-Richardson 系数 dνλ,μ 等于满足 P(row(R)) = T₀ 的、形状为 λ⊕μ 的标准表 R 的数量，其中 T₀ 是形状为 ν 的 URT。
• G(4,3,1) 在 G(3,1)G(2,1) 中的系数为 −3，对应于三个形状为 (4,3,1)/(3,1) 的标准表，其行读取字为 URT 的读取字 312。
• 若表 T 不是 URT，则该方法失效，反例表明即使 Buch 的规则预测系数为正，也可能不存在满足条件的标准表。