[論文レビュー] Triangulated Manifolds with Few Vertices: Centrally Symmetric Spheres and Products of Spheres

Frank H. Lutz|ArXiv.org|Apr 26, 2004

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

ひとこと要約

この論文は、少ない頂点数の球面および球面の積を含む中心対称な三角形分割多様体の組合せ的構造を調査する。中心対称多様体における面数のタイトな下界を確立し、頂点推移的である近隣型中心対称3次元球面を導入し、特に20頂点以下の低次元の場合について、対称性に基づいた明示的な列挙を提供する。

ABSTRACT

The aim of this paper is to give a survey of the known results concerning centrally symmetric polytopes, spheres, and manifolds. We further enumerate nearly neighborly centrally symmetric spheres and centrally symmetric products of spheres with dihedral or cyclic symmetry on few vertices, and we present an infinite series of vertex-transitive nearly neighborly centrally symmetric 3-spheres.

研究の動機と目的

• 中心対称な単体的球面および多様体の組合せ的性質、特にそのfベクトルと面数制約を理解すること。
• 中心対称多様体に必要な最小頂点数を特定し、面数に対するタイトな下界を確立すること。
• 対称性（二面体または巡回）をもつ、近隣型中心対称球面および球面の積の列挙を行うこと。
• 頂点推移的で近隣型の中心対称3次元球面を構成・分析すること。
• 中心対称多面体、球面、多様体に関する既知の結果を包括的に調査し、特に低複雑度の例に焦点を当てる。

提案手法

• 2k個の頂点をもつ単体的複体における中心対称性を、$ I = (1\text{ }k+1)(2\text{ }k+2)\text{...}(k\text{ }2k) $ という対合を用いて定義する。
• 中心対称多様体の高次元スケルトンにおける面数を計算するために、Dehn-Sommerville方程式を適用する。
• 近隣型中心対称球面の概念を用いる。ここで、$ (\lfloor d/2\rfloor - 1) $-スケルトンがクロスオクテプリュープのそれと一致する。
• 単体的球面における上界定理およびその中心対称球面への拡張を用いて、最大面数を導出する。
• 面数の下界に達する極値例として、スタックド中心対称多面体の理論を応用する。
• 計算的列挙手法を用いて、$ S^d \times S^1 $、$ S^d \times S^2 $、$ S^d \times S^d $ の中心対称三角形分割を、対称性の種別（di, cy）に基づき、少ない頂点数（特に20頂点以下）で列挙・分類する。

実験結果

リサーチクエスチョン

• RQ1 2k個の頂点をもつ中心対称な(d-1)次元単体的球面における面数のタイトな下界は何か？
• RQ2 どの中心対称な三角形分割多様体が近隣的であり、その組合せ的および位相的性質は何か？
• RQ3 頂点推移的で近隣型の中心対称3次元球面を構成可能か？また、少ない頂点数で何例存在するか？
• RQ4 n ≤ 20頂点の範囲で、二面体または巡回対称性をもつ中心対称な球面の積の完全な列挙は何か？
• RQ5 対称性制約下で、中心対称多様体のfベクトルは、巡回多面体やスタックド多面体のそれと比べてどう異なるか？

主な発見

• 中心対称な(d-1)次元球面に必要な最小頂点数は2dであり、これはd次元クロスオクテプリュープの境界によって一意に達成される。
• 2k個の頂点をもつ中心対称d次元多面体について、$ 0 \leq i \leq d-2 $ に対して $ f_i \geq 2^{i+1}\binom{d}{i+1} + 2(k-d)\binom{d}{i} $ が成り立ち、$ f_{d-1} \geq 2^d + 2(k-d)(d-1) $ が成り立つ。等号はスタックドの場合に成立する。
• 18頂点をもつ近隣型中心対称3次元球面が存在し、頂点推移的であり、無限系列を形成する。
• d = 3,4,5,6,7,8 について、$ S^d \times S^1 $、$ S^d \times S^2 $、$ S^d \times S^d $ の中心対称三角形分割の明示的リストを、20頂点まで提供し、fベクトルと対称性タイプを含む。
• n = 18の場合、18個の頂点推移的で近隣型の中心対称3次元球面が存在し、fベクトルは $ (144, 504, 1008, 1260, 1008, 504, 126) $ である。これらはS^1上のバンドルとして実現可能である。
• n = 20の場合、S^7 × S^1、S^5 × S^3、S^4 × S^4 の20頂点三角形分割を提示し、それぞれfベクトルが $ (180, 720, 1680, 2520, 2520, 1680, 720, 160) $、$ (180, 960, 3360, 7560, 10920, 9840, 5040, 1120) $、$ (180, 960, 3360, 8064, 12600, 12000, 6300, 1400) $ であり、対称性タイプはdiおよびcyである。