[論文レビュー] Analogues of centralizer subalgebras for fiat 2-categories and their 2-representations

Marco Mackaay, Volodymyr Mazorchuk+2 more|arXiv (Cornell University)|Feb 6, 2018

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

ひとこと要約

本稿は、固定された頂点 J を持つファイアット 2-圏 C の単純的トランスティーブ 2-表現の同値類と、J 内の対角 H-細胞に関連する関連するファイアット 2-部分商圏のそれらの間の全単射を確立し、高次表現理論における中心化代数類似物の一般化を行う。主な貢献は、B₃ および B₄ 型の Soergel 2-バイモジュールの 2-表現の分類を簡略化・完成する構造的分類ツールの提供である。

ABSTRACT

The main result of this paper establishes a bijection between the set of equivalence classes of simple transitive $2$-representations with a fixed apex $\mathcal{J}$ of a fiat $2$-category $\cC$ and the set of equivalence classes of faithful simple transitive $2$-representations of the fiat $2$-subquotient of $\cC$ associated with a diagonal $\mathcal{H}$-cell in $\mathcal{J}$. As an application, we classify simple transitive $2$-representations of various categories of Soergel bimodules, in particular, completing the classification in types $B_3$ and $B_4$.

研究の動機と目的

• ファイアット 2-圏の文脈において、中心化代数の概念を高次表現理論へ一般化すること。
• ファイアット 2-圏とその特定の 2-部分商圏の間の構造的対応を確立すること。
• 有限コクセター型における Soergel 2-バイモジュールの単純的トランスティーブ 2-表現の分類を進め、特に B₃ および B₄ 型での分類を完了すること。
• 2-圏的類似物としての中心化構成を用いて、先行研究の分類結果を拡張すること。

提案手法

• ファイタリー 2-圏の 2-表現の枠組みを用い、[MM1–MM6] および [MMZ1, MMMT] の技術を適用する。
• 2-圏のアーベル化における (co)代数的 1-自己準同型の理論を適用し、高次表現理論における一般化された誘導関手の欠如を回避する。
• [MMZ1, MMMT] の手法を用い、2-自然変換と変形を用いて 2-圏とその部分商圏の 2-表現を関連付ける。
• 特定の非分解的 1-自己準同型の加法的包ととして構成された 2-部分圏 A を、eAe の 2-圏的類似物として同定する。
• 2-セルの両側セル内の対角 H-セルの概念を用いて、関連する部分商 2-圏を定義する。
• 主な全単射定理を適用し、より大きな 2-圏における分類問題を、より単純な部分商圏における問題に還元することで、体系的な分類を可能にする。

実験結果

リサーチクエスチョン

• RQ1 ファイアット 2-圏の文脈において、2-圏的類似物としての中心化代数を定義できるか？
• RQ2 ファイアット 2-圏とその特定の 2-部分商圏の単純的トランスティーブ 2-表現の間には構造的対応が存在するか？
• RQ3 B₃ および B₄ 型における Soergel 2-バイモジュールの単純的トランスティーブ 2-表現の分類は、どのようにして完了できるか？
• RQ4 2-表現の間の全単射が、有限コクセター型における既存の分類結果の簡略化または拡張に利用できるか？
• RQ5 対角 H-セルは、ファイアット 2-圏における 2-表現の構造をどのように組織化するか？

主な発見

• 固定された頂点 J を持つファイアット 2-圏 C の単純的トランスティーブ 2-表現の同値類と、J 内の対角 H-セルに関連するファイアット 2-部分商圏のそれらの間の全単射が確立された。
• Soergel 2-バイモジュールの B₃ および B₄ 型における単純的トランスティーブ 2-表現の分類が完了され、先行研究を拡張した。
• 本手法により、より大きな 2-圏における分類問題が、より小さい・より取り扱いやすい部分商圏における問題に体系的に還元可能となった。
• 本手法は、古典的中心化代数構成を 2-圏的文脈へ成功裏に一般化し、高次表現理論における新たな構造的ツールを提供した。
• I₂(n) 型における偶数 n > 4 の場合に非セル 2-表現の存在が確認され、以前の結果と整合的である。
• 本フレームワークは、[MaMa] や [KMMZ] における先行分類を簡略化・拡張し、特に異なるコクセター型にわたる 2-表現の取り扱いを統一的にした。