[论文解读] 2-torsion in the grope and solvable filtrations of knots

Hye Jin Jang|arXiv (Cornell University)|Feb 16, 2015

Geometric and Algebraic Topology参考文献 18被引用 3

一句话总结

本文在 knot concordance group 的 grope 和可解滤子中构造了一个无限家族的二阶扭结，证明了对每个 $ n \geq 4 $，商群 $ \mathcal{G}_n / \mathcal{G}_{n+0.5} $ 包含一个 $ \mathbb{Z}_2^\infty $ 子群。通过使用特定感染结进行迭代感染，并分析 $ L^2 $-符号障碍，作者表明这些结是 $ (n) $-可解的，且具有消失的 PTFA $ L^2 $-符号障碍，从而提供了与先前构造不同的新 2-挠元素。

ABSTRACT

We study knots of order 2 in the grope filtration $\{\G_h\}$ and the solvable filtration $\{\F_h\}$ of the knot concordance group. We show that, for any integer $n\ge4$, there are knots generating a $\Z_2^\infty$ subgroup of $\G_n/\G_{n.5}$. Considering the solvable filtration, our knots generate a $\Z_2^\infty$ subgroup of $\F_n/\F_{n.5}$ $(n\ge2)$ distinct from the subgroup generated by the previously known 2-torsion knots of Cochran, Harvey, and Leidy. We also present a result on the 2-torsion part in the Cochran, Harvey, and Leidy's primary decomposition of the solvable filtration.

研究动机与目标

• 在 knot concordance group 的 grope 和可解滤子中构造新的 2-挠元素。
• 证明在 $ \mathcal{G}_n / \mathcal{G}_{n.5} $ 中存在 $ \mathbb{Z}_2^\infty $ 子群（$ n \geq 4 $），且不同于先前已知的例子。
• 分析 $ L^2 $-符号障碍在可解滤子中检测 2-挠元素的作用。
• 扩展对 grope 和可解滤子中连续商群结构的理解，特别是在较高层次上的表现。

提出的方法

• 使用从 Horn 的 grope-边界结和 Cha 的感染结中精心选取的感染结进行迭代感染。
• 构造在 $ \mathcal{F}_n / \mathcal{F}_{n.5} $ 中的结，使其为 $ (n) $-可解但非 $ (n+0.5) $-可解。
• 在 PTFA 群环上应用 $ L^2 $-符号障碍，以验证所构造结的非切削性。
• 利用 Blanchfield 对偶性和模理论论证，证明 $ H_1(W, \mathcal{R}) $ 中同调类的非平凡性。
• 通过归纳法和导出系列商的结构，追踪同态到群环下经由的子群的像。
• 利用 [CHL11c] 中的定理 4.3 和定理 4.4，将模的平凡性与 $ L^2 $-符号障碍的消失联系起来。

实验结果

研究问题

• RQ1 能否在 $ n \geq 4 $ 的 grope 滤子 $ \mathcal{G}_n / \mathcal{G}_{n.5} $ 中构造出新的 2-挠元素？
• RQ2 在 $ \mathcal{F}_n / \mathcal{F}_{n.5} $ 中构造的结是否生成一个不同于 Cochran、Harvey 和 Leidy 所发现的 $ \mathbb{Z}_2^\infty $ 子群？
• RQ3 能否利用 PTFA 群上的 $ L^2 $-符号障碍来检测可解滤子高层级中的 2-挠？
• RQ4 亚历山大多项式及其强互素性在证明非平凡性的模理论论证中起什么作用？
• RQ5 在系数为群环 $ \mathcal{R} $ 的手术流形同调中，子群的像是否非平凡？

主要发现

• 对每个整数 $ n \geq 4 $，存在一个子群同构于 $ \mathbb{Z}_2^\infty $，其包含于 $ \mathcal{G}_n / \mathcal{G}_{n+0.5} $ 中。
• 所构造的结是 $ (n) $-可解的，且具有消失的 PTFA $ L^2 $-符号障碍，从而确保其非 $ (n+0.5) $-可解。
• 这些结在 $ \mathcal{F}_n / \mathcal{F}_{n+0.5} $ 中生成一个 $ \mathbb{Z}_2^\infty $ 子群（$ n \geq 2 $），且不同于 Cochran-Harvey-Leidy 的 2-挠结所生成的子群。
• 证明表明，从映射到 $ H_1(W, \mathcal{R}) $ 的子群的像非平凡，这对 Blanchfield 型式的非消失性至关重要。
• 模 $ \frac{\mathbb{Z}[t^{\pm 1}]}{\langle p_{n-1}(t) \rangle} \otimes_{\mathbb{Z}[t^{\pm 1}]} \mathcal{R} $ 非平凡，意味着若该模不平凡，则 $ L^2 $-符号障碍不会消失。
• 该论证表明 $ \mathcal{T}_{n-k}\pi_1(W_k)/\mathcal{T}_{n-k+1}\pi_1(W_k) \to H_1(W_{k+1}, \mathcal{R}) $ 非平凡，从而确认了导出系列像的非平凡性。