[論文レビュー] Geometric bistellar flips. The setting, the context and a construction

Francisco Santos|ArXiv.org|Jan 30, 2006

Computational Geometry and Mesh Generation参考文献 65被引用数 3

ひとこと要約

本稿は、点集合の三角形分割における幾何的ビステラー移動と補助的ポリトープの包括的導入を提供し、代数幾何学および組合せ論への基礎的理論と関連を確立する。主な貢献は、一般位置に配置された17点（ℝ⁶内）からなる点集合の、三角形分割のグラフが非連結である初の構成であり、ポリトープ理論における一般位置における移動グラフの連結性に関する長年の未解決問題を解決することにある。

ABSTRACT

We give a self-contained introduction to the theory of secondary polytopes and geometric bistellar flips in triangulations of polytopes and point sets, as well as a review of some of the known results and connections to algebraic geometry, topological combinatorics, and other areas. As a new result, we announce the construction of a point set in general position with a disconnected space of triangulations. This shows, for the first time, that the poset of strict polyhedral subdivisions of a point set is not always connected.

研究の動機と目的

• 非専門家向けに、幾何的ビステラー移動と補助的ポリトープについて、自己完結的かつアクセス可能な導入を提供すること。
• ビステラー移動と代数幾何学、位相的組合せ論、計算幾何学との関連をレビューすること。
• 一般位置における点集合が非連結な移動グラフをもつ可能性があるかどうかという未解決問題を解明すること。
• そのグラフが非連結である一般位置における点集合の新しい構成を提示すること。

提案手法

• 幾何的ビステラー移動を、多面体分割とアフィン同型に基づいて定義される、三角形分割間の最小変換として導入する。
• リフト関数と正則分割を用いて、点集合の多面体分割の整合的 refinement ポセットを定義する。
• モーメント写像の構成を適用し、スキーム Λₐ の連結性と移動グラフの連結性との関係を確立する。
• ユニモジュラー三角形分割とトーリックヒルベルトスキームとの間の関係を、準同型写像と像の包含関係を通じて確立する。
• パrameter t > 0 でパrameter化された特定の行列を用いて、ℝ⁶内に17点の配置を構成し、その移動グラフが非連結であることを示す。
• 整合的ポセット位相とポセット位相を用いて連結性を分析し、整合的 refinement ポセットの非連結性を示すことにより、移動グラフが非連結であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 一般位置における点集合が、ビステラー移動による三角形分割のグラフが非連結となることはあり得るか？
• RQ2 移動グラフの連結性と、トーリックヒルベルトスキームなどの代数的スキームの位相との関係は何か？
• RQ3 ビステラー移動は、補助的ポリトープと多面体分割の順序集合とどのように関連するか？
• RQ4 3次元および4次元における点集合は、5次元および6次元で知られているように、非連結な移動グラフをもつものがあるか？
• RQ5 ℝ⁶内に一般位置に配置された点集合で、非連結な移動グラフをもつ最小の点数は何か？

主な発見

• 本稿は、一般位置にあり、非連結な三角形分割グラフを持つ点集合の、これまでに知られていた初の例を構成した：ℝ⁶内に17点を配置した例。
• この例により、一般位置におけるこのような非連結な移動グラフが存在しうるかどうかという未解決問題が解決された。この問題は、5次元および6次元において長年未解決のままであった。
• 構成されたℝ⁶内に17点を配置した点集合の移動グラフは非連結であり、これは厳密な多面体分割の順序集合が常に連結であるとは限らないことを証明する。
• この構成により、点集合に関連するトーリックヒルベルトスキームとスキーム Λₐ も非連結であることが示され、少なくとも13個の連結成分をもつ。
• トーリックヒルベルトスキームの各連結成分には、少なくとも3⁴⁸個のトーラス固定点が含まれており、スキーム構造の高さの複雑さを示している。
• この結果により、特殊位置における非連結な移動グラフの存在が、一般位置における連結性を保証するわけではないことが確認され、一般位置であっても移動グラフの連結性は保証されないことが判明した。