[论文解读] Higher-order linking forms for 3-manifolds

Constance Leidy|arXiv (Cornell University)|Apr 23, 2012

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

一句话总结

本文通过在多扭自由阿贝尔（PTFA）群和奥环（Ore domain）上的系数系统，为闭合、定向、连通的三维流形引入了高阶亚历山大多项式模上的高阶 linking 形式。该工作推广了经典 linking 形式及基于纽结的 linking 形式，并证明：当感染曲线在同调中非平凡时，通过纽结感染所得到的流形上的 linking 形式可分解为原始 linking 形式与感染纽结的经典 Blanchfield 形式的直和。

ABSTRACT

Given a closed, oriented, connected 3-manifold, M, we define higher-order linking forms on the higher-order Alexander modules of M. These higher-order linking forms generalize similar linking forms for knots previously studied by the author, which were themselves generalizations of the classical Blanchfield linking form for a knot. We also investigate the effect of the construction known as "infection by a knot" on these linking forms.

研究动机与目标

• 使用一般奥环和 PTFA 系数系统，定义三维流形上高阶亚历山大多项式模的高阶 linking 形式。
• 将经典 linking 形式及基于纽结的 linking 形式（包括 Blanchfield 形式）推广至一般三维流形的设定。
• 研究通过纽结感染对这些高阶 linking 形式的影响。
• 证明当感染曲线非平凡时，感染后流形上的 linking 形式可分解为原始 linking 形式与感染纽结的经典 Blanchfield 形式的直和。

提出的方法

• 将高阶亚历山大多项式模定义为系数取自奥环 R 的第一同调群的挠子模，其中 ZΓ ⊆ R ⊆ KΓ，且 Γ 为 PTFA 群。
• 通过 Bockstein 序列与庞加莱对偶性，构造高阶 linking 形式 Bℓ_R，其为从 TH_1(M; R) 到其对偶 (TH_1(M; R))# 的映射。
• 使用群环 ZΓ 的右分式环 KΓ 作为系数系统，以保证平坦性并支持对偶性论证。
• 通过将纽结 J 沿流形 M 中的曲线 η 嵌入，实施对三维流形的感染构造，得到新流形 M(η,J)。
• 通过感染引起的同调中的分裂短正合序列，分析同调与 linking 形式上的诱导映射。
• 利用对偶性与映射的交换图表，证明当 φ(η) ≠ 1 时，M(η,J) 上的 linking 形式同构于 M 与 J 上 linking 形式的直和。

实验结果

研究问题

• RQ1 如何使用非局部化的一般奥环系数，为三维流形上的高阶 linking 形式建立定义？
• RQ2 高阶 linking 形式在三维流形上的感染操作下表现出何种行为？
• RQ3 感染后三维流形上的 linking 形式与原始流形及感染纽结的 linking 形式之间有何关系？
• RQ4 在何种条件下，感染后流形上的 linking 形式可分解为原始形式与经典 Blanchfield 形式的直和？
• RQ5 感染曲线在同调中非平凡性在结果 linking 形式结构中起何种作用？

主要发现

• 对于任意满足 ZΓ ⊆ R ⊆ KΓ 的奥环 R 及 PTFA 群 Γ，高阶 linking 形式 Bℓ_R 在 H_1(M; R) 的挠子模上是良定义的。
• 该 linking 形式推广了经典 Blanchfield 形式及先前基于纽结的高阶形式，适用于一般三维流形。
• 当感染曲线 η 满足 φ(η) ≠ 1 时，感染后流形 M(η,J) 的同调 admits 一个涉及 H_1(E(J); R) 与 TH_1(M; R) 的分裂短正合序列。
• M(η,J) 上的 linking 形式同构于 M 与感染纽结 J 上 linking 形式的直和，即 Bℓ_R(M(η,J)) ≅ Bℓ_R(M) ⊕ Bℓ_R(J)。
• M(η,J) 上的 linking 形式完全由 M 与 J 上的 linking 形式决定，其中 J 的经典 Blanchfield 形式通过一个典范映射 ψ_* 出现。
• 该分解结果恰好在感染曲线于系数系统中非平凡时成立，如同调序列的分裂性及 linking 形式中交叉项的消失所表明。