[论文解读] Homotopy invariants of Gauss words

Andrew Gibson|ArXiv.org|Jan 31, 2009

Geometric and Algebraic Topology参考文献 3被引用 17

一句话总结

本文引入了一个高斯词的同伦不变量 $ z $，证明并非所有高斯词都同伦等价于空词——从而否定了图拉耶夫的猜想。利用该不变量与基于覆盖的高程不变量，作者证明了存在无穷多个高斯词的同伦类，确立了同伦关系的非平凡性，并将其与开放同伦区分开来。

ABSTRACT

By defining combinatorial moves, we can define an equivalence relation on Gauss words called homotopy. In this paper we define a homotopy invariant of Gauss words. We use this to show that there exist Gauss words that are not homotopically equivalent to the empty Gauss word, disproving a conjecture by Turaev. In fact, we show that there are an infinite number of equivalence classes of Gauss words under homotopy.

研究动机与目标

• 否定图拉耶夫猜想，即所有高斯词在开放同伦下均为平凡。
• 构造一个同伦不变量 $ z $，以检测高斯词中的非平凡性。
• 证明高斯词的同伦与开放同伦是不同的关系。
• 利用高程不变量证明存在无穷多个高斯词的同伦类。
• 从虚 knot 理论的角度解释结果，表明仅通过交叉变更与虚交换无法使所有虚 knot 无结。

提出的方法

• 通过组合移动（广义 Reidemeister 移动、移位移动和同构）定义高斯词的同伦。
• 引入不变量 $ z $，其源自 Henrich 的光滑不变量，经调整后在同伦下保持不变。
• 利用图拉耶夫的覆盖构造定义高程不变量，该不变量为同伦不变量。
• 定义一个开放同伦不变量 $ z_o $，其与 $ z $ 类似，用于比较开放同伦与同伦。
• 将 $ z $ 应用于特定高斯词 $ ABACDCBD $，证明 $ z \neq 0 $，从而确立其非平凡性。
• 利用高程不变量构造出互不同伦的高斯词的无穷族。

实验结果

研究问题

• RQ1 是否存在不与空词同伦等价的高斯词？
• RQ2 高斯词的同伦是否严格强于开放同伦？
• RQ3 高程不变量能否用于构造无穷多个同伦类的高斯词？
• RQ4 不变量 $ z $ 是否能检测高斯词在同伦下的非平凡性？
• RQ5 高斯词的同伦与在交叉变更和虚交换下的虚 knot 不变量之间有何关系？

主要发现

• 不变量 $ z $ 在高斯词 $ ABACDCBD $ 上非平凡，且 $ z \neq 0 $，从而否定了图拉耶夫的猜想。
• 高程不变量是同伦不变量，可用于构造无穷多个高斯词的同伦类。
• 命题 5.9 建立了高斯词存在无穷多个同伦类。
• 开放同伦不变量 $ z_o $ 严格强于 $ z $，表明开放同伦与同伦是不同的关系。
• 高斯词 $ ABACDCBD $ 在同伦下高程为 0，但在开放同伦下高程为 1，清晰展示了二者之间的区别。
• 虚 knot 无法仅通过交叉变更与虚交换实现无结，这由同伦类的非平凡性所证明。