BRST-Exact Quartet Mechanism

• The BRST-exact quartet mechanism is a cohomological construction that organizes auxiliary fields into BRST doublets and quartets, rendering their contribution trivial in cohomology.
• It converts soft quadratic BRST breaking into a controlled linear breaking, ensuring compatibility with the Quantum Action Principle and Slavnov–Taylor identities.
• This mechanism underpins approaches in the Gribov–Zwanziger framework and extends to non-perturbative QCD, Weyl gravity, and higher-spin theories, unifying symmetry regulation via BRST cohomology.

Searching arXiv for recent and foundational papers on the BRST-exact quartet mechanism and related BRST quartet constructions. The BRST-exact quartet mechanism denotes a cohomological construction in which auxiliary fields are organized into BRST doublets, or equivalently into quartets, so that their sector is BRST-exact and therefore trivial in cohomology. In the Gribov–Zwanziger framework, its canonical use is to replace the soft, quadratic BRST breaking produced by the Gribov horizon term with a linear breaking obtained by introducing two BRST quartets of auxiliary tensor fields. Because the resulting breaking is linear in the fields, it is compatible with the Quantum Action Principle and can be encoded in Slavnov–Taylor identities, while renormalization is governed by the cohomology of a nilpotent local operator (Capri et al., 2010). Related BRST quartet constructions also appear in non-perturbative Landau-gauge QCD, higher-derivative scalar models, Weyl conformal gravity, higher-spin constrained BRST formalisms, and recent auxiliary-quartet extensions of $SU(3)$ Yang–Mills theory (Alkofer et al., 2011, Kim et al., 2013, Oda et al., 2022, Reshetnyak, 2018, Amaral et al., 15 May 2026).

1. Soft BRST breaking in the Gribov–Zwanziger framework

In Landau gauge, the starting point is the Faddeev–Popov action

$$S_{\mathrm{FP}} = \int d^4x\, \left[ \frac14 F_{\mu\nu}^a F_{\mu\nu}^a + i\,b^a\,\partial_\mu A_\mu^a + \bar c^a\,\partial_\mu D_\mu^{ab} c^b \right],$$

with BRST differential $s_0$ acting as

$$s_0 A_\mu^a=-D_\mu^{ab}c^b,\qquad s_0 c^a=\frac12 g f^{abc}c^b c^c,\qquad s_0\bar c^a=i\,b^a,\qquad s_0 b^a=0,\qquad s_0^2=0.$$

Restriction to the first Gribov region introduces Zwanziger’s horizon term

$$S_h = \gamma^2 \int d^4x\, f^{abc}A_\mu^a(\phi+\bar\phi)^{bc}_\mu - \gamma^4\,4(N^2-1),$$

together with the auxiliary $(\phi,\omega)$-fields, yielding the standard Gribov–Zwanziger action $S_{\mathrm{GZ}}$ (Capri et al., 2010).

Under the original BRST symmetry, the conventional Gribov–Zwanziger action satisfies

$$s_0 S_{\mathrm{GZ}}=\Delta_{\mathrm{soft}}, \qquad \Delta_{\mathrm{soft}}\sim O(\gamma^2)\times (\phi,\bar\phi,\omega,\bar\omega)^2,$$

so the breaking is soft and quadratic in the fields. The decisive obstruction is algebraic rather than merely formal: such a composite-operator breaking cannot be directly encoded into Slavnov–Taylor identities compatible with the Quantum Action Principle (Capri et al., 2010). The BRST-exact quartet mechanism is designed precisely to remove this obstruction without eliminating the horizon sector.

A central conceptual point is that the mechanism does not restore an unbroken standard BRST symmetry in the original field variables. Instead, it replaces a soft quadratic breaking by a linearly broken BRST symmetry that remains sufficiently controlled for algebraic renormalization. This distinction is essential in the Gribov–Zwanziger setting, where the horizon condition and the associated restriction of configuration space remain operative.

2. Auxiliary quartets and the extended BRST algebra

