Forms of BRST symmetry on a Prototypical First-Class System

Bhabani Prasad Mandal; Ronaldo Thibes; Sumit Kumar Rai

REVIEW 3 major objections 5 minor 17 references

Forms of BRST symmetry on a Prototypical First-Class System

T0 review · 3 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Dual-BRST symmetry is ordinary BRST symmetry under a ghost-sector canonical relabeling.

desk verdict A clean, modest equivalence proof: dual-BRST is just BRST in different ghost coordinates for this model, but the generalization claims outrun the proof. read the letter →

arxiv 2505.24233 v1 pith:ZKZLT2OO submitted 2025-05-30 hep-th

Sumit Kumar Rai , Bhabani Prasad Mandal , Ronaldo Thibes This is my paper

classification hep-th MSC 81T7081T13

keywords BRSTsymmetrydual-BRSTBatalin-Fradkin-Vilkoviskyformalismfirst-classconstraintscanonicaltransformationghostsectornilpotentchargesLiesuperalgebra

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper shows that, for a prototypical first-class constrained system—a generalized rigid rotor—the so-called dual-BRST and anti-dual-BRST symmetries are not independent symmetries. They are obtained from the ordinary BRST and anti-BRST symmetries by applying simple canonical transformations in the ghost sector, which permute the ghost fields and their momenta while preserving the fundamental brackets. The four BRST charges are all off-shell nilpotent and, together with a bosonic Casimir operator, close into a Lie superalgebra. A sympathetic reader should care because the paper resolves a conceptual dispute in gauge theory: the dual-BRST symmetry, often motivated by differential geometry, appears here as the same physical symmetry in a different ghost coordinatization, so its conservation carries no new information.

What carries the argument

The load-bearing object is the pair of canonical transformations in the ghost sector, Eqs. (16) and (17). The first maps $C\to\bar P$, $\bar C\to P$, $P\to\bar C$, $\bar P\to C$ and turns BRST into dual-BRST; the second maps $C\to-\bar C$, $\bar C\to C$, $P\to\bar P$, $\bar P\to-P$ and produces the anti-BRST/anti-dual partners. Because the transformations preserve the canonical (anti)commutation relations of the BFV phase space, the corresponding charges map onto one another while the invariance of the effective action is maintained. The prototypical Hamiltonian (1) with the standard gauge function (6) provides the concrete stage on which these maps act.

What would settle it

Take a first-class system with a different gauge fermion, for example replacing the standard $\chi$ in (6) by a nonlinear function of $q_i,p_i,B,p_0$, and check whether the charges obtained from the maps (16)-(17) still commute with the extended Hamiltonian and annihilate the effective action; if for some such choice the transformed charge is not conserved, the paper's claim that dual-BRST is never independent would fail.

Watch

Extended reading notes

Core claim

The paper establishes that, in the BFV Hamiltonian description of the prototypical first-class system with Hamiltonian $H=U+V+q_0T$ and gauge fermion $\Psi=\bar P q_0+\bar C\chi$, the dual transformations (12) and (14) are obtained by acting with the ghost-sector canonical maps (16) and (17) on the ordinary BRST transformation (8) and anti-BRST transformation (10). Since these maps preserve the canonical brackets (18), the dual-BRST charge $\bar\Omega_d=i(\bar P T+\bar C p_0)$ and the anti-dual charge $\Omega_d=i(-P T+C p_0)$ are not new conserved charges: they are the images of the ordinary charges under a relabeling of the ghost variables. All four charges are fermionic and off-shell nilpotent, with pairwise anticommutator $\{\Omega_b,\bar\Omega_d\}=\{\bar\Omega_b,\Omega_d\}=i(T^2+p_0^2)\equiv 2W$, and $W$ is a Casimir element generating a further bosonic symmetry $s_W F=[F,W]$. This closes a Lie superalgebra of conserved symmetries and shows that the effective action admits exactly one underlying BRST symmetry whose different 'forms' reflect a choice of ghost basis.

