[论文解读] Operads and the Hopf algebras of renormalisation

P. van der Laan|ArXiv.org|Nov 10, 2003

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

一句话总结

本文在量子场论重整化中的操作代数与霍普夫代数之间建立了函子性联系，表明重整化中出现的霍普夫代数结构可通过操作代数构造分解。证明了在对偶霍普夫代数中，特征群与原点李代数由对偶操作代数上应用标准函子所刻画，并表明康奈斯-克雷默图霍普夫代数源自单粒子不可分解图的子操作代数。

ABSTRACT

Functors from (co)operads to bialgebras relate Hopf algebras that occur in renormalisation to operads, which simplifies the proof of the Hopf algebra axioms, and induces a characterisation of the corresponding group of characters and Lie algebra of primitives of the dual in terms of the operad. In addition, it is shown that the Wick rotation formula leads to canonical algebras for one of these operads.

研究动机与目标

• 通过将余乘积分解为基本的操作代数运算，简化重整化霍普夫代数公理的验证。
• 用从操作代数到群的函子，刻画对偶霍普夫代数的特征群与原点元素的李代数。
• 证明康奈斯-克雷默图霍普夫代数源自单粒子不可分解图的子操作代数。
• 证明在对称余代数 $ S'^\prime V $ 上，威克旋转公式通过基于图的构造诱导出一个自然的 $ \Gamma $-代数结构。

提出的方法

• 从 1-约化的余操作代数到连通完备霍普夫代数，定义函子 $ C \mapsto H_C $ 和 $ C \mapsto \bar{H}_C $。
• 利用余操作代数 $ C $ 的对偶操作代数，将特征群 $ \mathrm{Hom}_{\text{Alg}}(H_C, k) $ 和 $ \mathrm{Hom}_{\text{Alg}}(\bar{H}_C, k) $ 表示为从操作代数到群的显式函子。
• 应用从操作代数到李代数的标准函子，描述对偶霍普夫代数中原点元素的李代数。
• 构造一个图操作代数，其单粒子不可分解图的子操作代数给出康奈斯-克雷默图霍普夫代数。
• 通过每个图 $ \eta $ 的收缩与对称化映射 $ \tau^\eta $，在 $ S'^\prime V $ 上定义 $ \Gamma $-代数结构，其中使用 $ V $ 上的二次型 $ b $。
• 证明映射 $ \tau^\eta $ 与图复合相容，通过自同构与图态射之间的双射，确保 $ \Gamma $-代数结构。

实验结果

研究问题

• RQ1 如何利用操作代数结构简化重整化霍普夫代数的霍普夫代数公理？
• RQ2 对偶霍普夫代数的特征群与原点元素的李代数之间，与底层操作代数的精确关系是什么？
• RQ3 康奈斯-克雷默图霍普夫代数能否从单粒子不可分解图上的操作代数构造中导出？
• RQ4 量子场论中的威克旋转公式如何与对称余代数上的代数结构相关联？
• RQ5 图自同构与边收缩在定义 $ S'^\prime V $ 上的 $ \Gamma $-代数结构中起什么作用？

主要发现

• 由有限型 1-约化余操作代数 $ C $ 构造的霍普夫代数 $ H_C $，其特征群由 $ C $ 的对偶操作代数到群的函子给出。
• 对偶 $ H_C $ 中原点元素的李代数同构于将标准函子从操作代数到李代数作用于 $ C $ 的对偶操作代数所得的像。
• 康奈斯-克雷默图霍普夫代数被实现为 $ H_C $，其中 $ C $ 是单粒子不可分解图的子操作代数。
• 对称余代数 $ S'^\prime V $ 通过映射 $ \tau^\eta $ 赋予 $ \Gamma $-代数结构，其中 $ \tau^\eta $ 定义为对所有边收缩排列的求和，与边的顺序无关。
• 由于对自同构与粘合双射 $ b $ 的求和等价，恒等式 $ \tau^{\eta \circ_b \zeta} = \tau^\eta \circ_1 \tau^\zeta $ 成立。
• 映射 $ \tau^\eta $ 的构造为威克旋转公式提供了代数上的自然实现，将其与操作代数和霍普夫代数结构联系起来。