The conversion of the soft breaking into a linear one proceeds by enlarging the field content with two BRST quartets of auxiliary Lorentz-tensor fields, each carrying one Lorentz index $\mu$ and two adjoint color indices $(a,b)$. The quartets are

$$S_{\mathrm{FP}} = \int d^4x\, \left[ \frac14 F_{\mu\nu}^a F_{\mu\nu}^a + i\,b^a\,\partial_\mu A_\mu^a + \bar c^a\,\partial_\mu D_\mu^{ab} c^b \right],$$0

Their role is cohomologically contractible: they form BRST doublets and therefore do not contribute nontrivially to the local BRST cohomology (Capri et al., 2010).

Fields	Statistics	Ghost number
$$S_{\mathrm{FP}} = \int d^4x\, \left[ \frac14 F_{\mu\nu}^a F_{\mu\nu}^a + i\,b^a\,\partial_\mu A_\mu^a + \bar c^a\,\partial_\mu D_\mu^{ab} c^b \right],$$1	fermionic	$$S_{\mathrm{FP}} = \int d^4x\, \left[ \frac14 F_{\mu\nu}^a F_{\mu\nu}^a + i\,b^a\,\partial_\mu A_\mu^a + \bar c^a\,\partial_\mu D_\mu^{ab} c^b \right],$$2
$$S_{\mathrm{FP}} = \int d^4x\, \left[ \frac14 F_{\mu\nu}^a F_{\mu\nu}^a + i\,b^a\,\partial_\mu A_\mu^a + \bar c^a\,\partial_\mu D_\mu^{ab} c^b \right],$$3	bosonic	$$S_{\mathrm{FP}} = \int d^4x\, \left[ \frac14 F_{\mu\nu}^a F_{\mu\nu}^a + i\,b^a\,\partial_\mu A_\mu^a + \bar c^a\,\partial_\mu D_\mu^{ab} c^b \right],$$4

All these fields carry zero global charges other than those inherited from color $$S_{\mathrm{FP}} = \int d^4x\, \left[ \frac14 F_{\mu\nu}^a F_{\mu\nu}^a + i\,b^a\,\partial_\mu A_\mu^a + \bar c^a\,\partial_\mu D_\mu^{ab} c^b \right],$$5. The extended BRST operator $$S_{\mathrm{FP}} = \int d^4x\, \left[ \frac14 F_{\mu\nu}^a F_{\mu\nu}^a + i\,b^a\,\partial_\mu A_\mu^a + \bar c^a\,\partial_\mu D_\mu^{ab} c^b \right],$$6 acts on the original Yang–Mills–ghost sector as $$S_{\mathrm{FP}} = \int d^4x\, \left[ \frac14 F_{\mu\nu}^a F_{\mu\nu}^a + i\,b^a\,\partial_\mu A_\mu^a + \bar c^a\,\partial_\mu D_\mu^{ab} c^b \right],$$7, and on the quartets as two contractible doublets: $$S_{\mathrm{FP}} = \int d^4x\, \left[ \frac14 F_{\mu\nu}^a F_{\mu\nu}^a + i\,b^a\,\partial_\mu A_\mu^a + \bar c^a\,\partial_\mu D_\mu^{ab} c^b \right],$$8

$$S_{\mathrm{FP}} = \int d^4x\, \left[ \frac14 F_{\mu\nu}^a F_{\mu\nu}^a + i\,b^a\,\partial_\mu A_\mu^a + \bar c^a\,\partial_\mu D_\mu^{ab} c^b \right],$$9

$s_0$0

$s_0$1

One checks that $s_0$2 on all fields (Capri et al., 2010).

The quartet terminology reflects a standard BRST pattern. Whenever the BRST differential acts as $s_0$3, $s_0$4, the pair $s_0$5 is a BRST doublet and spans a trivial cohomological sector. Two such doublets constitute a quartet. In the Gribov–Zwanziger application, the auxiliary quartets are not introduced to describe physical asymptotic states; rather, they are an algebraic device that converts the form of the BRST breaking while preserving cohomological control. This sharply distinguishes them from the non-perturbative BRST quartets built from transverse gluons or quarks in Landau gauge, where the quartet members are bound states rather than auxiliary fields (Alkofer et al., 2011).

