[论文解读] The bipolar filtration of topologically slice knots

Jae Choon Cha, Min Hoon Kim|arXiv (Cornell University)|Oct 21, 2017

Geometric and Algebraic Topology被引用 34

一句话总结

本论文通过新颖地结合高阶可实现的Cheeger-Gromov L² ρ-不变量与无穷多个Heegaard Floer d-不变量，证明了拓扑扭结的双极过滤的分次商群在每个阶段 n ≥ 2 处具有无限秩，从而克服了经典不变量的局限性，检测到光滑同痕群中非平凡元素。

ABSTRACT

The bipolar filtration of Cochran, Harvey and Horn presents a framework of the study of deeper structures in the smooth concordance group of topologically slice knots. We show that the graded quotient of the bipolar filtration of topologically slice knots has infinite rank at each stage greater than one. To detect nontrivial elements in the quotient, the proof simultaneously uses higher order amenable Cheeger-Gromov $L^2$ $ρ$-invariants and infinitely many Heegaard Floer correction term $d$-invariants.

研究动机与目标

• 解决关于拓扑扭结双极过滤的分次商群在更高阶段是否非平凡的开放问题。
• 检测光滑同痕群中那些被标准光滑不变量（如τ-、ε-、ν⁺-和Υ-不变量）所无法探测到的非平凡元素。
• 展示高阶基本群信息与现代光滑不变量的结合，可探测同痕群中更深层次的结构。
• 为双极过滤的迭代商群结构及极限交集项 T_ω 的性质提供结构性洞见。

提出的方法

• 证明使用了与扭结群的高阶导出列商群相关的高阶可实现Cheeger-Gromov L² ρ-不变量。
• 将这些不变量与无穷多个Heegaard Floer校正项不变量（d-不变量）结合，以探测商群 T_n / T_{n+1} 中的非平凡元素。
• 该构造涉及特定扭结的迭代Bing双扭结族，通过Casson-Gordon技巧证明其为拓扑扭结。
• 通过涉及非交换环上块矩阵的矩阵求逆技术，计算了双分支覆盖上的链接形式。
• 通过公式 lk_{Σ_m}(α,β) = lk_{S³}(α,β) - R(α,β) 计算了 m 重循环覆盖 Σ_m 中的链接数，其中 R 是由链接矩阵的逆导出的有理双线性配对。
• 关键代数计算通过分析逆矩阵 P⁻¹ 的结构，验证了链接形式满足所需性质 (6.7) 与 (6.8)，其中 P⁻¹ 以 2 的幂次与类似切比雪夫的递推关系表达。

实验结果

研究问题

• RQ1 对所有 n ≥ 2，商群 T_n / T_{n+1} 是否非平凡？
• RQ2 高阶L² ρ-不变量与d-不变量能否探测到经典光滑不变量（如τ、ε、ν⁺与Υ）所无法察觉的 T_n / T_{n+1} 中的元素？
• RQ3 双极过滤的迭代商群在前几阶段之后的结构如何？
• RQ4 可实现L² ρ-不变量与d-不变量的结合能否探测到过滤分次商群中的无限秩？
• RQ5 极限交集 T_ω = ⋂_{n≥0} T_n 是否包含非平凡元素？

主要发现

• 对所有 n ≥ 2，商群 T_n / T_{n+1} 具有无限秩，解决了光滑同痕群中拓扑扭结结构的一个重大开放问题。
• 该证明为每个 n ≥ 2 构造了一个无限多个线性无关扭结的族，位于 T_n / T_{n+1} 中，其方法结合了高阶L² ρ-不变量与d-不变量。
• 该构造依赖于特定扭结的迭代Bing双扭结，通过Casson-Gordon方法证明其为拓扑扭结。
• 在 m 重循环覆盖上的链接形式通过块矩阵 P 的逆计算得出，其中 P 的元素定义为 A_r = [[0, 2^r], [1, 0]]，且逆矩阵 P⁻¹ 显式地以 c_r = 2^r - 1 表达。
• 覆盖中的链接数满足 lk_{Σ_m}(v_i, v_j') = -δ_ij（当 i ≥ 3m - 4 时），且性质 (6.8) 中所需的奇偶性条件通过 (2^m - 1)P⁻¹ 的第一列中元素的交替奇偶性得以验证。
• 结果表明，已知的光滑不变量如 τ、ε、ν⁺ 与 Υ 在 T_0 上消失，d-不变量在 T_1 上消失，但过滤商群仍为无限维，表明高阶不变量的必要性。