[论文解读] Fa\`a di Bruno subalgebras of the Hopf algebra of planar trees from combinatorial Dyson-Schwinger equations

Loïc Foissy|arXiv (Cornell University)|Jul 9, 2007

Advanced Topics in Algebra参考文献 9被引用 11

一句话总结

本文研究了在康奈斯-克雷默平面根树的霍普夫代数中，组合型戴森-施温格方程 $X = B^+(P(X))$ 的解，识别出使得生成子代数 $A_P$ 成为霍普夫子代数的正式幂级数 $P$。其分类为三种同构类：多项式环、与拟对称函数同构的梯子霍普夫代数，以及法卡·迪布鲁霍普夫代数的非交换版本，后者导致经典法卡·迪布鲁代数在树霍普夫代数中的无限嵌入。

ABSTRACT

We consider the combinatorial Dyson-Schwinger equation X=B^+(P(X)) in the non-commutative Connes-KreimerHopf algebra of planar rooted trees H, where B^+ is the operator of grafting on a root, and P a formal series. The unique solution X of this equation generates a graded subalgebra A_P of\H. We describe all the formal series P such that A_P is a Hopf subalgebra. We obtain in this way a 2-parameters family of Hopf subalgebras of H, organized into three isomorphism classes: a first one, restricted to a olynomial ring in one variable; a second one, restricted to the Hopf subalgebra of ladders, isomorphic to the Hopf algebra of quasi-symmetric functions; a last (infinite) one, which gives a non-commutative version of the Fa\`a di Bruno Hopf algebra. By taking the quotient, the last classe gives an infinite set of embeddings of the Fa\`a di Bruno algebra into the Connes-Kreimer Hopf algebra of rooted trees. Moreover, we give an embedding of the free Fa\`a di Bruno Hopf algebra on D variables into a Hopf algebra of decorated rooted trees, togetherwith a non commutative version of this embedding.

研究动机与目标

• 表征所有形式幂级数 $P$，使得由戴森-施温格方程 $X = B^+(P(X))$ 的解 $X$ 生成的子代数 $A_P$ 是康奈斯-克雷默平面根树霍普夫代数 $H$ 的霍普夫子代数。
• 将由此产生的霍普夫子代数 $A_P$ 分类为同构类，并确定其代数结构。
• 通过商构造建立经典法卡·迪布鲁霍普夫代数到树霍普夫代数的嵌入。
• 通过带标记根树的构造，将该构造扩展到 $D$ 个变量的非交换法卡·迪布鲁代数版本。

提出的方法

• 在平面根树的非交换康奈斯-克雷默霍普夫代数 $H$ 中求解组合型戴森-施温格方程 $X = B^+(P(X))$，其中 $B^+$ 为嫁接算子。
• 表征所有形式幂级数 $P$，使得由解 $X$ 生成的子代数 $A_P$ 在对合下封闭，从而确保其为霍普夫子代数。
• 分析不同类 $P$ 下 $A_P$ 的代数结构，识别出三种同构类：多项式环、梯子结构和类法卡·迪布鲁的非交换结构。
• 通过商构造表明，无限族的非交换子代数可映射到经典法卡·迪布鲁霍普夫代数。
• 构建自由法卡·迪布鲁霍普夫代数在 $D$ 个变量上到带标记根树霍普夫代数的嵌入。
• 利用带有非交换关系的带标记树，开发该嵌入的非交换版本。

实验结果

研究问题

• RQ1 对于哪些形式幂级数 $P$，由解 $X = B^+(P(X))$ 生成的子代数 $A_P$ 是康奈斯-克雷默平面根树霍普夫代数的霍普夫子代数？
• RQ2 由戴森-施温格方程解所生成的霍普夫子代数 $A_P$ 的同构类是什么？
• RQ3 如何通过 $A_P$ 的商构造将经典法卡·迪布鲁霍普夫代数嵌入康奈斯-克雷默平面树霍普夫代数？
• RQ4 自由法卡·迪布鲁霍普夫代数在 $D$ 个变量上能否嵌入带标记根树的霍普夫代数中？此类嵌入的结构如何？
• RQ5 非交换法卡·迪布鲁霍普夫代数的结构是什么？如何在带标记树的框架内实现该结构？

主要发现

• 本文在康奈斯-克雷默平面根树霍普夫代数中识别出一个二维参数族的霍普夫子代数 $A_P$，其源于戴森-施温格方程 $X = B^+(P(X))$ 的解。
• 这些子代数可分为三类同构类：与单变量多项式环同构，与通过梯子子代数同构于拟对称函数的霍普夫代数同构，以及法卡·迪布鲁霍普夫代数的非交换版本。
• 非交换法卡·迪布鲁子代数作为无限族的霍普夫子代数出现，其商映射产生经典法卡·迪布鲁代数在树霍普夫代数中的无限组嵌入。
• 经典法卡·迪布鲁霍普夫代数通过非交换子代数的商映射嵌入康奈斯-克雷默霍普夫代数，从而建立系统化的嵌入机制。
• 构建了自由法卡·迪布鲁霍普夫代数在 $D$ 个变量上到带标记根树霍普夫代数的嵌入，推广了经典情形。
• 开发了该嵌入的非交换版本，将框架扩展至非交换带标记树，为非交换法卡·迪布鲁结构提供了新的实现方式。