Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,082 questions , 2,232 unanswered
5,353 answers , 22,786 comments
1,470 users with positive rep
820 active unimported users
More ...

  WHY BRST formulation works: Conditions imposed on QFT to find (how many) BRST parameters

+ 6 like - 0 dislike
2269 views

question: WHY BRST formulation works? In more details:

  1. What are the conditions we need to impose on QFT to find the BRST (global) symmetry?
  2. Why can we demand the BRST parameter $\epsilon$ directly that relates the gauge symmetry parameter $\alpha^a(x)$ to the ghost field?
  3. And how to determine how many BRST parameters $$\epsilon_1,\epsilon_2,\epsilon_3,...$$ can we introduce? Does each continuous BRST parameter $\epsilon_j$ introduce a $U(1)$ or a supergroup (?) global symmetry? (But note that $\epsilon_j$ is an anticommuting Grassman number.) and correspond to a ghost field one by one?

(You can follow discussions on Peskin and Schroeder (PS) Chap 16.4 if you wish, also with this understanding.)

Given a gauge theory such as nonabelian Yang-Mills gauge theory, we know there is a gauge symmetry transformation on the 1-form gauge field as (in the standard QFT notation of spacetime index $\nu$ and the gauge Lie algebra (adjoint) index $a, b, c$) $$ A^a_\nu \to A^a_\nu +\delta A^a_\nu = A^a_\nu +\frac{1}{g}D_\nu^{ac} \alpha^c =A^a_\nu +\frac{1}{g} (\partial_\nu \delta^{ac} + g f^{abc} A^b_\nu ) \alpha^c $$ with a 0-form gauge parameter $\alpha^a$.

However the BRST formulation declares that we can introduce the global symmetry parameter $\epsilon$ and a $C$ ghost field: $$ A^a_\nu \to A^a_\nu +\delta A^a_\nu = A^a_\nu +\epsilon D_\nu^{ac} C^c $$ such that we need a relation between the gauge symmetry and BRST global symmetry: $$ \boxed{\alpha^a = g \epsilon C^a}. $$ (Pardon me here that I capitalize the ghost field $C$ to distinguish it from the gauge index $c$.)

  • But how do we know such a "single" BRST parameter can be introduced? (What conditions do we need to impose and declare such global symmetry $\epsilon$?)

  • Follow the question 3 above, If we have more ghost fields (such as Chap 2.5 Polchinski) with $b$ and $c$ two ghost fields for $bc$ CFT, is it possible to introduce more BRST parameters $\epsilon_1,\epsilon_2,..$? Is the number of the BRST symmetry parameters the same as the number of ghost fields?

This post imported from StackExchange Physics at 2020-12-04 11:34 (UTC), posted by SE-user annie marie heart
asked Oct 6, 2020 in Theoretical Physics by annie marie heart (1,205 points) [ no revision ]
retagged Dec 4, 2020

3 Answers

+ 7 like - 0 dislike

Only 1 Grassmann-odd global parameter $\epsilon\in \mathbb{R}^{0|1}$ is needed in the BRST formulation $\delta=\epsilon {\bf s}$ even if the underlying gauge theory contains several gauge parameters.

The formal proof of the existence of a BRST formulation for an arbitrary Hamiltonian & Lagrangian gauge theory with possibly reducible and open gauge algebra was given in a series of articles by Batalin, Fradkin & Vilkovisky, cf. e.g. Ref. 1 and references therein.

Roughly speaking, the main tool in the existence proof of a Grassmann-odd nilpotent BRST symmetry ${\bf s}$ of ghost number 1 is deformation of a cohomological complex of fields.

References:

  1. M. Henneaux & C. Teitelboim, Quantization of Gauge Systems, 1994; chapters 9 + 10 + 17.
This post imported from StackExchange Physics at 2020-12-04 11:34 (UTC), posted by SE-user Qmechanic
answered Oct 6, 2020 by Qmechanic (3,120 points) [ no revision ]
thanks so much, I am looking at this 500+ ref book. Can I regard the BRST global symmetry in terms of generating some continuous group? since $\epsilon$ is a continuous parameter? What is that group? It is not easy to think in terms of the usual group because the $\epsilon$ is a Grassmann. (Does it have anything to do with SUSY or super group?)

This post imported from StackExchange Physics at 2020-12-04 11:34 (UTC), posted by SE-user annie marie heart
(I meant this book is 500 page +)

This post imported from StackExchange Physics at 2020-12-04 11:34 (UTC), posted by SE-user annie marie heart
I updated the answer.

This post imported from StackExchange Physics at 2020-12-04 11:34 (UTC), posted by SE-user Qmechanic
+ 6 like - 0 dislike

