[論文レビュー] Integral and graded quasi-hereditary algebras, II with applications to representations of generalized $q$-Schur algebras and algebraic groups

Brian Parshall, Leonard L. Scott|arXiv (Cornell University)|Oct 4, 2009

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

ひとこと要約

本稿では、準完全性代数 $B$ からルートフィルトレーションによって得られる順序付き代数 $\gr B$ が、 Koszul かつ準完全性である条件を、準完全性代数 $A$ とその順序付き部分代数 $\mathfrak{a}$ のペア $(A, \mathfrak{a})$ を用いて確立する。ここで $B = A/J$ である。主な結果は、$B$ の標準的モジュールが $\mathfrak{a}$ 上に自然な順序付き構造を備え、$q$-Schur 代数および正の特性 $p$ における代数群の有限次元代数について、$p$ のサイズ制限の下で新たな構造的洞察をもたらす点にある。

ABSTRACT

Given a quasi-hereditary algebra $B$, we present conditions which guarantee that the algebra $\gr B$ obtained by grading $B$ by its radical filtration is Koszul and at the same time inherits the quasi-hereditary property and other good Lie-theoretic properties that $B$ might possess. The method involves working with a pair $(A,{\mathfrak a})$ consisting of a quasi-hereditary algebra $A$ and a (positively) graded subalgebra $\mathfrak a$. The algebra $B$ arises as a quotient $B=A/J$ of $A$ by a defining ideal $J$ of $A$. Along the way, we also show that the standard (Weyl) modules for $B$ have a structure as graded modules for $\mathfrak a$. These results are applied to obtain new information about the finite dimensional algebras (e.g., the $q$-Schur algebras) which arise as quotients of quantum enveloping algebras. Further applications, perhaps the most penetrating, yield results for the finite dimensional algebras associated to semisimple algebraic groups in positive characteristic $p$. These results require, at least presently, considerable restrictions on the size of $p$.

研究の動機と目的

• 準完全性代数 $B$ のルートフィルトレーションによる順序付き代数 $\gr B$ が、さらに準完全性かつ Koszul であるための条件を同定すること。
• 大きな準完全性代数 $A$ の順序付き部分代数 $\mathfrak{a}$ の文脈において、$B$ の標準的（Weyl）モジュールの構造を理解すること。
• $q$-Schur 代数を含む、量子包あくり代数の有限次元商の枠組みを適用すること。
• サイズ制限のある正の特性 $p$ の下で、半単純代数群に関連する有限次元代数へ結果を拡張すること。
• 標準的モジュールが $\mathfrak{a}$ 上に自然な順序付き構造を持つことを確立すること。

提案手法

• 準完全性代数 $A$ と正の順序付き部分代数 $\mathfrak{a}$ を備えたペア $(A, \mathfrak{a})$ を扱う。
• $A$ の適切な両側イデアル $J$ を用いて $B = A/J$ を構成し、構造的性質を保持する。
• $B$ のルートフィルトレーションを分析し、関連する順序付き代数 $\gr B$ を定義し、その Koszul 性および準完全性を研究する。
• $\mathfrak{a}$ の順序付き構造を用いて、$B$ の標準的モジュールに順序付き構造を導入し、それらを順序付き $\mathfrak{a}$-モジュールとする。
• $A$ および $\mathfrak{a}$ の Lie 理論的性質を活用し、最高重み理論との整合性を含め、$B$ および $\gr B$ に良い構造的特徴を移す。
• $q$-Schur 代数および正の特性 $p$ における代数群から生じる有限次元代数にこの枠組みを適用するが、$p$ に制限を設ける。

実験結果

リサーチクエスチョン

• RQ1 準完全性代数 $B$ のルートフィルトレーションによる関連順序付き代数 $\gr B$ が、どのような条件下で Koszul かつ準完全性を同時に満たすか？
• RQ2 $B$ が準完全性代数 $A$ の、順序付き部分代数 $\mathfrak{a}$ を持つイデアル $J$ を用いた商 $B = A/J$ として得られるとき、$B$ の標準的モジュールにどのような順序付き構造を導入できるか？
• RQ3 $A$ および $\mathfrak{a}$ のどのような構造的性質が $B = A/J$ および $\gr B$ に保存されるか？
• RQ4 この枠組みを用いて、量子群の商として得られる $q$-Schur 代数に対して、どのような新しい結果が得られるか？
• RQ5 この構成が、正の特性 $p$ における半単純代数群の表現論に与える影響は何か、特に $p$ のサイズ制限の下でどうなるか？

主な発見

• 適切な $(A, \mathfrak{a})$ のペアおよびイデアル $J$ の条件下で、関連順序付き代数 $\gr B$ は $B$ から準完全性を引き継ぐ。
• $A$、$\mathfrak{a}$、$J$ に適切な条件が満たされると、代数 $\gr B$ は Koszul である。これはホモロジー的および表現論的構造を結びつける。
• $B$ の標準的モジュールは、順序付き部分代数 $\mathfrak{a}$ 上の自然な順序付き構造を持つ。これにより、表現論的構造が拡張される。
• この枠組みにより、特に最高重みカテゴリとの文脈で、量子包あくり代数の商として得られる $q$-Schur 代数に関する新たな構造的洞察が得られる。
• 正の特性 $p$ における半単純代数群に関連する有限次元代数に対しては、結果が新たな情報を提供するが、これは $p$ のサイズ制限の下でのみ成立するため、条件付き適用である。
• $B$ およびその関連順序付き代数 $\gr B$ において、元の代数 $A$ の重要な Lie 理論的性質が保持され、より深い構造的分析が可能になる。