7
$\begingroup$

Is there written anywhere a full definition of BRST cohomology? All I have found so far is BRST cohomology in _______. As far as I can see, BRST cohomology is the cohomology of a complex in which the differential has at least a piece that "looks like" the Chevalley Eilenberg differential.

That seems to include all known examples, but is hardly a precise definition.

$\endgroup$
2
  • $\begingroup$ Hi Jim. Alas, there was a time when in the Physics literature every differential complex was called a BRST complex :( Which BRST cohomology are you interested in? The original of Becchi, Rouet, Stora and Tyutin? $\endgroup$ May 7, 2013 at 21:23
  • 4
    $\begingroup$ What exactly is _______? :-) $\endgroup$ Jul 22, 2013 at 1:41

1 Answer 1

11
$\begingroup$

It is difficult to give a precise definition, because there are many cohomology theories which go by the name of BRST. It might be helpful to give a couple of examples, not necessarily in chronological order.

In classical (i.e., non-quantum) physics, there is a notion of BRST cohomology which encodes symplectic reduction à la Marsden-Weinstein. This was the subject of my answer to an earlier question. It is the cohomology of a double complex and one of the differentials is the Chevalley-Eilenberg differential. However, it does admit generalisations (e.g., to coisotropic reduction) where there is no Chevalley-Eilenberg differential, while still being referred to as BRST cohomology.

The original BRST cohomology arose in quantum field theory, where it arose as an "invariance" of the gauge-fixed Fadde'ev-Popov action for a gauge theory and plays an important role in proving the renormalisability of four-dimensional gauge theories. The BRST differential again has a part which is the Chevalley-Eilenberg differential of the Lie algebra of the gauge group. Again, there are generalisations (to theories with "open algebras") where there is still a BRST cohomology, but now there is no longer any Chevalley-Eilenberg differential.

In the context of two-dimensional conformal field theories (e.g., string theory), the BRST cohomology can be identified with a certain (relative) semi-infinite cohomology in the sense of Feigin.

In all cases precise definitions can be given, but they are different.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.