[論文レビュー] Cambrian Hopf Algebras

Grégory Châtel, Vincent Pilaud|arXiv (Cornell University)|Nov 13, 2014

Advanced Combinatorial Mathematics参考文献 32被引用数 6

ひとこと要約

この論文は、符号付き順列とカンブリアンツリー（局所的な順序条件を満たす向き付けられたラベル付きツリー）を用いて、LodayとRoncoの二分木上のホップ代数の一般化であるカンブリアンホップ代数を導入する。この代数とその双対は、これらのツリー上の組合せ的演算によって定義され、乗法的基底が確立され、バクサーおよびシュレーディンガー＝カンブリアンホップ代数へと拡張され、単体的包化解体、置換体、および関連する多面体の構造が統一される。

ABSTRACT

Cambrian trees are oriented and labeled trees which fulfill local conditions around each node generalizing the conditions for classical binary search trees. Based on the bijective correspondence between signed permutations and leveled Cambrian trees, we define the Cambrian Hopf algebra generalizing J.-L. Loday and M. Ronco's algebra on binary trees. We describe combinatorially the products and coproducts of both the Cambrian algebra and its dual in terms of operations on Cambrian trees. We also define multiplicative bases of the Cambrian algebra and study structural and combinatorial properties of their indecomposable elements. Finally, we extend to the Cambrian setting different algebras connected to binary trees, in particular S. Law and N. Reading's Baxter Hopf algebra on quadrangulations and S. Giraudo's equivalent Hopf algebra on twin binary trees, and F. Chapoton's Hopf algebra on all faces of the associahedron.

研究の動機と目的

• カンブリアン格子と符号付き順列を用いて、LodayとRoncoの二分木上のホップ代数を、より広いクラスの組合せ的対象へ一般化すること。
• FQSym±代数上の符号付き順列の部分代数として、新たなホップ代数、すなわちカンブリアンホップ代数を定義すること。
• フレームワークをバクサー＝カンブリアンおよびシュレーディンガー＝カンブリアン設定へと拡張し、関連する組合せ的構造上のホップ代数を統一すること。
• 積と余積の操作をツリー操作とギャップを用いて明示的な組合せ的記述すること。
• カンブリアン代数における乗法的基底と分解不能元を研究し、幾何的実現と格子合同関係との関係を検討すること。

提案手法

• 符号付き順列からレベル付きカンブリアンツリーへのカンブリアン対応Θを用い、二分探索木の挿入を一般化する。
• FQSym±の部分代数としてカンブリアンホップ代数を定義し、基底要素をカンブリアンツリーで添え字づける。
• FQSym±*の商代数として双対カンブリアン代数を定義し、格子合同関係とカンブリアン対応のファイバーを用いる。
• 符号付きシャッフルと畳み込み演算による積を定義し、それをツリー操作に翻訳する。
• ギャップに沿ってカンブリアンツリーを分割することで余積を定義し、各ギャップが左部分木と右部分木のテンソル積を生じる。
• 対となるカンブリアンツリーとシュレーディンガー＝カンブリアンツリーへとフレームワークを拡張し、順序付き分割と格子合同関係を用いて新たなホップ代数を導入する。

実験結果

リサーチクエスチョン

• RQ1 カンブリアン格子を用いて、Loday-Roncoの二分木上のホップ代数を、より広いクラスの組合せ的対象へ一般化する方法は何か？
• RQ2 カンブリアンホップ代数における積と余積の明示的組合せ的規則は、ツリー操作を用いてどのように記述できるか？
• RQ3 カンブリアン代数における乗法的基底は、分解不能元およびその構造的・数え上げ的性質とどのように関係するか？
• RQ4 四角形分割上のバクサー・ホップ代数とシュレーディンガー＝カンブリアン代数は、高次元のカンブリアンツリーの組み合わせによって、同一のフレームワークに統合可能か？
• RQ5 シュレーディンガー＝カンブリアンℓ-組が、ℓ個のアソシアヘドロンのミンコフスキー和のすべての面に対応することを示し、順序付き分割上の弱順序の格子合同関係を用いてホップ代数構造を定義する。

主な発見

• カンブリアンホップ代数はFQSym±の部分代数として定義され、基底はカンブリアンツリーで添え字づけられ、積と余積はこれらのツリー上の組合せ的操作によって完全に記述される。
• カンブリアンツリーの余積は、すべてのギャップについて和をとることで与えられ、各項はギャップパスに沿って分割された左部分木と右部分木のテンソル積である。
• カンブリアン代数において乗法的基底が構成され、その分解不能元は組合せ的に特徴づけられ、構造的および数え上げ的性質が明らかにされる。
• バクサー＝カンブリアンホップ代数はFQSym±の部分代数およびFQSym±*の商代数として定義され、対となるカンブリアンツリーと格子合同関係から導かれる操作を備える。
• シュレーディンガー＝カンブリアンホップ代数は符号付き順序付き分割上で構成され、積と余積はシュレーディンガー＝カンブリアンツリー上のシャッフルおよびギャップ分割操作によって定義される。
• シュレーディンガー＝カンブリアンℓ-組が、ℓ個のアソシアヘドロンのミンコフスキー和のすべての面に対応することが示され、順序付き分割上の弱順序の格子合同関係を用いてホップ代数構造が定義される。