[论文解读] Renormalisation and the Batalin-Vilkovisky formalism

Kevin J. Costello|ArXiv.org|Jun 11, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 24被引用 43

一句话总结

本文提出了一种基于Batalin-Vilkovisky形式化方法的微分几何重整化程序，适用于紧致流形上的量子场论，利用热核方法与渐近展开技术，定义了一个有限的重整化有效作用量。该方法实现了规范对称性保持的Chern-Simons理论重整化，进而在流形上取值于李代数的上同调空间上构造出更高圈的$L_\infty$-结构。

ABSTRACT

This paper gives a way to renormalise certain quantum field theories on compact manifolds. Examples include Yang-Mills theory (in dimension 4 only), Chern-Simons theory and holomorphic Chern-Simons theory. The method is within the framework of the Batalin-Vilkovisky formalism. Chern-Simons theory is renormalised in a way respecting all symmetries (up to homotopy). This yields an invariant of smooth manifolds: a certain algebraic structure on the cohomology of the manifold tensored with a Lie algebra, which is a "higher loop" enrichment of the natural Lie-infinity structure.

研究动机与目标

• 在Batalin-Vilkovisky框架内，为紧致流形上的量子场论发展一种系统化的重整化方法。
• 确保重整化过程在同伦意义下保持所有规范对称性，特别是在Chern-Simons等拓扑场论中。
• 通过热核积分的渐近展开与截断，定义一个有限的有效作用量。
• 在流形的上同调空间上构造一个不变的代数结构，将经典$L_\infty$-结构推广至更高圈。
• 通过微分算子与形式指数映射，提供有限维路径积分在无限维情形下的严格类比。

提出的方法

• 使用一个奇数自伴微分算子$Q^{GF}$定义规范固定条件，使得$H = [Q, Q^{GF}]$为正则椭圆型二阶微分算子。
• 将传播子定义为$P(\varepsilon, \infty) = \int_\varepsilon^\infty (Q^{GF} \otimes 1) K_t \, dt$，其中$K_t$为$H$的热核，并在$\mathscr{E} \otimes \mathscr{E}$的分布完成空间中处理该表达式。
• 将路径积分定义为$Z(S, \hbar, a) = \lim_{\varepsilon \to 0} \exp(\hbar \partial_{P(\varepsilon, \infty)}) \exp(S / \hbar)(a)$，其中使用了在泛函代数$\mathscr{O}(\mathscr{E})$上的微分算子。
• 对费曼图积分应用渐近分析，基于尺度层次将积分区域分解，以控制$\varepsilon \to 0$时的奇点。
• 引入一个在$\varepsilon$中具有渐近性质的函数空间$\mathscr{A}$，以吸收来自热核奇点的对数项与幂律项。
• 建立费曼图参数空间上积分的小-$\varepsilon$与小-$T$渐近展开，确保反项的收敛性与局部性。

实验结果

研究问题

• RQ1 如何基于Batalin-Vilkovisky形式化方法，在紧致流形上为量子场论定义一个有限且对称性保持的重整化程序？
• RQ2 在具有非平凡规范对称性的理论（如Chern-Simons理论）中，有效作用量的结构是什么？
• RQ3 短距离处热核奇点如何影响重整化过程？能否系统性地控制这些奇点？
• RQ4 重整化的路径积分能否表示为$\hbar$的形式幂级数，且其反项为局部泛函？
• RQ5 重整化后，流形上同调空间上出现何种代数结构？该结构如何推广经典$L_\infty$-代数？

主要发现

• 重整化有效作用量$\hbar \log Z(S, \hbar, a)$在$\mathscr{A}[[\hbar]]$中具有小-$\varepsilon$渐近展开，其系数为$\mathscr{E}$上的连续线性泛函。
• 传播子积分$P(\varepsilon, \infty)$的渐近展开通过尺度区域分解得以控制，从而在$\varepsilon \to 0$时获得明确定义的极限。
• 有效作用量中的反项为局部泛函，由对流形上密度的多微分算子积分构造而成，确保了理论的可重整化性。
• 对于Chern-Simons理论，重整化后的理论在$H^\bullet(M, \mathfrak{g}) \otimes \Omega^\bullet(\Delta^d)$上诱导出更高圈的$L_\infty$-结构，推广了经典$L_\infty$-代数。
• 由于采用BV形式化与对称规范固定，该方法保持了原始理论的所有对称性（包括规范不变性）至同伦等价。
• 该构造在满足指定几何与分析条件时，适用于4维Yang-Mills理论、任意维数的Chern-Simons理论以及全纯Chern-Simons理论。