[论文解读] Grope cobordism of classical knots

Jim Conant, Peter Teichner|arXiv (Cornell University)|Dec 14, 2000

Geometric and Algebraic Topology参考文献 16被引用 8

一句话总结

本文引入了广义挠cobordism（grope cobordism）作为扭结理论中迭代群换位子的几何实现，通过带根的单三价树将其与有限型不变量直接关联。研究证明：两个扭结是第 $ c $ 类广义挠cobordism 当且仅当它们通过广义挠度 $ \geq c $ 的简单夹具手术相互关联，从而为Vassiliev不变量提供了几何解释，并通过四维空间中的对称广义挠cobordism 与 Cochran-Orr-Teichner 滤子及 Casson-Gordon 不变量建立联系。

ABSTRACT

We explain the notion of a grope cobordism between two knots in a 3-manifold. Each grope cobordism has a type that can be described by a rooted unitrivalent tree. By filtering these trees in different ways, we show how the Goussarov-Habiro approach to finite type invariants of knots is closely related to our notion of grope cobordism. Thus our results can be viewed as a geometric interpretation of finite type invariants. An interesting refinement we study are knots modulo symmetric grope cobordism in 3-space. On one hand this theory maps onto the usual Vassiliev theory and on the other hand it maps onto the Cochran-Orr-Teichner filtration of the knot concordance group, via symmetric grope cobordism in 4-space. In particular, the graded theory contains information on finite type invariants (with degree h terms mapping to Vassiliev degree 2^h), Blanchfield forms or S-equivalence at h=2, Casson-Gordon invariants at h=3, and for h=4 one has the new von Neumann signatures of a knot.

研究动机与目标

• 通过广义挠cobordism 的概念，为扭结理论中的迭代群换位子提供几何实现。
• 建立广义挠cobordism 类与扭结有限型不变量之间的精确对应关系。
• 通过对称广义挠cobordism 将扭结群的导出换位子序列与三维几何结构联系起来。
• 通过基于广义挠的统一几何框架，将 Vassiliev 理论与 Cochran-Orr-Teichner 滤子统一起来。
• 澄清夹具手术与广义挠cobordism 之间的关系，纠正文献中早期的误解。

提出的方法

• 通过迭代的曲面阶段定义三维流形中扭结之间的广义挠cobordism，其构造基于基本群的下中央列。
• 使用带根的单三价树标记广义挠cobordism 类型，树的结构对应于迭代换位子的复杂度。
• 应用 Habiro 的夹具演算，特别是简单树夹具及其手术的概念，将广义挠cobordism 与有限型不变量关联。
• 通过将霍普夫链结的叶对转化为边，将夹具手术转化为广义挠cobordism，同时保持广义挠度。
• 利用在度数为 $ 2c+1 $ 的夹具上进行手术可保持度数为 $ c $ 的 Vassiliev 不变量的事实，实现向低度数手术的约化。
• 通过将帽推入四维cobordism，从带帽广义挠cobordism 构造出带扣平行边，证明广义挠cobordism 蕴含带扣平行边。

实验结果

研究问题

• RQ1 如何在三维流形中几何地实现扭结补集基本群中迭代群换位子？
• RQ2 第 $ c $ 类广义挠cobordism 与度数为 $ 2^c $ 的 Vassiliev 不变量之间的确切关系是什么？
• RQ3 四维空间中对称广义挠cobordism 与扭结concordanse群的 Cochran-Orr-Teichner 滤子有何关系？
• RQ4 能否通过夹具手术构造显式的广义挠cobordism，反之亦然？
• RQ5 带帽与不带帽的广义挠在定义扭结等价关系中起什么作用？

主要发现

• 两个扭结是第 $ c $ 类广义挠cobordism 当且仅当它们通过一系列广义挠度 $ \geq c $ 的简单夹具手术相互关联，建立了直接的几何对应。
• 若一个扭结边界为第 $ c $ 类广义挠，则其有限型不变量的度数受 $ 2^c $ 限制，且该界是紧致的。
• 对称广义挠cobordism 的分次理论映射到 Vassiliev 理论（度数 $ 2^c $）、Blanchfield 型式（$ c=2 $ 时）、Casson-Gordon 不变量（$ c=3 $ 时）以及 von Neumann 亏格（$ c=4 $ 时）。
• 度数为 $ 2c+1 $ 的简单夹具可保持度数为 $ c $ 的 Vassiliev 不变量，从而可借助 Habiro 定理约化为低度数手术。
• 第 $ c $ 类带帽广义挠cobordism 等价于模 $ \mathcal{F}^v_c $ 的等价关系，即由度数为 $ c $ 的简单夹具手术生成的等价关系。
• 在 $ \mathbb{R}^3 \times [0,1] $ 中具有一个带帽端点的广义挠cobordism 可扩展为一个带扣平行边，表明广义挠cobordism 蕴含带扣平行边。