[论文解读] Framed link presentations of 3-manifolds by an $O(n^2)$ algorithm, I: gems and their duals

Sóstenes Lins, Ricardo Machado|arXiv (Cornell University)|Nov 8, 2012

Geometric and Algebraic Topology参考文献 14被引用 5

一句话总结

该论文提出了一种O(n²)算法，将一类特殊的3-流形三角剖分——可解宝石的对偶——转换为S³中的带框架的链环表示，从而能够从三角剖分高效计算3-流形不变量（如Witten-Reshetikhin-Turaev不变量）。该方法依赖于宝石消解、双极对消除以及受控的扭转变换，构造出一个最多含n个分量且边数不超过12n²的链环。

ABSTRACT

Given an special type of triangulation $T$ for an oriented closed 3-manifold $M^3$ we produce a framed link in $S^3$ which induces the same $M^3$ by an algorithm of complexity $O(n^2)$ where $n$ is the number of tetrahedra in $T$ . The special class is formed by the duals of the {\em solvable gems}. These are in practice computationaly easy to obtain from any triangulation for $M^3$. The conjecture that each closed oriented 3-manifold is induced by a solvable gem has been verified in an exhaustible way for manifolds induced by gems with few vertices. Our algorithm produces framed link presentations for well known 3-manifolds which hitherto did not one explicitly known. A consequence of this work is that the 3-manifold invariants which are presently only computed from surgery presentations (like the Witten-Reshetkhin-Turaev invariant) become computable also from triangulations. This seems to be a new and useful result. Our exposition is partitioned into 3 articles. This first article provides our motivation, some history on presentation of 3-manifolds and recall facts about gems which we need.

研究动机与目标

• 开发一种高效且可实现的算法，将闭合定向3-流形的三角剖分转换为带框架的链环手术表示。
• 弥合基于三角剖分与基于手术的3-流形表示之间的鸿沟，此前尚无已知的高效转换方法。
• 通过带框架的链环表示，实现从三角剖分计算量子3-流形不变量（如Witten-Reshetikhin-Turaev不变量）。
• 在O(n²)复杂度界内，建立可消解宝石与带框架链环表示之间的计算等价性。
• 为此前缺乏此类表示的3-流形（包括Weber-Seifert双曲正十二面体空间等双曲例子）提供构造性框架，以生成显式的带框架链环图示。

提出的方法

• 算法从3-流形M³的三角剖分开始，将其转换为具有2n个顶点的3-宝石G，假设不存在双极对、ρ-对或4-簇。
• 假设该宝石G是可消解的，即其可通过一系列保持所诱导流形不变的局部操作（扭转变换与消去）实现。
• 通过0-翻转或1-翻转实现2-双极的加厚，将2-双极转化为3-双极，逐步推进至n-块状宝石。
• 每一步均对宝石的i-分解中各分量应用受控的ji-和ki-扭转变换，确保结果图仍为宝石，且操作顺序无关。
• 最终得到的n-块状宝石是R³中一个带框架链环的对偶，该链环最多含n个分量且边数不超过12n²，所诱导的流形即为原始3-流形M³。
• 该构造依赖于3-剩余的性质、宝石对偶性，以及“仅含一个jk-多边形的宝石诱导S³”这一事实，从而实现对标准形式的归纳约化。

实验结果

研究问题

• RQ1 能否仅通过多项式时间操作，将闭合定向3-流形的三角剖分高效转换为带框架的链环手术表示？
• RQ2 是否存在一种计算上可行的算法，从3-流形的宝石表示生成带框架链环表示，且时间复杂度为O(n²)？
• RQ3 宝石的哪些结构性质（如可解性、消解性）可确保所生成的带框架链环正确表示原始3-流形？
• RQ4 能否通过此新的基于链环的框架，从三角剖分计算如Witten-Reshetikhin-Turaev不变量等量子不变量？
• RQ5 从具有2n个顶点的宝石生成的带框架链环中，其最小分量数与边数是多少？该值是否可被界定？

主要发现

• 该算法的时间复杂度为O(n²)，其中n为输入三角剖分中四面体的数量，实际运行中常数因子较小。
• 所得带框架链环最多含n个分量，且边数不超过12n²，对链环复杂度提供了紧致的上界。
• 该方法成功为此前缺乏此类描述的3-流形（包括Weber-Seifert双曲正十二面体空间）生成了显式的带框架链环表示。
• 该构造建立了可消解宝石与带框架链环表示之间的计算等价性，使得两类模型间的不变量可相互转移。
• 该证明依赖于“所有可解宝石均为可消解”的假设，尽管尚未被证明，但对小规模宝石而言有经验支持。
• 该框架使得Witten-Reshetikhin-Turaev不变量及类似量子不变量能够通过在所得链环上进行手术，从三角剖分中计算得出。