pith. sign in

arxiv: 2605.16172 · v1 · pith:Q4IA6TCQnew · submitted 2026-05-15 · ✦ hep-th

Background-Equivariant BRST Observables and i-Particle Propagators from an Auxiliary Quartet in SU(3) Yang-Mills

M. M. Amaral , V.E.R.Lemes This is my paper

Pith reviewed 2026-05-20 17:03 UTC · model grok-4.3

classification ✦ hep-th
keywords SU(3) Yang-MillsBRST cohomologyLandau gaugei-particle propagatorsquartet mechanismbackground fieldKällén-Lehmann representationrenormalizability
0
0 comments X

The pith

In SU(3) Yang-Mills theory a BRST-exact quartet with Cartan background produces i-particle bilinears that remain off-shell BRST cocycles with positive spectral densities.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs a BRST-exact auxiliary quartet in Landau-gauge SU(3) Yang-Mills that enlarges the field content while staying cohomologically trivial in the ordinary vacuum. A prescribed Cartan-oriented background, kept separate from observable cohomology, induces a mass matrix that reproduces the i-particle propagator structure. The filtered bilinear formed from these fields is shown to be the lowest term in an all-orders off-shell BRST cocycle. Its two-point function therefore admits a Källén-Lehmann representation whose threshold is real and positive and whose spectral density is positive, even though the elementary propagators carry complex poles. This supplies a renormalizable, BRST-invariant route to composite observables built from the i-particles.

Core claim

The filtered i-particle bilinear is the lowest perturbative component of an all-orders off-shell BRST cocycle; its leading two-point function retains a Källén-Lehmann representation with a real positive threshold and positive spectral density.

What carries the argument

BRST-exact quartet mechanism together with a background-equivariant covariant Cartan frame that separates background generation from observable cohomology

Load-bearing premise

The prescribed Cartan-oriented background is compatible with the classical equations of motion and can be separated from observable cohomology without violating the BRST doublet theorem.

What would settle it

An explicit perturbative calculation of the two-point function of the filtered i-particle bilinear that yields either a negative spectral density or a non-positive threshold would falsify the central claim.

read the original abstract

In this work, we construct a BRST-exact quartet mechanism in $SU(3)$ Yang-Mills theory in the Landau gauge. The quartet sector is cohomologically trivial in the standard vacuum, ensuring equivalence to pure Yang-Mills theory. The transformation rules carry both commutator and anticommutator structures, enlarging the field content from eight to nine degrees of freedom. Working in a prescribed Cartan-oriented background (compatible with the classical equations of motion), the theory induces a mass matrix reproducing the distinct $i$-particle propagator structure of earlier replica models without explicit breaking terms. To respect the BRST doublet theorem, we separate background generation from observable cohomology. Introducing a background-equivariant covariant Cartan frame, we show the filtered $i$-particle bilinear is the lowest perturbative component of an all-orders off-shell BRST cocycle. Despite the complex poles of elementary propagators, its leading two-point function retains a K\"all\'en--Lehmann representation with a real positive threshold and positive spectral density. The fully quantized action provides a consistent framework for renormalizability, establishing a systematic mechanism for recovering $i$-particle propagators and identifying BRST-controlled composite observables from a BRST-exact quartet extended to $SU(3)$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript constructs a BRST-exact auxiliary quartet in SU(3) Yang-Mills theory in the Landau gauge, enlarging the field content from eight to nine degrees of freedom via transformation rules that include both commutator and anticommutator structures. A prescribed Cartan-oriented background compatible with the classical equations of motion is introduced to induce a mass matrix reproducing the i-particle propagator structure of earlier replica models. To respect the BRST doublet theorem, the background is separated from observable cohomology using a background-equivariant covariant Cartan frame. The central claim is that the filtered i-particle bilinear is the lowest perturbative component of an all-orders off-shell BRST cocycle whose leading two-point function retains a Källén-Lehmann representation with real positive threshold and positive spectral density, despite complex poles in the elementary propagators. The fully quantized action is presented as providing a consistent renormalizable framework.

Significance. If the all-orders BRST cocycle property and the positive spectral density of the two-point function are rigorously established, the work would offer a systematic BRST-invariant mechanism for recovering i-particle structures in SU(3) Yang-Mills without explicit breaking terms. This could clarify the role of composite operators in the cohomology and address infrared issues associated with complex poles while preserving equivalence to pure Yang-Mills in the standard vacuum. The explicit construction of the quartet and the background-equivariant frame are positive technical contributions.

major comments (1)
  1. [Abstract, paragraph on background generation] Abstract, paragraph on background generation: the separation of the prescribed Cartan-oriented background from observable BRST cohomology is asserted to respect the BRST doublet theorem, yet no explicit all-orders demonstration is provided that the background terms form a BRST doublet (or can otherwise be removed from the cohomology) at every perturbative order. This is load-bearing for the claim that the i-particle bilinear remains a non-trivial cocycle without background mixing into the cocycle condition or altering the sign of the spectral density after integrating out the elementary propagators with complex poles.
