[Paper Review] Perturbative renormalization and BRST

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

German Economic Analysis & Policies9 references3 citations

TL;DR

This paper presents a rigorous algebraic approach to perturbative renormalization in gauge theories using the BRST formalism within Algebraic Quantum Field Theory (AQFT). It establishes that physical observables are defined as the cohomology of the BRST charge, ensuring gauge invariance and unitarity, and proves that perturbative gauge invariance and the absence of anomalies can be maintained to all orders in Yang-Mills and QED theories via the Master Ward Identity and Quantum Action Principle.

ABSTRACT

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

Motivation & Objective

• To provide a mathematically rigorous formulation of perturbative renormalization in gauge theories using the BRST formalism within Algebraic Quantum Field Theory (AQFT).
• To separate and address the three core problems in perturbative gauge theories: elimination of unphysical degrees of freedom, positivity (unitarity), and infrared divergences.
• To ensure that BRST symmetry is preserved under renormalization, thereby maintaining gauge invariance and anomaly freedom in interacting quantum field theories.
• To construct a nontrivial Hilbert space representation of the algebra of observables by realizing the BRST charge as a nilpotent operator on a Krein space with positive definite physical subspace.
• To demonstrate that perturbative gauge invariance and the absence of anomalies can be systematically enforced using the Master Ward Identity and the Quantum Action Principle.

Proposed method

• Define the algebra of local fields, including ghosts and anti-ghosts, with a Z₂-grading by ghost number, and equip it with a BRST derivation s satisfying s² = 0.
• Construct the algebra of observables as the cohomology of the BRST operator: A = A₀ / A₀₀, where A₀ is the kernel and A₀₀ the image of s.
• Implement the BRST symmetry via a nilpotent operator Q on a Krein space K, with Q² = 0 and Q symmetric, to define physical states as H = K₀ / K₀₀.
• Use the BRST current jμ_gL and the interacting BRST charge Q̃ = ∫ d⁴x jμ_gL(x) bμ(x) to define the interacting BRST transformation, with bμ a smooth Cauchy surface functional.
• Enforce conservation of the BRST current jμ_gL via the Master Ward Identity: T_{n+1}(A, F₁,…,Fₙ) = −∑ₖ Tₙ(F₁,…,δ_A Fₖ,…,Fₙ), ensuring perturbative gauge invariance.
• Apply the Quantum Action Principle to classify and eliminate anomalies, ensuring that the BRST symmetry remains unbroken at all perturbative orders.

Experimental results

Research questions

• RQ1 How can perturbative renormalization in gauge theories be consistently formulated while preserving BRST symmetry and gauge invariance?
• RQ2 Can the algebraic structure of observables in gauge theories be rigorously defined via BRST cohomology in the framework of Algebraic Quantum Field Theory?
• RQ3 What conditions ensure that the BRST charge remains nilpotent and that the physical state space admits a positive definite inner product?
• RQ4 How can the Master Ward Identity be used to systematically enforce perturbative gauge invariance and anomaly freedom in interacting theories?
• RQ5 To what extent can the adiabatic limit be avoided in massless gauge theories, and how can local observables be constructed using compactly supported couplings?

Key findings

• The algebra of observables in gauge theories is rigorously defined as the cohomology of the BRST operator, ensuring gauge invariance and physical consistency.
• Perturbative gauge invariance and the absence of anomalies are maintained to all orders in SU(N) Yang-Mills theories by enforcing the Master Ward Identity.
• The BRST charge Q̃ is constructed via the interacting BRST current jμ_gL and a smooth Cauchy surface functional bμ, ensuring nilpotency and conservation in the interacting theory.
• The physical state space is realized as the cohomology of Q, and positivity of the inner product is established in free theories and extended to interacting cases via the BRST formalism.
• The Quantum Action Principle and cohomological methods allow a complete classification of anomalies, with their vanishing serving as a selection criterion for physically acceptable models.
• In QED, the Ward identity for the Dirac current ensures that conditions (N0)–(N4) and perturbative gauge invariance are fulfilled to all orders, confirming the consistency of the framework.