[論文レビュー] 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頂点トライアングルレーションを包括的に分類し、BrehmとKühnelが当初提示した3例を上回る、C₇、C₆、C₅、C₆×C₂ およびその他の多様な対称性群を有する72例の新しい例を構成する。主な貢献は、同型を除いて、対称性群の位数が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以上である15頂点トライアングレーショングループをすべて分類し、当初の3例（Brehm–Kühnel例）を上回るリストを拡張すること。
• 新しいトライアングレーショングループにおいて、3つの8単体に含まれる8単体の数（m₈）、特徴的な部分複体の数（t）、および3つの8単体に含まれる6単体の数（m₃）といった組合せ的不変量の分布を調査すること。
• PL同相で ℍP² に同相であるが、単体的複体としては同型でないトライアングレーショングループを区別するための対称性と組合せ的構造の役割を調査すること。

提案手法

• 著者らは、変換群作用と組合せ的探索を用いて、15頂点トライアングレーショングループを生成するため、計算的代数的トポロジー技法、特に体系的な列挙と同型拒否を用いる。
• 15頂点が、S⁸ にPL同相でない組合せ的8次元多様体の最小頂点数であるという事実を活用し、Brehm–Kühnelの構成を出発点として用いる。
• トライアングレーショングループの対称性群は、S₁₅ の部分群として実現され、頂点ラベルと頂点軌道への群作用を用いて同型類が特定される。
• m₈（3つの8単体に含まれる8単体の数）、t（特徴的な部分複体の数）、m₃（ちょうど3つの8単体に含まれる6単体の数）といった組合せ的不変量が、トライアングレーショングループ間で計算され、比較される。
• トライアングレーショングループ間の関係をモデル化するためのグラフ 𝒢₀ が構成され、連結成分や、同一の不変量を持つが異なる対称性群を有する「双子」や「ほぼ双子」の対称性が明らかになる。
• グラフ空間におけるランダムウォークを用いて、m₈ や m₃ といった不変量の極値を推定し、追加のトライアングレーショングループをサンプリングする。

実験結果

リサーチクエスチョン

• RQ1 A₅、A₄、S₃ とは異なる対称性群を有する15頂点トライアングレーショングループは存在するか？
• RQ2 対称性群の位数が4以上である15頂点トライアングレーショングループの同型類の完全な数え上げは何か？
• RQ3 すべての15頂点トライアングレーショングループにおいて、m₈、m₃、t といった組合せ的不変量の極値は何か？
• RQ4 なぜ特定のトライアングレーショングループのペア（双子やほぼ双子）は、同一の不変量を持つが、異なる対称性群を有するのか？
• RQ5 16単体を2つの異なる特徴的な部分複体に含む27頂点の16次元多様体（射影平面に類似）は存在するか？

主な発見

• 対称性群の位数が4以上の15頂点トライアングレーショングループは、同型を除いてちょうど75例存在する。これには当初の3例（Brehm–Kühnel例）に加え、72例の新しい例が含まれる。
• 本稿では、C₇ を持つ19例、C₆ を持つ14例、C₅ を持つ26例、C₆×C₂ を持つ1例、A₄ を持つ1例、S₃ を持つ11例の新しいトライアングレーショングループが構成されている。
• トライアングレーショングループ ℍP²₁₅(C₆,9) は極値である：非-𝒢₀ トライアングレーショングループの中で m₃ = 1038 が最小で、m₈ = 21 がほぼ最大である。
• 𝒢₀ の連結成分に属しないトライアングレーショングループの中で m₈ の最大値は22であり、これは自明な対称性群を有するトライアングレーショングループで達成されている。一方、𝒢₀ 内での m₈ の最大値は30である。
• t（特徴的な部分複体の数）の最大値は28であり、これは C₇ を持つ4つの異なるトライアングレーショングループで達成されている。一方、t の最小値 4 は、ℍP²₁₅(A₄,2) で達成されている。
• トライアングレーショングループ ℍP²₁₅(C₆,9) は m₃ = 1038 が最小であり、m₃ < 1100 を満たす唯一の例であるため、今後の研究の重要な対象であると考えられる。