• 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.


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


(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,054 questions , 2,207 unanswered
5,345 answers , 22,721 comments
1,470 users with positive rep
818 active unimported users
More ...

  Hilbert Space of (quantum) Gauge theory

+ 7 like - 0 dislike

Since quantum Gauge theory is a quantum mechanical theory, whether someone could explain how to construct and write down the Hilbert Space of quantum Gauge theory with spin-S. (Are there something more rich/subtle than just saying the Hilbert Space are composed by the state space of infinite many sets and infinite many modes of harmonic oscillators? - i.e. more rich/subtle than usual spin-0 scalar fields' Hilbert space?) Is the quantum Gauge theory's Hilbert Space written in a tensor product form or not (eg. thinking about put this gauge theory on the lattice)?

Whether there are differences for this procedure construction of Hilbert space for these three cases:

(1) spin-1 quantum Gauge theory with Abelian $U(1)$ symmetry

(2) spin-1 quantum Gauge theory with non-Abelian (such as $SU(N)$) symmetry

(3) spin-2 quantum Gauge theory (Gravity? or anything else)

Also, whether gauge-redundancy plays any roles? Is there similar thing like Fadeev-Popov ghosts happened in the path integral formalism, when one dealing with gauge-redundancy?

This post imported from StackExchange Physics at 2014-04-14 16:53 (UCT), posted by SE-user mysteriousness
asked Nov 6, 2013 in Theoretical Physics by mysteriousness (145 points) [ no revision ]
You would really need an infinite one-parameter family of Hilbert spaces, to reflect cutoff-dependence of all quantities. As for ghosts, they might be formally present in the Hilbert space, but projected out later.

This post imported from StackExchange Physics at 2014-04-14 16:53 (UCT), posted by SE-user Mitchell Porter
The Physical states (Hilbert Space) of a gauge theory are given by the cohomology of the BRST Charge Q

This post imported from StackExchange Physics at 2014-04-14 16:53 (UCT), posted by SE-user Dan

2 Answers

+ 6 like - 0 dislike

The Hilbert space of a gauge theory is defined by BRST symmetry or to be precise, BRST cohomology.

In the path integral formalism, it is necessary to introduce ghosts in order to fix the gauge for a non-abelian theory. This theory now contains states of negative norm, hence it is a pseudo-Hilbert space. The Lagrangian of this theory has an additional symmetry, i.e. a symmetry in which the ghost fields act as infinitesimal parameters. Associated with this symmetry are both a Noether current and a Noether charge, the latter is referred to as the BRST charge. The BRST charge is a nilpotent operator, i.e. $Q^2=0$. This behaviour allows one to define a cohomology, which can be understood as follows:

Since the BRST charge is a quantum operator, we can ask ourselves what happens when we let it act on some state $|\Psi\rangle$. Since the operator $Q$ is nilpotent, $Q|\Psi\rangle=0$ if $|\Psi\rangle$ can be written as $|\Psi\rangle=Q|\Phi\rangle$, i.e.


But there is also the possibility of states vanishing under the action of the BRST charge without them being defined by $Q|\Phi\rangle$. Such states are said to be in the cohomology of the charge operator. They are identified as the physical states of the theory and do not contain ghosts or antighosts. Furthermore, one can argue that the cohomology does not change under unitary time evolution due to the fact that the Hamiltonian commutes with $Q$.

The BRST formalism also works for string theory, which contains spin 2 particles, i.e. gravitons.

This post imported from StackExchange Physics at 2014-04-14 16:53 (UCT), posted by SE-user Frederic Brünner
answered Mar 16, 2014 by Frederic Brünner (1,130 points) [ no revision ]
+ 6 like - 0 dislike

In the noninteracting case, the Hilbert space appropriate for a gauge field theory of any spin is a Fock space over the 1-particle space of solutions of the classical free gauge field equations for the same spin. (For spin 1, the associated particles would be noninteracting gluons if these would exist.) This space is ghost-free. The differences for different spins just lie in the different structure of the classical field equations.

This Hilbert space can be described in many different but equivalent forms.

As the other answer mentions, it is usually represented by means of BRST cohomology, since this gives the most tracable renormalized perturbation theory. Here ghosts appear since the BRST Hilbert space is embedded in a bigger indefinite-inner-product space. (The ghost-free physical Hilbert space is recovered as the quotient of the kernel of the BRST charge $Q$ by the image of $Q$. Since $Q$ satisfies $Q^2=0$, it is analogous to the exterior derivative $d$, which satisfies $d^2=0$, and gives rise to BRST cohomology in the same way as $d$ gives rise to traditional de Rham cohomology.)

For an abelian gauge field theory, there are more elementary descriptions of the noninteracting Hilbert space. For example, a free quantum electromagnetic field resides in the Hilbert space of square integrable functions $A(p)$ of light cone momentum $p$ ($p^2=0,p_0>0$) in a degenerate but positive semidefinite inner product where all functions with $A(p)$ parallel to $p$ have norm zero. This gives the standard description of photons in quantum optics. (See, e.g., the entry ''What is a photon?'' in Chapter B2: Photons and Electrons of my theoretical physics FAQ at http://arnold-neumaier.at/physfaq/physics-faq.html .

The Hilbert space appropriate for an interacting gauge field theory is unknown. This is not surprising as it is unknown for any interacting field theory in 4D. The little that is known about the situation in this case can be found in a recent book by F. Strocchi, An introduction to non-perturbative foundations of quantum field theory, Oxford Univ. Press, 2013.

This post imported from StackExchange Physics at 2014-04-14 16:53 (UCT), posted by SE-user Arnold Neumaier
answered Mar 17, 2014 by Arnold Neumaier (15,787 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:
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