Skip to main content
edited tags
Link
Qmechanic
  • 212.9k
  • 48
  • 589
  • 2.3k
edited tags
Link
Qmechanic
  • 212.9k
  • 48
  • 589
  • 2.3k
Source Link

BRST Quantization of the Bosonic String: Nilpotence of BRST transformation (Polchinski)

Currently I am studying string theory and I encountered a bunch of interrelated problems in the context of BRST quantization which I can't solve for myself although I tried hard for some days.

My question concerns the BRST transformation of the bosonic string in eq. (4.3.1) of Polchinski's book. In the paragraph following these transformations, Polchinski says that "the reader can check nilpotence up to the equations of motion". I tried but wasn't able to complete the proof - here my calculations:

$$\begin{align} \delta_\mathrm{B}\delta_\mathrm{B}'X^\mu&=\delta_\mathrm{B}\left[\mathrm{i}\varepsilon'\left(c\partial X^\mu+\bar{c}\bar{\partial}X^\mu\right)\right]\\[2pt] &=\mathrm{i}\varepsilon'\left[(\delta_\mathrm{B}c)\partial X^\mu+c(\delta_\mathrm{B}\partial X^\mu)+(\delta_\mathrm{B}\bar{c})\partial X^\mu+\bar{c}(\delta_\mathrm{B}\bar{\partial} X^\mu)\right]\\[2pt] &=\mathrm{i}\varepsilon'\left[(\mathrm{i}\varepsilon c\partial c)\partial X^\mu+c(\mathrm{i}\varepsilon(c\partial\partial X^\mu+\bar{c}\underbrace{\bar{\partial}\partial X^\mu}_{=0}))+(\mathrm{i}\varepsilon\bar{c}\bar{\partial}\bar{c})\bar{\partial}X^\mu+\bar{c}(\mathrm{i}\varepsilon(c\underbrace{\partial\bar{\partial}X^\mu}_{=0}+\bar{c}\bar{\partial}\bar{\partial}X^\mu))\right]\\[2pt] &=-\varepsilon'\left[\varepsilon c\partial c\partial X^\mu+c\varepsilon c\partial\partial X^\mu+\varepsilon\bar{c}\bar{\partial}\bar{c}\bar{\partial}X^\mu+\bar{c}\varepsilon\bar{c}\bar{\partial}\bar{\partial}X^\mu\right]\\[2pt] &=-\varepsilon'\varepsilon \left[c\partial c\partial X^\mu-\underbrace{c c}_{=0}\partial\partial X^\mu+\bar{c}\bar{\partial}\bar{c}\bar{\partial}X^\mu-\underbrace{\bar{c}\bar{c}}_{=0}\bar{\partial}\bar{\partial}X^\mu\right]\\[2pt] &=-\varepsilon'\varepsilon \left[c\partial c\partial X^\mu+\bar{c}\bar{\partial}\bar{c}\bar{\partial}X^\mu\right]\\[2pt] &=? \end{align}$$

Here I used the equation of motion for the field $X^\mu$ and exploited $c^2=0=\bar{c}^2$. At this point, however, I do not see why the remaining terms should vanish.