[論文レビュー] Simplicial 2-spheres obtained from non-singular complete fans

Yusuke Suyama|arXiv (Cornell University)|Sep 12, 2014

Advanced Combinatorial Mathematics参考文献 3被引用数 4

ひとこと要約

本稿では、頂点数が18以下で、次数3または4の頂点の数が十分に少ない場合、任意の単体的2次元球面が3次元非特異完全ファンの基になる単体的複体であることを証明している。証明は、最小次数5の単体的2次元球面への帰納的還元に依拠し、残りのケースについては、非特異完全ファンを定義する頂点への明示的ベクトル割り当てによるコンピュータによる検証を伴う。

ABSTRACT

We prove that a simplicial 2-sphere satisfying a certain condition is the underlying simplicial complex of a 3-dimensional non-singular complete fan. In particular, this implies that any simplicial 2-sphere with $\leq 18$ vertices is the underlying simplicial complex of such a fan.

研究の動機と目的

• 単体的2次元球面が3次元非特異完全ファンの基になる単体的複体として実現可能である条件を特定すること。
• 問題1、すなわち、任意の単体的2次元球面がこのようなファンから生じるか否かを解明すること。
• 単体的2次元球面がこのようなファンとして実現可能であるための十分条件を、次数3および4の頂点の数に基づいて確立すること。
• 最小頂点次数5で18頂点以下であるすべての単体的2次元球面について、完全な分類と計算的検証を提供すること。

提案手法

• 本稿は、与えられた単体的2次元球面を最小頂点次数5のものにまで単純化する逆操作を用いた帰納的還元プロセスを用いる。
• 任意の単体的2次元球面に少なくとも1つの次数5の頂点が存在することを保証する位相的不変量 ∑(6−k)pK(k) = 12 に依拠する。
• 最小ケース（最小次数5）については、BrinkmannとMcKayによる計算的列挙から得られた、18頂点以下すべての単体的2次元球面の完全なリストを提供する。
• 各最小単体的2次元球面の頂点に整数ベクトルを割り当てることで3次元完全ファンを構成し、任意の3つの生成ベクトルの行列式の絶対値が±1であることを確認することで非特異性を検証する。
• 頂点の次数パターンに基づくケース分析が含まれ、次数≥5でかつすべての隣接頂点が次数5である頂点に対しては、ファンの性質を保つ逆操作が可能である。
• 帰納的還元が適用できない残りのケースについては、明示的なベクトル割り当てを用いた直接的なコンピュータ支援検証が行われ、非特異完全ファンを生成することを確認する。

実験結果

リサーチクエスチョン

• RQ1 任意の単体的2次元球面は、3次元非特異完全ファンの基になる単体的複体として実現可能か？
• RQ2 単体的2次元球面の頂点次数にどのような組合せ的条件を課すと、それがこのようなファンとして実現可能になるか？
• RQ3 18頂点以下のすべての単体的2次元球面は、非特異完全ファンの基になる複体として実現可能か？
• RQ4 低次数頂点（次数3および4）の数によって、単体的2次元球面がファン複体として実現可能かどうかを特定できるか？
• RQ5 最小頂点次数5で18頂点以下の単体的2次元球面のうち、どの球面が非特異完全ファン構造をもつのか？

主な発見

• 18頂点以下の任意の単体的2次元球面は、3次元非特異完全ファンの基になる単体的複体である。
• 単体的2次元球面Kがこのようなファンとして実現可能であるための十分条件として、pK(3) + pK(4) + 18 ≥ mK が成立する。
• 最小頂点次数5で18頂点以下のすべての単体的2次元球面が体系的に列挙され、18頂点では12個の球面が得られた。
• 最小頂点次数5で18頂点の12個の最小単体的2次元球面に対して、非特異完全ファンを生成する明示的ベクトル割り当てが構成された。
• 本稿は、5^12, 5^12 6^2, 5^12 6^3, 5^12 6^4 (i), 5^12 6^5 (i), 5^14 6^2 7^2 (i), 5^14 7^2, 5^13 6^3 7^1, 5^14 6^2 7^2 (ii), 5^16 8^2, 5^12 6^6 (i)–(vi) の球面が帰納法によりすべて実現可能であることを確認した。
• 残りの6個の球面（5^12 6^4 (ii), 5^12 6^5 (ii), 5^14 6^2 7^2 (iii), 5^13 6^4 7^1 (i), 5^12 6^6 (ii)–(vi)）は、非特異完全ファンを生成する明示的ベクトル割り当てを用いた計算的検証により確認された。