[论文解读] From left modules to algebras over an operad: application to combinatorial Hopf algebras

Muriel Livernet|arXiv (Cornell University)|Jul 18, 2006

Algebraic structures and combinatorial models参考文献 25被引用 37

一句话总结

本文将 Patras 和 Reutenauer 对结合双代数的对称化与余对称化构造推广至任意操作代数，证明在特定条件下，从 S-模到分次向量空间的遗忘函子可保持代数与霍普夫代数结构。核心贡献在于提出了一套系统的操作代数框架，通过霍普夫操作代数上的对称化与余对称化结构，解释了众多组合霍普夫代数（包括在排列多面体与结合多面体上定义的霍普夫代数）的自由性与余自由性。

ABSTRACT

The purpose of this paper is two fold: we study the behaviour of the forgetful functor from S-modules to graded vector spaces in the context of algebras over an operad and derive from this theory the construction of combinatorial Hopf algebras. As a byproduct we obtain freeness and cofreeness results for these Hopf algebras. Let O denote the forgetful functor from S-modules to graded vector spaces. Left modules over an operad P are treated as P-algebras in the category of S-modules. We generalize the results obtained by Patras and Reutenauer in the associative case to any operad P: the functor O sends P-algebras to P-algebras. If P is a Hopf operad then O sends Hopf P-algebras to Hopf P-algebras. If the operad P is regular one gets two different structures of Hopf P-algebras in the category of graded vector spaces. We develop the notion of unital infinitesimal P-bialgebra and prove freeness and cofreeness results for Hopf algebras built from Hopf operads. Finally, we prove that many combinatorial Hopf algebras arise from our theory, as Hopf algebras on the faces of the permutohedra and associahedra.

研究动机与目标

• 将 Patras 和 Reutenauer 对结合代数的对称化与余对称化构造推广至任意操作代数。
• 研究在操作代数背景下，从 S-模到分次向量空间的遗忘函子 O 的行为。
• 确立 S-模上的霍普夫结构在何种条件下可下推至分次向量空间上的霍普夫结构。
• 为多种组合霍普夫代数的自由性与余自由性提供统一的操作代数解释。
• 证明排列多面体与结合多面体上的霍普夫代数可自然地由此框架导出。

提出的方法

• 将操作代数 P-模定义为 S-模范畴中的 P-代数。
• 引入对称化与余对称化函子，以在 S-模 M 的底层分次向量空间 O(M) 上构造 P-代数结构。
• 证明若 P 为正则操作代数，则在 O(M) 上可导出两种不同的 P-代数结构，推广了 Patras 与 Reutenauer 的对称化与余对称化乘积。
• 在 S-模范畴中定义霍普夫 P-代数，并证明当 P 为霍普夫操作代数时，遗忘函子可保持霍普夫结构。
• 构造单位元的无穷小 P-双代数，并证明由霍普夫操作代数导出的霍普夫代数的自由性与余自由性结果。
• 将该框架应用于具体操作代数（如 As、Dend、TriDend、CTD 和 Zin），表明其底层 S-模可生成组合霍普夫代数。

实验结果

研究问题

• RQ1 从 S-模到分次向量空间的遗忘函子 O 与操作代数 P 上的代数结构如何相互作用？
• RQ2 在何种条件下，S-模上的 P-代数可诱导其底层分次向量空间上的 P-代数？
• RQ3 能否将结合双代数的对称化与余对称化构造推广至任意操作代数？
• RQ4 在何种条件下，S-模上的霍普夫 P-代数可诱导其底层分次向量空间上的霍普夫 P-代数？
• RQ5 组合霍普夫代数的自由性与余自由性如何由操作代数结构自然导出？

主要发现

• 当对 S-模上的 P-代数应用遗忘函子 O 时，通过对其称化构造，该函子可保持其在底层分次向量空间上的 P-代数结构。
• 对于正则操作代数，O(M) 上可导出两种不同的 P-代数结构，推广了 Patras 与 Reutenauer 的对称化与余对称化乘积。
• 若 P 为霍普夫操作代数，则遗忘函子可保持霍普夫 P-代数结构，从而在底层分次向量空间上诱导出霍普夫 P-代数。
• 该构造为 TriDend、Dend、CTD 和 Zin 等操作代数生成了一个霍普夫代数与单位元无穷小双代数的图，其中包含单射与满射态射。
• 在排列多面体与结合多面体上定义的组合霍普夫代数可自然地由此框架导出，包括平面二叉树上的 Loday-Ronco 霍普夫代数。
• 许多组合霍普夫代数的自由性与余自由性可解释为其底层操作代数与 S-模结构的直接结果。