[论文解读] New examples and partial classification of 15-vertex triangulations of the quaternionic projective plane

Alexander A. Gaifullin|arXiv (Cornell University)|Nov 19, 2023

Advanced Combinatorial Mathematics被引用 4

一句话总结

本文对四元数投影平面 ℍP² 的 15 个顶点的三角剖分进行了全面分类，构造了 72 个具有多样化对称群（包括 C₇、C₆、C₅、C₆×C₂ 等）的新例子，超越了 Brehm 和 Kühnel 最初给出的三个。关键贡献在于证明：在同构意义下，具有至少 4 阶对称群的此类三角剖分为恰好 75 个，显著扩展了非球面 8-流形的极小三角剖分的已知图景。

ABSTRACT

Brehm and Kühnel (1992) constructed three 15-vertex combinatorial 8-manifolds `like the quaternionic projective plane' with symmetry groups $\mathrm{A}_5$, $\mathrm{A}_4$, and $\mathrm{S}_3$, respectively. Gorodkov (2016) proved that these three manifolds are in fact PL homeomorphic to $\mathbb{HP}^2$. Note that 15 is the minimal number of vertices of a combinatorial 8-manifold that is not PL homeomorphic to $S^8$. In the present paper we construct a lot of new 15-vertex triangulations of $\mathbb{HP}^2$. A surprising fact is that such examples are found for very different symmetry groups, including those not in any way related to the group $\mathrm{A}_5$. Namely, we find 19 triangulations with symmetry group $\mathrm{C}_7$, one triangulation with symmetry group $\mathrm{C}_6 imes\mathrm{C}_2$, 14 triangulations with symmetry group $\mathrm{C}_6$, 26 triangulations with symmetry group $\mathrm{C}_5$, one new triangulation with symmetry group $\mathrm{A}_4$, and 11 new triangulations with symmetry group $\mathrm{S}_3$. Further, we obtain the following classification result. We prove that, up to isomorphism, there are exactly 75 triangulations of $\mathbb{HP}^2$ with 15 vertices and symmetry group of order at least 4: the three Brehm-Kühnel triangulations and the 72 new triangulations listed above. On the other hand, we show that there are plenty of triangulations with symmetry groups $\mathrm{C}_3$ and $\mathrm{C}_2$, as well as the trivial symmetry group.

研究动机与目标

• 构造四元数投影平面 ℍP² 的新 15 个顶点组合三角剖分，其对称群为此前未知可实现此类结构的群。
• 对具有至少 4 阶对称群的 ℍP² 的所有 15 个顶点三角剖分进行分类，将已知列表扩展至超过最初的三个 Brehm–Kühnel 例子。
• 研究组合不变量（如三 8-单形中的 8-单形数 m₈、区分子复形数 t，以及恰好在三个 8-单形中的 6-单形数 m₃）在新三角剖分中的分布。
• 探讨对称性与组合结构在区分与 ℍP² PL 同胚但作为单纯复形不互相同构的三角剖分中的作用。

提出的方法

• 作者采用计算代数拓扑技术，包括系统性枚举与同构拒绝，通过变换群作用与组合搜索生成 ℍP² 的新 15 个顶点三角剖分。
• 他们利用 15 个顶点是组合 8-流形中非 PL 同胚于 S⁸ 的极小顶点数这一事实，以 Brehm–Kühnel 构造为起点。
• 通过将三角剖分的对称群实现为 S₁₅ 的子群，并基于顶点标记与群作用在顶点轨道上的方式，确定同构类。
• 计算并比较不同三角剖分之间的组合不变量，如 m₈（三 8-单形中的 8-单形数）、t（区分子复形数）和 m₃（恰好在三个 8-单形中的 6-单形数）。
• 构建图 𝒢₀ 以建模三角剖分之间的关系，揭示连通分支及对称性，如具有相同不变量但不同对称群的“孪生对”与“准孪生对”。
• 在图空间中使用随机游走采样额外三角剖分，并评估不变量（如 m₈ 和 m₃）的极值。

实验结果

研究问题

• RQ1 是否存在对称群不同于 A₅、A₄ 和 S₃ 的 15 个顶点的 ℍP² 三角剖分，如此前已知？
• RQ2 具有至少 4 阶对称群的 15 个顶点 ℍP² 三角剖分的同构类的完整计数是多少？
• RQ3 在所有 15 个顶点的 ℍP² 三角剖分中，组合不变量（如 m₈、m₃ 和 t）的极值是多少？
• RQ4 为何某些三角剖分对（孪生或准孪生）具有相同的不变量但不同的对称群？
• RQ5 是否存在一个 27 个顶点的 16-流形，类似于一个投影平面，其包含一个在两个不同区分子复形中出现的 16-单形？

主要发现

• 具有至少 4 阶对称群的 15 个顶点 ℍP² 三角剖分的同构类恰好为 75 个，包括最初的三个 Brehm–Kühnel 例子和 72 个新例子。
• 本文构造了 19 个对称群为 C₇ 的三角剖分，14 个为 C₆，26 个为 C₅，1 个为 C₆×C₂，1 个新例子对称群为 A₄，以及 11 个为 S₃。
• 三角剖分 ℍP²₁₅(C₆,9) 为极值：其 m₃ = 1038 为最小值，且在非 𝒢₀ 三角剖分中 m₈ = 21 接近最大值。
• 在不属于连通分支 𝒢₀ 的三角剖分中，m₈ 的最大值为 22，出现在对称群为平凡群的三角剖分中；而在 𝒢₀ 中，m₈ 的最大值为 30。
• t（区分子复形数）的最大值为 28，由四个对称群为 C₇ 的不同三角剖分实现；而 t 的最小值 4 由 ℍP²₁₅(A₄,2) 实现。
• 三角剖分 ℍP²₁₅(C₆,9) 的 m₃ = 1038 为最小值，且是唯一满足 m₃ < 1100 的三角剖分，表明其为后续研究的关键对象。