[論文レビュー] Categories over quantum affine algebras and monoidal categorification

Masaki Kashiwara, Myungho Kim+2 more|arXiv (Cornell University)|May 22, 2020

Algebraic structures and combinatorial models参考文献 9被引用数 4

ひとこと要約

本稿は、非-twistedアフィン $ADE$ 型の量子アフィン代数の有限次元表現の部分カテゴリから生じるクラスター代数のモノイダルカテゴリ化を確立する。$[a,b]$ 内の区間の許容的鎖によって添え字づけられたキリロフ＝レシュティヒン・モジュールの実単純可換族を構成することで、これらの部分カテゴリのグローテンディーク環 $$\mathscr{C}_{\mathfrak{g}}^{[a,b]}$$ が、これらのモジュールによって与えられる初期シードを備えたクラスター代数構造を有することを証明し、これにより $$\mathscr{C}_{\mathfrak{g}}^{-}$$ および $$\mathscr{C}_{\mathfrak{g}}^{0}$$ におけるモノイダルカテゴリ化予想を裏付ける。

ABSTRACT

Let $U_q'(\mathfrak{g})$ be a quantum affine algebra of untwisted affine $ADE$ type, and $\mathcal{C}_{\mathfrak{g}}^0$ the Hernandez-Leclerc category of finite-dimensional $U_q'(\mathfrak{g})$-modules. For a suitable infinite sequence $\widehat{w}_0= \cdots s_{i_{-1}}s_{i_0}s_{i_1} \cdots$ of simple reflections, we introduce subcategories $\mathcal{C}_{\mathfrak{g}}^{[a,b]}$ of $\mathcal{C}_{\mathfrak{g}}^0$ for all $a \le b \in \mathbb{Z}\sqcup\{ \pm \infty \}$. Associated with a certain chain $\mathfrak{C}$ of intervals in $[a,b]$, we construct a real simple commuting family $M(\mathfrak{C})$ in $\mathcal{C}_{\mathfrak{g}}^{[a,b]}$, which consists of Kirillov-Reshetikhin modules. The category $\mathcal{C}_{\mathfrak{g}}^{[a,b]}$ provides a monoidal categorification of the cluster algebra $K(\mathcal{C}_{\mathfrak{g}}^{[a,b]})$, whose set of initial cluster variables is $[M(\mathfrak{C})]$. In particular, this result gives an affirmative answer to the monoidal categorification conjecture on $\mathcal{C}_{\mathfrak{g}}^-$ by Hernandez-Leclerc since it is $\mathcal{C}_{\mathfrak{g}}^{[-\infty,0]}$, and is also applicable to $\mathcal{C}_{\mathfrak{g}}^0$ since it is $\mathcal{C}_{\mathfrak{g}}^{[-\infty,\infty]}$.

研究の動機と目的

• 有限次元 $U_q'({\mathfrak{g}})$-モジュールの部分カテゴリのグローテンディーク環 $K(\mathscr{C}_{\mathfrak{g}}^{[a,b]})$ のモノイダルカテゴリ化を提供すること。
• これらのグローテンディーク環が、キリロフ＝レシュティヒン・モジュールの可換族によって与えられる初期クラスター変数を備えたクラスター代数構造を有することを確立すること。
• $$\mathscr{C}_{\mathfrak{g}}^{-} = \mathscr{C}_{\mathfrak{g}}^{[-\infty,0]}$$ および $$\mathscr{C}_{\mathfrak{g}}^{0} = \mathscr{C}_{\mathfrak{g}}^{[-\infty,\infty]}$$ の部分カテゴリに対してモノイダルカテゴリ化予想を証明し、それを拡張すること。
• すべての区間 $[a,b]$ における初期モノイダルシードの構成を、$i$-ボックスの許容的鎖を用いて統一すること。

提案手法

