[论文解读] On stable Khovanov homology of torus knots

Eugene Gorsky, Alexei Oblomkov+1 more|arXiv (Cornell University)|Jun 11, 2012

Geometric and Algebraic Topology参考文献 29被引用 7

一句话总结

本文提出，torus knots $T(n,\infty)$ 的稳定Khovanov同调同构于由偶变量和奇变量上的二次关系定义的微分分次代数的Koszul同调，其Poincaré级数与Rogers-Ramanujan恒等式相关联。该猜想通过在 $\mathbb{Z}/2$、$\mathbb{Q}$ 和 $\mathbb{Z}/7$ 上的计算得到支持，与 $T(7,9)$ 的Khovanov同调一致，包括扭挠的检测。

ABSTRACT

We conjecture that the stable Khovanov homology of torus knots can be described as the Koszul homology of an explicit non-regular sequence of quadratic polynomials. The corresponding Poincare series turns out to be related to the Rogers-Ramanujan identity.

研究动机与目标

• 提出 $T(n,\infty)$ 的稳定Khovanov同调 $\operatorname{Kh}(T(n,\infty))$ 的结构描述，利用Koszul同调。
• 使用 $\mathbb{Z}/2$、$\mathbb{Q}$ 和 $\mathbb{Z}/7$ 系数的同调计算为该猜想提供计算证据。
• 通过Feigin-Stoyanovsky型顶点算子方法，将同调的Poincaré级数与Rogers-Ramanujan恒等式关联起来。
• 在 $\operatorname{Kh}_{\text{alg}}(n,\infty;\mathbb{Q})$ 中识别代数生成元与关系，并验证其与 $T(7,9)$ 的Khovanov同调的一致性。
• 检测并确认 $T(7,9)$ 的Khovanov同调中存在非平凡的 $\mathbb{Z}/7$-扭挠，支持猜想的准确性。

提出的方法

• 定义一个微分分次代数，其偶生成元为 $x_k$，奇生成元为 $\xi_k$，微分 $d_2$ 由 $d_2(\xi_k) = \sum_{i=0}^k x_i x_{k-i}$ 和 $d_2(x_k) = 0$ 给出。
• 计算该复形的同调，记为 $\operatorname{Kh}_{\text{alg}}(n,\infty)$，即非正则序列的二次多项式的Koszul同调。
• 使用 $\mathbb{Z}/2$ 系数推导出包含乘积项 $1+q^{2i+4}t^{2i+1}$ 和 $1-q^{4i+4}t^{4i}$ 的闭式Poincaré级数。
• 对于 $\mathbb{Q}$-系数，构造显式的代数生成元 $x_i$ 和 $\mu_i$，其双次数为 $q^{2i+2}t^{2i}$ 和 $q^{2i+8}t^{2i+3}$，并满足关系式 $x(z)^2=0$、$x(z)\mu(z)=0$、$\ddot{x}(z)\mu(z) - \dot{x}(z)\dot{\mu}(z)=0$ 以及 $\mu(z)\dot{\mu}(z)=0$ 模 $z^n$。
• 应用Feigin与Stoyanovsky的顶点算子技术，推导出一个与Rogers-Ramanujan恒等式匹配的猜想Poincaré级数。
• 将猜想的同调与使用JavaKh计算的 $T(7,9)$ 的精确Khovanov同调进行比较，包括 $\mathbb{Z}/7$ 中的扭挠检测。

实验结果

研究问题

• RQ1 稳定Khovanov同调 $T(n,\infty)$ 的稳定Khovanov同调是否可描述为具有特定二次关系的微分分次代数的Koszul同调？
• RQ2 能否通过所提出的代数结构，将 $\operatorname{Kh}(T(n,\infty))$ 的Poincaré级数表达为Rogers-Ramanujan恒等式的形式？
• RQ3 $\mathbb{Z}/2$、$\mathbb{Q}$ 和 $\mathbb{Z}/7$ 系数的计算是否确认了猜想的结构，特别是扭挠的检测？
• RQ4 $\operatorname{Kh}_{\text{alg}}(n,\infty;\mathbb{Q})$ 中的代数生成元与关系是否与 $T(7,9)$ 的实际Khovanov同调一致？
• RQ5 微分 $d_2$ 在所有系数 $\alpha_{ik}=1$ 的情况下，是否由物理和表示论约束唯一确定，而非一般选择？

主要发现

• 在 $\mathbb{Z}/2$ 系数下，$\operatorname{Kh}_{\text{alg}}(n,\infty)$ 的Poincaré级数为 $P_n(q,t;\mathbb{Z}_2) = \prod_{i=0}^{n-1}\frac{1+q^{2i+4}t^{2i+1}}{1-q^{2i+2}t^{2i}} \cdot \prod_{i=0}^{\lfloor(n-1)/2\rfloor}\frac{1-q^{4i+4}t^{4i}}{1+q^{4i+4}t^{4i+1}}$。
• 对于 $\mathbb{Q}$-系数，猜想 $\operatorname{Kh}_{\text{alg}}(n,\infty)$ 具有 $n$ 个偶生成元 $x_i$ 和 $n-1$ 个奇生成元 $\mu_i$，满足涉及 $x(z)$、$\mu(z)$ 及其导数模 $z^n$ 的四个关系。
• 在 $\mathbb{Q}$-系数下，$T(7,9)$ 的Poincaré级数与猜想结构一致，其乘法生成元位于双次数 $q^2, q^4t^2, \dots, q^{14}t^{12}$ 和 $q^8t^3, \dots, q^{18}t^{13}$。
• 在 $\mathbb{Z}/2$-系数下，$\operatorname{Kh}(T(7,9))$ 的总维数为 286，约为 $\mathbb{Q}$ 系数下的两倍，且生成元的双次数与猜想的 $x_i$ 和 $\xi_k$ 模式一致。
• $T(7,9)$ 的Khovanov同调在双次数 $q^{20}t^{14}$ 处包含非平凡的 $\mathbb{Z}/7$-扭挠，与猜想的代数结构一致。
• 在 $\mathbb{Q}$-系数下，$T(7,9)$ 的精确归一化Poincaré多项式总维数为 134，且在所有度数和生成元上与猜想的代数模型完全匹配。