Data
- Title: Finitary birepresentations of finitary bicategories
- Authors: Marco Mackaay, Volodymyr Mazorchuk, Vanessa Miemietz, Daniel Tubbenhauer and Xiaoting Zhang
- Status: Forum Math. 33 (2021), no. 5, 1261-1320. Last update: Fri, 24 Sep 2021 02:40:37 EST
- ArXiv link: https://arxiv.org/abs/2008.01658
- ArXiv version = 0.99 published version
- LaTex Beamer presentation: Slides1, Slides2, Slides3, Slides4, Slides5, Slides6, Slides7
Abstract
In this paper, we discuss the generalization of finitary 2-representation theory of finitary 2-categories to finitary birepresentation theory of finitary bicategories. In previous papers on the subject, the classification of simple transitive 2-representations of a given 2-category was reduced to that for certain subquotients. These reduction results were all formulated as bijections between equivalence classes of 2-representations. In this paper, we generalize them to biequivalences between certain 2-categories of birepresentations. Furthermore, we prove an analog of the double centralizer theorem in finitary birepresentation theory.
A few extra words
Finitary 2-representation theory of finitary 2-categories, which is the categorical analog
of finite dimensional representation theory of finite dimensional algebras.
The main reason for restricting the framework to 2-representations of 2-categories,
was to avoid technical difficulties which naturally arise when one considers
birepresentations of bicategories in general: by weakening the axioms, the proofs of most results require more and bigger diagrams, whose commutativity is not always easy to show.
However, in the recent preprint MMMTZ on the 2-representation theory of Soergel bimodules of finite Coxeter type,
it became clear that the 2-categorical setup is really too restrictive.
The main purpose of this paper is therefore to discuss the generalization of some important
foundational results on finitary 2-representation theory to finitary birepresentation theory. By discussing, we mean formulating those results carefully
in the greatest possible generality (or at least as generally as we currently can) and proving them in detail whenever the proof
is not straightforward and cannot be found in the literature.
A lot of the results in this paper will not surprise the experts, but we think that it is important to have the statements and their
proofs, which sometimes involve quite complicated diagrams, in written form somewhere in the
literature.
An example of what changes in this bicategorical setup compared to the 2-categorical one is
As a bonus, we prove a strong version of the \(\mathcal{H}\)-reduction theorem as well as a version of the double centralizer theorem in our context, both of which are new.