[論文レビュー] Highest weight theory for finite-dimensional graded algebras with triangular decomposition

Gwyn Bellamy, Ulrich Thiel|arXiv (Cornell University)|Jan 1, 2017

Algebraic structures and combinatorial models参考文献 55被引用数 19

ひとこと要約

本稿では、三角的分解をもつ有限次元の可換なグレーディング代数の、グレーディングされた有限次元加群の圏が、代数が自己同型的でかつ無限大グローバル次元を持つ場合でさえも、最高重み圏構造をもつことを確立する。主な貢献は、この設定においてtilting加群の存在を示したことであり、これにより代数的リー理論に属する多様な代数、例えば制限付き包あらわし代数や量子群の間で表現論が統一される。

ABSTRACT

We show that the category of graded modules over a finite-dimensional graded algebra admitting a triangular decomposition can be endowed with the structure of a highest weight category. When the algebra is self-injective, we show furthermore that this highest weight category has tilting modules in the sense of Ringel. This provides a new perspective on the representation theory of such algebras, and leads to several new structures attached to them. There are a wide variety of examples in algebraic Lie theory to which this applies: restricted enveloping algebras, Lusztig's small quantum groups, hyperalgebras, finite quantum groups, and restricted rational Cherednik algebras.

研究の動機と目的

• 有限次元グレーディング代数に三角的分解をもつ場合、グローバル次元が無限大であり、非グレーディングの場合には標準的な最高重み構造が存在しないにもかかわらず、そのグレーディングされた有限次元加群の圏に体系的な最高重み理論を構築すること。
• 自己同型的代数における伝統的な最高重み圏の失敗を補うために、グレーディングされた加群の圏に注目すること。
• このクラスに属する自己同型的代数に対して、Ringelの意味でのtilting加群の存在を証明し、有限グローバル次元をもつ有限次元代数に限らないtilting理論を拡張すること。
• 制限付き包あらわし代数、量子群、有理的チェレドニク代数を含む、代数的リー理論に属する多様な代数の間で、表現論的構造を統一すること。
• この一般化された設定において抽象的カジダン＝ルシュチグ理論とBGG双対性のフレームワークを提供し、特徴関数の計算や構造的結果を得ること。

提案手法

• 有限次元グレーディング代数 $A$ に対して、三角的分解 $A = A^- times T times A^+$ をもつものとし、$A^-$, $T$, $A^+$ をそれぞれ負、零、正の次数をもつグレーディング部分代数とする。
• 可約な $T$-加群 $\lambda$ からの誘導によって標準的および余標準的加群 $\Delta(\lambda)$, $\nabla(\lambda)$ を定義し、適切な標準的および余標準的加群を導入する。
• 可約な $T$-加群 $\lambda$ の集合に部分順序を定義し、標準的フィルトレーションを定義し、BGG性質（$P(\lambda)$ のフィルトレーションにおいて $\Delta(\lambda)$ は重複度1で出現し、$\mu > \lambda$ のみに現れる）を確認する。
• グレーディングされた加群の圏が標準的ストラティフィケーションをもち、BGG双対性が成り立つことを示す：$[P(\lambda):\Delta(\mu)] = [\ol{\nabla}(\mu):L(\lambda)]$。
• 自己同型的代数の場合、最高重み構造と三角的反自己同型の存在から、tilting加群の存在が導かれる。
• 制限付き包あらわし代数、ルシュツィグの小さな量子群、制限付き有理的チェレドニク代数などの具体例にこの枠組みを適用し、それぞれの状況で条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 有限次元グレーディング代数に三角的分解をもつ場合、グローバル次元が無限大であっても、そのグレーディングされた有限次元加群の圏に最高重み圏構造を導入できるか？
• RQ2 このような代数において標準的および余標準的加群の存在が、BGG双対性および単純加群の上での適切な部分順序をもたらすか？
• RQ3 有限グローバル次元を持たないにもかかわらず、このクラスに属する自己同型的代数に対して、Ringelの意味でのtilting加群が存在するか？
• RQ4 制限付き包あらわし代数や量子群のような代数が、三角的分解を通じて共通の表現論的枠組みを共有する程度はいかほどか？
• RQ5 この一般化された設定において抽象的カジダン＝ルシュチグ理論を構築できるか。また、正標数における特徴関数の計算とはどのように関係するか？

主な発見

• 有限次元グレーディング代数に三角的分解をもつ場合、代数が自己同型的でかつ無限大グローバル次元を持つ場合でさえも、そのグレーディングされた有限次元加群の圏は最高重み圏である。
• BGG双対性が成り立つ：射影被覆における $[P(\lambda):\Delta(\mu)]$ の重複度は、余標準的加群における組成重複度 $[\ol{\nabla}(\mu):L(\lambda)]$ に等しい。
• 自己同型的代数の場合、最高重み圏はRingelの意味でのtilting加群をもつ。これは、有限グローバル次元に限らないtilting理論の拡張である。
• 制限付き有理的チェレドニク代数における $p$-コインvariant 環 $K[\mathfrak{h}]^{p\mathrm{co}W}$ の最高非零次数は $N = (p-1)\dim\mathfrak{h} + p|\mathrm{Ref}(W)|$ であり、これは重要な構造的不変量である。
• $\overline{\mathsf{H}}_{1,\mathbf{c}}(W)$ はよく生成されている：$K[\mathfrak{h}]^{p\mathrm{co}W}$ はその1次部分により生成され、$K[\mathfrak{h}^*]^{p\mathrm{co}W}$ はその-1次部分により生成される。
• $W$ がコックスター群であるとき、$\overline{\mathsf{H}}_{1,\mathbf{c}}(W)$ には三角的反自己同型が存在する。これは非退化な $W$-不変ペアリングを用いて、特徴零の構成を一般化する。