[논문 리뷰] New examples and partial classification of 15-vertex triangulations of the quaternionic projective plane

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

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.

연구 동기 및 목표

• quaternionic projective plane ℍP²의 15정점 조합적 트라이앙귤레이션을 새로 구성하여, 이전까지 알려지지 않은 대칭군을 갖는 구조를 포함하도록 한다.
• 대칭군의 순서가 최소 4인 15정점 트라이앙귤레이션을 모두 분류하여, 원래 Brehm–Kühnel의 3개 예제를 넘어서는 목록을 확장한다.
• 새로운 트라이앙귤레이션들 사이에서 8단체의 수(m₈), 특징 있는 부분복합체의 수(t), 정확히 세 개의 8단체에 포함된 6단체의 수(m₃)와 같은 조합적 불변량의 분포를 조사한다.
• PL 호메오모르픽으로 ℍP²와 동치이지만, 단순 복합체로서는 동형이 아닌 트라이앙귤레이션들을 구별하는 데 있어 대칭성과 조합적 구조의 역할을 탐구한다.

제안 방법

• 저자들은 변환군 작용과 조합적 탐색을 통해 15정점 트라이앙귤레이션을 생성하기 위해 계산 기반의 대수적 위상수학 기법, 즉 체계적 열거와 동형 거부 기법을 활용한다.
• 15정점은 S⁸와 PL 호메오모르픽이 아닌 조합적 8차원 다각형에 대해 최소 정점 수임을 이용하며, 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 16단체가 두 개의 서로 다른 특징 있는 부분복합체에 포함된 27정점 16차원 다각형이 존재하는가? 이는 프로젝티브 평면과 유사한 구조일 수 있다.

주요 결과

• 대칭군의 순서가 최소 4인 15정점 트라이앙귤레이션 ℍP²에 대해 정확히 75개의 동형류가 존재하며, 이는 원래의 Brehm–Kühnel의 3개 예제와 함께 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₇인 네 개의 서로 다른 트라이앙귤레이션에서 달성된다. 반면 t의 최소값 4는 ℍP²₁₅(A₄,2)에서 달성된다.
• ℍP²₁₅(C₆,9)는 m₃ = 1038로 최소이며, m₃ < 1100인 유일한 트라이앙귤레이션으로서 향후 연구의 핵심 대상이 될 가능성이 높다.