[論文レビュー] Indecomposable manipulations with simple modules in category O

Kevin Coulembier, Volodymyr Mazorchuk+1 more|arXiv (Cornell University)|Sep 2, 2017

Algebraic structures and combinatorial models参考文献 18被引用数 4

ひとこと要約

この論文は、𝔰𝔩ₙのBGGカテゴリー𝒪の主ブロックにおける単純加群の平行移動の分解不能性を調査し、n ≤ 6の範囲で予想1を確認する。ホモロジー的技法、高次表現論、カテゴリー𝒪の構造的フィルトレーションを用いて、これらのケースではθₓL(y)が分解不能またはゼロであることを確立する。n=6の明示的計算は、カジダン＝ルシュツァー多項式とケース・バイ・ケースの解析に依存する。

ABSTRACT

We study the problem of indecomposability of translations of simple modules in the principal block of BGG category $\mathcal{O}$ for $\mathfrak{sl}_n$, as conjectured in \cite{KiM}. We describe some general techniques and prove a few general results which may be applied to study various special cases of this problem. We apply our results to verify indecomposability for $n\leq 6$. We also study the problem of indecomposability of shufflings and twistings of simple modules and obtain some partial results.

研究の動機と目的

• カテゴリー𝒪の主ブロックにおける平行移動θₓL(y)が常に分解不能またはゼロであるという予想1を検証すること。
• カテゴリー𝒪における分解不能性問題に適用可能な一般のホモロジー的および高次表現論的技法を開発すること。
• カテゴリー𝒪における単純加群のシャッフルおよびトゥイストの分解不能性に関する関連問題を調査すること。
• パラボリック部分群によってインデックスづけられたセール部分カテゴリーによるフィルトレーションを通じて、カテゴリー𝒪の構造的性質を確立すること。
• 特殊ケースと再帰的構造を通じて、予想1の一般ケースを理解する基盤を提供すること。

提案手法

• θₓL(y)の自己準同型代数とねじれた射影的加群のそれらを比較するホモロジー的手法の使用。
• ブルハット順序による帰納法を用いて、カテゴリー𝒪における平行移動関手の構造を分析すること。
• ソルゲル・ビモジュールの2カテゴリおよびウェイル群の2表現を介した高次表現論の応用。
• 左および右のパラボリック部分群の剰余類を用いた𝒪₀のフィルトレーションの構成により、より小さい型のカテゴリー𝒪に同値な部分商が得られること。
• コシュール双対性とトゥイスト関手の作用を活用し、CₓL(y)を双対パラボリックヴェルマ加群と関連付けること。
• カジダン＝ルシュツァー多項式と既知の表を用いたn=6の明示的ケース・バイ・ケース計算。

実験結果

リサーチクエスチョン

• RQ1 𝔰𝔩ₙのカテゴリー𝒪の主ブロックにおける単純加群L(y)に平行移動関手θₓを適用した場合、常に分解不能またはゼロであるか？
• RQ2 θₓL(y)の自己準同型代数は、カテゴリー𝒪内の他の分解不能加群のそれらとどのように関係しているか？
• RQ3 パラボリック部分群および関連するフィルトレーションを通じて、カテゴリー𝒪の構造を再帰的に分析できるか？
• RQ4 カテゴリー𝒪における単純加群のシャッフルおよびトゥイストの間にはどのような関係があり、それらは分解不能であるか？
• RQ5 固定されたxおよびyに対して、nが変化する際、θₓL(y)の性質はどの程度安定化するか？

主な発見

• n ≤ 6の範囲で、𝔰𝔩ₙのウェイル群Wのすべてのx, yに対して予想1が、一般的手法と明示的ケース解析により成立することが確認された。
• n=6の場合、一般的手法を適用した後、5つの例外ケースが残り、カジダン＝ルシュツァー多項式を用いた詳細な計算が必要となった。
• カテゴリー𝒪₀は、パラボリック部分群によってインデックスづけられたセール部分カテゴリーによるフィルトレーションを有し、部分商はより小さい型のカテゴリー𝒪に同値である。
• トゥイスト関手Cₓの作用は左剰余類フィルトレーションと整合的である一方、射影的関手は右剰余類フィルトレーションと整合的である。
• y = w₀ᵖw₀のとき、CₓL(y)は非ゼロであり、単純なサドル（socle）L(w₀ᵖw₀x）を持つことが、コシュール双対性およびソルゲル関手の性質により示された。
• 単純加群のシャッフルの分解不能性は、トゥイストのそれと同値であり、多くの場合、両者とも分解不能またはゼロである。これはより広範な予想を支持する。