[论文解读] Knot concordance, Whitney towers and L^2 signatures

Tim D. Cochran, Kent E. Orr+1 more|ArXiv.org|Aug 22, 1999

Advanced Operator Algebra Research参考文献 21被引用 47

一句话总结

本文通过惠特尼塔和高阶不变量，引入了纽结同痕群的几何滤子，构造了新的 $L^2$-符号，以检测经典不变量无法探测的非截断纽结。证明了存在无穷多个具有零塞森-戈登不变量的非截断纽结，利用冯·诺伊曼 $L^2$-符号阻碍 $(1.5)$-可解性，并在代数障碍与四维拓扑之间建立了桥梁。

ABSTRACT

We construct many examples of non-slice knots in 3-space that cannot be distinguished from slice knots by previously known invariants. Using Whitney towers in place of embedded disks, we define a geometric filtration of the 3-dimensional topological knot concordance group. The bottom part of the filtration exhibits all classical concordance invariants, including the Casson-Gordon invariants. As a first step, we construct an infinite sequence of new obstructions that vanish on slice knots. These take values in the L-theory of skew fields associated to certain {\em universal} groups. Finally, we use the dimension theory of von Neumann algebras to define an L^2 signature and use this to detect the first unknown step in our obstruction theory.

研究动机与目标

• 通过惠特尼塔和 $n$-曲面，发展三维拓扑纽结同痕群的几何滤子。
• 在纽结群的换位子群序列相关联的斜域的 $L$-理论中，构造新的代数障碍。
• 利用冯·诺伊曼代数定义并应用 $L^2$-符号，以检测超越经典不变量的非截断纽结。
• 通过高阶亚历山大多项式模和布兰查非德形式，在代数障碍与四维拓扑之间建立桥梁。

提出的方法

• 通过纽结余域的可解覆盖中的交形式定义 $(h)$-可解性，其中 $h \in \frac{1}{2}\mathbb{N}_0$。
• 引入高阶亚历山大多项式模和布兰查非德 linking 形式，作为经典不变量的非交换推广。
• 在与纽结群的有理通用可解群相关联的斜域的 $L$-理论中构造障碍。
• 利用冯·诺伊曼代数的维数理论，定义 $L^2$-符号作为在截断纽结上消失的不变量。
• 将 $(h)$-可解性与 $B^4$ 中高度为 $h+2$ 的 g个和惠特尼塔的存在性联系起来，连接几何与代数条件。
• 将 $L^2$-符号应用于检测超越塞森-戈登不变量的障碍理论中的第一个非平凡步骤。

实验结果

研究问题

• RQ1 $L^2$-符号能否探测到经典同痕不变量（如塞森-戈登不变量）无法探测的纽结？
• RQ2 $(h)$-可解性的几何意义是什么，以 $B^4$ 中的惠特尼塔和 g个表示？
• RQ3 高阶 linking 形式和亚历山大多项式模是否包含 $(h)$-可解纽结的自正交子模？
• RQ4 商群 $\mathcal{F}_{(2)}/\mathcal{F}_{(2.5)}$ 是否非平凡，且是否具有无限秩？
• RQ5 $L^2$-符号能否阻碍 $(1.5)$-可解性，它与先前不变量的消失有何关系？

主要发现

• 图 6.1 中的纽结具有零塞森-戈登不变量，但不是拓扑截断的，证明了此前未被探测到的非截断纽结的存在。
• 商群 $\mathcal{F}_{(2)}/\mathcal{F}_{(2.5)}$ 具有无限秩，证明了滤子在第二阶段之后非平凡。
• 所有经典同痕不变量，包括塞森-戈登、吉尔默、柯尔克-利维森和莱茨克障碍，对 $(1.5)$-可解纽结均消失。
• $L^2$-符号通过纽结的有理通用可解群的冯·诺伊曼代数定义，作为新的截断障碍。
• 在 $B^4$ 中边界为高度 $h+2$ 的惠特尼塔的纽结是 $(h)$-可解的，将几何与代数条件联系起来。
• $(h)$-可解纽结的高阶亚历山大多项式模在高阶 linking 形式下包含自正交子模。