[论文解读] Embedding calculus and grope cobordism of knots

Danica Kosanović|arXiv (Cornell University)|Oct 10, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 36被引用 4

一句话总结

本文证明了在任意3-流形中，长绳结的嵌入微积分不变量 evn 是满射的，确认了 Goodwillie–Klein–Weiss 连通性猜想的关键部分，并支持了 evn 在整数上是通用的加法型 Vassiliev 不变量的猜想。此外，本文进一步表明，与单位绳结同痕于绳结的格状结构（grope）的首个非零 evn 恰好是其在图复形中对应带装饰树的等价类，从而将几何上的格状结构与代数不变量直接联系起来。

ABSTRACT

We show that embedding calculus invariants $ev_n$ are surjective for long knots in an arbitrary $3$-manifold. This solves some remaining open cases of Goodwillie--Klein--Weiss connectivity estimates, and at the same time confirms one half of the conjecture that for classical knots $ev_n$ are universal additive Vassiliev invariants over the integers. In addition, we give a sufficient condition for this conjecture to hold over a coefficient group, which is by recent results of Boavida de Brito and Horel fulfilled for the rationals and for the $p$-adic integers in a range. Therefore, embedding calculus invariants are strictly more powerful than the Kontsevich integral. Furthermore, our work shows they are more computable as well. Namely, the main theorem computes the first possibly non-vanishing invariant $ev_n$ of a knot which is grope cobordant to the unknot to be precisely equal to the equivalence class of the underlying decorated tree of the grope in the associated graph complex. Actually, our techniques apply beyond dimension $3$, offering a description of the layers in embedding calculus for long knots in a manifold of any dimension, and suggesting that certain generalised gropes realise the corresponding graph complex classes.

研究动机与目标

• 解决嵌入微积分中 Goodwillie–Klein–Weiss 连通性估计的未解问题。
• 确认嵌入微积分不变量 evn 是整数上通用加法型 Vassiliev 不变量的猜想的一半。
• 通过格状结构同痕提供嵌入微积分不变量的几何解释。
• 在第一个非零 evn 与图复形中格状结构的带装饰树之间建立精确对应关系。
• 将嵌入微积分的适用范围扩展至三维流形之外，提示广义格状结构实现了图复形中的类。

提出的方法

• 使用带帽的格状结构作为有限型不变量的几何模型，取代以往的叶状图或弦图模型。
• 应用 Goodwillie 的带穿孔绳结模型，描述长绳结的嵌入微积分塔。
• 计算与单位绳结同痕于格状结构的绳结的首个可能非零不变量 evn。
• 将格状结构的底层带装饰树映射到图复形中的对应类。
• 证明 evn 通过评估映射检测到格状结构的树结构，从而将拓扑与代数图复形联系起来。
• 将框架推广至任意维度，提示广义格状结构实现了嵌入微积分层中的同伦类。

实验结果

研究问题

• RQ1 在任意3-流形中，长绳结的嵌入微积分不变量 evn 是否是满射？
• RQ2 与单位绳结同痕于格状结构的绳结的首个非零 evn 是否恰好对应其在图复形中底层带装饰树的等价类？
• RQ3 能否证明嵌入微积分不变量严格强于 Kontsevich 积分，特别是在无挠系数群上？
• RQ4 嵌入微积分塔的同伦群谱序列在对角线上何时在 E2 页处坍缩？
• RQ5 在高维中，广义格状结构是否如嵌入微积分层所暗示的那样，实现了相关图复形中的类？

主要发现

• 在任意3-流形中，长绳结的嵌入微积分不变量 evn 是满射的，确认了 Goodwillie–Klein–Weiss 猜想的关键部分。
• 对于与单位绳结同痕于格状结构的绳结，其首个可能非零的 evn 恰好是其关联图复形中底层带装饰树的等价类。
• 评估映射 π0evn 检测到格状结构的树结构，为代数图复形类提供了几何实现。
• 在无挠阿贝尔群 A 上，若谱序列 E∗−n,t(I3)⊗A 在对角线上于 E2 页处坍缩，则 evn 是 A 上类型 ≤n−1 的通用加法型 Vassiliev 不变量。
• 结果表明，嵌入微积分不变量严格强于 Kontsevich 积分，后者仅限于特征为零的情形。
• 该技术可推广至三维以上，提示广义格状结构在高维嵌入微积分中实现了相应的图复形类。