[논문 리뷰] Topology and geometry of flagness and beltness of simple orbifolds

Zhi Lü, Lisu Wu|arXiv (Cornell University)|2020. 09. 23.

Advanced Combinatorial Mathematics참고 문헌 44인용 수 4

한 줄 요약

이 논문은 단순 다면체에서의 플래그성과 벨트성 개념을 단순 오비폴드로 일반화하며, 오비폴드의 비구형성과 오비폴드 기본군 내 랭크-2 아벨 부분군의 존재에 대한 조합적 특성화를 도입한다. 주요 결과는 단순 하이퍼볼드가 오비폴드-비구형임과 동시에 플래그일 때이고, $\boldsymbol{\text{Z}}_2 \times \boldsymbol{\text{Z}}_2$ 부분군을 포함할 때와 동시에 $\boldsymbol{\text{square}}$-벨트를 포함할 때를 보여주며, 3차원에서 오비폴드의 우도형 구조로의 일반화를 통해 포고로프의 정리를 확장한다.

ABSTRACT

We consider a class of right-angled Coxeter orbifolds, named as simple orbifolds, which are a generalization of simple polytopes. Similarly to manifolds over simple polytopes, the topology and geometry of manifolds over simple orbifolds are closely related to the combinatorics and orbifold structure of simple orbifolds. We generalize the notions of flag and belt in the setting of simple polytopes into the setting of simple orbifolds. To describe the topology and geometry of a simple orbifold in terms of its combinatorics, we focus on {\em simple handlebodies} (that is, simple orbifolds which can be obtained from simple polytopes by gluing some disjoint specific codimension-one faces). We prove the following two main results in terms of combinatorics, which can be understood as "Combinatorial Sphere Theorem" and "Combinatorial Flat Torus Theorem" on simple handlebodies: (A) A simple handlebody is orbifold-aspherical if and only if it is flag. (B) There exists a rank-two free abelian subgroup in $π_1^{orb}(Q)$ of an orbifold-aspherical simple handlebody $Q$ if and only if it contains an $\square$-belt. Furthermore, based on such two results and some results of geometry, it is shown that the existence of some curvatures on a certain manifold cover (manifold double) over a simple handlebody $Q$ can be characterized in terms of the combinatorics of $Q$. In 3-dimensional case, together with the theory of hyperbolic 3-manifolds, we can induce a pure combinatorial equivalent description for a simple $3$-handlebody to admit a right-angled hyperbolic structure, which is a natural generalization of Pogorelov Theorem.

연구 동기 및 목표

• 단순 다면체에서의 플래그성과 벨트성 개념을 단순 오비폴드로 확장하기.
• 단순 하이퍼볼드의 위상수학적 및 기하학적 성질을 그 조합적 구조를 통해 특성화하기.
• 3차원 단순 하이퍼볼드가 오른쪽-각도의 우도형 기하를 갖는지에 대한 순수 조합적 기준을 제공하기.
• 단순 하이퍼볼드 위에서의 만만드러블러스의 곡률 성질을 기반 오비폴드의 조합론과 연결하기.
• 포고로프의 정리(3차원 우도형 만만드러블러스에 대한)를 단순 오비폴드의 맥락으로 일반화하기.

제안 방법

• 기본 공간이 컴act하고 연결되어 있으며, 뉴런스가 경계를 삼각형 분할하는 오른쪽-각도의 코x터 오비폴드로서의 단순 오비폴드 개념을 도입한다.
• 오비폴드 기본군 내 $\boldsymbol{\text{Z}}_2 \times \boldsymbol{\text{Z}}_2$ 부분군의 부재와 $\boldsymbol{\text{Z}}_2 \times \boldsymbol{\text{Z}}_2$-생성 $\boldsymbol{\text{Z}}_2$-벨트의 부재를 통해 단순 오비폴드의 플래그성을 정의한다.
• 데이비스의 기본 구축을 사용하여 단순 하이퍼볼드 $Q$ 위에 만만드러블러스 $M_Q$를 구성하며, 이는 $G = (\boldsymbol{\text{Z}}_2)^m$-작용을 갖는 $Q$의 유한 커버이다.
• 짧은 정확수열 $1 \to \boldsymbol{\text{Z}}_2 \times \boldsymbol{\text{Z}}_2 \to \boldsymbol{\text{Z}}_2 \times \boldsymbol{\text{Z}}_2 \to (\boldsymbol{\text{Z}}_2)^m \to 1$ 을 통해 오비폴드 기본군 $\boldsymbol{\text{Z}}_2 \times \boldsymbol{\text{Z}}_2$ 와 $Q$ 내의 $\boldsymbol{\text{square}}$-벨트 존재성 간의 관계를 규명한다.
• 홉프-리노어 정리와 마이어스 정리를 적용하여 만만드러블러스 $M_Q$의 곡률 제약 조건을 분석하며, 양의 곡률이 비플래그성 및 비벨트성 구조와 연결됨을 밝힌다.
• 오비폴드 $Q$의 오른쪽-각도 코x터 세포 분할을 이용하여 $\boldsymbol{\text{Z}}_2 \times \boldsymbol{\text{Z}}_2$ 를 오른쪽-각도 코x터 군 위에서 반복적인 HNN 확장을 통해 명시적으로 기술한다.

