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

Jean-Christophe Novelli, Frédéric Patras+1 more|arXiv (Cornell University)|Jan 4, 2011

Advanced Combinatorial Mathematics被引用数 4

ひとこと要約

この論文は、語の quasi-対称関数のホップ代数（WQSym）に自然な内部積を導入し、それが quasi-シャッフル代数上の線形自己準同型の畳み込み代数として機能できることを示す。また、quasi-シャッフル代数に対してシュール＝ウェイル双対性を確立し、分解不能成分へ射影する一般化されたオイラー型イデムポテンを証明する。これにより、多重ゼータ値や自由ロータ＝バーネット代数を含むこれらの代数の自由多項式生成子の組み合わせ的構成が可能になる。

ABSTRACT

The Hopf algebra of word-quasi-symmetric functions ($\WQSym$), a noncommutative generalization of the Hopf algebra of quasi-symmetric functions, can be endowed with an internal product that has several compatibility properties with the other operations on $\WQSym$. This extends constructions familiar and central in the theory of free Lie algebras, noncommutative symmetric functions and their various applications fields, and allows to interpret $\WQSym$ as a convolution algebra of linear endomorphisms of quasi-shuffle algebras. We then use this interpretation to study the fine structure of quasi-shuffle algebras (MZVs, free Rota-Baxter algebras...). In particular, we compute their Adams operations and prove the existence of generalized Eulerian idempotents, that is, of a canonical left-inverse to the natural surjection map to their indecomposables, allowing for the combinatorial construction of free polynomial generators for these algebras.

研究の動機と目的

• 多重ゼータ値（MZVs）および quasi-シャッフル代数に作用する自然な演算の形式的代数的構造を理解すること。
• ソロモンのオイラー型イデムポテンを含む古典的リーレイの微積分的概念を、非可換かつ quasi-シャッフルな設定へ拡張すること。
• quasi-シャッフル代数の文脈において、FQSym の自然な類似物として WQSym を確立すること。
• 標準的射影を用いて、quasi-シャッフル代数の自由多項式生成子の組み合わせ的構成を提供すること。
• 一般化されたオイラー型イデムポテンが、分解不能成分への上への射影の標準的左逆元として作用することを証明すること。

提案手法

• quasi-シャッフル代数上の線形自己準同型の合成の上に、WQSym における内部積を定義する。
• 恒等写像 I を生成する特性部分代数 Car ⊂ WQSym を用い、一般化されたオイラー型イデムポテン e₁ = log(I) を定義する。
• スウィードラー記法を用いて、Car におけるコプロダクトと quasi-シャッフル代数への作用の整合性を確立する：(a⊗b)·σ = (a·σ⁽¹⁾)⊗(b·σ⁽²⁾)。
• アダムス作用 Ψⁿ が QS(A) に作用する際、e₁ が最小の非自明固有値に対応するスペクトル的イデムポテンであることに着目する。
• Ψ² = 2·e₁ および Ψ² = 2·I が Ind = QS(A)⁺/(QS(A)⁺)² で成り立つことを示し、e₁ が Ind 上で恒等写像を引き起こすことを証明する。
• シャッフル積が quasi-シャッフル積の最高次成分であることに着目し、三角不等式の議論を用いて、QS(A) が可換代数として自由であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 古典的リーレイ微積分、特にオイラー型イデムポテンは、quasi-シャッフル代数の設定へ持ち上げられるか？
• RQ2 ホップ代数 WQSym は、quasi-シャッフル代数の自然な自己準同型をどのように符号化しているか？
• RQ3 一般化されたオイラー型イデムポテン e₁ は、quasi-シャッフル代数の分解不能成分への標準的射影としてどのように機能するか？
• RQ4 テンソル代数の古典的シュール＝ウェイル双対性に類似した、quasi-シャッフル代数のシュール＝ウェイル双対性は存在するか？
• RQ5 スペクトル的イデムポテンを用いて、quasi-シャッフル代数の自由多項式生成子を組み合わせ的に構成できるか？

主な発見

• WQSym における内部積は、quasi-シャッフル代数上の線形自己準同型の合成の上に持ち上げられ、自然な畳み込み代数構造を提供する。
• 一般化されたオイラー型イデムポテン e₁ = log(I) は、特性部分代数 Car ⊂ WQSym 内の原始的元であり、アダムス作用のスペクトル的イデムポテンとして機能する。
• 写像 e₁ は分解不能成分 Ind = QS(A)⁺/(QS(A)⁺)² 上で恒等写像を引き起こし、分解不能成分への上への射影の標準的左逆元であることを証明する。
• e₁ が正の次数の同次元 a, b に対して (a⊗b)·e₁ = 0 を満たすことを確認することで、e₁ が (QS(A)⁺)² 上で消えることが示される。
• アダムス作用 Ψ² は Ind 上で 2·e₁ に作用し、QS(A) 上では 2·I に作用する。これにより、e₁ が Ind 上で恒等写像を引き起こし、自由生成子への射影であることが確認される。
• 結果として、e₁ の像は、MZVs や自由ロータ＝バーネット代数を含む QS(A) の自由多項式生成子の組み合わせ的構成を提供する。