[論文レビュー] Category O for quantum groups

Henning Haahr Andersen, Volodymyr Mazorchuk|arXiv (Cornell University)|May 27, 2011

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

ひとこと要約

本稿は、単位根における量子群のBGGカテゴリーレベルの構造を確立し、単純、射影的、およびティルティング加群が、量子フロベニウス捩じれと単位根カテゴリからの有限次元加群へのテンソル積分解を有することを証明する。主たる貢献は、カジダン＝ルシュティグ多項式を用いて、非可約およびティルティング加群の特性を完全に同定することであり、古典的カテゴリーレベルの結果を量子設定へと拡張し、一般の場合が古典的カテゴリーレベルと同型であることを回復する。

ABSTRACT

In this paper we study of the BGG-categories $\mathcal O_q$ associated to quantum groups. We prove that many properties of the ordinary BGG-category $\mathcal O$ for a semisimple complex Lie algebra carry over to the quantum case. Of particular interest is the case when $q$ is a complex root of unity. Here we prove a tensor decomposition for both simple modules, projective modules, and indecomposable tilting modules. Using the known Kazhdan-Lusztig conjectures for $\mathcal O$ and for finite dimensional $U_q$-modules we are able to determine all irreducible characters as well as the characters of all indecomposable tilting modules in $\mathcal O_q$. As a consequence of our study of the root of unity case we deduce that the non-root of unity case (including the generic case) behaves like $\mathcal O$.

研究の動機と目的

• BGGカテゴリーレベルの表現論を、単位根における量子群へと拡張すること。
• 量子カテゴリーレベル𝒪qにおける非可約およびティルティング加群の構造を特定すること。
• 一般の量子カテゴリーレベル𝒪vの組合せ論的構造が、古典的カテゴリーレベル𝒪intと一致することを確立すること。
• カテゴリーレベル𝒪qが、有限長、射影的加群、インジェクティブ加群、およびティルティング加群といった、古典的設定からの主要な性質を引き継ぐことを証明すること。

提案手法

• Lusztigの量子群UvのA形を用い、vをℂ\{0}に特殊化することで、量子群のカテゴリーレベル𝒪qを定義する。
• 𝒪qに属する加群が、q-フロベニウス捩じれと有限次元カテゴリーレベル𝒩qからの加群へのテンソル積に分解されることを証明する。
• 既知の有限次元Uq加群に関するカジダン＝ルシュティグ予想を適用し、𝒪qにおける非可約およびティルティング加群の特性を計算する。
• 𝒪qが古典的カテゴリーレベル𝒪intに同型な完全部分カテゴリを含むことを確立し、これを「特別ブロック」として特定する。
• v=1および大きな単位根での特殊化を用いて、一般カテゴリーレベル𝒪vと古典的カテゴリーレベル𝒪intを比較する。
• 既知の同型および双対性結果（例えば、リングエル自己双対性、ティルティング加群の性質）を活用し、古典的設定から量子設定へ構造的性質を移転する。

実験結果

リサーチクエスチョン

• RQ1 古典的BGGカテゴリーレベルの表現論的性質は、どのように単位根における量子群へと拡張されるか？
• RQ2 量子カテゴリーレベル𝒪qにおける非可約および不分解ティルティング加群の特性式は何か？
• RQ3 𝒪qに属する加群の構造は、量子フロベニウス捩じれと有限次元成分への分解を有するか？
• RQ4 一般の量子カテゴリーレベル𝒪vは、古典的カテゴリーレベル𝒪intと同じ組合せ論的構造を持つか？
• RQ5 qが単位根であるとき、𝒪qと古典的カテゴリーレベル𝒪intとの間に構造的同型が存在するか？

主な発見

• カテゴリーレベル𝒪qは、古典的カテゴリーレベル𝒪のすべての基本的性質を引き継ぎ、有限長、射影的およびインジェクティブ加群の存在、およびリングエル自己双対性を含む。
• 𝒪qに属する単純加群、射影的加群、インジェクティブ加群、およびティルティング加群は、すべてq-フロベニウス捩じれと有限次元カテゴリーレベル𝒩qからの加群へのテンソル積に分解可能である。
• 𝒪qに属するすべての非可約加群の特性は、カジダン＝ルシュティグ多項式を1で評価することで決定され、Lusztigが予想した通りである。
• 𝒪qに属するすべての不分解ティルティング加群の特性は、アフィンカック＝ムーディ代数に関するゾーゲルの結果により完全に特定される。
• 一般カテゴリーレベル𝒪vは、古典的カテゴリーレベル𝒪intと同じ合成因子の重複度およびヴェルマフラグ重複度を持つ。
• 𝒪qに属する整数的重みに対応する部分カテゴリは、古典的カテゴリーレベル𝒪intと同型であり、これを「特別ブロック」として特定する。