[論文レビュー] Quantum affine algebras at roots of unity and generalised cluster algebras

Anne-Sophie Gleitz|arXiv (Cornell University)|Oct 9, 2014

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

ひとこと要約

この論文は、根の単位根 $ ho$ における制限量子ループ代数 $U_{ ho}^{ ext{res}}(Lrak{sl}_2)$ の有限次元表現のテンソル部分カテゴリのグロテンディーク環が、$C_{l-1}$ 型の一般化されたクラスター代数に同型であることを確立する。ここで $l$ は $ ho^2$ の位数である。単純加群の類は、チェビシェフ多項式および交換関係を用いて明示的に構成された同型を通じて、一般化されたクラスター単項式に正確に対応する。

ABSTRACT

Let $U_\varepsilon^{\mathrm{res}}(L\mathfrak{sl}_2)$ be the restricted integral form of the quantum loop algebra $U_q(L\mathfrak{sl}_2)$ specialised at a root of unity $\varepsilon$. We prove that the Grothendieck ring of a tensor subcategory of representations of $U_\varepsilon^{\mathrm{res}}(L\mathfrak{sl}_2)$ is a generalised cluster algebra of type $C_{l-1}$, where $l$ is the order of $\varepsilon^2$. Moreover, we show that the classes of simple objects in the Grothendieck ring essentially coincide with the cluster monomials. We also state a conjecture for $U_\varepsilon^{\mathrm{res}}(L\mathfrak{sl}_3)$, and we prove it for $l=2$.

研究の動機と目的

• 量子アフィン代数の根の単位根における表現論と一般化されたクラスター代数との間のカテゴリカルかつ代数的対応を確立すること。
• テンソル部分カテゴリの $U_{ ho}^{ ext{res}}(Lrak{sl}_2)$-加群のグロテンディーク環が、$C_{l-1}$ 型の一般化されたクラスター代数に同型であることを証明すること。ここで $l$ は $ ho^2$ の位数である。
• グロテンディーク環内の単純加群の類が、係数生成子におけるチェビシェフ多項式による乗算を除き、一般化されたクラスター単項式に正確に対応することを示すこと。
• $l=2$ に対して $U_{ ho}^{ ext{res}}(Lrak{sl}_3)$ に結果を拡張し、$l>2$ に対しては予想を提示すること。この場合、クラスター代数は無限型である。

提案手法

• 有限次元 $U_{ ho}^{ ext{res}}(Lrak{sl}_2)$-加群のテンソル部分カテゴリ $ c_{ ho^{bZ}}$ を構成する。
• ターゲット代数としてグロテンディーク環 $K_0( c_{ ho^{bZ}})$ を用い、一般化されたクラスター代数 $ c_{l-1}$ からこの環への環同型 $ heta$ を定義する。
• 基本加群 $L(Y_{i,j})$ を用いて $ c_{l-1}$ 内のクラスター変数を定義し、それらをグロテンディーク環内の類 $[L(Y_{i,j})]$ に写像する。
• 交換多項式 $ heta_r^0(u,v) = u + v$（$r < 2l-2$ の場合）および $ heta_{2l-2}^0(u,v) = u^3 + ho_1 u^2 v + ho_2 u v^2 + v^3$（$ ho_i = [L(Y_i)]$）を用いて、一般化されたクラスター代数内の交換関係を確立する。
• 一般化されたクラスター単項式の基底が、チェビシェフ多項式表現を通じて $K_0( c_{ ho^{bZ}})$ 内の単純加群の類の基底へ双対的に写像されることを証明する。
• $rak{sl}_3$ の場合、$l=2$ に対して同型を検証し、広範な Maple 計算に基づいて $l>2$ に対する予想を提示する。

実験結果

リサーチクエスチョン

• RQ1 $ ho$ が位数 $l$ の根の単位根であるとき、$U_{ ho}^{ ext{res}}(Lrak{sl}_2)$-加群のテンソル部分カテゴリ $ c_{ ho^{bZ}}$ のグロテンディーク環は、$C_{l-1}$ 型の一般化されたクラスター代数に同型であるか？
• RQ2 グロテンディーク環 $K_0( c_{ ho^{bZ}})$ 内の単純加群の類は、クラスター代数 $ c_{l-1}$ 内の一般化されたクラスター単項式に正確に対応するか？
• RQ3 この対応は $U_{ ho}^{ ext{res}}(Lrak{sl}_3)$ に拡張可能か？ もしそうならば、$l>2$ 時の関連する一般化されたクラスター代数の構造は何か？
• RQ4 チェビシェフ多項式は、クラスター単項式とグロテンディーク環内の単純加群の類との関係をどのように規定するか？
• RQ5 $l>2$ 時、この構成によって得られる一般化されたクラスター代数は、有限型か無限型か？

主な発見

• テンソル部分カテゴリの $U_{ ho}^{ ext{res}}(Lrak{sl}_2)$-加群のグロテンディーク環 $K_0( c_{ ho^{bZ}})$ は、$ ho^2$ の位数が $l$ であるとき、$C_{l-1}$ 型の一般化されたクラスター代数 $ c_{l-1}$ に同型である。
• グロテンディーク環 $K_0( c_{ ho^{bZ}})$ 内の単純加群の類は、$ c_{l-1}$ の一般化されたクラスター単項式と双対的に対応し、その対応は係数生成子 $[L(Y_1)]$ および $[L(Y_2)]$ におけるチェビシェフ多項式によって与えられる。
• $l=2$ の場合、$U_{ ho}^{ ext{res}}(Lrak{sl}_3)$ に対して結果が完全に証明され、グロテンディーク環は $G_2$ 型の一般化されたクラスター代数に同型である。
• 一般化されたクラスター代数の初期交換行列のランクは $2l-2$ であり、$-1$、$0$、$1$ の特定の歪対称パターンを用いて定義される。
• 交換多項式は、すべての変数に対して $u + v$ であるが、最後の変数に対しては $ heta_{2l-2}^0(u,v) = u^3 + ho_1 u^2 v + ho_2 u v^2 + v^3$ である。
• $l>2$ の場合、一般化されたクラスター代数は無限型であり、予想では一般化されたクラスター単項式が依然として単純加群の類に対応するが、完全な構造は未解決のままである。