Load-bearing premise

The argument rests on assuming the prototypical first-class Hamiltonian with the standard gauge function is representative, so that the ghost-sector canonical maps preserve the invariance of the effective action for any gauge choice; if a different gauge fermion or constraint structure broke that preservation, the non-independence result would not generalize beyond the model.

Editorial extensions

If this is right

Dual-BRST and anti-dual-BRST are not independent symmetries of the prototypical first-class system; they are the ordinary BRST symmetry evaluated in a permuted ghost basis.
The total of eight forms of BRST symmetry obtained by composing (16) and (17) all describe the same quantum symmetry in different ghost coordinatizations.
The four charges together with the Casimir $W$ generate a Lie superalgebra, with $W$ giving a new bosonic symmetry $s_W$.
Because the prototypical system is generic, the same conclusion should apply to the U(1) gauge models where dual-BRST was previously discussed, unifying that work.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

This suggests that the geometric 'co-BRST' interpretation found in earlier literature may be a statement about which term of the action is left invariant, rather than evidence of a new symmetry generator.
A natural test is to apply the maps (16)-(17) to a first-class system with a nonstandard gauge fermion; if the transformed charge fails to be conserved, the non-independence result would be model-dependent.
Because the transformations preserve canonical brackets, they could be realized as unitary operators in the ghost Hilbert space, making BRST and dual-BRST unitarily equivalent; the paper does not construct such operators, but the maps suggest that route.
For systems with multiple constraints, the same ghost permutation may yield additional dual charges that mix the constraint structure; whether (16)-(17) remain canonical in that setting is an open question.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Short version: this paper does what it says, and the main algebra checks out. The four charges, the ghost canonical maps (16)-(17), and the non-null anticommutator (19) all work under the stated brackets. For a reader who works on constrained quantization, the explicit demonstration that dual-BRST is not an independent symmetry for the generalized rigid rotor is useful and clearly presented. The pedagogical aim is real; the paper is readable.

What is actually new: the explicit application to this prototypical first-class system. The underlying idea—dual BRST from BRST via ghost canonical transformation—is already in the cited U(1) work, as you noted. So novelty is a 4, not a 9. But the model realization is new, and the Casimir construction is a natural extension.

Where the paper is soft: the conclusion goes beyond what is proven. The equivalence is shown for this specific Hamiltonian with a standard gauge function; the assertion that it extends to other similar models is a hope, not a result. Same for the 'new BRST symmetries involving Lagrange multipliers'—nothing is shown. The section on the Casimir W and the sW symmetry is also asserted more than demonstrated; conservation is stated, not derived, and it is unclear what independent work W is doing given the charges already determine the algebra. These are genuine weaknesses, but they are peripheral to the central claim.

One more thing: the text has typos ('nillpotent', inconsistent symbols in (16)-(17)) that a referee would want cleaned, but they do not affect the mathematics.

Citation pattern: the authors cite their own earlier work heavily, but the cited results are relevant and, so far as I can tell, correctly used. Not a flaw.

Who is this for: people doing BRST quantization of constrained mechanical systems and anyone puzzled by dual-BRST's status. It deserves a serious referee. The central proof is compact and reproducible; the over-generalizations should be cut or explicitly flagged as conjectural.

Recommendation: accept for peer review; after revision trimming the conclusions, it would be a solid contribution to a specialized venue. I would not block on anything.

Referee Report

3 major / 5 minor

Summary. The paper applies the Batalin-Fradkin-Vilkovisky (BFV) formalism to a prototypical first-class system (a generalized rigid rotor) and claims that the so-called dual-BRST and anti-dual-BRST symmetries are not independent symmetries but are obtained from the ordinary BRST and anti-BRST symmetries through canonical transformations in the ghost sector. The authors present four fermionic charges (ordinary, anti-, dual, and anti-dual BRST), state that they are off-shell nilpotent, and exhibit the linear maps (16) and (17) that relate them. They also introduce a bosonic Casimir operator W and a corresponding transformation s_W, asserting that these close into a Lie superalgebra. The central equivalence is explicit in Eqs. (16)-(19).

