[論文レビュー] Minimal Triangulations of Manifolds

Basudeb Datta|ArXiv.org|Jan 25, 2007

Advanced Combinatorial Mathematics参考文献 60被引用数 10

ひとこと要約

このサーベイ論文は、部分線形的（PL）多様体の最小三角形分割を調査し、閉じたPL多様体を三角形分割するために必要な頂点数の最小値を特定することに焦点を当てる。主な結果として、下界定理と上界定理、$\mathbb{C}P^2$ などの特定の多様体の頂点数最小の三角形分割、および $\mathbb{C}P^2$ の9頂点三角形分割と8次元多様体の15頂点三角形分割の一意性を示し、組合せ的位相幾何学における基礎的な境界と分類を確立する。

ABSTRACT

In this survey article, we are interested on minimal triangulations of closed pl manifolds. We present a brief survey on the works done in last 25 years on the following: (i) Finding the minimal number of vertices required to triangulate a given pl manifold. (ii) Given positive integers $n$ and $d$, construction of $n$-vertex triangulations of different $d$-dimensional pl manifolds. (iii) Classifications of all the triangulations of a given pl manifold with same number of vertices. In Section 1, we have given all the definitions which are required for the remaining part of this article. In Section 2, we have presented a very brief history of triangulations of manifolds. In Section 3, we have presented examples of several vertex-minimal triangulations. In Section 4, we have presented some interesting results on triangulations of manifolds. In particular, we have stated the Lower Bound Theorem and the Upper Bound Theorem. In Section 5, we have stated several results on minimal triangulations without proofs. Proofs are available in the references mentioned there.

研究の動機と目的

• 与えられたPL多様体を三角形分割するために必要な頂点数の最小値を特定すること。
• 指定された $n$ と $d$ に対して、$d$ 次元PL多様体の $n$ 頂点三角形分割を構成すること。
• 固定された頂点数を持つ与えられたPL多様体のすべての三角形分割を分類すること。
• 特定の位相的不変量を持つ多様体の頂点数に関する理論的および計算的境界を確立すること。
• 補完性とホモロジー条件が最小三角形分割を制約する役割を調査すること。

提案手法

• 単体と多面体を定義するためのアフィン幾何学と凸包を用い、三角形分割の基礎を築く。
• 部分線形的（PL）写像とPL同相写像を用いて、PL多様体とその三角形分割を定義する。
• ジョインとコーンの概念を用いて、低次元の単体的複体から高次元の単体的複体を構築する。
• 下界定理と上界定理を適用して、三角形分割における頂点数を制約する。
• コhomology環やホモロジー球面を含む、組合せ的位相幾何学と代数的位相幾何学の道具を用いて、最小三角形分割を分析する。
• 計算結果と理論的証明を活用して、特定の三角形分割の唯一性と最小性を確立する。

実験結果

リサーチクエスチョン

• RQ1 与えられたPL多様体を三角形分割するために必要な頂点数の最小値は何か？
• RQ2 指定された $n$ と $d$ に対して、$d$ 次元PL多様体の $n$ 頂点三角形分割が存在するか？
• RQ3 同じ頂点数を持つ非同型なPL多様体の三角形分割が複数存在するか？
• RQ4 頂点数 $n$ の組合せ的 $d$ 多様体が補完性を満たす条件は何か？
• RQ5 頂点数 $n \leq d+8$ の $\mathbb{Z}_2$-ホモロジー $d$-球は、いつか組合せ的球面であるか？

主な発見

• KühnelとLaßmannによる証明に加え、その後にコンピュータを用いない理論的証明によって確認された結果として、$\mathbb{C}P^2$ の9頂点三角形分割は同型を除いて一意である。
• 同じPL多様体を三角形分割する15頂点の異なる組合せ的8多様体が少なくとも3つ存在し、最小三角形分割における非一意性を示している。
• $\mathbb{R}P^3$ の最小三角形分割には正確に11頂点が必要であり、それより少ない頂点数の三角形分割は存在しない。
• $d=8$ または $16$ の場合、クaternion数やカーラー数上のコホモロジー射影平面の最小三角形分割には $n = 3d/2 + 3$ 頂点が必要である。
• 頂点数 $n \leq d+8$ の $\mathbb{Z}_2$-ホモロジー $d$-球は組合せ的球面であり、$d=3$ の場合、$L(3,1)$ の12頂点三角形分割によってこの境界が鋭いことが示されている。
• $d \geq 3$ の場合、$K^d_{2d+3}$ は唯一の非単純接続な $(2d+3)$ 頂点三角形分割 $d$-多様体であることが示され、最小頂点数の場合の唯一性が確立された。