[论文解读] KBSM of the product of a disk with two holes and S^{1}

Mieczysław K. Dąbkowski, Maciej Mroczkowski|ArXiv.org|Aug 27, 2008

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

一句话总结

本文引入了在 $F \times S^1$ 上的链的图解演算和 Reidemeister 移动，其中 $F$ 是一个可定向曲面，并计算了 $F_{0,3} \times S^1$ 的 Kauffman 模型括号 skein 模块（KBSM），即一个带两个孔的圆盘与圆的乘积。通过一种新颖的图解方法和在扩展 Reidemeister 移动下的不变性论证，作者证明了 $F_{0,3} \times S^1$ 的 KBSM 是自由的，解决了 Przytycki（2000）的问题 4.4，并支持了如下猜想：KBSM 中的挠元仅来自不可压缩且不平行于边界面的曲面。

ABSTRACT

We introduce diagrams and Reidemeister moves for links in FxS^{1}, where F is an orientable surface. Using these diagrams we compute (in a new way) the Kauffman Bracket Skein Modules (KBSM) for D^{2}xS^{1} and AxS^{1}, where D^{2} is a disk and A is an annulus. Moreover, we also find the KBSM for the F_{0,3}xS^{1}, where F_{0,3} denotes a disk with two holes, and thus show that the module is free.

研究动机与目标

• 为解决 Przytycki（2000）的问题 4.4，该问题要求计算 3-流形 $F_{0,3} \times S^1$ 的 Kauffman 模型括号 skein 模块（KBSM），其中 $F_{0,3}$ 是一个带两个孔的圆盘。
• 通过引入新的 Reidemeister 移动和图解不变量，将 $F \times S^1$ 中链的图解与 skein 理论框架扩展至具有边界的曲面，特别是 $F_{0,3}$。
• 证明 $F_{0,3} \times S^1$ 的 KBSM 是自由的，从而支持如下猜想：KBSM 中的挠元仅来自不可压缩且不平行于边界面的曲面。
• 将现有用于计算 $D^2 \times S^1$ 和 $A \times S^1$（环面乘以 $S^1$）中 KBSM 的方法推广至 $F_{0,3} \times S^1$ 的情形，使用一种带有箭头的点和增强版 Reidemeister 移动的新图解演算。

提出的方法

• 通过将链投影到 $F$ 上，编码交叉点、点（来自链与 $F \times \{1\}$ 的交点）以及箭头方向（表示 $S^1$-坐标流动），引入了 $F \times S^1$ 中链的图解表示。
• 定义了一类新的 Reidemeister 移动，包括类型 I、II 和 III 的 $\Omega_5$-移动，以反映 $F \times S^1$ 的拓扑结构以及点上箭头的行为。
• 在图解上构造了一个括号不变量 $\langle \cdot \rangle_f$，通过案例分析和光滑化论证，证明其在所有 Reidemeister 移动（包括新的 $\Omega_5$-移动）下保持不变。
• 利用括号的不变性，定义了从 skein 模块到 $R[A^{\pm 1}]$ 上自由模的良定义映射，利用了标记为 $x$、$y$、$z$、$t$ 的分量及其箭头构型的结构。
• 应用分解技术：将复杂的 $\Omega_5$-移动分解为更简单的移动（例如 $\Omega_2$、$\Omega_1$ 和复杂度更低的其他 $\Omega_5$-移动），将不变性证明简化为基本情形。
• 使用引理 4.2 的约化论证，假设 $z$-型分量和 $y$-与 $t$-型分量上的箭头数量仅限于 0 或 1，从而简化了不变性验证。

实验结果

研究问题

• RQ1 $F_{0,3} \times S^1$ 的 Kauffman 模型括号 skein 模块是否如猜想所示为自由模？
• RQ2 能否将 $F \times S^1$ 中链的图解演算扩展至具有多个边界分量的曲面（如 $F_{0,3}$）？
• RQ3 新引入的类型 I、II 和 III 的 $\Omega_5$-移动是否保持括号不变量 $\langle \cdot \rangle_f$？
• RQ4 能否通过将移动分解为更简单的移动和基本情形，建立括号在所有 Reidemeister 移动下的不变性？
• RQ5 若 $F_{0,3} \times S^1$ 的 KBSM 为自由模，是否支持如下猜想：挠元仅来自不可压缩且不平行于边界面的曲面？

主要发现

• Kauffman 模型括号 skein 模块 $\mathcal{S}_{2,\infty}(F_{0,3} \times S^1; R, A)$ 作为 $R[A^{\pm 1}]$-模是自由的，其中 $R$ 是一个有单位元的交换环，且 $A$ 是 $R$ 中的单位。
• $F_{0,3} \times S^1$ 的 KBSM 的自由性解决了 Przytycki（2000）的问题 4.4，该问题明确要求计算此模。
• 括号不变量 $\langle D \rangle_f$ 在所有 Reidemeister 移动（包括新引入的类型 I、II 和 III 的 $\Omega_5$-移动）下保持不变，该结论通过将移动分解为更简单的移动和案例分析得以证明。
• 在 $F \times S^1$ 中链的图解演算成功推广至具有边界的曲面（如 $F_{0,3}$），通过引入带箭头的点和扩展的 Reidemeister 移动。
• 该结果支持了 Przytycki（2000）的猜想 4.3，该猜想认为 KBSM 中的挠元仅来自不可压缩且不平行于边界面的曲面，因为 $F_{0,3} \times S^1$ 不包含此类曲面。
• 该证明技术依赖于括号在移动分解下的不变性，为计算产品 3-流形 $F \times S^1$ 中的 KBSM 提供了一种新方法。