[論文レビュー] 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-理論的類似を導入し、Grothendieck多項式に双代数構造を確立する。増加テーブルとK-Knuth同値を用いた新しい組合せ論的導出により、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ホップ代数のK-理論的類似を構成すること。
• 増加テーブルを用いて、K-理論的Littlewood-Richardson規則の組合せ論的枠組みを提供すること。
• 新しい双代数構造を用いて、Grothendieck多項式のK-理論的構造定数を再導出すること。
• K-Knuth同値と増加テーブルへの語の挿入との間の関係を確立すること。
• 新しい構造におけるGrothendieck多項式基底が、双代数準同型性を満たすことを証明すること。

提案手法

• K-Knuth同値を用いて、標準ヤングテーブルのスパンにK-理論的双代数を定義し、古典的Knuth同値を一般化する。
• URT（一意的正規化テーブル）の概念を導入し、語のシャッフルと制限を用いて積と余積を定義する。
• K-Knuth同値類とLascoux-Schützenberger挿入を用いて、語からGrothendieck多項式への写像φを構成する。
• 双代数準同型ψを用いて、K-理論的双代数と対称関数の環およびGrothendieck多項式を関連付ける。
• 語のシャッフルを用いて積∗を定義し、部分語の連結と標準化を用いて余積∆を定義する。
• 写像φが双代数構造を保存することを証明し、K-Knuth同値および挿入の性質を用いて、∆(φ([[h]])) = (φ⊗φ)(∆([[h]])) を示す。

実験結果

リサーチクエスチョン

• RQ1 K-Knuth同値を用いて、Poirier-Reutenauer双代数をK-理論的設定に一般化する方法は何か？
• RQ2 増加テーブルを用いたK-理論的Littlewood-Richardson係数の組合せ論的構造は何か？
• RQ3 K-理論的Grothendieck多項式は、Poirier-Reutenauer代数のK-理論的類似からの双代数準同型として記述可能か？
• RQ4 URTとK-Knuth同値は、GrassmannianのK-理論の構造定数を特徴付ける上で果たす役割は何か？
• RQ5 新しい双代数構造は、BuchとThomas–Yongの既知のK-理論的Littlewood-Richardson規則をどのように回復するか？

主な発見

• 本稿は、K-Knuth同値を用いて、標準ヤングテーブルのスパンにK-理論的双代数構造を構成し、古典的Poirier-Reutenauer代数を一般化する。
• 語hに対してK-理論的Grothendieck多項式を写像するφは、双代数構造を保存する。すなわち、任意の語hに対して∆(φ([[h]])) = (φ⊗φ)(∆([[h]])) が成り立つ。
• K-理論的Littlewood-Richardson係数cνλ,μは、スケル形状ν/λの増加テーブルRの個数に等しく、P(row(R)) = Tを満たすものである。ここでTは形状μのURTである。
• 双対K-理論的Littlewood-Richardson係数dνλ,μは、スケル形状λ⊕μの増加テーブルRの個数に等しく、P(row(R)) = T₀を満たすものである。ここでT₀は形状νのURTである。
• G(3,1)G(2,1)におけるG(4,3,1)の係数は−3であり、これは読み方312のURTと等しいP(row(R))をもつ、形状(4,3,1)/(3,1)の増加テーブルが3つ存在することを意味する。
• TがURTでない場合、本手法は失敗する。Buchの規則が正の係数を予測しても、そのような増加テーブルが存在しない反例が示されている。