• 無限列の単純な反転 $\widehat{w}_0$ を用いて、ヘンリシェル＝リュクレールカテゴリ $\mathscr{C}_{\mathfrak{g}}^{0}$ の部分カテゴリ $\mathscr{C}_{\mathfrak{g}}^{[a,b]}$ を導入する。
• 区間 $[a,b]$ 内の $i$-ボックスの許容的鎖 $\mathfrak{C}$ を定義し、キリロフ＝レシュティヒン・モジュールの可換族 $M(\mathfrak{C})$ をパrametrizeする。
• $R$-行列不変量と KKOP (2019) の基準を用いて、$\mathscr{C}_{\mathfrak{g}}^{[a,b]}$ 内に $\Lambda$-許容的モノイダルシード $\mathscr{S} = (M(\mathfrak{C}), \widetilde{B})$ を構成する。
• 変異に関連する完全列が $T$-システムに対応することを示し、すべての $M(\mathfrak{C})$ が変異同値であることを保証する。
• $K(\mathscr{C}_{\mathfrak{g}}^{[a,b]})$ が初期シード $[\mathscr{S}]$ を備えたクラスター代数 $\mathscr{A}([\mathscr{S}])$ に同型であることを証明し、これによりモノイダルカテゴリ化を達成する。
• この枠組みを $\mathscr{C}_{\mathfrak{g}}^{-}$ および $\mathscr{C}_{\mathfrak{g}}^{0}$ に適用し、既知の結果を回復し、一様に拡張する。

実験結果

リサーチクエスチョン

• RQ1 有限次元 $U_q'({\mathfrak{g}})$-モジュールの部分カテゴリ $\mathscr{C}_{\mathfrak{g}}^{[a,b]}$ は、そのグローテンディーク環にクラスター代数構造を有するか？
• RQ2 クラスター代数の初期クラスター変数 $K(\mathscr{C}_{\mathfrak{g}}^{[a,b]})$ は、実単純モジュール（特にキリロフ＝レシュティヒン・モジュール）の同型類として実現可能か？
• RQ3 ヘンリシェル＝リュクレールのモノイダルカテゴリ化予想は、許容的鎖を用いた一様な構成により、$\mathscr{C}_{\mathfrak{g}}^{-}$ および $\mathscr{C}_{\mathfrak{g}}^{0}$ に対して満たされるか？
• RQ4 クラスターの変異 $K(\mathscr{C}_{\mathfrak{g}}^{[a,b]})$ はどのようにカテゴリカルに実現され、$T$-システム関係に対応するか？
• RQ5 $\Lambda$-許容性基準は、すべての区間 $[a,b]$ に対して一貫的に初期モノイダルシードを構成するために適用可能か？

主な発見

• 部分カテゴリ $\mathscr{C}_{\mathfrak{g}}^{[a,b]}$ は、許容的鎖 $\mathfrak{C}$ に対して $M(\mathfrak{C})$ をクラスター変数として持つ初期シード $[\mathscr{S}]$ を備えたクラスター代数 $\mathscr{A}([\mathscr{S}])$ のモノイダルカテゴリ化を提供する。
• グローテンディーク環 $K(\mathscr{C}_{\mathfrak{g}}^{[a,b]})$ は初期シード $[\mathscr{S}]$ を備えたクラスター代数に同型であり、クラスター代数構造が確認される。
• $$\mathscr{C}_{\mathfrak{g}}^{-} = \mathscr{C}_{\mathfrak{g}}^{[-\infty,0]}$$ のモノイダルシード $\mathscr{S}^{-} = (M(\mathfrak{C}^{-}), \widetilde{B}^{-})$ は $\Lambda$-許容的であり、これにより $\mathscr{C}_{\mathfrak{g}}^{-}$ におけるモノイダルカテゴリ化予想が裏付けられる。
• $K(\mathscr{C}_{\mathfrak{g}}^{0})$ の初期クラスター変数は、$\mathfrak{C} = (0, \mathcal{L}, \mathcal{L}, \ldots)$ の族 $M(\mathfrak{C})$ によって実現され、$\mathscr{C}_{\mathfrak{g}}^{0}$ は $K(\mathscr{C}_{\mathfrak{g}}^{0})$ のモノイダルカテゴリ化を提供する。
• シード $\mathscr{S}$ の変異は $T$-システムに対応し、完全列 (4.1) は $R$-行列準同型を介して $T$-システム関係を実現する。
• すべての $M(\mathfrak{C})$ は変異同値であり、この構成はすべての $[a,b] \subseteq \mathbb{Z} \sqcup \{\pm\infty\}$ に一様に一般化可能である。