3. Linear breaking, Slavnov–Taylor identity, and nilpotent linearization

With the auxiliary quartets included, the modified action $s_0$6 is constructed by adding an $s_0$7-exact term and replacing the original soft horizon contribution by a linear breaking. In schematic form,

$s_0$8

where $s_0$9 is the Faddeev–Popov operator (Capri et al., 2010).

After expanding the $$s_0 A_\mu^a=-D_\mu^{ab}c^b,\qquad s_0 c^a=\frac12 g f^{abc}c^b c^c,\qquad s_0\bar c^a=i\,b^a,\qquad s_0 b^a=0,\qquad s_0^2=0.$$0-variation, the original soft term is replaced so that

$$s_0 A_\mu^a=-D_\mu^{ab}c^b,\qquad s_0 c^a=\frac12 g f^{abc}c^b c^c,\qquad s_0\bar c^a=i\,b^a,\qquad s_0 b^a=0,\qquad s_0^2=0.$$1

or equivalently

$$s_0 A_\mu^a=-D_\mu^{ab}c^b,\qquad s_0 c^a=\frac12 g f^{abc}c^b c^c,\qquad s_0\bar c^a=i\,b^a,\qquad s_0 b^a=0,\qquad s_0^2=0.$$2

The crucial feature is that $$s_0 A_\mu^a=-D_\mu^{ab}c^b,\qquad s_0 c^a=\frac12 g f^{abc}c^b c^c,\qquad s_0\bar c^a=i\,b^a,\qquad s_0 b^a=0,\qquad s_0^2=0.$$3 is linear in the fields. This is the defining algebraic gain of the mechanism: the breaking now has the form required by the Quantum Action Principle (Capri et al., 2010).

To write the Slavnov–Taylor identity one introduces antifields $$s_0 A_\mu^a=-D_\mu^{ab}c^b,\qquad s_0 c^a=\frac12 g f^{abc}c^b c^c,\qquad s_0\bar c^a=i\,b^a,\qquad s_0 b^a=0,\qquad s_0^2=0.$$4 and $$s_0 A_\mu^a=-D_\mu^{ab}c^b,\qquad s_0 c^a=\frac12 g f^{abc}c^b c^c,\qquad s_0\bar c^a=i\,b^a,\qquad s_0 b^a=0,\qquad s_0^2=0.$$5 coupled to the nonlinear BRST variations of $$s_0 A_\mu^a=-D_\mu^{ab}c^b,\qquad s_0 c^a=\frac12 g f^{abc}c^b c^c,\qquad s_0\bar c^a=i\,b^a,\qquad s_0 b^a=0,\qquad s_0^2=0.$$6 and $$s_0 A_\mu^a=-D_\mu^{ab}c^b,\qquad s_0 c^a=\frac12 g f^{abc}c^b c^c,\qquad s_0\bar c^a=i\,b^a,\qquad s_0 b^a=0,\qquad s_0^2=0.$$7,

$$s_0 A_\mu^a=-D_\mu^{ab}c^b,\qquad s_0 c^a=\frac12 g f^{abc}c^b c^c,\qquad s_0\bar c^a=i\,b^a,\qquad s_0 b^a=0,\qquad s_0^2=0.$$8

For the full classical action

$$s_0 A_\mu^a=-D_\mu^{ab}c^b,\qquad s_0 c^a=\frac12 g f^{abc}c^b c^c,\qquad s_0\bar c^a=i\,b^a,\qquad s_0 b^a=0,\qquad s_0^2=0.$$9

the Slavnov–Taylor functional obeys a linearly broken identity,

