[논문 리뷰] CAT(0) cubical complexes for graph products of finitely generated abelian groups

Kim Ruane, Stefan Witzel|arXiv (Cornell University)|2013. 10. 31.

Geometric and Algebraic Topology참고 문헌 9인용 수 5

한 줄 요약

이 논문은 모든 유한 그래프 제품의 유한 생성 아벨 군들이 적절하고 코컴 pact하게 작용하는 CAT(0) 큐빅 복합체를 구성한다. 이 구성은 오른쪽-각도 아르틴 군에 대한 살바티 복합체와 오른쪽-각도 코x터 군에 대한 코x터 복합체를 일반화하며, 통합된 기하 모델을 제공하고, 이러한 그래프 제품이 가상으로 코컴 pact 특별하다는 새로운 증명을 제시한다.

ABSTRACT

We show that every graph product of finitely generated abelian groups acts properly and cocompactly on a CAT(0) cubical complex. The complex generalizes (up to subdivision) the Salvetti complex of a right-angled Artin group and the Coxeter complex of a right-angled Coxeter group. In the right-angled Artin group case it is related to the embedding into a right-angled Coxeter group described by Davis and Januszkiewicz. We compare the approaches and also adapt the argument that the action extends to finite index supergroup that is a graph product of finite groups.

연구 동기 및 목표

• 모든 유한 그래프 제품의 유한 생성 아벨 군들이 적절하고 코컴 pact하게 작용하는 CAT(0) 큐빅 복합체를 구성하는 것.
• 오른쪽-각도 아르틴 군에 대한 살바티 복합체와 오른쪽-각도 코x터 군에 대한 코x터 복합체를 하나의 기하 모델로 일반화하는 것.
• 유한 생성 아벨 군의 그래프 제품이 가상으로 코컴 pact 특별하다는 데 대한 대체 증명을 제공하는 것.
• 군론적 구성과 코셋 복합체를 통한 기하 작용 사이의 연결 고리를 확립하는 것 — 특히 반직접곱을 포함한 구성 방식으로.

제안 방법

• 저자는 정점 레이블이 $ \mathbb{N} \cup \{\infty\} $에 속하는 순환군의 그래프 제품 $ G(\Gamma) $를 정의하며, 서로 가환하는 생성자는 간선으로 연결된다.
• 유한 및 무한 순환 생성자 간을 구분할 수 있도록 단어에 대한 길이 함수를 도입하여, 더 정교한 단어 문제 분석이 가능하게 한다.
• 유한 정점 군의 원소들 및 무한 순환 생성자 $ s $에 대해 $ \langle s \rangle $, $ \langle s^{-1} \rangle $로 생성되는 부분군들의 코셋 복합체로서 큐빅 복합체 $ X(\Gamma) $를 구성한다.
• 이 구성은 군 $ G(\Gamma^{\prime\prime}) $를 통해 확장되며, 이는 $ G(\Gamma) $와 $ (s,0) $로 생성되는 군 $ E $의 반직접곱이다. 이를 통해 작용이 더 큰 군으로 옮겨붙는다.
• 세 번째 복합체 $ Y $는 $ G(\Gamma^{\prime\prime}) $의 부분군들의 코셋들의 부분순서집합의 실현으로 정의되며, 이는 $ X(\Gamma) $와 $ X(\Gamma^\prime) $ 양쪽과 $ G(\Gamma^{\prime\prime}) $--equivariantly isomorphic 임을 보인다.
• 핵심 기술적 단계는 티에츠 전환과 반직접곱 분해를 이용하여, 군 $ G(\Gamma^{\prime\prime}) $ 가 $ X(\Gamma) $와 $ X(\Gamma^\prime) $ 위에 작용하며, 이 등장사상가 유지됨을 보이는 것.

실험 결과

연구 질문

• RQ1 모든 유한 그래프 제품의 유한 생성 아벨 군들이 CAT(0) 큐빅 복합체 위에서 기하 작용으로 실현될 수 있는가?
• RQ2 제안된 큐빅 복합체는 오른쪽-각도 아르틴 군과 코x터 군에 대한 고전적 살바티 복합체 및 코x터 복합체와 어떻게 관련이 있는가?
• RQ3 이러한 복합체 위의 작용을 통합하고, 데이비스–자누슈키에비치 임bedding 방법을 확장하는 군론적 구성이 존재하는가?
• RQ4 이 구성이 이러한 그래프 제품이 가상으로 코컴 pact 특별하다는 사실에 대한 새로운 증명을 제공하는가?

주요 결과

• 구성된 큐빅 복합체 $ X(\Gamma) $ 는 수축 가능하며, $ G(\Gamma) $ 에 의해 적절하고 코컴 pact하게 작용하므로, 이는 군에 대한 기하 모델이 된다.
• 복합체 $ X(\Gamma) $ 는 오른쪽-각도 아르틴 군에 대한 살바티 복합체와 오른쪽-각도 코x터 군에 대한 코x터 복합체를 모두 일반화한다.
• $ G(\Gamma) $ 의 작용은 유한 지수의 슈퍼군 $ G(\Gamma^{\prime\prime}) $ 로 확장되며, 이는 유한 군들과 무한 순환 군들의 그래프 제품이다.
• $ X(\Gamma) $ 는 $ G(\Gamma^{\prime\prime}) $ 와 관련된 코셋 복합체 $ Y $ 와 $ G(\Gamma^{\prime\prime}) $-equivariantly isomorphic이며, 데이비스–자누슈키에비치 구성으로의 군론적 다리를 놓는다.
• 이 구성은 유한 생성 아벨 군의 그래프 제품이 가상으로 코컴 pact 특별하다는 사실에 대한 대체 증명을 제공하며, 김(2012)의 결과를 확인한다.