[論文レビュー] 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-Moody2カテゴリに関する先行結果を一般化し、この設定における構造的分類を提供する。

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表現として、同型的2表現の概念を導入する。
• 2セルに関連する2ファンクターに沿ったインフレーションを、2表現の上に持ち上げる構成として定義する。
• $χ$-単純な弱ファイアット2カテゴリにおける強い正則性および随伴性の性質を用いて、1-自己準同型が単純対象に作用する様子を分析する。
• 組合せ論的結果（例えば、命題1）を活用し、以前の定理における数値的仮定を除去することで、より強い分類結果を得る。
• まず、自己同型的代数上の射影的関手の2カテゴリについて主結果を確立し、その後双同値性を用いて一般の場合に帰着する。
• 理論を応用して、有限型およびファイアット2カテゴリの新しい例を構成し、主定理の適用可能性を検証する。

実験結果

リサーチクエスチョン

• RQ1 $χ$-単純なファイアット2カテゴリの同型的2表現が、セル2表現のインフレーションと同値となる条件は何か？
• RQ2 インフレーション構成は、2表現における弱ジョルダン・ホルダー系列の構造とどのように関係するか？
• RQ3 忠実性および$χ$-単純性の下で、単純なトランジスティヴ2表現の分類結果を同型的2表現へ拡張できるか？
• RQ4 2セルの強い正則性が、セル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]における意味で強く単純である。
• 同じ2セル$\mathcal{J}$に属する右セルに関連するすべてのセル2表現は同値である。
• すべての2セルが強く正則であるとき、任意の単純なトランジスティヴ2表現はセル2表現と同値であり、[MM5, 定理8]を一般化する。