Gauge fixing and equivariant cohomology

The supersymmetric model developed by Witten to study the equivariant cohomology of a manifold with an isometric circle action is derived from the BRST quantization of a simple classical model. The gauge-fixing process is carefully analysed, and demonstrates that different choices of gauge-fixing fermion can lead to different quantum theories.