Special case: BV structures coming from BRST
1 BRST formalism
This is a special case. We start from the which is invariant under some
symmetry which we refer to as gauge symmetry.
Then one introduces the additional “ghost” field .
The nilpotent symmetry is defined in the following way:
2 Master Action
Given this BRST data, we can construct :
 


This solves the Master Equation .
3 Base form
To construct the base form, we have to first identify . It turns out that we can choose to coincide, as Lie algebra, with the underlying gauge symmetry of the BRST data. This corresponds to the following :
where are generators of the underlying gauge symmetry of the BRST formalism.
In physics we usually consider the “gauge fixed” BRST action. This corresponds in BV formalism to choosing a Lagrangian submanifold so that the restricted is nondegenerate. Our does not stabilize this Lagrangian submanifold, therefore they are not symmetries of the action in the usual sense. Instead, they change the action by adding to it BRSTexact terms.
The base form corresponding to this choice of is:
where is the horizonthal projection of , using some connection,
and is the curvature of this connection.
This can be applied to both bosonic string and NSR superstring. Indeed, as we now explain,
they fall into this class of ``theories obtained from BRST''.