Bihamiltonian systems in the quantum-classical transition
Summary: In order to get a mathematical understanding of the BRS-transformation and the Slavnov-Taylor identities, we treat them in a finite dimensional setting. We show that in this setting the BRS-transformation is a vector field on a certain supermanifold. The connection to the BRS-complex will be established. Finally we treat the generating functional and the Slavnov-Taylor identity in this setting.