Mathematicians are building a new conceptual scaffolding to classify the hidden structures that govern symmetry in algebra—a field called 2-representation theory, focused on objects known as Soergel bimodules. This matters because the existing theory only works for "fiat" 2-categories, which satisfy strict finiteness conditions. The Soergel bimodules are "wide fiat"—they break those constraints—and they generate triangulated 2-representations that cannot be built from simpler additive ones. Without a theory that handles these cases, mathematicians cannot fully describe the symmetries underlying quantum groups, Hecke algebras, and other central objects in modern algebra. If successful, the project will classify the additive simple 2-representations of Soergel bimodules and develop a triangulated 2-representation theory for wide fiat categories. This is fundamental, curiosity-driven mathematics. There is no immediate practical application. But similar abstract work on categorification has, over the past two decades, reshaped representation theory and led to new invariants for knots and links—tools that eventually feed into theoretical physics and quantum computing. A deeper understanding of these algebraic structures could, in time, provide the language for describing new symmetries in nature.
View original technical description
Categorification is the idea of taking a mathematical object and replacing it with a higher categorical one, that is, one with an extra layer of structure. This has led to major advances in representation theory, as well as many other areas, in the last 20 years, e.g. through the categorification of quantum groups and Hecke algebras. It is nowadays phrased as a 2-category acting on other categories via a 2-representation. This has inspired an abstract theory of 2-representations of so-called "fiat" 2-categories, modelled on the relevant examples. The project aims to advance the general subject of 2-representation theory, led by the example of categorified affine Hecke algebras, that is, 2-categories of affine Soergel bimodules. These satisfy less stringent finiteness conditions (only being "wide fiat") than those 2-categories previously studied. Moreover, they exhibit, for the first time, interesting triangulated 2-representations, which cannot be obtained as bounded homotopy categories of additive ones. The main objectives of the project are - to develop the 2-representation theory of wide fiat 2-representatons with the aim of classifying additive simple 2-representations of Soergel bimodules; - to develop a (pre-)triangulated 2-representation theory, led by the example of affine Soergel bimodules. Expected academic impacts include insights into certain categories of Lie algebra representations via the actions of so-called Gaitsgory central sheaves, categories of tilting objects for quantum groups as categorifications of antispherical modules, new invariants for links on an annulus, as well as applications of the theory to other wide fiat 2-categories, such as Heisenberg, affine partition or Deligne categories.
Plain English summaries and category classifications on this site are generated by AI and may not perfectly reflect the original research.
Is something wrong? Let us know