[論文レビュー] Projective-injective modules, Serre functors and symmetric algebras

Volodymyr Mazorchuk, Catharina Stroppel|ArXiv.org|Aug 6, 2005

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

ひとこと要約

この論文は、特に 𝔰𝔩ₙ(ℂ) の放物型 category O の文脈において、射影的・インジェクティブなモジュールを用いて、準ヘレディタリー代数におけるセール関手の計算フレームワークを確立する。自己同型環が対称である場合、二重中心化性質によりセール関手を明示的に計算できることを示し、これによりカフノフが提唱した parabolic category O₀ᵘ(𝔰𝔩ₙ) における射影的・インジェクティブなモジュールに関する3つの予想を裏付ける。

ABSTRACT

We describe Serre functors for (generalisations of) the category O associated with a semi-simple complex Lie algebra. In our approach, projective-injective modules play an important role. They control the Serre functor in the case of a quasi-hereditary algebra having a double centraliser property with respect to a symmetric algebra. As an application of the double centraliser property and our description of Serre functors, we prove three conjectures of Khovanov about the projective-injective modules in the parabolic category O for sl_n.

研究の動機と目的

• 射影的・インジェクティブなモジュールを主要な道具として用いて、準ヘレディタリー代数におけるセール関手の計算の一般的手法を開発すること。
• 射影的・インジェクティブなモジュールの自己同型環が対称となる条件を調査し、その代数の表現論に与える影響を明らかにすること。
• 射影的・インジェクティブな生成子を用いた二重中心化性質を応用し、カフノフが放物型 category O₀ᵘ(𝔰𝔩ₙ) における射影的・インジェクティブなモジュールに関して提起した予想を検証すること。
• 随伴関手および移動関手を介して、セール関手、導来圏、および category O の構造との関係を確立すること。
• 放物型 category O における射影的・インジェクティブなモジュールを用いて、対称群およびそのヘッケ代数のスペクトモジュールのカテゴリフィケーションを提供すること。

提案手法

• 二重中心化性質の利用：Q が射影的・インジェクティブな生成子であれば、A ≅ End_{End_A(Q)}(Q) が成り立ち、A-mod の研究が Q の自己同型環の研究に還元される。
• リングエル双対性を用いて、特に準ヘレディタリー代数において、ティルティングモジュールと射影的・インジェクティブなモジュールを関連付ける。
• 導来圏における部分的共近似および随伴関手によるセール関手の特徴づけを適用する。
• -twisting 関手 T_s および局所化関手 ℒZ_s を用いて、カジダン＝ルスティグ予想の文脈において、ヴェルマモジュールおよび単純モジュールへの作用を分析する。
• 放物型 category O の導来圏間の随伴関手 F と G を構成し、それらが半単純部分カテゴリ上で互いに逆の同値を定めることを示す。
• 有限次元 𝔰𝔩ₙ-加群とのテンソル積を用いて、異なる放物型ブロック間の射影的・インジェクティブなモジュールを関連付け、中心の同型および圏の同値を証明する。

実験結果

リサーチクエスチョン

• RQ1 射影的・インジェクティブなモジュールの自己同型環が対称となる条件は何か？
• RQ2 射影的・インジェクティブなモジュールを用いて、準ヘレディタリー代数におけるセール関手をどのように明示的に計算できるか？
• RQ3 射影的・インジェクティブな生成子を用いた二重中心化性質が、モジュールの全カテゴリをどれほど制御できるか？
• RQ4 射影的・インジェクティブなモジュールによって誘導される関手を用いて、category O の放物型ブロック間の導来同値を確立できるか？
• RQ5 移動関手は、射影的・インジェクティブな表示を持つモジュールのカテゴリにどのように作用するか？ そしてどのようなカテゴリフィケーションの結果が得られるか？

主な発見

• 𝔰𝔩ₙ(ℂ) の放物型 category O のブロックにおける射影的・インジェクティブな生成子の自己同型環は対称的であり、二重中心化性質に必要な重要な条件が確認された。
• 整数的ブロックにおける非分解射影的・インジェクティブなモジュールに対して、二重中心化性質が成り立つ。これは、ゾルゲルの Endomorphismensatz を一般化するものである。
• A-mod の有界導来圏におけるセール関手は、ナカヤマ関手の左導来関手と同型であり、射影的・インジェクティブなモジュールを用いて計算可能である。
• 関手 F と G は、異なる放物型ブロックにおける射影的・インジェクティブなモジュールの加法的圏の間で互いに逆の同値を定め、これにより定理 5.4 が証明された。
• ブロック 𝒪_ξ^μ と 𝒪_ξ^ν の中心は同型であり、この同型は二重中心化性質を介した導来同値によって誘導される。
• 対称群 S_n のスペクトモジュール S_λ は、放物型 category O における 2 ステップの射影的・インジェクティブな表示を持つモジュールのカテゴリとしてカテゴリフィケーションされ、[Str03a] に由来する重層構造が付加される。