If you want to understand the quantization of gauge theories and the BRST procedure in particular in detail, the best reference is probably "Quantization of Gauge Systems" (QoGS) by Henneaux and Teitelboim. Requirements for a BRST symmetry to exist is that we have a gauge theory - or equivalently a constrained Hamiltonian theory - and that this gauge theory fulfills regularity constrains I discuss in this answer of mine (but which is also taken from QoGS).

There is no notion of multiple "BRST parameters". The BRST symmetry generator $\Omega$ is the generator of the BRST differential $s$ such that $sF = \{F,\Omega\}$ where $\{-,-\}$ is the Poisson bracket on extended phase space (i.e. including ghosts, and taking into account the grading w.r.t bosonic and fermionic variables). I explain the construction of one part of it in this answer of mine and its rough connection to the Lie algebra in a generic Yang-Mills theory in this answer of mine

The proof that the BRST differential exists for a general gauge theory obeying certain regularity constraints and has a generator is rather technical. It requires proving the "main theorem of homological perturbation theory" (theorem 8.3 in QoGS) and then using the differential $\delta$ on the ghosts discussed in my answers linked above. Once you have the generator $\Omega$, the infinitesimal BRST symmetry is just $F\mapsto F + \epsilon \{F,\Omega\}$, with a single parameter $\epsilon$. The number of ghosts depends on the number of constraints in the Hamiltonian formulation of the gauge theory, and the BRST operator in the simplest cases is given by $\eta^a G_a$, where the $\eta^a$ are the ghosts associated with the first-class constraints $G_a$.

Note that the BRST symmetry acts on a very different space than the gauge symmetry - the BRST symmetry acts on the extended phase space with ghosts (and ghosts-of-ghosts, etc.) and only BRST-invariant quantites are physically meaningful, while the original gauge symmetry (with potentially multiple parameters) acts on the original phase space. It is subtle and dangerous to try to compare their actions directly.

This post imported from StackExchange Physics at 2020-12-04 11:34 (UTC), posted by SE-user ACuriousMind
answered Oct 6, 2020 by ACuriousMind (910 points) [ no revision ]
thank you +1, can BRST symmetry regard as global supersymmetry? (see Wiki stated that "The BRST global supersymmetry introduced in the mid-1970s") is BRST symmetry always SUSY? Is this related to supergroup in any way?

This post imported from StackExchange Physics at 2020-12-04 11:34 (UTC), posted by SE-user annie marie heart
(I post a new question feel free to comment more. Still digesting the book.)

This post imported from StackExchange Physics at 2020-12-04 11:34 (UTC), posted by SE-user annie marie heart
+ 4 like - 0 dislike
  1. To learn about BRST properly, you need the „Bible”.

  2. As to the main question ("why does the BRST work?"), the answer is very simple: simply by replacing it, it "cures" the "illness" of gauge symmetry, in the sense that the path integral (Lagrangian or Hamiltonian) is no longer infinite, but finite, thus allowing one to compute the QFT observables, which are typically scattering cross-sections (tree-level Feynman diagrams) or corrections stemming from loop-level diagrams.

  3. How does it work? There are a number of needed extra variables which are added to the theory (called ghosts and antighosts or antifields) and the gauge symmetry, typically exhibited by a differential operator in some principal fiber bundle over space-time ("the gauge-covariant" derivative), is replaced by the BRST symmetry, which is exhibited through a novel (nilpotent in degree 2) differential operator which is usually denoted by "s" and the "symmetry" itself is the requirement that the BRST/gauge-fixed Lagrangian/Hamiltonian action up to s-exact terms is invariant under "s".

If you allow me some personal remarks, the "BRST Bible" of Henneaux and Teitelboim is not standard (=non-PhD) material, and some QFT books as the one you quote do a miserable job to offer an incomplete view on this huge topic, probably with the notable exception of Weinberg's 3 volume QFT book. The rest of the QFT books, thankfully, do not mention it all (they typically give a sketch of Faddeev & Popov's calculation of the gauge-fixed QCD action), which is to be desired. The school where I learnt about BRST 15-16 years ago had proper full-courses in BRST. I do not recall of the „BRST parameters” terminology.

This post imported from StackExchange Physics at 2020-12-04 11:34 (UTC), posted by SE-user DanielC
answered Oct 6, 2020 by DanielC (40 points) [ no revision ]
„BRST parameters” I meant
thanks so much, I am looking at this Bible. Can I regard the BRST global symmetry in terms of generating some continuous group? since
(I post a new question feel free to comment more. Still digesting the book.)

This post imported from StackExchange Physics at 2020-12-04 11:34 (UTC), posted by SE-user annie marie heart

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\hbar$ysicsOv$\varnothing$rflow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...