[論文レビュー] Rigidity in higher representation theory

Sabin Cautis|arXiv (Cornell University)|Sep 2, 2014

Algebraic structures and combinatorial models参考文献 22被引用数 17

ひとこと要約

本稿では、カテゴリー的 $\mathfrak{g}$-作用の最小枠組みとして $(\mathfrak{g},\theta)$-作用を導入し、ホモロジー的計算を通じて、このような作用がクイバー・ヘック代数（KLR代数）の作用を自然に持つことを証明する。主な結果は、弱い条件下で、$\mathfrak{g}$-関手の合成の自己準同型代数が Lie 代数 $\mathfrak{g}$ によって決定されることを示すリジディティ現象であり、Knofanov-Lauda のカテゴリー化を、単純なカテゴリー的 $\mathfrak{g}$-作用へ一般化する。

ABSTRACT

We describe a categorical g action, called a (g,theta) action, which is easier to check in practice. Most categorical g actions can be shown to be of this form. The main result is that a (g,theta) action carries actions of quiver Hecke algebras (KLR algebras). We discuss applications of this fact to categorical vertex operators, affine Grassmannians (or Nakajima quiver varieties) and to homological knot invariants.

研究の動機と目的

• 完全な Khovanov-Lauda-Rouquier 2表現よりも、具体例での検証が容易なカテゴリー的 $\mathfrak{g}$-作用の最小枠組みを確立すること。
• 単純なカテゴリー的 $\mathfrak{g}$-作用が、分類された量子群に不可欠なクイバー・ヘック代数（KLR代数）の作用を先験的に持たないという問題を解決すること。
• $(\mathfrak{g},\theta)$-作用構造のもとで、$\mathfrak{g}$-関手の合成の自己準同型代数が KLR 代数によって支配されることを証明し、リジディティを確立すること。
• KLR 代数作用に十分な条件を同定することで、Khovanov-Lauda 2表現理論の適用範囲を、より広いカテゴリー的 $\mathfrak{g}$-作用のクラスへ拡張すること。

提案手法

• ホモロジー的制約を制御する追加データ $\theta$ を持つ、最小のカテゴリー的 $\mathfrak{g}$-作用として $(\mathfrak{g},\theta)$-作用の概念を導入する。
• カテゴリー的 $\mathfrak{g}$-作用の公理から得られる随伴関係と同型を用いて、$\operatorname{Hom}$-空間の計算を繰り返し行い、自然変換を制約する。
• $\mathfrak{g}$-関手の合成間の $\operatorname{Hom}$-空間における次元数え上げと非零性の議論を通じて、$T_{ij}$, $X_i$, および $T_{ijk}$ の写像を構成する。
• ホモロジー的計算により、必要な関係式（例：$T_{iji} = T_{jij}$, $T_{ijk} = T_{jik}$）を検証することで、アフィン・ニルヘッケ代数の作用を確立する。
• 一時的（transient）な 2-自己準同型を扱うために、一時的写像を用いる。$\mathfrak{g} = \mathfrak{sl}_n$ のとき、一時的写像による商をとる必要がないという条件を満たす。
• 文献 [CLa] の結果を応用し、$(\mathfrak{g},\theta)$-作用が一時的写像を除いて Khovanov-Lauda の意味での 2表現を誘導することを示す。

実験結果

リサーチクエスチョン

• RQ1 分岐冪やセール関係を仮定しない単純なカテゴリー的 $\mathfrak{g}$-作用—クイバー・ヘック代数（KLR代数）の作用を有することができるか？
• RQ2 $\mathfrak{g}$-関手の合成の自己準同型代数が KLR 代数によって支配されるようにするための、最小限の追加構造（$\theta$）は何か？
• RQ3 $\mathfrak{g}$-関手の合成間の自然変換の構造は、Lie 代数 $\mathfrak{g}$ だけによってどの程度厳密に決定されるか？
• RQ4 一時的（無視可能な）2-自己準同型は、KLR 代数作用の構成において、どのような条件下で安全に無視できるか？
• RQ5 リジディティ結果はすべてのカク＝ムーディ代数へ拡張可能か、それとも $\mathfrak{sl}_n$ を超えて障害が生じるか？

主な発見

• 定理 2.2 が示すように、$(\mathfrak{g},\theta)$-作用は一時的写像を除いてクイバー・ヘック代数の作用を持つ。
• $\operatorname{End}({\sf{E}}_i{\sf{E}}_i)$ の自己準同型代数は $\mathfrak{g}$-作用のデータによって制約され、これにより $X_i$ および $T_{ii}$ の写像の構成が可能になる。
• $\operatorname{Hom}({\sf{E}}_i{\sf{E}}_j{\sf{E}}_k{\mathbf{1}}_\lambda, {\sf{E}}_k{\sf{E}}_j{\sf{E}}_i{\mathbf{1}}_\lambda\langle 3\rangle)$ の次元は 1 以下であり、等号が成り立つのは、ある種の重み射影子 ${\mathbf{1}}_\mu$ が非零であるときである。
• 相異なる $i,j,k$ に対して、$\dim \operatorname{Hom}({\sf{F}}_k{\sf{E}}_i{\sf{E}}_j{\mathbf{1}}_\lambda, {\sf{E}}_j{\sf{E}}_i{\sf{F}}_k{\mathbf{1}}_\lambda\langle -\langle i,j\rangle \rangle) = 1$ が成り立つのは、関連するすべての重み射影子が非零であるときである。
• $\mathfrak{g} = \mathfrak{sl}_n$ のとき、一時的写像の条件を省略でき、商をとらずに KLR 代数作用が成立する。
• この結果は、$(\mathfrak{g},\theta)$-作用が一時的写像を除いて Khovanov-Lauda の意味での 2表現を誘導することを示唆する。