Higher representation theory

Lead Research Organisation: University of East Anglia
Department Name: Mathematics


It is a common occurrence in mathematics that in order to understand a given thing, we add extra structure to it - seemingly making it more complicated, but in fact making it easier to obtain insight on it. An analogy would be ordering things in the real world. The thought of all possible words in a language seems quite overwhelming, but ordering them lexicographically and writing them in a dictionary, we have an easy way to obtain information about any given one, despite seemingly having complicated things by imposing extra structure (knowing when a word comes before another). In mathematical terms, we have turned words into a category.

Categories are commonly studied through their representations, meaning actions on things that are more easily accessible, not unlike books written in a certain language: Not all of the language will be visible in a given book, but the more books we read, the better we know the language. For certain important categories called algebras, there is a very well-developed theory of such representations.

In recent years, it has been found that in order to study questions about categories, it is often useful to add even more structure to obtain 2-categories, e.g. the "category of all categories". The study of examples of representations of such 2-categories has led to some exciting breakthroughs on long-standing problems in pure mathematics. Our project is to extend the theory of representations of algebras to representations of 2-categories with analogous properties to those of algebras, with the goal of providing a structured framework for the examples that have been observed, hence facilitating future use of these successful concepts.

Planned Impact

As with most pure mathematics proposals, the impact of this proposal will first and foremost be academic, namely in related mathematical disciplines. As described under Acandemic Beneficiaries, these areas include algebraic and geometric representation theory, topology, in particular knot theory, quantum field theories, and number theory.
The strong impact of higher representation theory in various branches of mathematics has led to considerable international research efforts and this project will be instrumental in maintaining the health of UK research in this extremely active area.

Since we aim to disseminate our research by uploading it on arxiv.org immediately after completion, as well as publishing it in leading peer-reviewed journals and speaking about it in seminars and at conferences, and since our results will be directly applicable to many situations where 2-representations appear, we expect the impact of our research to happen within a few years in the closer surroundings (algebraic and geometric representation theory), and maybe slightly later further afield in areas like number theory, where there seems to be promise of higher representations providing insight, but where these routes have not been as throroughly investigated.


10 25 50
publication icon
Mazorchuk V (2016) Endomorphisms of Cell 2-Representations in International Mathematics Research Notices

publication icon
Mazorchuk V (2016) Morita theory for finitary 2-categories in Quantum Topology

publication icon
Miemietz V (2019) Affine quiver Schur algebras and p-adic $${\textit{GL}}_n$$ GL n in Selecta Mathematica

publication icon
Mazorchuk V (2015) Transitive $2$-representations of finitary $2$-categories in Transactions of the American Mathematical Society

Description We have classified simple transitive 2-representations for large classes of finitary 2-categories, containing most examples studied in nature, shown that using these we obtain an analogue of the clasical Jordan-Hoelder Theorem and that their endomorphism rings satisfy a natural analogue of the endomorphism rings of simple representations in classical representation theory. We have furthermore developed a Morita theory for finitary 2-categories. We have started investigating 2-representations with more than one simple transitive subquotient.
Exploitation Route There will be applications to examples that many people are interested in, e.g. 2-Kac-Moody algebras, Soergel bimodules in type A, and more.
Sectors Other

URL http://arxiv.org/find/all/1/all:+miemietz/0/1/0/all/0/1
Description 10th Anniversary HIMR Focused Research Grants
Amount £6,000 (GBP)
Organisation Heilbronn Institute for Mathematical Research 
Sector Academic/University
Country United Kingdom
Start 01/2016 
End 02/2016
Description LMS Scheme 5 International Travel grant
Amount £1,790 (GBP)
Organisation London Mathematical Society 
Sector Academic/University
Country United Kingdom
Start 04/2016 
End 04/2016
Description Scheme 4 Travel Grant
Amount £1,200 (GBP)
Funding ID 41657 
Organisation London Mathematical Society 
Sector Academic/University
Country United Kingdom
Start 07/2017 
End 07/2017