The BRST Double Complex for the Coupling of Gravity to Gauge Theories

TL;DR

This paper analyzes the BRST double complex structure in quantum gravity coupled to the Standard Model, clarifying ghost-matter interactions and establishing conditions for decoupling of graviton-ghosts via cohomological methods.

Contribution

It introduces a double complex framework for BRST and anti-BRST symmetries in QGR-SM, revealing conditions for ghost decoupling and relating cohomologies through ghost conjugation.

Findings

All differentials mutually anticommute, forming a double complex.

Decoupling of graviton-ghosts depends on the tensor density weight of the gauge fixing Lagrangian.

BRST and anti-BRST complexes are isomorphic via ghost conjugation.

Abstract

We consider (effective) Quantum General Relativity coupled to the Standard Model (QGR-SM) and clarify whether graviton-ghosts couple to matter particles. To this end, we examine the corresponding BRST and anti-BRST symmetries, which are generated by infinitesimal diffeomorphisms and infinitesimal gauge transformations. In particular, we study their properties and relations: We find that all differentials mutually anticommute, which implies that they form a double complex. In particular, we introduce the total BRST differential as the sum of the diffeomorphism and gauge BRST differentials and similarly the total anti-BRST differential as the sum of the respective anti-BRST differentials. Furthermore, we identify the functionals in particle fields that are (co)cycles up to total derivatives with respect to the diffeomorphism differentials as scalar tensor densities of weight one: This implies that graviton-ghosts decouple from matter particles if and only if the Yang--Mills gauge fixing Lagrange density has said tensor density weight. Moreover, we discuss the relevant gauge fixing fermions: Starting from the de Donder and Lorenz gauge fixing conditions, we introduce a total gauge fixing fermion that generates the complete gauge fixing and ghost Lagrange density of QGR-SM. Finally, we show that the BRST cocomplexes are isomorphic to their corresponding anti-BRST complexes via ghost conjugation. Notably, this relates the BRST cohomologies to their respective anti-BRST homologies.