Mathematical Physics

Topological factorization homology is an invariant of manifolds which enjoys a hybrid of the structures in topological field theory, and in singular homology.  These invariants are especially interesting when we restrict attention to the factorization homology of surfaces, with coefficients in braided tensor categories.  In this talk, I would like to explain a technique, related to Beck monadicity, which allows us to compute these abstractly defined categories, as modules for explicitly computable, and in many cases well-known, algebras.

 

The algebras produced in this way for the annulus and punctured torus are the so-called ``reflection equation algebra" and "quantum differential equation algebra", respectively.  When we close up punctures, a variation on the our formalism naturally reproduces the framework of quantum Hamiltonian reduction, and leads to simultaneous deformations of categories D(g/G) of character sheaves on g, on the one hand, and categories QC(Ch_G(T^2)), of quasi-coherent sheaves on the character variety of T^2, on the other.  We call these deformations "quantum character varieties", and they form the two-dimensional part of a four dimensional TFT related to Kapustin-Witten's geometric Langlands TFT, or "topologically twisted N=4 SYM".

We'll explain the slogan of the title: a cluster variety is a space associated to a quiver, and which is built out of algebraic tori.

They appear in a variety of contexts in geometry, representation theory, and physics. We reinterpret the definition as: from a quiver (and some additional choices) one builds an exact symplectic 4-manifold from which the cluster variety is recovered as a component in its moduli space of Lagrangian branes. In particular, structures from cluster algebra govern the classification of exact Lagrangian surfaces in Weinstein 4-manifolds.

This is joint work with Vivek Shende and David Treumann.

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.

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.

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.

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.

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.

In this talk, we'll discuss what it means to be a cohomology theory for topological stacks, using a notion of local symmetric monoidal inversion of objects in families. While the general setup is abstract, it specializes to many cases of interest, including Schwede's global spectra. We will then go on to discuss various examples with particular emphasis on elliptic cohomology. It turns out that TMF sees more objects as dualizable (or even invertible) than one might naively expect.

In this talk we will review various point-of-views on classical Chern-Simons theory and moduli of flat connections. We will explain how derived symplectic geomletry (after Pantev-Toën-Vaquié-Vezzosi) somehow reconciles all of these. If time permits, we will discuss a bit the quantization problem.

Thanks to a result of Arinkin and Cāldāru, the derived self-intersection of a closed smooth subscheme of an ambiant scheme (over a field of characteristic zero) is a formal object if and only if the conormal bundle of the subscheme extends to a locally free sheaf at the first order. In this talk, we will explain a program as well as new results in order to describe these derived self-intersections in the non-formal case.

We give a definition of relative Calabi-Yau structure on a dg functor f: A --> B, discussing a examples coming from algebraic geometry, homotopy theory, and representation theory. When A=0, this returns the usual definition of Calabi-Yau structure on a smooth dg category B. When A itself is endowed with a Calabi-Yau structure and relative Calabi-Yau structure on f is compatible with the absolute structure on A, then we sketch the construction of a shifted symplectic structure on the derived moduli space M_A of pseudo-perfect A-modules, as well as the construction of a Lagrangian structure on the induced map f* : M_B --> M_A of derived moduli. This is joint work with Tobias Dyckerhoff.