[Paper Review] Cohomological Aspects of Gauge Invariance in the Causal Approach

D. R. Grigore|arXiv (Cornell University)|Nov 26, 2007

Black Holes and Theoretical Physics15 references19 citations

TL;DR

This paper investigates the cohomological structure underlying gauge invariance in the causal perturbation theory of quantum field theories, particularly Yang-Mills models. It establishes that gauge invariance at all perturbative orders reduces to solving descent equations involving the nilpotent gauge charge $ d_Q $, and proves that anomalies—obstructions to gauge invariance—must vanish under parity invariance and tracelessness constraints, ensuring renormalizability via cohomological criteria in a linear, Hilbert space-based framework.

ABSTRACT

Quantum theory of the gauge models in the causal approach leads to some cohomology problems. We investigate these problems in detail.

Motivation & Objective

• To understand the cohomological origin of gauge invariance in the causal approach to quantum field theory.
• To analyze anomalies in gauge theories as obstructions to the generalization of the Ward-Takahashi identity to all perturbative orders.
• To reduce the problem of gauge invariance to a system of descent equations involving the nilpotent gauge charge $ d_Q $.
• To prove that anomalies must vanish under parity invariance and tracelessness, ensuring renormalizability.
• To provide a cohomological characterization of the arbitrariness in chronological products, essential for renormalization.

Proposed method

• Formalizing gauge invariance through the nilpotent operator $ d_Q = [Q, \cdot] $, which raises ghost number by one.
• Expressing gauge invariance at all orders as the descent equation $ d_Q T^{I_1,\dots,I_n} = i \sum_l (-1)^{s_l} \partial_{\mu_l} T^{I_1,\dots,I_l\mu,\dots,I_n} $, where $ s_l $ accounts for ghost number grading.
• Reducing the anomaly structure to solutions of Wess-Zumino-type consistency conditions, which are cohomological in nature.
• Using a geometric framework with on-shell fields and a modified Poincaré lemma for tensor-valued distributions.
• Analyzing tensor structures via decomposition into traceless parts and factors of $ \eta_{\mu\nu} $, $ \epsilon^{\mu\nu\rho\sigma} $, and spinor structures $ \sigma^{\alpha\beta}_{ab} $.
• Proving that parity invariance and tracelessness force any anomaly with two $ \epsilon $-tensors to vanish, and establishing orthogonality of tensor subspaces via a non-degenerate inner product.

Experimental results

Research questions

• RQ1 How can gauge invariance at all perturbative orders be systematically characterized in the causal approach to quantum field theory?
• RQ2 What is the cohomological structure of anomalies that may break gauge invariance in perturbative quantum field theories?
• RQ3 Why must anomalies with two $ \epsilon^{\mu\nu\rho\sigma} $ factors vanish under parity invariance?
• RQ4 How do tensor decomposition and tracelessness constraints constrain the form of possible anomalies in the chronological product?
• RQ5 What is the role of the ghost number grading and the nilpotent operator $ d_Q $ in reducing the gauge invariance condition to a descent equation?

Key findings

• Gauge invariance at all orders reduces to a descent equation involving the nilpotent gauge charge $ d_Q $, generalizing the classical relation $ [Q,T] = i\partial_\mu T^\mu $.
• Anomalies—obstructions to gauge invariance—must satisfy Wess-Zumino consistency conditions and are constrained by tracelessness and parity invariance.
• Any anomaly containing two $ \epsilon^{\mu\nu\rho\sigma} $ tensors must vanish due to the identity $ \epsilon^{\mu\nu\rho\sigma} \epsilon^{\alpha\beta\gamma\delta} \propto \text{det}(\eta) $, which leads to traceless and parity-odd contributions that cannot survive.
• The space of parity-invariant tensor structures decomposes into orthogonal subspaces $ T^n_k $, each spanned by products of $ k $ factors of $ \eta_{\mu\nu} $ and a traceless tensor, with a non-degenerate inner product ensuring unique decomposition.
• The coefficients in the tensor decomposition can be expressed as traces of the original tensor, proving that the decomposition is canonical and physically meaningful.
• The cohomological structure of the arbitrariness in chronological products is fully characterized by solutions to the same descent equations, ensuring renormalizability when anomalies vanish.