[論文レビュー] On uniqueness of tensor products of irreducible categorifications

Ivan Losev, Ben Webster|arXiv (Cornell University)|Mar 6, 2013

Algebraic structures and combinatorial models参考文献 12被引用数 13

ひとこと要約

この論文は、Kac-Moody代数の既約表現のテンソル積のカテゴライゼーションについて、普遍的な公理的特徴付けを確立し、テンソル積の組み合わせ論と整合する強いストラティファイドカテゴリー構造を導入する。任意の such なカテゴライゼーションが、以前に定義された圏 $ \mathcal{C}(\boldsymbol{\underline{\nu}})$ と一意に同値であり、最高重みクリスタルのテンソル積への自然なクリスタル同型が存在することを証明する。

ABSTRACT

In this paper, we propose an axiomatic definition for a tensor product categorification. A tensor product categorification is an abelian category with a categorical action of a Kac-Moody algebra g in the sense of Rouquier or Khovanov-Lauda whose Grothendieck group is isomorphic to a tensor product of simple modules. However, we require a much stronger structure than a mere isomorphism of representations; most importantly, each such categorical representation must have standardly stratified structure compatible with the categorification functors, and with combinatorics matching those of the tensor product. With these stronger conditions, we recover a uniqueness theorem similar in flavor to that of Rouquier for categorifications of simple modules. Furthermore, we already know of an example of such a categorification: the representations of algebras T^λpreviously defined by the second author using generators and relations. Next, we show that tensor product categorifications give a categorical realization of tensor product crystals analogous to that for simple crystals given by cyclotomic quotients of KLR algebras. Examples of such categories are also readily found in more classical representation theory; for finite and affine type A, tensor product categorifications can be realized as quotients of the representation categories of cyclotomic q-Schur algebras.

研究の動機と目的

• Kac-Moody代数の既約表現のテンソル積のカテゴライゼーションについて、普遍的で公理的な特徴付けを提供すること。
• 純粋にグローテンディーク群の同型に依存する既存の構成の恣意的性を克服し、テンソル積の組み合わせ論と強い構造的整合性を持つより強い構造的枠組みを定義すること。
• カテゴライゼーションにおける単純対象とテンソル積クリスタル $B(\nu_1) \otimes \cdots \otimes B(\nu_\ell)$ の間の自然なクリスタル同型を確立すること。これは先行研究における予想である。
• 生成子と関係式によって以前に定義された圏 $\mathcal{C}(\boldsymbol{\underline{\nu}})$ が、新しい公理のもとで一意なようなカテゴライゼーションであることを証明すること。
• Lie超代数表現理論やカテゴリカル $\mathfrak{g}$-作用の2カテゴリにおける内部テンソル積構造への応用の基盤を築くこと。

提案手法

• テンソル積カテゴライゼーションを、カテゴリカル $\mathfrak{g}$-作用と、テンソル積の組み合わせ論と整合する標準的ストラティファイド構造を持つアーベル圏として定義する。
• テンソル因子の順序に基づくストラティフィケーションの順序を定義し、カテゴライゼーション関手とクリスタル構造との整合性を保証する。
• カテゴリカルな分解を用いて、帰納的に部分圏をより小さいテンソル積のカテゴライゼーションとして特定し、問題を低ランクのケースに還元する。
• テンソル因子の数に関する帰納法を用い、最初の $\ell-1$ 個の因子に対応する部分圏が既に $\mathcal{C}(\nu_1, \dots, \nu_{\ell-1})$ と同定されていると仮定する。
• カテゴライゼーションとクリスタルの間で $h_-$-不変量が等しいことを利用して、単純対象上のカシワラ作用素がクリスタル作用素と一致することを証明する。
• $i$-ファミリーに逆辞書式順序を導入し、$\tilde{e}$-作用の帰納的比較により、$\tilde{e}L(\boldsymbol{\underline{\lambda}}) = L(\tilde{e}\boldsymbol{\underline{\lambda}})$ を示し、クリスタル同型を完成させる。

実験結果

リサーチクエスチョン

• RQ1 Kac-Moody代数の既約表現のテンソル積のカテゴライゼーションについて、普遍的な公理的特徴付けを与えることができるか？
• RQ2 生成子と関係式によって以前に定義された圏 $\mathcal{C}(\boldsymbol{\underline{\nu}})$ は、テンソル積の組み合わせ論と強い構造的整合性を持つようなカテゴライゼーションとして一意であるか？
• RQ3 任意のテンソル積カテゴライゼーションは、その単純対象とテンソル積クリスタル $B(\nu_1) \otimes \cdots \otimes B(\nu_\ell)$ の間で自然なクリスタル同型をもつのか？
• RQ4 カテゴリカルな分解とストラティフィケーションに基づく帰納的議論によって、このようなカテゴライゼーションの一意性を確立できるか？
• RQ5 これらのカテゴライゼーションは、カテゴリカル $\mathfrak{g}$-作用の2カテゴリにおける内部テンソル積構造をどの程度実現するのか？

主な発見

• 任意の $V_{\nu_1} \otimes \cdots \otimes V_{\nu_\ell}$ に対するテンソル積カテゴライゼーションは、$\mathcal{C}(\boldsymbol{\underline{\nu}})$ と強く等変同型であり、一意性が確立される。
• 任意の such なカテゴライゼーションにおける単純対象のクリスタルは、自然にテンソル積クリスタル $B(\nu_1) \otimes \cdots \otimes B(\nu_\ell)$ に同型であり、先行研究の予想が確認される。
• カテゴライゼーションにおける単純対象 $L(\boldsymbol{\underline{\lambda}})$ の $h_-$-不変量は、対応する重みにおけるクリスタルの $h_-$-不変量と等しく、整合性が保証される。
• カシワラ作用素 $\tilde{e}$ は単純対象上で $\tilde{e}L(\boldsymbol{\underline{\lambda}}) = L(\tilde{e}\boldsymbol{\underline{\lambda}})$ として作用し、カテゴリカルレベルでのクリスタル同型が証明される。
• 証明は、カテゴリカルな分解と $h_\pm$-不変量の等しさに依存する帰納的議論に立脚しており、これにより $\tilde{e}$-作用がカテゴリカル作用と可換になることが強制される。