$$S_h = \gamma^2 \int d^4x\, f^{abc}A_\mu^a(\phi+\bar\phi)^{bc}_\mu - \gamma^4\,4(N^2-1),$$0

with $$S_h = \gamma^2 \int d^4x\, f^{abc}A_\mu^a(\phi+\bar\phi)^{bc}_\mu - \gamma^4\,4(N^2-1),$$1 containing the standard $$S_h = \gamma^2 \int d^4x\, f^{abc}A_\mu^a(\phi+\bar\phi)^{bc}_\mu - \gamma^4\,4(N^2-1),$$2, $$S_h = \gamma^2 \int d^4x\, f^{abc}A_\mu^a(\phi+\bar\phi)^{bc}_\mu - \gamma^4\,4(N^2-1),$$3, $$S_h = \gamma^2 \int d^4x\, f^{abc}A_\mu^a(\phi+\bar\phi)^{bc}_\mu - \gamma^4\,4(N^2-1),$$4-$$S_h = \gamma^2 \int d^4x\, f^{abc}A_\mu^a(\phi+\bar\phi)^{bc}_\mu - \gamma^4\,4(N^2-1),$$5, $$S_h = \gamma^2 \int d^4x\, f^{abc}A_\mu^a(\phi+\bar\phi)^{bc}_\mu - \gamma^4\,4(N^2-1),$$6, and quartet-sector variations (Capri et al., 2010).

The associated linearized Slavnov operator $$S_h = \gamma^2 \int d^4x\, f^{abc}A_\mu^a(\phi+\bar\phi)^{bc}_\mu - \gamma^4\,4(N^2-1),$$7 is then defined in the usual bilinearized form from functional derivatives with respect to fields and antifields. Because the breaking is linear, $$S_h = \gamma^2 \int d^4x\, f^{abc}A_\mu^a(\phi+\bar\phi)^{bc}_\mu - \gamma^4\,4(N^2-1),$$8 is off-shell nilpotent: $$S_h = \gamma^2 \int d^4x\, f^{abc}A_\mu^a(\phi+\bar\phi)^{bc}_\mu - \gamma^4\,4(N^2-1),$$9 This nilpotent local operator is the central object for the algebraic analysis of counterterms, anomalies, and insertions. In the Gribov–Zwanziger setting, the BRST-exact quartet mechanism is therefore best understood not as a claim about state-space cancellation but as a reformulation that restores the full machinery of Slavnov–Taylor identities and cohomological renormalization.

4. Cohomology, counterterms, and renormalizability

The renormalization analysis is formulated in terms of the cohomology of $(\phi,\omega)$0. Algebraic renormalization requires the most general invariant counterterm $(\phi,\omega)$1 to satisfy

$(\phi,\omega)$2

The relevant cohomology $(\phi,\omega)$3 at ghost number zero is isomorphic to the space of integrated gauge-invariant local polynomials built from $(\phi,\omega)$4, $(\phi,\omega)$5, and similar invariants, modulo $(\phi,\omega)$6-exact terms (Capri et al., 2010).

Several structural consequences follow. First, no new non-invariant counterterms appear: any $(\phi,\omega)$7-closed insertion that is not $(\phi,\omega)$8-exact must be gauge invariant. Second, the linear breaking term itself does not renormalize. The details specify that $(\phi,\omega)$9 has vanishing anomalous dimension, following from a Ward identity of the form $S_{\mathrm{GZ}}$0, which is again linear (Capri et al., 2010). Third, possible anomalies would be classified by the ghost-number-one cohomology $S_{\mathrm{GZ}}$1, and in the present case standard power counting and symmetry arguments show that $S_{\mathrm{GZ}}$2 is empty in dimension $S_{\mathrm{GZ}}$3, so no obstruction to the Slavnov–Taylor identity arises (Capri et al., 2010).

These facts imply that the linearly broken Slavnov–Taylor identities can be imposed to all orders and that perturbative renormalizability is controlled completely by the cohomology of the nilpotent linearized operator. Gauge-invariant composite operators, including $S_{\mathrm{GZ}}$4, can then be inserted and renormalized through their cohomology classes in $S_{\mathrm{GZ}}$5 (Capri et al., 2010).

