[论文解读] Isotopy invariants for closed braids and almost closed braids via loops in stratified spaces

Thomas Fiedler|ArXiv.org|Jun 19, 2006

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

一句话总结

本文通过辫子的分层空间中的环路，为立体环面中的闭辫子和几乎闭辫子引入了新的同痕不变量。通过构造典范环路并分析其与余维一层（三重点和切点）的交点，作者定义了一类有限型的一阶胞状不变量（one-cocycle invariants）和一类非有限型但可在多项式时间内计算的特征不变量（character invariants），这些不变量能够检测二分量链环的非可逆性——这是量子不变量所无法做到的。

ABSTRACT

Let $ϕ: S^1 imes D^2 o S^1$ be the natural projection. An oriented knot $K\hookrightarrow V = S^1 imes D^2$ is called an almost closed braid if the restriction of $ϕ$ to K has exactly two (non-degenerate) critical points (and K is a closed braid if the restriction of $ϕ$ has no critical points at all). We introduce new isotopy invariants for closed braids and almost closed braids in the solid torus V. These invariants refine finite type invariants. They are still calculable with polynomial complexity with respect to the number of crossings of K. Let the solid torus V be standardly embedded in the 3-sphere and let A be the axis of the complementary solid torus $S^3\setminus V$. We give examples which show that our invariants can detect non-invertibility of 2-component links $K\cup A\hookrightarrow S^3$. Notice that all quantum link invariants fail to do so and that it is not known wether there are finite type invariants which can detect non-invertibility of 2-component links.

研究动机与目标

• 为立体环面中的闭辫子和几乎闭辫子构造具有多项式复杂度的可计算同痕不变量。
• 通过引入可细化有限型不变量的不变量，克服辫子共轭问题的指数复杂度。
• 构造能够检测 $S^3$ 中二分量链环 $K \bigcup A$ 非可逆性的不变量，这是量子不变量所无法检测的性质。
• 通过特征不变量，利用同伦与同调工具，将有限型不变量理论扩展至非有限型不变量。
• 提供一种通过迹图和与判别层的加权交数计算不变量的框架。

提出的方法

• 定义与 $\hat{\beta}$ 同痕的闭辫子空间 $M(\hat{\beta})$，其自然分层由余维一奇点（三重点和自切点）构成。
• 通过投影 $pr: V \to S^1 \times I$ 构造 $M(\hat{\beta})$ 中的典范环路 $rot(\hat{\beta})$，该投影诱导出厚化环面上的迹图 $TL(\hat{\beta})$。
• 利用高斯图和相对交叉位置，为三重点层 $\Sigma^{(1)}(tri)$ 的交点分配符号和权重，建立加权交数。
• 定义一阶胞状不变量为这些加权交数导出的有限型不变量，其自动满足标记四重关系（marked 4T-relations）。
• 通过限制至 $TL(\hat{\beta})$ 中三个特定分量的三重点，引入特征不变量，其虽非有限型，但可在多项式时间内计算。
• 利用同伦与同调估计（如定理10）通过特征不变量的绝对值，对同伦类的 $*$-长度进行上界估计。

实验结果

研究问题

• RQ1 能否构造出具有多项式复杂度、并可细化有限型不变量的闭辫子同痕不变量？
• RQ2 此类不变量能否检测 $S^3$ 中二分量链环 $K \cup A$ 的非可逆性，而这是量子不变量所无法检测的？
• RQ3 特征不变量（非有限型但可计算）是否比一阶不变量在区分链环方面更具优势？
• RQ4 单参数族闭辫子中辫子关系的数量如何与迹图的拓扑结构相关联？
• RQ5 该理论能否扩展至几乎闭辫子，其中 $\phi|_K$ 恰好有两个临界点？

主要发现

• 对于词长为 $c$ 的 $n$-辫子，若 $d \geq c + n^2 - n - 1$，则一阶胞状不变量在度数 $d$ 时消失，表明有限型不变量中存在自然的滤子结构。
• 一阶特征不变量是闭辫子和几乎闭辫子的同痕不变量，且能检测量子不变量无法检测的非可逆性。
• 对于 $S = l \cdot \text{rot}(\hat{\sigma_2} \hat{\sigma_1}^{-1})$，有 $b([S]_{t-t}) = 4|l|$，且存在八个非平凡的一阶特征，每个的绝对值为 $\pm 1$。
• 正负特征不变量所包含的信息多于仅一阶不变量本身，如在例子中 $C^{\pm}_{(1,1)^-}(x_1,x_1,x_2) = 1$ 且 $C^{\pm}_{(2,2)^+}(x_2,x_2,x_1) = 1$。
• 典范环路 $rot(\hat{\beta})$ 永远不与 $\Sigma^{(1)}(tan)$ 相切，确保修正迹图的连通分支为同痕不变量。
• 高阶特征不变量可类比于高阶一阶胞状不变量，用于估计同伦类的 $*$-长度，从而扩展定理10中的界限。