[论文解读] An involutive upsilon knot invariant

Matthew Hogancamp, Charles Livingston|arXiv (Cornell University)|Oct 23, 2017

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

一句话总结

本文通过卷积型海格-弗洛尔同调理论，引入了两种新的卷积型Upsilon纽结同痕不变量，其定义为[0,2]上的分段线性函数。这些不变量是同痕不变量，可为纽结的三余(genus)提供界，将经典Upsilon不变量扩展至包含Hendricks-Manolescu理论中的卷积结构。

ABSTRACT

Using the theory of involutive Heegaard Floer knot theory developed by Hendricks-Manolescu, we define two involutive analogs of the Upsilon knot concordance invariant of Ozsvath-Stipsicz-Szabo. These involutive invariants are piecewise linear functions defined on the interval [0,2]. Each is a concordance invariant and provides bounds on the three-genus of a knot.

研究动机与目标

• 通过卷积型海格-弗洛尔同调理论，将经典Upsilon纽结同痕不变量扩展至卷积型设定。
• 定义两个新的分段线性同痕不变量，记为$\overline{\Upsilon}_t(K)$和$\underline{\Upsilon}_t(K)$，作为Upsilon函数的类比。
• 确立这些卷积型不变量在纽结同痕下不变，并为纽结的三余提供界。
• 将卷积型Upsilon函数在$t=2$处的取值与先前已知的不变量$\overline{V}_0(K)$和$\underline{V}_0(K)$相关联。

提出的方法

• 利用卷积型海格-弗洛尔纽结复形$\operatorname{CFKI}^\infty(K)$，其通过$\operatorname{CFK}^\infty(K)$上的斜双滤子卷积$\mathcal{I}$构造。
• 通过$\operatorname{CFKI}^\infty(K)$上的最大-最小滤子，将卷积型Upsilon函数定义为$[0,2]$上的分段线性函数。
• 应用卷积同调的连通和公式，分析不变量在同痕下的行为。
• 利用$\mathcal{I} + \mathrm{id}$的映射锥构造，定义$\operatorname{CFKI}^\infty(K)$，并提取Upsilon函数所需的滤子数据。
• 利用卷积$\mathcal{I}$的自然性及其与Sarkar映射的关系，确保其在链同伦等价下不变。
• 将$\overline{\Upsilon}_t(K)$和$\underline{\Upsilon}_t(K)$在$t=2$处的取值与校正项$\overline{d}(S^3_p(K),[0])$和$\underline{d}(S^3_p(K),[0])$相关联，这些项决定了$\overline{V}_0(K)$和$\underline{V}_0(K)$。

实验结果

研究问题

• RQ1 能否通过卷积型海格-弗洛尔同调框架，将Upsilon不变量扩展至卷积型设定？
• RQ2 由此产生的卷积型Upsilon函数是否比经典Upsilon函数提供更强的同痕不变量？
• RQ3 卷积型Upsilon函数与经典不变量$\overline{V}_0(K)$和$\underline{V}_0(K)$有何关系？
• RQ4 卷积型Upsilon函数能否用于界定纽结的三余？
• RQ5 卷积型Upsilon函数在纽结同痕下是否不变？

主要发现

• 卷积型Upsilon函数$\overline{\Upsilon}_t(K)$和$\underline{\Upsilon}_t(K)$是$[0,2]$上良定义的分段线性函数，且为同痕不变量。
• 当$K$与$J$为同痕纽结时，有$\overline{\Upsilon}_t(K) = \overline{\Upsilon}_t(J)$和$\underline{\Upsilon}_t(K) = \underline{\Upsilon}_t(J)$。
• 在$t=2$处的取值与经典不变量的关系为$\overline{\Upsilon}_2(K) = -2\overline{V}_0(K)$和$\underline{\Upsilon}_2(K) = -2\underline{V}_0(K)$。
• 卷积型Upsilon函数为四球余(genus)提供界：在导数存在的点处，有$g_4(K) \geq \left| \frac{d}{dt} \overline{\Upsilon}_t(K) \right|$。
• 纽结的三余满足$g_3(K) \geq \max_{t \in [0,2]} \left| \frac{d}{dt} \overline{\Upsilon}_t(K) \right|$，其论证方式与经典Upsilon函数相同。
• 在$(3,7)$型扭结$T(3,7)$上验证了该构造，其中计算了$\operatorname{CFKI}^\infty(K)$，并据此显式确定了卷积型Upsilon函数。