[論文レビュー] On Level Zero Representations of Quantized Affine Algebras

Masaki Kashiwara|arXiv (Cornell University)|Oct 30, 2000

Algebraic structures and combinatorial models参考文献 8被引用数 36

ひとこと要約

この論文は、量子化アフィン代数におけるレベル0表現の基礎的性質を確立し、レベル0の基本的重みを持つ極端ベクトルによって生成される加群が無限可約であり、有限次元の無限可約加群のアフィニゼーションと同型であることを証明する。グローバル基底とクリスタル構造を用いて、特定の条件下で基本的表現のテンソル積の巡回性を確認し、フォック空間にグローバル基底を構成する。

ABSTRACT

We study the properties of level zero modules over quantized affine algebras. The proof of the conjecture on the cyclicity of tensor products by Akasaka and the present author is given. Several properties of modules generated by extremal vectors are proved. The weights of a module generated by an extremal vector are contained in the convex hull of the Weyl group orbit of the extremalweight. The universal extremal weight module with level zero fundamental weight as an extremal weight is irreducible, and isomorphic to the affinization of an irreducible finite-dimensional module.

研究の動機と目的

• 量子化アフィン代数におけるレベル0表現の構造を調査し、特に極端ベクトルによって生成される加群に焦点を当てる。
• 阿部と神保による、レベル0における基本的表現のテンソル積の巡回性に関する予想を証明する。
• 量子化アフィン代数のフォック空間構成においてグローバル基底の存在を確立する。
• レベル0の基本的重みを持つ普遍極端重み加群が無限可約であり、有限次元加群のアフィニゼーションと同型であることを示す。
• クリスタル基底とR行列を用いて、テンソル積とそのグローバル基底を分析する組み合わせ的・代数的枠組みを提供する。

提案手法

• 極端ベクトルによって生成される加群の構造を分析するために、クリスタル基底理論とグローバル基底を用いる。
• 極端ベクトルの概念とその重みの性質を適用し、すべての重みが極端重みのワイル群軌道の凸包内に含まれることを示す。
• 正則化された修正作用素とグローバル基底の存在に十分な条件を用い、極端重み空間の構造に依存する。
• 普遍R行列とエネルギー関数を用いて、組み合わせ的R行列を定義し、テンソル積の分解を研究する。
• ワッジ積を用いてフォック空間を構成し、良い加群とクリスタル基底の性質を用いてグローバル基底の存在を証明する。
• アフィニゼーションの理論を適用し、レベル0の基本的重みを持つ普遍極端重み加群が、有限次元無限可約加群のアフィニゼーションと同型であることを示す。

実験結果

リサーチクエスチョン

• RQ1 極端ベクトルによって生成される加群の重み構造は、量子化アフィン代数においてどのように構成されるか？
• RQ2 レベル0における基本的表現のテンソル積が、極端ベクトルのテンソル積によって巡回的に生成される条件は何か？
• RQ3 量子化アフィン代数のフォック空間にグローバル基底をどのように構成できるか？
• RQ4 レベル0の基本的重みを持つ普遍極端重み加群は無限可約であり、有限次元無限可約加群のアフィニゼーションと同型であるか？
• RQ5 R行列とエネルギー関数は、この文脈におけるテンソル積の構造を特徴付ける上で果たす役割は何か？

主な発見

• 重みλを持つ極端ベクトルによって生成される加群の重みは、λのワイル群軌道の凸包に含まれる。
• レベル0の基本的重みを極端重みとする普遍極端重み加群は無限可約であり、対応する有限次元無限可約加群のアフィニゼーションと同型である。
• 基本的表現 $ W(ar{ u}_i)_{a_i} $ のテンソル積は、$ a_ u / a_{ u+1} $ が $ q=0 $ で極をもたない限り、極端ベクトルのテンソル積によって巡回的に生成される。これは阿部と神保の予想を確認する。
• テンソル積とその逆順の間には、スカラー倍を除いて一意な準同型が存在し、その像は $ U'_q(rak{g}) $-加群として無限可約である。
• 任意の無限可約な $ U'_q(rak{g}) $-加群は、このようなテンソル積の像と同型であり、パrameterの集合 $ igackslash (i_ u, a_ u) igackslash $ は置換を除いて一意である。
• 量子化アフィン代数のフォック空間にはグローバル基底が存在し、良い加群の理論とワッジ積を用いて確立される。