[論文レビュー] Clasp technology to knot homology via the affine Grassmannian

Sabin Cautis|arXiv (Cornell University)|Jul 9, 2012

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

ひとこと要約

本稿では、アフィン・グラスマンニアンにおける無限大ねじれを用いて、一般化されたジョーンズ＝ウェンツル射影子（クラップ）を全ねじれの極限として実現することで、$υ\text{-}\mathfrak{sl}_m$ のレシュティヒン＝トゥラエフタングル不変量のカテゴリフィケーションを提示する。主な貢献は、$U_q(\mathfrak{sl}_\infty)$-加群 $\Lambda_q^{m\infty}(\mathbb{C}^m \otimes \mathbb{C}^{2\infty})$ を用いた一様なホモロジー的絡み目不変量の構成であり、これはアフィン・グラスマンニアン上の畳み込み代数またはナカジマ・クiver多様体を通じて実現され、スケュー・ハウ双対性により、両者による不変量が同値であることを示す。

ABSTRACT

We categorify all the Reshetikhin-Turaev tangle invariants of type A. Our main tool is a categorification of the generalized Jones-Wenzl projectors (a.k.a. clasps) as infinite twists. Applying this to certain convolution product varieties on the affine Grassmannian we extend our earlier work with Kamnitzer from standard to arbitrary representations.

研究の動機と目的

• $\mathfrak{sl}_m$ のすべてのレシュティヒン＝トゥラエフタングル不変量の、高次表現論を用いた一様なカテゴリフィケーションを提供すること。
• アフィン・グラスマンニアンにおける全ねじれの極限として、一般化されたジョーンズ＝ウェンツル射影子（クラップ）を構成すること。
• スケュー・ハウ双対性を用いて、アフィン・グラスマンニアンとナカジマ・クiver多様体から生じる不変量の同値性を確立すること。
• $U_q(\mathfrak{sl}_\infty)$-加群 $\Lambda_q^{m\infty}(\mathbb{C}^m \otimes \mathbb{C}^{2\infty})$ を用いて、標準的表現から任意の表現への以前の結果の拡張を達成すること。
• 畳み込み多様体上の無限大ねじれ極限と2カテゴリカル構造を通じて、カテゴリフィケートタングル不変量を統一すること。

提案手法

• 全ねじれ $T_\omega$ を用いた極限 $\lim_{\ell \to \infty} T_\omega^{2\ell} \mathbf{1}_{\underline{i}}$ としてクラップをカテゴリフィケーションする。ここで $T_\omega$ は $n$ ストランド上の全ねじれを表す。
• スケュー・ハウ双対性による braid 群の $\Lambda_q^{N}(\mathbb{C}^m \otimes \mathbb{C}^{2N})$ への作用を用いて、有限 $N$ におけるタングル不変量を定義する。
• $N \to \infty$ の $\infty$-極限に移行することで、$U_q(\mathfrak{sl}_\infty)$-加群 $\Lambda_q^{m\infty}(\mathbb{C}^m \otimes \mathbb{C}^{2\infty})$ を得て、一様なカテゴリフィケーションを実現する。
• アフィン・グラスマンニアン上の畳み込み代数を用いて、同加群の幾何的カテゴリフィケーションを実現する。
• 同じ不変量をナカジマ・クiver多様体を用いて構成し、2カテゴリ $\mathcal{K}_{\mathrm{Gr},m}$ と $\mathcal{K}_{\mathrm{Q},m}$ を通じて同値性を示す。
• リカルト複体と $U_q(\mathfrak{sl}_\infty)$ の2表現を用いて、カテゴリフィケートタングル函手を定義し、関係式を検証する。

実験結果

リサーチクエスチョン

• RQ1 一般化されたジョーンズ＝ウェンツル射影子（クラップ）は、幾何的・カテゴリカルな構成を用いて、どのように $\mathfrak{sl}_m$ に対してカテゴリフィケーション可能か？
• RQ2 任意の $\mathfrak{sl}_m$ 表現に対するレシュティヒン＝トゥラエフタングル不変量は、極限構成を用いて一様にカテゴリフィケーション可能か？
• RQ3 同じ $U_q(\mathfrak{sl}_\infty)$-加群に対して、アフィン・グラスマンニアンとナカジマ・クiver多様体によるカテゴリフィケーションの関係は何か？
• RQ4 無限大ねじれ極限 $\lim_{\ell \to \infty} T_\omega^{2\ell}$ は、カテゴリフィケート設定においてクラップ射影子をどのように回復するか？
• RQ5 アフィン・グラスマンニアンとクiver多様体上の2カテゴリカル構造は、どの程度同値なホモロジー的絡み目不変量をもたらすか？

主な発見

• クラップ射影子 $P\mathbf{1}_{\underline{i}}$ は極限 $\lim_{\ell \to \infty} T_\omega^{2\ell} \mathbf{1}_{\underline{i}}$ として実現され、これは型 $A$ のジョーンズ＝ウェンツル射影子の幾何的カテゴリフィケーションを提供する。
• $U_q(\mathfrak{sl}_\infty)$-加群 $\Lambda_q^{m\infty}(\mathbb{C}^m \otimes \mathbb{C}^{2\infty})$ は、$\mathfrak{sl}_m$ のすべてのレシュティヒン＝トゥラエフタングル不変量の、一様なカテゴリフィケーションを支える。
• アフィン・グラスマンニアンによるカテゴリフィケート不変量とナカジマ・クiver多様体による不変量は、2カテゴリ $\mathcal{K}_{\mathrm{Gr},m}$ と $\mathcal{K}_{\mathrm{Q},m}$ を通じて同値である。
• $\Lambda_q^N(\mathbb{C}^m \otimes \mathbb{C}^{2N})$ 上の braid 群の作用（スケュー・ハウ双対性による）は、$\mathfrak{sl}_m$ のレシュティヒン＝トゥラエフ $R$-行列構成と一致する。
• カテゴリフィケートクラップは、$A_{1,2} = \mathbb{C}[t]/t^2$ 上の双モジュールの導来テンソル積として実現され、コーゾール双対性により、型 $A_1$ の以前の構成と関係づけられる。
• $\infty$-極限での作業により、カムニツァーらの以前の研究を、基本的表現に限らない任意の表現へと拡張する。