A plausible implication is that the quartet mechanism isolates the nontrivial physical content from the auxiliary horizon sector without requiring the latter to disappear from the action. The data also state that the linear form of the breaking guarantees that BRST-invariant observables remain unspoiled by horizon effects, which is presented there as a key point for defining physical states in a confining theory (Capri et al., 2010).

5. Relation to non-perturbative BRST quartets in Landau-gauge QCD

A distinct but related use of BRST quartets appears in non-perturbative Landau-gauge QCD. There the quartet mechanism is organized around the BRST cohomology of states, $S_{\mathrm{GZ}}$6, rather than around auxiliary variables introduced to control a breaking term. The starting point is the observation, described as well established in lattice and continuum studies, that the transverse gluon propagator violates positivity. Consequently, a one-transverse-gluon state cannot belong to the physical cohomology and must instead appear as the first parent of a non-perturbative BRST quartet (Alkofer et al., 2011, Alkofer et al., 2011).

The quartet generated by a transverse gluon has the following field content: first parent, the one-transverse-gluon state; first daughter, a ghost–gluon bound state obtained from the BRST transform $S_{\mathrm{GZ}}$7; second parent, the Faddeev–Popov-charge-conjugated gluon–antighost bound state; and second daughter, a state that can be a ghost–antighost bound state or a two-gluon bound state, depending on the channel (Alkofer et al., 2011). A parallel construction is proposed for quarks, yielding ghost–quark and antighost–quark bound states as daughter and second parent, respectively (Alkofer et al., 2011).

The dynamical realization of these quartets is studied through truncated Bethe–Salpeter equations. For the ghost–gluon bound state, one begins from the 1PI four-point function with two gluon legs and two ghost legs, identifies the infrared-leading ghost-exchange and gluon-exchange diagrams in the scaling solution, assumes a bound-state pole, and arrives at a homogeneous Bethe–Salpeter equation. In the ladder truncation with a bare ghost–gluon vertex, justified there by its infrared triviality in Landau gauge, the scalar projection at $S_{\mathrm{GZ}}$8 yields an integral equation for $S_{\mathrm{GZ}}$9 whose kernel is infrared consistent because the anomalous exponents cancel, $$s_0 S_{\mathrm{GZ}}=\Delta_{\mathrm{soft}}, \qquad \Delta_{\mathrm{soft}}\sim O(\gamma^2)\times (\phi,\bar\phi,\omega,\bar\omega)^2,$$0 (Alkofer et al., 2011). Closely related derivations and equivalent forms of the equation are discussed elsewhere (Alkofer et al., 2013).

For the quark–ghost channel, the corresponding Bethe–Salpeter equation depends crucially on the fully dressed quark–gluon vertex. In the scaling solution, the quark–gluon vertex behaves like $$s_0 S_{\mathrm{GZ}}=\Delta_{\mathrm{soft}}, \qquad \Delta_{\mathrm{soft}}\sim O(\gamma^2)\times (\phi,\bar\phi,\omega,\bar\omega)^2,$$1 for soft gluon momentum, and this infrared divergence is precisely what renders the quark–ghost bound-state equation infrared consistent (Alkofer et al., 2011, Alkofer et al., 2011). One source states that a two-dimensional version of the gluon–ghost equation has been solved numerically and yields a normalizable nontrivial solution, providing direct evidence for the ghost–gluon bound state identified as the BRST daughter (Alkofer et al., 2013).

The relation to the BRST-exact quartet mechanism of the Gribov–Zwanziger theory is conceptual rather than identical. In both cases, quartets organize BRST-trivial sectors. In the Gribov–Zwanziger construction, the quartets are auxiliary and engineered so that the action develops a linear breaking compatible with algebraic renormalization. In the non-perturbative Landau-gauge construction, the quartets are bound-state multiplets required by positivity violation and BRST cohomology. This suggests a broader unifying view in which BRST quartets serve either as algebraic regulators of unphysical sectors or as dynamical realizations of confinement-related state decoupling.

