[论文解读] Cambrian Hopf Algebras

Grégory Châtel, Vincent Pilaud|arXiv (Cornell University)|Nov 13, 2014

Advanced Combinatorial Mathematics参考文献 32被引用 6

一句话总结

本文引入了坎布里安霍普夫代数，作为对Loday和Ronco在二叉树上的霍普夫代数的推广，通过符号排列和坎布里安树——具有局部顺序条件的有向标记树——实现。该代数及其对偶通过这些树上的组合运算定义，建立了乘法基，并将该框架扩展至Baxter和Schröder-Cambrian霍普夫代数，统一了单形、排列多面体及相关多面体上的结构。

ABSTRACT

Cambrian trees are oriented and labeled trees which fulfill local conditions around each node generalizing the conditions for classical binary search trees. Based on the bijective correspondence between signed permutations and leveled Cambrian trees, we define the Cambrian Hopf algebra generalizing J.-L. Loday and M. Ronco's algebra on binary trees. We describe combinatorially the products and coproducts of both the Cambrian algebra and its dual in terms of operations on Cambrian trees. We also define multiplicative bases of the Cambrian algebra and study structural and combinatorial properties of their indecomposable elements. Finally, we extend to the Cambrian setting different algebras connected to binary trees, in particular S. Law and N. Reading's Baxter Hopf algebra on quadrangulations and S. Giraudo's equivalent Hopf algebra on twin binary trees, and F. Chapoton's Hopf algebra on all faces of the associahedron.

研究动机与目标

• 通过坎布里安格和符号排列，将Loday与Ronco在二叉树上的霍普夫代数推广到更广泛的组合对象类别。
• 将新的霍普夫代数——坎布里安霍普夫代数——定义为符号排列上的FQSym±代数的子代数。
• 将该框架扩展至Baxter-Cambrian和Schröder-Cambrian设定，统一相关组合结构上的霍普夫代数。
• 以树运算和间隙为基准，明确描述乘积与余乘积运算的组合表达。
• 研究坎布里安代数中的乘法基与不可约元素，探索其与几何实现及格序同余的关系。

提出的方法

• 使用坎布里安对应Θ将符号排列映射到分层坎布里安树，推广二叉搜索树的插入操作。
• 将坎布里安霍普夫代数定义为FQSym±的子代数，其基元素由坎布里安树索引。
• 将对偶坎布里安代数定义为FQSym±*的商代数，利用格序同余和坎布里安对应的纤维。
• 通过符号排列上的符号杂交与卷积运算描述乘积，并将其转化为树运算。
• 通过沿间隙分割坎布里安树来描述余乘积，每个间隙产生左子树与右子树的张量积。
• 将框架扩展至双坎布里安树与Schröder-Cambrian树，通过有序分拆与格序同余引入新的霍普夫代数。

实验结果

研究问题

• RQ1 如何利用坎布里安格将Loday-Ronco在二叉树上的霍普夫代数推广到更广泛的组合对象类别？
• RQ2 坎布里安霍普夫代数中乘积与余乘积的显式组合规则，如何以树运算的形式表达？
• RQ3 坎布里安代数中的乘法基如何与不可约元素及其结构与计数性质相关联？
• RQ4 能否通过更高阶的坎布里安树元组，将四边形剖分上的Baxter霍普夫代数与Schröder-Cambrian代数统一于同一框架下？
• RQ5 Schröder-Cambrian ℓ元组与关联多面体的闵可夫斯基和之间的几何与代数意义是什么？

主要发现

• 坎布里安霍普夫代数被定义为FQSym±的子代数，其基由坎布里安树索引，其乘积与余乘积通过这些树上的组合运算完全描述。
• 坎布里安树的余乘积通过对所有间隙求和得到，每一项为沿间隙路径分割后形成的左右子树的张量积。
• 在坎布里安代数中构建了乘法基，其不可约元素通过组合方式表征，揭示了其结构与计数性质。
• Baxter-Cambrian霍普夫代数被定义为FQSym±的子代数和FQSym±*的商代数，其运算源于双坎布里安树与格序同余。
• Schröder-Cambrian霍普夫代数构建于符号有序分拆之上，其乘积与余乘积通过Schröder-Cambrian树上的杂交与间隙分割运算定义。
• Schröder-Cambrian ℓ元组被证明对应于ℓ个关联多面体的闵可夫斯基和的所有面，且通过有序分拆上的弱序格序同余，为其定义了霍普夫代数结构。