Mathematical Physics

In this talk, I'd like to explain how quantum integrability and (q-deformed) W-algebraic structure arise from the moduli space of quiver gauge theory. It'll be also shown that our construction gives rise to a new family of W-algebras. 

Quiver varieties, as introduced by Nakaijma, play a key role in representation theory. They give a very large class of symplectic singularities and, in many cases, their symplectic resolutions too. However, there seems to be no general criterion in the literature for when a quiver variety admits a symplectic resolution. In this talk, I will give necessary and sufficient conditions for a quiver variety to admit a symplectic resolution. This result builds upon work of Crawley–Boevey and of Kaledin, Lehn and Sorger. The talk is based on joint work with T. Schedler.

I'll discuss an ongoing project of mine with Dinakar Muthiah and Oded Yacobi, which is based on ideas of Kreiman-Lakshmibai-Magyar-Weyman.  It is aimed at developing a "nice" standard monomial theory for the affine Grassmannian in type A, where "nice" means hopefully close in spirit to Hodge's classical standard monomial theory for finite dimensional Grassmannians.

Factorization spaces (introduced by Beilinson and Drinfeld as "factorization monoids") are non-linear analogues of factorization algebras. They can be constructed using algebro-geometric methods, and can be linearised to produce examples of factorization algebras, whose properties can be studied using the geometry of the underlying spaces. In this talk, we will recall the definition of a factorization space, and introduce the notion of a module over a factorization space, which is a non-linear analogue of a module over a factorization algebra. As an example and an application, we will introduce a moduli space of principal G-bundles with parabolic structures, and discuss how it can be linearised to recover modules of the factorization algebra associated to the affine Lie algebra corresponding to a reductive algebraic group G.

This is based on my joint work with Yaping Yang. In this talk, we use the equivariant elliptic cohomology theory to study the elliptic quantum groups.  We define a sheafified elliptic quantum group for any symmetric Kac-Moody Lie algebra. This definition is naturally obtained using the cohomological Hall algebra associated to the equivariant elliptic cohomology. After taking suitable rational sections, the sheafified elliptic quantum group becomes a quantum algebra consisting of the elliptic Drinfeld currents. The Drinfeld currents satisfy the relations of the elliptic quantum group studied by Felder and Gautam-Toledano Laredo. We show the elliptic quantum group acts on the equivariant elliptic cohomology of Nakajima quiver varieties.

In particular, the sheafified elliptic quantum group is an algebra object in a certain monoidal category of sheaves on the colored Hilbert scheme of an elliptic curve. This monoidal structure is related to Mirkovic’s refinement of the factorization structure on semi-infinite affine Grassmannian over an elliptic curve. If time permits, I will also talk about a work in progress, joint with Mirkovic and Yang, towards a construction of a double loop Grassmannian and vertex representations of the toroidal algebra, which in turn is related to representations of the elliptic quantum groups

We explain how a doubled version of the Beilinson-Bernstein localization functor can be understood using the geometry of the wonderful compactification of a group. Specifically, bimodules for the Lie algebra give rise to monodromic D-modules on the horocycle space, and to filtered D-modules on the group that respect a certain matrix coefficients filtration. These two categories of D-modules are related via an associated graded construction in a way compatible with localization, Verdier specialization, and additional structures. This is joint work with David Ben-Zvi and David Nadler. 

In my talk, I will briefly review the representation theoretical construction of conformal blocks attached to an affine Kac-Moody algebra and a smooth algebraic curve with marked points. I will focus on the case when the algebraic curve is an elliptic curve. The bundle of conformal blocks carries a canonical flat connection: the Knizhnik-Zamolodchikov-Bernard (KZB) equation. There are various generalizations of the KZB equation. I will talk about one generalization that constructed by myself and Toledano Laredo recently: the elliptic Casimir connection. It is a holonomic system of differential equations with regular singularities on elliptic curve with marked points, taking values in a deformation of the double current algebra g[u, v] defined by Guay. The monodromy of elliptic Casimir connection leads to interesting representations of the elliptic braid groups. 

By the non-abelian Hodge theory of Carlos Simpson, harmonic bundles
interpolate between  bundles with connections on a curve and
 Higgs bundes (precise formulations requires some additional data like parabolic structure and stability structure).

I will explain the framework for a generalization of the non-abelian Hodge theory
which unifies Simpson's story ("rational case") with those  for q-difference
equations ("trigonometric case") and elliptic difference equations
("elliptic case").

This unification leads to a class of examples of the new notion of ``twistor families of categories".
In the rational,trigonometric and elliptic cases twistor families of categories  involve partially wrapped Fukaya categories of certain complex symplectic surfaces, categories of
holonomic modules over quantizations of these surfaces and categories of coherent sheaves on the surfaces
with certain restrictions on the support.

In the trigonometric and elliptic cases doubly and triply periodic monopoles give an alternative description of harmonic objects, hence playing the same role
as harmonic bundles play in the case of Simpson theory.

Atiyah and Segal's axiomatic approach to topological and conformal quantum field theories provided a beautiful link between the geometry of "spacetimes" (cobordisms) and algebraic structures. Combining this with the physical notion of "locality" led to the introduction of the language of higher categories into the topic.
Natural targets for extended topological field theories are higher Morita categories: generalizations of the bicategory of algebras, bimodules, and homomorphisms.

After giving an introduction to topological field theories, I will explain how one can use geometric arguments to obtain results on dualizablity in a ``factorization version’’ of the Morita category and using this, examples of low-dimensional field theories “relative” to their observables. An example will be given by polynomial differential operators, i.e. the Weyl algebra, in positive characteristic and its center. This is joint work with Owen Gwilliam.

A great deal of progress has been made toward a classification of bosonic topological orders whose microscopic constituents are bosons. Much less is known about the classification of their fermionic counterparts. In this talk I will describe a systematic way of producing fermionic topological orders using the technique of fermion condensation. Roughly, this can be understood as binding a physical fermion to an emergent fermion and condensing the pair. I will discuss the `super pivotal categories' that describe universal properties of these phases and use them to construct exactly solvable string-net models. These string-net models feature conventional anyons and two flavours of vortices. I will show that one of the vortex types is similar to a vortex in a p+ip superconductor binding a Majorana zero mode, and will mention some possible applications.

In this talk first I will introduce and motivate the problem of finding finite energy Yang-Mills instantons on curved backgrounds.  

After the historical introduction, I will focus the example of the Euclidean Schwarzschild (ES) manifold from Quantum gravity. The ES manifold was first introduced by Hawking in the late 70's. It is an asymptotically locally flat solution of the Euclidean Einstein equation, but not hyper-Kahler, which makes instanton theory harder. Throughout the past four decades, related results have been sporadic: there have been only finitely many (at most 2) known solutions for each energy value.

In our work, making use of an old idea of Witten, and subsequently Taubes and Garcia-Prada, we produce infinitely many unit energy solutions, and also solutions of continuously varying energy, a feature (seemingly) unique to asymptotically locally flat spaces. These instantons describe vortex-like pseudoparticles; at the end of the talk I will present an intuitive picture in terms of planar (Ginzburg-Landau) vortices.

This is joint work with Gonçalo Oliveira (IMPA).