[論文レビュー] Semi-infinite highest weight categories

Jonathan Brundan, Catharina Stroppel|arXiv (Cornell University)|Aug 24, 2018

Advanced Algebra and Logic参考文献 86被引用数 12

ひとこと要約

本稿は、上に有限かつ下に有限な変種を含む半無限最高重みカテゴリの導入と公理的整備を行い、局所的にアートィニアンでない状況を含む古典的最高重みカテゴリ理論への拡張を図る。半無限リングエル双対性を用いて、これらのカテゴリの間の双対性を確立し、代数的特徴付けを提示する：任意の上に有限な最高重みカテゴリは、上に有限な基底付き準ヒーレディティ（quasi-hereditary）代数上の局所的に有限次元モジュールのカテゴリと同値である。

ABSTRACT

We develop axiomatics of highest weight categories and quasi-hereditary algebras in order to incorporate two semi-infinite situations which are in Ringel duality with each other; the underlying posets are either upper finite or lower finite. We also consider various more general sorts of stratified categories. In the upper finite cases, we give an alternative characterization of these categories in terms of based quasi-hereditary algebras and based stratified algebras, which are certain locally unital algebras possessing triangular bases.

研究の動機と目的

• 上に有限または下に有限な順序集合を持つ半無限設定における最高重みカテゴリの公理的枠組みを構築し、局所的にアートィニアンでない場合の古典的理論への拡張を図ること。
• 局所的に単位元を持つ代数に三角基底を備えたものにまで拡張された準ヒーレディティおよびストラティファイド代数の一般化を図り、非有限次元例の取り扱いを可能にすること。
• Z-次数や擬コンパクト性の仮定を一切用いずに、半無限リングエル双対性を用いて上に有限と下に有限な最高重みカテゴリの間の双対性を確立すること。
• 上に有限な最高重みカテゴリを、上に有限な基底付き準ヒーレディティ代数上のモジュールカテゴリとしての代数的特徴付けを提供すること。
• オブジェクト適応型セルカテゴリやタイプεのストラティファイド代数といった既存の概念を、一つの枠組みであるε-ストラティファイドカテゴリによって統一・一般化すること。

提案手法

• ストラティファイド代数のタイプεの概念をアーベルカテゴリへ拡張するε-ストラティファイドカテゴリの概念を導入し、一般枠組みを構築すること。
• 標準的およびコ標準的対象のインデックス集合における順序集合の有限性条件に基づき、上に有限および下に有限な最高重みカテゴリを定義すること。
• 有限次元コモジュール（下に有限）と局所的に有限次元モジュール（上に有限）を用いて、Z-次数の仮定を避けた半無限リングエル双対性の構成を行うこと。
• [AST]の構成を用いて、ティルティング対象の自己準同型代数の三角基底を構成し、それがオブジェクト適応型セル基底を導くことを示すこと。
• 上に有限な最高重みカテゴリが、上に有限な基底付き準ヒーレディティ代数上の局所的に有限次元モジュールのカテゴリと同値であることを特徴付けすること。
• 表現論の例に理論を適用し、再帰的代数やリー超代数（例：osp_{m|2n}やq_n(C)）の表現のカテゴリを含む。

実験結果

リサーチクエスチョン

• RQ1 標準的対象の順序集合が上にも下にも有限でない場合、古典的最高重みカテゴリ理論を非局所的にアートィニアンな状況へどのように拡張できるか。
• RQ2 半無限設定におけるリングエル双対性の正しい定式化は何か、Z-次数や擬コンパクト性に依存せずにどのように確立できるか。
• RQ3 上に有限な最高重みカテゴリを、三角基底を持つ局所的に単位元を持つ代数のクラスによって代数的に特徴付けられるか。
• RQ4 半無限双対性の文脈において、基底付き準ヒーレディティ代数とオブジェクト適応型セルカテゴリの関係は何か。
• RQ5 既存の例（例えばリー超代数のカテゴリOや再帰的代数の表現）が、この新しい公理的枠組みにどの程度適合するか。

主な発見

• 上に有限な最高重みカテゴリは、上に有限な基底付き準ヒーレディティ代数上の局所的に有限次元モジュールのカテゴリと同値であり、完全な代数的特徉付けが得られる。
• 半無限リングエル双対性により、下に有限と上に有限な最高重みカテゴリの間の双対性が確立され、古典的リングエル双対性が局所的にアートィニアンでない状況へ一般化される。
• ε-ストラティファイドカテゴリの理論により、ストラティファイド代数のタイプεやオブジェクト適応型セルカテゴリといったさまざまな最高重みカテゴリの一般化が統一される。
• [AST]の構成によるティルティング対象の自己準同型代数の基底の構成は、オブジェクト適応型セル基底を導き、エリスらによる以前の研究に暗黙に含まれていた予想を裏付ける。
• Z-次数や擬コンパクト性といった制限的仮定を避けたため、再帰的代数Gの非半単純なRep(G)といった重要な例へも適用可能である。
• リー超代数の例（例：osp_{3|2}(C) や q_n(C)）が、この新しい枠組みに自然に適合することが示され、q_n(C)の整数ブロックがファイバー化最高重みカテゴリとして特定される。