Significance. If the central claim is correct, the paper provides a simple, explicit demonstration that dual-BRST symmetry in this prototypical first-class system is not an independent symmetry but merely a ghost-sector reparametrization of ordinary BRST symmetry. This would clarify a debate in the literature, which often treats dual-BRST as an independent symmetry with geometric roots. The paper is pedagogical and the algebraic maps are concrete. The significance is, however, limited by the fact that the equivalence is demonstrated only for one model with a specific gauge condition (6); the conclusion claims broader generality without proof. The claimed Casimir operator and associated bosonic symmetry are additional results that would extend the framework if rigorously established, but they are currently asserted rather than derived.

major comments (3)

[Section III, Eqs. (12)-(15)] The paper asserts that the dual-BRST and anti-dual-BRST transformations leave the effective action (7) invariant, but no explicit verification is provided. The fact that the dual charges are obtained from the BRST charges by the canonical maps (16)-(17) does not by itself prove invariance of the same action (7) under the dual transformations; one must also show that the canonical transformation preserves the action (up to a total derivative) for the specific gauge-fixing fermion (6) and the resulting action (7). Since the central claim concerns the symmetry status of the dual-BRST variables, this is a load-bearing step that needs to be demonstrated explicitly.
[Section III, Eqs. (19)-(21)] The statements that W is a Casimir operator, that s_W defined in Eq. (20) is a symmetry of the action, and that W is conserved modulo equations of motion are asserted without proof. These claims are part of the paper's conclusion that the generators close into a Lie superalgebra and yield an extra bosonic symmetry. The authors should provide the relevant calculations, or at least a clear derivation of the commutators and conservation statement, for these assertions to be admissible.
[Section IV] The conclusion states that the results extend to 'other similar models' and that the prototypical system 'can also exhibit new BRST symmetries', but no argument supporting this generalization is given. The proof in Sections II-III is specific to the Hamiltonian (1) with the gauge function (6). If the authors wish to claim generality, they need to provide a theorem or at least a sketch showing that the ghost-sector canonical transformations preserve the action for a general class of first-class systems; otherwise the conclusion should be stated as a conjecture or limited to the model at hand.

minor comments (5)

[Eq. (12)] In the fourth line of the dual-BRST transformation list, '\bar δ_b \bar P = 0' is a typo; it should read '\bar δ_d \bar P = 0'.
[Section III, sentence after Eq. (15)] The word 'nillpotent' should be 'nilpotent' in 'fully off-shell nillpotent'.
[Section II, Eq. (2)] The notation HΨ is used in Eq. (2) before the Hamiltonian is explicitly constructed in Eq. (5); please define HΨ at first use.
[Section III, text after Eq. (19)] The paper claims that 'the two (anti-)BRST operators commute among themselves' and lists the non-null anticommutator, but it does not specify the bracket convention (graded commutator vs. anticommutator) for the 'commute' statement. Clarify the conventions for clarity.
[Section IV] The conclusion mentions 'a total of eight possibilities connected by canonical transformations', but the body only explicitly displays four charges and two maps. A table or explicit list of the eight transformations would make the claim easier to verify.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the canonical-transformation equivalence between BRST and dual-BRST is a self-contained algebraic proof, and the only overreach is a scope generalization in Section IV.

full rationale

The derivation chain is self-contained. The central result—that the dual-BRST charge (13) and anti-dual-BRST charge (15) follow from the ordinary BRST charge (9) and anti-BRST charge (11) via the ghost-sector maps (16) and (17)—is an explicit constructive equivalence proof, not a prediction or a fit. The maps are stated as variable relabelings, their canonical character is checked against the fundamental brackets (18), and direct substitution reproduces the charges and transformations. No parameter is fitted to data, and no external benchmark is invoked; the algebra closes within the paper. The self-citations (e.g., [16]) in the introduction merely contextualize the history of the U(1) result and are not load-bearing, since the present calculation is carried out in full. The only overreach is the concluding claim in Section IV that the interpretation 'permits those interpretations to be extended to other similar models'; that is a scope generalization beyond the demonstrated model, but it is not a circular step. The asserted off-shell nilpotency and the algebra (19) are stated without proof but are standard and checkable; absence of proof is a completeness issue, not circularity.

