Poisson AKSZ theories and their quantizations

  title={Poisson AKSZ theories and their quantizations},
  author={Theo Johnson-Freyd},
  journal={arXiv: Mathematical Physics},
We generalize the AKSZ construction of topological field theo- ries to allow the target manifolds to have possibly-degenerate up-to-homotopy Poisson structures. Classical AKSZ theories, which exist for all oriented space- times, are described in terms of dioperads. The quantization problem is posed in terms of extending from dioperads to properads. We conclude by relating the quantization problem for AKSZ theories on R d to the formality of the Ed operad, and conjecture a properadic description… 
A Classical Bulk-Boundary Correspondence
In this article, we use the language of P0-factorization algebras to articulate a classical bulk-boundary correspondence between 1) the observables of a Poisson Batalin-Vilkovisky (BV) theory on a
Exact triangles, Koszul duality, and coisotopic boundary conditions
We develop a theory of "arrowed" (operads and) dioperads, which are to exact triangles as dioperads are to vector spaces. A central example to this paper is the arrowed operad controlling "derived
We show Koszulness of the prop governing involutive Lie bialgebras and also of the props governing non-unital and unital-counital Frobenius algebras, solving a long-standing problem. This gives us
Explorer Shifted Coisotropic Correspondences
We define (iterated) coisotropic correspondences between derived Poisson stacks, and construct symmetric monoidal higher categories of derived Poisson stacks where the i-morphisms are given by i-fold
Abstract We define (iterated) coisotropic correspondences between derived Poisson stacks, and construct symmetric monoidal higher categories of derived Poisson stacks, where the $i$ -morphisms are
Tree- versus graph-level quasilocal Poincaré duality on $$S^{1}$$S1
Among its many corollaries, Poincaré duality implies that the de Rham cohomology of a compact oriented manifold is a commutative Frobenius algebra. Focusing on the case of $$S^1$$S1, this paper
In my research, I apply higher algebra to the study of quantum field theory, and I apply quantum field theory to the study of higher algebra — two areas that have a rich history of interaction
Derived algebraic geometry
This text is a survey of derived algebraic geometry. It covers a variety of general notions and results from the subject with a view on the recent developments at the interface with deformation
"A combinatorial universal $\star$-product" is incorrect
A very short note, explaining the error in the original paper, which renders its central result incorrect.
Lectures on AKSZ Sigma Models for Physicists
This is an introductory review of topological field theories (TFTs) called AKSZ sigma models. The AKSZ construction is a mathematical formulation for the construction and analyses of a large class of


Operads and Motives in Deformation Quantization
The algebraic world of associative algebras has many deep connections with the geometric world of two-dimensional surfaces. Recently, D. Tamarkin discovered that the operad of chains of the little
Curved Koszul duality theory
We extend the bar–cobar adjunction to operads and properads, not necessarily augmented. Due to the default of augmentation, the objects of the dual category are endowed with a curvature. As usual,
Formality of the Little N-Disks Operad
Introduction Notation, linear orders, weak partitions, and operads CDGA models for operads Real homotopy theory of semi-algebraic sets The Fulton-MacPherson operad The CDGAs of admissible diagrams
Shifted symplectic structures
This is the first of a series of papers about quantization in the context of derived algebraic geometry. In this first part, we introduce the notion of n-shifted symplectic structures (n-symplectic
Classical BV Theories on Manifolds with Boundary
In this paper we extend the classical BV framework to gauge theories on spacetime manifolds with boundary. In particular, we connect the BV construction in the bulk with the BFV construction on the
Homological Algebra for Superalgebras of Differentiable Functions
This is the second in a series of papers laying the foundations for a differential graded approach to derived differential geometry (and other geometries in characteristic zero). In this paper, we
Deformation theory of representations of prop(erad)s I
Abstract In this paper and its follow-up [Merkulov and Vallette, J. reine angew. Math.], we study the deformation theory of morphisms of properads and props thereby extending Quillen's deformation
The Geometry of the Master Equation and Topological Quantum Field Theory
In Batalin–Vilkovisky formalism, a classical mechanical system is specified by means of a solution to the classical master equation. Geometrically, such a solution can be considered as a QP-manifold,
Koszul Duality for Dioperads
We introduce the notion of a dioperad to describe certain operations with multiple inputs and multiple outputs. The framework of Koszul duality for operads is generalized to dioperads. We show that