[论文解读] Blanchfield forms and Gordian distance

Maciej Borodzik, Stefan Friedl+1 more|arXiv (Cornell University)|Sep 30, 2014

Geometric and Algebraic Topology参考文献 26被引用 5

一句话总结

本文利用亚历山大多项式模和布兰查非配对的不变量，提出了关于链在 S³ 中的 Gordian 距离和 4 维类数的新下界。证明了两个链的亚历山大多项式模秩之差为它们 Gordian 距离的下界，且当等式成立时，其布兰查菲形式的 Witt 和为代谢形式，推广并改进了 Kawauchi 的先前结果。

ABSTRACT

Given a link in $S^3$ we will use invariants derived from the Alexander module and the Blanchfield pairing to obtain lower bounds on the Gordian distance between links, the unlinking number and various splitting numbers. These lower bounds generalise results recently obtained by Kawauchi. We give an application restricting the knot types which can arise from a sequence of splitting operations on a link. This allows us to answer a question asked by Colin Adams in 1996.

研究动机与目标

• 开发 m 个分量链的 Gordian 距离和 4 维类数的新下界。
• 利用代数不变量推广并改进 Kawauchi 最近关于消去数和分裂数的结果。
• 回应 Colin Adams 在 1996 年提出的问题：哪些扭结类型可能由链的分裂操作产生？
• 建立当亚历山大多项式模秩之差等于类数或 Gordian 距离时的条件。
• 为限制链经一系列分裂操作后可能产生的扭结类型提供一个框架。

提出的方法

• 本文将 m 个分量链 L 的亚历山大多项式模的秩 β(L) 作为关键不变量。
• 在局部化环 Λ_S 上的亚历山大多项式模的挠子模上应用布兰查菲配对 Bl_L。
• 通过分析 Bl_L ⊕ (−Bl_J) 的 Witt 和来检测当类数等于秩差时的代谢结构。
• 该方法涉及分析挠亚历山大多项式 Δ^tor_L 及其在交叉变化下的因式分解性质。
• 利用平凡多项式（含 (t_i - 1) 和单项式）在 Λ_S 中可逆的性质，比较多项式模单位。
• 证明依赖于康威多项式和亚历山大多项式的性质，包括次数界和不可约性，以推导分裂操作后扭结类型的约束。

实验结果

研究问题

• RQ1 亚历山大多项式模秩之差 |β(L) − β(J)| 是否可作为两个 m 个分量链 L 和 J 之间 Gordian 距离 g(L,J) 的下界？
• RQ2 在何种条件下，两个链的布兰查菲形式的 Witt 和为代谢形式？这与类数 c(L,J) 的关系如何？
• RQ3 亚历山大多项式模和布兰查菲配对对从链经一系列分裂操作可能产生的扭结类型施加了何种约束？
• RQ4 如何利用挠亚历山大多项式 Δ^tor_L 来检测通过少量操作解开或分裂链的障碍？
• RQ5 是否可利用这些不变量判断一个链的消去数是否为 2 或 3，特别是对于如 9 交叉 2 分量链等困难情形？

主要发现

• 亚历山大多项式模秩之差满足 |β(L) − β(J)| ≤ c(L,J)，为 4 维类数提供了下界。
• 若 c(L,J) = |β(L) − β(J)|，则布兰查菲形式 Bl_L ⊕ (−Bl_J) 的 Witt 和为代谢形式。
• 当 β(J) = β(L) + g(L,J) 时，挠亚历山大多项式满足 Δ^tor_L = Δ^tor_J · f·f̄·n，其中 f ∈ Λ 且 n 为 Λ 中的平凡多项式。
• 本文构造的链 L_T 满足 Δ^tor_L ≠ 0，因此 β(L_T) = 0。
• 从 L_T 经单次分裂交叉变化产生的任何扭结 K 的亚历山大多项式必须被 Δ_J(t) 整除，因此其次数至少为 2n。
• 由于亚历山大多项式次数的约束，此类扭结 K 的交叉数至少为 c，即原链的交叉数。