6. Other realizations and extensions

The quartet mechanism also appears in models where gauge symmetry is absent or nonstandard, provided a nilpotent BRST charge and a corresponding cohomology can still be defined. In a sixth-order derivative scalar field model, three coupled real scalars $$s_0 S_{\mathrm{GZ}}=\Delta_{\mathrm{soft}}, \qquad \Delta_{\mathrm{soft}}\sim O(\gamma^2)\times (\phi,\bar\phi,\omega,\bar\omega)^2,$$2 and ghost fields $$s_0 S_{\mathrm{GZ}}=\Delta_{\mathrm{soft}}, \qquad \Delta_{\mathrm{soft}}\sim O(\gamma^2)\times (\phi,\bar\phi,\omega,\bar\omega)^2,$$3 admit a nilpotent BRST symmetry with

$$s_0 S_{\mathrm{GZ}}=\Delta_{\mathrm{soft}}, \qquad \Delta_{\mathrm{soft}}\sim O(\gamma^2)\times (\phi,\bar\phi,\omega,\bar\omega)^2,$$4

In momentum space, the operators $$s_0 S_{\mathrm{GZ}}=\Delta_{\mathrm{soft}}, \qquad \Delta_{\mathrm{soft}}\sim O(\gamma^2)\times (\phi,\bar\phi,\omega,\bar\omega)^2,$$5 form a BRST quartet: $$s_0 S_{\mathrm{GZ}}=\Delta_{\mathrm{soft}}, \qquad \Delta_{\mathrm{soft}}\sim O(\gamma^2)\times (\phi,\bar\phi,\omega,\bar\omega)^2,$$6 and $$s_0 S_{\mathrm{GZ}}=\Delta_{\mathrm{soft}}, \qquad \Delta_{\mathrm{soft}}\sim O(\gamma^2)\times (\phi,\bar\phi,\omega,\bar\omega)^2,$$7, while all states built from these oscillators either lie in the image of $$s_0 S_{\mathrm{GZ}}=\Delta_{\mathrm{soft}}, \qquad \Delta_{\mathrm{soft}}\sim O(\gamma^2)\times (\phi,\bar\phi,\omega,\bar\omega)^2,$$8 or have zero norm. The only nontrivial cohomology is generated by $$s_0 S_{\mathrm{GZ}}=\Delta_{\mathrm{soft}}, \qquad \Delta_{\mathrm{soft}}\sim O(\gamma^2)\times (\phi,\bar\phi,\omega,\bar\omega)^2,$$9, whose commutator is positive definite, leaving a unitary Fock space of $\mu$0 excitations (Kim et al., 2013). The same work interprets this as a Minkowskian dual version of the unitary truncation in rank-3 logarithmic CFT.

In the BRST formalism of Weyl conformal gravity, two nilpotent charges $\mu$1 and $\mu$2 are introduced for diffeomorphisms and Weyl symmetry, satisfying $\mu$3 and $\mu$4. The unphysical sectors organize into a diffeomorphism quartet $\mu$5 and a Weyl quartet $\mu$6, each consisting of two BRST doublets. The physical-state space is the double cohomology

$\mu$7

and the proof of unitarity of the physical $\mu$8-matrix proceeds through the decoupling of these quartet states (Oda et al., 2022).

In the constrained BRST–BFV/BV formulation for half-integer higher-spin fields on $\mu$9, the component fields $(a,b)$0, $(a,b)$1, $(a,b)$2, and $(a,b)$3 form a quartet because the constrained BRST operator $(a,b)$4 acts so that $(a,b)$5 and $(a,b)$6 are exact pairs. These fields then drop out of cohomology, leaving only the physical spin-$(a,b)$7 field in $(a,b)$8 (Reshetnyak, 2018).

