[論文レビュー] Dualities and derived equivalences for category O

Kevin Coulembier, Volodymyr Mazorchuk|arXiv (Cornell University)|Jun 29, 2015

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

ひとこと要約

本稿は、再帰的リ Lie 代数の放物型カテゴリ 𝒪 のすべてのブロックのリングエル双対を決定し、個々のブロックが必ずしもリングエル自己双対的ではない（元のカテゴリ 𝒪 とは対照的）ものの、放物型カテゴリ 𝒪 全体としては依然としてリングエル自己双対的であることを示している。一般化されたリングエル双対関手を用いて、ブロック間の可解的導来同値を確立し、ウェイリ群の分解と安定化部分群を用いて、タイプ A におけるこのような同値を分類している。

ABSTRACT

We determine the Ringel duals for all blocks in the parabolic versions of the BGG category O associated to a reductive finite dimensional Lie algebra. In particular we find that, contrary to the original category O and the specific previously known cases in the parabolic setting, the blocks are not necessarily Ringel self-dual. However, the parabolic category O as a whole is still Ringel self-dual. Furthermore, we use generalisations of the Ringel duality functor to obtain large classes of derived equivalences between blocks in parabolic and original category O. It seems that only some special cases were known thus far, where the proof relied purely on a geometric approach to category O. We subsequently classify all derived equivalence classes of blocks of category O in type A which preserve the Koszul grading.

研究の動機と目的

• 再帰的リ Lie 代数の放物型カテゴリ 𝒪 のすべてのブロックのリングエル双対を特定すること。
• 元のカテゴリ 𝒪 とは対照的に、放物型カテゴリ 𝒪 の個々のブロックがリングエル自己双対的であるかどうかという長年の未解決問題を解明すること。
• 一般化されたリングエル双対関手を用いて、放物型カテゴリ 𝒪 および元のカテゴリ 𝒪 における導来同値の体系的枠組みを確立すること。
• キゾルグレーディングを保つタイプ A カテゴリ 𝒪 のブロック間の可解的導来同値類を分類すること。
• グレーディング付き設定におけるリングエル双対性とキゾルグレーディングの比較を行い、可解的導来同値を誘導するのはリングエル双対性のみであることを示すこと。

提案手法

• 著者たちは、リングエル双対関手を用いて放物型カテゴリ 𝒪 のブロックの双対を計算し、各ブロックが同じ放物型カテゴリ内の別のブロックと双対であることを示している。
• 彼らは、リングエル双対関手の一般化を適用して、ブロックの有界導来カテゴリ間の三角的同値を構成している。
• タイプ A における導来同値の分類は、ウェイリ群を非可約成分の積に分解し、ドット作用下での安定化部分群を比較することで行われる。
• 著者たちはキゾルグレーディング関手を用いて導来同値を比較しているが、未グレーディングの文脈では可解的導来同値に持ち上がらないことを示している。
• 彼らは、ブルハット順序と双対性の性質を用いて、ブロックの Ext^1-クワイアを分析し、特定のブロックが自己双対的でないことを示している。
• 特に 𝔰𝔩(4) における明示的計算を用いて、ブロックがリングエル自己双対的でない反例を構成している。

実験結果

リサーチクエスチョン

• RQ1 放物型カテゴリ 𝒪 の個々のブロックは、元のカテゴリ 𝒪 のようにリングエル自己双対的か？
• RQ2 リングエル双対性は、放物型カテゴリ 𝒪 のグレーディング付き設定において、導来同値を誘導するように一般化可能か？
• RQ3 キゾルグレーディングを保つタイプ A カテゴリ 𝒪 のブロック間の可解的導来同値類を分類する条件は何か？
• RQ4 グレーディング付きカテゴリにおいて、リングエル双対性とキゾルグレーディングの両方が導来同値を誘導する点で、どのように比較できるか？
• RQ5 ウェイリ群の分解と放物型カテゴリ 𝒪 のブロックの導来同値類の間には、どのような正確な関係があるか？

主な発見

• 放物型カテゴリ 𝒪 のブロックは、必ずしもリングエル自己双対的ではなく、元のカテゴリ 𝒪 の挙動とは対照的であり、以前に知られていた例とも異なる。
• 各ブロックは、同じ放物型カテゴリ内の別のブロックとリングエル双対であり、この双対性はグレーディング付き設定で可解的導来同値を誘導する。
• 個々のブロックが自己双対的でないにもかかわらず、放物型カテゴリ 𝒪 全体としては依然としてリングエル自己双対的である。
• タイプ A においては、キゾルグレーディングを保つブロックの導来同値類は、ウェイリ群の分解と置換作用下での安定化部分群の一致によって分類される。
• リングエル双対関手は可解的導来同値を誘導するが、キゾルグレーディング関手は、未グレーディングの文脈では同様の同値に持ち上がらない。
• 𝔰𝔩(4) における明示的反例により、単一の単純モジュールが唯一の第一拡張しか持たないにもかかわらず、射影被覆が単射でないブロックが存在することを示し、自己双対性の非成立を証明している。