Mathematical physics

An approximate representation of a finitely-presented group is an assignment of unitary matrices to the generators, such that the defining relations are close to the identity in the normalized Hilbert-Schmidt norm. A group is said to be hyperlinear if every non-trivial element can be bounded away from the identity in approximate representations of the group. Determining whether all groups are hyperlinear is a major open problem, as a non-hyperlinear group would provide a counterexample to the famous Connes embedding problem.

Given the difficulty of the Connes embedding problem, it makes sense to look at an easier problem: how fast does the dimension of approximate representations grow (as a function of how close the defining relations are to the identity) when we require a given set of elements to be bounded away from the identity. These growth rates are called the hyperlinear profile of the group.

In this talk, I will explain our best lower bounds on hyperlinear profile, as well as the connection to entanglement requirements for non-local games (joint work with Thomas Vidick). Time permitting,  I will also mention some other approaches to looking for non-hyperlinear groups, including the recent work of De Chiffre, Glebsky, Lubotzky, and Thom on a group which is not approximable in the unnormalized Hilbert-Schmidt norm.

Recently, Roland van der Veen and myself found that there are sequences of solvable Lie algebras "converging" to any given semi-simple Lie algebra (such as sl(2) or sl(3) or E8). Certain computations are much easier in solvable Lie algebras; in particular, using solvable approximations we can compute in polynomial time certain projections (originally discussed by Rozansky) of the knot invariants arising from the Chern-Simons-Witten topological quantum field theory. This provides us with the first strong knot invariants that are computable for truly large knots.  But sl(2) and sl(3) and similar algebras occur in physics (and in mathematics) in many other places, beyond the Chern-Simons-Witten theory. Do solvable approximations have further applications?

This is a repeat of a talk I gave in McGill University in February, 2017. A video recording, a handout, and some further links are at McGill-1702

I will give a brief survey of the study of decomposable Specht modules for the symmetric group and its Hecke algebra, which includes results of Murphy, Dodge and Fayers, and myself. I will then report on an ongoing project with Louise Sutton, in which we are studying decomposable Specht modules for the Hecke algebra of type $B$ indexed by `bihooks’.

Let be a complex semisimple algebraic group of adjoint type and the wonderful compacti
cation. We show that the closure in \overline{G} of the centralizer of a regular nilpotent is isomorphic to the Peterson variety. We generalize this result to show that for any regular , the closure of the centralizer in is isomorphic to the closure of a general -orbit in the flag variety. We consider the family of all such centralizer closures, which is a partial compactication of the universal centralizer. We show that it has a natural log-symplectic Poisson structure that extends the usual symplectic structure on the universal centralizer.

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.