[论文解读] Chirality and the Conway polynomial

James Conant|arXiv (Cornell University)|Mar 28, 2005

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

一句话总结

本文研究了交错镜像对称纽结的康威多项式的代数结构，提出其可分解为 $f(z)f(-z)$ 的形式，其中 $f$ 为整系数多项式。通过形式对数与模运算，作者证明：若该分解成立，则 $C(z)C(iz)C(z^2)$ 在 $\mathbb{Z}_4[[z]]$ 中为完全平方，支持了关于维萨列夫不变量的猜想，并为所有交错镜像对称纽结的康威多项式具有此类可分解形式的更广泛猜想提供了证据。

ABSTRACT

In recent work with J.Mostovoy and T.Stanford,the author found that for every natural number n, a certain polynomial in the coefficients of the Conway polynomial is a primitive integer-valued degree n Vassiliev invariant, but that modulo 2, it becomes degree n-1. The conjecture then naturally suggests itself that these primitive invariants are congruent to integer-valued degree n-1 invariants. In this note, the consequences of this conjecture are explored. Under an additional assumption, it is shown that this conjecture implies that the Conway polynomial of an amphicheiral knot has the property that C(z)C(iz)C(z^2) is a perfect square inside the ring of power series with integer coefficients, or, equivalently, the image of C(z)C(iz)C(z^2) is a perfect square inside the ring of polynomials with Z_4 coefficients. In fact, it is probably the case that the Conway polynomial of an amphicheiral knot always can be written as f(z)f(-z) for some polynomial f(z) with integer coefficients, and this actually implies the above "perfect squares" conditions. Indeed, by work of Kawauchi and Hartley, this is known for all negative amphicheiral knots and for all strongly positive amphicheiral knots. In general it remains unsolved, and this paper can be seen as some evidence that it is indeed true in general. [Added 2/22/12: Of note is the recent paper arXiv:1106.5634v1 [math.GT] by Ermotti, Hongler and Weber, which finds a counterexample to the conjecture that all Conway polynomials of amphicheiral knots are of the form f(z)f(-z). Intriguingly, their main example still satisfies C(z)C(iz)C(z^2)=f(z)^2 for a power series f(z), making the main conjecture of the present paper that much more compelling, in the author's opinion.]

研究动机与目标

• 研究交错镜像对称纽结的康威多项式是否可表示为某个整系数多项式 $f$ 的 $f(z)f(-z)$ 形式。
• 考察该分解对 $\mathbb{Z}_4$ 系数形式幂级数环中 $C(z)C(iz)C(z^2)$ 结构的影响。
• 为猜想 $C(z)C(iz)C(z^2)$ 在模 4 下为完全平方提供证据，该猜想与维萨列夫不变量的整性及挠性质相关。
• 利用代数与拓扑技术，将强交错与负交错纽结的已知结果推广至一般情形。

提出的方法

• 在整系数形式幂级数上定义离散对数 $\operatorname{log}_{\mathbb{Z}}$，以从康威多项式构造本原维萨列夫不变量。
• 使用形式指数 $\operatorname{exp}_{\mathbb{Z}}$ 反向对数变换，从对数系数重构康威多项式。
• 应用模 4 约化分析 $C(z)C(iz)C(z^2)$ 的结构，表明若其在 $\mathbb{Z}_4[[z]]$ 中为平方，则可提升至 $\mathbb{Z}[[z]]$ 中的平方。
• 利用命题 4.2 证明：若一个整系数形式幂级数在模 4 下为平方，则其平方根亦具有整系数。
• 利用命题 4.3 分析 $\mathbb{Z}_4[[z]]$ 中平方为多项式的正式幂级数结构，表明此类级数模 2 必为多项式。
• 借助 Hartley 与 Kawauchi 关于负交错与强交错纽结的已知结果，证明其康威多项式可分解为 $f(z)f(-z)$，因此满足猜想。

实验结果

研究问题

• RQ1 是否每个交错镜像对称纽结的康威多项式均可分解为某个整系数多项式 $f$ 的 $f(z)f(-z)$ 形式？
• RQ2 若是，该分解是否意味着 $C(z)C(iz)C(z^2)$ 在 $\mathbb{Z}_4[[z]]$ 中为完全平方？
• RQ3 能否利用离散对数与模约化技术证明 $C(z)C(iz)C(z^2)$ 在 $\mathbb{Z}_4[[z]]$ 中为完全平方的猜想？
• RQ4 条件 $C(z) = f(z)f(-z)$ 是否严格强于 $\mathbb{Z}_4[[z]]$ 中的平方条件？其对纽结行列式有何影响？
• RQ5 在具有 $\mathbb{Z}_{4k}$ 对称性的双曲交错镜像对称纽结中，是否存在 $C(z) = f(z)f(-z)$ 分解的反例？

主要发现

• 若交错镜像对称纽结的康威多项式可分解为 $f(z)f(-z)$，则 $C(z)C(iz)C(z^2)$ 在整系数形式幂级数环中为完全平方。
• $C(z)C(iz)C(z^2)$ 在 $\mathbb{Z}_4[[z]]$ 中为完全平方的条件，等价于存在一个多项式 $F \in \mathbb{Z}_4[[z]]$，使得 $F^2 = C(z)C(iz)C(z^2)$。
• 对所有负交错与强交错纽结，其康威多项式均可分解为 $f(z)f(-z)$，因此满足 $\mathbb{Z}_4[[z]]$ 中的平方条件，证实了该猜想在这些情形下的成立。
• 交错镜像对称纽结的行列式可表示为两个平方数之和，该事实由 $C(z) = f(z)f(-z)$ 的分解所蕴含，且与猜想一致。
• 本文提供了证据表明，猜想 $C(z) = f(z)f(-z)$ 对所有交错镜像对称纽结（包括具有 $\mathbb{Z}_{4k}$ 对称性的双曲纽结）均成立，尽管该结论在一般情形下尚未被证明。
• 作者证明：若 $C(z)C(iz)C(z^2)$ 在模 4 下为平方，且其系数与某个整系数形式幂级数的系数同余，则其平方根也具有整系数，从而支持了从 $\mathbb{Z}_4$ 到 $\mathbb{Z}$ 的平方条件可提升的结论。