minor comments (2)
  1. The abstract states that the transformation rules enlarge the field content from eight to nine degrees of freedom; an explicit listing of the full field content, including the auxiliary quartet fields and their degrees of freedom, should be provided in the main text near the definition of the quartet transformations for improved clarity.
  2. The claim that the leading two-point function retains a Källén-Lehmann representation is central; a brief outline of the integration steps over the complex-pole propagators that yields the positive spectral density would strengthen the presentation even if the full derivation appears later.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive feedback. We appreciate the recognition of the technical contributions of the BRST-exact quartet construction and the background-equivariant frame. We address the major comment below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: Abstract, paragraph on background generation: the separation of the prescribed Cartan-oriented background from observable BRST cohomology is asserted to respect the BRST doublet theorem, yet no explicit all-orders demonstration is provided that the background terms form a BRST doublet (or can otherwise be removed from the cohomology) at every perturbative order. This is load-bearing for the claim that the i-particle bilinear remains a non-trivial cocycle without background mixing into the cocycle condition or altering the sign of the spectral density after integrating out the elementary propagators with complex poles.

    Authors: We agree that an explicit all-orders demonstration strengthens the argument. The background-equivariant covariant Cartan frame is constructed so that the prescribed Cartan-oriented background enters the theory through a cohomologically trivial doublet structure that is preserved by the covariance condition under the BRST operator. Because the frame is defined to be equivariant, the nilpotency of the BRST charge and the doublet property hold order by order in perturbation theory without additional assumptions. Nevertheless, we acknowledge that the manuscript does not spell out this inductive or covariance-based argument in full detail. In the revised version we will insert a dedicated subsection that provides the explicit all-orders demonstration, confirming that background contributions remain BRST-exact and do not mix into the cocycle condition for the filtered i-particle bilinear. This will also verify that the leading two-point function continues to admit a Källén-Lehmann representation with positive real threshold and positive spectral density after the elementary fields with complex poles are integrated out. revision: yes

Circularity Check

1 steps flagged

Prescribed Cartan background forces i-particle mass matrix reproduction by construction

specific steps
  1. fitted input called prediction [Abstract]
    "Working in a prescribed Cartan-oriented background (compatible with the classical equations of motion), the theory induces a mass matrix reproducing the distinct i-particle propagator structure of earlier replica models without explicit breaking terms."

    The background is prescribed to induce exactly the mass matrix of the target i-particle structure. Consequently the reproduction of that structure (and any subsequent two-point function built from it) is achieved by the initial choice rather than derived from the BRST doublet or cocycle conditions.

full rationale

The paper introduces a prescribed background specifically chosen to induce a mass matrix that matches the i-particle structure from prior replica models. This choice makes the reproduction of the target propagator structure an input rather than an output of the BRST-cocycle analysis. While the BRST-exact quartet and separation from observable cohomology add new structure, the central claim that the filtered bilinear yields a Källén-Lehmann representation with positive spectral density inherits its mass parameters directly from the background prescription. No explicit equation is shown to derive the mass matrix independently of this choice, producing partial circularity in the derivation chain.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 2 invented entities

The central claim rests on the cohomological triviality of the quartet in the standard vacuum, the BRST doublet theorem, and the existence of a Cartan-oriented background compatible with the classical equations of motion; no explicit free parameters are named in the abstract, but the background orientation functions as an ad-hoc choice.

free parameters (1)
  • Cartan-oriented background
    Prescribed background chosen to be compatible with classical equations of motion and to induce the desired mass matrix.
axioms (2)
  • domain assumption BRST doublet theorem
    Invoked to separate background generation from observable cohomology.
  • domain assumption Cohomological triviality of BRST-exact quartet in standard vacuum
    Ensures equivalence to pure Yang-Mills theory.
invented entities (2)
  • Auxiliary BRST quartet no independent evidence
    purpose: Enlarge field content from eight to nine degrees of freedom and induce mass matrix via background.
    Introduced as BRST-exact so that it remains cohomologically trivial in the ordinary vacuum.
  • Background-equivariant covariant Cartan frame no independent evidence
    purpose: Define filtered i-particle bilinear as BRST cocycle.
    New frame introduced to maintain equivariance under background transformations.

