[论文解读] Cohomological analysis of the Epstein-Glaser renormalization

Nikolay Nikolov|ArXiv.org|Dec 13, 2007

Advanced Topics in Algebra参考文献 12被引用 5

一句话总结

本文对欧几里得量子场论中的 Epstein-Glaser 微扰重正则化方案进行了上同调分析，表明重正则化歧义由一个 Hochschild 1-上循环控制，其上同调同调群在有序配置空间上退化为 de Rham 上同调群。关键结果是一套上同调微分方程，可完全确定重正则化上循环的自由度，为计算微扰 QFT 中的重正化群作用提供了一个几何框架。

ABSTRACT

A cohomological analysis of the renormalization freedom is performed in the Epstein-Glaser scheme on a flat Euclidean space. We study the deviation from commutativity between the renormalization and the action of all linear partial differential operators. It defines a Hochschild 1-cocycle and the renormalization ambiguity corresponds to a nonlinear subset in the cohomology class of this renormalization cocycle. We have shown that the related cohomology spaces can be reduced to de Rham cohomologies of the so called "(ordered) configuration spaces". We have also found cohomological differential equations that exactly determine the renormalization cocycles up to the renormalization freedom. This analysis is a first step towards a new approach for computing renormalization group actions. It can be also naturally extended to manifolds as well as to the case of causal perturbation theory.

研究动机与目标

• 开发一个上同调框架，以理解 Epstein-Glaser 方案中重正则化自由度的本质。
• 将重正则化与线性偏微分算子之间的偏离视为 Hochschild 1-上循环进行分析。
• 将相关上同调空间约化为有序配置空间的 de Rham 上同调群。
• 推导出一组上同调微分方程，以完全确定重正则化上循环的自由度。
• 为在微扰 QFT 中计算重正化群作用提供新的几何方法基础。

提出的方法

• 分析在欧几里得空间 ℝᴰ 中进行，聚焦于费曼积分在非重合点处具有正则传播子的 Epstein-Glaser 重正则化方案。
• 重正则化歧义被编码为由重正则化映射与微分算子之间的交换子所生成的 Hochschild 1-上循环。
• 证明了重正则化上循环的上同调群同构于有序配置空间 Fₙ(ℝᴰ) 的 de Rham 上同调群，其中 Fₙ(ℝᴰ) 定义为具有两两不同点的 n 元组的集合。
• 该方法引入了映射 γ_{S;k,μ}，以分解微分算子在重正则化乘积上的作用，从而导出一组上同调方程。
• 这些方程表示为 dΓ₂ = 0 和 dΓₙ = −∑_{|S|≥2} Γ_{n/S} ∧ Γ_S（n > 2），构成了一致的代数结构。
• 该框架具有足够的通用性，可推广至流形以及伪黎曼空间上的因果微扰理论。

实验结果

研究问题

• RQ1 如何系统地使用上同调方法描述 Epstein-Glaser 方案中重正则化歧义的结构？
• RQ2 重正则化上循环的上同调与配置空间几何之间的确切关系是什么？
• RQ3 重正则化上循环能否由一组微分方程完全确定？
• RQ4 线性偏微分算子在重正则化乘积上的作用与 Hochschild 上同调之间有何关系？
• RQ5 有序配置空间在刻画重正则化自由度结构中的作用是什么？

主要发现

• 与重正则化歧义相关的上同调空间同构于有序配置空间 Fₙ(ℝᴰ) 的 de Rham 上同调群。
• 重正则化与线性偏微分算子之间不满足交换性的偏离定义了一个 Hochschild 1-上循环。
• 重正则化上循环满足一组上同调微分方程：dΓ₂ = 0 和 dΓₙ = −∑_{|S|≥2} Γ_{n/S} ∧ Γ_S（n > 2）。
• 这些方程完全确定了重正则化上循环的自由度，仅受上同调类自由度的限制。
• 该框架为在微扰 QFT 中计算重正化群作用提供了几何与代数基础。
• 结果可推广至一般流形以及伪黎曼时空上的因果微扰理论。