[論文レビュー] 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

ひとこと要約

本稿は、局所標準的 ℤ₂ⁿ作用を備えた小被覆（small covers）— 特に次元 2 および 3 の ℤ₂²-可換な頂点最小の三角形分割を焦点として、均衡三角形分割を導入する。実射影空間 ℝPⁿ に対して、2ⁿ + n + 1 個の頂点を持つ明示的な均衡三角形分割を構成し、実射影空間の新たな頂点最小境界を示し、ℝP³#ℝP³ や ℝP² 上の非自明な S¹-バンドルなどの非自明な 3-多様体に対しても明示的な構成を与える。

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.

研究の動機と目的

• 小被覆における均衡三角形分割を定義・研究し、群作用と対称性を尊重する新しいクラスの三角形分割を導入する。
• 2 次元小被覆、特に ℝP²、S¹×ℝP²、および非自明な ℝP² 上の S¹-バンドルを含む、頂点最小の ℤ₂²-可換三角形分割を構成する。
• ℝP³#ℝP³ やその他の非自明な 3-多様体のような 3 次元小被覆に対して、明示的かつ対称的な頂点最小の三角形分割を提供する。
• 実射影空間 ℝPⁿ に対して、2ⁿ + n + 1 個の頂点を持つ均衡三角形分割を新たな構成法により提示し、タイトな境界を達成する。
• 均衡三角形分割と一般の ℤ₂ⁿ-可換三角形分割との違いを明確にし、それらが同値な概念ではないことを示す。

提案手法

• 参考文献 [1] にインspiredされた、各群軌道に頂点が対称的に分布する三角形分割として、均衡三角形分割の概念を定義する。
• 特に n-単体 Δⁿ を軌道空間とする ℝPⁿ 上の ℤ₂ⁿ 作用を含む、単純多面体上の小被覆の理論を用いる。
• Δⁿ の立方体的分割を用いて、ℝPⁿ 上の胞体複体を構成し、軌道写像 ξ: ℝPⁿ → Δⁿ を通じて頂点と面を上げる。
• X = ∪ᵢ₌₀ⁿ Xᵢ という胞体複体を構成し、X₀ に 2ⁿ + n + 1 個の頂点（単体の頂点から n+1 個と中心から 1 個）を含め、高次元の Xᵢ は面の上に錐を加える。
• 命題 2.10 を適用し、新たな頂点を追加せずに胞体複体 X を三角形分割し、その結果が均衡三角形分割であることを保証する。
• Illman の定理を用いて可換三角形分割の存在を保証するが、本稿では頂点数を最小化した明示的構成に焦点を当てる。

実験結果

リサーチクエスチョン

• RQ1 小被覆に対して、均衡三角形分割を体系的に定義・構成することは可能か、特に低次元においては？
• RQ2 2 次元小被覆の ℤ₂²-可換三角形分割において、頂点数の最小値は何か？
• RQ3 ℝP³#ℝP³ や非自明な ℝP² 上の S¹-バンドルのような 3 次元小被覆に対して、頂点最小の均衡三角形分割を構成できるか？
• RQ4 ℝPⁿ の均衡三角形分割における最小頂点数は何か？ そして、対称的かつ構成的な方法で達成可能か？
• RQ5 均衡三角形分割と一般の ℤ₂ⁿ-可換三角形分割との関係は何か？ それらは同値な概念か？

主な発見

• 本稿は、すべての n ≥ 2 に対して、ℝPⁿ に正確に 2ⁿ + n + 1 個の頂点を持つ均衡三角形分割を構成し、新たな頂点最小境界を提供する。
• ℝP³#ℝP³ に対して、18 個の頂点を持つ頂点最小の均衡三角形分割を確立し、|V(X)| ≥ 18 を示し、一致する例を構成する。
• S¹×ℝP² に対して、18 個の頂点を持つ頂点最小の均衡三角形分割を、立方体的分割からの対称的胞体分解を用いて構成する。
• ℝP² 上の非自明な S¹-バンドルは、18 個の頂点を持つ頂点最小の均衡三角形分割を備え、適切な軌道と面の上げ方により達成される。
• n-単体の立方体的分割による均衡三角形分割の構成は、頂点数の最小化と対称性を保証し、新たな頂点を追加せずに実現する。
• 本稿は、均衡三角形分割と ℤ₂ⁿ-可換三角形分割が異なる概念であることを示している：例として Remark 3.25 に示されるように、一方が他方ではないことがある。