A superspace formulation of the BV action for higher derivative theories

We first analyse the anti-BRST and double BRST structures of a certain higher derivative theory that has been known to possess BRST symmetry associated with its higher derivative structure. We discuss the invariance of this theory under shift symmetry in the Batalin–Vilkovisky (BV) formalism. We show that the action for this theory can be written in a manifestly extended BRST invariant manner in superspace formalism using one Grassmann coordinate. It can also be written in a manifestly extended BRST invariant manner and on-shell manifestly extended anti-BRST invariant manner in superspace formalism using two Grassmann coordinates.