# BRST formalism

BRST formalism

(A draft of an alternate exposition has been added at BRST quantization.)

In theoretical physics, the BRST formalism is a method of implementing first class constraints. The letters BRST stand for Becchi, Rouet, Stora, and (independently) Tyutin who discovered this formalism. It is a sophisticated method to deal with quantum physical theories with gauge invariance. For example, the BRST methods are often applied to gauge theory and quantized general relativity.

Classical version

This is related to a supersymplectic manifold where pure operators are graded by integral ghost numbers and we have a BRST cohomology.

Quantum version

The space of states is not a Hilbert space (see below). This vector space is both Z2-graded and R-graded. If you wish, you may think of it as a Z2&times;R-graded vector space. The former grading is the parity, which can either be even or odd. The latter grading is the ghost number. Note that it is R and not Z because unlike the classical case, we can have nonintegral ghost numbers. Operators acting upon this space are also Z2&times;R-graded in the obvious manner. In particular, "Q" is odd and has a ghost number of 1.

Let Hn be the subspace of all states with ghost number n. Then, "Q" restricted to Hn maps Hn to Hn+1. Since Q²=0, we have a cochain complex describing a cohomology.

The physical states are identified as elements of cohomology of the operator $Q$, i.e. as vectors in Ker Qn+1/Im Qn. The BRST theory is in fact linked to the standard resolution in Lie algebra cohomology.

Recall that the space of states is Z2-graded. If A is a pure graded operator, then the BRST transformation maps A to [Q,A) where [,) is the supercommutator. BRST-invariant operators are operators for which [Q,A)=0. Since the operators are also graded by ghost numbers, this BRST transformation also forms a cohomology for the operators since [Q, [Q,A))=0.

Although the BRST formalism is more general than the Faddeev-Popov gauge fixing, in the special case where it is derived from it, the BRST operator is also useful to obtain the right Jacobian associated with constraints that gauge-fix the symmetry.

The BRST is a supersymmetry. It generates the Lie superalgebra with a zero-dimensional even part and a one dimensional odd part spanned by Q. [Q,Q)={Q,Q}=0 where [,) is the Lie superbracket (i.e. Q²=0). This means Q acts as an antiderivation.

Because Q is Hermitian and its square is zero but Q itself is nonzero, this means the vector space of all states prior to the cohomological reduction has an indefinite norm! This means it is not a Hilbert space!

For more general flows which can't be described by first class constraints, see Batalin-Vilkovisky

Example

For the special case of gauge theories (of the usual kind described by sections of a principal G-bundle) with a quantum connection form A, a BRST charge (sometimes also a BRS charge) is an operator usually denoted $Q$.

Let the $mathfrak\left\{g\right\}$-valued gauge fixing conditions be $G=xipartial^mu A_mu$ where ξ is a positive number determining the gauge. There are many other possible gauge fixings, but they will not be covered here. The fields are the $mathfrak\left\{g\right\}$-valued connection form A, $mathfrak\left\{g\right\}$-valued scalar field with fermionic statistics, b and c and a $mathfrak\left\{g\right\}$-valued scalar field with bosonic statistics B. c deals with the gauge transformations wheareas b and B deals with the gauge fixings. There actually are some subtleties associated with the gauge fixing due to Gribov ambiguities but they will not be covered here.

:$QA=Dc$

where D is the covariant derivative.

:$Qc=\left\{iover 2\right\} \left[c,c\right] _L$

where [,] L is the Lie bracket, NOT the commutator.

:$QB=0$:$Qb=B$

Q is an antiderivation.

The BRST Lagrangian density

:$mathcal\left\{L\right\}=-\left\{1over 4g^2\right\}Tr \left[F^\left\{mu u\right\}F_\left\{mu u\right\}\right] +\left\{1over 2g^2\right\}Tr \left[BB\right] -\left\{1over g^2\right\}Tr \left[BG\right] -\left\{xiover g^2\right\}Tr \left[partial^mu b D_mu c\right]$

While the Lagrangian density isn't BRST invariant, its integral over all of spacetime, the action is.

The operator $Q$ is defined as

:$Q = c^i left\left(L_i-frac 12 \left\{f_\left\{ij^k b_j c^k ight\right)$

where $c^i,b_i$ are the Faddeev-Popov ghosts and antighosts, respectively, $L_i$ are the infinitesimal generators of the Lie group, and $f_\left\{ij\right\}\left\{\right\}^k$ are its structure constants.

References

* [http://xstructure.inr.ac.ru/x-bin/theme2.py?arxiv=hep-th&level=1&index1=2938340 brst cohomology on arxiv.org]

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• BRST quantization — In theoretical physics, BRST quantization (where the BRST refers to Becchi, Rouet, Stora and Tyutin) is a relatively rigorous mathematical approach to quantizing a field theory with a gauge symmetry. Quantization rules in earlier QFT frameworks… …   Wikipedia

• BRST — Possible alternative meanings of BRST are:* BRST formalism and quantization in Yang Mills theories * Big Red Switch Time (or Big Red Switch Treatment): computer jargon for switching your computer off, when all other options for a more elegant… …   Wikipedia

• Batalin-Vilkovisky formalism — In theoretical physics, Batalin Vilkovisky (BV) formalism was developed as a method for determining the ghost structure for theories, such as gravity and supergravity, whose Hamiltonian formalism has constraints not related to a Lie algebra… …   Wikipedia

• Gupta-Bleuler formalism — In quantum field theory, the Gupta Bleuler formalism is a way of quantizing the electromagnetic field. The formulation is due to theoretical physicist Suraj N. Gupta and Konrad Bleuler.Let s start with a single photon first. A basis of the one… …   Wikipedia

• Analysis of flows — In theoretical physics, an analysis of flows is the study of gauge or gaugelike symmetries (i.e. flows the formulation of a theory is invariant under). It is generally agreed that flows indicate nothing more than a redundancy in the description… …   Wikipedia

• String field theory — In theoretical physics, string field theory is a proposal to define string theory in such a way that the background independence is respected. String field theory can be understood as a quantum field theory with infinitely many fields which are… …   Wikipedia

• Quantization (physics) — In physics, quantization is a procedure for constructing a quantum field theory starting from a classical field theory. This is a generalization of the procedure for building quantum mechanics from classical mechanics. One also speaks of field… …   Wikipedia

• Gauge fixing — Quantum field theory (Feynman diagram) …   Wikipedia

• Lie algebra cohomology — In mathematics, Lie algebra cohomology is a cohomology theory for Lie algebras. It was defined by Chevalley and Eilenberg (1948) in order to give an algebraic construction of the cohomology of the underlying topological spaces of compact Lie …   Wikipedia

• Gauge theory — For a generally accessible and less technical introduction to the topic, see Introduction to gauge theory. In physics, a gauge theory is a type of field theory in which the Lagrangian is invariant under a continuous group of local transformations …   Wikipedia