[论文解读] The Connectivity Order of Links

Stéphane Dugowson|ArXiv.org|Apr 28, 2008

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

一句话总结

本文引入了链接的连通性阶——一种基于有限连通性空间的链接可分性性质导出的新数值不变量。通过将每个链接与其不可分子链关联形成连通性空间，作者基于不可约连通子集归纳定义了连通性阶，证明了任一二元连通性结构均可在 R³ 中实现为某个链接的可分性结构（Brunn-Debrunner-Kanenobu 定理），并表明连通性阶捕捉了超越有限型不变量的结构性复杂性。

ABSTRACT

We associate at each link a connectivity space which describes its splittability properties. Then, the notion of order for finite connectivity spaces results in the definition of a new numerical invariant for links, their connectivity order. A section of this short paper presents a theorem which asserts that every finite connectivity structure can be realized by a link : the Brunn-Debrunner-Kanenobu Theorem.

研究动机与目标

• 基于链接的可分性性质定义其新的数值不变量。
• 形式化链接拓扑与有限连通性空间之间的联系。
• 证明每个有限连通性结构均可实现为 R³ 中某个链接的可分性结构。
• 确立连通性阶作为反映链接结构性复杂性的拓扑不变量。
• 证明该不变量非有限型，从而与经典不变量相区别。

提出的方法

• 将每个链接 L 关联到一个连通性空间 X_L，其点为 L 的分量，其连通子集为 L 的不可分子链。
• 将连通性空间 (X, K) 定义为一个集合 X 及其一族非空子集 K，满足交集封闭性：若一族属于 K 的集合的总交集非空，则其并集也属于 K。
• 将不可约连通子集定义为不能表示为两个相交的真连通子集之并的集合。
• 通过归纳法为不可约子集分配阶：单点集的阶为 0，较大不可约集的阶为其所有真不可约子集的最大阶加 1。
• 将链接 L 的连通性阶 ω(L) 定义为其关联连通性空间中所有不可约连通子集阶的最大值。
• 利用 Brunn-Debrunner-Kanenobu 定理证明任意有限连通性结构均可由 R³ 中的某个链接实现，从而可构造出具有预设连通性阶的链接。

实验结果

研究问题

• RQ1 每个有限连通性结构是否均可实现为 R³ 中链接的可分性结构？
• RQ2 连通性阶所捕捉的链接结构性复杂性是什么？
• RQ3 连通性阶与其它链接不变量（尤其是 Vassiliev 有限型不变量）有何关系？
• RQ4 给定分量数时，连通性阶的最大可能值是多少？
• RQ5 连通性阶能否区分经典有限型不变量无法区分的链接？

主要发现

• 链接 L 的连通性阶 ω(L) 定义为其关联连通性空间中所有不可约连通子集阶的最大值。
• 对于具有 n 个分量的链接，连通性阶满足 ω(L) ≤ n − 1，当所有连通子集均为不可约且呈链状排列时取等。
• Borromean 环链接的连通性阶为 2，表明即使外观简单的链接也可能具有非平凡的连通性结构。
• 具有 9 个分量的链接可实现连通性阶 8，此为该分量数下的最大值，如结构 A₉ 所示。
• 连通性阶并非 Vassiliev 有限型不变量，如一个具有两个分量和 2n 个双重点的奇异链接其连通性阶大于 2ⁿ 所示。
• Brunn-Debrunner-Kanenobu 定理表明，每个有限连通性结构均可作为 R³ 中某个链接的可分性结构实现，使连通性阶成为有限连通性空间的普遍不变量。