Using methods of formal geometry, the Poisson sigma model on a closed surface is studied in perturbation theory. The effective action, as a function on vacua, is shown to have no quantum corrections if the surface is a torus or if the Poisson structu
re is regular and unimodular (e.g., symplectic). In the case of a Kahler structure or of a trivial Poisson structure, the partition function on the torus is shown to be the Euler characteristic of the target; some evidence is given for this to happen more generally. The methods of formal geometry introduced in this paper might be applicable to other sigma models, at least of the AKSZ type.
The perturbative Chern-Simons theory is studied in a finite-dimensional version or assuming that the propagator satisfies certain properties (as is the case, e.g., with the propagator defined by Axelrod and Singer). It turns out that the effective BV
action is a function on cohomology (with shifted degrees) that solves the quantum master equation and is defined modulo certain canonical transformations that can be characterized completely. Out of it one obtains invariants.
