[论文解读] Non-peripheral ideal decompositions of alternating knots

Stavros Garoufalidis, Iain Moffatt+1 more|arXiv (Cornell University)|Oct 31, 2016

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

一句话总结

本文证明了由平面、简化、交替投影导出的双曲交替纽结的理想三角剖分是非周向的——即任意边均不与边界环面上的曲线同伦，从而确保了胶合方程与完备性方程的可解性。通过小扩张理论与显式周向复形，作者构建了一个多项式时间算法，用于检测交替纽结群中的周向元素，解决了这些纽结在体积猜想中适用性的关键条件。

ABSTRACT

An ideal triangulation $\mathcal{T}$ of a hyperbolic 3-manifold $M$ with one cusp is non-peripheral if no edge of $\mathcal{T}$ is homotopic to a curve in the boundary torus of $M$. For such a triangulation, the gluing and completeness equations can be solved to recover the hyperbolic structure of $M$. A planar projection of a knot gives four ideal cell decompositions of its complement (minus 2 balls), two of which are ideal triangulations that use 4 (resp., 5) ideal tetrahedra per crossing. Our main result is that these ideal triangulations are non-peripheral for all planar, reduced, alternating projections of hyperbolic knots. Our proof uses the small cancellation properties of the Dehn presentation of alternating knot groups, and an explicit solution to their word and conjugacy problems. In particular, we describe a planar complex that encodes all geodesic words that represent elements of the peripheral subgroup of an alternating knot group. This gives a polynomial time algorithm for checking if an element in an alternating knot group is peripheral. Our motivation for this work comes from the Volume Conjecture for knots.

研究动机与目标

• 建立由双曲纽结的平面、简化、交替投影导出的理想三角剖分为非周向的结论。
• 利用小扩张理论解决交替纽结群中的周向词问题。
• 构建一个编码表示周向子群元素的测地词的平面复形。
• 提供一个多项式时间算法，用于检测交替纽结群中给定元素是否为周向元素。
• 通过确保这些三角剖分的胶合方程与完备性方程可解，支持体积猜想的适用性。

提出的方法

• 利用交替纽结群的扩充德恩表示，通过关系平方来建模群结构。
• 应用小扩张理论分析交替纽结群中的词问题与共轭问题。
• 从德恩表示出发，通过将关系平方以网格状排列，构建有向与无向周向复形。
• 通过关系平方的对角对齐实现周向复形的几何构造，确保其唯一性与与有向复形的等距性。
• 利用周向复形编码所有表示周向子群元素的测地词。
• 开发一个多项式时间算法，通过遍历周向复形来判断给定群元素是否为周向元素。

实验结果

研究问题

• RQ1 由双曲交替纽结的平面、简化、交替投影导出的理想三角剖分是否为非周向的？
• RQ2 能否利用小扩张理论高效求解交替纽结群中的周向词问题？
• RQ3 是否存在一个几何复形，可编码交替纽结群中所有表示周向元素的测地词？
• RQ4 该周向复形能否直接从德恩表示构造，而无需依赖纽结图？
• RQ5 此类复形的存在是否能支持在交替纽结群中实现多项式时间的周向检测算法？

主要发现

• 由双曲交替纽结的简化、交替、平面投影导出的所有理想三角剖分均为非周向的，从而确保了胶合方程与完备性方程的可解性。
• 周向复形可唯一地从扩充德恩表示出发，通过沿对角线排列关系平方来构造。
• 无向周向复形与有向周向复形等距，且保持群论结构。
• 可通过无向周向复形重构交替纽结或其逆的高斯码。
• 存在一个基于周向复形遍历的多项式时间算法，可判断给定交替纽结群元素是否为周向元素。
• 该构造利用小扩张性质，为交替纽结群中的词问题与共轭问题提供了几何解法。