[论文解读] Combinatorial Hopf algebras

Jean-Louis Loday, Marı́a Ronco|ArXiv.org|Oct 2, 2008

Advanced Topics in Algebra参考文献 55被引用 55

一句话总结

本文引入组合霍普夫代数（CHAs）作为余自由或自由霍普夫代数，并配备与不可分解元上自由代数（或余自由余代数上原点）之间的典范同构，揭示了此类结构在原点上诱导出更精细的代数运算——如预李代数、括号代数或多重括号代数——具体取决于霍普夫代数的性质。主要贡献在于识别出良好的操作符三元组（如 (Ass, Dipt, MB)），用于分类 CHAs，并统一了多种组合霍普夫代数，包括康内斯-克雷默代数以及与 K-理论和量子场论相关的代数。

ABSTRACT

We define a "combinatorial Hopf algebra" as a Hopf algebra which is free (or cofree) and equipped with a given isomorphism to the free algebra over the indecomposables (resp. the cofree coalgebra over the primitives). The choice of such an isomorphism implies the existence a finer algebraic structure on the Hopf algebra and on the indecomposables (resp. the primitives). For instance a cofree-cocommutative right-sided combinatorial Hopf algebra is completely determined by its primitive part which is a pre-Lie algebra. The key example is the Connes-Kreimer Hopf algebra. The study of all these combinatorial Hopf algebra types gives rise to several good triples of operads. It involves the operads: dendriform, pre-Lie, brace, and variations of them.

研究动机与目标

• 将组合霍普夫代数（CHAs）的形式化定义为余自由或自由霍普夫代数，并配备与不可分解元上自由代数（或原点上余自由余代数）之间的典范同构。
• 在特定条件（如右向性或余自由性）下，揭示 CHAs 的原点或不可分解元上所诱导出的更精细代数结构（如预李代数、括号代数、多重括号代数）。
• 通过良好的操作符三元组对 CHAs 进行分类，表明原点上的代数结构与整体霍普夫代数结构均由操作符关系所支配。
• 通过识别其底层操作符与代数框架，推广康内斯-克雷默霍普夫代数及其相关构造（如 K-理论与量子场论中的构造）。

提出的方法

• 将组合霍普夫代数定义为余自由或自由霍普夫代数，并指定其与不可分解元上自由代数（或原点上余自由余代数）之间的同构，该同构在原点上诱导出更丰富的代数结构。
• 利用分次对偶性，将自由-交换 CHAs 与余自由-余交换 CHAs 关联起来，重点分析余自由情形以进行详细研究。
• 表征右向性余自由-余交换 CHAs 的原点部分为预李代数，并更一般地证明：余自由-共结合 CHAs 的原点部分为多重括号代数（MB-代数）。
• 证明在多重括号代数 R 上的张量余代数 $ T^c(R) $ 自然地携带霍普夫代数结构，且 $ Dipt(V) \to T^c(MB(V)) $ 是同构，从而建立操作符 Dipt 与 MB 之间的联系。
• 识别出良好的操作符三元组 $ ({\rm C}, {\rm A}, {\rm P}) $，例如 $ (Com, ComAs, SBrace) $，其中 $ {\rm C} $ 控制代数结构，$ {\rm A} $ 控制霍普夫代数结构，$ {\rm P} $ 控制原点部分，且满足 $ {\rm A} \to {\rm C} \bullet {\rm P} $。
• 构造示例，如线性有序简单图的霍普夫代数 $ H_l(\tilde{\bf G}_0) $，通过连通图分解与顺序约束揭示其多重括号结构。

实验结果

研究问题

• RQ1 如何形式化组合霍普夫代数的概念，以捕捉康内斯-克雷默代数等示例中所见的结构丰富性？
• RQ2 在 CHA 中，同构的选择（特别是在右向性或余自由条件下）如何在原点（或不可分解元）上诱导出更精细的代数结构？
• RQ3 哪些操作符控制不同 CHA 类型（如余自由-共结合、余交换、右向性）中原点与整体霍普夫代数上的代数结构？
• RQ4 是否能通过良好的操作符三元组 $ ({\rm C}, {\rm A}, {\rm P}) $ 统一 CHAs 的分类？各类 CHA 类型的具体操作符是什么？
• RQ5 操作符复合在从原点结构提升至完整霍普夫代数结构中起什么作用？该机制如何推广至广义双代数？

主要发现

• 一个余自由-余交换的右向性组合霍普夫代数完全由其原点部分决定，而该原点部分携带预李代数结构。
• 余自由-共结合 CHAs 的原点部分为多重括号代数（MB-代数），且任一 MB-代数均可在 $ T^c(R) $ 上诱导出霍普夫代数结构，且 $ Dipt(V) \to T^c(MB(V)) $ 是同构。
• 康内斯-克雷默霍普夫代数是组合霍普夫代数的一个典范示例，其余积具有右向形式，且其不可分解元携带预李余代数结构。
• 线性有序简单图的同构类霍普夫代数 $ H_l(\tilde{\bf G}_0) $ 是一个余自由-余交换的 CHA，其多重括号结构由带顺序约束的连通图分解所定义。
• 为余交换右向性情形识别出良好的操作符三元组 $ (Com, ComAs, SBrace) $，其中 $ SBrace $ 同构于预李操作符。
• 本文猜想存在一个操作符 $ {\bf X} $，使得 $ {\bf X} \to Com \bullet PreLie $，从而推广余交换右向性 CHA 情形下的操作符结构。