[论文解读] Knot theory related to generalized and cyclotomic Hecke algebras of type B

Sofia Lambropoulou|ArXiv.org|May 26, 2004

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

一句话总结

本文在广义与分圆型B型Hecke代数上构造马尔可夫迹，以推导三维实心环面中纽结的琼斯型多项式不变量。通过引入扭曲生成元 $ t_i' $ 扩展迹的框架，建立辫子等价性兼容的 skein 关系与初始条件，恢复已知结果，并通过归一化将构造推广至透镜空间 $ L(p,1) $。

ABSTRACT

In this paper we consider all possible generalizations of the B-type Hecke algebras, namely the cyclotomic and what we call 'generalized', and we construct Markov traces on each of them, so as to obtain all possible different levels of homfly-pt analogues in the solid torus related to the (Hecke) algebras of B-type.

研究动机与目标

• 通过B型Hecke代数推广琼斯多项式型不变量，以适用于实心环面中的纽结。
• 将马尔可夫迹的构造扩展至广义与分圆型B型Hecke代数。
• 推导尊重实心环面中辫子等价性的不变量所对应的skein关系与初始条件。
• 通过代数与组合方法，恢复并拓展关于实心环面与透镜空间 $ L(p,1) $ 的第三skein模的结果。
• 通过商代数与归一化迹，为在任意三维流形中构造纽结不变量提供框架。

提出的方法

• 使用B型Artin辫子群 $ B_{1,n} $ 作为实心环面中混合辫子的几何模型。
• 将Iwahori-Hecke代数 $ Χ_n(q,Q) $ 定义为群代数 $ \mathbb{Z}[q^{\pm1}, Q^{\pm1}]B_{1,n} $ 的商代数，通过消去 $ g_i $ 与 $ t $ 的二次关系。
• 引入扭曲生成元 $ t_n' = g_n \cdots g_1 t g_1^{-1} \cdots g_n^{-1} $，以构成代数的归纳基。
• 通过四条规则定义马尔可夫迹：在共轭下不变、单位元上归一化，以及对 $ g_n $ 与 $ t_n' $ 乘法的线性性。
• 应用skein关系 $ \dagger $ 与 $ \ddagger $ 递归计算不变量，初始条件来自平凡纽结与任意扭数的闭合环路。
• 通过要求在滑动移动下不变，对透镜空间 $ L(p,1) $ 的不变量进行归一化，从而将实心环面的构造推广至该情形。

实验结果

研究问题

• RQ1 如何系统地在广义与分圆型B型Hecke代数上构造马尔可夫迹，以获得实心环面中纽结的不变量？
• RQ2 扭曲生成元 $ t_i' $ 在实现迹与skein关系的归纳构造中起什么作用？
• RQ3 初始条件——特别是对平凡纽结与任意扭数环路的取值——如何决定完整的不变量？
• RQ4 该构造能否推广至透镜空间 $ L(p,1) $，需要何种额外的归一化？
• RQ5 实心环面的第三skein模及其商代数的代数与组合结构为何？

主要发现

• 由分圆型Hecke代数 $ \mathcal{H}_n(q,d) $ 导出的不变量 $ \mathcal{X} $ 完全由skein规则与初始条件决定，且环路扭数受 $ d-1 $ 限制。
• 对于广义Hecke代数 $ \mathcal{H}_n(q,\infty) $，不变量 $ \mathcal{X} $ 由相同的skein规则与初始条件定义，允许任意扭数。
• 所有混合纽结 $ \widehat{t_{i_1}'^{k_1} \cdots t_{i_r}'^{k_r}} $（其中 $ k_i \in \mathbb{Z} $）构成实心环面第三skein模的一组基。
• 该构造通过广义Hecke代数 $ \mathcal{H}_n(q,\infty) $ 恢复了Hoste与Kidwell以及Turaev关于实心环面第三skein模的结果。
• 通过不同skein规则定义的不变量 $ \mathcal{Y} $ 是实心环面中定向纽结的琼斯多项式类比，且在翻转移动下保持不变。
• 对 $ \mathcal{X} $ 进行归一化以使其在滑动移动下不变，从而实现向透镜空间 $ L(p,1) $ 的推广，为计算其第三skein模提供了框架。