[論文レビュー] Simplicial moves on complexes and manifolds

W. B. R. Lickorish|arXiv (Cornell University)|Nov 20, 1999

Advanced Combinatorial Mathematics参考文献 5被引用数 6

ひとこと要約

本稿は、組合せトポロジーにおける2つの基礎的定理の再証明を提供する。まず、折線的同相な単体複体はスターレス移動によって関係付けられること。第二に、任意の折線的多様体の2つの三角形分割を結ぶために、有限個の単体移動（特に双線形またはパッチャーナ移動）で十分であること。本研究は、三角形分割の間の構成的かつ有限移動による同値性を確立し、PLトポロジーにおけるこれらの移動の基礎的役割を強化する。

ABSTRACT

Here are versions of the proofs of two classic theorems of combinatorial topology. The first is the result that piecewise linearly homeomorphic simplicial complexes are related by stellar moves. This is used in the proof, modelled on that of Pachner, of the second theorem. This states that moves from only a finite collection are needed to relate two triangulations of a piecewise linear manifold.

研究の動機と目的

• 折線的同相な単体複体がスターレス移動によって関係付けられることを、再考し、理解しやすい証明を提供すること。
• パッチャーナのアプローチに類似した議論を用いて、任意の2つの折線的多様体の三角形分割を結ぶために、有限個の単体移動で十分であることを確立すること。
• 単体移動がPL多様体および複体の分類における基礎的役割を明確にすること。
• 幾何的トポロジーおよび組合せ的トポロジーの研究者に適した、自己完結的かつ厳密な単体移動の取り扱いを提示すること。

提案手法

• パッチャーナの元の証明にインspiredされた構成的アプローチを採用し、局所的な組合せ的変換に焦点を当てる。
• スターレス移動（特に、中心的単体分割とその逆）を、PL同相な複体を関係づける主な道具として用いる。
• 双線形（またはパッチャーナ）移動の概念を適用し、三角形分割の同値類の有限生成性を示す。
• 単体の数に関する帰納的議論を用いて、任意の2つの三角形分割が、そのような移動の有限列によって接続可能であることを示す。
• 折線的構造の理論と、PL多様体に埋め込まれた単体複体の性質に依拠する。
• 位相的不変性と局所的有限性を用いて、移動が同値性に十分かつ必要であることを示す。

実験結果

リサーチクエスチョン

• RQ1 任意の折線的多様体の2つの三角形分割は、有限個の単体移動の列によって関係づけられるか？
• RQ2 スターレス移動は、任意の2つの折線的同相な単体複体を関係づけるのに十分か？
• RQ3 1つのPL多様体の三角形分割を別のものに変換するために必要な最小の移動集合は何か？
• RQ4 より直接的で組合せ的なアプローチを用いて、パッチャーナの定理を再証明できるか？
• RQ5 PLトポロジーの文脈において、スターレス移動と双線形移動の関係は何か？

主な発見

• 折線的同相な単体複体は、有限個のスターレス移動の列によって関係づけられる。
• 任意の折線的多様体の2つの三角形分割は、有限個の双線形（パッチャーナ）移動の列によって接続可能である。
• 三角形分割を関係づけるために必要な移動の集合は有限であり、特定の多様体に依存せず、次元にのみ依存する。
• 証明は、同値な三角形分割の間の構成的かつアルゴリズム的な経路を確立し、移動集合の有限性と有効性を確認する。
• 結果は、PL多様体の構造の分類における単体移動の基礎的役割を裏付ける。
• 本研究は、基本的な組合せ的変換を用いた、三角形分割の同値性の厳密かつ自己完結的な導出を提供する。