[論文レビュー] 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

ひとこと要約

本稿では、特殊な3次元多様体の三角形分割（可解なジェムの双対）を、S³におけるフレームドリンク表現に変換するO(n²)のアルゴリズムを提示する。これにより、Witten-Reshetikhin-Turaev不変量などの3次元多様体不変量の効率的計算が可能になる。この手法は、ジェムの解消、ダイポールキャンセレーション、制御されたねじり操作に依存し、高々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次元多様体（例えば、ウェーバー＝ザイフェルト空間のような双曲的例）に対し、明示的なフレームドリンク図の生成を可能にする構成的枠組みを提供すること。

提案手法

• アルゴリズムは、3次元多様体M³の三角形分割を出発とし、2n個の頂点を持つ3-ジェムGに変換する。ここでは、ダイポール、ρ-ペア、4-クラスターが存在しないものと仮定する。
• ジェムGは解消可能であると仮定する。すなわち、誘導される多様体を保つような局所的変形（ねじり操作とキャンセレーション）の列が存在する。
• 2-ダイポールを3-ダイポールに変換するため、0-フラップまたは1-フラップによる2-ダイポールの太鼓化を用い、J²B-ジェムの系列を経てn-ブロイドに至る。
• 各ステップで、ジェムのi-分解の各成分に対して制御されたji-およびki-ねじり操作を適用し、結果として得られるグラフがジェムであり、操作の順序に依存しないことを保証する。
• 最終的なn-ブロイドは、高々n個の成分と≤12n²本の辺を持つR³内のフレームドリンクと双対であり、元の3次元多様体M³を誘導する。
• この構成は、3-残留物の性質、ジェムの双対性、および単一のjk-多角形を持つジェムがS³を誘導することに依存しており、標準形への帰納的還元を可能にする。

実験結果

リサーチクエスチョン

• RQ1 閉じた向き付け可能な3次元多様体の三角形分割を、多項式時間の操作のみを用いて、フレームドリンク手術表現に効率的に変換できるか？
• RQ2 3次元多様体のジェム表現から、O(n²)の複雑度で実行可能なアルゴリズムによってフレームドリンク表現を生成できるか？
• RQ3 ジェムの構造的性質（例：可解性、解消可能性）は、得られるフレームドリンクが元の3次元多様体を正しく表現することを保証するか？
• RQ4 Witten-Reshetikhin-Turaev不変量のような量子不変量を、この新しいリンクベースの枠組みを介して三角形分割から計算できるか？
• RQ5 2n個の頂点を持つジェムから得られるフレームドリンクの最小の成分数と辺数は何か？また、それらは有界とみなせるか？

主な発見

• アルゴリズムは、入力の三角形分割における単体数nに対してO(n²)の時間で実行され、実際の計算では小さな定数係数を有する。
• 得られるフレームドリンクは高々n個の成分と高々12n²本の辺を有し、リンクの複雑度に対するきつい上限が得られる。
• この手法は、従来このような記述がなかった3次元多様体に対しても、明示的なフレームドリンク表現を効果的に生成でき、ウェーバー＝ザイフェルトの双曲的ドデカヘドロン空間を含む。
• この構成により、解消可能なジェムとフレームドリンク表現との間の計算的同等性が確立され、両モデル間での不変量の移行が可能になる。
• 証明は、すべての可解ジェムが解消可能であるという仮定に依存しているが、これは未解決のままであるが、小さなジェムでは経験的に支持されている。
• この枠組みにより、Witten-Reshetikhin-Turaev不変量や類似の量子不変量が、得られたリンクにおける手術を介して三角形分割から計算可能になる。