[論文レビュー] Positivity and the canonical basis of tensor products of finite-dimensional irreducible representations of quantum sl(k)

Joshua Sussan|ArXiv.org|Apr 12, 2008

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

ひとこと要約

この論文は、量子 $\mathfrak{sl}_k$ の有限次元既約表現のテンソル積の標準基底の構造定数が $\mathbb{N}[q, q^{-1}]$ に属することを、$\mathfrak{gl}_n$ の放物的族 $\mathcal{O}$ のねじれモジュールによるカテゴリフィケーションを用いて証明する。射影的関手はねじれモジュールを保存するため、Chevalley生成子の作用が標準基底に対して正の係数を持つことが保証される。

ABSTRACT

In a categorification of tensor products of fundamental representations of quantum sl(k) via highest weight categories, the indecomposable tilting modules descend to the canonical basis. Since projective functors map tilting modules to tilting modules, the coefficients of the canonical basis of tensor products of finite dimensional, irreducible representations under the action of the Chevalley generators are positive.

研究の動機と目的

• 有限次元既約表現のテンソル積における $\ mathcal{U}_q(\mathfrak{sl}_k)$ の標準基底の構造定数の正の性質を確立すること。
• Lusztigの単一既約表現における正の性質の結果を、一般の有限次元既約表現のテンソル積へ拡張すること。
• 放物的族 $\ mathfrak{gl}_n$-族 $\ mathcal{O}$ のねじれモジュールによるカテゴリフィケーションを用いて、標準基底を実現すること。
• Chevalley生成子 $E_i, F_i$ の標準基底への作用の係数が $\ mathbb{N}[q, q^{-1}]$ に属することを示すこと。

提案手法

• 最高ウェイト族と $\ mathfrak{gl}_n$-族 $\ mathcal{O}$ の放物的族を用いて、基本表現のテンソル積をカテゴリフィケーション化する。
• これらの族における非分解ねじれモジュールを、標準基底要素の重み付き上に上げたものとして特定する。
• 射影的関手を用いて、Chevalley生成子 $E_i, F_i$ の標準基底への作用をモデル化する。
• 射影的関手がねじれモジュールを保存することを活用し、ねじれフィルトレーションにおける重複度に対応する作用を導く。
• 一般化されたヴェルマモジュールと放物的族内のねじれモジュールを結びつけるために、導来 Zuckermander関手を適用する。
• テンソル積の基本表現と外積 $\Lambda^{i_j}V_{k-1}$ を結びつけるために、射影写像 $\pi_{i_1,\ldots,i_r}$ と包含写像 $\iota_{i_1,\ldots,i_r}$ を用いる。

実験結果

リサーチクエスチョン

• RQ1 有限次元既約 $\mathcal{U}_q(\mathfrak{sl}_k)$-加群のテンソル積における標準基底の構造定数は $\mathbb{N}[q, q^{-1}]$ に属するか？
• RQ2 放物的族 $\mathcal{O}$ のねじれモジュールによるカテゴリフィケーションを用いて、このようなテンソル積の標準基底を実現できるか？
• RQ3 Chevalley生成子 $E_i$ および $F_i$ の標準基底への作用の係数は $\mathbb{N}[q, q^{-1}]$ に属するか？
• RQ4 ねじれモジュール上の射影的関手によるカテゴリフィケーションは、標準基底係数の正の性質をどのように反映するか？

主な発見

• 式 $E_i b_j = \sum_n c_{i,j,n} b_n$ および $F_i b_j = \sum_n d_{i,j,n} b_n$ における係数 $c_{i,j,n}$ と $d_{i,j,n}$ は、すべての $i,j,n$ に対して $\mathbb{N}[q, q^{-1}]$ に属する。
• \oplus_{\mathbf{d}} \mathcal{O}_{\mathbf{d}}(\mathfrak{gl}_n)$ の放物的族における非分解ねじれモジュールは、Grothendieck群において標準基底に下がる。
• 射影的関手はねじれモジュールをねじれモジュールに写すため、$E_i$ および $F_i$ の標準基底への作用は、ねじれフィルトレーションにおける重複度に対応し、正の性質が保証される。
• この結果により、Lusztigの単一既約表現における正の性質が、一般の有限次元既約表現のテンソル積へ拡張された。
• 放物的族 $\mathcal{O}$ のねじれモジュールによるカテゴリフィケーションは、標準基底係数の正の性質を幾何学的・表現論的メカニズムとして提供する。