Lipshitz-Sarkar refines mirrors more than Khovanov

技术摘要：“Lipshitz-Sarkar 对镜像的精细化程度超过 Khovanov”

问题陈述
本文旨在解决 Lipshitz 和 Sarkar 在 2018 年国际数学家大会（ICM）上提出的 11 个问题中的第 2 题（Q2）。该问题询问 Khovanov 同调的同伦论精细化（即 Khovanov 谱）是否比普通的整系数 Khovanov 同调提供了更强的非对称性（镜像对称性）障碍。具体而言，作者试图确定是否存在一个纽结 $K$ 及其镜像 $mK$，使得它们的整系数 Khovanov 同调群在每个双分次（包括扭项）下都是同构的，但它们的 Khovanov 谱却是不等价的。

方法论
作者采用了一种利用 Regina 纽结目录进行计算机辅助搜索的策略，并辅以 AI 工具“chat-GTP 5.6 sol Pro”。该方法论涉及对素纽结目录进行多阶段过滤的过程：

1. 有理数检查： 首先通过比较纽结与其镜像的有理 Khovanov 多项式来过滤纽结。
2. 整数检查： 对通过第一阶段筛选的候选纽结进行检查，确认其完整的整系数 Khovanov 同调群（包括扭子群）是否同构。
3. 支撑检查： 对剩余的候选纽结进行筛选，确保其模 2 同调表包含由两个上同调度分隔的源群和目标群，这是 Steenrod 平方运算（$Sq^2$）非平凡的必要条件。
4. 几何对称性检查： 使用 SnapPy 进行独立检查，验证纽结补空间具有平凡对称群，从而确保该纽结并非本质上具有镜像对称性。
5. 谱计算： 对于最终的候选纽结，作者计算了 Steenrod 平方映射 $Sq^2: Kh_{i,j}(K; \mathbb{F}_2) \to Kh_{i+2,j}(K; \mathbb{F}_2)$ 的秩，并将其与镜像纽结的相应映射进行比较。

搜索重点在于最多 17 交叉的素纽结。虽然在处理最多 15 交叉的纽结以及所有 1,008,906 个 16 交叉非交错素纽结时均未取得成功，但搜索过程进入了包含超过 800 万个素纽结的 17 交叉目录。

关键结果
论文提出了 定理 3.1，识别出了一个特定的素纽结，在 Regina 目录中记为 $K = 17nh0009090$，它满足 Lipshitz 和 Sarkar 问题的条件：

• 同调等价性： 对于每一对分次指数 $(i, j)$，$K$ 与其镜像 $mK$ 的整系数 Khovanov 同调群作为阿贝尔群是同构的（$Khi,j(K; \mathbb{Z}) \cong Khi,j(mK; \mathbb{Z})$），包括所有的扭项部分。
• 谱差异： 在域 $\mathbb{F}_2$ 上，Steenrod 平方映射 $Sq^2: Kh_{-6,-9} \to Kh_{-4,-9}$ 的秩在纽结与镜像之间存在差异。具体而言，对于 $K$，该秩为 1；而对于 $mK$，该秩为 0。
• 结论： 因此，尽管它们的整系数同调群是相同的，但 $K$ 与 $mK$ 的量子分次 Khovanov 稳定同伦型是不等价的。

作者还指出存在一个具有类似性质的复合（非素）示例，详见附录 B。

意义与主张
本文声称为 Lipshitz 和 Sarkar 的 Q2 提供了肯定的回答，证明了 Khovanov 谱是检测手性的比整系数 Khovanavity 更强的不变量。作者强调，这是通过系统性计算机辅助搜索发现的第一个成功案例，标志着 17 交叉前沿是首次观察到此类差异之处。

这项工作凸显了 AI 驱动工具在数学发现中的效用，特别是在处理如 Regina 目录这类大型数据集的组合搜索和模式识别方面。作者将该结果界定为一个存在性定理，而非关于绝对最小性的主张，并指出该 17 交叉纽结是第一个被验证发现的例子，但不一定是具有该性质的最小交叉数纽结。论文总结道，Khovanov 谱所提供的非对称性障碍确实比仅由同调提供的障碍更为强大。