[论文解读] Isotypic faithful $2$-representations of $\mathcal{J}$-simple fiat $2$-categories

Volodymyr Mazorchuk, Vanessa Miemietz|arXiv (Cornell University)|Aug 26, 2014

Algebraic structures and combinatorial models参考文献 15被引用 8

一句话总结

本文引入了有限性2-范畴的同型2-表示，并在$χ$-单性和忠实性条件下证明了每个此类2-表示都同构于一个胞腔2-表示的上拉。关键结果表明，$χ$-单的拟费特2-范畴的同型、忠实2-表示均可通过一种典范的上拉过程从胞腔2-表示中得到，这推广了关于Kac-Moody 2-范畴的早期结果，并在此设定下提供了结构性分类。

ABSTRACT

We introduce the class of isotypic $2$-representations for finitary $2$-categories and the notion of inflation of $2$-representations. Under some natural assumptions we show that isotypic $2$-representations are equivalent to inflations of cell $2$-representations.

研究动机与目标

• 在有限性和拟费特2-范畴的背景下对同型2-表示进行分类，扩展至简单过渡2-表示之外的范畴。
• 引入并研究上拉构造，作为一种系统性地从胞腔2-表示构建更复杂2-表示的方法。
• 在$χ$-单性和忠实性条件下，建立所有同型2-表示均源于胞腔2-表示上拉的结论。
• 利用同型结构将先前关于简单过渡2-表示的分类结果推广至更广泛的2-表示类别。

提出的方法

• 引入同型2-表示的概念，定义为仅含一个简单过渡弱Jordan-Hölder子商等价类的2-表示。
• 将2-表示的上拉定义为沿与双侧胞腔相关的2-函子提升2-表示的构造。
• 利用$χ$-单的弱拟费特2-范畴中的强正则性和伴随性质，分析1-态射对简单对象的作用。
• 利用组合结果（例如命题1）去除早期定理中的数值假设，从而获得更强的分类结果。
• 通过首先建立在自对偶代数上的投影函子2-范畴的情形，再通过双等价性推导出一般情形，证明主要结果。
• 将理论应用于构造有限性和拟费特2-范畴的新例子，验证主要定理的适用性。

实验结果

研究问题

• RQ1 在何种条件下，$χ$-单的拟费特2-范畴的同型2-表示同构于胞腔2-表示的上拉？
• RQ2 上拉构造如何与2-表示中弱Jordan-Hölder序列的结构相关联？
• RQ3 在忠实性和$χ$-单性条件下，能否将简单过渡2-表示的分类推广至同型2-表示？
• RQ4 双侧胞腔的强正则性在确保胞腔2-表示的上拉能捕捉所有同型2-表示中起什么作用？
• RQ5 这些结果在多大程度上推广了2-Kac-Moody代数背景下的已知分类结果？

主要发现

• 每个$χ$-单的拟费特2-范畴的同型、忠实2-表示都同构于一个胞腔2-表示的上拉。
• 上拉构造提供了一种完整且典范的方式，从胞腔2-表示生成所有此类同型2-表示。
• 在2-Kac-Moody代数的有限商的特殊情形下，结果恢复了[Ro2, 第4.3.4节]中的结论。
• 对于$\mathcal{J}$中的任意左胞腔$\mathcal{L}$，胞腔2-表示$Øσ_{\mathcal{L}}$在[MM1, 第6.2节]的意义下是强简单的。
• 与同一双侧胞腔$\mathcal{J}$中所有右胞腔相关的所有胞腔2-表示彼此同构。
• 当所有双侧胞腔均为强正则时，每个简单过渡2-表示都同构于一个胞腔2-表示，推广了[MM5, 定理8]。