[論文レビュー] Highest weight sl_2-categorifications II: structure theory

Ivan Losev|arXiv (Cornell University)|Mar 25, 2012

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

ひとこと要約

本稿は、偏順序集合に階層構造を導入することで、最高重み $σλ_2$-カテゴライゼーションの定義を精緻化し、任意の such カテゴライゼーションが、基本的最高重み $σλ_2$-カテゴライゼーションを商として持つフィルトレーションを有することを証明する。基本的カテゴライゼーションにおける標準的対象の最小射影的分解を確立し、これを用いてティルティング対象とリンゲル双対性をリチャード複体を用いて記述する。さらに、これらの結果を巡回的ラショニク・チェレドニク代数に応用する。

ABSTRACT

This paper continues the study of highest weight categorical sl_2-actions started in part I. We start by refining the definition given there and showing that all examples considered in part I are also highest weight categorifications in the refined sense. Then we prove that any highest weight sl_2-categorification can be filtered in such a way that the successive quotients are so called basic highest weight sl_2-categorifications. For a basic highest weight categorification we determine minimal projective resolutions of standard objects. We use this, in particular, to examine the structure of tilting objects in basic categorifications and to show that the Ringel duality is given by the Rickard complex. We finish by discussing open problems.

研究の動機と目的

• 偏順序集合への階層構造の組み込みにより、最高重み $σλ_2$-カテゴライゼーションの定義を精緻化し、標準的対象および順序構造との整合性を保証すること。
• 任意の最高重み $σλ_2$-カテゴライゼーションが、連続する商が基本的最高重み $σλ_2$-カテゴライゼーションであるフィルトレーションを有することを示すこと。
• 基本的カテゴライゼーションにおける標準的対象の最小射影的分解を特定し、ティルティング対象およびリンゲル双対性の構造的解析を可能とすること。
• 巡回的ラショニク・チェレドニク代数のカテゴリ $Ω$ にこれらの構造的結果を応用し、特に $Ω(ρεζαιγερεδερεδ)$ を計算し、ブロック構造を分析すること。
• 以降の発展、特にテンソル積カテゴライゼーションの一意性定理およびヴァラゴノロ＝ヴァッセロート予想（フォック空間カテゴライゼーションに関する）の証明との関連を確立すること。

提案手法

• 偏順序集合に階層構造を導入し、$σλ_2$-カテゴリー的作用と最高重み構造との整合性を精緻化する。
• カテゴリ $Χ$ に対するフィルトレーション $0 ⊂ Χ_{\leq 0} ⊂ Χ_{\leq 1} ⊂ \cdots = Χ$ を構成し、各商 $Χ_{\leq i}/Χ_{\leq i-1}$ が基本的最高重み $σλ_2$-カテゴライゼーションであることを示す。
• $q$-進分割におけるボックス移動アルゴリズムを用いて、残留類と重みを解析し、特定の条件下でアルゴリズムが循環しないことを証明する。
• 基本的カテゴライゼーションにおける標準的対象の最小射影的分解を、$EL(t)$ 複体の構造を用いて導出する。
• リチャード複体を用いてリンゲル双対性を実現し、双対カテゴライゼーションが双対関手によるリチャード複体の像として与えられることを示す。
• 巡回的ラショニク・チェレドニク代数に結果を応用し、$Ω(Δ(ρεζαιγερεδερεδ))$ を計算し、階層構造を用いてブロック分解を分析する。

実験結果

リサーチクエスチョン

• RQ1 最高重み $σλ_2$-カテゴライゼーションの定義は、階層構造を用いて、標準的対象および偏順序集合の順序構造との整合性を満たすように精緻化可能か？
• RQ2 任意の最高重み $σλ_2$-カテゴライゼーションは、連続する商が基本的最高重み $σλ_2$-カテゴライゼーションであるフィルトレーションを有するか？
• RQ3 基本的最高重み $σλ_2$-カテゴライゼーションにおける標準的対象の最小射影的分解は何か？
• RQ4 リンゲル双対性はこの文脈でどのように現れるのか？また、リチャード複体によって実現されるか？
• RQ5 発展した枠組みを用いて、巡回的ラショニク・チェレドニク代数のカテゴリ $Ω$ に対してどのような構造的洞察が得られるか？

主な発見

• 任意の最高重み $σλ_2$-カテゴライゼーションは、連続する商が基本的最高重み $σλ_2$-カテゴライゼーションであるフィルトレーションを有する。これはチュアンとルーカーの結果を一般化する。
• 基本的カテゴライゼーションにおける標準的対象の最小射影的分解が明示的に記述され、その分解構造は論文内の例と一致する。
• 命題6.9で、$E\Delta(\lambda)$ のヘッドが完全に特定されている。これは特殊な場合における以前の結果を一般化する。
• 基本的カテゴライゼーションにおけるティルティング対象は、標準的対象の射影的分解から導かれる特定の構造を持つことが示された。
• リンゲル双対性はリチャード複体によって実現され、双対性がバイモジュール複体としてのカテゴリカル実現を持つ。
• 結果は巡回的ラショニク・チェレドニク代数に応用され、$Ω(\Delta(\operatorname{refl}), \Delta(\operatorname{triv}))$ が計算され、階層構造を用いてブロックが分析された。