[論文レビュー] Some homological properties of category O. IV

Kevin Coulembier, Volodymyr Mazorchuk|arXiv (Cornell University)|Sep 15, 2015

Algebraic structures and combinatorial models被引用数 4

ひとこと要約

この論文は、BGGカテゴリカル・オーのパラボリック特異的ブロックにおける構造的モジュール——標準的、コ標準的、単純的、インジェクティブ、プロジェクト型、ティルティングモジュールなど——の射影次元およびグレード付き長さに対して明示的な公式を確立する。ワイル群の長さ関数ℓとルシュティグのa関数を用いて、これらの不変量を2つの主要な関数sλおよびdλで表現し、カテゴリカル・オーのブロックが常に弱くギュイシャルデットでないことを証明する。これは表現論における未解決問題に答えを提示する。

ABSTRACT

We study projective dimension and graded length of structural modules in parabolic-singular blocks of the BGG category O. Some of these are calculated explicitly, others are expressed in terms of two functions. We also obtain several partial results and estimates for these two functions and relate them to monotonicity properties for quasi-hereditary algebras. The results are then applied to study blocks of O in the context of Guichardet categories, in particular, we show that blocks of O are not always weakly Guichardet.

研究の動機と目的

• パラボリック特異的ブロックにおけるBGGカテゴリカル・オーのすべての構造的モジュールの射影次元およびグレード付き長さを特定すること。
• 主ブロック𝒪₀の結果を任意のパラボリック特異的ブロックへ一般化すること。
• これらの不変量と準ヒーレドリック代数における単調性の性質との関係を調査すること。
• カテゴリカル・オーのブロックが弱くギュイシャルデットかどうかという問題に取り組むこと、特にギュイシャルデットカテゴリの文脈において。
• 得られた結果を、リー超代数の表現論における未解決問題およびカテゴリカル・オーのブロックへの応用に適用すること。

提案手法

• 著者らは、x ∈ Xλに対して、sλ(x) = pd𝒪λ L(x·λ) および dλ(x) = pd𝒪λ Δ(x·λ) を定義し、特異的ブロックにおける単純モジュールおよび標準モジュールを添え字づける。
• すべての射影次元およびグレード付き長さを、sλ、dλ、ℓ（長さ関数）、a（ルシュティグのa関数）を用いて、パラボリック特異的ブロック𝒪μλにおいて表現する。
• カジダン＝ルシュティグの組合せ論を用い、特に最長元w₀およびパラボリックワイル群w₀μの作用を含む。
• Koszul双対性およびカテゴリカル・オーにおけるグレード付き構造に関する先行研究の結果を応用し、グレード付き長さを計算する。
• Serre部分カテゴリおよびブロック分解の理論を用いて、特に同一の中心的文字を持つ重みの集合[λ]を介して、非分解的ブロックを分析する。
• リー超代数表現論からの技術、特に奇数反転および制限ファンクターを用いて、インジェクティブモジュールとその射影次元を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 パラボリック特異的ブロックにおけるカテゴリカル・オーのすべての構造的モジュールの射影次元およびグレード付き長さは何か？
• RQ2 タイプAを越えて、公式sλ(x) ≥ a(w₀x) + a(w₀w₀λ) は成り立つか？
• RQ3 Wλが最大のコクセター部分群であるようなすべての整数的ドミナント重みλに対して、等式sλ(x) = a(w₀x) + a(w₀w₀λ) は成立するか？
• RQ4 固定された右セルR̂に対して、ブロック𝒪₀^R̂のフィニスティック次元は何か？ また、このようなブロックにおけるインジェクティブモジュールは有限射影次元を持つのか？
• RQ5 定理57の図式における含意が逆に成り立つか：S₁(μ,λ) は C₁(μ,λ) を含意するか？

主な発見

• モジュールL(x·λ)の射影次元はsλ(x) − 2ℓ(w₀μ) であり、グレード付き長さは0である。
• モジュールΔμ(x·λ)の射影次元はdλ(x) であり、グレード付き長さはℓ(w₀) − ℓ(x) + ℓ(w₀μ) − dλ(x) である。
• インジェクティブモジュールI(x·λ)の射影次元は2a(w₀x) であり、グレード付き長さはℓ(w₀) + ℓ(x) である。
• ティルティングモジュールT(x·λ)の射影次元はa(x) であり、グレード付き長さは2ℓ(w₀) − 2ℓ(x) である。
• 任意のブロック𝒪[λ]のフィニスティック次元は2ℓ(w₀)で上から有界であり、ブロックに一般重みを含む場合、2ℓ(w₀)に等しい。
• この論文は、カテゴリカル・オーのブロックが常に弱くギュイシャルデットでないことを証明し、[Fu, Ga]における未解決問題に答えを提示する。これは特定のフィニスティック次元条件の不成立に起因する。