pith-pipeline@v0.9.0 · 5766 in / 1625 out tokens · 78635 ms · 2026-05-20T17:03:59.887685+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages · 6 internal anchors

  1. [1]

    Quantization of Nonabelian Gauge Theories,

    V. N. Gribov, “Quantization of Nonabelian Gauge Theories,” Nucl. Phys. B139, 1 (1978)

    work page 1978

  2. [2]

    Critical limit of lattice gauge theory,

    D. Zwanziger, “Critical limit of lattice gauge theory,” Nucl. Phys. B378, 525 (1992)

    work page 1992

  3. [3]

    Renormalizability of the critical limit of lattice gauge theory by BRS invariance,

    D. Zwanziger, “Renormalizability of the critical limit of lattice gauge theory by BRS invariance,” Nucl. Phys. B399, 477 (1993)

    work page 1993

  4. [4]

    A refinement of the Gribov-Zwanziger approach in the Landau gauge: infrared propagators in harmony with the lattice results

    D. Dudal, J. A. Gracey, S. P. Sorella, N. Vandersickel and H. Verschelde, “A Refinement of the Gribov-Zwanziger approach in the Landau gauge: Infrared propagators in harmony with the lattice results,” Phys. Rev. D 78, 065047 (2008) [arXiv:0806.4348 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  5. [5]

    Gribov horizon and i-particles: about a toy model and the construction of physical operators

    L. Baulieu, D. Dudal, M. S. Guimaraes, M. Q. Huber, S. P. Sorella, N. Van- dersickel and D. Zwanziger, “Gribov horizon and i-particles: About a toy model and the construction of physical operators,” Phys. Rev. D82, 025021 (2010) [arXiv:0912.5153 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  6. [6]

    Gluon confinement, i-particles and BRST soft breaking

    S. P. Sorella, “Gluon confinement, i-particles and BRST soft breaking,” J. Phys. A44, 135403 (2011) [arXiv:1006.4500 [hep-th]]

    work page internal anchor Pith review Pith/arXiv arXiv 2011

  7. [7]

    Landau Confining Replica Model from an Explicitly Breaking of a SU(3) Group Without Auxiliary Fields,

    M. M. Amaral, M. A. L. Capri, Y. E. Chifarelli and V. E. R. Lemes, “Landau Confining Replica Model from an Explicitly Breaking of a SU(3) Group Without Auxiliary Fields,” Int. J. Mod. Phys. A28, 1350163 (2013)

    work page 2013

  8. [8]

    A path to confine gluons and fermions through complex gauge theory,

    R. L. P. G. Amaral, V. E. R. Lemes, O. S. Ventura and L. C. Q. Vilar, “A path to confine gluons and fermions through complex gauge theory,” Phys. Rev. D101, no.9, 094002 (2020) [arXiv:2002.07222 [hep-th]]

    work page arXiv 2020

  9. [9]

    BRST characterization of the broken phase observables of a confining com- plex theory,

    R. L. P. G. Amaral, V. E. R. Lemes, O. S. Ventura and L. C. Q. Vilar, “BRST characterization of the broken phase observables of a confining com- plex theory,” Phys. Rev. D107, no.11, 115015 (2023) [arXiv:2304.04560 [hep-th]]

    work page arXiv 2023

  10. [10]

    Covariant Mass and Geometrical setup in Euclidean gauge theories,

    A. R. de S´ a, M. A. L. Capri and V. E. R. Lemes, “Covariant Mass and Geometrical setup in Euclidean gauge theories,” Phys. Rev. D101, no.10, 105003 (2020) doi:10.1103/PhysRevD.101.105003

    work page doi:10.1103/physrevd.101.105003 2020

  11. [11]

    Algebraic renormalization: Perturbative renormalization, symmetries and anomalies,

    O. Piguet and S. P. Sorella, “Algebraic renormalization: Perturbative renormalization, symmetries and anomalies,” Lect. Notes Phys. Monogr. 28, 1-134 (1995) doi:10.1007/978-3-540-49192-7

    work page doi:10.1007/978-3-540-49192-7 1995

  12. [12]

    Constructing local composite operators for glueball states from a confining Gribov propagator

    M. A. L. Capri, A. J. Gomez, M. S. Guimaraes, V. E. R. Lemes, S. P. Sorella and D. G. Tedesco, “Constructing local composite operators for glueball states from a confining Gribov propagator,” Eur. Phys. J. C71, 1525 (2011) doi:10.1140/epjc/s10052-010-1525-x [arXiv:1009.3062 [hep-th]]. 26

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1140/epjc/s10052-010-1525-x 2011

  13. [13]

    Local BRST cohomology in gauge theories

    G. Barnich, F. Brandt and M. Henneaux, “Local BRST cohomology in gauge theories,” Phys. Rept.338(2000) 439–569, arXiv:hep-th/0002245

    work page internal anchor Pith review Pith/arXiv arXiv 2000

  14. [14]

    On the computation of the spectral density of two-point functions: complex masses, cut rules and beyond

    D. Dudal and M. S. Guimaraes, “On the computation of the spectral density of two-point functions: complex masses, cut rules and beyond,” Phys. Rev. D83, 045013 (2011) doi:10.1103/PhysRevD.83.045013 [arXiv:1012.1440 [hep-th]]. 27

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1103/physrevd.83.045013 2011