[论文解读] Finite type invariants of words and Arnold's invariants

Matsusaburô Fujiwara|ArXiv.org|Aug 27, 2008

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

一句话总结

本文通过引入一种新型的“奇异交叉”概念，将实际交叉与虚拟交叉相连接，为表示曲面上曲线的词定义了一类新的有限型不变量。研究表明，这些不变量能够恢复并澄清阿诺德对球面曲线的不变量，证明其为度数2的有限型不变量，且通过Polyak的公式化方法实现了显式参数化。

ABSTRACT

We define a new finite type invariant for stably homeomorphic class of curves on compact oriented surfaces without boundaries and extend to a regular homotopy invariant for spherical curves.

研究动机与目标

• 通过一种新型奇异交叉类型，为表示紧致定向曲面上曲线的词定义一类新的有限型不变量。
• 将这些不变量扩展为球面曲线的正则同伦不变量。
• 通过统一框架阐明伊藤的词的有限型不变量与阿诺德不变量之间的关系。
• 通过将 $ J_s^+ $、$ J_s^- $ 和 $ St_s $ 表示为特定系数的词不变量的线性组合，证明阿诺德的基本不变量是度数2的有限型不变量。
• 通过带符号词与循环等价类，系统地参数化球面曲线的度数2有限型不变量。

提出的方法

• 引入一种新型交叉，称为“奇异交叉”（以小方框表示），介于实际交叉与虚拟交叉之间，以定义中间不变量。
• 通过将实际交叉替换为奇异交叉或虚拟交叉所得到的子词，定义词的有限型不变量，推广了伊藤的 $ SCI_n $ 不变量。
• 利用带符号词的循环等价性，定义在曲线的稳定同胚类上的不变量，确保其在正则邻域同胚下保持不变。
• 应用Polyak对阿诺德不变量的公式化方法，将它们表示为循环词类 $ ilde{W}_s^* $ 上有限型不变量的线性组合，参数化系数为 $ (p, q, r) $。
• 定义对应于曲线上Reidemeister型移动的带符号词的正则同伦移动，并利用这些移动刻画不变量在同伦下的行为。
• 通过将阿诺德不变量 $ J_s^+ $、$ J_s^- $ 和 $ St_s $ 的变换规则与词不变量线性组合中的特定系数向量匹配，确立其为度数2的有限型不变量。

实验结果

研究问题

• RQ1 如何构造一类新的词的有限型不变量，使其统一伊藤的 $ SCI_n $ 不变量与阿诺德不变量？
• RQ2 在有限型不变量的背景下，奇异交叉在连接实际交叉与虚拟交叉中起什么作用？
• RQ3 阿诺德对球面曲线的基本不变量能否被完全恢复为度数2的有限型不变量？
• RQ4 从带符号词类的角度，球面曲线的度数2有限型不变量的精确代数结构是什么？
• RQ5 带符号词的正则同伦移动如何对应于曲线的拓扑移动？不变量在这些移动下如何变换？

主要发现

• 阿诺德的不变量 $ J_s^+ $、$ J_s^- $ 和 $ St_s $ 是度数2的有限型不变量，通过将它们表示为特定系数的词不变量的线性组合得以证明。
• 度数2的有限型不变量 $ v_s $ 完全由其在五个循环词类上的取值决定：$ ilde{\text{A}}\tilde{\text{A}} $、$ ... $（此处省略重复内容，完整保留为：$ ... $）
• 不变量 $ J_s^+ $ 对应系数 $ (p, q, r) = (-1/2, 1, -3) $，$ J_s^- $ 对应 $ (-3/2, 1, -3) $，$ St_s $ 对应 $ (1/4, -1/2, 1/2) $，从而证明其有限型性质。
• 不变量 $ J_s^+ $、$ J_s^- $ 和 $ St_s $ 在连通和下具有可加性，且与曲线方向无关，与它们的拓扑定义一致。
• 阿诺德不变量在标准曲线 $ K_i $（具有 $ i $ 个嵌套环）上的归一化条件得到验证：$ J_s^+(K_i) = (i-1)^2/2 $，$ J_s^-(K_i) = (i-2)^2/2 - 3/2 $，$ St_s(K_i) = -(i-1)^2/4 $。
• 这些不变量可通过涉及旋转数 $ i $ 的修正项扩展至平面曲线，其中 $ J^\bullet = J_s^\bullet - \frac{1}{2}i^2 $ 且 $ St = St_s + \frac{1}{4}i^2 $。