[论文解读] The renormalisation bialgebra and operads

P. van der Laan, Ieke Moerdijk|ArXiv.org|Oct 23, 2002

Advanced Topics in Algebra参考文献 2被引用 8

一句话总结

本文建立了一种类别与代数框架，通过证明Brouder（2002）的张量代数构造自然源自余代数的余操作符结构，从而将双代数、余操作符与操作符联系起来。关键贡献在于证明了双代数 $ T(T^+(B)) $ 同构于与双代数 $ B $ 关联的余操作符 $ C_B $ 构造出的双代数 $ B_{C_B} $ 的对偶，且当 $ B $ 为交换代数时，对称代数与霍普夫代数情形亦有类似结果。

ABSTRACT

In a recent preprint, Brouder and Schmitt give a careful construction of a `renormalisation' Hopf algebra out of an arbitrary bialgebra. In this note, we point out that this is a special case of the construction of the cooperad of a bialgebra (Berger-Moerdijk) combined with the construction of a bialgebra from a cooperad (Frabetti-Van der Laan).

研究动机与目标

• 阐明量子场论与重整化中双张量代数构造的代数起源。
• 建立双张量代数 $ T(T^+(B)) $ 与从双代数 $ B $ 衍生的双代数 $ B_{C_B} $ 之间的精确对应关系。
• 在 $ B $ 为交换代数的假设下，将此对应关系扩展至对称代数与霍普夫代数。
• 形式化1-约化余操作符及其关联双代数在重整化理论背景下的作用。
• 通过双代数的余操作符，统一操作符理论与双代数理论的构造。

提出的方法

• 将双代数 $ B_C $ 定义为非-$ \Sigma $ 余操作符 $ C $ 的总空间上的张量代数，其余乘积由 $ C $ 的余复合 $ \gamma^* $ 导出。
• 通过在非零度数生成元上消失并限制于 $ C(1) $ 上的余单位元，定义 $ B_C $ 上的余单位元，并作为代数同态延拓。
• 证明当 $ C $ 为 $ \Sigma $-余操作符时，$ B_C $ 上的双代数结构可下降至余不变量上的对称代数 $ \bar{B}_C = S(\bigoplus_n C(n)_{S_n}) $。
• 将霍普夫代数 $ H_C $ 定义为 pointed 张量代数 $ T_*(\bigoplus_n C(n)) $，利用 $ C(1) = k $ 的基点，并利用其连通分次结构确保对合的存在性。
• 通过设 $ C_B(n) = B^{\otimes n} $，从双代数 $ B $ 构造余操作符 $ C_B $，其余复合通过Sweedler记号及双代数的乘法与余乘法定义。
• 证明 $ T(T^+(B)) \cong B_{C_B}^{\text{op}} $，且当 $ B $ 为交换代数时，对称代数与霍普夫代数情形亦有类似结论。

实验结果

研究问题

• RQ1 双张量代数 $ T(T^+(B)) $ 如何通过操作符与余操作符构造来解释？
• RQ2 对于双代数 $ B $，双代数 $ B_{C_B} $ 与双张量代数 $ T(T^+(B)) $ 之间的精确关系是什么？
• RQ3 在何种条件下，$ B_C $ 上的双代数结构可下降至余不变量上的对称代数 $ \bar{B}_C $？
• RQ4 从1-约化余操作符 $ C $ 构造 $ H_C $ 的方式如何与 $ T(T^+(B)) $ 的Pinter霍普夫代数相关联？
• RQ5 1-约化余操作符 $ C^{>1}_B $ 在连接双张量代数与霍普夫代数结构方面起什么作用？

主要发现

• 双张量双代数 $ T(T^+(B)) $ 同构于由 $ C_B(n) = B^{\otimes n} $ 定义的非-$ \Sigma $ 余操作符 $ C_B $ 所构造的双代数 $ B_{C_B} $ 的对偶。
• 当 $ B $ 为交换代数时，对称双张量双代数 $ S(S^+(B)) $ 同构于 $ \bar{B}_{C_B} $ 的对偶，其中 $ \bar{B}_{C_B} $ 是 $ C_B $ 上余不变量的双代数。
• 与 $ T(T^+(B)) $ 关联的Pinter霍普夫代数同构于从 $ C_B $ 的1-约化部分构造的霍普夫代数 $ H_{C^{>1}_B} $ 的对偶。
• 从余操作符 $ C $ 构造 $ B_C $ 可得到一个良定义的双代数，这是由于其继承了 $ C $ 的余结合性与余单位元性质。
• 对于1-约化余操作符，霍普夫代数 $ H_C $ 是良定义的，因为连通分次双代数结构保证了对合的存在性。
• 当 $ C $ 为1-约化 $ \Sigma $-余操作符时，对称代数构造 $ \bar{H}_C $ 可生成霍普夫代数，且当 $ B $ 为交换代数时，此结构对应于 $ S(S^+(B)) $ 的Pinter霍普夫代数。