[論文レビュー] Stable homology of torus links via categorified Young symmetrizers I: one-row partitions

Matt Hogancamp|arXiv (Cornell University)|May 29, 2015

Homotopy and Cohomology in Algebraic Topology被引用数 4

ひとこと要約

この論文は、トーラスリンク $T_{n,k}$ の三重に重ねられたケファン・ロザンスキー homology が $k \to \infty$ のとき安定化することを証明し、安定化 homology を環として計算し、Gorsky-Oblomkov-Rasmussen-Shende の予想を確認する。同論文は、Soergel bimodule を用いて分類化されたヤング対称化子を構成し、安定化 homology を極限複体 $P_n$ の導来自己準同型環として同定することで、カテゴリカルなイデムポテンスの基礎理論を確立する。

ABSTRACT

We show that the triply graded Khovanov-Rozansky homology of the torus link $T_{n,k}$ stablizes as $k o \infty$. We explicitly compute the stable homology (as a ring), which proves a conjecture of Gorsky-Oblomkov-Rasmussen-Shende. To accomplish this, we construct complexes $P_n$ of Soergel bimodules which categorify the Young symmetrizers corresponding to one-row partitions and show that $P_n$ is a stable limit of certain Rouquier complexes. A certain derived endomorphism ring of $P_n$ computes the aforementioned stable homology of torus links. Along the way establish some general theory of categorical idempotents.

研究の動機と目的

• トーラスリンク $T_{n,k}$ における三重に重ねられたケファン・ロザンスキー homology が $k \to \infty$ のとき安定化することを証明すること。
• 安定化 homology を環として計算し、Gorsky-Oblomkov-Rasmussen-Shende の予想を確認すること。
• 一列の分割のためのヤング対称化子を分類化する Soergel bimodule の複体 $P_n$ を構成すること。
• Soergel bimodule および Rouquier 複体の文脈におけるカテゴリカルなイデムポテンスの一般理論を確立すること。

提案手法

• 一列の分割のためのヤング対称化子を分類化する Soergel bimodule の複体 $P_n$ を構成すること。
• $P_n$ が特定の Rouquier 複体の系列において $k$ の増加とともに安定極限として現れることを示すこと。
• トーラスリンク $T_{n,k}$ の安定化ケファン・ロザンスキー homology を導来圏における自己準同型環 $\operatorname{End}^\bullet_{\mathcal{D}}(P_n)$ として同定すること。
• Soergel bimodule 及びそれらの分類化されたイデムポテンスの構造を用いて、極限挙動を分析すること。
• ヤング対称化子の分類化を活用して、安定化リンク homology のホモロジー的構造を制御すること。
• Soergel bimodule 圏におけるカテゴリカルなイデムポテンスの一般的枠組みを構築すること。

実験結果

リサーチクエスチョン

• RQ1 トーラスリンク $T_{n,k}$ の三重に重ねられたケファン・ロザンスキー homology は $k \to \infty$ のとき安定化するか？
• RQ2 $k \to \infty$ の極限におけるトーラスリンク $T_{n,k}$ の安定化 homology 環の構造は何か？
• RQ3 一列の分割のためのヤング対称化子は、Soergel bimodule を用いて、安定化リンク homology を捉える形で分類化可能か？
• RQ4 Rouquier 複体は、トーラスリンクの安定化極限におけるリンク homology とどのように関係するか？
• RQ5 Soergel bimodule 圏におけるカテゴリカルなイデムポテンスは、一般にどのような性質を満たすか？

主な発見

• 三重に重ねられたケファン・ロザンスキー homology が $T_{n,k}$ において $k \to \infty$ のとき安定化することを証明し、Gorsky-Oblomkov-Rasmussen-Shende の予想を確認した。
• 安定化 homology は、Soergel bimodule の複体 $P_n$ の導来自己準同型環として明示的に計算された。
• 複体 $P_n$ は一列の分割 $(n)$ のヤング対称化子を分類化し、群代数におけるイデムポテンスのカテゴリカルな持ち上げを提供する。
• トーラスリンク $T_{n,k}$ の Rouquier 複体の安定極限は $P_n$ に収束し、分類化された表現論とリンク homology の間の接続を確立する。
• カテゴリカルなイデムポテンスの一般理論が構築され、$P_n$ は Soergel bimodule 圏における安定イデムポテンスの主要な例として機能する。
• 安定化 homology 環の構造は、$P_n$ の導来自己準同型環によって完全に決定され、完全な代数的記述が得られた。