[论文解读] Calculus of the first non-trivial 1-cocycle of the space of long knots

Victor Tourtchine|ArXiv.org|Feb 24, 2005

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

一句话总结

该论文使用Vassiliev的组合公式，计算了$ \mathbb{R}^3$中长绳结空间中第一个非平凡1-上循环$v_3^1$的模2值。结果表明，该上循环在1-循环上的取值由沿绳结上特定点构型（如上下交叉点与切向量方向）的计数模2决定，且结果为来自三种不同几何条件的贡献之和，当多个条件同时满足时，其重数被累加。

ABSTRACT

For the space of long knots in R^3, Vassiliev's theory defines the so called finite order cocycles. Zero degree cocycles are finite type knot invariants. The first non-trivial cocycle of positive dimension in the space of long knots has dimension one and order three. We apply Vassiliev's combinatorial formula, and find the value mod 2 of this cocycle on the 1-cycles that are obtained by dragging knots one along the other or by rotating around a fixed line.

研究动机与目标

• 计算$ \mathbb{R}^3$中长绳结空间内第一个非平凡有限阶1-上循环$v_3^1$的模2值。
• 基于绳结上点的几何构型，为$v_3^1$提供一个显式的组合公式。
• 验证该上循环在Vassiliev的判别式分解所关联的谱序列下是良定义且稳定的。
• 建立上循环取值与阿福不变量、框架数等拓扑不变量之间的联系。

提出的方法

• 在长绳结的背景下应用Vassiliev的有限型上循环组合公式。
• 定义三种几何条件（i）、（ii）和（iii），用于确定1-循环对$v_3^1$模2的贡献。
• 使用图示规则建模交叉点与切向量方向，并根据构型类型分配重数。
• 对绳结S与B的复合应用乘法规则，其中贡献为各绳结贡献计数的乘积。
• 采用模2代数简化，表明仅有一个图（III）对最终值有非平凡贡献。
• 依赖谱序列的稳定性和有限维逼近，为无穷维上同调赋予严格意义。

实验结果

研究问题

• RQ1 在长绳结空间中，对一般1-循环，第一个非平凡1-上循环$v_3^1$的模2值是多少？
• RQ2 几何构型（如上下交叉点与切向量方向）如何贡献于$v_3^1$的取值？
• RQ3 能否将上循环$v_3^1$表示为特定点构型贡献之和，且每种构型具有明确定义的重数？
• RQ4 $v_3^1$在某些1-循环（如$[k_1,k_2]$或$\hat{k}$）上的取值是否为$\mathbb{Z}$上的有限型不变量？
• RQ5 通过对绳结绕其起点旋转得到的1-循环$\tilde{k}$，其上循环取值是否构成有限型不变量？

主要发现

• 1-循环上$v_3^1$的模2值等于满足三个几何条件（i）、（ii）或（iii）之一的点数之和，按重数计数。
• 条件（i）在满足$f(a)$高于$f(d)$、$f(e)$高于$f(b)$、且$f(c)$位于中间的五点$a<b<c<d<e$时贡献，重数由$a$与$d$的非唯一性决定。
• 条件（ii）在满足$f(a)$高于$f(c)$、$f(b)$低于$f(d)$、且$f'(b)$的投影指向右侧的四点$a<b<c<d$时贡献，重数为1。
• 条件（iii）在满足$f(a)$高于$f(b)$但低于$f(c)$、且$f'(a)$与$f'(b)$投影夹角不包含右向方向的三点$a<b<c$时贡献，重数为1。
• $II + IV + VI \equiv 0 \pmod{2}$且$I + V \equiv 0 \pmod{2}$，因此模2计算中仅图III有非平凡贡献。
• 1-循环上$v_3^1$的最终值为大绳结B的平坦框架数与小绳结S的阿福不变量的乘积，模2。