[論文レビュー] Affinization of category O for quantum groups

Charles A. S. Young, E. Mukhin|arXiv (Cornell University)|Apr 12, 2012

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

ひとこと要約

この論文は、アフィン量子群のためのカテゴリ $\hat{\mathcal{O}}$ を導入し、有限次元表現理論を一般化する。$q$-特徴標理論を確立し、ABCFL型におけるパラボリック・ヴェルマ加群の最小アフィニゼーションを分類し、$U_q(\mathfrak{g})$-特徴標に関して、Weylの分母型公式を予想する。これは、有限次元でないが $U_q(\mathfrak{g})$-重複度が有限であるモジュールへ既知の結果を拡張する。

ABSTRACT

Let g be a simple Lie algebra. We consider the category O-hat of those modules over the affine quantum group Uq(g-hat) whose Uq(g)-weights have finite multiplicity and lie in a finite union of cones generated by negative roots. We show that many properties of the category of the finite-dimensional representations naturally extend to the category O-hat. In particular, we develop the theory of q-characters and define the minimal affinizations of parabolic Verma modules. In types ABCFG we classify these minimal affinizations and conjecture a Weyl denominator type formula for their characters.

研究の動機と目的

• アフィン量子群の有限次元表現理論を、$U_q(\mathfrak{g})$-重複度が有限であるようなより広いカテゴリ $\hat{\mathcal{O}}$ に拡張すること。
• Grothendieck環の組み合わせ的解析を可能にする、$\hat{\mathcal{O}}$ における $q$-特徴標理論の構築。
• ABCFL型におけるパラボリック・ヴェルマ加群の最小アフィニゼーションを分類し、それらの $U_q(\mathfrak{g})$-特徴標を予想すること。
• 単純な特徴標を持つ $U_q(\mathfrak{g})$-モジュールとしてのアフィニゼーションを分析することにより、最小アフィニゼーションの研究のための新しい枠組みを提供すること。
• 古典的 Kirillov-Reshetikhin 加群および最小アフィニゼーションの理論を、有限次元の設定を超えて拡張すること。

提案手法

• $U_q(\mathfrak{g})$-重複度が有限で、負の根によって生成される有限個の錐の和集合に含まれる $U_q(\widehat{\mathfrak{g}})$-モジュールのカテゴリ $\hat{\mathcal{O}}$ を定義する。
• Grothendieck環から形式的環への $q$-特徴標ホモモーフィズムを構成し、組み合わせ的解析を可能にする。
• パrameter $n$ における解析接続を用いて Kirillov-Reshetikhin 加群の極限を研究し、非標準的量子アフィン代数を避ける。
• [Cha95] の部分順序を用い、$q$-特徴標と組み合わせて、パラボリック・ヴェルマ加群の最小アフィニゼーションを分類し、ABCFL型ではそれが最小元であることを証明する。
• 最小アフィニゼーションの $U_q(\mathfrak{g})$-特徴標に関して、Weyl分母型公式を予想する：$\chi_\lambda = e^\lambda \prod_{\alpha \in \Delta^+} (1 - e^\alpha)^{-m_\alpha}$ で、$m_\alpha = \max_i \{\alpha_i\}$。
• アルゴリズム [FM01] を用いたコンピュータ支援の検証により、予想される特徴標公式を検証・支持する。

実験結果

リサーチクエスチョン

• RQ1 有限次元表現理論の一般化として、$U_q(\mathfrak{g})$-重複度が有限である $U_q(\widehat{\mathfrak{g}})$-モジュールのカテゴリ $\hat{\mathcal{O}}$ を体系的にどのように発展させることができるか？
• RQ2 $\hat{\mathcal{O}}$ における $q$-特徴標写像の構造は何か？ そして、これにより、既約モジュールの分類がどのように可能になるか？
• RQ3 $\hat{\mathcal{O}}$ に属するどのモジュールがパラボリック・ヴェルマ加群の最小アフィニゼーションであり、それらは $U_q(\mathfrak{g})$-モジュールとしてどのように振る舞うか？
• RQ4 ABCFL型における最小アフィニゼーションの $U_q(\mathfrak{g})$-特徴標に関して、Weyl分母型公式を予想し、部分的に検証することは可能か？
• RQ5 予想される特徴標公式 $\chi_\lambda = e^\lambda \prod_{\alpha \in \Delta^+} (1 - e^\alpha)^{-m_\alpha}$ が成り立つ条件は何か？ また、$f_i(u)$ パrameter に必要な制約は何か？

主な発見

• カテゴリ $\hat{\mathcal{O}}$ はテンソルカテゴリであり、有限次元モジュールを含み、テンソル積について閉じており、単純対象は $\ell$-重みとして、$f_i(0)f_i(\infty) = 1$ を満たす有理関数 $f_i(u)$ で与えられる。
• $q$-特徴標写像は、$\hat{\mathcal{O}}$ のGroーディック環から形式的環への単射環準同型を提供し、表現の組み合わせ的解析を可能にする。
• ABCFL型では、パラボリック・ヴェルマ加群の最小アフィニゼーションは、[Cha95] の部分順序において最小であるだけでなく、その順序の最小元である。
• ヴェルマ加群の最高重み $\lambda = \sum \lambda_i \omega_i$ の最小アフィニゼーションの $U_q(\mathfrak{g})$-特徴標に関して、Weyl分母型公式を予想する：$\chi_\lambda = e^\lambda \prod_{\alpha \in \Delta^+} (1 - e^\alpha)^{-m_\alpha}$ で、$m_\alpha = \max_i \{\alpha_i\}$。
• アルゴリズム [FM01] を用いたコンピュータチェックにより、特殊な場合（例：$A_n$、$B_2$）および特定の $f_i(u)$-タプルに対して予想が支持されるが、$n_a(3) < |N_a(3)| - 1$ のときには公式は成り立たない。
• すべての $f_i(u)$ が $1 - aq^4u$ または $1/(1 - aqu)$ の形でない場合、および一部の制約条件 (3) を満たさない場合でさえも予想が成り立つことがあるため、より広範な有効性が示唆される。