[논문 리뷰] Divergence and quasimorphisms of right-angled Artin groups

Jason Behrstock, Ruth Charney|arXiv (Cornell University)|2010. 01. 20.

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

한 줄 요약

이 논문은 오른쪽-각 예술 그룹(RAAGs)에서 지오데식의 발산을 조인 길이라는 군론적 불변량을 통해 특성화하며, 정의 그래프가 조인(합집합)이 아닐 때에만 초선형(이차) 발산이 발생함을 증명한다. 이러한 군들은 비자명한 쿼심오페리즘의 무한차원 공간을 지닌다고 규명되며, 이는 초강고정성 정리로 이어진다: 기하학적으로 불가분인 고차원 랏티스는 군이 조인인 경우를 제외하고는 RAAGs에 자명하게 맵핑된다. 이 경우 발산은 선형이며 쿼심오페리즘 공간은 자명하다.

ABSTRACT

We give a group theoretic characterization of geodesics with superlinear divergence in the Cayley graph of a right-angled Artin group A(G) with connected defining graph G. We use this to determine when two points in an asymptotic cone of A(G) are separated by a cut-point. As an application, we show that if G does not decompose as the join of two subgraphs, then A(G) has an infinite-dimensional space of non-trivial quasimorphisms. By the work of Burger and Monod, this leads to a superrigidity theorem for homomorphisms from lattices into right-angled Artin groups.

연구 동기 및 목표

• 오른쪽-각 예술 그룹(RAAGs)에서 지오데식의 발산을 조인 길이라는 군론적 불변량을 사용하여 특성화하기.
• RAAG의 점근적 원뿔에서 두 점이 컷포인트에 의해 분리되는 조건을 규명하여, 발산과 대규모 기하학을 연결하기.
• 조인(합집합)이 아닌 RAAGs가 비자명한 쿼심오페리즘의 무한차원 공간을 지닌다는 것을 증명하기.
• 기하학적으로 불가분인 고차원 랏티스가 RAAGs에 자명하게 맵핑됨을 증명하기, 유일한 예외는 군이 조인인 경우이다.
• 점근적 원뿔에서 조각의 구조를 컷포인트 분리에 의해 분류하기.

제안 방법

• 저자들은 RAAGs가 정의하는 카르탕-0 큐브 복합체 $X_\Gamma$에 대한 작용을 이용하여, 지오데식을 따라 벽을 횡단하는 방식을 분석한다. 이 복합체는 살바티 복합체의 범용 커버이다.
• 그들은 '조인 길이'를 정의하여, 지오데식이 횡단하는 조인 부분군의 쌍대류의 수로 정의한다. 이는 발산 행동을 제어한다.
• 베스트비나–후지와라의 이론을 적용하여, 랭크-일치 등반 등이 존재하는 카르탕-0 공간에서의 쿼심오페리즘 이론을 활용하여 무한차원 쿼심오페리즘 공간의 존재를 증명한다.
• 정의 그래프 $\Gamma$의 정점 수에 대한 귀납법을 사용하여, 랏티스에 대한 초강고정성 결과를 증명한다.
• 드루츠–모즈스–사피르의 특성화 이론을 적용하여 초선형 발산이 점근적 원뿔에서 컷포인트 존재와 동치임을 보인다.
• 알제브라적 두꺼움(BDM) 이론과 발산 분류 결과를 융합하여, 조인(합집합)이 아닌 RAAGs가 정확히 이차 발산을 가진다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 RAAG 내 지오데식이 초선형 발산을 보일 조건은 무엇이며, 이를 결정하는 군론적 성질은 무엇인가?
• RQ2 RAAG의 점근적 원뿔에서 두 점이 컷포인트에 의해 분리되는 조건은 무엇인가?
• RQ3 정의 그래프 $\Gamma$의 조인(합집합) 구조와 $A_\Gamma$의 발산 함수 사이의 정확한 관계는 무엇인가?
• RQ4 언제 RAAGs가 비자명한 쿼심오페리즘의 무한차원 공간을 지닌다?
• RQ5 고차원 랏티스에서 RAAGs로의 호모모르피즘에 대해 어떤 초강고정성 성질이 나타나는가?

주요 결과

• 연결된 $\Gamma$에 대해, $A_\Gamma$의 이중무한 지오데식은 조인 길이가 유한할 때이고 그때에만 선형 발산을 보인다.
• RAAG의 점근적 원뿔에서 두 점이 어떤 컷포인트에 의해도 분리되지 않으려면, 그 사이에 유한한 조인 길이를 가진 근접한 점들이 존재해야 한다.
• 만약 $\Gamma$가 조인(합집합)이 아니라면, $A_\Gamma$는 비자명한 쿼심오페리즘의 무한차원 공간을 지닌다.
• $\Gamma$가 조인(합집합)이면 $A_\Gamma$의 발산은 선형이며, 그렇지 않으면 정확히 이차이다.
• 기하학적으로 불가분인 고차원 랏티스는 군이 조인(합집합)이 아닐 경우, 비자명한 쿼심오페리즘을 가지지 않기 때문에 어떤 RAAG에도 자명하게 맵핑된다.
• RAAGs가 대수적으로 두꺼움의 순서 0을 지닌다. $\Gamma$가 조인(합집합)이면 그와 동치이며, 그렇지 않다면 정확히 순서 1의 두꺼움을 가진다.