[论文解读] 0-concordance of knotted surfaces and Alexander ideals

Jason Joseph|arXiv (Cornell University)|Nov 29, 2019

Geometric and Algebraic Topology参考文献 19被引用 4

一句话总结

该论文证明了四维球面中扭结曲面的亚历山大理想是0-同痕不变量，从而诱导出从0-同痕幺半群 $\mathscr{C}_0$ 到 $\mathbb{Z}[t^{\pm 1}]$ 的理想类幺半群的同态。关键结果是：任何具有非主亚历山大理想的曲面扭结在 $\mathscr{C}_0$ 中既不是0-截面，也不可逆，这提供了超越经典Fox-Milnor条件的首个0-同痕障碍，并证明了存在无穷多个线性无关的0-同痕类。

ABSTRACT

In this paper we provide a new obstruction to 0-concordance of knotted surfaces in $S^4$ in terms of Alexander ideals. We use this to prove the existence of infinitely many linearly independent 0-concordance classes and to provide the first proof that the submonoid of 2-knots is not a group. The main result is that the Alexander ideal induces a homomorphism from the 0-concordance monoid $\mathscr{C}_0$ of oriented surface knots in $S^4$ to the ideal class monoid of $\mathbb{Z}[t^{\pm1}]$. Consequently, any surface knot with nonprincipal Alexander ideal is not 0-slice and in fact, not invertible in $\mathscr{C}_0$. Many examples are given. We also characterize which ideals are the ideals of surface knots, generalizing a theorem of Kinoshita, and generalize the knot determinant to the case of nonprincipal ideals. Lastly, we show that under a mild condition on the knot group, the peripheral subgroup of a knotted surface is also a 0-concordance invariant.

研究动机与目标

• 通过亚历山大理想建立四维球面中扭结曲面0-同痕的新障碍。
• 通过证明具有非主亚历山大理想的扭结不可逆，证明在连通和运算下2-扭结的子幺半群不是群。
• 刻画哪些理想可作为曲面扭结的亚历山大理想，推广了木下的定理。
• 在适度的群论条件下，证明周环子群是0-同痕不变量。
• 将扭结行列式推广至非主理想，并研究其在扭旋操作下的行为。

提出的方法

• 该论文通过将每个曲面扭结映射到其亚历山大理想，定义了同态 $\Delta: \mathscr{C}_0 \to \mathcal{I}(\mathbb{Z}[t^{\pm 1}])$。
• 证明在带状同痕过程中，亚历山大理想通过乘以一个主理想而改变，利用0-同痕可分解为两个相反方向的带状同痕这一事实。
• 关键引理表明，连通和的亚历山大理想等于各独立理想之积，从而保证与幺半群结构相容。
• 该论文分析了经典扭结的扭旋，证明当 $|\Delta_K(-1)| \neq 1$ 时，$\tau^nK$ 具有非主亚历山大理想。
• 通过将木下定理推广至 $\mathbb{Z}[t^{\pm 1}]$ 中的任意理想，刻画了亚历山大理想映射的像。
• 在扭结群的换位子群满足素性条件时，证明了周环子群是0-同痕不变量。

实验结果

研究问题

• RQ1 每个0-截面2-扭结是否都存在到平凡扭结的带状同痕？
• RQ2 $\mathscr{C}_0$ 中2-扭结的子幺半群是否对取逆封闭？
• RQ3 当亚历山大多项式平凡或主理想时，亚历山大理想是否仍能检测非0-截面性？
• RQ4 是否存在无穷多个线性无关的曲面扭结0-同痕类？
• RQ5 对于素扭结群的扭结，周环子群是否在0-同痕下保持不变？

主要发现

• 亚历山大理想诱导出良定义的同态 $\Delta: \mathscr{C}_0 \to \mathcal{I}(\mathbb{Z}[t^{\pm 1}])$，使其成为0-同痕不变量。
• 任何具有非主亚历山大理想的曲面扭结在 $\mathscr{C}_0$ 中既不是0-截面，也无逆元，从而证明2-扭结的子幺半群不是群。
• 对任意满足 $|\Delta_K(-1)| \neq 1$ 的经典扭结 $K$，存在无穷多个 $n \in \mathbb{Z}$，使得 $n$-扭旋 $\tau^nK$ 具有非主亚历山大理想。
• 2-桥扭结的行列式是其2-扭旋的0-同痕不变量，因此 $\tau^2K$ 与 $\tau^2J$ 仅当 $|\Delta_K(-1)| = |\Delta_J(-1)|$ 时才同痕。
• 在扭结群为素群（例如奇素数 $p$ 的 $(2,p)$-正则扭结的2-扭旋）的条件下，周环子群是0-同痕不变量。
• 该论文将扭结行列式推广至非主理想，表明亚历山大理想的类捕获了0-同痕的算术障碍。