Assumptions & free parameters 0 free parameters · 5 assumptions · 1 invented entities

No free parameters are fitted; the gauge-fixing constant xi is a free gauge parameter, not a fitted value. The derivation relies on standard ghost brackets, the model Hamiltonian (1), the specific gauge fermion (4)/(6), and the BFV generator convention; these are domain assumptions rather than ad hoc physical entities. W is a derived quantity with no external falsifiable handle.

assumptions (5)

standard math Graded brackets obey the conventions in Eq. (18), and the maps (16)-(17) are canonical transformations preserving these brackets.
Section III, Eqs. (16)-(18). This is the mathematical backbone of the equivalence claim.
domain assumption Ghost variables are Grassmann odd, with ghost number assignments gh C = gh P = +1, gh \bar C = gh \bar P = -1.
Section II, after Eq. (2). Needed for nilpotency and charge grading.
domain assumption Hamiltonian (1) with first-class constraint T and symmetric nondegenerate f^{ij} is the prototypical system.
Section II, Eq. (1). The entire computation is model-specific.
domain assumption Gauge fermion (4) with standard gauge function (6) is valid.
Section II, Eq. (6). All four symmetries are exhibited for this gauge choice.
domain assumption Omega_b = i(C T + P p0) is the BRST generator and Psi generates the BRST-invariant Hamiltonian (5).
Section II, Eqs. (5)-(9). This is the standard BFV input, quoted without proof within the paper.

invented entities (1)

Casimir operator W = (T^2 + p0^2)/2
purpose: Closes the superalgebra of BRST charges and defines a new bosonic symmetry s_W.
W is constructed within this paper from existing phase-space variables; it is not measured or predicted to produce an external observable, and its status as a symmetry is asserted, not independently verified.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Forms of BRST symmetry on a Prototypical First-Class System." pith.science (2026). https://pith.science/paper/ZKZLT2OO

@misc{pith2026250524233,
  author       = {Pith},
  title        = {Pith review of: Forms of BRST symmetry on a Prototypical First-Class System},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZKZLT2OO}},
  note         = {Machine review of arXiv:2505.24233}
}

read the original abstract

We obtain the various forms of BRST symmetry by using the Batalin-Fradkin-Vilkovisky formalism in a prototypical first class system. We have shown that the various forms of symmetry can be obtained through canonical transformation in the ghost sector. The so called "dual-BRST" symmetry which is claimed to be an independent symmetry due to its roots in differential geometry is obtained from usual BRST symmetry by making a canonical transformation in the ghost sector.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

[1]

Becchi, A

C. Becchi, A. Rouet and R. Stora, 1974 Phys. Lett. B 52 , 344 ; 1976 Ann. Phys. (N. Y.) 98, 287 ; I. V. Tyutin, 1975 Lebedev Report N FIAN 39, (unpublished)

work page 1974
[2]

Henneaux and C

M. Henneaux and C. Teitelboim,1992 ”Quantization of gauge systems” (Princeton University Press, Princeton); M. Hen- neaux,1985 Phys. Rep. 126, 1

work page 1992
[3]

E. S. Fradkin and G. Vilkovisky,1975 Phys. Lett. B 55 , 224 ; I. A. Batalin and G. Vilkovisky, 1977 Phys. Lett. B 69 , 309

work page 1975
[4]

Gaete and S

P. Gaete and S. J. Rabello, 1995 Phys. Rev. D 52 , 7205

work page 1995
[5]

Barcelos-Neto, P

J. Barcelos-Neto, P. Gaete and C. A. P. Galvao, 1991 Mod. Phys. Lett. A 17 , 1597

