[論文レビュー] Families of algebraic structures

Loïc Foissy, Dominique Manchon+1 more|arXiv (Cornell University)|May 11, 2020

Advanced Topics in Algebra参考文献 18被引用数 6

ひとこと要約

本稿は、有限生成線形オペラッドの家族代数を構成する一般枠組みを提示する。パラメータ集合 Ω にオペラッドの提示から導かれる整合性のある代数的構造を導入することで、Ω-家族 P-代数がカラーミキシングオペラッドを介して一様な Ω-重層 P-代数として得られることを確立する。これは、Rota-Baxter や dendriform、pre-Lie などの既知の構造を一般化するものであり、特に Ω が有限の場合、1生成子上の自由代数の次元が生成関数によって支配されることを示す、重要な結果を含む。

ABSTRACT

We give a general account of family algebras over a finitely presented linear operad, this operad together with its presentation naturally defining an algebraic structure on the set of parameters.

研究の動機と目的

• 特定のケース（例：Rota-Baxter や dendriform）に限らない、任意の有限生成線形オペラッドに対する家族代数の概念を一般化すること。
• オペラッドの提示と関連するセットオペラッドから、パラメータ集合 Ω に必要な代数的構造がどのように決定されるかを明確にすること。
• カラーミキシングオペラッドを用いて、Ω-家族 P-代数を一様な Ω-重層 P-代数として定義し、さまざまな既知の家族構造を統一すること。
• 家族代数と標準 P-代数との間の函手的関係を、忘却関手と普遍関手を用いて確立すること。
• Ω が有限の場合、1生成子を持つ2パラメータの duplicial または dendriform 族代数の自由代数の次元の生成関数を計算すること。

提案手法

• 著者たちは、有限提示 𝐏 = 𝒫(E)/R を用い、色付き部分オペラッド 𝔐𝐏Ω の商としてカラーミキシングオペラッド 𝔐(𝐏)Ω を定義する。
• 生成子と関係からなる自由オペラッドから色付きオペラッド 𝔐𝐏Ω を構成し、関係を符号化する右イデアル I を用いて、𝔐(𝐏)Ω = 𝔐𝐏Ω / I を形成する。
• 家族 P-代数は、カラーミキシングオペラッド 𝔐(𝐏)Ω における代数として定義され、具体的には一様な Ω-重層 P-代数として特徴づけられる。
• 色付きオペラッドと重層対象を扱うために、Joyal のスペーシス形式主義を用い、普遍関手 𝒰 と忘却関手 𝒩 を用いて重層的および非重層的構造を関連付ける。
• 主な技術的ステップは、任意の Ω-家族 P-代数が、𝒰 と 𝒩 の随伴関係を介して V ⊗ kΩ 上に P-代数構造を誘導することを示すことである。
• Ω が有限の場合、自由2パラメータ族代数の次元の生成関数は、同次成分の次元から導出される。

実験結果

リサーチクエスチョン

• RQ1 Rota-Baxter や dendriform などの特定の例を超えて、家族代数の概念を体系的に一般化する方法は何か？
• RQ2 有限生成オペラッド 𝐏 が与えられたとき、パラメータ集合 Ω が家族 P-代数を実現するために満たすべき代数的構造は何か？
• RQ3 オペラッド 𝐏 の提示の選択が、得られる家族代数構造にどのように影響するか？
• RQ4 家族代数と標準 P-代数との間の明確な関係は何か？そして、これを圏論的に形式化する方法は？
• RQ5 Ω が有限の場合、1生成子を持つ2パラメータの duplicial または dendriform 族代数の自由代数の次元の生成関数は何か？

主な発見

• 家族 P-代数構造を支えるためには、元のオペラッド 𝐏 の提示から導かれるセットオペラッド 𝐏 に関する 𝐏-代数構造を Ω に導入する必要がある。
• 家族 P-代数は、色付き部分オペラッド 𝔐𝐏Ω の商であるカラーミキシングオペラッド 𝔐(𝐏)Ω を用いた一様な Ω-重層 P-代数として定義される。
• 家族代数の構成は、オペラッドの提示に依存する。なぜなら、カラーミキシングオペラッド 𝔐(𝐏)Ω は異なる提示に対して不変ではないからである。
• 任意の Ω-家族 P-代数 𝒰(V) は、V ⊗ kΩ 上に標準的な P-代数構造を誘導し、家族代数と標準代数との間の圏論的リンクを確立する。
• Ω が有限の場合、1生成子を持つ2パラメータの duplicial または dendriform 族代数の自由代数の次元の生成関数が明示的に計算される。