[论文解读] Sub-chord diagrams of knot projections

Noboru Ιτο, Yusuke Takimura|arXiv (Cornell University)|May 1, 2020

Geometric and Algebraic Topology被引用 8

一句话总结

本文提出了一种新颖的整数值不变量 λ(P)，该不变量源自对 knot 投影的 chord diagram 中特定子 chord diagram（⊗, 3, 和 ）的计数。通过分析这三类计数在五类 Reidemeister 变换（特别是 RI 和 strong RI​I​I）下的变化，作者证明了 λ(P) 在 RI 和 strong RI​I​I 下保持不变，从而实现了对最多含七个双重点的素性约化 knot 投影的完整分类，并提供了 knot 投影可通过这些变换约化为简单闭曲线的充要条件。

ABSTRACT

A chord diagram is a circle with paired points with each pair of points connected by a chord. Every generic immersed spherical curve provides a chord diagram by associating each chord with two preimages of a double point. Any two spherical curves can be related by a finite sequence of three types of local replacement RI, RII, and RIII, called Reidemeister moves. This study counts the difference in the numbers of sub-chord diagrams embedded in a full chord diagram of any spherical curve by applying one of the moves RI, strong RII, weak RII, strong RIII, and weak RIII defined by connections of branches related to the local replacements (Theorem 1). This yields a new integer-valued invariant under RI and strong RIII that provides a complete classification of prime reduced spherical curves with up to at least seven double points (Theorem 2, Fig. 24): there has been no such invariant before. The invariant expresses the necessary and sufficient condition that spherical curves can be related to a simple closed curve by a finite sequence of RI and strong RIII moves (Theorem 3). Moreover, invariants of spherical curves under flypes are provided by counting sub-chord diagrams (Theorem 4).

研究动机与目标

• 开发一种用于在受限 Reidemeister 变换下对 knot 投影进行分类的新不变量。
• 确定一组完整的不变量，以判断 knot 投影是否可通过 RI 和 strong RI​I​I 变换约化为简单闭曲线。
• 通过区分 RI​I 和 RI​I​I 变换的强弱版本，拓展 chord diagram 理论。
• 提供在 flype 变换下保持不变的不变量，以增强对球面对曲线拓扑等价性的理解。
• 利用新不变量 λ(P) 对最多含七个双重点的素性约化 knot 投影实现完整分类。

提出的方法

• 将子 chord diagram 定义为 knot 投影 P 的完整 chord diagram CD_P 内嵌的 chord diagram。
• 基于局部替换中的分支连通性，引入五类 Reidemeister 变换：RI、弱和强 RI​I、弱和强 RI​I​I。
• 计算每类变换下子 chord diagram（⊗, 3, 和 ）数量的变化，表明其为整数增量或减量。
• 构造不变量 λ(P) = |3·3(P) - 3·(P) + ⊗(P)| / 4，证明其为整数值且在 RI 和 strong RI​I​I 下保持不变。
• 利用 Polyak 的公式计算不变量 a(P)，验证 RI 不影响带符号子 chord diagram 的计数。
• 将不变量 λ(P) 应用于分类所有最多含七个双重点的素性约化 knot 投影，使用图 22–24 中的表格和图示。

实验结果

研究问题

• RQ1 能否构造一个整数值不变量，用于在 RI 和 strong RI​I​I 变换下对 knot 投影进行分类？
• RQ2 仅使用 RI 和 strong RI​I​I 变换时，knot 投影可约化为简单闭曲线的充要条件是什么？
• RQ3 在 RI​I 和 RI​I​I 变换的弱与强版本下，特定子 chord diagram（⊗, 3, 和 ）的计数如何变化？
• RQ4 是否存在在 flype 变换下保持不变的不变量，可用于区分 knot 投影的等价类？
• RQ5 新不变量 λ(P) 是否能提供对最多含七个双重点的素性约化 knot 投影的完整分类？

主要发现

• 不变量 λ(P) = |3·3(P) - 3·(P) + ⊗(P)| / 4 为整数，且在 RI 和 strong RI​I​I 变换下保持不变，提供了一种新的非平凡不变量。
• 如图 24 所示，λ(P) 完全分类了在 RI 和 strong RI​I​I 变换下所有最多含七个双重点的素性约化 knot 投影。
• 当且仅当 H(P) = 0 且 λ(P) = 0 时，knot 投影 P 可通过 RI 和 strong RI​I​I 变换约化为简单闭曲线，其中 H(P) 由 3(P) = 0 定义。
• ⊗-类型子 chord diagram 的计数在 flype 变换下保持不变，为 flype 等价性提供了新不变量。
• 如命题 1 所证，不变量 λ(P) 具有可加性，支持其在 knot 投影分类与复合中的应用。
• 对所有最多含七个双重点的素性约化 knot 投影，λ(P) 的值均已计算并列成表格，仅有一对（7_B, 7_4）无法通过 RI 和 strong RI​I​I 变换连接。