[论文解读] Link invariants via counting surfaces

Michael Brandenbursky|arXiv (Cornell University)|Sep 3, 2012

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

一句话总结

本文提出了显式的高斯图公式，通过计算高斯图中指定亏格和两个边界分量的可定向曲面数量，来计算一个无限族的链路不变量。该研究建立了这些曲面计数与HOMFLYPT多项式关于变量 $a$ 的一阶偏导数在 $a=1$ 处取值之间的直接联系，推广了关于康威多项式的结果，并为虚链路提供了新的不变量，包括对基什诺纽结为非经典纽结的全新证明。

ABSTRACT

A Gauss diagram is a simple, combinatorial way to present a knot. It is known that any Vassiliev invariant may be obtained from a Gauss diagram formula that involves counting (with signs and multiplicities) subdiagrams of certain combinatorial types. These formulas generalize the calculation of a linking number by counting signs of crossings in a link diagram. Until recently, explicit formulas of this type were known only for few invariants of low degrees. In this paper we present simple formulas for an infinite family of invariants in terms of counting surfaces of a certain genus and number of boundary components in a Gauss diagram. We then identify the resulting invariants with certain derivatives of the HOMFLYPT polynomial.

研究动机与目标

• 将高斯图公式从康威多项式扩展到源自HOMFLYPT多项式的不变量。
• 建立具有两个边界分量的可定向曲面计数与HOMFLYPT多项式在 $a=1$ 处的一阶导数系数之间的组合对应关系。
• 将先前关于单边界分量不变量的曲面计数结果推广至双边界分量情形。
• 定义并研究不可约箭头图，以简化不变量并降低计算复杂度。
• 为长虚链路提供新的不变量，并利用这些不变量证明基什诺纽结的非经典性。

提出的方法

• 本文通过在链路的高斯图中计数特定组合类型的子图——即具有 $n$ 个箭头和两个边界分量的箭头图——来构建高斯图公式。
• 定义了具有单个边界分量的上升与下降箭头图，并将其扩展为双边界分量图，以模拟具有两个边界分量的曲面。
• 不变量被定义为高斯图中所有此类图的带符号和，符号由箭头方向和交点数决定。
• 通过一种改进的构造方法，将Chmutov-Khoury-Rossi关于单边界分量不变量的工作推广至双边界分量情形。
• 引入了不可约箭头图（即移除任意箭头即导致图不连通的图），以减少公式中的项数。
• 通过证明不变量在Reidemeister移动下的不变性，并通过代数恒等式将其与已知多项式不变量关联，从而证明了这些不变量确实是链路不变量。

实验结果

研究问题

• RQ1 如何将高斯图公式扩展，以计算HOMFLYPT多项式关于 $a$ 的一阶导数在 $a=1$ 处的不变量？
• RQ2 在高斯图中计数具有两个边界分量的可定向曲面的几何-拓扑意义是什么？
• RQ3 是否可以利用不可约箭头图来定义更简洁但等价的不变量，从而消除冗余子图？
• RQ4 这些新不变量与虚纽结设定下的现有亚历山大多项式与康威多项式版本相比如何？
• RQ5 这些新不变量能否区分非经典的虚纽结，如基什诺纽结？

主要发现

• 本文构建了一个无限族的高斯图公式，通过计数具有两个边界分量的曲面，来计算HOMFLYPT多项式关于 $a$ 的一阶偏导数在 $a=1$ 处的系数。
• 这些不变量被证明等价于 $\sum_{k=0}^{n-1} c_k(L_1) c_{n-k-1}(L_2) \cdot \operatorname{lk}(L_1,L_2)$，其中 $c_k$ 是康威多项式的系数，$\operatorname{lk}$ 为 linking number。
• 通过不可约箭头图定义的不变量被证明与通过所有图定义的不变量等价，显著降低了计算复杂度。
• 该方法通过计算其不变量并证明其与经典纽结的不变量不同，提供了基什诺纽结为非经典纽结的全新证明。
• 该构造推广了先前关于单边界分量不变量的结果，并以一种新颖且非平凡的方式将康威多项式扩展至长虚链路。