A recent $(a,b)$9 Yang–Mills extension introduces an auxiliary quartet sector with bosons $$S_{\mathrm{FP}} = \int d^4x\, \left[ \frac14 F_{\mu\nu}^a F_{\mu\nu}^a + i\,b^a\,\partial_\mu A_\mu^a + \bar c^a\,\partial_\mu D_\mu^{ab} c^b \right],$$00 and fermions $$S_{\mathrm{FP}} = \int d^4x\, \left[ \frac14 F_{\mu\nu}^a F_{\mu\nu}^a + i\,b^a\,\partial_\mu A_\mu^a + \bar c^a\,\partial_\mu D_\mu^{ab} c^b \right],$$01, including a singlet component, and constructs a BRST-exact action $$S_{\mathrm{FP}} = \int d^4x\, \left[ \frac14 F_{\mu\nu}^a F_{\mu\nu}^a + i\,b^a\,\partial_\mu A_\mu^a + \bar c^a\,\partial_\mu D_\mu^{ab} c^b \right],$$02. About the trivial vacuum $$S_{\mathrm{FP}} = \int d^4x\, \left[ \frac14 F_{\mu\nu}^a F_{\mu\nu}^a + i\,b^a\,\partial_\mu A_\mu^a + \bar c^a\,\partial_\mu D_\mu^{ab} c^b \right],$$03, the quartet is cohomologically trivial and $$S_{\mathrm{FP}} = \int d^4x\, \left[ \frac14 F_{\mu\nu}^a F_{\mu\nu}^a + i\,b^a\,\partial_\mu A_\mu^a + \bar c^a\,\partial_\mu D_\mu^{ab} c^b \right],$$04. In a prescribed Cartan-oriented background, however, the theory induces a mass matrix with $$S_{\mathrm{FP}} = \int d^4x\, \left[ \frac14 F_{\mu\nu}^a F_{\mu\nu}^a + i\,b^a\,\partial_\mu A_\mu^a + \bar c^a\,\partial_\mu D_\mu^{ab} c^b \right],$$05-particle propagator structure, and a filtered bilinear operator $$S_{\mathrm{FP}} = \int d^4x\, \left[ \frac14 F_{\mu\nu}^a F_{\mu\nu}^a + i\,b^a\,\partial_\mu A_\mu^a + \bar c^a\,\partial_\mu D_\mu^{ab} c^b \right],$$06 is identified as the lowest perturbative component of an all-orders off-shell BRST cocycle $$S_{\mathrm{FP}} = \int d^4x\, \left[ \frac14 F_{\mu\nu}^a F_{\mu\nu}^a + i\,b^a\,\partial_\mu A_\mu^a + \bar c^a\,\partial_\mu D_\mu^{ab} c^b \right],$$07, $$S_{\mathrm{FP}} = \int d^4x\, \left[ \frac14 F_{\mu\nu}^a F_{\mu\nu}^a + i\,b^a\,\partial_\mu A_\mu^a + \bar c^a\,\partial_\mu D_\mu^{ab} c^b \right],$$08. Its one-loop two-point function admits a Källén–Lehmann representation with threshold $$S_{\mathrm{FP}} = \int d^4x\, \left[ \frac14 F_{\mu\nu}^a F_{\mu\nu}^a + i\,b^a\,\partial_\mu A_\mu^a + \bar c^a\,\partial_\mu D_\mu^{ab} c^b \right],$$09 and strictly positive spectral density (Amaral et al., 15 May 2026).

Across these examples, the recurrent pattern is the same: BRST doublets generate trivial cohomology, quartets package these doublets into a cancellation structure, and the surviving physical sector is identified by the quotient of BRST-closed states or operators by BRST-exact ones. The specific significance of the BRST-exact quartet mechanism in the Gribov–Zwanziger theory lies in the fact that this cohomological triviality is used not only to remove unphysical degrees of freedom, but to reformulate the symmetry breaking itself into a linearly controlled form suitable for the full algebraic renormalization program (Capri et al., 2010).