Mathematical Physics

I will talk about compact hyperkahler manifolds, which generalize the famous K3 surface to the higher dimensions. Given a compact simple hyperkahler manifold $M$, I will describe how the structure of cohomology algebra H*(M) is related with the so(b_2+2) Lie algebra action and the second cohomology group. I will explain how this is applied to the generalization of Kuga-Satake construction which allows us to assign for K3-type Hodge structure a Hodge structure of weight one (i.e. complex torus).

The category of coherent sheaves on an interesting variety X has an extremely annoying property: does not have enough projectives, so it cannot be equivalent to the category of modules over an algebra. However, if you pass to the derived category, this defect can be fixed in many interesting cases, by finding a tilting generator: that is, a vector bundle T such that any coherent sheaf can be resolved by a complex consisting of sums of copies of T, and Ext^i(T,T)=0 for all i>0. If A=End(T), then we obtain an equivalence of derived categories between finitely generated A-modules and Coh(X). This provides a bridge between representation theory and algebraic geometry. This bridge was largely built for us by Bezrukavnikov and Kaledin, but they did not make it very easy for the rest of us to cross it; in particular, while both ends of the bridge are in characteristic 0, the middle is in characteristic p. I’ll talk about how recent input from work in 3d field theory by Braverman, Finkelberg and Nakajima allows us in certain cases to reroute this bridge and avoid characteristic p, while getting a more concrete understanding of the algebra A on the other side.

I will discuss joint work with Roman Bezrukavnikov on a categorical version of Hikita duality, which relates coherent sheaves on a symplectic resolution to constructible sheaves on the loop space of the dual resolution. I will focus on a basic case, where this can be made very explicit, and finish with some wild speculation on further generalisations.

I will discuss a theorem, joint work in progress with Constantin Teleman, in which we characterize which topological 3-dimensional Chern-Simons theories admit nonzero boundary theories.  Accepting some physical heuristics, it tells which gapped systems in 2+1 dimensions admit only gapless boundary systems.

I will discuss recent developments in describing the chiral algebras associated to 4d N=2 theories introduced by Beem et al. in terms of Omega backgrounds, and give a description of the class S chiral algebras following this perspective, in terms of boundary conditions, interfaces, and junctions in 4d N=4 SYM.

Then, I will present work in progress on a general TFT-type procedure for calculating the factorization algebras describing 2d CFTs which arise as compactifications of such configurations. I will show that this method correctly computes the class S chiral algebras, matching the construction of Arakawa, and discuss potential applications to computing the vertex algebras associated to toric divisors in toric CY3s, following Gaiotto-Rapcak.

 In the 90s Turaev, Viro, Barrett and Westbury constructed a (2+1)D state sum TQFT associated to any fusion category. The associated phases of matter were popularized by Kiteav, Levin and Wen and are now central  examples in condensed matter physics and quantum information theory.

Despite the importance of these phases, many of the computational techniques for working with fusion categories have not percolated into condensed matter physics. Many of these techniques are "folk theorems"
and have not appeared in the literature in a digestible form.

Jacob Bridgeman and myself have spent the last two years extracting these computational techniques from Corey Jones, and have been using them to understand defects in Levin-Wen phases. Our papers 1806.01279,
1810.09469, 1901.08069, 1907.06692 document the development of our understanding, and demonstrate how to do physically relevant fusion category computations.

In 2012, Maulik proved a conjecture of Oblomkov-Shende relating: (1) the Hilbert schemes of a plane curve (alternatively, its compactified Jacobian), (2) the HOMFLY polynomials of the links of its singularities. We recast his theorem from the viewpoint of representation theory. For a split semisimple group G with Weyl group W, we state a stronger conjecture relating two virtual modules over Lusztig's graded affine Hecke algebra,  constructed from: (1) fibers of a parabolic Hitchin map, (2) generalized Bott-Samelson spaces attached to conjugacy classes in the braid group of W. In arbitrary type, we can establish an infinite family of cases where it holds. Time permitting, we'll indicate how the new conjecture relates to P = W phenomena in nonabelian Hodge theory.

Strominger-Yau-Zaslow explained mirror symmetry via duality between tori.  There have been a lot of recent developments in the SYZ program, focusing on the non-equivariant setting.  In this talk, I explain an equivariant construction and apply it to toric Calabi-Yau manifolds.  It has a close relation to the equivariant open GW invariants found by Aganagic-Klemm-Vafa and studied by Katz-Liu, Graber-Zaslow and many others.

In 1997, Kontsevich gave a universal solution to the "deformation quantization" problem in mathematical physics: starting from any Poisson manifold (the classical phase space), it produces a  noncommutative algebra of quantum observables by deforming the ordinary multiplication of functions.  His formula is a Feynma  expansion, involving an infinite sum over graphs, weighted by volume integrals on the moduli space of marked holomorphic disks. The precise values of these integrals are currently unknown.  I will describe recent joint work with Banks and Panzer, in which we develop a theory of integration on these moduli spaces via suitable sheaves of polylogarithms, and use it to prove that Kontsevich's integrals evaluate to integer-linear combinations of special transcendental constants called multiple zeta values, yielding the first algorithm for their calculation.

Let G be a split semi-simple algebraic group over Q. We introduce a natural cluster structure on moduli spaces of G-local systems over surfaces with marked points. As a consequence, the moduli spaces of G-local systems admit natural Poisson structures, and can be further quantized. We will study the principal series representations of such quantum spaces. It will recover many classical topics, such as the q-deformed Toda systems, quantum groups, as well as the modular functor conjecture for such representations, which should lead to new quantum invariants of threefolds. This talk will mainly be based on joint work with A.B. Goncharov.

In the context of geometric quantisation, one starts with the data of a symplectic manifold together with a pre-quantum line bundle, and obtains a quantum Hilbert space by means of the auxiliary structure of a polarisation, i.e. typically a Lagrangian foliation or a Kähler structure. One common and widely studied problem is that of quantising Hamiltonian flows which do not preserve it. In the simple case of Kähler quantisation of a symplectic vector space, one may consider the space of all Kähler structures, and organise the corresponding Hilbert spaces to form an infinite-rank vector bundle on it, so the quantisation of symplectic transformations may be understood in terms of their action on this bundle.
In this talk I shall consider a variation of this construction for the case of a hyper-Kähler vector space V, in which case the symplectic form and the pre-quantum line bundle are allowed to change together with the complex structure. In a joint work with Andersen and Rembado, we construct a bundle of Hilbert spaces on the sphere of Kähler structures, on which a flat connection is naturally defined. The group of isometries of V which preserve this sphere globally also acts on the bundle, and the construction determines a quantisation of this group. Time permitting, I shall discuss our main application of this construction—the quantisation of the circle action on the moduli space of reductive Higgs bundles over an elliptic curve.

This is practice for a talk at Berkeley, so it will involve explaining stuff many people here probably already know.  I'll try to summarize what I've learned about 3 dimensional N=4 supersymmetric quantum field theories, their twists and how these manifest in terms of interesting objects in mathematics.  If nothing else, hopefully there will be some comedy value in my attempt.