[论文解读] Geometric bistellar flips. The setting, the context and a construction

Francisco Santos|ArXiv.org|Jan 30, 2006

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

一句话总结

本文对点集三角剖分中的几何 bistellar 切换和次级多面体提供了全面的介绍，建立了基础理论，并揭示了其与代数几何和组合数学的联系。其主要贡献是首次构造出一个处于一般位置的点集——ℝ⁶中的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.

研究动机与目标

• 为非专家提供关于几何 bistellar 切换和次级多面体的自包含且易于理解的导论。
• 回顾 bistellar 切换与代数几何、拓扑组合学以及计算几何之间的联系。
• 解决关于一般位置点集是否可能具有不连通切换图的开放问题。
• 提出一个一般位置点集的新构造，其三角剖分图不连通。

提出的方法

• 将几何 bistellar 切换定义为通过多面剖分和仿射等价性实现的三角剖分之间的最小变换。
• 利用提升函数和正规剖分，定义点集多面剖分的相干细化偏序集。
• 应用矩映射构造，将方案 Λₐ 的连通性与切换图的连通性联系起来。
• 通过态射和像包含关系，建立单模三角剖分与环面 Hilbert 算scheme 之间的联系。
• 通过一个特定矩阵参数化（t > 0）构造出 ℝ⁶ 中的17点配置，证明其切换图不连通。
• 采用相干偏序集拓扑和偏序集拓扑分析连通性，通过相干细化偏序集的不连通性证明切换图不连通。

实验结果

研究问题

• RQ1 一般位置的点集是否可能通过 bistellar 切换产生不连通的三角剖分图？
• RQ2 切换图的连通性与环面 Hilbert 算scheme 等代数方案的拓扑之间有何关系？
• RQ3 bistellar 切换如何与次级多面体及多面剖分的偏序集相关联？
• RQ4 在三维和四维中是否存在不连通切换图的点集，如在五维和六维中已知的情况？
• RQ5 在 ℝ⁶ 中，一般位置下具有不连通切换图的点集的最小点数是多少？

主要发现

• 本文构造了首个已知的一般位置点集，其三角剖分图不连通：ℝ⁶中的17个点。
• 该例子解决了长期悬而未决的问题：此类不连通切换图在一般位置下是否可能存在，此前在五维和六维中尚未解决。
• 所构造的 ℝ⁶ 中17点集的切换图不连通，证明了严格多面剖分的偏序集并不总是连通的。
• 该构造表明，环面 Hilbert 算scheme 及与该点集相关的方案 Λₐ 也非连通，至少有13个连通分支。
• 环面 Hilbert 算scheme 的每个连通分支至少包含 3⁴⁸ 个环面固定点，表明其结构具有高度复杂性。
• 该结果确认，特殊位置下存在不连通切换图，并不意味着一般位置下也连通，且一般位置并不保证切换图的连通性。