[论文解读] 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 家族代数，其关键结果表明，当 Ω 有限时，单生成元自由代数的维数由生成函数控制。

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-代数之间的函子联系。
• 当 Ω 有限时，计算单生成元下自由双参数 duplicial 或 dendriform 家族代数的维数生成函数。

提出的方法

• 作者将色彩混合操作律 𝔐(𝐏)Ω 定义为有色子操作律 𝔐𝐏Ω 的商，其中 𝐏 = 𝒫(E)/R 为有限呈现。
• 他们从生成元与关系的自由操作律出发，构造有色操作律 𝔐𝐏Ω，然后形成商 𝔐(𝐏)Ω = 𝔐𝐏Ω / I，其中 I 是由编码参数代数结构关系生成的右理想。
• 家族 P-代数被定义为色彩混合操作律 𝔐(𝐏)Ω 上的代数，具体为均匀的 Ω-分次 P-代数。
• 该构造使用 J.oy al 的范畴形式化方法处理有色操作律与分次对象，通过普遍函子 𝒰 与遗忘函子 𝒩 关联分次与无分次结构。
• 关键技术步骤是证明任意 Ω-家族 P-代数均通过 𝒰 与 𝒩 的伴随关系，在 V ⊗ kΩ 上诱导出 P-代数结构。
• 当 Ω 有限时，自由双参数家族代数的生成函数由其齐次分量的维数导出。

实验结果

研究问题

• RQ1 如何系统性地将家族代数的概念推广至 Rota-Baxter 或 dendriform 等特定例子之外的任意有限呈现操作律？
• RQ2 给定一个有限呈现操作律 𝐏，参数集 Ω 必须具备何种代数结构，才能支持家族 P-代数结构？
• RQ3 操作律 𝐏 的呈现选择如何影响其在 Ω 上诱导的家族代数结构？
• RQ4 家族代数与标准 P-代数之间的确切关系是什么？如何从范畴论角度形式化这一关系？
• RQ5 当 Ω 有限时，自由双参数 duplicial 或 dendriform 家族代数（单生成元）的维数生成函数是什么？

主要发现

• 参数集 Ω 必须被赋予一个 𝐏-代数结构，其中 𝐏 是由原始操作律 𝐏 的呈现导出的集合操作律，以支持家族 P-代数结构。
• 家族 P-代数被定义为色彩混合操作律 𝔐(𝐏)Ω 上的均匀 Ω-分次 P-代数，其中 𝔐(𝐏)Ω 是有色子操作律 𝔐𝐏Ω 的商。
• 家族代数的构造依赖于操作律的呈现选择，因为色彩混合操作律 𝔐(𝐏)Ω 并非在不同呈现下保持不变。
• 任意 Ω-家族 P-代数 𝒰(V) 均在 V ⊗ kΩ 上诱导出标准 P-代数结构，从而在家族代数与标准代数之间建立了范畴联系。
• 当参数集 Ω 有限时，单生成元下自由双参数 duplicial 或 dendriform 家族代数的维数生成函数被显式计算得出。