[論文レビュー] Transitive 2-representations of finitary 2-categories

Volodymyr Mazorchuk, Vanessa Miemietz|arXiv (Cornell University)|Apr 30, 2014

Algebraic structures and combinatorial models参考文献 18被引用数 12

ひとこと要約

本稿は、有限的2カテゴリーの単純的トランスティティブ2表現を定義・分類し、古典的表現論における既約表現の2カテゴリカルな類似を確立する。弱いジョルダン・ホルダー定理を証明し、ソルゲル・ビモジュール、2-カク・ムーディ代数の商、自己自己的代数上の射影的関手を含む広範な2カテゴリーのクラスにおいて、単純的トランスティティブ2表現がちょうどセル2表現に一致することを示し、有限次元単純リー代数の単純的可解モジュールのカテゴライゼーションの一意性を裏付ける。

ABSTRACT

In this article, we define and study the class of simple transitive $2$-representations of finitary $2$-categories. We prove a weak version of the classical Jordan-Hölder Theorem where the weak composition subquotients are given by simple transitive $2$-representations. For a large class of finitary $2$-categories we prove that simple transitive $2$-representations are exhausted by cell $2$-representations. Finally, we show that this large class contains finitary quotients of $2$-Kac-Moody algebras.

研究の動機と目的

• 古典的表現論における既約表現の2カテゴリカルな類似として、単純的トランスティティブ2表現を定義・研究すること。
• 有限的2表現に対して弱いジョルダン・ホルダー定理を確立し、単純的トランスティティブ2表現が弱い合成の商として現れることを示すこと。
• ソルゲル・ビモジュールや2-カク・ムーディ代数を含む広範な有限的2カテゴリーのクラスについて、単純的トランスティティブ2表現を分類すること。
• このクラスにおいて、単純的トランスティティブ2表現がセル2表現に一致することを証明し、有限次元単純リー代数の単純的可解モジュールのカテゴライゼーションの一意性を確立すること。

提案手法

• 1-自己準同型のマルチモノイドの離散的トランスティティブ作用を通じて、トランスティティブ2表現の概念を導入する。
• 2表現における単純性を、2作用に関して不変な非自明なカテゴリカルなイデアルが存在しないこととして定義する。
• 分類問題を、有限次元自己自己的代数の加群カテゴリ上の射影的関手の2カテゴリーに還元する。
• 非負行列に関するペロン＝フロベニウスの定理を用いて、射影的関手2カテゴリー内の双モジュールの自己準同型代数を分析する。
• 一般の有限的2表現に対して、トランスティティブな部分商を持つフィルトレーションを構成し、弱いジョルダン・ホルダー構造を導く。
• 1-自己準同型の行列表現を分析し、矛盾を用いて代替的配置を除外することで、セル2表現が単純的トランスティティブであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 有限次元代数における既約表現の2カテゴリカルな類似として、単純的トランスティティブ2表現は適切な対応であるか？
• RQ2 有限的2表現に対して、単純的トランスティティブ2表現が部分商として現れる弱いジョルダン・ホルダー定理を確立できるか？
• RQ3 ソルゲル・ビモジュールや2-カク・ムーディ代数から生じる有限的2カテゴリーにおいて、単純的トランスティティブ2表現はセル2表現によって完全に尽くされるか？
• RQ4 単純的トランスティティブ2表現の分類は、有限次元単純リー代数の単純的可解モジュールのカテゴライゼーションの一意性を示唆するか？

主な発見

• 2-カク・ムーディ代数やタイプAのソルゲル・ビモジュールを含む広範な有限的2カテゴリーのクラスにおいて、単純的トランスティティブ2表現はセル2表現に分類される。
• 弱いジョルダン・ホルダー定理が成立する：任意の有限的2表現は、部分商がトランスティティブであるようなフィルトレーションを持つことができ、単純的トランスティティブなものは弱い合成の商として現れる。
• 有限次元自己自己的代数上の射影的関手の2カテゴリーの場合は、自己準同型代数を表す非負行列にペロン＝フロベニウスの定理を適用することで分類が成立する。
• 単純的トランスティティブ2表現における1-自己準同型の行列表現は、[[1,1],[1,1]]や[[2,0],[0,0]]といった特定の形に制限され、さらに合成関係からさらなる制約が生じる。
• 生成子の代替的行列形を仮定すると矛盾が生じるため、考察されたケースではセル2表現のみが単純的トランスティティブになり得る。
• この結果により、有限次元単純リー代数の単純的可解モジュールのカテゴライゼーションが、この枠組みの中で一意的であることが示唆される。