[论文解读] On Hopf algebra structures over operads

Ralf Holtkamp|arXiv (Cornell University)|Jul 6, 2004

Algebraic structures and combinatorial models参考文献 60被引用 13

一句话总结

本文引入了$π$-霍普夫代数的一般框架——即基于操作律的霍普夫代数——将经典霍普夫代数理论推广至非经典类型，如 dendriform、magma 和无穷小霍普夫代数。通过构建类似于霍希柴尔德上同调的微分复形，建立了上同调障碍理论，表明截断群律的扩张受上同调群$H^{3}_{r+1}$和$H^{2}_{r+1}$的阻碍，关键结果包括对原点元素的刻画以及非结合性版本的庞加莱-伯克霍夫-维尔特定理。

ABSTRACT

We study P-Hopf algebras with one coassociative cooperation over different operads P. For example, we consider the Loday-Ronco dendriform Hopf algebra and its isomorphisms with the noncommutative planar Connes-Kreimer Hopf algebra and with a Hopf algebra of Brouder and Frabetti. We focus on Hopf algebra structures over free operads, like the operad Mag freely generated by a non-commutative non-associative binary operation, and the operad of Stasheff polytopes. In order to describe the operads of primitive elements we prove an analogon of the Poincare-Birkhoff-Witt theorem. We determine the generating series for these operads and show that the dimension of PrimMag(n) is related to the log-Catalan numbers. By a recursive method we show how, for small n, these spaces can be described as modules over the symmetric groups.

研究动机与目标

• 通过在操作律上定义$π$-霍普夫代数，将霍普夫代数理论推广至经典类型之外，容纳非结合性和非余交换结构。
• 在操作律设定下，为研究截断群律（$r$-块）的可扩展性与唯一性，发展上同调框架。
• 刻画$π$-霍普夫代数中原点元素的结构，针对操作律如$π = \mathcal{M}ag$、$π = \mathcal{C}mg$和$π = \mathcal{A}s$，将其与非结合性李理论构造联系起来。
• 为$π$-霍普夫代数建立非结合性版本的庞加莱-伯克霍夫-维尔特定理，特别针对magma操作律。

提出的方法

• 将$π$-霍普夫代数定义为在操作律$π$上带有相容共作用的代数，要求操作律支持张量积结构。
• 在自由$π$-代数的张量幂上构造微分复形$\delta_n = \sum_{i=1}^n (-1)^i \partial_i$，其中$\partial_i$涉及约化的共加法$\Delta_a'$。
• 定义上同调群$H^n_r = \ker(\delta_{n,r}) / \operatorname{im}(\delta_{n-1,r})$，以度量将群律的$r$-块扩展为$(r+1)$-块的障碍。
• 利用$π$-霍普夫代数的拉扎德-李理论，将原点元素与非结合性李代数及magma情形下的哈斯多夫级数联系起来。
• 应用操作律框架，推导$π$-霍普夫代数中的广义泰勒展开与混洗乘法规则。
• 利用$π$-代数与其对偶之间的对偶性，将$π = \mathcal{M}ag$中的原点元素与$\mathcal{C}mg$及$\mathcal{A}s$（即李代数）中的原点元素联系起来。

实验结果

研究问题

• RQ1 霍普夫代数结构如何推广至经典结合或李类型之外的操作律？
• RQ2 何种上同调不变量控制截断群律（$r$-块）向更高阶群律的可扩展性？
• RQ3 在非结合性操作律（如$π = \mathcal{M}ag$）的$π$-霍普夫代数中，原点元素的结构如何？
• RQ4 能否为$π$-霍普夫代数形式化一个非结合性庞加莱-伯克霍夫-维尔特定理？其与哈斯多夫级数有何关系？
• RQ5 上同调群$H^n_r$如何在操作律设定下对群律$r$-块的扩展障碍进行分类？

主要发现

• 上同调群$H^3_{r+1}$对将群律的$r$-块扩展为$(r+1)$-块的障碍进行分类，且当且仅当$2$-块定义了一个李括号时，$3$-块的扩展存在。
• $H^2_{r+1}$群对这类扩展的唯一性障碍进行分类，表明可能存在多个非同构的扩展。
• 对于magma操作律$\mathcal{M}ag$，原点元素的空间微分同构于非结合性哈斯多夫级数$H(x,y) = \log(\vee^2(\exp(x), \exp(y)))$，推广了经典的贝克-坎贝尔-哈斯多夫公式。
• 上同调复形$\delta_n$满足$\delta_n \circ \delta_{n-1} = 0$，确保了上同调群$H^n_r$的良定义性，且当$n > r$时$H^n_r = 0$。
• $H^r_r$与$\mathcal{A}_\pi^{\otimes r}(x_1,\ldots,x_m)^{(r)}$中反对称张量构成双射，当基域的特征为零时成立。
• 存在从$\operatorname{Prim} \mathcal{M}ag$到$\operatorname{Prim} \mathcal{C}mg$和$\operatorname{Prim} \mathcal{A}s = \mathcal{L}ie$的投影，表明存在非结合性李代数类结构的层级关系。