[论文解读] Equilibrium and equivariant triangulations of some small covers with minimum number of vertices

Biplab Basak, Soumen Sarkar|NOT FOUND REPOSITORY (Indian Institute of Science Bangalore)|Jun 6, 2013

Advanced Combinatorial Mathematics参考文献 8被引用 5

一句话总结

本文引入了小覆盖的平衡三角剖分——具有局部标准 ℤ₂ⁿ 作用的流形——重点关注二维和三维中顶点最少的 ℤ₂²-等变三角剖分。它构造了 ℝPⁿ 的显式平衡三角剖分，顶点数为 2ⁿ + n + 1，证明了实射影空间的新顶点最少界，并为非平凡的三维流形（如 ℝP³#ℝP³ 和 S¹-丛 over ℝP²）提供了显式构造。

ABSTRACT

Small covers were introduced by Davis and Januszkiewicz in 1991. We introduce the notion of equilibrium triangulations for small covers. We study equilibrium and vertex minimal $\mathbb{Z}_2^2$-equivariant triangulations of $2$-dimensional small covers. We discuss vertex minimal equilibrium triangulations of $\mathbb{RP}^3 \# \mathbb{RP}^3$, $S^1 imes \mathbb{RP}^2$ and a nontrivial $S^1$ bundle over $\mathbb{RP}^2$. We construct some nice equilibrium triangulations of the real projective space $\mathbb{RP}^n$ with $2^n +n+1$ vertices. The main tool is the theory of small covers.

研究动机与目标

• 定义并研究小覆盖的平衡三角剖分，这是一类尊重群作用与对称性的新三角剖分类。
• 构造二维小覆盖（包括 ℝP²、S¹×ℝP² 及非平凡的 S¹-丛 over ℝP²）的顶点最少的 ℤ₂²-等变三角剖分。
• 为三维小覆盖（如 ℝP³#ℝP³ 及其他非平凡三维流形）提供显式、对称的最小顶点三角剖分。
• 提出一种新的 ℝPⁿ 平衡三角剖分构造方法，使用 2ⁿ + n + 1 个顶点，达到紧致边界。
• 澄清平衡三角剖分与一般 ℤ₂ⁿ-等变三角剖分之间的区别，表明二者并非等价概念。

提出的方法

• 受 [1] 启发，引入平衡三角剖分的概念，定义为每个群轨道上顶点分布对称的三角剖分。
• 利用关于单纯多面体的小覆盖理论，特别是 ℝPⁿ 上的 ℤ₂ⁿ 作用，其轨道空间为 n-单纯形 Δⁿ。
• 应用 Δⁿ 的立方细分来构造 ℝPⁿ 上的胞腔复形，通过轨道映射 ξ: ℝPⁿ → Δⁿ 提升顶点与面。
• 构造胞腔复形 X = ∪ᵢ₌₀ⁿ Xᵢ，其中 X₀ 包含 2ⁿ + n + 1 个顶点（来自单纯形顶点的 n+1 个顶点及一个中心点），更高维的 Xᵢ 通过在面上添加锥体构建。
• 应用引理 2.10 对胞腔复形 X 进行三角剖分，不增加新顶点，确保结果为平衡三角剖分。
• 应用 Illman 定理保证等变三角剖分的存在性，但重点在于最小顶点数的显式构造。

实验结果

研究问题

• RQ1 能否系统地为小覆盖（尤其是低维情形）定义并构造平衡三角剖分？
• RQ2 二维小覆盖的 ℤ₂²-等变三角剖分所需的最小顶点数是多少？
• RQ3 能否为三维小覆盖（如 ℝP³#ℝP³ 及非平凡的 S¹-丛 over ℝP²）构造顶点最少的平衡三角剖分？
• RQ4 ℝPⁿ 的平衡三角剖分的最小顶点数是多少？能否通过对称且构造性的方式实现？
• RQ5 平衡三角剖分与一般 ℤ₂ⁿ-等变三角剖分之间有何关系？二者是否为等价概念？

主要发现

• 本文为所有 n ≥ 2 的 ℝPⁿ 构造了恰好包含 2ⁿ + n + 1 个顶点的平衡三角剖分，提供了新的顶点最少界。
• 对于 ℝP³#ℝP³，本文建立了顶点最少的平衡三角剖分，共 18 个顶点，证明了 |V(X)| ≥ 18 并构造了匹配示例。
• 本文构造了 S¹×ℝP² 的顶点最少平衡三角剖分，共 18 个顶点，利用立方细分生成的对称胞腔分解。
• 非平凡的 S¹-丛 over ℝP² 具有顶点最少的平衡三角剖分，共 18 个顶点，通过仔细的轨道与面提升实现。
• 通过 n-单纯形的立方细分构造平衡三角剖分，可确保对称性与最小顶点数，且无需增加新顶点。
• 本文表明平衡三角剖分与 ℤ₂ⁿ-等变三角剖分是不同概念：二者不等价，如注记 3.25 所示。