[论文解读] A topological construction of Cherednik's $\mathfrak{sl}_2$ torus knot polynomials

Peter Samuelson|arXiv (Cornell University)|Aug 3, 2014

Geometric and Algebraic Topology参考文献 22被引用 4

一句话总结

本文通过 $ A_1 $ 型球面双 affine Hecke 代数 $ \mathrm{SH}_{q,t} $ 上的模，对 Cherednik 的 $ \mathfrak{sl}_2 $ 环形纽结多项式给出了一个拓扑构造，提供了这些多项式的纯拓扑解释，并证明了其在 $ r,s $ 环形纽结情形下对彩色 Jones 多项式的专一化。该构造进一步推广至单位纽结的所有迭代套索，为 $ \mathfrak{sl}_2 $ 纽结不变量建立了拓扑框架。

ABSTRACT

We give a topological realization of the (spherical) double affine Hecke algebra $\mathrm{SH}_{q,t}$ of type $A_1$, and we use this to construct a module over $\mathrm{SH}_{q,t}$ for any knot $K \subset S^3$. As an application, we give a purely topological interpretation of Cherednik's 2-variable polynomials $P_n(r,s; q,t)$ of type $A_1$ from [Che13] (where $r,s \in \mathbb{Z}$ are relatively prime), and we give a new proof that these specialize to the colored Jones polynomials of the $r,s$ torus knot. We then generalize Cherednik's construction (for $\mathcal{sl}_2$) to all iterated cables of the unknot and prove the corresponding specialization property. Finally, in the appendix we compare our polynomials associated to iterated torus knots to the ones recently defined in [CD14], in the specialization $t=-q^2$.

研究动机与目标

• 为 $ A_1 $ 型球面双 affine Hecke 代数 $ \mathrm{SH}_{q,t} $ 提供一个纯拓扑实现。
• 为任意纽结 $ K \subset S^3 $ 构造一个 $ \mathrm{SH}_{q,t} $ 上的模，从而通过代数结构实现拓扑不变量。
• 为 Cherednik 的两变量多项式 $ P_n(r,s; q,t) $（其中 $ r,s \in \mathbb{Z} $ 互素）提供一个拓扑解释。
• 将 Cherednik 的构造推广至单位纽结的所有迭代套索，并验证其对彩色 Jones 多项式的专一化性质。
• 在专一化 $ t = -q^2 $ 时，比较此处构造的多项式与 [CD14] 中的多项式。

提出的方法

• 通过纽结补集上的几何与代数结构，将 $ \mathrm{SH}_{q,t} $ 实现为一个拓扑不变量。
• 利用纽结理论数据（特别是带框架的链和手术）构造 $ \mathrm{SH}_{q,t} $ 上的模。
• 通过 $ \mathrm{SH}_{q,t} $ 在同调或 skein 模上的作用，定义与纽结相关的不变量。
• 将模构造应用于环形纽结和迭代套索，利用 $ \mathrm{SH}_{q,t} $ 的代数性质。
• 通过拓扑方法对所得多项式进行专一化，以恢复彩色 Jones 多项式，从而证明专一化性质。
• 通过显式计算与结构分析，在 $ t = -q^2 $ 时比较构造出的多项式与 [CD14] 中的多项式。

实验结果

研究问题

• RQ1 Cherednik 的 $ \mathfrak{sl}_2 $ 环形纽结多项式能否通过 $ \mathrm{SH}_{q,t} $ 获得纯拓扑解释？
• RQ2 在 $ \mathrm{SH}_{q,t} $ 上的模构造是否能产生对环形纽结的彩色 Jones 多项式具有专一化性质的不变量？
• RQ3 Cherednik 的构造能否推广至单位纽结的所有迭代套索，同时保持专一化性质？
• RQ4 此处构造的迭代环形纽结多项式与 [CD14] 中的多项式在 $ t = -q^2 $ 时有何比较？
• RQ5 球面双 affine Hecke 代数 $ \mathrm{SH}_{q,t} $ 在统一代数与拓扑纽结不变量方面起什么作用？

主要发现

• 本文为任意纽结 $ K \subset S^3 $ 构造了 $ \mathrm{SH}_{q,t} $ 上的模，为该代数提供了拓扑实现。
• 通过此模构造，Cherednik 的两变量多项式 $ P_n(r,s; q,t) $ 获得了纯拓扑解释。
• 构造出的多项式专一化为 $ r,s $ 环形纽结的彩色 Jones 多项式，从而为该专一化提供了新的拓扑证明。
• 该构造推广至单位纽结的所有迭代套索，将 Cherednik 的原始框架从简单环形纽结扩展至更广范围。
• 在专一化 $ t = -q^2 $ 时，迭代环形纽结的多项式与 [CD14] 中定义的多项式一致，确认了与近期构造的一致性。
• 球面双 affine Hecke 代数 $ \mathrm{SH}_{q,t} $ 作为统一的代数结构，将拓扑纽结不变量与代数纽结多项式联系起来。