Rules of the game: sigma-model
We postulate the action of the form:
This is almost a generic sigma-model, but we require:
Classical 2d conformal invariance
Lagrangian is polynomial in and
Two separate conserved ghost number charges:
left ghost charge for
right ghost charge for
and the most important postulate is about:
BRST structure