[论文解读] Perturbative renormalization and BRST

Michael Duetsch, Klaus Fredenhagen|ArXiv.org|Nov 22, 2004

German Economic Analysis & Policies参考文献 9被引用 3

一句话总结

本文提出了一种在代数量子场论（AQFT）框架内使用BRST形式化对规范理论中的微扰重整化进行严格代数处理的方法。它确立了物理可观测量作为BRST荷的上同调，从而确保规范不变性和幺正性，并证明通过主Ward恒等式和量子作用原理，可在所有阶次上保持杨-米尔斯理论和QED理论中的微扰规范不变性与无反常性。

ABSTRACT

The perturbative quantization of gauge theories is shortly reviewed with emphasis of the local operator BRST-formalism.

研究动机与目标

• 在代数量子场论（AQFT）框架内，使用BRST形式化，为规范理论中的微扰重整化提供一个数学上严格的表述。
• 分离并解决微扰规范理论中的三个核心问题：消除非物理自由度、正定性（幺正性）以及红外发散。
• 确保BRST对称性在重整化过程中得以保持，从而在相互作用的量子场论中维持规范不变性与无反常性。
• 通过在具有正定物理子空间的克雷因空间上将BRST荷实现为一个幂零算符，构造可观测量代数的非平凡希尔伯特空间表示。
• 证明可通过主Ward恒等式与量子作用原理系统地强制实现微扰规范不变性与无反常性。

提出的方法

• 定义局部场代数，包括鬼场与反鬼场，按鬼数赋予Z₂-分次，并赋予满足s² = 0的BRST导子s。
• 将可观测量代数构造为BRST算符的上同调：A = A₀ / A₀₀，其中A₀为s的核，A₀₀为s的像。
• 通过克雷因空间K上的幂零算符Q实现BRST对称性，满足Q² = 0且Q对称，将物理态定义为H = K₀ / K₀₀。
• 使用BRST流jμ_gL与相互作用BRST荷Q̃ = ∫ d⁴x jμ_gL(x) bμ(x) 定义相互作用下的BRST变换，其中bμ为光滑柯西面泛函。
• 通过主Ward恒等式强制守恒BRST流jμ_gL：T_{n+1}(A, F₁,…,Fₙ) = −∑ₖ Tₙ(F₁,…,δ_A Fₖ,…,Fₙ)，以确保微扰规范不变性。
• 应用量子作用原理对反常进行分类与消除，确保BRST对称性在所有微扰阶次下保持未破缺。

实验结果

研究问题

• RQ1 如何在保持BRST对称性与规范不变性的前提下，一致地表述规范理论中的微扰重整化？
• RQ2 在代数量子场论框架中，能否通过BRST上同调严格定义规范理论中可观测量的代数结构？
• RQ3 在何种条件下，BRST荷保持幂零性，且物理态空间可赋予正定内积？
• RQ4 主Ward恒等式如何被系统地用于强制实现相互作用理论中微扰规范不变性与无反常性？
• RQ5 在无质量规范理论中，如何避免使用绝热极限？如何利用紧支撑耦合构造局部可观测量？

主要发现

• 规范理论中的可观测量代数被严格定义为BRST算符的上同调，从而确保规范不变性与物理一致性。
• 通过强制主Ward恒等式，在所有阶次上保持了SU(N)杨-米尔斯理论中的微扰规范不变性与无反常性。
• 相互作用BRST荷Q̃通过相互作用BRST流jμ_gL与光滑柯西面泛函bμ构造，确保了其在相互作用理论中的幂零性与守恒性。
• 物理态空间被实现为Q的上同调，且在自由理论中建立了内积的正定性，并通过BRST形式化将其推广至相互作用情形。
• 量子作用原理与上同调方法可对反常进行完整分类，其消失作为物理可接受模型的筛选标准。
• 在QED中，狄拉克流的Ward恒等式确保了条件(N0)–(N4)与微扰规范不变性在所有阶次下成立，证实了该框架的一致性。