Deformation Quantization of Shifted Poisson Structures

I will describe a functorial construction of the free BV-quantization of chain complexes equipped with antisymmetric forms of degree 1 in the context of infinity-categories. This is joint work with Owen Gwilliam.

Formal loop spaces are algebraic analogs to smooth loops. They were introduced and studied extensively in the 2000' by Kapranov and Vasserot for their link to chiral algebras. In this talk, we will introduced higher dimensional analogs of K. and V. formal loop spaces. We will show how derived methods allow such a definition. We will then study their tangent complexes: even though formal loop spaces are "of infinite dimension", their tangent has enough structure so that we can speak of symplectic forms on them.

One of the key constructions in the PTVV theory of shifted symplectic structures is the construction, via transgression, of a shifted symplectic structure on the derived mapping stack from an oriented manifold to a shifted symplectic stack vastly generalizing the AKSZ construction (which was formulated in the context of super manifolds). I will explain local-to-global approach to this construction, which also generalizes the construction to shifted Poisson structures and shows that the AKSZ/PTVV construction is compatible with quantization in a strong sense. One pleasant consequence is that every deformation quantization problem reduces to a version of BV-quantization. Time permitting, I will describe several geometric applications of the theory.

I will define coisotropic structures in the setting of shifted Poisson geometry in two ways and show their equivalence. The interplay between the definitions allows one to produce nontrivial statements. I will also describe some examples of coisotropic structures. This is a report on joint work with V. Melani.

I will present a 'categorical' way of doing analytic geometry in which analytic geometry is seen as a precise analogue of algebraic geometry. Our approach works for both complex analytic geometry and p-adic analytic geometry in a uniform way. I will focus on the idea of an 'open set' as used in various geometrical theories and how it is characterized categorically. In order to do this, we need to study algebras and their modules in the category of Banach spaces. The categorical characterization that we need uses homological algebra in these 'quasi-abelian' categories which is work of Schneiders and Prosmans. In fact, we work with the larger category of Ind-Banach spaces for reasons I will explain. This gives us a way to establish foundations of derived analytic geometry (my joint project with Kobi Kremnizer). We compare this approach with standard standard notions such as the theory of affinoid algebras, Grosse-Klonne's theory of dagger algebras (over-convergent functions), the theory of Stein domains and others. I will formulate derived analytic geometry following the relative algebraic geometry approach of Toen, Vaquie and Vezzosi. This talk involves various joint work with Federico Bambozzi and Kobi Kremnizer.