解结可定向曲面
Unknotting orientable surfaces
浏览论文内容
中文总结 AI 辅助
本文证明在4维球面中，具有结群Z的局部平坦嵌入的亏格1或2的可定向曲面必为未打结，并推广至相对情形，结合Freedman工作给出充要条件。
中文摘要 AI 辅助
本文证明了在4维球面中，每个具有结群$\mathbb{Z}$的局部平坦嵌入的亏格$g \in \{1,2\}$曲面都是未打结的。同样的证明也确立了：在$D^4$中，任意两个具有结群$\mathbb{Z}$且共同边界为Alexander多项式为一的纽结的亏格$g \in \{1,2\}$曲面，在相对边界意义下是同位痕的。在先前的工作中，作者与Powell将此类解结问题归结为关于$\mathbb{Z}[t^{\pm 1}]$上$(-t)$-二次型消去的问题，该问题在亏格$g \geq 3$时已利用Bass的工作解决。在亏格$g=2$时，我们观察到利用Bass的进一步工作，同样的证明依然成立。在亏格$g=1$时，结果则来自一个交换代数中的命题，该命题在AI的辅助下得到证明。结合Freedman关于具有结群$\mathbb{Z}$的局部平坦球面的早期工作，这表明在$S^4$中局部平坦嵌入的可定向曲面是未打结的，当且仅当其结群为$\mathbb{Z}$。
英文摘要
It is shown that every locally flatly embedded genus $g \in \{1,2\}$ surface in the $4$-sphere with knot group $\mathbb{Z}$ is unknotted. The same proof establishes that any two genus $g \in \{1,2\}$ surfaces in $D^4$ with knot group $\mathbb{Z}$ and common boundary an Alexander polynomial one knot are isotopic rel. boundary. In previous work, the author and Powell reduced such unknotting problems to a question concerning the cancellation of $(-t)$-quadratic forms over $\mathbb{Z}[t^{\pm 1}]$, which was solved in genus $g \geq 3$ using work of Bass. In genus $g=2$, we observe that the same proof goes through using further work of Bass. In genus $g=1,$ the result instead follows from a statement in commutative algebra which was proved with the assistance of AI. Combined with earlier work of Freedman on locally flat spheres with knot group $\mathbb{Z}$, this shows that a locally flatly embedded orientable surface in $S^4$ is unknotted if and only if its knot group is $\mathbb{Z}$.
发表机构
- The University of Texas at Austin（德克萨斯大学奥斯汀分校）
机构由 AI 辅助整理，请以论文原文为准。
