[论文解读] Cohomology of Feynman graphs and perturbative quantum field theory

Lucian M. Ionescu|ArXiv.org|Jun 8, 2005

Advanced Topics in Algebra参考文献 14被引用 6

一句话总结

该论文通过Kreimer的余乘积和Kontsevich的图同调，在定向标记费曼图上建立了dg-Hopf代数结构，实现了微扰量子场论中L-infinity同构的上同调解释。该dg-余代数的cobar构造产生图同调，其中总微分编码了L-infinity同构条件，费曼积分作为图展开中的系数出现。

ABSTRACT

An analog of Kreimer's coproduct from renormalization of Feynman integrals in quantum field theory, endows an analog of Kontsevich's graph complex with a dg-coalgebra structure. The graph complex is generated by orientation classes of labeled directed graphs. A graded commutative product is also defined, compatible with the coproduct. Moreover, a dg-Hopf algebra is identified. Graph cohomology is defined applying the cobar construction to the dg-coalgebra structure. As an application, L-infinity morphisms represented as series over Feynman graphs correspond to graph cocycles. Notably the total differential of the cobar construction corresponds to the L-infinity morphism condition. The main example considered is Kontsevich's formality morphism. The relation with perturbative quantum field theory is considered by interpreting L-infinity morphisms as partition functions, and the coefficients of the graph expansions as Feynman integrals.

研究动机与目标

• 将重整化中的Kreimer余乘积与Kontsevich的图同调统一为单一代数框架。
• 在标记有向图的定向类上定义dg-Hopf代数结构，以实现上同调分析。
• 通过cobar构造将微扰QFT中的L-infinity同构解释为图上循环。
• 在同伦代数基础上，建立费曼积分与图展开中系数之间的对应关系。
• 利用L-infinity代数和图同调，为费曼路径积分提供一个形式化的代数模型。

提出的方法

• 通过不相交并和标记的连接，定义标记有向图的定向类上的分次交换乘积。
• 引入一种余乘积，使用与边界相交的正规子图，推广Kreimer为重整化所定义的余乘积。
• 从图复形构造dg-余代数，其微分源自图同调的微分。
• 对dg-余代数应用cobar构造，以定义图同调，其中总微分编码了L-infinity同构条件。
• 将图与态配对，定义'费曼规则'为系数，通过配置空间积分将其解释为费曼积分。
• 以Kontsevich的同构性映射为典型例子，表明其系数源自图上循环。

实验结果

研究问题

• RQ1 如何将重整化中的Kreimer余乘积与Kontsevich的图同调结合，形成统一的代数结构？
• RQ2 cobar构造在L-infinity同构与图同调之间起到何种作用？
• RQ3 在此框架下，微扰QFT中的费曼积分如何从图展开中出现？
• RQ4 L-infinity同构在dg-余代数的上同调中以何种方式对应于图上循环？
• RQ5 此路径积分的代数模型与QFT中传统的分析方法有何关系？

主要发现

• 定向标记有向图的图复形具有dg-Hopf代数结构，包含分次交换乘积和推广Kreimer余乘积的余乘积。
• 对dg-余代数应用cobar构造后得到图同调，其中总微分恰好对应L-infinity同构条件。
• 在费曼图上展开的L-infinity同构精确对应图上循环，Kontsevich的同构性映射是核心示例。
• 费曼积分作为L-infinity同构图展开中的系数被实现，其来源于图与配置空间上态的配对。
• L-infinity同构的模空间同构于费曼dg-余代数的上同调：$\mathcal{H}o(g_1,g_2) = H^\bullet(\mathcal{G};k)$。
• 该框架为路径积分提供了一个形式化的代数实现，即作为费曼图的求和，其中L-infinity同构作为格林函数的生成函数。