[論文レビュー] Monoidal categorification and quantum affine algebras II

Masaki Kashiwara, Myungho Kim+2 more|arXiv (Cornell University)|Mar 18, 2021

Algebraic structures and combinatorial models被引用数 6

ひとこと要約

本稿では、キリロフ＝レシュティヒン加群とユニポテンツ量子マイナーを一般化する、量子アフィン代数上のアフィン行列式的加群を導入する。適切なi-ボックスの鎖とボックス移動を用いて、量子アフィン代数の関係とクラスター代数構造を統一するTシステムを確立し、さまざまな加群のカテゴリがクラスター代数のモノイダル分類を与えることを証明する。これは、任意の量子アフィン代数に対してヘンツェンベルク＝レクラーのカテゴリを含む。

ABSTRACT

We introduce a new family of real simple modules over the quantum affine algebras, called the affine determinantial modules, which contains the Kirillov-Reshetikhin (KR)-modules as a special subfamily, and then prove T-systems among them which generalize the T-systems among KR-modules and unipotent quantum minors in the quantum unipotent coordinate algebras simultaneously. We develop new combinatorial tools: admissible chains of i-boxes which produce commuting families of affine determinantial modules, and box moves which describe the T-system in a combinatorial way. Using these results, we prove that various module categories over the quantum affine algebras provide monoidal categorifications of cluster algebras. As special cases, Hernandez-Leclerc categories provide monoidal categorifications of the cluster algebras for an arbitrary quantum affine algebra.

研究の動機と目的

• アフィン行列式的加群と呼ばれる、キリロフ＝レシュティヒン加群とユニポテンツ量子マイナーを一般化する新しい実単純加群の族を構成すること。
• これらの加群間のTシステムを確立し、量子アフィン代数の関係とユニポテンツ量子マイナーモノイド環の関係を統一すること。
• 加群の可換族とTシステムを記述するための組合せ的道具として、適切なi-ボックスの鎖とボックス移動を考案すること。
• 量子アフィン代数上の加群のカテゴリ、特にヘンツェンベルク＝レクラーのカテゴリが、クラスター代数のモノイダル分類を与えることを証明すること。

提案手法

• i-ボックスに関連するアフィン行列式的加群を導入し、キリロフ＝レシュティヒン加群を一般化する。
• アフィン行列式的加群の可換族を生成するためのi-ボックスの鎖を定義する。
• ボックス移動を、アフィン行列式的加群間のTシステムを記述するための組合せ的道具として導入する。
• 量子アフィンシューア＝ワイエルシュトラウス双対性とPBW対を用いて、加群のカテゴリとクラスター代数を関連付ける。
• 適切な鎖からモノイダルシードを構成し、それが完全にΛ-適切であることを証明する。
• 切断された鎖と全射性の議論を用いて、クラスター代数と加群のカテゴリのグロテンディーク環との同型を確立する。

実験結果

リサーチクエスチョン

• RQ1 量子アフィン代数において、キリロフ＝レシュティヒン加群とユニポテンツ量子マイナーを両方含む、統一された実単純加群の族をどのように構成できるか。
• RQ2 これらの新しい加群間のTシステムを支配する組合せ的構造は何か。また、それらは既知の関係をどのように一般化するか。
• RQ3 有限次元的可積分加群のカテゴリが、量子アフィン代数上でクラスター代数のモノイダル分類を与えることができるか。
• RQ4 適切なi-ボックスの鎖とボックス移動は、Tシステムと可換族の構造をどのように符号化するか。
• RQ5 適切なi-ボックスの鎖に対応するモノイダルシードの正確な交換行列構造は何か。

主な発見

• アフィン行列式的加群は、キリロフ＝レシュティヒン加群を部分族として含む、実単純加群の新しい族として導入された。
• アフィン行列式的加群間のTシステムは、量子アフィン代数の関係とユニポテンツ量子マイナーの関係を両方一般化する。
• 適切なi-ボックスの鎖は、アフィン行列式的加群の可換族を生成する。
• ボックス移動は、加群の変異を用いてTシステムを組合せ的に記述する。
• カテゴリ $\mathscr{C}_{\mathfrak{g}}^{[a,b],\mathcal{D},\widehat{\underline{w}}_0}$ のグロテンディーク環は、完全にΛ-適切なモノイダルシードを介してクラスター代数と同型である。
• 主要定理により、ヘンツェンベルク＝レクラーのカテゴリ $\mathscr{C}_{\mathfrak{g}}^0$ と $\mathscr{C}_{\mathfrak{g}}^-$ が、任意の量子アフィン代数に対してクラスター代数のモノイダル分類を与えることが確立された。