[论文解读] The HOMFLYPT polynomials of sublinks and the Yokonuma-Hecke algebras

Loïc Poulain d’Andecy, Emmanuel Wagner|arXiv (Cornell University)|Jun 1, 2016

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

一句话总结

本文建立了从 Yokonuma–Hecke 代数上的 Markov 跟迹导出的链路不变量的完整代数描述，表明这些不变量完全由子链路的 linking 数和 HOMFLYPT 多项式决定。关键结果将不变量 $ T_d(L) $ 表示为所有 $ d $ 个非空子链路的完整族的和，其权重由它们的 linking 矩阵和含参数 $ u, v, \gamma' $ 的 HOMFLYPT 多项式决定。

ABSTRACT

We describe completely the link invariants constructed using Markov traces on the Yokonuma-Hecke algebras in terms of the linking matrix and the HOMFLYPT polynomials of sublinks.

研究动机与目标

• 刻画通过 Yokonuma–Hecke 代数 $ Y_{d,n} $ 上的 Markov 跟迹构造的所有链路不变量。
• 明确地用子链路的拓扑不变量（特别是 linking 数和 HOMFLYPT 多项式）表达这些不变量。
• 阐明 Juyumaya–Lambropoulou 不变量在 $ Y_{d,n} $ 所有不变量空间中的代数起源。
• 通过子链路的组合数据及其 linking 结构，建立 $ T_d(L) $ 的精确公式。

提出的方法

• 利用 Yokonuma–Hecke 代数 $ Y_{d,n} $ 与标准 Hecke 代数张量积上矩阵代数直和之间的同构定理。
• 应用 $ \{Y_{d,n}\}_{n\geq 1} $ 上 Markov 跟迹的分类，其维数为 $ 2^d - 1 $，以参数化不变量。
• 使用通过同构映射下 braid 的像定义的迹映射 $ T_d(L) $，并将其与 braid 的闭包到链路的构造联系起来。
• 在 braid 置换下固定的 $ d $ 个链路段的 $ d $ 元组与链路 $ L $ 的 $ d $ 个非空子链路的完整族之间建立双射。
• 通过 linking 数 $ l(L_1,\dots,L_d) $ 和 HOMFLYPT 多项式 $ P(L_i) $，将迹公式转化为对子链路族的求和。
• 通过分析生成元 $ g_i $ 和 $ t_j $ 的作用及其在同构下的像，特别是 $ \gamma' $ 的作用，推导出主公式。

实验结果

研究问题

• RQ1 如何用经典链路不变量表达从 Yokonuma–Hecke 代数上的 Markov 跟迹导出的不变量 $ T_d(L) $？
• RQ2 子链路的 linking 结构与不变量 $ T_d(L) $ 中的参数之间存在何种精确关系？
• RQ3 是否能仅用子链路的 HOMFLYPT 多项式和 linking 数来描述 $ Y_{d,n} $ 的全部不变量空间？
• RQ4 当 $ d $ 超过链路 $ L $ 的分量数时，为何 $ T_d(L) $ 为零，其代数结构如何体现这一点？
• RQ5 Juyumaya–Lambropoulou 不变量如何融入这种基于子链路的不变量的更广泛框架？

主要发现

• 不变量 $ T_d(L) $ 由 $ d! \sum_{\{L_1,\dots,L_d\}} (\gamma')^{l(L_1,\dots,L_d)} P(L_1)\cdots P(L_d) $ 给出，其中求和覆盖 $ L $ 的所有 $ d $ 个非空子链路的完整族，$ l(L_1,\dots,L_d) $ 为它们之间 linking 数的总和。
• 当 $ d > N $ 时，其中 $ N $ 为 $ L $ 的分量数，$ T_d(L) = 0 $，因为不存在 $ d $ 个非空子链路的完整族。
• 当 $ d = N $，即分量数时，$ T_N(L) = N! (\gamma')^{l(K_1,\dots,K_N)} P(K_1)\cdots P(K_N) $，其中 $ K_i $ 为 $ L $ 的分量，表明求和仅含唯一一项。
• 公式中的参数 $ \gamma' $ 源于 $ Y_{d,n} $ 上的 Markov 跟迹构造，且仅当链路为纽结时，这些不变量才与 HOMFLYPT 多项式拓扑等价。
• 该公式确认 $ T_d(L) $ 仅在 $ d $ 不超过 $ L $ 的分量数时非平凡，其结构完全由子链路数据编码。
• 结果提供了 $ Y_{d,n} $ 上不变量的完整代数实现，表明它们是子链路 HOMFLYPT 多项式乘积的线性组合，权重为 linking 数。