[論文レビュー] The classification of blocks in BGG category O

Kevin Coulembier|arXiv (Cornell University)|Mar 7, 2019

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

ひとこと要約

この論文は、再帰的リーリー代数のBGGカテゴリ 𝒪におけるブロック間の同型を、2つのブロックがそのパラボリック商がブリュア順序の下で部分順序集合として同型であるときかつそのときに限り同型であることを示すことによって分類する。主な結果は、ブリュア順序がブロック同型類を完全に決定することを示しており、ソルゲルの定理を一般化し、たとえば 𝒪(A_{2n+1},A_{2n}) ≅ 𝒪(B_{n+1},B_n) のような、異なるリー型のブロック間にまれな同型が存在することを明らかにする。

ABSTRACT

We classify all equivalences between the indecomposable abelian categories which appear as blocks in BGG category O for reductive Lie algebras. Our classification implies that a block in category O only depends on the Bruhat order of the relevant parabolic quotient of the Weyl group. As part of the proof, we observe that any finite dimensional algebra with simple preserving duality admits at most one quasi-hereditary structure.

研究の動機と目的

• 再帰的リーリー代数のBGGカテゴリ 𝒪に現れる、非分解的アーベルカテゴリ同士のすべての同型を分類すること。
• ソルゲルの定理がコクセター群の同型に限る範囲を超えて、カテゴリ 𝒪内の2つのブロックがいつ同型であるかを特定すること。
• パラボリック商上のブリュア順序が、ブロック同型を完全に分類することを示すこと、非自明な場合にも適用可能である。
• 単純保持双対性を備えた任意の有限次元代数が、高々1つの準特徴的構造を持つことを示す、重要な技術的道具の確立。
• ブリュア順序からコクセター対 (W, W') を再構成し、ブロック同型を分類すること。

提案手法

• 標準的および余標準的対象の一意性を用いて、単純保持双対性を備えた任意の有限次元代数が、高々1つの準特徴的構造を持つことを証明する。
• BGG定理を用いて、カテゴリ 𝒪内のブロックにおける最高重量構造の不変量としてのブリュア順序を示す。
• 組合せ論的および順序集合論的技法を用いて、パラボリック商 W/W' 上のブリュア順序からコクセター群およびパラボリック部分群 (W, W') を再構成する。
• 有限ワイル群のパラボリック商のブリュア順序同型をすべて分類し、特に既約型に焦点を当てる。
• ブリュア順序同型の分類を応用し、既知の同型および双対性の結果を用いて、カテゴリ 𝒪内のどのブロックが同型であるかを特定する。
• ワイル群を既約成分に分解することにより、分類を既約ケースに還元し、テンソル積の同型を用いる。

実験結果

リサーチクエスチョン

• RQ1 カテゴリ 𝒪内の2つのブロックは、いつアーベルカテゴリとして同型であるか？
• RQ2 パラボリック商上のブリュア順序は、カテゴリ 𝒪内のブロック構造をどの程度決定するか？
• RQ3 コクセター群の同型によって誘導されない、異なるリー型のブロック間の非自明な同型は存在するか？
• RQ4 有限ワイル群に対して、W/W' 上のブリュア順序から対 (W, W') を再構成できるか？
• RQ5 既約な有限ワイル群に対して、カテゴリ 𝒪内のブロック間の非自明な同型の完全なリストは何か？

主な発見

• 2つのブロック 𝒪(W, W') と 𝒪(U, U') が同型であるための必要十分条件は、部分順序集合としての (W/W', ≤_B) と (U/U', ≤_B) が同型であることである。
• ブロック同型の分類は、すべての有限ワイル群のパラボリック商上のブリュア順序同型の分類に還元される。
• 非自明な同型は特定のケースにのみ存在する：n ≥ 2 のとき 𝒪(A_{2n+1}, A_{2n}) ≅ 𝒪(B_{n+1}, B_n)、n ≥ 3 のとき 𝒪(B_n, A_{n-1}) ≅ 𝒪(D_{n+1}, A_n)、𝒪(A_3, A_2) ≅ 𝒪(B_2, A_1)、および 𝒪(A_5, A_4) ≅ 𝒪(G_2, A_1) ≅ 𝒪(B_3, B_2)。
• 最大特異ブロック 𝒪(W, W) は、任意のワイル群 W に対してベクトル空間のカテゴリに同型であり、自明ではあるが普遍的な例である。
• 単純保持双対性を備えた代数における準特徴的構造の一意性が確立され、これは任意のブロック間同型が最高重量構造を保存しなければならないことを示唆する。
• 既約ワイル群に対しては、ブロック同型はそのブリュア順序付きパラボリック商の同型にちょうど一致し、このような同型は極めてまれであり、完全に分類されている。