[論文レビュー] Natural endomorphisms of shuffle algebras

Loïc Foissy, Frédéric Patras|arXiv (Cornell University)|May 14, 2012

Advanced Combinatorial Mathematics参考文献 12被引用数 4

ひとこと要約

この論文は、可換シャッフル代数の自然な自己準同型代数を導入し、置換のMalvenuto-Reutenauerホップ代数を一般化する。グレード付き連結シャッフルbialgebraがその原始的元上の自由シャッフル代数に同型であることを確立し、双代数的構造を用いたドンドリズム代数の手法によりチャポトンの剛性定理を拡張し、コプロダクト解析を用いて反復半シャッフル積の線形独立性を証明する。

ABSTRACT

We focus in this text on the adaptation to the study of shuffles of the main combinatorial tool in the theory of free Lie algebras, namely the existence of a universal algebra of endomorphisms for tensor and other cocommutative Hopf algebras: the family of Solomon's descent algebras of type A. We show that there exists similarly a natural endomorphism algebra for commutative shuffle algebras, which is a natural extension of the Malvenuto-Reutenauer Hopf algebra of permutations, or algebra of free quasi-symmetric functions. We study this new algebra for its own, establish freeness properties, study its generators, bases, and also feature its relations to the internal structure of shuffle algebras.

研究の動機と目的

• 可換シャッフル代数の自然な自己準同型代数を、型Aにおけるソロモンの降下代数に類似する形で開発すること。
• 置換のMalvenuto-Reutenauerホップ代数を、シャッフル代数の普遍的自己準同型代数へと拡張すること。
• ドンドリズム代数理論からの組合せ的道具を用いて、この新しい代数の自由性および構造的性質を確立すること。
• グレード付き連結シャッフルbialgebraがその原始的元上の自由シャッフル代数に同型であることを証明し、シャッフル設定におけるカルティエ＝ミルノ＝ムールの定理を一般化すること。

提案手法

• 著者たちはドンドリズム代数の枠組みを用い、結合則を満たす半シャッフル積 ≺ と ≻ を定義し、可換な場合に x≺y = y≻x となるように特殊化する。
• シャッフルbialgebra A の元 y に対して、τ(y) = y' ≺ S(y'') を定義し、余逆元 S を用いて、Prim(A) への射影であることを示す。
• 主な恒等式 Id = exp^≺(τ) を用いて、原始的元が反復半シャッフル積によって代数を生成することを示す。
• 反復半シャッフル積の線形独立性の証明は、コプロダクト Δ(X) = λ_{p₁,…,pₙ} p₁ ⊗ (p₂≺…≺pₙ) + Z（Z は低次の項を含む）に依拠する。
• 古典的 Leray の定理およびカルティエ＝ミルノ＝ムールの定理の組合せ的証明を、シャッフルbialgebraの文脈に適応する。
• 生成子、基底、シャッフル代数の内部構造との関係を用いて、新しい自己準同型代数の構造を研究する。

実験結果

リサーチクエスチョン

• RQ1 可換シャッフル代数の自然な自己準同型代数とは何か？ そして、Malvenuto-Reutenauer代数をどのように一般化するか？
• RQ2 ドンドリズム代数の枠組みとコプロダクト解析を用いて、シャッフルbialgebraの剛性定理をどのように証明できるか？
• RQ3 写像 τ(y) = y' ≺ S(y'') は、シャッフルbialgebraの代数的構造とその原始的元の間で果たす役割は何か？
• RQ4 原始的元の反復半シャッフル積は、どのようにして全体の代数を生成するのか？ そして、それらの線形独立性を保証するのは何か？
• RQ5 新しい自己準同型代数とシャッフル代数の内部構造（特に自由生成の文脈）との関係は何か？

主な発見

• 可換シャッフル代数の自然な自己準同型代数が、置換のMalvenuto-Reutenauerホップ代数の自然な拡張として構成された。
• 写像 τ(y) = y' ≺ S(y'') は原始的元の空間 Prim(A) への射影であり、Id = exp^≺(τ) を満たす。これにより、原始的元が反復半シャッフル積によって代数を生成することが証明された。
• グレード付き連結シャッフルbialgebraは、その原始的元上の自由シャッフル代数に同型である。これはチャポトンの剛性定理の一般化である。
• 反復半シャッフル積の線形独立性はコプロダクト解析により証明された：Δ(X) = λ_{p₁,…,pₙ} p₁ ⊗ (p₂≺…≺pₙ) + Z（Z は低次の項のみを含む）。
• グレード付き置換のドンドリズム代数 S は、任意のグレード付き連結シャッフルbialgebra A に自然に作用し、A ≅ Sh(Prim(A)) の同型を介して実現される。
• 新しい自己準同型代数は自由性の性質を示し、明示的な生成子と基底を有することを示し、その構造的豊かさが確立された。