[论文解读] 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-球面。
• 对已知的中心对称多面体、球面与流形结果进行全面综述，重点关注低复杂度示例。

提出的方法

• 利用对合 $ I = (1\text{ }k+1)(2\text{ }k+2)\text{...}(k\text{ }2k) $ 定义具有 $ 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）。

实验结果

研究问题

• RQ1 对于具有 $ 2k $ 个顶点的中心对称单纯形 $ (d-1) $-球面，面数的最紧可能下界是什么？
• RQ2 哪些中心对称三角剖分流形是近乎邻近的？它们的组合与拓扑性质是什么？
• RQ3 能否构造出顶点传递的近乎邻近中心对称3-球面？在少量顶点下有多少个这样的例子？
• RQ4 对于 $ n \leq 20 $ 个顶点，具有二面或循环对称性的中心对称球面乘积的完整枚举是什么？
• RQ5 在对称性约束下，中心对称流形的 $ f $-向量与循环多面体及堆叠多面体的 $ f $-向量相比如何？

主要发现

• 中心对称 $ (d-1) $-球面的最小顶点数为 $ 2d $，且唯一由 $ d $-维单纯形对偶体的边界实现。
• 对于具有 $ 2k $ 个顶点的中心对称 $ d $-多面体，面数满足 $ f_i \geq 2^{i+1}\binom{d}{i+1} + 2(k-d)\binom{d}{i} $（$ 0 \leq i \leq d-2 $），且 $ 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 \times S^1 $、$ S^5 \times S^3 $ 与 $ S^4 \times 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。