[论文解读] 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}$ 的三重分次 Khovanov-Rozansky 同调在 $k \to \infty$ 时趋于稳定，计算了稳定同调的环结构，并证实了 Gorsky-Oblomkov-Rasmussen-Shende 的一个猜想。通过 Soergel 二元模构造了范畴化的 Young 对称化子，并将稳定同调识别为极限复形 $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.

研究动机与目标

• 证明当 $k \to \infty$ 时，环面链环 $T_{n,k}$ 的三重分次 Khovanov-Rozansky 同调趋于稳定。
• 将稳定同调计算为一个环，证实 Gorsky-Oblomkov-Rasmussen-Shende 的一个猜想。
• 构造 Soergel 二元模的复形 $P_n$，以范畴化方式实现单行分拆的 Young 对称化子。
• 在 Soergel 二元模与 Rouquier 复形的背景下，建立范畴化幂等元的一般理论。

提出的方法

• 构造 Soergel 二元模的复形 $P_n$，以范畴化方式实现单行分拆的 Young 对称化子。
• 证明 $P_n$ 是某些 Rouquier 复形在 $k$ 增大时的稳定极限。
• 将 $T_{n,k}$ 的稳定 Khovanov-Rozansky 同调识别为导出范畴中的导出自同态环 $\operatorname{End}^\bullet_{\mathcal{D}}(P_n)$。
• 利用 Soergel 二元模及其范畴化幂等元的结构来分析极限行为。
• 利用 Young 对称化子的范畴化来控制稳定链同调的同调结构。
• 在 Soergel 二元模范畴的背景下，发展范畴化幂等元的一般工具。

实验结果

研究问题

• RQ1 当 $k \to \infty$ 时，环面链环 $T_{n,k}$ 的三重分次 Khovanov-Rozansky 同调是否趋于稳定？
• RQ2 在 $k \to \infty$ 的极限下，环面链环 $T_{n,k}$ 的稳定同调环具有怎样的结构？
• RQ3 是否能通过 Soergel 二元模以某种方式范畴化单行分拆的 Young 对称化子，从而捕捉到稳定链同调？
• RQ4 Rouquier 复形与环面链环的稳定极限同调之间有何关系？
• RQ5 Soergel 二元模范畴中的范畴化幂等元一般具有哪些性质？

主要发现

• 环面链环 $T_{n,k}$ 的三重分次 Khovanov-Rozansky 同调在 $k \to \infty$ 时趋于稳定，证实了 Gorsky-Oblomkov-Rasmussen-Shende 的一个猜想。
• 稳定同调被显式计算为 Soergel 二元模复形 $P_n$ 的导出自同态环。
• 复形 $P_n$ 范畴化了单行分拆 $(n)$ 的 Young 对称化子，为群代数中的幂等元提供了范畴化提升。
• 对 $T_{n,k}$ 的 Rouquier 复形的稳定极限收敛于 $P_n$，建立了范畴化表示理论与链同调之间的联系。
• 发展了一般范畴化幂等元的理论，其中 $P_n$ 是 Soergel 二元模范畴中稳定幂等元的关键例子。
• 稳定同调环结构完全由 $P_n$ 的导出自同态环决定，提供了完整的代数描述。