No Arabic abstract
A globalized version of a trace formula for the Poisson Sigma Model on the disk is presented by using its formal global picture in the setting of the Batalin-Vilkovisky formalism. This global construction includes the concept of zero modes. Moreover, for the symplectic case of the Poisson Sigma Model with cotangent target, the globalized trace reduces to a symplectic construction which was presented by Grady, Li and Li for 1-dimensional Chern-Simons theory (topological quantum mechanics). In addition, the connection between this formula and the Nest-Tsygan theorem and the Tamarkin-Tsygan theorem is explained.
We construct a formal global quantization of the Poisson Sigma Model in the BV-BFV formalism using the perturbative quantization of AKSZ theories on manifolds with boundary and analyze the properties of the boundary BFV operator. Moreover, we consider mixed boundary conditions and show that they lead to quantum anomalies, i.e. to a failure of the (modified differential) Quantum Master Equation. We show that it can be restored by adding boundary terms to the action, at the price of introducing corner terms in the boundary operator. We also show that the quantum GBFV operator on the total space of states is a differential, i.e. squares to zero, which is necessary for a well-defined BV cohomology.
In this paper we outline the construction of semiclassical eigenfunctions of integrable models in terms of the semiclassical path integral for the Poisson sigma model with the target space being the phase space of the integrable system. The semiclassical path integral is defined as a formal power series with coefficients being Feynman diagrams. We also argue that in a similar way one can obtain irreducible semiclassical representations of Kontsevichs star product.
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 structure 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.
We evaluate the path integral of the Poisson sigma model on sphere and study the correlators of quantum observables. We argue that for the path integral to be well-defined the corresponding Poisson structure should be unimodular. The construction of the finite dimensional BV theory is presented and we argue that it is responsible for the leading semiclassical contribution. For a (twisted) generalized Kahler manifold we discuss the gauge fixed action for the Poisson sigma model. Using the localization we prove that for the holomorphic Poisson structure the semiclassical result for the correlators is indeed the full quantum result.
We discuss the A-model as a gauge fixing of the Poisson Sigma Model with target a symplectic structure. We complete the discussion in [arXiv:0706.3164], where a gauge fixing defined by a compatible complex structure was introduced, by showing how to recover the A-model hierarchy of observables in terms of the AKSZ observables. Moreover, we discuss the off-shell supersymmetry of the A-model as a residual BV symmetry of the gauge-fixed PSM action.