[논문 리뷰] Cocompactly cubulated Artin-Tits groups

Thomas Haettel|arXiv (Cornell University)|2015. 11. 18.

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

한 줄 요약

이 논문은 비cocompactly cubulated인 랭크 3 아르틴 군을 포함하는 군은 cocompactly cubulated일 수 없다는 것을 증명하여, cocompactly cubulated인 아르틴-티츠 군을 분류한다. $ n \geq 4 $에 대해 $ n $-스테인 브레이드 군은 cocompactly cubulated이 아니며, 이 결과는 군론적 구조적 방법을 통해 매핑 클래스 군과 자유군의 자동환군으로 확장된다.

ABSTRACT

We give a complete classification of cocompactly cubulated Artin-Tits groups, i.e. acting geometrically on a CAT(0) cube complex. A particular case is that for $n \geq 4$, the $n$-strand braid group is not cocompactly cubulated. The methods extend to give a classification of cocompactly cubulated groups among mapping class group of surfaces and (outer) automorphism groups of free groups. The key result is that any group containing a subgroup isomorphic to non-cocompactly cubulated rank three Artin group is not cocompactly cubulated.

연구 동기 및 목표

• CAT(0) 큐브 복합체 위에서 기하학적으로 작용하는 아르틴-티츠 군을 분류하는 것.
• $ n \geq 4 $에 대해 $ n $-스테인 브레이드 군이 cocompactly cubulated인지 여부를 규명하는 것.
• 표면의 매핑 클래스 군과 자유군의 (외부)자기환군으로 분류를 확장하는 것.
• 비cocompactly cubulated인 랭크 3 아르틴 군과 동형인 부분군을 통해 cocompact cubulation의 구조적 장애를 규명하는 것.

제안 방법

• 장애물 원리 사용: 만약 어떤 군이 비cocompactly cubulated인 랭크 3 아르틴 군과 동형인 부분군을 포함한다면, 그 군 자체는 cocompactly cubulated일 수 없다.
• 특히 랭크 3 케이스에 초점을 맞춰 아르틴-티츠 군과 그 부분군의 구조를 분석.
• CAT(0) 큐브 복합체와 큐브형 소형 취약성 이론에 기반한 기하군론 기법 적용.
• cocom pact cubulation은 CAT(0) 큐브 복합체 위에서 유한 안정자군을 갖는 cocompact 작용을 암시한다는 사실을 활용.
• 아르틴-티츠 군의 계층과 그 파라보릭 부분군을 이용하여 분류 문제를 랭크 3 케이스로 환원.
• 임베딩과 부분군 포함 관계를 통한 방법으로 아르틴-티츠 군의 결과를 매핑 클래스 군과 $ \mathrm{Out}(F_n) $으로 확장.

실험 결과

연구 질문

• RQ1 어떤 아르틴-티츠 군들이 CAT(0) 큐브 복합체 위에서 기하학적으로 작용하는가?
• RQ2 $ n \geq 4 $에 대해 $ n $-스테인 브레이드 군은 cocompactly cubulated인가?
• RQ3 어떤 구조적 성질이 군이 cocompactly cubulated이 되는 것을 막는가?
• RQ4 랭크 3 아르틴 군에서 온 장애물은 더 큰 군에서의 큐브화를 분류하는 데 사용될 수 있는가?
• RQ5 표면의 매핑 클래스 군과 $ \mathrm{Out}(F_n) $은 cocompact 큐브화를 갖는가?

주요 결과

• $ n \geq 4 $에 대해 $ n $-스테인 브레이드 군은 비cocompactly cubulated인 랭크 3 아르틴 군을 부분군으로 포함하므로 cocompactly cubulated일 수 없다.
• 비cocompactly cubulated인 랭크 3 아르틴 군과 동형인 부분군을 포함하는 어떤 군도 cocompactly cubulated일 수 없다.
• cocompactly cubulated인 아르틴-티츠 군의 분류는 랭크 3 부분군의 행동에 의해 완전히 결정된다.
• 이러한 방법은 표면의 매핑 클래스 군과 $ \mathrm{Out}(F_n) $이 cocompactly cubulated이 아니라는 것을 보여주는 데 성공적으로 확장된다.
• 장애물 원리는 큰 군의 클래스에서 cocompact cubulation을 배제하는 데 강력한 도구를 제공한다.