[論文レビュー] Cuspidal systems for affine Khovanov-Lauda-Rouquier algebras

Alexander Kleshchev|arXiv (Cornell University)|Oct 24, 2012

Algebraic structures and combinatorial models参考文献 21被引用数 5

ひとこと要約

本稿は、アフィンKhovanov-Lauda-Rouquier代数のカスピタル系を構築し、標準的モジュールをカスピタルモジュールのインダクション積として定義し、虚的型までにわたる既約モジュールを分類する。カスピタルモジュールがカテゴライゼーションの下で双対ルートベクトルに対応することを示し、単三角行列を証明し、最小的虚モジュールを特徴づけ、虚的シューア＝ウェイドリー双対性およびモジュラー表現理論への一般化の基盤を築く。

ABSTRACT

A cuspidal system for an affine Khovanov-Lauda-Rouquier algerba $R_\al$ yields a theory of standard modules. This allows us to classify the irreducible modules over $R_\al$ up to the so-called imaginary modules. We make a conjecture on reductions modulo $p$ of irreducible $R_\al$-modules, which generalizes James Conjecture. We also describe minuscule imaginary modules, laying the groundwork for future study of imaginary Schur-Weyl duality. We introduce colored imaginary tensor spaces and reduce a classification of imaginary modules to one color. We study the characters of cuspidal modules. We show that under the Khovanov-Lauda-Rouquier categorification, cuspidal modules correspond to dual root vectors.

研究の動機と目的

• 有限型からアフィン型への標準的モジュールおよびカスピタル系の理論を拡張すること。
• アフィンKLR代数の既約表現を虚モジュールまでに分類すること。
• pを法とする還元に関するジェイムズの予想を一般化し、既約KLRモジュールのモジュラー還元に関する予想を提示すること。
• 最小的虚モジュールを記述し、色付き虚テンソル空間を導入して分類問題を1色に還元すること。
• カスピタルモジュールの特性式を確立し、Khovanov-Laudaカテゴライゼーションを介して双対ルートベクトルと関連づけること。

提案手法

• グレーディングシフトを伴うカスピタルモジュールLβの反復インダクション積として標準的モジュールΔ(π)を構成する。
• 正ルートに含まれる実ルートおよび虚ルートを含む凸順序を用いて、ルート系に全順序を定義する。
• 極端な重みとKashiwara作用素の作用を用いて、既約成分を特定し、グレーディング乗数を計算する。
• グロテンディーク群と形式的特性式技術を用いて、q変形および交代和を含む特性式を導出する。
• 双対性とインダクションを用いて、カスピタルモジュールのインダクション冪が既約であり、合成系列を計算することを証明する。
• 自己双対性と重みの極端性を活用して、標準的モジュールのサドルとヘッドを同定する。

実験結果

リサーチクエスチョン

• RQ1 アフィンKLR代数に対して、虚的型までにわたる既約モジュールを分類するカスピタル系をどのように構築できるか？
• RQ2 カスピタルモジュールは、Khovanov-Lauda代数による双対自己的基底のカテゴライゼーションにおいて、どのように機能するか？
• RQ3 カスピタルモジュールの特性式は、インダクション積およびグレーディング乗数の構造とどのように関係するか？
• RQ4 最小的虚モジュールの構造は何か？また、色付き虚テンソル空間を用いてどのように記述できるか？
• RQ5 既約KLRモジュールのpを法とする還元はどのように振る舞い、アフィン型においてジェイムズの予想はどのように一般化されるか？

主な発見

• 標準的モジュールΔ(π)のヘッドは既約でありL(π)に同型であり、ルート分割の辞書式順序の下で分解行列([Δ(π):L(σ)])は単三角行列である。
• 実ルートに対するカスピタルモジュールLβは、すべてのn > 0に対してLβ∘nが既約であることを満たし、有限型の性質を一般化する。
• α = nδ + αiのとき、Lαの形式的特性式はchqLα = 1/(qi − qi⁻¹) × [ (chqLβ)∘(chqLδ,i) − (chqLδ,i)∘(chqLβ) ]を満たし、β = (n−1)δ + αiである。
• α = nδ + αiのとき、重みi^{n}はLαにおいて極端であり、α = nδ − αiのとき、i^{[n]}はLαにおいて極端である。
• α = nδ − αiのとき、Lαの特性式はchqLα = 1/(qi − qi⁻¹) × Σ_{m=0}^{n} (−1)^{n−m} (chqLδ,i)∘m ∘ chqLδ−αi ∘ (chqLδ,i)∘(n−m)を満たす。
• Δ(β,δ(i)) = Lβ∘Lδ,iのサドルはLα⟨(αi,αi)/2⟩に同型であり、ヘッドはL(β,δ(i))である。これは長さ2の合成系列を示している。