Mathematical Physics

Factorization algebras provide a flexible language for describing the observables of a perturbative QFT, as shown in joint work with Kevin Costello. In joint work with Eugene Rabinovich and Brian Williams, we extend those constructions to a manifold with boundary for a special class of theories that includes, as an example, a perturbative version of the correspondence between chiral U(1) currents on a Riemann surface and abelian Chern-Simons theory on a bulk 3-manifold. Given time, I'll sketch a systematic higher dimensional version for higher abelian CS theory on an oriented smooth manifold of dimension 4n+3 with boundary a complex manifold of complex dimension 2n+1. (This talk will be very informal.)

Absolute Gromov-Witten theory is known to have many nice structural properties, such as quantum cohomology, WDVV equation, Givental's formalism, mirror theorem, CohFT etc.. In this talk, I will explain how to obtain parallel structures for relative Gromov-Witten theory via the relation between relative and orbifold Gromov-Witten invariants. This is based on joint works with Honglu Fan, Hsian-Hua Tseng and Longting Wu. 

Bergman's Diamond Lemma for ring theory gives an algorithm to produce a (non-canonical) basis for a ring presented by generators and relations. After demonstrating this algorithm in concrete, geometrically-minded examples, I'll turn to preprojective algebras and their multiplicative counterparts. Using the Diamond Lemma, I'll reprove a few classical results for preprojective algebras. Then I'll propose a conjectural basis for multiplicative preprojective algebras. Finally I'll explain why the set is a basis in the case of multiplicative preprojective algebras for quivers containing a cycle, the subject of joint work with Travis Schedler.

In this talk I will present a construction of relative Bridgeland stability conditions that appeared in my work on stability of topological Fukaya categories of surfaces. This construction gives a local-to-global tool for constructing stability conditions. I will explain what technical features of such Fukaya categories render this construction useful in their context, and time allowing discuss the challenges involved in applying these ideas to other contexts such as Bridgeland-Smith type stability conditions and topological Fukaya categories with coefficients.

A recent construction of HOMFLY-PT knot homology by Oblomkov-Rozansky has its physical origin in “B-twisted” 3D N=4 gauge theory, with adjoint and fundamental matter. Mathematically, the construction uses certain categories of matrix factorization. We apply 3D Mirror Symmetry to identify an A-twisted mirror of this construction. In the case of algebraic knots, we find that knot homology on the A side gets expressed as cohomology of affine Springer fibers (related but not identical to work if Gorsky-Oblomkov-Rasmussen-Shende). More generally, we propose a Fukaya-Seidel category mirror to the Oblomkov-Rozansky matrix factorization. Joint work with N Garner, J Hilburn, A Oblomkov, and L Rozansky.

There is a close relationship between derived loop spaces, a geometric object, and Hochschild homology, a categorical invariant, made possible by derived algebraic geometry, thus allowing for both intuitive insights and new computational tools.  In the case of a quotient stack, we discuss a "Jordan decomposition" of loops which is made precise by an equivariant localization result.  We also discuss an Atiyah-Segal completion theorem which relates completed periodic cyclic homology to Betti cohomology.

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.