[論文レビュー] A brief review of abelian categorifications

Mikhail Khovanov, Volodymyr Mazorchuk+1 more|ArXiv.org|Feb 25, 2007

Molecular spectroscopy and chirality参考文献 1被引用数 5

ひとこと要約

本稿では、アーベル圏と完全関手を用いた可換なカテゴリフィケーションの枠組みを提示し、非負整数係数を持つ代数的構造がGroーデンディエック群と関手作用によってどのように持ち上がるかを示している。主な結果として、$ℓ_n$の最高重み圏を介した対称群およびヘッケ代数の表現のカテゴリフィケーションが得られ、組合せ的不変量を用いてカルタン行列の行列式の明示的公式が導出されている。

ABSTRACT

This article contains a review of categorifications of semisimple representations of various rings via abelian categories and exact endofunctors on them. A simple definition of an abelian categorification is presented and illustrated with several examples, including categorifications of various representations of the symmetric group and its Hecke algebra via highest weight categories of modules over the Lie algebra sl(n). The review is intended to give non-experts in representation theory who are familiar with the topological aspects of categorification (lifting quantum link invariants to homology theories) an idea for the sort of categories that appear when link homology is extended to tangles.

研究の動機と目的

• 非負構造定数を持つ基底を備えた$A$-加群の一般的なアーベル的カテゴリフィケーションの枠組みを形式化すること。
• 対称群およびそのヘッケ代数の表現のカテゴリフィケーションを通じて、$\mathfrak{sl}_n$の最高重み圏を用いた具体的な例を通じて、この枠組みを提示すること。
• Groーデンディエック群と安定圏を用いた、カルタン行列の行列式などの代数的不変量のカテゴリカル解釈を探索すること。
• この枠組みを次数付き設定に拡張し、次数付きカルタン行列の行列式がカジダン＝ルシュティグ多項式および量子整数とどのように関係するかを明らかにすること。
• 次数付きカルタン行列の行列式が、既知の事例および古典的公式の$q$-アナローグに基づいて、量子整数の積であると予想すること。

提案手法

• 弱アーベル的カテゴリフィケーションを、アーベル圏$\mathcal{B}$、同型写像$\varphi: K(\mathcal{B}) \xrightarrow{\sim} B$、および完全自己関手$F_i$により定義し、$[F_i]$が$B$上の基底要素$a_i$の作用を引き上げることを保証する。
• Groーデンディエック群$K(\mathcal{B})$を用い、単純対象$[L_j]$の同型類によって生成され、区別された基底を備えた$B$の加群を実現する。
• 合成$F_i F_j$が$\bigoplus_k F_k^{c_{ij}^k}$に同型であることを保証し、代数$A$における乗法構造定数$c_{ij}^k$と一致させる。
• nilCoxeter代数$R_n$上の加群圏の直和を用いてカテゴリフィケーションを構成し、$K(R_n\text{-mod}) \cong \mathbb{Z}$であり、$[L_n]$が$\mathcal{A}_1$-加群$B$における$\frac{x^n}{n!}$に写像されることを示す。
• 対称代数$A^\mu$の有限次元加群の圏$\mathcal{C}^\mu$のカルタン行列を計算し、単純加群の射の次元$\dim \mathrm{Hom}(P_a, P_b)$を用いて、$c_{a,b} = \dim \mathrm{Hom}(P_a, P_b)$（$P_a$は非分解的射影加群）と定義する。
• 二項係数とJantzen-Schaperの公式を用いた組合せ的公式を用いてカルタン行列の行列式を導出し、量子整数を用いて次数付きの場合に拡張する。

実験結果

リサーチクエスチョン

• RQ1 非負構造定数を持つ$A$-加群のアーベル的カテゴリフィケーションを体系的に構成する方法は何か？
• RQ2 カルタン行列の行列式のカテゴリカル解釈は、安定圏とGroーデンディエック群を用いてどのように解釈できるか？
• RQ3 任意の分割$\lambda$に対して、次数付きカルタン行列の行列式は量子整数の積として表現可能か？
• RQ4 カジダン＝ルシュティグ多項式は、$\mathfrak{sl}_n$表現のカテゴリフィケーションにおける次数付きカルタン行列の成分とどのように関係するか？
• RQ5 シャポバロフ形式は、非可約$\mathfrak{sl}_n$-加群のカテゴリフィケーションにおいて果たす役割は何か？また、その行列式はカルタン行列とどのように関係するか？

主な発見

• 分割$\lambda = (n)$に対応する圏$\mathcal{C}^\mu$のカルタン行列の行列式は1であり、$\lambda = (1^n)$では$n!$、$\lambda = (n-1,1)$では$n$である。
• 分割$\lambda = (2^n)$に対して、行列式は$\prod_{i=1}^n (i+1)^{r_{n,i}}$で与えられ、ここで$r_{n,i} = \binom{2n}{n-i} - 2\binom{2n}{n-i-1} + \binom{2n}{n-i-2}$であり、$\binom{j}{s} = 0$（$s < 0$のとき）と定義する。
• 分割$\lambda = (2^n)$に対する次数付きカルタン行列の行列式は、同じ積の式で与えられ、ただし$i+1$が量子整数$[i+1] = 1 + q^2 + \cdots + q^{2i}$に置き換えられる。
• 行列式$\det(C) \neq 0$のとき、カルタン行列の行列式の絶対値は、安定圏$A^\mu\text{-\underline{mod}}$のGroーデンディエック群の濃度に等しい。
• 次数付きカルタン行列の行列式は、対称群のカジダン＝ルシュティグ多項式からアルゴリズム的に計算可能である。
• 著者らは、任意の分割$\lambda$に対して、次数付きカルタン行列の行列式が適切な重複度をもつ量子整数$[j]$の積であると予想しており、$q$-アナローグのJantzen-Schaperの公式による支持がある。