[论文解读] New perspectives on self-linking

Ryan Budney, James Conant+2 more|ArXiv.org|Mar 4, 2003

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

一句话总结

本文提出了一种新的几何解释，将康威多项式第二系数 $c_2$ 视为在三重点配置空间中，共线性流形之间的 linking number。通过将扭结映射到紧化配置空间的第 $n$ 个评估映射，作者计算了前三个映射空间模型的同伦类型，并表明第三个模型产生一个与 $c_2$ 等价的整数不变量，从而提供了一个基于四重截线和共线点的拓扑性、有限型不变量。

ABSTRACT

We initiate the study of classical knots through the homotopy class of the n-th evaluation map of the knot, which is the induced map on the compactified n-point configuration space. Sending a knot to its n-th evaluation map realizes the space of knots as a subspace of what we call the n-th mapping space model for knots. We compute the homotopy types of the first three mapping space models, showing that the third model gives rise to an integer-valued invariant. We realize this invariant in two ways, in terms of collinearities of three or four points on the knot, and give some explicit computations. We show this invariant coincides with the second coefficient of the Conway polynomial, thus giving a new geometric definition of the simplest finite-type invariant. Finally, using this geometric definition, we give some new applications of this invariant relating to quadrisecants in the knot and to complexity of polygonal and polynomial realizations of a knot.

研究动机与目标

• 使用配置空间技术，为最简单的有限型不变量 $c_2$ 提供一种新的拓扑解释。
• 建立经典扭结不变量与扭结空间同伦理论模型之间的联系。
• 通过配置空间中共线性流形的 linking，提供一个几何的、整数值的扭结不变量。
• 将 $c_2$ 与四重截线及扭结上的点构型联系起来，提供新的计算与拓扑界。
• 支持如下猜想：当 $n \leq 3$ 时，第 $n$ 个评估映射在 $\mathbb{Z}$ 上给出一个普遍的有限型不变量。

提出的方法

• 作者定义了扭结到紧化 $n$-点配置空间的第 $n$ 个评估映射，形成映射空间模型 $AM_n(M)$。
• 他们计算了 $AM_1(\mathbb{I}^3)$、$AM_2(\mathbb{I}^3)$ 和 $AM_3(\mathbb{I}^3)$ 的同伦类型，证明 $AM_1(\mathbb{I}^3) \simeq \Omega S^2$ 且 $AM_2(\mathbb{I}^3)$ 是可缩的。
• 对于 $n=3$，他们将 $\nu_2$ 定义为扭结上共线三元组的两个余维数为二的子流形之间的 linking number。
• 他们运用微分拓扑与紧化技术，定义并分析了配置空间 $C_3[\mathbb{I},\partial]$ 中的共线性流形 $\mathbf{Co}_1[f]$ 和 $\mathbf{Co}_3[f]$。
• 他们应用贝祖定理来界定多项式扭结上共线四元组的数量，从而对 $|c_2|$ 给出界。
• 他们将不变量 $\nu_2$ 与四重截线联系起来，并通过拓扑与几何论证证明 $\nu_2 = c_2$。

实验结果

研究问题

• RQ1 康威多项式第二系数能否通过配置空间获得几何的、拓扑的解释？
• RQ2 第三个映射空间模型 $AM_3(\mathbb{I}^3)$ 是否能够检测最简单的有限型不变量？
• RQ3 扭结上的共线性与四重截线如何与有限型不变量及扭结复杂性相关联？
• RQ4 能否从多边形或多项式扭结表示中导出 $c_2$ 的界？
• RQ5 评估映射构造是否在 $\mathbb{Z}$ 上产生一个普遍的有限型不变量？

主要发现

• 定义为共线性流形 $\mathbf{Co}_1[f]$ 与 $\mathbf{Co}_3[f]$ 之间 linking number 的不变量 $\nu_2$ 等于康威多项式的第二系数 $c_2$。
• 映射空间模型 $AM_1(\mathbb{I}^3)$ 同伦等价于 $\Omega S^2$，且 $AM_2(\mathbb{I}^3)$ 是可缩的。
• 对于具有 $n(K)$ 条边的多边形扭结 $K$，不等式 $\frac{|c_2|}{2} \leq \binom{n(K)}{4}$ 成立，即 $c_2$ 受四元组边数的限制。
• 对于首一系数为 1 的 $n$ 次多项式扭结，若 $C_4[\mathcal{K}]$ 与 $\mathcal{C}_4$ 横截，则 $|c_2(\mathcal{K})| \leq (2n)^4$。
• 扭结上交错四重截线的数量受四元组边数的限制，每条直线最多对应两种构型。
• 通过共线性构造的 $\nu_2$ 几何定义，为 $c_2$ 提供了一种新的、内在的定义，无需使用量子不变量或康采维奇积分。