[论文解读] Two-variable Conway polynomial and Cochran's derived invariants

Sergey A. Melikhov|arXiv (Cornell University)|Nov 29, 2003

Geometric and Algebraic Topology参考文献 17被引用 11

一句话总结

本文引入了彩色链的康威多项式多变量类比，证明其系数为有限型不变量，广义化了米尔诺的μ-不变量与科赫兰的导出不变量。关键贡献在于证明这些不变量，特别是归一化版本∇*ₗ，在TOP同胚下不变，并可连续延拓至所有拓扑链，从而解决了关于有限型不变量能否检测同胚类型这一长期悬而未决的问题。

ABSTRACT

We note that the Conway potential function $Ω_L$ of an $m$-component link $L$, $m>1$, can be expressed as $Ω_L(x_1,\dots,x_m)=Θ_L( abla_L(x_1-x_1^{-1},\dots,x_m-x_m^{-1}))$ for a unique $ abla_L\in\mathbb Z[z_1,\dots,z_m]$, where $Θ_L$ is a certain endomorphism of the additive group of $\mathbb Z[x_1^{\pm1},\dots,x_m^{\pm1}]$ which depends only on the pairwise linking numbers of the components of $L$. Motivated by applications to topological isotopy, we study the formal power series $\bar abla_L$, obtained by dividing $ abla_L$ by the Conway polynomials of the components of $L$. For a $2$-component link with $lk(L)=0$, the coefficient $α_{1,2k-1}$ of $\bar abla_L(u,v)$ at $uv^{2k-1}$ equals Cochran's derived invariant $(-1)^{k+1}β^k(L)$. While this can be deduced from a result of G.-T. Jin, which he proved using the surgical view of the Alexander polynomial, we provide an alternative proof, using Seifert matrices. Our main result is a formula for the same coefficient $α_{1,2k-1}$ in the geometrically subtler case $lk(L)=1$. Namely we express it in terms of generalized Cochran invariants $β_F^{ij}(P,Q)$, which were studied by Gilmer--Livingston (when $P=Q$) and by Tsukamoto--Yasuhara (when $j=0$) and are closely related to the Cochran pairing in the infinite cyclic covering of a knot.

研究动机与目标

• 建立康威多项式的多变量推广，以捕捉彩色链的有限型不变量。
• 阐明多变量亚历山大多项式与几何不变量（如米尔诺的μ-不变量和科赫兰的导出不变量）之间的关系。
• 证明归一化康威多项式∇*ₗ的某些系数在TOP同胚下不变，并可延拓至所有拓扑链。
• 解决有限型不变量是否能区分链的PL同胚类的问题，表明此类不变量无法区分PL与TOP同胚。

提出的方法

• 将多变量康威多项式∇ₗ(x₁−x₁⁻¹,…,xₘ−xₘ⁻¹)定义为ℤ上的多项式，由多变量亚历山大多项式的势函数导出。
• 引入归一化不变量∇*ₗ := ∇ₗ / (∇ₖ₁⋯∇ₖₘ)，其中Kᵢ为链L的分量，以分离有限型不变量。
• 证明∇*ₗ的系数是米尔诺的偶长度μ-不变量的整数提升，包括科赫兰的βᵏ不变量。
• 利用HOMFLY与开普勒多项式的指数参数化方法定义H*ₗ与F*ₗ，证明其在C⁰逼近下不变，并可延拓至拓扑链。
• 建立在PL同胚下定义良好的k型不变量在k-拟同胚下不变，并利用此关系将k-拟同胚与TOP同胚联系起来。
• 应用k-拟同胚理论，表明有限型不变量无法检测PL与TOP同胚之间的差异。

实验结果

研究问题

• RQ1 有限型不变量能否检测链的PL与TOP同胚类之间的差异？
• RQ2 多变量康威多项式系数与米尔诺的μ-不变量及科赫兰的导出不变量之间有何关系？
• RQ3 归一化康威多项式∇*ₗ的系数在TOP同胚下是否不变，并可延拓至所有拓扑链？
• RQ4 ∇*ₗ的系数在关联3-流形的卡森–沃克不变量中具有何种几何意义？
• RQ5 HOMFLY与开普勒多项式能否用于构造可延拓至拓扑链的有限型不变量？

主要发现

• ∇*ₗ的系数是米尔诺的偶长度μ-不变量的整数提升，包括科赫兰的导出不变量βᵏ。
• ∇*ₗ的系数c₂在基尔克–利ving斯顿或真正的有限型理论中均非2型，表明其类型分类存在非平凡障碍。
• 由HOMFLY与开普勒多项式导出的归一化不变量H*ₗ与F*ₗ在C⁰逼近下不变，并可连续延拓至所有拓扑链。
• 系数2ĥβ¹ / lk²，其中ĥβ¹为β¹在非零 linking number下的延拓，等于对链分量进行0-手术后所得Q-同调球面的卡森–沃克不变量。
• 有限型不变量无法检测PL与TOP同胚之间的差异，因为任何在PL同胚下定义良好的有限型不变量，对所有k均在k-拟同胚下不变。
• ∇*ₗ与H*ₗ的系数在TOP同胚下不变，并可延拓至所有拓扑链，且保持该不变性。