[논문 리뷰] On the coarse geometry of certain 2-dimensional right-angled Coxeter groups

Hoang Thanh Nguyen, Hung Cong Tran|arXiv (Cornell University)|2017. 12. 04.

Geometric and Algebraic Topology참고 문헌 24인용 수 3

한 줄 요약

이 논문은 삼각형이 없는 평면적이고 $\Gamma$-CFS 그래프에 관련된 2차원 오른쪽-각 코크세터 군의 거시 기하학을 분류한다. 이들 군이 $\Gamma$가 $\Gamma$-CFS일 경우 가상으로 시페르트 또는 그래프 다발 군이거나, 그렇지 않을 경우 $\Gamma$-CFS 부분군에 대해 상대적으로 하이퍼볼릭임을 보여주며, 이는 완전한 쿼اسي-이소메트리 분류와 선형, 이차, 지수적 수준의 발산 유형을 이끌어낸다.

ABSTRACT

Let $\Gamma$ be a connected, triangle-free, planar graph with at least five vertices that has no separating vertices or edges. If the graph $\Gamma$ is $\mathcal{CFS}$, we prove that the right-angled Coxeter group $G_\Gamma$ is virtually a Seifert manifold group or a graph manifold group and we give a complete quasi-isometry classification of these such groups. Otherwise, we prove that $G_\Gamma$ is hyperbolic relative to a collection of $\mathcal{CFS}$ right-angled Coxeter subgroups of $G_\Gamma$. Consequently, the divergence of $G_\Gamma$ is linear, or quadratic, or exponential. We also investigate strongly quasiconvex subgroups, Morse boundary of right-angled Coxeter groups $G_\Gamma$, and their connection to right-angled Artin groups when $\Gamma$ are $\mathcal{CFS}$.

연구 동기 및 목표

• 특정 평면적 그래프 $\Gamma$에 대해 오른쪽-각 코크세터 군 $G_\Gamma$의 쿼اسي-이소메트리 유형을 분류하는 것.
• $\Gamma$가 $\mathcal{CFS}$일 때 $G_\Gamma$의 기하학적 구조를 규명하여, 이가 가상으로 시페르트 또는 그래프 다발 군임을 보이는 것.
• $G_\Gamma$의 발산 행동을 분석하고 $\Gamma$의 $\mathcal{CFS}$ 성질에 따라 선형, 이차, 지수적 중 어느 것으로 분류할 수 있는지 규명하는 것.
• $G_\Gamma$의 강한 준볼록 부분군과 모스 경계 사이의 관계를 연구하며, 특히 $\Gamma$가 $\mathcal{CFS}$일 경우 오른쪽-각 아르틴 군과의 관련성을 다루는 것.

제안 방법

• $\Gamma$가 삼각형이 없고 평면적인 그래프일 때 $\mathcal{CFS}$(거시적 푸크스의 표면) 조건을 적용하여 $G_\Gamma$의 기하학적 유형을 분류하는 것.
• $\Gamma$가 $\mathcal{CFS}$가 아닐 경우 $G_\Gamma$가 $\mathcal{CFS}$ 부분군에 대해 상대적으로 하이퍼볼릭임을 보이기 위해 상대적 하이퍼볼릭 이론을 적용하는 것.
• $G_\Gamma$를 서로 다른 기하학적 유형으로 분류하기 위해 쿼اسي-이소메트리 불변량을 활용하는 것.
• 모스 경계와 강한 준볼록 부분군을 활용하여 $G_\Gamma$의 거시적 기하학을 분석하는 것.
• $\mathcal{CFS}$ 경우에서의 기하학적 유사성에 기반해 오른쪽-각 아르틴 군과 비교하는 것.
• 구조적 강성 보장을 위해 분리 정점이나 분리 간선이 없는 평면적 그래프의 위상수학적 및 조합적 분석을 수행하는 것.

실험 결과

연구 질문

• RQ1 삼각형이 없고, 평면적이며, $\mathcal{CFS}$인 그래프 $\Gamma$에서 분리 정점이나 분리 간선이 없을 때, 오른쪽-각 코크세터 군 $G_\Gamma$가 가상으로 시페르트 다발 군 또는 그래프 다발 군이 되는 조건은 무엇인가?
• RQ2 $\Gamma$가 $\mathcal{CFS}$가 아닐 경우 $G_\Gamma$의 발산 행동은 어떻게 되며, 상대적 하이퍼볼릭성과 어떤 관련이 있는가?
• RQ3 $\Gamma$가 $\mathcal{CFS}$일 경우 $G_\Gamma$의 강한 준볼록 부분군은 모스 경계와 어떻게 관련되는가?
• RQ4 $\Gamma$가 $\mathcal{CFS}$일 경우 $G_\Gamma$와 오른쪽-각 아르틴 군 사이에 어떤 구조적 유사성이 존재하는가?
• RQ5 이러한 $\Gamma$에 대해 $G_\Gamma$의 완전한 쿼اسي-이소메트리 분류는 무엇인가?

주요 결과

• $\Gamma$가 $\mathcal{CFS}$일 경우 오른쪽-각 코크세터 군 $G_\Gamma$는 가상으로 시페르트 다발 군 또는 그래프 다발 군이다.
• 비-$\mathcal{CFS}$인 $\Gamma$에 대해서는 $G_\Gamma$는 $\mathcal{CFS}$ 오른쪽-각 코크세터 부분군의 집합에 대해 상대적으로 하이퍼볼릭이다.
• $G_\Gamma$의 발산은 $\Gamma$의 $\mathcal{CFS}$ 상태에 따라 선형, 이차, 지수적 중 하나이다.
• 모든 이러한 $G_\Gamma$ 군에 대해 완전한 쿼اسي-이소메트리 분류가 확립되었다.
• 강한 준볼록 부분군은 모스 경계와 잘 정의된 성질을 보임이 입증되었다.
• $\Gamma$가 $\mathcal{CFS}$일 경우 모스 경계와 $G_\Gamma$의 기하학적 구조는 오른쪽-각 아르틴 군과 유사한 구조적 특성을 보인다.