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

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

146 submissions , 123 unreviewed
3,953 questions , 1,403 unanswered
4,889 answers , 20,761 comments
1,470 users with positive rep
506 active unimported users
More ...

Clarifications needed on Gauge Fixing and Ghosts

+ 4 like - 0 dislike
940 views

The first time some kind of gauge fixing appears is during the Gupta-Bleuler procedure, which is used to be able to quantize the photon field:

The basic gauge invariant Lagrangian leads to $\Pi_0=0$ which is incompatible with the canonical commuator relations. Furthermore the Green Function, i.e. the propagator, for the corresponding equation of motion does not exists. Therefore one adds a term to the Lagrangian $\frac{1}{2} (\partial_\mu A^\mu)^2$, which isn't gauge inviarant. Nevertheless, now $\Pi_0 \neq 0$ and the propagator can be derived. But in return unphysical degrees of freedom appear (longitudinal/timelile) photons appear, which are elemininated by the weak Lorentz condition, that guarantees we only pick physical states.

Instead of $\frac{1}{2} (\partial_\mu A^\mu)^2$ one can add $\frac{1}{2\zeta } (\partial_\mu A^\mu)^2$, which is called a gauge fixing term to the Lagrangian. The parameter $\zeta$ is the gauge parameter which determines which gauge we are working in. $\zeta =1 $ for the Feynman a.k.a. Lorentz gauge, $\zeta = \infty$ for the unitary gauge etc. The propagator is then $\zeta$ dependent, but all physical observables are of course gauge independent.

A similar problem appears for the gluon fields. Again, a gauge fixing term is introduced, but this time in order to secure unitarity of the S-Matrix ghosts fields are needed.

These problems seem to appear because we try to describe a massless spin-1 field, which has two physical degrees of freedom, in a covariant way, which means a four vector. In the unitary gauge, i.e. without a gauge fixing term, and imposing a gauge condition, for example the Coulomb gauge from the beginning, no timelike/longitudinal photons appear. But the Coulomb gauge isn't Lorentz invariant ($A_0=0$). For a covariant description we need a gauge fixing term.

I'm a little confused about these concepts and their connection:

  • How exactly does the gauge fixing term work? I understand that it is a term that destroys gauge invariance, but I do not understand how it fixes a gauge. (In this context often the term Lagrange multiplier is used, but can't make the connection. If someone could explain how this concept works in this context, it would help me a lot.)

  • Are the longitudinal/timelike photons, in some sense, ghosts, too? Nevertheless, for the photon case those unphysical degrees of freedom are eliminated by an extra condition, for the gluon field, unphysical degrees of freedom are introduced additionally (Ghost term in the Lagrangian), in order to secure unitarity. Is there some connection between these concepts? What happens to the longitudinal/timelike gluons? Are ghost fields only needed if we want to work in an arbitrary gauge

  • Whats the reason ghosts are needed? (Mathematically to make sense of the theory, i.e. make the S matrix unitary again, but) Is it because we want to work in an arbitrary gauge and with a non-covariant description with a fixed gauge from the beginning this problem wouldn't appear? Gluons carry charge themselves and therefore they can form loops. In those Gluon loops we have to add all contributions, including the unphysical ones (longitudinal/timelike) which makes the S-matrix non-unitary?! In contrast to the photon case, the contribution of these loops can't be cancelled by a weak-Lorentz condition (which defined what we understand as physical states), and therefore the ghosts are in some sense the equivalent to the weak-Lorentz condition?!

I'm trying to understand this using the canonical forumaltion of QFT, but unfortunately most books explain this using the path integral approach. Any idea or reading tip would be much appreciated!

This post imported from StackExchange Physics at 2014-10-09 19:41 (UTC), posted by SE-user JakobH
asked Oct 9, 2014 in Theoretical Physics by JakobH (110 points) [ no revision ]

Have a look at these lectures note, they might be what you're looking for : eduardo.physics.illinois.edu/phys582/582-chapter9.pdf

This post imported from StackExchange Physics at 2014-10-09 19:41 (UTC), posted by SE-user Adam

1 Answer

+ 1 like - 0 dislike

It seems OP's main question concerns the systematics of gauge-fixing. We reformulate OP's main question as follows:

The original gauge-invariant action $S_0$ is unsuitable for quantization, so we add a non-gauge invariant gauge-fixing term to the action. Obviously we cannot add any non-gauge invariant term to the action.

  1. What is the principle that dictates which gauge-fixing terms are allowed and which are not?

  2. And how can the theory be independent of gauge-fixing?

Why we need gauge-fixing and Faddeev-Popov ghosts in the first place were explained in my Phys.SE answer here.

Now, to not get bogged down by technical details, it is actually more convenient to use the BRST formalism. Recall that BRST formalism is a modern generalization of the Gupta-Bleuler formalism. The BRST transformation $\delta$ basically encodes the gauge transformations.

Moreover, recall that the BRST transformation $\delta$ is Grassmann-odd and nilpotent $\delta^2=0$, and the original action $S_0$ is BRST-invariant $\delta S_0=0$. The total, gauge-fixed action

$$S_{\rm gf}~=~S_0+\delta\psi$$

is the original action $S_0$ plus a BRST-exact term $\delta\psi$ that depends on the so-called gauge-fixing fermion $\psi$, which encodes the gauge-fixing condition.

The BRST-exact term $\delta\psi$ contains both the Faddeev-Popov ghost term and the gauge-fixing terms. Not everythings goes. There is an intricate balance between the various terms to ensure that we have only modified the original action $S_0$ with a BRST-exact amount $\delta\psi$, which cannot alter the BRST cohomology, and thereby, in turn, the notion of physical states. This basically answers question 1 and 2 at the conceptional level. For more details, see also my Phys.SE answer here.

Phrased differently, without the use of the BRST formalism: The usual Faddeev Popov trick (cf. e.g. Ref. 1) precisely codifies the balance between the Faddeev-Popov ghost term and the gauge-fixing terms. They go hand in hand. In the simplest situations, the Faddeev-Popov ghosts decouples, and can be integrated out.

References:

  1. M.E. Peskin & D.V. Schroeder, An Intro to QFT, Section 9.4.
This post imported from StackExchange Physics at 2014-10-09 19:41 (UTC), posted by SE-user Qmechanic
answered Oct 9, 2014 by Qmechanic (2,840 points) [ no revision ]

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$\varnothing$ysicsOverflow
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).
To avoid this verification in future, please log in or register.




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

Your rights
...