Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/iii/paper-306/3/solution

The BRST operator is Grassmann odd and represents the gauge symmetry on the gauge-fixed state space. Requiring two successive BRST transformations to vanish means
This nilpotence makes physical states a BRST cohomology. If and is the gauge-fixing fermion, the graded Jacobi identity gives
so is BRST invariant.
A holomorphic field of conformal weight has the Laurent expansion
Under the state–operator correspondence, must be regular at the origin. Terms with have negative powers, so
For 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 gives
For a matter Virasoro primary operator of weights , the two standard string vertex operators are
The 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.

New to topics? Read the docs here!