Past exam of the mathematics course of the University of Cambridge 2019 iii Paper 306 3 Solution 2026-10-03
The BRST operator is Grassmann odd and represents the gauge symmetry on the gauge-fixed state space. Requiring two successive BRST transformations to vanish meansThis nilpotence makes physical states a BRST cohomology. If and is the gauge-fixing fermion, the graded Jacobi identity givesso is BRST invariant.
A holomorphic field of conformal weight has the Laurent expansionUnder the state–operator correspondence, must be regular at the origin. Terms with have negative powers, soFor the anticommuting bc system,Separating creation and annihilation modes and summing the geometric series for gives the bc ghost operator-product expansion
The BRST current built from the matter and ghost stress tensors has an operator-product expansion with whose residue givesFor a matter Virasoro primary operator of weights , the two standard string vertex operators areThe first is the local, unintegrated vertex. Using , , and the weight- transformation of , the terms cancel pairwise and . For the integrated vertex,so on a closed worldsheet because the variation is a total derivative. Both vertices therefore represent the same BRST cohomology class.