School of Mathematics

We construct an explicit isomorphism between certain truncations of quiver Hecke algebras and Elias-Williamson's diagrammatic endomorphism algebras of Bott-Samelson bimodules. As a corollary, we deduce that the decomposition numbers of these...

Let X and Y be normed spaces. In functional analysis, a ``theorem on factorization through L2'' refers to the following type of statement: 

Every bounded linear operator A mapping X to Y (i.e. sup_x ||A(x)||_Y/||x||_X infinity), can be written...

The Picard group of the stable module category of a finite group plays a role in many parts of modular representation theory. It was calculated when the group is an abelian p-group, by pioneering work of Dade in the 1970's, and a classification for...

We explain an equivalence of categories between a module category of quiver Hecke algebras associated with the Kronecker quiver and a category of equivariant perverse coherent sheaves on the nilpotent cone of type A. This provides a link between two...

The geometric Satake equivalence establishes a link between two categories: the category of spherical perverse sheaves on the affine Grassmannian and the category of representations of the Langlands dual group. It has found many important...

In the theory of turbulence, a famous conjecture of Onsager asserts that the threshold Hölder regularity for the total kinetic energy conservation of (spatially periodic) Euler flows is 1/3. In particular, there are Hölder continuous Euler flows...

There are two categorical realizations of the affine Hecke algebra: constructible sheaves on the affine flag variety and coherent sheaves on the Langlands dual Steinberg variety. A fundamental problem in geometric representation theory is to relate...

The theta correspondence of Roger Howe gives a way to connect representations of different classical groups. We aim to geometrize the theta correspondence for groups over finite fields in the spirit of Lusztig's character sheaves. Given a reductive...

Indistinguishability obfuscation, introduced by [Barak et. al. Crypto’2001], aims to compile programs into unintelligible ones while preserving functionality. It is a fascinating and powerful object that has been shown to enable a host of new...

Let X be a compact symplectic manifold, and D a normal crossings symplectic divisor in X. We give a criterion under which the quantum cohomology of X is the cohomology of a natural deformation of the symplectic cochain complex of X \ D. The...