[论文解读] A partial order on the set of prime knots with up to 11 crossings

Keiichi Horie, Teruaki Kitano+2 more|ArXiv.org|Jun 22, 2009

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

一句话总结

该论文通过其扭结群之间的满同态，对最多11个交叉点的801个素扭结集合建立了完整的偏序关系。通过结合满同态的显式构造与亚历山大多项式及扭结亚历山大多项式证明的非存在性，作者解决了全部640,800对关系，将先前10个交叉点以内的结果扩展至11个交叉点，并对这一范围内的扭结群之间所有满同态进行了全面分类。

ABSTRACT

Let $K$ be a prime knot in $S^3$ and $G(K)=π_1(S^3-K)$ the knot group. We write $K_1 \geq K_2$ if there exists a surjective homomorphism from $G(K_1)$ onto $G(K_2)$. In this paper, we determine this partial order on the set of prime knots with up to 11 crossings. There exist such 801 prime knots and then $640,800$ should be considered. The existence of a surjective homomorphism can be proved by constructing it explicitly. On the other hand, the non-existence of a surjective homomorphism can be proved by the Alexander polynomial and the twisted Alexander polynomial. This work is an extension of the result of \cite{KS1}.

研究动机与目标

• 将素扭结的偏序关系从10个交叉点扩展至11个交叉点，基于满同态。
• 解决所有最多11个交叉点的801个素扭结之间扭结群的满同态存在性或非存在性问题。
• 利用代数不变量与显式构造，对这些扭结之间的群满同态提供完整分类。
• 验证并扩展Horie等人（2008年）关于10个交叉点扭结的早期结果至11个交叉点情形。

提出的方法

• 使用群表示和计算验证，显式构造扭结群之间的满同态。
• 应用亚历山大多项式作为满同态存在性的必要条件。
• 利用扭结亚历山大多项式强化满同态非存在性的判别准则。
• 系统性地计算并整理结果，形成11张表格（surj-31至surj-63）和一张非存在性表格。
• 利用10个交叉点扭结的已有结果，通过仅关注涉及11个交叉点扭结的配对，将案例数减少至579,084对。
• 采用KnotInfo命名法以确保11个交叉点扭结的命名一致性。

实验结果

研究问题

• RQ1 哪些最多11个交叉点的素扭结，其扭结群可从另一扭结的扭结群通过满同态得到？
• RQ2 如何利用扭结亚历山大多项式排除扭结群之间满同态的存在性？
• RQ3 在满同态关系下，最多11个交叉点的素扭结集合的完整偏序结构是什么？
• RQ4 11个交叉点扭结的结果如何扩展先前已知的10个交叉点以内扭结的偏序关系？
• RQ5 验证该偏序关系中全部640,800对关系所需的计算与理论框架是什么？

主要发现

• 最多11个交叉点的素扭结的偏序关系已完全确定，共801个扭结，640,800对关系全部解决。
• 所有定理1.2中列出的119对关系均通过显式构造满同态实现，相关结果记录于表格surj-31至surj-63中。
• 其余所有配对的满同态非存在性，均通过扭结亚历山大多项式及相关不变量得到确认。
• 该结果将此前10个交叉点扭结的分类（801对）扩展至11个交叉点，新增分析了579,084对关系。
• 论文确认了11a_{352} ≥ 6₁、11a_{351} ≥ 6₂以及11a_{47}、11a_{239} ≥ 6₃，解决了此前未解决的案例。
• 对于11n_{139}，其扭结群可从37个不同的扭结通过满同态得到，包括10_{147}和11a_{352}，如数据表格所示。