[论文解读] Trialgebras and families of polytopes

Jean-Louis Loday, Marı́a Ronco|arXiv (Cornell University)|May 6, 2002

Advanced Topics in AlgebraMathematics被引用 20

一句话总结

本文通过 Koszul 对偶性建立了标准单纯形的 operad 与 Stasheff 多面体（associahedra）之间的对偶性，证明二者均为 Koszul operad。文中引入了结合型与 dendriform 型三重代数——即具有三个二元运算且分别满足 11 条与 7 条关系的代数——其自由代数分别由单纯形与 associahedra 的胞腔生成。关键结果为：两个 operad 的生成系列互为形式反函数，且 Stasheff 多面体的生成系列可表示为关于单纯形生成系列的二次方程的根。

ABSTRACT

We show that the family of standard simplices and the family of Stasheff polytopes are dual to each other in the following sense. The chain modules of the standard simplices, resp. the Stasheff polytopes, assemble to give an operad. We show that these operads are dual of each other in the operadic sense. The main result of this paper is to show that they are both Koszul operads. As a consequence the generating series of the standard simplices and the generating series of the Stasheff polytopes are inverse to each other. The two operads give rise to new types of algebras with 3 generating operations, 11 relations, respectively 7 relations, that we call {\it associative trialgebras} and {\it dendriform trialgebras} respectively. The free dendriform trialgebra, which is based on planar trees, has an interesting Hopf algebra structure, which will be dealt with in another paper. Similarly the family of cubes gives rise to an operad which happens to be self-dual for Koszul duality.

研究动机与目标

• 建立标准单纯形的 operad 与 Stasheff 多面体之间的 Koszul 对偶性。
• 定义并研究结合型与 dendriform 型三重代数，即具有三个二元运算且满足特定结合律类关系的代数。
• 证明与这些三重代数相关的 operad 是 Koszul 的，这意味着其对应多面体族的生成系列互为形式反函数。
• 将框架扩展至立方体三重代数，表明其对应的 operad 是自对偶的，且同样为 Koszul。

提出的方法

• 通过面映射与退化映射定义标准单纯形的链复形，构造单个生成元下的自由结合型三重代数，其结构即为标准单纯形的链复形。
• 通过三个运算（≺, ≻, ·）定义 dendriform 型三重代数，满足 7 条关系，并证明其自由代数同构于平面树代数。
• 利用单纯形与 associahedra 的 operad 之间的对偶性，证明其对应的 Koszul 复形是同调无瑕的，从而推出 Koszul 性。
• 通过构造与自由代数相关的单纯复形的显式形变收缩，证明同调无瑕性。
• 通过引入满足 9 条关系的三个运算（≺, ·, ≻），将框架扩展至立方体三重代数，并证明其对应的 operad 是自对偶的。
• 通过证明其链复形的同调在度数 1 处集中，验证立方体三重代数 operad 的 Koszul 性。

实验结果

研究问题

• RQ1 标准单纯形与 Stasheff 多面体的 operad 是否互为 Koszul 对偶？
• RQ2 自由 dendriform 型三重代数能否被实现为平面树上的代数，且是否由此引出 Hopf 代数结构？
• RQ3 单纯形与 associahedra 的 operad 生成系列之间存在何种关系，Koszul 对偶性在此情境下如何体现？
• RQ4 是否存在与超立方体族相关的自对偶 operad？若存在，其代数与同调性质为何？
• RQ5 能否证明立方体三重代数 operad 的 Koszul 复形是同调无瑕的？这对其 operad 的 Koszul 性意味着什么？

主要发现

• 标准单纯形与 Stasheff 多面体的 operad 互为 Koszul 对偶，由 dendriform 型三重代数对应的 Koszul 复形的同调无瑕性所确立。
• Stasheff 多面体的生成系列 $ f^{ ilde{\text{K}}}_t(x) $ 是标准单纯形生成系列 $ f^{ ilde{\text{Δ}}}_t(x) $ 的复合反函数，满足 $ f^{ ilde{\text{Δ}}}_t(f^{ ilde{\text{K}}}_t(x)) = x $。
• Stasheff 多面体的生成系列显式给出为 $ f^{ ilde{\text{K}}}_t(x) = \frac{-(1+(2+t)x) + \sqrt{1+2(2+t)x + t^2x^2}}{2(1+t)x} $，该结果源自 associahedra 的 Poincaré 多项式。
• 单个生成元下的自由结合型三重代数在线性意义上由标准单纯形的胞腔生成，其链复形同构于 $ \Delta^{n-1} $ 的标准化链复形，该复形是同调无瑕的。
• 立方体三重代数 operad 是自对偶的，其生成系列 $ f^I_t(x) = \frac{-x}{1 + (2+t)x} $ 是其自身的复合反函数，从而确认其 Koszul 性质。
• 在向量空间 $ V $ 上的自由立方体三重代数的同调满足：当 $ n=1 $ 时 $ H_n = V $，其余情况为 0，由此通过关联链复形的同调无瑕性证明了立方体 operad 的 Koszul 性。