BRST transformations of the Lax operators
Notice that BRST transformations are symmetries, and therefore both and commute with and . This leads to the tautological identity:
And more generally:
As with zero curvature, this tautological identity can be made nontrivial by promoting and from generators of to generators of . We should also modify the Lax operator as in Eq. (17).