[論文レビュー] Quadri-algebras

Marcelo Aguiar, Jean-Louis Loday|arXiv (Cornell University)|Sep 9, 2003

Advanced Topics in Algebra被引用数 46

ひとこと要約

この論文は、乗法が4つの整合性のある操作に分解できる結合的代数としての四重代数（quadri-algebras）を導入する。任意の結合的代数上での可換なバクスターマッピングが、自然な四重代数構造を誘導することを示しており、特に、無限小双代数 A の自己準同型代数 End(A) が畳み込み作用素 β(T) = T∗id および γ(T) = id∗T を通じて自然にこのような構造を備えていることが鍵となる結果である。

ABSTRACT

We introduce the notion of quadri-algebras. These are associative algebras for which the multiplication can be decomposed as the sum of four operations in a certain coherent manner. We present several examples of quadri-algebras: the algebra of permutations, the shuffle algebra, tensor products of dendriform algebras. We show that a pair of commuting Baxter operators on an associative algebra gives rise to a canonical quadri-algebra structure on the underlying space of the algebra. The main example is provided by the algebra End(A) of linear endomorphisms of an infinitesimal bialgebra A. This algebra carries a canonical pair of commuting Baxter operators: $\beta(T)=T\ast\id$ and $\gamma(T)=\id\ast T$, where $\ast$ denotes the convolution of endomorphisms. It follows that End(A) is a quadri-algebra, whenever A is an infinitesimal bialgebra. We also discuss commutative quadri-algebras and state some conjectures on the free quadri-algebra.

研究の動機と目的

• 四重代数の代数的構造を、4つの整合性のある乗法操作を持つ結合的代数として定義・形式化すること。
• 結合的代数上での可換なバクスターマッピングから四重代数を一般に構成する方法を確立すること。
• 無限小双代数 A の自己準同型代数 End(A) が自然に四重代数構造を備えていることを示すこと。
• 可換な四重代数の性質を調べ、自由四重代数に関する予想を提示すること。

提案手法

• 四重代数を、特定の整合性関係を満たす4つの操作の和として乗法を持つ結合的代数として定義する。
• バクスターテンプレート（Baxter identity を満たす線形作用素）の概念を用い、四重代数構造を生成する。
• 自己準同型の畳み込みを用いて End(A) 上の四重代数構造を構成し、β(T) = T∗id および γ(T) = id∗T を定義する。
• A が無限小双代数であるとき、β と γ が可換であることを示し、End(A) 上の自然な四重代数構造の構成を可能にする。
• 得られた四重代数の代数的性質を分析し、双代数的構造との整合性（例えば、双代数的代数のテンソル積との関係）を検討する。
• シャッフル代数や置換代数などの具体例を提示し、これらが四重代数の例であることを示す。

実験結果

リサーチクエスチョン

• RQ1 結合的代数を4つの整合性のある操作に分解することで、四重代数構造をどのように構成できるか？
• RQ2 結合的代数上での2つの可換なバクスターマッピングが、いつ四重代数構造を誘導するか？
• RQ3 A が無限小双代数であるとき、自己準同型代数 End(A) 上に自然に誘導される四重代数構造は何か？
• RQ4 シャッフル代数や置換代数などの既知の代数は、どのように四重代数として実現できるか？
• RQ5 可換な四重代数の構造的性質は何か？自由四重代数はどのように特徴づけられるか？

主な発見

• 無限小双代数 A の自己準同型代数 End(A) は、畳み込み作用素 β(T) = T∗id および γ(T) = id∗T を通じて自然に四重代数構造を備えている。
• β と γ が End(A) 上で可換であることは、四重代数構造の自然な構成に不可欠である。
• シャッフル代数と置換代数が四重代数の具体例として示された。
• 双代数的代数のテンソル積からも四重代数の具体例が得られる。
• 任意の結合的代数上での可換なバクスターマッピングのペアは、元の空間上に自然な四重代数構造を誘導する。
• 論文は自由四重代数の構造に関する予想を提示し、今後の研究の方向性を示唆している。