[논문 리뷰] Quasi-isometry rigidity of right-angled Artin groups I: the finite out case

Jingyin Huang|arXiv (Cornell University)|2014. 10. 30.

Geometric and Algebraic Topology참고 문헌 10인용 수 15

한 줄 요약

이 논문은 외부자기동형사상군이 유한한 오른쪽-직각 아르틴 군(RAAGs)에 대해 준등거리 위상의 강성( quasi-isometry rigidity)을 확립한다: 두 RAAGs는 유한한 외부자기동형사상군을 가진다면, 서로 준등거리인 것과 동치로 서로 동형임을 보여준다. 둘 중 하나의 군만 유한한 외부자기동형사상군을 가질 경우, 준등거리성은 유한지수부군에 대한 동형을 의미하며, 논문은 정의 그래프를 이용하여 이를 판단하는 알고리즘을 제공한다.

ABSTRACT

Let $G$ and $G'$ be two right-angled Artin groups (RAAG). We show they are quasi-isometric iff they are isomorphic, under the assumption that $Out(G)$ and $Out(G')$ are finite. If only $Out(G)$ is finite, then $G'$ is quasi-isometric $G$ iff $G'$ is isomorphic to a finite index subgroup of $G$. In this case, we give an algorithm to determine whether $G$ and $G'$ are quasi-isometric by looking at their defining graphs.

연구 동기 및 목표

• 두 오른쪽-직각 아르틴 군(RAAGs)이 그들의 외부자기동형사상군에 대한 유한성 조건 하에서 언제 준등거리인지 결정하는 것.
• 두 군이 모두 유한한 외부자기동형사상군을 가질 경우, 준등거리성은 동형을 암시한다는 강성 결과를 확립하는 것.
• 오직 한 군만 유한한 외부자기동형사상군을 가질 경우에 이 강성 결과를 확장하여, 준등거리성은 유한지수부군에 대한 동형을 암시함을 보이는 것.
• 정의 그래프를 기반으로 RAAGs 간의 준등거리성을 결정하는 알고리즘적 방법을 개발하는 것.

제안 방법

• 정의 그래프를 통해 RAAGs의 준등거리 유형을 분석하기 위해 기하군론 기법을 사용하는 것.
• G와 G'의 Out(G) 및 Out(G')의 유한성을 적용하여 RAAGs 간의 가능한 준등거리성의 범위를 제한하는 것.
• 특히 그 조합적 및 위상적 성질을 분석함으로써 RAAGs 간의 준등거리성을 특성화하는 것.
• 준등거리 문제를 군론적 질문으로 환원하는 것: 어떤 RAAG이 다른 RAAG의 유한지수부군과 동형일 때는 언제인가?
• 두 RAAGs의 정의 그래프를 비교하여, 한 쪽이 다른 쪽의 유한지수부군과 동형임을 판단하는 알고리즘을 구축하는 것.
• RAAGs의 구조와 그 자동사상에 관한 기존 결과를 활용하여 준등거리성과 동형(또는 유한지수동형) 간의 동치성을 확립하는 것.

실험 결과

연구 질문

• RQ1 두 RAAGs 간의 준등거리성이 언제 반드시 동형에 의해 유도되는가?
• RQ2 Out(G)의 유한성은 RAAGs의 준등거리 분류에 어떻게 영향을 미치는가?
• RQ3 정의 그래프를 기반으로 두 RAAGs 간의 준등거리성을 알고리즘적으로 결정할 수 있는가?
• RQ4 두 RAAGs 중 오직 하나만 유한한 외부자기동형사상군을 가질 경우 준등거리 분류에는 어떤 일이 발생하는가?
• RQ5 RAAGs의 정의 그래프는 그들의 준등거리 유형을 어느 정도 결정하는가?

주요 결과

• 만약 G와 G'가 모두 외부자기동형사상군이 유한한 RAAGs이면, G와 G'는 서로 준등거리인 것과 동치로 서로 동형임을 보여준다.
• 오직 G만 유한한 외부자기동형사상군을 가질 경우, G'는 G와 준등거리임이 서로 동치로 G'가 G의 유한지수부군과 동형임을 의미한다.
• 논문은 정의 그래프를 분석함으로써 RAAGs 간의 준등거리성을 판단하는 결정 절차를 제공한다.
• 외부자기동형사상군이 유한할 경우, RAAGs의 정의 그래프는 준등거리 유형을 결정하는 데 충분한 정보를 담고 있다.
• 외부자기동형사상군이 하나만 유한한 경우에도 강성 결과가 유지되며, 이는 유한지수부군까지의 분류를 확장한다.
• 알고리즘적 방법은 정의 그래프에서 유도된 조합적 불변량을 활용하여 동형 또는 유한지수동형을 탐지한다.