work page 1991
[6]

Gaete, 2002 Mod

P. Gaete, 2002 Mod. Phys. Lett. A 17 , 319

work page 2002
[7]

B. P. Mandal, S. K. Rai and S. Upadhyay, 2010, Euro. Phys. Lett. 92 (2), 21001

work page 2010
[8]

Relating Gribov-Zwanziger theory and Yang-Mills theory in Batalin-Vilkovisky formalism

S. Upadhyay and B. P. Mandal, arXiv preprint arXiv:1112.0422, (2011); Eur. Phys. J. C 71 , 1-8, (2011); Eur. Phys. J. C 72, 1-15, (2012); Int. J. Mod. Phys. A 28 , 25, 1350122, (2013)

work page Pith review arXiv 2011

Show all 17 references

[9]

V. K. Pandey and B. P. Mandal, 2017, Euro. phys. Lett. 119 3, 31003

2017
[10]

B. P. Mandal, V. K. Pandey and R. Thibes, 2022, Nuc. Phys. B 982 , 115905

2022
[11]

B. P. Mandal, S. K. Rai and R Thibes Euro. Phys. Lett. 144, 1 , 14001
[12]

V. K. Pandey and B. P. Mandal, 2017, Adv. in High Energy Phys., (1), 6124189

2017
[13]

Lavelle and D

M. Lavelle and D. McMullan, 1993 Phys. Rev. Lett. 71, 3758

1993
[14]

Tang and D

Z. Tang and D. Finkelstein, 1994 Phys. Rev. Lett. 73, 3055

1994
[15]

Yang and B.-H

H. Yang and B.-H. Lee, 1996 J. Math. Phys. 37, 6106

1996
[16]

S. K. Rai and B. P. Mandal, Mod. Phy. Lett. A 25 (26), 2281-2288, (2010); Mod. Phys. Lett. A 26 (12), 913-924, (2011)

2010
[17]

Thibes, Mod

R. Thibes, Mod. Phys. Lett. A 36, no.17, 2150116 (2021)

2021

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.

[1] [1]

Becchi, A

C. Becchi, A. Rouet and R. Stora, 1974 Phys. Lett. B 52 , 344 ; 1976 Ann. Phys. (N. Y.) 98, 287 ; I. V. Tyutin, 1975 Lebedev Report N FIAN 39, (unpublished)

work page 1974

[2] [2]

Henneaux and C

M. Henneaux and C. Teitelboim,1992 ”Quantization of gauge systems” (Princeton University Press, Princeton); M. Hen- neaux,1985 Phys. Rep. 126, 1

work page 1992

[3] [3]

E. S. Fradkin and G. Vilkovisky,1975 Phys. Lett. B 55 , 224 ; I. A. Batalin and G. Vilkovisky, 1977 Phys. Lett. B 69 , 309

work page 1975

[4] [4]

Gaete and S

P. Gaete and S. J. Rabello, 1995 Phys. Rev. D 52 , 7205

work page 1995

[5] [5]

Barcelos-Neto, P

J. Barcelos-Neto, P. Gaete and C. A. P. Galvao, 1991 Mod. Phys. Lett. A 17 , 1597

work page 1991

[6] [6]

Gaete, 2002 Mod

P. Gaete, 2002 Mod. Phys. Lett. A 17 , 319

work page 2002

[7] [7]

B. P. Mandal, S. K. Rai and S. Upadhyay, 2010, Euro. Phys. Lett. 92 (2), 21001

work page 2010

[8] [8]

Relating Gribov-Zwanziger theory and Yang-Mills theory in Batalin-Vilkovisky formalism

S. Upadhyay and B. P. Mandal, arXiv preprint arXiv:1112.0422, (2011); Eur. Phys. J. C 71 , 1-8, (2011); Eur. Phys. J. C 72, 1-15, (2012); Int. J. Mod. Phys. A 28 , 25, 1350122, (2013)

work page Pith review arXiv 2011