Articles you may be interested inThe classical exchange algebra of a Green-Schwarz sigma model on supercoset target space with Z 4 m grading Consistent boundary conditions for Alexandrov-Kontsevich-Schwartz-Zaboronsky (AKSZ) sigma models and the corresponding boundary theories are analyzed. As their mathematical structures, we introduce a generalization of differential graded symplectic manifolds, called twisted QP manifolds, in terms of graded symplectic geometry, canonical functions, and QP pairs. We generalize the AKSZ construction of topological sigma models to sigma models with Wess-Zumino terms and show that all the twisted Poisson-like structures known in the literature can actually be naturally realized as boundary conditions for AKSZ sigma models. C 2014 AIP Publishing LLC. [http://dx.idea is inspired by analysis of the consistency of boundary conditions of AKSZ sigma models, 2,8,25,41 which are topological sigma models constructed by supergeometric methods and a topological open membrane. 22,38 A similar structure appears in the Batalin-Vilkovisky (BV) formalism of string field theory. 21 Another motivation comes from the canonical transformation in symplectic supergeometry, which is also called twisting. 40 It can be viewed as a higher analogue of a Poisson function, 33,45 and it defines a generalization of the Dirac structure 12 . Moreover, a canonical function describes the boundary condition structures of the AKSZ sigma models, which have played key roles in the derivation of the deformation quantization from the Poisson sigma model. 30 and 7 A canonical function leads to the concept of a QP pair, which is a certain tower of two (twisted) differential graded symplectic manifolds. This unifies the various concepts that were separately analyzed above, and it includes many geometric structures such as the Lie (2-)algebras, the (twisted or quasi) Poisson structures, the (homotopy) Lie algebroids, the (twisted) Courant algebroids, the Nambu-Poisson structures, and others. Some of these will be used below as examples.Analysis of a canonical transformation on a QP manifold naturally leads to what we call a twisted QP manifold. It is a mathematical framework for a unified understanding of the so-called Wess-Zumino terms, together with twisted Poisson-like structures. A general method to get a twisted QP manifold is given by the deformation theory. Some examples will be presented to illuminate this twisting process. Moreover a new geometric structure, the strong Courant algebroid, is proposed.The defining structure of a QP pair guarantees consistency of the bulk structure and the boundary conditions. In general, a quantum theory on a manifold X in n + 1 dimensions with given boundaries may have the same structure as the corresponding quantum theory on the boundary ∂X in n dimensions. 3 When applying this so-called bulk-boundary correspondence of quantum field theories to the AKSZ sigma models, we find that it is necessary to extend the AKSZ sigma models to the "twisted" AKSZ sigma models. This is a general...