In this paper the BRST formalism for topological field theories is studied in a mathematical setting. The BRST operator is obtained as a member of a one parameter family of operators connecting the Weil model and the Cartan model for equivariant cohomology. Furthermore, the BRST operator is identified as the sum of an equivariant derivation and its Fourier transform. Using this, the Mathai-Quillen representative for the Thom class of associated vector bundles is obtained as the Fourier transform of a simple BRST closed element.

In this paper, two different definitions of the BRST complex are connected. We obtain the BRST complex of topological quantum field theories (leading to equivariant cohomology) from the standard definition of the classical BRST complex (leading to Lie algebra cohomology) provided that we include ghosts for ghosts. Hereby, we use a finite dimensional model with a semi-direct product action of H x DiffM on a configuration space M, where H is a compact Lie group representing the gauge symmetry in this model.

No abstract