실험 결과

연구 질문

• RQ1 단순 하이퍼볼드가 오비폴드-비구형일 조건은 무엇이며, 이를 어떻게 조합적으로 특성화할 수 있는가?
• RQ2 단순 하이퍼볼드의 오비폴드 기본군 내 랭크-2 아벨 부분군의 존재를 보장하는 조합적 조건은 무엇인가?
• RQ3 3차원 단순 하이퍼볼드가 오른쪽-각도의 우도형 기하를 갖는지, 그리고 이를 위한 순수 조합적 조건은 무엇인가?
• RQ4 만만드러블러스 $M_Q$의 곡률 성질(비양의, 양의 섹션 곡률, 양의 리치 곡률, 양의 스칼라 곡률)은 $Q$의 조합론과 어떻게 관련되는가?
• RQ5 $\boldsymbol{\text{Z}}_2 \times \boldsymbol{\text{Z}}_2$-생성 $\boldsymbol{\text{Z}}_2$-벨트는 $Q$의 위상구조를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 단순 하이퍼볼드 $Q$는 오비폴드-비구형임과 동시에 플래그일 때이고, 이는 $\boldsymbol{\text{Z}}_2 \times \boldsymbol{\text{Z}}_2$ 부분군이 $\boldsymbol{\text{Z}}_2 \times \boldsymbol{\text{Z}}_2$ 내에 존재하지 않으며, $\boldsymbol{\text{Z}}_2$-생성 $\boldsymbol{\text{Z}}_2$-벨트도 존재하지 않을 때 성립한다.
• $\boldsymbol{\text{Z}}_2 \times \boldsymbol{\text{Z}}_2$ 내에 랭크-2 아벨 부분군이 존재할 조건은 $Q$가 $\boldsymbol{\text{square}}$-벨트를 포함할 때이다.
• 3차원에서 단순 하이퍼볼드는 오비폴드-비구형이며 $\boldsymbol{\text{square}}$-벨트를 포함하지 않을 때 오른쪽-각도의 우도형 기하를 갖는다. 이는 포고로프의 정리를 일반화한 것이다.
• 만일 $Q$의 종수(genus)가 0보다 크다면, 그 만만드러블러스 $M_Q$의 기본군 $\boldsymbol{\text{Z}}_2 \times \boldsymbol{\text{Z}}_2$ 는 무한하다. 따라서 $M_Q$는 양의 섹션 곡률 또는 리치 곡률을 갖는 메트릭을 가질 수 없다.
• 만만드러블러스 $M_Q$가 양의 스칼라 곡률를 갖는 메트릭을 가질 조건은 $Q$가 플래그가 아닐 때이며, 3차원에서는 이 조건이 $Q$가 $\boldsymbol{\text{Z}}_2 \times \boldsymbol{\text{Z}}_2$ 에서 정점 컷을 반복적으로 적용하여 얻어진 다면체와 조합적으로 동치일 때와 동치이다.
• $M_Q$에 비양의 곡률가 존재할 조건은 $Q$가 플래그이면서 $\boldsymbol{\text{square}}$-벨트를 포함하지 않을 때이며, 이러한 구조는 $\boldsymbol{\text{Z}}_2$-생성 $\boldsymbol{\text{Z}}_2$-벨트의 부재를 통해 순수 조합적으로 특성화된다.